detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5865.smt2 (content) ok ok 0.335s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5864.smt2 (content) ok ok 0.339s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5863.smt2 (content) ok ok 0.319s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5862.smt2 (content) ok ok 0.207s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5861.smt2 (content) ok ok 0.302s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5860.smt2 (content) ok ok 0.331s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_586.smt2 (content) ok ok 13.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5859.smt2 (content) ok ok 0.330s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5858.smt2 (content) ok ok 17.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5857.smt2 (content) ok ok 0.335s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5856.smt2 (content) ok ok 0.299s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5855.smt2 (content) ok ok 0.199s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5854.smt2 (content) ok ok 0.250s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5853.smt2 (content) ok ok 0.331s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5852.smt2 (content) ok ok 0.327s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5851.smt2 (content) ok ok 0.343s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5850.smt2 (content) ok ok 0.206s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_585.smt2 (content) ok ok 13.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5849.smt2 (content) ok ok 0.351s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5848.smt2 (content) ok ok 0.419s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5847.smt2 (content) ok ok 15.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5846.smt2 (content) ok ok 0.671s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5845.smt2 (content) ok ok 0.344s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5844.smt2 (content) ok ok 0.217s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app7/bench_5843.smt2 (content) ok ok 0.338s