summaryrefslogtreecommitdiff
path: root/test/regress/regress0/nl
ModeNameSize
-rw-r--r--Makefile139logplain
-rw-r--r--Makefile.am2278logplain
-rw-r--r--all-logic.smt2105logplain
-rw-r--r--bug698.smt2757logplain
-rw-r--r--coeff-sat.smt2236logplain
-rw-r--r--coeff-unsat-base.smt2239logplain
-rw-r--r--coeff-unsat.smt2239logplain
-rw-r--r--combine.smt2236logplain
-rw-r--r--disj-eval.smt2276logplain
-rw-r--r--dist-big.smt2426logplain
-rw-r--r--div-mod-partial.smt2303logplain
-rw-r--r--magnitude-wrong-1020-m.smt22580logplain
-rw-r--r--metitarski-1025.smt21032logplain
-rw-r--r--metitarski-3-4.smt21336logplain
-rw-r--r--metitarski_3_4_2e.smt21419logplain
-rw-r--r--mult-po.smt2330logplain
-rw-r--r--nia-wrong-tl.smt21224logplain
-rw-r--r--nl-help-unsat-quant.smt231573logplain
-rw-r--r--nl-unk-quant.smt21173logplain
-rw-r--r--nt-lemmas-bad.smt21519logplain
d---------nta1433logplain
-rw-r--r--ones.smt2341logplain
-rw-r--r--poly-1025.smt21516logplain
-rw-r--r--quant-nl.smt274567logplain
-rw-r--r--real-as-int.smt2234logplain
-rw-r--r--real-div-ufnra.smt2275logplain
-rw-r--r--red-exp.smt2236logplain
-rw-r--r--rewriting-sums.smt2327logplain
-rw-r--r--simple-mono-unsat.smt2291logplain
-rw-r--r--simple-mono.smt2273logplain
-rw-r--r--sqrt-problem-1.smt21479logplain
-rw-r--r--subs0-unsat-confirm.smt2378logplain
-rw-r--r--very-easy-sat.smt21036logplain
-rw-r--r--very-simple-unsat.smt2288logplain
-rw-r--r--zero-subset.smt2282logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback