detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_598.smt2 (content) ok ok 4.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_597.smt2 (content) ok ok 6.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_596.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_595.smt2 (content) ok ok 4.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_594.smt2 (content) ok ok 5.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_593.smt2 (content) ok ok 5.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_592.smt2 (content) ok ok 7.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_591.smt2 (content) ok ok 7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_590.smt2 (content) ok ok 7.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_59.smt2 (content) ok ok 5.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_589.smt2 (content) ok ok 7.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_588.smt2 (content) ok ok 7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_587.smt2 (content) ok ok 7.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_586.smt2 (content) ok ok 4.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_585.smt2 (content) ok ok 6.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_584.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_583.smt2 (content) ok ok 7.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_582.smt2 (content) ok ok 7.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_581.smt2 (content) ok ok 7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_580.smt2 (content) ok ok 7.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_58.smt2 (content) ok ok 5.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_579.smt2 (content) ok ok 6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_578.smt2 (content) ok ok 7.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_577.smt2 (content) ok ok 6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_576.smt2 (content) ok ok 5.6s