detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r12_vr1_c1_s22787.smt2 (content) ok ok 5.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r12_vr1_c1_s10576.smt2 (content) ok ok 6.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r12_vr10_c1_s30410.smt2 (content) ok ok 5.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r12_vr10_c1_s18160.smt2 (content) ok ok 6.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r12_vr10_c1_s15994.smt2 (content) ok ok 3.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r5_vr5_c1_s9855.smt2 (content) ok ok 1.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r5_vr5_c1_s2800.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r5_vr5_c1_s24018.smt2 (content) ok ok 1.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r5_vr1_c1_s16138.smt2 (content) ok ok 1.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r5_vr1_c1_s15604.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v5_r5_vr1_c1_s14623.smt2 (content) ok ok 1.0s
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