detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sqrt.c.20.smt2 (content) ok ok 5.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sqrt.c.2.smt2 (content) ok ok 0.436s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sqrt.c.15.smt2 (content) ok ok 5.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sqrt.c.10.smt2 (content) ok ok 3.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sine.8.0.i.smt2 (content) ok ok 0.464s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sine.7.0.i.smt2 (content) ok ok 0.255s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sine.6.0.i.smt2 (content) ok ok 0.457s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sine.5.0.i.smt2 (content) ok ok 0.270s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sine.4.0.i.smt2 (content) ok ok 0.461s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sine.3.0.i.smt2 (content) ok ok 0.266s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sine.2.0.i.smt2 (content) ok ok 0.326s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sine.1.0.i.smt2 (content) ok ok 0.288s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sin2.c.75.smt2 (content) ok ok 10.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sin2.c.5.smt2 (content) ok ok 0.603s
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