detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1126.smt2 (content) ok ok 18.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1125.smt2 (content) ok ok 11.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1124.smt2 (content) ok ok 8.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1123.smt2 (content) ok ok 10.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1122.smt2 (content) ok ok 11.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1121.smt2 (content) ok ok 10.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1120.smt2 (content) ok ok 8.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_112.smt2 (content) ok ok 18.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1119.smt2 (content) ok ok 11.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1118.smt2 (content) ok ok 8.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1117.smt2 (content) ok ok 9.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1116.smt2 (content) ok ok 7.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1115.smt2 (content) ok ok 17.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1114.smt2 (content) ok ok 20.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1113.smt2 (content) ok ok 24.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1112.smt2 (content) ok ok 9.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1111.smt2 (content) ok ok 9.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1110.smt2 (content) ok ok 12.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_111.smt2 (content) ok ok 11.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1109.smt2 (content) ok ok 0.032s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1108.smt2 (content) ok ok 11.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1107.smt2 (content) ok ok 11.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1106.smt2 (content) ok ok 11.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1105.smt2 (content) ok ok 10.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_1104.smt2 (content) ok ok 12.4s