detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_582.smt2 (content) ok ok 13.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5819.smt2 (content) ok ok 0.231s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5818.smt2 (content) ok ok 0.359s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5817.smt2 (content) ok ok 0.356s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5816.smt2 (content) ok ok 0.363s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5815.smt2 (content) ok ok 0.217s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5814.smt2 (content) ok ok 12.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5813.smt2 (content) ok ok 0.214s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5812.smt2 (content) ok ok 0.370s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5811.smt2 (content) ok ok 0.420s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5810.smt2 (content) ok ok 0.369s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_581.smt2 (content) ok ok 21.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5809.smt2 (content) ok ok 0.379s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5808.smt2 (content) ok ok 0.300s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5807.smt2 (content) ok ok 0.387s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5806.smt2 (content) ok ok 0.376s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5805.smt2 (content) ok ok 0.365s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5804.smt2 (content) ok ok 0.387s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5803.smt2 (content) ok ok 19s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5802.smt2 (content) ok ok 0.376s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5801.smt2 (content) ok ok 0.414s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5800.smt2 (content) ok ok 0.388s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_580.smt2 (content) ok ok 15.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_58.smt2 (content) ok ok 16s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5799.smt2 (content) ok ok 0.379s