detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v3_r8_vr1_c1_s23752.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v3_r8_vr1_c1_s20372.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v3_r8_vr10_c1_s5590.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v3_r8_vr10_c1_s4660.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v3_r8_vr10_c1_s18214.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v3_r3_vr5_c1_s26769.smt2 (content) ok ok 0.554s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v3_r3_vr5_c1_s16867.smt2 (content) ok ok 0.679s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v3_r3_vr5_c1_s16641.smt2 (content) ok ok 0.557s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v3_r3_vr1_c1_s6731.smt2 (content) ok ok 0.710s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v3_r3_vr1_c1_s5578.smt2 (content) ok ok 0.408s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v3_r3_vr1_c1_s10392.smt2 (content) ok ok 0.723s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v3_r3_vr10_c1_s29304.smt2 (content) ok ok 0.724s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v3_r3_vr10_c1_s24300.smt2 (content) ok ok 0.711s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v3_r3_vr10_c1_s14052.smt2 (content) ok ok 0.403s
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