summaryrefslogtreecommitdiff
path: root/test/regress/regress1/nl
ModeNameSize
-rw-r--r--Makefile.am1730logplain
-rw-r--r--NAVIGATION2.smt2680logplain
-rw-r--r--arrowsmith-050317.smt214137logplain
-rw-r--r--bad-050217.smt22854logplain
-rw-r--r--bug698.smt2757logplain
-rw-r--r--coeff-unsat-base.smt2239logplain
-rw-r--r--coeff-unsat.smt2239logplain
-rw-r--r--combine.smt2236logplain
-rw-r--r--cos-bound.smt2123logplain
-rw-r--r--cos1-tc.smt2156logplain
-rw-r--r--disj-eval.smt2276logplain
-rw-r--r--dist-big.smt2426logplain
-rw-r--r--div-mod-partial.smt2303logplain
-rw-r--r--dumortier_llibre_artes_ex_5_13.transcendental.k2.smt24990logplain
-rw-r--r--exp-4.5-lt.smt2156logplain
-rw-r--r--exp1-lb.smt2184logplain
-rw-r--r--exp_monotone.smt2303logplain
-rw-r--r--metitarski-1025.smt21032logplain
-rw-r--r--metitarski-3-4.smt21336logplain
-rw-r--r--metitarski_3_4_2e.smt21419logplain
-rw-r--r--mirko-050417.smt28913logplain
-rw-r--r--nl-help-unsat-quant.smt231573logplain
-rw-r--r--nl-unk-quant.smt21173logplain
-rw-r--r--ones.smt2341logplain
-rw-r--r--poly-1025.smt21516logplain
-rw-r--r--quant-nl.smt274567logplain
-rw-r--r--red-exp.smt2236logplain
-rw-r--r--rewriting-sums.smt2327logplain
-rw-r--r--shifting.smt2334logplain
-rw-r--r--shifting2.smt2368logplain
-rw-r--r--simple-mono-unsat.smt2291logplain
-rw-r--r--simple-mono.smt2273logplain
-rw-r--r--sin-compare-across-phase.smt2173logplain
-rw-r--r--sin-compare.smt2203logplain
-rw-r--r--sin-init-tangents.smt2174logplain
-rw-r--r--sin-sign.smt2201logplain
-rw-r--r--sin-sym2.smt2287logplain
-rw-r--r--sin1-lb.smt2184logplain
-rw-r--r--sin1-sat.smt2274logplain
-rw-r--r--sin1-ub.smt2185logplain
-rw-r--r--sin2-lb.smt2183logplain
-rw-r--r--sin2-ub.smt2184logplain
-rw-r--r--sqrt-problem-1.smt21479logplain
-rw-r--r--sugar-ident-2.smt2559logplain
-rw-r--r--sugar-ident-3.smt2193logplain
-rw-r--r--sugar-ident.smt2502logplain
-rw-r--r--tan-rewrite2.smt2236logplain
-rw-r--r--zero-subset.smt2282logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback