detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5595.smt2 (content) ok ok 0.342s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5594.smt2 (content) ok ok 0.598s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5593.smt2 (content) ok ok 0.409s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5592.smt2 (content) ok ok 19.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5591.smt2 (content) ok ok 0.361s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5590.smt2 (content) ok ok 0.337s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_559.smt2 (content) ok ok 18.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5589.smt2 (content) ok ok 0.645s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5588.smt2 (content) ok ok 0.521s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5587.smt2 (content) ok ok 0.347s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5586.smt2 (content) ok ok 0.580s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5585.smt2 (content) ok ok 0.353s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5584.smt2 (content) ok ok 0.590s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5583.smt2 (content) ok ok 0.571s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5582.smt2 (content) ok ok 0.571s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5581.smt2 (content) ok ok 15.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5580.smt2 (content) ok ok 0.560s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_558.smt2 (content) ok ok 15.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5579.smt2 (content) ok ok 0.554s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5578.smt2 (content) ok ok 0.392s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5577.smt2 (content) ok ok 0.430s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5576.smt2 (content) ok ok 0.341s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5575.smt2 (content) ok ok 0.599s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5574.smt2 (content) ok ok 0.336s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5573.smt2 (content) ok ok 0.368s