detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sin2.c.25.smt2 (content) ok ok 3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sin2.c.20.smt2 (content) ok ok 3.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sin2.c.2.smt2 (content) ok ok 0.265s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sin2.c.175.smt2 (content) ok ok 29.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sin2.c.15.smt2 (content) ok ok 2.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sin2.c.125.smt2 (content) ok ok 20.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sin2.c.10.smt2 (content) ok ok 1.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sin.c.75.smt2 (content) ok ok 11.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sin.c.25.smt2 (content) ok ok 4.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sin.c.175.smt2 (content) ok ok 25.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sin.c.125.smt2 (content) ok ok 18.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/qurt.c.5.smt2 (content) ok ok 3.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/qurt.c.25.smt2 (content) ok ok 12.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/qurt.c.20.smt2 (content) ok ok 18.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/qurt.c.2.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/qurt.c.15.smt2 (content) ok ok 10.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/qurt.c.10.smt2 (content) ok ok 8.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/pow5.smt2 (content) ok ok 0.098s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.8.3.i.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.8.2.i.smt2 (content) ok ok 0.887s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.8.1.i.smt2 (content) ok ok 0.473s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.7.3.i.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.7.2.i.smt2 (content) ok ok 0.904s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.7.1.i.smt2 (content) ok ok 0.792s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/newton.6.3.i.smt2 (content) ok ok 2.3s