detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6021.smt2 (content) ok ok 0.246s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6020.smt2 (content) ok ok 0.143s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_602.smt2 (content) ok ok 10.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6019.smt2 (content) ok ok 0.139s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6018.smt2 (content) ok ok 0.234s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6017.smt2 (content) ok ok 0.144s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6016.smt2 (content) ok ok 0.302s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6015.smt2 (content) ok ok 0.257s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6014.smt2 (content) ok ok 16.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6013.smt2 (content) ok ok 0.245s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6012.smt2 (content) ok ok 0.244s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6011.smt2 (content) ok ok 0.246s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6010.smt2 (content) ok ok 0.244s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_601.smt2 (content) ok ok 10.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6009.smt2 (content) ok ok 0.153s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6008.smt2 (content) ok ok 0.252s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6007.smt2 (content) ok ok 0.243s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6006.smt2 (content) ok ok 0.254s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6005.smt2 (content) ok ok 0.258s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6004.smt2 (content) ok ok 0.249s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6003.smt2 (content) ok ok 19.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6002.smt2 (content) ok ok 22.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6001.smt2 (content) ok ok 0.249s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_6000.smt2 (content) ok ok 0.256s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_600.smt2 (content) ok ok 17.3s