detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5978.smt2 (content) ok ok 0.155s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5977.smt2 (content) ok ok 0.268s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5976.smt2 (content) ok ok 0.218s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5975.smt2 (content) ok ok 0.266s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5974.smt2 (content) ok ok 0.265s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5973.smt2 (content) ok ok 0.155s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5972.smt2 (content) ok ok 0.160s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5971.smt2 (content) ok ok 0.155s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5970.smt2 (content) ok ok 0.269s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_597.smt2 (content) ok ok 15.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5969.smt2 (content) ok ok 14.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5968.smt2 (content) ok ok 0.270s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5967.smt2 (content) ok ok 0.256s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5966.smt2 (content) ok ok 0.156s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5965.smt2 (content) ok ok 0.353s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5964.smt2 (content) ok ok 0.261s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5963.smt2 (content) ok ok 0.279s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5962.smt2 (content) ok ok 0.273s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5961.smt2 (content) ok ok 0.156s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5960.smt2 (content) ok ok 0.159s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_596.smt2 (content) ok ok 10.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5959.smt2 (content) ok ok 0.279s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5958.smt2 (content) ok ok 18.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5957.smt2 (content) ok ok 0.149s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5956.smt2 (content) ok ok 0.276s