detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_555.smt2 (content) ok ok 12.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5549.smt2 (content) ok ok 0.846s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5548.smt2 (content) ok ok 0.382s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5547.smt2 (content) ok ok 0.616s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5546.smt2 (content) ok ok 13.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5545.smt2 (content) ok ok 0.612s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5544.smt2 (content) ok ok 0.603s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5543.smt2 (content) ok ok 0.465s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5542.smt2 (content) ok ok 0.598s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5541.smt2 (content) ok ok 0.350s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5540.smt2 (content) ok ok 0.608s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_554.smt2 (content) ok ok 13.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5539.smt2 (content) ok ok 0.547s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5538.smt2 (content) ok ok 0.441s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5537.smt2 (content) ok ok 0.604s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5536.smt2 (content) ok ok 0.615s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5535.smt2 (content) ok ok 17.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5534.smt2 (content) ok ok 0.637s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5533.smt2 (content) ok ok 0.605s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5532.smt2 (content) ok ok 0.343s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5531.smt2 (content) ok ok 0.633s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5530.smt2 (content) ok ok 0.368s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_553.smt2 (content) ok ok 17.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5529.smt2 (content) ok ok 0.619s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5528.smt2 (content) ok ok 0.612s