detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6067.smt2 (content) ok ok 0.256s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6066.smt2 (content) ok ok 0.120s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6065.smt2 (content) ok ok 0.209s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6064.smt2 (content) ok ok 0.129s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6063.smt2 (content) ok ok 0.128s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6062.smt2 (content) ok ok 0.207s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6061.smt2 (content) ok ok 0.206s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6060.smt2 (content) ok ok 0.215s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_606.smt2 (content) ok ok 15.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6059.smt2 (content) ok ok 0.208s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6058.smt2 (content) ok ok 16.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6057.smt2 (content) ok ok 0.180s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6056.smt2 (content) ok ok 0.125s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6055.smt2 (content) ok ok 0.222s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6054.smt2 (content) ok ok 0.135s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6053.smt2 (content) ok ok 0.157s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6052.smt2 (content) ok ok 0.217s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6051.smt2 (content) ok ok 0.222s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6050.smt2 (content) ok ok 0.131s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_605.smt2 (content) ok ok 16.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6049.smt2 (content) ok ok 0.222s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6048.smt2 (content) ok ok 0.225s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6047.smt2 (content) ok ok 17.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6046.smt2 (content) ok ok 0.272s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6045.smt2 (content) ok ok 0.211s