detailed results (95063 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_61.smt2 (content) ok ok 6.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_609.smt2 (content) ok ok 4.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_608.smt2 (content) ok ok 5.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_607.smt2 (content) ok ok 5.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_606.smt2 (content) ok ok 7.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_605.smt2 (content) ok ok 8.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_604.smt2 (content) ok ok 7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_603.smt2 (content) ok ok 6.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_602.smt2 (content) ok ok 6.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_601.smt2 (content) ok ok 5.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_600.smt2 (content) ok ok 7.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_60.smt2 (content) ok ok 7.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_6.smt2 (content) ok ok 7.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app11/bench_599.smt2 (content) ok ok 7.7s