detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5324.smt2 (content) ok ok 16.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5323.smt2 (content) ok ok 0.911s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5322.smt2 (content) ok ok 0.527s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5321.smt2 (content) ok ok 0.904s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5320.smt2 (content) ok ok 0.892s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_532.smt2 (content) ok ok 17.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5319.smt2 (content) ok ok 0.907s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5318.smt2 (content) ok ok 0.882s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5317.smt2 (content) ok ok 1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5316.smt2 (content) ok ok 0.782s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5315.smt2 (content) ok ok 0.903s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5314.smt2 (content) ok ok 0.928s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5313.smt2 (content) ok ok 12.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5312.smt2 (content) ok ok 0.783s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5311.smt2 (content) ok ok 0.895s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5310.smt2 (content) ok ok 0.785s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_531.smt2 (content) ok ok 11.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5309.smt2 (content) ok ok 0.821s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5308.smt2 (content) ok ok 0.853s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5307.smt2 (content) ok ok 0.934s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5306.smt2 (content) ok ok 0.896s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5305.smt2 (content) ok ok 0.917s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5304.smt2 (content) ok ok 0.911s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5303.smt2 (content) ok ok 0.764s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5302.smt2 (content) ok ok 16.7s