detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_60.smt2 (content) ok ok 12.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6.smt2 (content) ok ok 14.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5999.smt2 (content) ok ok 0.252s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5998.smt2 (content) ok ok 0.252s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5997.smt2 (content) ok ok 0.252s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5996.smt2 (content) ok ok 0.257s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5995.smt2 (content) ok ok 0.261s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5994.smt2 (content) ok ok 0.150s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5993.smt2 (content) ok ok 0.248s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5992.smt2 (content) ok ok 0.256s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5991.smt2 (content) ok ok 17.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5990.smt2 (content) ok ok 0.250s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_599.smt2 (content) ok ok 12.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5989.smt2 (content) ok ok 0.155s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5988.smt2 (content) ok ok 0.178s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5987.smt2 (content) ok ok 0.325s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5986.smt2 (content) ok ok 0.272s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5985.smt2 (content) ok ok 0.257s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5984.smt2 (content) ok ok 0.256s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5983.smt2 (content) ok ok 0.262s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5982.smt2 (content) ok ok 0.258s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5981.smt2 (content) ok ok 0.152s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5980.smt2 (content) ok ok 17.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_598.smt2 (content) ok ok 16.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5979.smt2 (content) ok ok 0.270s