detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5009.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5008.smt2 (content) ok ok 0.974s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5007.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5006.smt2 (content) ok ok 0.993s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5005.smt2 (content) ok ok 1.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5004.smt2 (content) ok ok 0.957s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5003.smt2 (content) ok ok 13.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5002.smt2 (content) ok ok 22.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5001.smt2 (content) ok ok 0.984s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5000.smt2 (content) ok ok 1.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_500.smt2 (content) ok ok 14.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_50.smt2 (content) ok ok 15.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5.smt2 (content) ok ok 15.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4999.smt2 (content) ok ok 0.985s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4998.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4997.smt2 (content) ok ok 0.956s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4996.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4995.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4994.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4993.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4992.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4991.smt2 (content) ok ok 15.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4990.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_499.smt2 (content) ok ok 13.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_4989.smt2 (content) ok ok 1.7s