detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_570.smt2 (content) ok ok 0.037s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_57.smt2 (content) ok ok 0.133s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_569.smt2 (content) ok ok 0.111s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_568.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_567.smt2 (content) ok ok 0.100s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_566.smt2 (content) ok ok 0.088s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_565.smt2 (content) ok ok 0.117s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_564.smt2 (content) ok ok 0.069s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_563.smt2 (content) ok ok 0.140s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_562.smt2 (content) ok ok 0.070s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_561.smt2 (content) ok ok 0.071s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_560.smt2 (content) ok ok 0.121s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_56.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_559.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_558.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_557.smt2 (content) ok ok 0.115s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_555.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_554.smt2 (content) ok ok 0.112s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_552.smt2 (content) ok ok 0.119s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_551.smt2 (content) ok ok 0.117s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_550.smt2 (content) ok ok 0.117s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_55.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_549.smt2 (content) ok ok 0.095s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_548.smt2 (content) ok ok 0.115s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app8/bench_547.smt2 (content) ok ok 0.016s