detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5234.smt2 (content) ok ok 0.968s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5233.smt2 (content) ok ok 0.951s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5232.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5231.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5230.smt2 (content) ok ok 0.985s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_523.smt2 (content) ok ok 14s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5229.smt2 (content) ok ok 0.894s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5228.smt2 (content) ok ok 0.965s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5227.smt2 (content) ok ok 0.588s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5226.smt2 (content) ok ok 0.958s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5225.smt2 (content) ok ok 17.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5224.smt2 (content) ok ok 24.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5223.smt2 (content) ok ok 0.975s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5222.smt2 (content) ok ok 0.556s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5221.smt2 (content) ok ok 0.995s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5220.smt2 (content) ok ok 0.551s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_522.smt2 (content) ok ok 15.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5219.smt2 (content) ok ok 0.576s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5218.smt2 (content) ok ok 0.967s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5217.smt2 (content) ok ok 0.669s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5216.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5215.smt2 (content) ok ok 1.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5214.smt2 (content) ok ok 0.657s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5213.smt2 (content) ok ok 20s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5212.smt2 (content) ok ok 0.655s