detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5685.smt2 (content) ok ok 0.266s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5684.smt2 (content) ok ok 0.307s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5683.smt2 (content) ok ok 0.503s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5682.smt2 (content) ok ok 0.524s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5681.smt2 (content) ok ok 15.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5680.smt2 (content) ok ok 0.515s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_568.smt2 (content) ok ok 17s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5679.smt2 (content) ok ok 0.516s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5678.smt2 (content) ok ok 0.369s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5677.smt2 (content) ok ok 0.287s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5676.smt2 (content) ok ok 0.308s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5675.smt2 (content) ok ok 0.559s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5674.smt2 (content) ok ok 0.643s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5673.smt2 (content) ok ok 0.322s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5672.smt2 (content) ok ok 0.497s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5671.smt2 (content) ok ok 0.503s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5670.smt2 (content) ok ok 13.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_567.smt2 (content) ok ok 16.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5669.smt2 (content) ok ok 21.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5668.smt2 (content) ok ok 0.462s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5667.smt2 (content) ok ok 0.507s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5666.smt2 (content) ok ok 0.305s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5665.smt2 (content) ok ok 0.500s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5664.smt2 (content) ok ok 0.476s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5663.smt2 (content) ok ok 0.721s