detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_384.smt2 (content) ok ok 13s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3839.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3838.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3837.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3836.smt2 (content) ok ok 17.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3835.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3834.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3833.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3832.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3831.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3830.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_383.smt2 (content) ok ok 17.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3829.smt2 (content) ok ok 1.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3828.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3827.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3826.smt2 (content) ok ok 0.027s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3825.smt2 (content) ok ok 17.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3824.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3823.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3822.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3821.smt2 (content) ok ok 2.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3820.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_382.smt2 (content) ok ok 12.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3819.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3818.smt2 (content) ok ok 2.2s