detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.4.2.i.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.4.1.i.smt2 (content) ok ok 0.055s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.3.3.i.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.3.2.i.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.3.1.i.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.2.3.i.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.2.2.i.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.2.1.i.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.1.3.i.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.1.2.i.smt2 (content) ok ok 0.062s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/newton.1.1.i.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mult2.c.50.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mult2.c.40.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mult2.c.30.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mult2.c.3.smt2 (content) ok ok 0.012s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mult2.c.20.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mult2.c.10.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mult1.c.50.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mult1.c.40.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mult1.c.30.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mult1.c.3.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mult1.c.20.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mult1.c.10.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mul_03_3_1.smt2 (content) ok ok 0.053s
dolmen /home/guigui/build/benchs/smtlib/QF_FP/griggio/fmcad12/mul_03_30_7.smt2 (content) ok ok 0.019s