detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_591.smt2 (content) ok ok 17.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5909.smt2 (content) ok ok 0.302s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5908.smt2 (content) ok ok 0.180s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5907.smt2 (content) ok ok 0.175s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5906.smt2 (content) ok ok 0.306s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5905.smt2 (content) ok ok 0.194s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5904.smt2 (content) ok ok 0.220s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5903.smt2 (content) ok ok 16.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5902.smt2 (content) ok ok 0.390s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5901.smt2 (content) ok ok 0.314s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5900.smt2 (content) ok ok 0.313s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_590.smt2 (content) ok ok 13.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_59.smt2 (content) ok ok 16.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5899.smt2 (content) ok ok 0.297s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5898.smt2 (content) ok ok 0.303s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5897.smt2 (content) ok ok 0.354s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5896.smt2 (content) ok ok 0.312s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5895.smt2 (content) ok ok 0.289s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5894.smt2 (content) ok ok 0.311s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5893.smt2 (content) ok ok 0.310s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5892.smt2 (content) ok ok 13.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5891.smt2 (content) ok ok 23s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5890.smt2 (content) ok ok 0.316s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_589.smt2 (content) ok ok 14.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5889.smt2 (content) ok ok 0.290s