detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_845.smt2 (content) ok ok 0.293s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_844.smt2 (content) ok ok 0.293s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_843.smt2 (content) ok ok 0.346s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_842.smt2 (content) ok ok 0.249s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_841.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_840.smt2 (content) ok ok 0.277s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_84.smt2 (content) ok ok 0.020s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_839.smt2 (content) ok ok 0.273s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_838.smt2 (content) ok ok 0.264s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_837.smt2 (content) ok ok 0.406s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_836.smt2 (content) ok ok 0.398s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_835.smt2 (content) ok ok 0.265s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_834.smt2 (content) ok ok 0.254s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_833.smt2 (content) ok ok 0.266s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_832.smt2 (content) ok ok 0.276s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_831.smt2 (content) ok ok 0.274s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_830.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_83.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_829.smt2 (content) ok ok 0.295s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_828.smt2 (content) ok ok 0.058s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_827.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_826.smt2 (content) ok ok 0.290s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_825.smt2 (content) ok ok 0.329s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_824.smt2 (content) ok ok 0.291s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_823.smt2 (content) ok ok 0.345s