detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5888.smt2 (content) ok ok 0.302s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5887.smt2 (content) ok ok 0.310s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5886.smt2 (content) ok ok 0.327s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5885.smt2 (content) ok ok 0.319s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5884.smt2 (content) ok ok 0.323s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5883.smt2 (content) ok ok 0.320s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5882.smt2 (content) ok ok 0.312s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5881.smt2 (content) ok ok 0.325s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5880.smt2 (content) ok ok 19s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_588.smt2 (content) ok ok 16.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5879.smt2 (content) ok ok 0.192s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5878.smt2 (content) ok ok 0.198s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5877.smt2 (content) ok ok 0.312s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5876.smt2 (content) ok ok 0.323s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5875.smt2 (content) ok ok 0.327s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5874.smt2 (content) ok ok 0.197s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5873.smt2 (content) ok ok 0.319s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5872.smt2 (content) ok ok 0.319s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5871.smt2 (content) ok ok 0.334s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5870.smt2 (content) ok ok 0.196s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_587.smt2 (content) ok ok 11.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5869.smt2 (content) ok ok 18.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5868.smt2 (content) ok ok 0.333s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5867.smt2 (content) ok ok 0.320s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5866.smt2 (content) ok ok 0.328s