detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_349.smt2 (content) ok ok 5.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_348.smt2 (content) ok ok 7.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_347.smt2 (content) ok ok 5.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_346.smt2 (content) ok ok 8.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_345.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_344.smt2 (content) ok ok 6.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_343.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_342.smt2 (content) ok ok 6.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_341.smt2 (content) ok ok 7.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_340.smt2 (content) ok ok 6.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_34.smt2 (content) ok ok 7.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_339.smt2 (content) ok ok 7.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_338.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_337.smt2 (content) ok ok 6.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_336.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_335.smt2 (content) ok ok 4.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_334.smt2 (content) ok ok 6.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_333.smt2 (content) ok ok 6.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_332.smt2 (content) ok ok 7.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_331.smt2 (content) ok ok 6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_330.smt2 (content) ok ok 7.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_33.smt2 (content) ok ok 5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_329.smt2 (content) ok ok 5.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_328.smt2 (content) ok ok 6.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_327.smt2 (content) ok ok 4.4s