detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_742.smt2 (content) ok ok 0.368s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_741.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_740.smt2 (content) ok ok 0.347s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_74.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_739.smt2 (content) ok ok 0.036s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_738.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_737.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_736.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_735.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_734.smt2 (content) ok ok 0.414s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_733.smt2 (content) ok ok 0.365s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_732.smt2 (content) ok ok 0.329s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_731.smt2 (content) ok ok 0.365s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_730.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_73.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_729.smt2 (content) ok ok 0.368s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_728.smt2 (content) ok ok 0.324s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_727.smt2 (content) ok ok 0.392s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_726.smt2 (content) ok ok 0.394s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_725.smt2 (content) ok ok 0.340s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_724.smt2 (content) ok ok 0.361s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_723.smt2 (content) ok ok 0.370s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_722.smt2 (content) ok ok 0.341s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_721.smt2 (content) ok ok 0.329s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_720.smt2 (content) ok ok 0.395s