detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r5_vr10_c1_s7194.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r5_vr10_c1_s5996.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r5_vr10_c1_s5379.smt2 (content) ok ok 1.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r15_vr5_c1_s8246.smt2 (content) ok ok 4.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r15_vr5_c1_s26657.smt2 (content) ok ok 5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r15_vr5_c1_s23844.smt2 (content) ok ok 5.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r15_vr1_c1_s8236.smt2 (content) ok ok 4.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r15_vr1_c1_s32559.smt2 (content) ok ok 5.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r15_vr1_c1_s26845.smt2 (content) ok ok 5.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r15_vr10_c1_s25268.smt2 (content) ok ok 5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r15_vr10_c1_s14516.smt2 (content) ok ok 4.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r15_vr10_c1_s11127.smt2 (content) ok ok 4.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r10_vr5_c1_s8690.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r10_vr5_c1_s13679.smt2 (content) ok ok 2.5s
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