summaryrefslogtreecommitdiff
path: root/test/regress
ModeNameSize
-rw-r--r--C880mul.miter.shuffled-as.sat03-348.smt343816logplain
-rw-r--r--Makefile121logplain
-rw-r--r--Makefile.am111logplain
-rw-r--r--bmc-galileo-8.smt10540540logplain
-rw-r--r--bmc-galileo-9.smt11682634logplain
-rw-r--r--bmc-ibm-1.smt1785328logplain
-rw-r--r--bmc-ibm-10.smt11471003logplain
-rw-r--r--bmc-ibm-11.smt5295290logplain
-rw-r--r--bmc-ibm-12.smt6879118logplain
-rw-r--r--bmc-ibm-13.smt2222908logplain
-rw-r--r--bmc-ibm-2.smt373727logplain
-rw-r--r--bmc-ibm-3.smt2460023logplain
-rw-r--r--bmc-ibm-4.smt4847999logplain
-rw-r--r--bmc-ibm-5.smt1350939logplain
-rw-r--r--bmc-ibm-6.smt12630239logplain
-rw-r--r--bmc-ibm-7.smt1299739logplain
-rw-r--r--boolean.cvc30187logplain
-rw-r--r--bug1.cvc209logplain
-rw-r--r--comb2.shuffled-as.sat03-420.smt5279194logplain
-rw-r--r--friedman_n4_i5.smt421830logplain
-rw-r--r--friedman_n6_i4.smt1628806logplain
-rw-r--r--hole10.cvc18768logplain
-rw-r--r--hole6.cvc4724logplain
-rw-r--r--hole7.cvc7128logplain
-rw-r--r--hole8.cvc10134logplain
-rw-r--r--hole9.cvc13955logplain
-rw-r--r--instance_1151.smt178905logplain
-rw-r--r--instance_1444.smt155804logplain
-rw-r--r--logops.cvc232logplain
-rw-r--r--qwh.35.405.shuffled-as.sat03-1651.smt285829logplain
d---------regress075logplain
d---------regress175logplain
d---------regress275logplain
d---------regress375logplain
-rwxr-xr-xrun_regression1915logplain
-rw-r--r--simple-uf.smt160logplain
-rw-r--r--simple.cvc117logplain
-rw-r--r--simple.smt220logplain
-rw-r--r--simple2.smt204logplain
-rw-r--r--test11.cvc154logplain
-rw-r--r--test12.cvc2580logplain
-rw-r--r--test9.cvc130logplain
-rw-r--r--uf20-03.cvc3458logplain
-rw-r--r--wiki.cvc668logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback