detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_49.smt2 (content) ok ok 0.068s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_48.smt2 (content) ok ok 0.485s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_46.smt2 (content) ok ok 0.642s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_45.smt2 (content) ok ok 0.155s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_44.smt2 (content) ok ok 0.099s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_43.smt2 (content) ok ok 0.159s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_42.smt2 (content) ok ok 0.174s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_41.smt2 (content) ok ok 0.222s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_40.smt2 (content) ok ok 0.212s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_4.smt2 (content) ok ok 0.519s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_39.smt2 (content) ok ok 0.112s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_38.smt2 (content) ok ok 0.097s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_37.smt2 (content) ok ok 0.117s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app10/bench_36.smt2 (content) ok ok 0.112s
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