detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_562.smt2 (content) ok ok 0.622s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_561.smt2 (content) ok ok 0.584s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_560.smt2 (content) ok ok 0.542s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_56.smt2 (content) ok ok 0.035s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_559.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_558.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_557.smt2 (content) ok ok 0.654s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_556.smt2 (content) ok ok 0.925s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_555.smt2 (content) ok ok 0.668s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_554.smt2 (content) ok ok 0.983s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_553.smt2 (content) ok ok 0.061s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_552.smt2 (content) ok ok 0.040s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_551.smt2 (content) ok ok 0.033s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_550.smt2 (content) ok ok 0.067s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_55.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_549.smt2 (content) ok ok 0.730s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_548.smt2 (content) ok ok 0.663s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_547.smt2 (content) ok ok 0.677s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_546.smt2 (content) ok ok 0.676s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_545.smt2 (content) ok ok 0.754s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_544.smt2 (content) ok ok 0.716s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_543.smt2 (content) ok ok 0.709s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_542.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_541.smt2 (content) ok ok 0.715s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_540.smt2 (content) ok ok 0.694s