detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/galois/iffyInterleavedModMult-4.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/galois/iffyInterleavedModMult-32.smt2 (content) ok ok 0.241s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/galois/iffyInterleavedModMult-128.smt2 (content) ok ok 0.936s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r7_vr5_c1_s3582.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r7_vr5_c1_s19694.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r7_vr5_c1_s14675.smt2 (content) ok ok 3.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r7_vr1_c1_s4574.smt2 (content) ok ok 2.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r7_vr1_c1_s24449.smt2 (content) ok ok 2.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r7_vr1_c1_s22845.smt2 (content) ok ok 3.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r7_vr10_c1_s32506.smt2 (content) ok ok 3.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/float/test_v7_r7_vr10_c1_s24535.smt2 (content) ok ok 2.2s
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