detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_537.smt2 (content) ok ok 14.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5369.smt2 (content) ok ok 13.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5368.smt2 (content) ok ok 0.614s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5367.smt2 (content) ok ok 0.387s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5366.smt2 (content) ok ok 0.684s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5365.smt2 (content) ok ok 0.661s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5364.smt2 (content) ok ok 0.680s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5363.smt2 (content) ok ok 0.538s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5362.smt2 (content) ok ok 0.512s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5361.smt2 (content) ok ok 0.874s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5360.smt2 (content) ok ok 0.544s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_536.smt2 (content) ok ok 15.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5359.smt2 (content) ok ok 0.886s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5358.smt2 (content) ok ok 19.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5357.smt2 (content) ok ok 0.903s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5356.smt2 (content) ok ok 0.876s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5355.smt2 (content) ok ok 0.513s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5354.smt2 (content) ok ok 0.857s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5353.smt2 (content) ok ok 0.849s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5352.smt2 (content) ok ok 0.893s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5351.smt2 (content) ok ok 0.838s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5350.smt2 (content) ok ok 0.640s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_535.smt2 (content) ok ok 14.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5349.smt2 (content) ok ok 0.904s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5348.smt2 (content) ok ok 0.801s