detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_880.smt2 (content) ok ok 19.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_88.smt2 (content) ok ok 13.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_879.smt2 (content) ok ok 11.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_878.smt2 (content) ok ok 12.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_877.smt2 (content) ok ok 13s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_876.smt2 (content) ok ok 13.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_875.smt2 (content) ok ok 14.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_874.smt2 (content) ok ok 12.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_873.smt2 (content) ok ok 12.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_872.smt2 (content) ok ok 14.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_871.smt2 (content) ok ok 13.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_870.smt2 (content) ok ok 12.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_87.smt2 (content) ok ok 17.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_869.smt2 (content) ok ok 16.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_868.smt2 (content) ok ok 14.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_867.smt2 (content) ok ok 10s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8664.smt2 (content) ok ok 16.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8663.smt2 (content) ok ok 14.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8662.smt2 (content) ok ok 15.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8661.smt2 (content) ok ok 17.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8660.smt2 (content) ok ok 18.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_866.smt2 (content) ok ok 0.043s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8659.smt2 (content) ok ok 17.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8658.smt2 (content) ok ok 16.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_8657.smt2 (content) ok ok 18.7s