detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5775.smt2 (content) ok ok 0.408s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5774.smt2 (content) ok ok 0.340s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5773.smt2 (content) ok ok 0.329s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5772.smt2 (content) ok ok 0.405s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5771.smt2 (content) ok ok 0.413s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5770.smt2 (content) ok ok 0.242s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_577.smt2 (content) ok ok 16.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5769.smt2 (content) ok ok 17.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5768.smt2 (content) ok ok 0.418s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5767.smt2 (content) ok ok 0.419s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5766.smt2 (content) ok ok 0.424s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5765.smt2 (content) ok ok 0.412s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5764.smt2 (content) ok ok 0.417s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5763.smt2 (content) ok ok 0.415s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5762.smt2 (content) ok ok 0.430s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5761.smt2 (content) ok ok 0.535s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5760.smt2 (content) ok ok 0.422s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_576.smt2 (content) ok ok 17.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5759.smt2 (content) ok ok 0.247s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5758.smt2 (content) ok ok 17s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5757.smt2 (content) ok ok 0.421s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5756.smt2 (content) ok ok 0.428s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5755.smt2 (content) ok ok 0.428s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5754.smt2 (content) ok ok 0.256s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5753.smt2 (content) ok ok 0.444s