summaryrefslogtreecommitdiff
path: root/test/regress/regress1
ModeNameSize
-rw-r--r--abduct-dt.smt2267logplain
d---------arith1401logplain
-rw-r--r--arrayinuf_error.smt2285logplain
d---------aufbv174logplain
d---------auflia39logplain
d---------bags630logplain
-rw-r--r--boolean-terms-kernel2.smt2735logplain
-rw-r--r--boolean.cvc30122logplain
-rw-r--r--bug296.smt273952logplain
-rw-r--r--bug425.cvc188769logplain
-rw-r--r--bug472.smt2177logplain
-rw-r--r--bug507.smt241197logplain
-rw-r--r--bug512.smt24853logplain
-rw-r--r--bug516.smt2291logplain
-rw-r--r--bug519.smt21879logplain
-rw-r--r--bug520.smt25677logplain
-rw-r--r--bug521.smt215179logplain
-rw-r--r--bug543.smt27338logplain
-rw-r--r--bug567.smt22617logplain
-rw-r--r--bug590.smt21836logplain
-rw-r--r--bug593.smt2321logplain
-rw-r--r--bug681.smt21501logplain
-rw-r--r--bug694-Unapply1.scala-0.smt22983logplain
-rw-r--r--bug800.smt26317logplain
d---------bv1027logplain
-rw-r--r--bv2int-isabelle.smt2545logplain
-rw-r--r--bvdiv2.smt2721logplain
-rw-r--r--cee-bug0909-dd-scope.smt2941logplain
-rw-r--r--constarr3.cvc367logplain
-rw-r--r--constarr3.smt2553logplain
d---------cores42logplain
d---------datatypes644logplain
d---------decision616logplain
-rw-r--r--error.cvc252logplain
-rw-r--r--errorcrash.smt2276logplain
-rw-r--r--fmf-fun-dbu.smt2542logplain
d---------fmf2542logplain
d---------fp51logplain
-rw-r--r--gensys_brn001.smt237318logplain
d---------ho787logplain
-rw-r--r--hole6.cvc4693logplain
-rw-r--r--issue3970-nl-ext-purify.smt21336logplain
-rw-r--r--issue3990-sort-inference.smt21282logplain
-rw-r--r--issue4273-ext-rew-cache.smt29234logplain
-rw-r--r--issue4335-unsat-core.smt213377logplain
-rw-r--r--issue5101-alira-subtypes.smt2374logplain
-rw-r--r--issue5739-rtf-processed.smt2278logplain
-rw-r--r--ite5.smt2609logplain
d---------lemmas130logplain
-rw-r--r--minimal_unsat_core.smt2302logplain
-rw-r--r--model-blocker-simple.smt2372logplain
-rw-r--r--model-blocker-values.smt2518logplain
d---------nl3373logplain
-rw-r--r--non-fatal-errors.smt2578logplain
-rw-r--r--parsing_ringer.cvc1758logplain
-rw-r--r--proof00.smt21911logplain
d---------proofs304logplain
d---------push-pop2668logplain
d---------quantifiers7780logplain
d---------rels1483logplain
d---------rr-verify238logplain
d---------sep1476logplain
d---------sets2583logplain
-rw-r--r--simple-rdl-definefun.smt2552logplain
-rw-r--r--simplification_bug4.smt210629logplain
-rw-r--r--sqrt2-sort-inf-unk.smt2127logplain
d---------strings7996logplain
-rw-r--r--sygus-abduct-ex1-grammar.smt2733logplain
-rw-r--r--sygus-abduct-test-ccore.smt2342logplain
-rw-r--r--sygus-abduct-test-user.smt2950logplain
-rw-r--r--sygus-abduct-test.smt2428logplain
d---------sygus7453logplain
d---------sym475logplain
-rw-r--r--test12.cvc3196logplain
-rw-r--r--trim.cvc983logplain
-rw-r--r--uf2.smt2412logplain
d---------uflia467logplain
-rw-r--r--wrong-qfabvfp-smtcomp2018.smt2547logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback