summaryrefslogtreecommitdiff
path: root/test/regress/regress0/quantifiers
ModeNameSize
-rw-r--r--AdditiveMethods_AdditiveMethods..ctor.smt245830logplain
-rw-r--r--AdditiveMethods_OwnedResults.Mz.smt242191logplain
-rw-r--r--Arrays_Q1-noinfer.smt24185logplain
-rw-r--r--Makefile148logplain
-rw-r--r--Makefile.am1812logplain
-rw-r--r--array-unsat-simp3.smt2953logplain
-rw-r--r--array-unsat-simp3.smt2.expect57logplain
-rw-r--r--bignum_quant.smt2406logplain
-rw-r--r--bug269.smt2436logplain
-rw-r--r--bug290.smt2710logplain
-rw-r--r--bug291.smt2452logplain
-rw-r--r--bug291.smt2.expect57logplain
-rw-r--r--burns13.smt22538logplain
-rw-r--r--burns4.smt21358logplain
-rw-r--r--ex3.smt2258logplain
-rw-r--r--ex6.smt2349logplain
-rw-r--r--gauss_init_0030.fof.smt27666logplain
-rw-r--r--javafe.ast.ArrayInit.35.smt295882logplain
-rw-r--r--javafe.ast.StandardPrettyPrint.319.smt2134345logplain
-rw-r--r--javafe.ast.StmtVec.009.smt231334logplain
-rw-r--r--javafe.ast.WhileStmt.447.smt293917logplain
-rw-r--r--javafe.tc.CheckCompilationUnit.001.smt275099logplain
-rw-r--r--javafe.tc.FlowInsensitiveChecks.682.smt2160472logplain
-rw-r--r--opisavailable-12.smt215872logplain
-rw-r--r--refcount24.cvc6720logplain
-rw-r--r--ricart-agrawala6.smt23989logplain
-rw-r--r--set3.smt21385logplain
-rw-r--r--set8.smt21445logplain
-rw-r--r--smtlib384a03.smt243696logplain
-rw-r--r--smtlib46f14a.smt243323logplain
-rw-r--r--smtlibf957ea.smt243937logplain
-rw-r--r--symmetric_unsat_7.smt21534logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback