summaryrefslogtreecommitdiff
path: root/test/regress/regress0/fmf
ModeNameSize
-rw-r--r--Arrow_Order-smtlib.778341.smtv1.smt221182logplain
-rw-r--r--QEpres-uf.855035.smtv1.smt24436logplain
-rw-r--r--array_card.smt2373logplain
-rw-r--r--bounded_sets.smt2382logplain
-rw-r--r--bug-041417-set-options.cvc247logplain
-rw-r--r--bug782.smt2597logplain
-rw-r--r--cruanes-no-minimal-unk.smt2373logplain
-rw-r--r--fc-simple.smt2175logplain
-rw-r--r--fc-unsat-pent.smt2323logplain
-rw-r--r--fc-unsat-tot-2.smt2216logplain
-rw-r--r--fd-false.smt2157logplain
-rw-r--r--fmc_unsound_model.smt2630logplain
-rw-r--r--fmf-strange-bounds-2.smt2453logplain
-rw-r--r--forall_unit_data2.smt2244logplain
-rw-r--r--issue3661-ccard-dec.smt2189logplain
-rw-r--r--issue4850-force-card.smt2121logplain
-rw-r--r--issue4872-qf_ufc.smt2152logplain
-rw-r--r--issue5239-uf-ss-tot.smt2115logplain
-rw-r--r--issue5922-fmf-not-x.smt2203logplain
-rw-r--r--krs-sat.smt2811logplain
-rw-r--r--no-minimal-sat.smt2496logplain
-rw-r--r--quant_real_univ.cvc510logplain
-rw-r--r--sat-logic.smt2175logplain
-rw-r--r--sc_bad_model_1221.smt21016logplain
-rw-r--r--sort-infer-typed-082718.smt2171logplain
-rw-r--r--syn002-si-real-int.smt2374logplain
-rw-r--r--tail_rec.smt2305logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback