summaryrefslogtreecommitdiff
path: root/test/regress/regress1/sets
ModeNameSize
-rw-r--r--ListElem.hs.fqout.cvc4.38.smt22509logplain
-rw-r--r--ListElts.hs.fqout.cvc4.317.smt24049logplain
-rw-r--r--TalkingAboutSets.hs.fqout.cvc4.3577.smt210044logplain
-rw-r--r--UniqueZipper.hs.1030minimized.cvc4.smt26252logplain
-rw-r--r--UniqueZipper.hs.1030minimized2.cvc4.smt26231logplain
-rw-r--r--UniqueZipper.hs.fqout.cvc4.10.smt23917logplain
-rw-r--r--UniqueZipper.hs.fqout.cvc4.1832.smt27544logplain
-rw-r--r--arjun-set-univ.cvc.smt2415logplain
-rw-r--r--card-3.smt2344logplain
-rw-r--r--card-4.smt2613logplain
-rw-r--r--card-5.smt2653logplain
-rw-r--r--card-6.smt2324logplain
-rw-r--r--card-7.smt21266logplain
-rw-r--r--card-vc6-minimized.smt2417logplain
-rw-r--r--choose.cvc.smt2240logplain
-rw-r--r--choose1.smt2318logplain
-rw-r--r--choose2.smt2157logplain
-rw-r--r--choose3.smt2213logplain
-rw-r--r--choose4.smt2315logplain
-rw-r--r--comp-intersect.smt2341logplain
-rw-r--r--comp-odd.smt2286logplain
-rw-r--r--comp-pos-member.smt2471logplain
-rw-r--r--comp-positive.smt2207logplain
-rw-r--r--copy_check_heap_access_33_4.smt24899logplain
-rw-r--r--deepmeas0.hs.fqout.cvc4.41.smt22773logplain
d---------finite-type898logplain
-rw-r--r--fuzz14418.smt25228logplain
-rw-r--r--fuzz15201.smt28203logplain
-rw-r--r--fuzz31811.smt25969logplain
d---------infinite-type204logplain
-rw-r--r--insert_invariant_37_2.smt231749logplain
-rw-r--r--is_singleton1.smt2264logplain
-rw-r--r--issue2568.smt2322logplain
-rw-r--r--issue2904.smt2605logplain
-rw-r--r--issue4124-need-check.smt2505logplain
-rw-r--r--issue4370-2-lemma-ee-iter.smt2198logplain
-rw-r--r--issue4370-4-lemma-ee-iter.smt2241logplain
-rw-r--r--issue4391-card-lasso.smt2380logplain
-rw-r--r--issue5271.smt2202logplain
-rw-r--r--issue5309.smt2182logplain
-rw-r--r--issue5342.smt2184logplain
-rw-r--r--issue5342_difference_version.smt2226logplain
-rw-r--r--issue5705-cg-subtyping.smt2214logplain
-rw-r--r--issue5942-witness.smt2285logplain
-rw-r--r--lemmabug-ListElts317minimized.smt23062logplain
-rw-r--r--remove_check_free_31_6.smt218953logplain
-rw-r--r--set-comp-sat.smt2337logplain
-rw-r--r--setofsets-disequal.smt23120logplain
-rw-r--r--sets-disequal.smt2498logplain
-rw-r--r--sets-tuple-poly.cvc.smt2534logplain
-rw-r--r--sets-uc-wrong.smt2258logplain
-rw-r--r--sharingbug.smt24583logplain
-rw-r--r--univ-set-uf-elim.smt2526logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback