detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8520.smt2 (content) ok ok 13.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_852.smt2 (content) ok ok 10.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8519.smt2 (content) ok ok 14.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8518.smt2 (content) ok ok 16.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8517.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8516.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8515.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8514.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8513.smt2 (content) ok ok 18s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8512.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8511.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8510.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_851.smt2 (content) ok ok 11s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8509.smt2 (content) ok ok 0.021s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8508.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8507.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8506.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8505.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8504.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8503.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8502.smt2 (content) ok ok 17.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8501.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8500.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_850.smt2 (content) ok ok 14.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_85.smt2 (content) ok ok 15.2s