detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1216.smt2 (content) ok ok 0.023s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1215.smt2 (content) ok ok 0.028s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1214.smt2 (content) ok ok 25.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1213.smt2 (content) ok ok 6.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1212.smt2 (content) ok ok 6.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1211.smt2 (content) ok ok 9.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1210.smt2 (content) ok ok 11s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_121.smt2 (content) ok ok 17s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1209.smt2 (content) ok ok 10.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1208.smt2 (content) ok ok 6.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1207.smt2 (content) ok ok 10.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1206.smt2 (content) ok ok 6.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1205.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1204.smt2 (content) ok ok 0.038s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1203.smt2 (content) ok ok 22.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1202.smt2 (content) ok ok 0.049s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1201.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1200.smt2 (content) ok ok 0.018s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_120.smt2 (content) ok ok 15.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_12.smt2 (content) ok ok 17.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1199.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1198.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1197.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1196.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1195.smt2 (content) ok ok 0.025s