detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_970.smt2 (content) ok ok 9.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_97.smt2 (content) ok ok 17.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_969.smt2 (content) ok ok 19.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_968.smt2 (content) ok ok 13.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_967.smt2 (content) ok ok 7.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_966.smt2 (content) ok ok 12.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_965.smt2 (content) ok ok 10.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_964.smt2 (content) ok ok 8.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_963.smt2 (content) ok ok 8.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_962.smt2 (content) ok ok 11.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_961.smt2 (content) ok ok 12.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_960.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_96.smt2 (content) ok ok 13.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_959.smt2 (content) ok ok 0.026s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_958.smt2 (content) ok ok 17.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_957.smt2 (content) ok ok 0.024s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_956.smt2 (content) ok ok 0.019s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_955.smt2 (content) ok ok 13.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_954.smt2 (content) ok ok 10.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_953.smt2 (content) ok ok 13.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_952.smt2 (content) ok ok 11.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_951.smt2 (content) ok ok 12.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_950.smt2 (content) ok ok 11.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_95.smt2 (content) ok ok 11.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_949.smt2 (content) ok ok 13s