detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r10_vr5_c1_s13195.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r10_vr1_c1_s32538.smt2 (content) ok ok 4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r10_vr1_c1_s19145.smt2 (content) ok ok 2.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r10_vr1_c1_s13516.smt2 (content) ok ok 2.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r10_vr10_c1_s7608.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r10_vr10_c1_s21502.smt2 (content) ok ok 2.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r10_vr10_c1_s15708.smt2 (content) ok ok 3.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v3_r8_vr5_c1_s8257.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v3_r8_vr5_c1_s1507.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v3_r8_vr5_c1_s10746.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v3_r8_vr1_c1_s733.smt2 (content) ok ok 1.6s
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