detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.6.2.i.smt2 (content) ok ok 1.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.6.1.i.smt2 (content) ok ok 0.768s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.5.3.i.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.5.2.i.smt2 (content) ok ok 0.889s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.5.1.i.smt2 (content) ok ok 0.767s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.4.3.i.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.4.2.i.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.4.1.i.smt2 (content) ok ok 0.725s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.3.3.i.smt2 (content) ok ok 2.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.3.2.i.smt2 (content) ok ok 1.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.3.1.i.smt2 (content) ok ok 0.584s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.2.3.i.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.2.2.i.smt2 (content) ok ok 1.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.2.1.i.smt2 (content) ok ok 0.737s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.1.3.i.smt2 (content) ok ok 1.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.1.2.i.smt2 (content) ok ok 0.976s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.1.1.i.smt2 (content) ok ok 0.484s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mult2.c.50.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mult2.c.40.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mult2.c.30.smt2 (content) ok ok 0.857s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mult2.c.3.smt2 (content) ok ok 0.159s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mult2.c.20.smt2 (content) ok ok 0.851s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mult2.c.10.smt2 (content) ok ok 0.459s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mult1.c.50.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mult1.c.40.smt2 (content) ok ok 1s