detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5504.smt2 (content) ok ok 0.632s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5503.smt2 (content) ok ok 0.624s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5502.smt2 (content) ok ok 19.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5501.smt2 (content) ok ok 0.623s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5500.smt2 (content) ok ok 0.634s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_550.smt2 (content) ok ok 12s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_55.smt2 (content) ok ok 11.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5499.smt2 (content) ok ok 0.645s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5498.smt2 (content) ok ok 0.642s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5497.smt2 (content) ok ok 0.620s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5496.smt2 (content) ok ok 0.615s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5495.smt2 (content) ok ok 0.640s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5494.smt2 (content) ok ok 0.603s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5493.smt2 (content) ok ok 0.645s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5492.smt2 (content) ok ok 0.644s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5491.smt2 (content) ok ok 19.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5490.smt2 (content) ok ok 0.627s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_549.smt2 (content) ok ok 14.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5489.smt2 (content) ok ok 0.369s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5488.smt2 (content) ok ok 0.639s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5487.smt2 (content) ok ok 0.368s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5486.smt2 (content) ok ok 0.371s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5485.smt2 (content) ok ok 0.359s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5484.smt2 (content) ok ok 0.365s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5483.smt2 (content) ok ok 0.536s