detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_993.smt2 (content) ok ok 12.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_992.smt2 (content) ok ok 9.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_991.smt2 (content) ok ok 23s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_990.smt2 (content) ok ok 9.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_99.smt2 (content) ok ok 13.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_989.smt2 (content) ok ok 9.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_988.smt2 (content) ok ok 8.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_987.smt2 (content) ok ok 12.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_986.smt2 (content) ok ok 11.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_985.smt2 (content) ok ok 10.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_984.smt2 (content) ok ok 12.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_983.smt2 (content) ok ok 11.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_982.smt2 (content) ok ok 10.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_981.smt2 (content) ok ok 11s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_980.smt2 (content) ok ok 23.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_98.smt2 (content) ok ok 15.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_979.smt2 (content) ok ok 10.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_978.smt2 (content) ok ok 11.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_977.smt2 (content) ok ok 12.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_976.smt2 (content) ok ok 12.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_975.smt2 (content) ok ok 12.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_974.smt2 (content) ok ok 9.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_973.smt2 (content) ok ok 10.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_972.smt2 (content) ok ok 12.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_971.smt2 (content) ok ok 13s