detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_366.smt2 (content) ok ok 12.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3659.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3658.smt2 (content) ok ok 20.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3657.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3656.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3655.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3654.smt2 (content) ok ok 2.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3653.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3652.smt2 (content) ok ok 2.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3651.smt2 (content) ok ok 2.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3650.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_365.smt2 (content) ok ok 18.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3649.smt2 (content) ok ok 2.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3648.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3647.smt2 (content) ok ok 18.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3646.smt2 (content) ok ok 2.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3645.smt2 (content) ok ok 2.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3644.smt2 (content) ok ok 2.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3643.smt2 (content) ok ok 2.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3642.smt2 (content) ok ok 2.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3641.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3640.smt2 (content) ok ok 2.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_364.smt2 (content) ok ok 12.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3639.smt2 (content) ok ok 2.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_3638.smt2 (content) ok ok 1.8s