detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5617.smt2 (content) ok ok 0.551s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5616.smt2 (content) ok ok 0.613s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5615.smt2 (content) ok ok 0.550s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5614.smt2 (content) ok ok 19.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5613.smt2 (content) ok ok 0.496s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5612.smt2 (content) ok ok 0.560s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5611.smt2 (content) ok ok 0.592s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5610.smt2 (content) ok ok 0.557s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_561.smt2 (content) ok ok 17.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5609.smt2 (content) ok ok 0.557s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5608.smt2 (content) ok ok 0.564s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5607.smt2 (content) ok ok 0.598s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5606.smt2 (content) ok ok 0.345s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5605.smt2 (content) ok ok 0.635s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5604.smt2 (content) ok ok 0.346s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5603.smt2 (content) ok ok 15.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5602.smt2 (content) ok ok 0.585s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5601.smt2 (content) ok ok 0.602s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5600.smt2 (content) ok ok 0.578s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_560.smt2 (content) ok ok 10.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_56.smt2 (content) ok ok 18.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5599.smt2 (content) ok ok 0.587s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5598.smt2 (content) ok ok 0.334s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5597.smt2 (content) ok ok 0.581s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5596.smt2 (content) ok ok 0.352s