detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_159.smt2 (content) ok ok 25.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1589.smt2 (content) ok ok 7.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1588.smt2 (content) ok ok 8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1587.smt2 (content) ok ok 6.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1586.smt2 (content) ok ok 4.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1585.smt2 (content) ok ok 7.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1584.smt2 (content) ok ok 7.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1583.smt2 (content) ok ok 8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1582.smt2 (content) ok ok 4.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1581.smt2 (content) ok ok 22.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1580.smt2 (content) ok ok 7.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_158.smt2 (content) ok ok 12.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1579.smt2 (content) ok ok 6.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1578.smt2 (content) ok ok 6.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1577.smt2 (content) ok ok 8.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1576.smt2 (content) ok ok 6.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1575.smt2 (content) ok ok 5.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1574.smt2 (content) ok ok 4.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1573.smt2 (content) ok ok 4.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1572.smt2 (content) ok ok 7.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1571.smt2 (content) ok ok 8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1570.smt2 (content) ok ok 18.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_157.smt2 (content) ok ok 13.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1569.smt2 (content) ok ok 6.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1568.smt2 (content) ok ok 6.4s