summaryrefslogtreecommitdiff
path: root/test/regress/regress1/sets
ModeNameSize
-rw-r--r--ListElem.hs.fqout.cvc4.38.smt22528logplain
-rw-r--r--ListElts.hs.fqout.cvc4.317.smt24068logplain
-rw-r--r--TalkingAboutSets.hs.fqout.cvc4.3577.smt210063logplain
-rw-r--r--UniqueZipper.hs.1030minimized.cvc4.smt26271logplain
-rw-r--r--UniqueZipper.hs.1030minimized2.cvc4.smt26254logplain
-rw-r--r--UniqueZipper.hs.fqout.cvc4.10.smt23936logplain
-rw-r--r--UniqueZipper.hs.fqout.cvc4.1832.smt27563logplain
-rw-r--r--arjun-set-univ.cvc.smt2427logplain
-rw-r--r--card-3.smt2370logplain
-rw-r--r--card-4.smt2663logplain
-rw-r--r--card-5.smt2703logplain
-rw-r--r--card-6.smt2342logplain
-rw-r--r--card-7.smt21426logplain
-rw-r--r--card-vc6-minimized.smt2449logplain
-rw-r--r--choose.cvc.smt2249logplain
-rw-r--r--choose1.smt2331logplain
-rw-r--r--choose2.smt2165logplain
-rw-r--r--choose3.smt2218logplain
-rw-r--r--choose4.smt2328logplain
-rw-r--r--comp-intersect.smt2347logplain
-rw-r--r--comp-odd.smt2298logplain
-rw-r--r--comp-pos-member.smt2491logplain
-rw-r--r--comp-positive.smt2219logplain
-rw-r--r--copy_check_heap_access_33_4.smt24952logplain
-rw-r--r--deepmeas0.hs.fqout.cvc4.41.smt22792logplain
d---------finite-type898logplain
-rw-r--r--fuzz14418.smt25286logplain
-rw-r--r--fuzz15201.smt28327logplain
-rw-r--r--fuzz31811.smt26033logplain
d---------infinite-type204logplain
-rw-r--r--insert_invariant_37_2.smt232232logplain
-rw-r--r--is_singleton1.smt2288logplain
-rw-r--r--issue2568.smt2326logplain
-rw-r--r--issue2904.smt2629logplain
-rw-r--r--issue4124-need-check.smt2529logplain
-rw-r--r--issue4370-2-lemma-ee-iter.smt2207logplain
-rw-r--r--issue4370-4-lemma-ee-iter.smt2247logplain
-rw-r--r--issue4391-card-lasso.smt2392logplain
-rw-r--r--issue5271.smt2214logplain
-rw-r--r--issue5309.smt2190logplain
-rw-r--r--issue5342.smt2200logplain
-rw-r--r--issue5342_difference_version.smt2246logplain
-rw-r--r--issue5705-cg-subtyping.smt2227logplain
-rw-r--r--issue5942-witness.smt2290logplain
-rw-r--r--lemmabug-ListElts317minimized.smt23105logplain
-rw-r--r--remove_check_free_31_6.smt219103logplain
-rw-r--r--set-comp-sat.smt2353logplain
-rw-r--r--setofsets-disequal.smt23485logplain
-rw-r--r--sets-disequal.smt2498logplain
-rw-r--r--sets-tuple-poly.cvc.smt2542logplain
-rw-r--r--sets-uc-wrong.smt2266logplain
-rw-r--r--sharingbug.smt24595logplain
-rw-r--r--univ-set-uf-elim.smt2560logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback