summaryrefslogtreecommitdiff
path: root/test/regress/regress0
ModeNameSize
d---------arith1188logplain
-rw-r--r--arr1.smt186logplain
-rw-r--r--arr1.smt2260logplain
-rw-r--r--arr2.smt213logplain
-rw-r--r--arrayinuf_declare.smt297logplain
d---------arrays1236logplain
d---------aufbv2103logplain
d---------auflia481logplain
-rw-r--r--boolean-prec.cvc154logplain
-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.smt189logplain
-rw-r--r--bug164.smt256logplain
-rw-r--r--bug167.smt398logplain
-rw-r--r--bug168.smt128logplain
-rw-r--r--bug187.smt2123logplain
-rw-r--r--bug2.smt513595logplain
-rw-r--r--bug217.smt2344logplain
-rw-r--r--bug220.smt217logplain
-rw-r--r--bug239.smt5475logplain
-rw-r--r--bug274.cvc1553logplain
-rw-r--r--bug288.smt111logplain
-rw-r--r--bug288b.smt118logplain
-rw-r--r--bug288c.smt166logplain
-rw-r--r--bug303.smt2461logplain
-rw-r--r--bug310.cvc124logplain
-rw-r--r--bug32.cvc65logplain
-rw-r--r--bug322.cvc998logplain
-rw-r--r--bug322b.cvc233logplain
-rw-r--r--bug339.smt2203logplain
-rw-r--r--bug365.smt2149logplain
-rw-r--r--bug374.delta01.smt38557logplain
-rw-r--r--bug374.smt38557logplain
-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.cvc632logplain
-rw-r--r--bug49.smt2386logplain
-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---------bv4723logplain
-rw-r--r--chained-equality.smt2208logplain
-rw-r--r--constant-rewrite.smt161logplain
-rw-r--r--cvc3-bug15.cvc196logplain
-rw-r--r--cvc3.userdoc.01.cvc602logplain
-rw-r--r--cvc3.userdoc.02.cvc157logplain
-rw-r--r--cvc3.userdoc.03.cvc197logplain
-rw-r--r--cvc3.userdoc.04.cvc142logplain
-rw-r--r--cvc3.userdoc.05.cvc240logplain
-rw-r--r--cvc3.userdoc.06.cvc192logplain
d---------datatypes2895logplain
d---------decision1686logplain
-rw-r--r--declare-fun-is-match.smt2193logplain
-rw-r--r--declare-funs.smt2103logplain
-rw-r--r--distinct.smt178logplain
d---------expect408logplain
-rw-r--r--flet.smt140logplain
-rw-r--r--flet2.smt126logplain
d---------fmf1027logplain
d---------fp39logplain
-rw-r--r--fuzz_1.smt742logplain
-rw-r--r--fuzz_3.smt1155logplain
-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---------ho1080logplain
-rw-r--r--hung10_itesdk_output1.smt2920logplain
-rw-r--r--hung10_itesdk_output2.smt2920logplain
-rw-r--r--hung13sdk_output1.smt2425logplain
-rw-r--r--hung13sdk_output2.smt2425logplain
-rw-r--r--incorrect1.smt1891logplain
-rw-r--r--ineq_basic.smt115logplain
-rw-r--r--ineq_slack.smt158logplain
-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--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.smt207logplain
-rw-r--r--ite_real_valid.smt150logplain
-rw-r--r--lang_opts_2_5.smt2249logplain
-rw-r--r--lang_opts_2_6_1.smt2253logplain
d---------lemmas290logplain
-rw-r--r--let.cvc98logplain
-rw-r--r--let.smt141logplain
-rw-r--r--let2.smt126logplain
-rw-r--r--logops.01.cvc86logplain
-rw-r--r--logops.02.cvc55logplain
-rw-r--r--logops.03.cvc101logplain
-rw-r--r--logops.04.cvc67logplain
-rw-r--r--logops.05.cvc58logplain
d---------nl493logplain
-rw-r--r--parallel-let.smt2184logplain
d---------parser217logplain
d---------precedence726logplain
d---------preprocess720logplain
-rw-r--r--print_lambda.cvc265logplain
d---------push-pop650logplain
d---------quantifiers3022logplain
-rw-r--r--queries0.cvc178logplain
-rw-r--r--rec-fun-const-parse-bug.smt2197logplain
d---------rels2588logplain
-rw-r--r--reset-assertions.smt2336logplain
d---------rewriterules503logplain
d---------sep503logplain
d---------sets2030logplain
-rw-r--r--simple-lra.smt166logplain
-rw-r--r--simple-lra.smt2174logplain
-rw-r--r--simple-rdl.smt138logplain
-rw-r--r--simple-rdl.smt2147logplain
-rw-r--r--simple-uf.smt176logplain
-rw-r--r--simple-uf.smt2201logplain
-rw-r--r--simple.cvc133logplain
-rw-r--r--simple.smt218logplain
-rw-r--r--simple2.smt200logplain
-rw-r--r--simplification_bug.smt101logplain
-rw-r--r--simplification_bug2.smt102logplain
-rw-r--r--smallcnf.cvc138logplain
-rw-r--r--smt2output.smt2380logplain
d---------strings1202logplain
d---------sygus692logplain
-rw-r--r--symmetric.smt178logplain
-rw-r--r--test11.cvc85logplain
-rw-r--r--test9.cvc62logplain
d---------tptp1287logplain
d---------uf1568logplain
-rw-r--r--uf20-03.cvc3390logplain
d---------uflia1188logplain
d---------uflra995logplain
d---------unconstrained1916logplain
-rw-r--r--wiki.01.cvc75logplain
-rw-r--r--wiki.02.cvc79logplain
-rw-r--r--wiki.03.cvc61logplain
-rw-r--r--wiki.04.cvc63logplain
-rw-r--r--wiki.05.cvc64logplain
-rw-r--r--wiki.06.cvc64logplain
-rw-r--r--wiki.07.cvc84logplain
-rw-r--r--wiki.08.cvc85logplain
-rw-r--r--wiki.09.cvc54logplain
-rw-r--r--wiki.10.cvc65logplain
-rw-r--r--wiki.11.cvc56logplain
-rw-r--r--wiki.12.cvc57logplain
-rw-r--r--wiki.13.cvc60logplain
-rw-r--r--wiki.14.cvc60logplain
-rw-r--r--wiki.15.cvc62logplain
-rw-r--r--wiki.16.cvc65logplain
-rw-r--r--wiki.17.cvc62logplain
-rw-r--r--wiki.18.cvc62logplain
-rw-r--r--wiki.19.cvc76logplain
-rw-r--r--wiki.20.cvc76logplain
-rw-r--r--wiki.21.cvc59logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback