detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5842.smt2 (content) ok ok 0.345s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5841.smt2 (content) ok ok 0.339s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5840.smt2 (content) ok ok 0.206s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_584.smt2 (content) ok ok 14s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5839.smt2 (content) ok ok 0.202s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5838.smt2 (content) ok ok 0.211s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5837.smt2 (content) ok ok 0.207s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5836.smt2 (content) ok ok 16.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5835.smt2 (content) ok ok 0.204s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5834.smt2 (content) ok ok 0.371s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5833.smt2 (content) ok ok 0.333s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5832.smt2 (content) ok ok 0.351s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5831.smt2 (content) ok ok 0.204s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5830.smt2 (content) ok ok 0.339s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_583.smt2 (content) ok ok 13.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5829.smt2 (content) ok ok 0.349s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5828.smt2 (content) ok ok 0.359s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5827.smt2 (content) ok ok 0.247s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5826.smt2 (content) ok ok 0.349s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5825.smt2 (content) ok ok 16.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5824.smt2 (content) ok ok 0.212s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5823.smt2 (content) ok ok 0.201s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5822.smt2 (content) ok ok 0.354s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5821.smt2 (content) ok ok 0.356s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5820.smt2 (content) ok ok 0.291s