detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_316.smt2 (content) ok ok 5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_315.smt2 (content) ok ok 7.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_314.smt2 (content) ok ok 5.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_313.smt2 (content) ok ok 6.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_312.smt2 (content) ok ok 5.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_311.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_310.smt2 (content) ok ok 5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_31.smt2 (content) ok ok 6.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_309.smt2 (content) ok ok 7.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_308.smt2 (content) ok ok 7.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_307.smt2 (content) ok ok 6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_306.smt2 (content) ok ok 7.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_305.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_304.smt2 (content) ok ok 4.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_303.smt2 (content) ok ok 7.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_302.smt2 (content) ok ok 6.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_301.smt2 (content) ok ok 7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_300.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_30.smt2 (content) ok ok 5.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_3.smt2 (content) ok ok 5.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_299.smt2 (content) ok ok 7.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_298.smt2 (content) ok ok 4.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_297.smt2 (content) ok ok 7.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_296.smt2 (content) ok ok 6.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_295.smt2 (content) ok ok 4.4s