summaryrefslogtreecommitdiff
path: root/test/regress/regress0
ModeNameSize
d---------arith1829logplain
-rw-r--r--arr1.smt2260logplain
-rw-r--r--arr1.smtv1.smt2295logplain
-rw-r--r--arr2.smtv1.smt2337logplain
-rw-r--r--array-const-real-parse.smt2232logplain
-rw-r--r--arrayinuf_declare.smt297logplain
d---------arrays1501logplain
d---------aufbv2453logplain
d---------auflia558logplain
-rw-r--r--boolean-prec.cvc157logplain
-rw-r--r--boolean-terms-bug-array.smt2181logplain
-rw-r--r--boolean-terms-kernel1.smt2300logplain
-rw-r--r--boolean-terms.cvc254logplain
-rw-r--r--bt-test-00.smt2395logplain
-rw-r--r--bt-test-01.smt2422logplain
-rw-r--r--bug1247.smt2278logplain
-rw-r--r--bug161.smtv1.smt2158logplain
-rw-r--r--bug164.smtv1.smt2286logplain
-rw-r--r--bug167.smtv1.smt2465logplain
-rw-r--r--bug168.smtv1.smt2142logplain
-rw-r--r--bug187.smt2123logplain
-rw-r--r--bug2.smtv1.smt2494974logplain
-rw-r--r--bug217.smt2388logplain
-rw-r--r--bug220.smt217logplain
-rw-r--r--bug239.smtv1.smt23635logplain
-rw-r--r--bug274.cvc1553logplain
-rw-r--r--bug288.smtv1.smt2160logplain
-rw-r--r--bug288b.smtv1.smt2166logplain
-rw-r--r--bug288c.smtv1.smt2215logplain
-rw-r--r--bug303.smt2461logplain
-rw-r--r--bug310.cvc127logplain
-rw-r--r--bug32.cvc68logplain
-rw-r--r--bug322.cvc998logplain
-rw-r--r--bug322b.cvc242logplain
-rw-r--r--bug339.smt2203logplain
-rw-r--r--bug365.smt2149logplain
-rw-r--r--bug374.smtv1.smt21072226logplain
-rw-r--r--bug382.smt2339logplain
-rw-r--r--bug383.smt2159logplain
-rw-r--r--bug398.smt260logplain
-rw-r--r--bug421.smt2309logplain
-rw-r--r--bug421b.smt2502logplain
-rw-r--r--bug480.smt2312logplain
-rw-r--r--bug484.smt21979logplain
-rw-r--r--bug486.cvc640logplain
-rw-r--r--bug49.smtv1.smt22428logplain
-rw-r--r--bug512.minimized.smt2218logplain
-rw-r--r--bug521.minimized.smt21887logplain
-rw-r--r--bug522.smt2200logplain
-rw-r--r--bug528a.smt2174logplain
-rw-r--r--bug541.smt2210logplain
-rw-r--r--bug544.smt2250logplain
-rw-r--r--bug548a.smt2407logplain
-rw-r--r--bug576.smt2769logplain
-rw-r--r--bug576a.smt21841logplain
-rw-r--r--bug578.smt2187logplain
-rw-r--r--bug586.cvc533logplain
-rw-r--r--bug595.cvc103logplain
-rw-r--r--bug596.cvc111logplain
-rw-r--r--bug596b.cvc93logplain
-rw-r--r--bug605.cvc586logplain
-rw-r--r--bug639.smt2858logplain
-rw-r--r--buggy-ite.smt2355logplain
d---------bv6652logplain
-rw-r--r--chained-equality.smt2208logplain
-rw-r--r--constant-rewrite.smtv1.smt2184logplain
-rw-r--r--cvc-rerror-print.cvc205logplain
-rw-r--r--cvc3-bug15.cvc199logplain
-rw-r--r--cvc3.userdoc.01.cvc632logplain
-rw-r--r--cvc3.userdoc.02.cvc160logplain
-rw-r--r--cvc3.userdoc.03.cvc200logplain
-rw-r--r--cvc3.userdoc.04.cvc145logplain
-rw-r--r--cvc3.userdoc.05.cvc243logplain
-rw-r--r--cvc3.userdoc.06.cvc198logplain
d---------datatypes3073logplain
d---------decision979logplain
-rw-r--r--declare-fun-is-match.smt2217logplain
-rw-r--r--declare-funs.smt2103logplain
-rw-r--r--define-fun-model.smt2397logplain
-rw-r--r--distinct.smtv1.smt2257logplain
-rw-r--r--dump-unsat-core-full.smt2263logplain
d---------expect239logplain
-rw-r--r--flet.smtv1.smt2204logplain
-rw-r--r--flet2.smtv1.smt2190logplain
d---------fmf1149logplain
d---------fp454logplain
-rw-r--r--fuzz_1.smtv1.smt2849logplain
-rw-r--r--fuzz_3.smtv1.smt2652logplain
-rw-r--r--get-value-incremental.smt2304logplain
-rw-r--r--get-value-ints.smt2404logplain
-rw-r--r--get-value-reals-ints.smt2882logplain
-rw-r--r--get-value-reals.smt2635logplain
d---------ho1511logplain
-rw-r--r--hung10_itesdk_output1.smt2920logplain
-rw-r--r--hung13sdk_output1.smt2425logplain
-rw-r--r--incorrect1.smtv1.smt21454logplain
-rw-r--r--ineq_basic.smtv1.smt2152logplain
-rw-r--r--ineq_slack.smtv1.smt2193logplain
-rw-r--r--issue1063-overloading-dt-cons.smt2444logplain
-rw-r--r--issue1063-overloading-dt-fun.smt2329logplain
-rw-r--r--issue1063-overloading-dt-sel.smt2320logplain
-rw-r--r--issue2832-qualId.smt2295logplain
-rw-r--r--issue4010-sort-inf-var.smt2151logplain
-rw-r--r--ite.cvc79logplain
-rw-r--r--ite.smt2152logplain
-rw-r--r--ite2.smt2138logplain
-rw-r--r--ite3.smt2199logplain
-rw-r--r--ite4.smt2197logplain
-rw-r--r--ite_arith.smt2140logplain
-rw-r--r--ite_real_int_type.smtv1.smt2244logplain
-rw-r--r--ite_real_valid.smtv1.smt2195logplain
-rw-r--r--lang_opts_2_5.smt2249logplain
-rw-r--r--lang_opts_2_6_1.smt2253logplain
d---------lemmas325logplain
-rw-r--r--let.cvc101logplain
-rw-r--r--let.smtv1.smt2234logplain
-rw-r--r--let2.smtv1.smt2197logplain
-rw-r--r--logops.01.cvc89logplain
-rw-r--r--logops.02.cvc60logplain
-rw-r--r--logops.03.cvc104logplain
-rw-r--r--logops.04.cvc70logplain
-rw-r--r--logops.05.cvc61logplain
-rw-r--r--model-core.smt2305logplain
d---------nl1255logplain
-rw-r--r--opt-abd-no-use.smt2129logplain
d---------options103logplain
-rw-r--r--parallel-let.smt2184logplain
d---------parser635logplain
d---------precedence726logplain
d---------preprocess720logplain
-rw-r--r--print_lambda.cvc308logplain
-rw-r--r--print_model.cvc236logplain
d---------printer337logplain
-rw-r--r--proof_no_support.smt2329logplain
d---------push-pop834logplain
d---------quantifiers3443logplain
-rw-r--r--rec-fun-const-parse-bug.smt2197logplain
d---------rels2588logplain
d---------sep600logplain
d---------sets2118logplain
-rw-r--r--simple-dump-model.smt2290logplain
-rw-r--r--simple-lra.smt2174logplain
-rw-r--r--simple-lra.smtv1.smt2216logplain
-rw-r--r--simple-rdl.smt2147logplain
-rw-r--r--simple-rdl.smtv1.smt2184logplain
-rw-r--r--simple-uf.smt2201logplain
-rw-r--r--simple-uf.smtv1.smt2256logplain
-rw-r--r--simple.cvc136logplain
-rw-r--r--simple.smtv1.smt2285logplain
-rw-r--r--simple2.smtv1.smt2277logplain
-rw-r--r--simplification_bug.smtv1.smt2139logplain
-rw-r--r--simplification_bug2.smtv1.smt2168logplain
-rw-r--r--smallcnf.cvc143logplain
-rw-r--r--smt2output.smt2380logplain
d---------smtlib612logplain
d---------strings2964logplain
d---------sygus1524logplain
-rw-r--r--symmetric.smtv1.smt2249logplain
-rw-r--r--test11.cvc88logplain
-rw-r--r--test9.cvc65logplain
d---------tptp1330logplain
d---------uf1785logplain
-rw-r--r--uf20-03.cvc3395logplain
d---------uflia1028logplain
d---------uflra1107logplain
d---------unconstrained1916logplain
-rw-r--r--wiki.01.cvc78logplain
-rw-r--r--wiki.02.cvc82logplain
-rw-r--r--wiki.03.cvc64logplain
-rw-r--r--wiki.04.cvc66logplain
-rw-r--r--wiki.05.cvc67logplain
-rw-r--r--wiki.06.cvc67logplain
-rw-r--r--wiki.07.cvc87logplain
-rw-r--r--wiki.08.cvc88logplain
-rw-r--r--wiki.09.cvc57logplain
-rw-r--r--wiki.10.cvc68logplain
-rw-r--r--wiki.11.cvc59logplain
-rw-r--r--wiki.12.cvc60logplain
-rw-r--r--wiki.13.cvc63logplain
-rw-r--r--wiki.14.cvc63logplain
-rw-r--r--wiki.15.cvc65logplain
-rw-r--r--wiki.16.cvc68logplain
-rw-r--r--wiki.17.cvc65logplain
-rw-r--r--wiki.18.cvc65logplain
-rw-r--r--wiki.19.cvc79logplain
-rw-r--r--wiki.20.cvc79logplain
-rw-r--r--wiki.21.cvc62logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback