detailed results (95063 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_688.smt2 (content) ok ok 0.397s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_687.smt2 (content) ok ok 0.403s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_686.smt2 (content) ok ok 0.080s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_685.smt2 (content) ok ok 0.392s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_684.smt2 (content) ok ok 0.443s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_683.smt2 (content) ok ok 0.425s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_682.smt2 (content) ok ok 0.353s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_681.smt2 (content) ok ok 0.447s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_680.smt2 (content) ok ok 0.406s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_68.smt2 (content) ok ok 0.016s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_679.smt2 (content) ok ok 0.404s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_678.smt2 (content) ok ok 0.427s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_677.smt2 (content) ok ok 0.509s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_676.smt2 (content) ok ok 0.403s