detailed results (92284 total)

prover file res expected time
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
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