detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_71.smt2 (content) ok ok 0.022s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_709.smt2 (content) ok ok 0.360s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_708.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_707.smt2 (content) ok ok 0.357s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_706.smt2 (content) ok ok 0.349s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_705.smt2 (content) ok ok 0.365s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_704.smt2 (content) ok ok 0.327s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_703.smt2 (content) ok ok 0.376s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_702.smt2 (content) ok ok 0.326s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_701.smt2 (content) ok ok 0.375s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_700.smt2 (content) ok ok 0.373s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_70.smt2 (content) ok ok 0.072s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_7.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_699.smt2 (content) ok ok 0.539s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_698.smt2 (content) ok ok 0.377s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_697.smt2 (content) ok ok 0.073s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_696.smt2 (content) ok ok 0.385s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_695.smt2 (content) ok ok 0.616s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_694.smt2 (content) ok ok 0.426s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_693.smt2 (content) ok ok 0.355s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_692.smt2 (content) ok ok 0.428s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_691.smt2 (content) ok ok 0.433s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_690.smt2 (content) ok ok 0.433s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_69.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_689.smt2 (content) ok ok 0.413s