detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_564.smt2 (content) ok ok 15.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5639.smt2 (content) ok ok 0.538s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5638.smt2 (content) ok ok 0.529s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5637.smt2 (content) ok ok 0.534s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5636.smt2 (content) ok ok 13.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5635.smt2 (content) ok ok 0.447s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5634.smt2 (content) ok ok 0.324s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5633.smt2 (content) ok ok 0.569s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5632.smt2 (content) ok ok 0.318s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5631.smt2 (content) ok ok 0.541s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5630.smt2 (content) ok ok 0.535s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_563.smt2 (content) ok ok 12s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5629.smt2 (content) ok ok 0.508s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5628.smt2 (content) ok ok 0.540s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5627.smt2 (content) ok ok 0.539s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5626.smt2 (content) ok ok 0.555s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5625.smt2 (content) ok ok 15.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5624.smt2 (content) ok ok 0.328s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5623.smt2 (content) ok ok 0.561s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5622.smt2 (content) ok ok 0.576s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5621.smt2 (content) ok ok 0.566s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5620.smt2 (content) ok ok 0.454s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_562.smt2 (content) ok ok 11.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5619.smt2 (content) ok ok 0.317s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5618.smt2 (content) ok ok 0.559s