detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_25.smt2 (content) ok ok 0.359s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_24.smt2 (content) ok ok 0.372s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_23.smt2 (content) ok ok 0.549s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_22.smt2 (content) ok ok 0.431s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_21.smt2 (content) ok ok 0.433s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_20.smt2 (content) ok ok 0.324s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_2.smt2 (content) ok ok 0.428s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_19.smt2 (content) ok ok 0.548s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_18.smt2 (content) ok ok 0.441s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_17.smt2 (content) ok ok 0.384s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_16.smt2 (content) ok ok 0.578s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_15.smt2 (content) ok ok 0.441s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_14.smt2 (content) ok ok 0.442s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_13.smt2 (content) ok ok 0.611s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_12.smt2 (content) ok ok 0.410s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_11.smt2 (content) ok ok 0.522s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_10.smt2 (content) ok ok 0.445s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_1.smt2 (content) ok ok 0.349s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_999.smt2 (content) ok ok 0.048s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_998.smt2 (content) ok ok 0.104s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_997.smt2 (content) ok ok 0.049s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_996.smt2 (content) ok ok 0.118s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_995.smt2 (content) ok ok 0.051s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_994.smt2 (content) ok ok 0.109s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app1/bench_993.smt2 (content) ok ok 0.081s