detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5257.smt2 (content) ok ok 0.957s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5256.smt2 (content) ok ok 0.970s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5255.smt2 (content) ok ok 0.581s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5254.smt2 (content) ok ok 0.951s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5253.smt2 (content) ok ok 0.556s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5252.smt2 (content) ok ok 0.762s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5251.smt2 (content) ok ok 0.969s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5250.smt2 (content) ok ok 0.992s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_525.smt2 (content) ok ok 16.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5249.smt2 (content) ok ok 0.935s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5248.smt2 (content) ok ok 0.945s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5247.smt2 (content) ok ok 17.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5246.smt2 (content) ok ok 0.956s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5245.smt2 (content) ok ok 0.988s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5244.smt2 (content) ok ok 0.555s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5243.smt2 (content) ok ok 0.970s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5242.smt2 (content) ok ok 0.981s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5241.smt2 (content) ok ok 0.987s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5240.smt2 (content) ok ok 0.947s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_524.smt2 (content) ok ok 15.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5239.smt2 (content) ok ok 0.940s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5238.smt2 (content) ok ok 0.953s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5237.smt2 (content) ok ok 0.984s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5236.smt2 (content) ok ok 17.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5235.smt2 (content) ok ok 0.978s