detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_81.smt2 (content) ok ok 7.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_80.smt2 (content) ok ok 7.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_8.smt2 (content) ok ok 7.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_79.smt2 (content) ok ok 5.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_78.smt2 (content) ok ok 5.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_77.smt2 (content) ok ok 4.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_76.smt2 (content) ok ok 7.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_75.smt2 (content) ok ok 5.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_74.smt2 (content) ok ok 7.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_73.smt2 (content) ok ok 7.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_72.smt2 (content) ok ok 7.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_71.smt2 (content) ok ok 7.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_70.smt2 (content) ok ok 5.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_7.smt2 (content) ok ok 6.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_69.smt2 (content) ok ok 4.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_68.smt2 (content) ok ok 5.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_67.smt2 (content) ok ok 7.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_66.smt2 (content) ok ok 7.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_65.smt2 (content) ok ok 7.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_64.smt2 (content) ok ok 7.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_63.smt2 (content) ok ok 5.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_62.smt2 (content) ok ok 6.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_612.smt2 (content) ok ok 6.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_611.smt2 (content) ok ok 7.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_610.smt2 (content) ok ok 6.5s