detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_855.smt2 (content) ok ok 0.280s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_854.smt2 (content) ok ok 0.285s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_853.smt2 (content) ok ok 0.258s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_852.smt2 (content) ok ok 0.041s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_851.smt2 (content) ok ok 0.336s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_850.smt2 (content) ok ok 0.282s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_85.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_849.smt2 (content) ok ok 0.260s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_848.smt2 (content) ok ok 0.203s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_847.smt2 (content) ok ok 0.268s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app2/bench_846.smt2 (content) ok ok 0.239s
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