detailed results (92284 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mult1.c.30.smt2 (content) ok ok 1.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mult1.c.3.smt2 (content) ok ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mult1.c.20.smt2 (content) ok ok 0.831s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mult1.c.10.smt2 (content) ok ok 0.252s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mul_03_3_1.smt2 (content) ok ok 0.379s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mul_03_30_7.smt2 (content) ok ok 0.403s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mul_03_30_6.smt2 (content) ok ok 0.397s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mul_03_30_5.smt2 (content) ok ok 0.252s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mul_03_30_4.smt2 (content) ok ok 0.385s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mul_03_30_3.smt2 (content) ok ok 0.403s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/mul_03_30_2.smt2 (content) ok ok 0.393s