summaryrefslogtreecommitdiff
path: root/test/regress/regress0
ModeNameSize
-rw-r--r--Makefile133logplain
-rw-r--r--Makefile.am793logplain
-rw-r--r--boolean-prec.cvc154logplain
-rw-r--r--boolean.cvc30119logplain
-rw-r--r--bug1.cvc141logplain
-rw-r--r--hole6.cvc4656logplain
-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---------precedence680logplain
-rw-r--r--queries0.cvc148logplain
-rw-r--r--simple-uf.smt176logplain
-rw-r--r--simple.cvc133logplain
-rw-r--r--simple.smt218logplain
-rw-r--r--simple2.smt200logplain
-rw-r--r--smallcnf.cvc138logplain
-rw-r--r--test11.cvc85logplain
-rw-r--r--test12.cvc3026logplain
-rw-r--r--test9.cvc62logplain
-rw-r--r--uf20-03.cvc3390logplain
-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