detailed results (92284 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_72.smt2 (content) ok ok 0.011s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_719.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_718.smt2 (content) ok ok 0.358s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_717.smt2 (content) ok ok 0.345s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_716.smt2 (content) ok ok 0.367s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_715.smt2 (content) ok ok 0.368s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_714.smt2 (content) ok ok 0.390s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_713.smt2 (content) ok ok 0.411s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_712.smt2 (content) ok ok 0.337s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_711.smt2 (content) ok ok 0.409s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_710.smt2 (content) ok ok 0.407s