detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_35.smt2 (content) ok ok 0.545s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_34.smt2 (content) ok ok 0.362s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_33.smt2 (content) ok ok 0.446s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_32.smt2 (content) ok ok 0.319s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_31.smt2 (content) ok ok 0.338s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_30.smt2 (content) ok ok 0.466s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_3.smt2 (content) ok ok 0.708s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_29.smt2 (content) ok ok 0.371s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_28.smt2 (content) ok ok 0.576s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_27.smt2 (content) ok ok 0.347s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_26.smt2 (content) ok ok 0.573s
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