detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r7_vr10_c1_s10625.smt2 (content) ok ok 2.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r17_vr5_c1_s4772.smt2 (content) ok ok 6.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r17_vr5_c1_s2807.smt2 (content) ok ok 7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r17_vr5_c1_s25451.smt2 (content) ok ok 8.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r17_vr1_c1_s30331.smt2 (content) ok ok 9.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r17_vr1_c1_s24331.smt2 (content) ok ok 6.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r17_vr1_c1_s23882.smt2 (content) ok ok 9.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r17_vr10_c1_s8773.smt2 (content) ok ok 9.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r17_vr10_c1_s3680.smt2 (content) ok ok 7.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r17_vr10_c1_s18654.smt2 (content) ok ok 6.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r12_vr5_c1_s8938.smt2 (content) ok ok 6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r12_vr5_c1_s29826.smt2 (content) ok ok 6.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r12_vr5_c1_s14336.smt2 (content) ok ok 6.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r12_vr1_c1_s703.smt2 (content) ok ok 6.7s
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