summaryrefslogtreecommitdiff
path: root/test/regress/regress0
ModeNameSize
d---------arith1963logplain
-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---------arrays1595logplain
d---------aufbv2380logplain
d---------auflia558logplain
d---------bool96logplain
-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--bug217.smt2344logplain
-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--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.smt21923logplain
-rw-r--r--bug486.cvc640logplain
-rw-r--r--bug49.smtv1.smt22428logplain
-rw-r--r--bug512.minimized.smt2218logplain
-rw-r--r--bug521.minimized.smt21877logplain
-rw-r--r--bug522.smt2200logplain
-rw-r--r--bug528a.smt2197logplain
-rw-r--r--bug541.smt2182logplain
-rw-r--r--bug544.smt2250logplain
-rw-r--r--bug548a.smt2392logplain
-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---------bv6866logplain
-rw-r--r--chained-equality.smt2208logplain
-rw-r--r--constant-rewrite.smtv1.smt2184logplain
d---------cores470logplain
-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---------datatypes3464logplain
d---------decision821logplain
-rw-r--r--declare-fun-is-match.smt2196logplain
-rw-r--r--declare-funs.smt2103logplain
-rw-r--r--define-fun-model.smt2376logplain
-rw-r--r--distinct.smtv1.smt2257logplain
-rw-r--r--dump-unsat-core-full.smt2245logplain
-rw-r--r--echo.smt2327logplain
-rw-r--r--eqrange1.smt2608logplain
-rw-r--r--eqrange2.smt2404logplain
-rw-r--r--eqrange3.smt2489logplain
d---------expect239logplain
-rw-r--r--flet.smtv1.smt2204logplain
-rw-r--r--flet2.smtv1.smt2190logplain
d---------fmf1374logplain
d---------fp828logplain
-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.smt2388logplain
-rw-r--r--get-value-reals-ints.smt2854logplain
-rw-r--r--get-value-reals.smt2607logplain
d---------ho1792logplain
-rw-r--r--hung10_itesdk_output1.smt2910logplain
-rw-r--r--hung13sdk_output1.smt2415logplain
-rw-r--r--incorrect1.smtv1.smt21450logplain
-rw-r--r--ineq_basic.smtv1.smt2152logplain
-rw-r--r--ineq_slack.smtv1.smt2193logplain
d---------int-to-bv170logplain
-rw-r--r--issue1063-overloading-dt-cons.smt2439logplain
-rw-r--r--issue1063-overloading-dt-fun.smt2302logplain
-rw-r--r--issue1063-overloading-dt-sel.smt2296logplain
-rw-r--r--issue2832-qualId.smt2295logplain
-rw-r--r--issue4010-sort-inf-var.smt2133logplain
-rw-r--r--issue4469-unc-no-reuse-var.smt2172logplain
-rw-r--r--issue4707-bv-to-bool-small.smt2655logplain
-rw-r--r--issue5099-model-1.smt2219logplain
-rw-r--r--issue5099-model-2.smt2204logplain
-rw-r--r--issue5144-resetAssertions.smt290logplain
-rw-r--r--issue5187-div-justification.smt2617logplain
-rw-r--r--issue5370.smt2566logplain
-rw-r--r--issue5462.smt21318logplain
-rw-r--r--issue5473.smt2253logplain
-rw-r--r--issue5540-2-dump-model.smt2195logplain
-rw-r--r--issue5540-model-decls.smt2355logplain
-rw-r--r--issue5550-num-children.smt2111logplain
-rw-r--r--issue5736.smt2483logplain
-rw-r--r--issue5743.smt2308logplain
-rw-r--r--issue5947.smt2243logplain
-rw-r--r--issue6605-2-abd-triv.smt2108logplain
-rw-r--r--issue6738.smt2272logplain
-rw-r--r--issue6741.smt2268logplain
-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_6_1.smt2249logplain
d---------lemmas269logplain
-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
-rw-r--r--models-print-1.smt2254logplain
-rw-r--r--models-print-2.smt2383logplain
-rw-r--r--named-expr-use.smt2205logplain
d---------nl1881logplain
-rw-r--r--opt-abd-no-use.smt2129logplain
d---------options233logplain
-rw-r--r--parallel-let.smt2184logplain
d---------parser901logplain
d---------precedence726logplain
d---------preprocess933logplain
-rw-r--r--print_define_fun_internal.smt2289logplain
-rw-r--r--print_lambda.cvc308logplain
-rw-r--r--print_model.cvc236logplain
d---------printer337logplain
d---------proofs352logplain
d---------push-pop834logplain
d---------quantifiers3890logplain
-rw-r--r--rec-fun-const-parse-bug.smt2187logplain
d---------rels2588logplain
d---------sep703logplain
d---------seq1138logplain
d---------sets2162logplain
-rw-r--r--simple-dump-model.smt2285logplain
-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.smt2375logplain
d---------smtlib749logplain
d---------strings4492logplain
d---------sygus1700logplain
-rw-r--r--symmetric.smtv1.smt2249logplain
-rw-r--r--test11.cvc88logplain
-rw-r--r--test9.cvc65logplain
d---------tptp1378logplain
d---------uf1776logplain
-rw-r--r--uf20-03.cvc3395logplain
d---------uflia983logplain
d---------uflra1107logplain
d---------unconstrained1995logplain
-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