detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/square.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/square.8.0.i.smt2 (content) ok ok 0.475s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/square.7.0.i.smt2 (content) ok ok 0.488s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/square.6.0.i.smt2 (content) ok ok 0.357s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/square.5.0.i.smt2 (content) ok ok 0.435s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/square.4.0.i.smt2 (content) ok ok 0.292s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/square.3.0.i.smt2 (content) ok ok 0.501s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/square.2.0.i.smt2 (content) ok ok 0.471s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/square.1.0.i.smt2 (content) ok ok 0.488s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sqrt.c.5.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/sqrt.c.25.smt2 (content) ok ok 4.5s
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