detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_802.smt2 (content) ok ok 0.075s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_801.smt2 (content) ok ok 0.111s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_800.smt2 (content) ok ok 0.049s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_80.smt2 (content) ok ok 0.051s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_8.smt2 (content) ok ok 0.042s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_799.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_798.smt2 (content) ok ok 0.051s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_797.smt2 (content) ok ok 0.050s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_796.smt2 (content) ok ok 0.050s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_795.smt2 (content) ok ok 0.015s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_794.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_793.smt2 (content) ok ok 0.050s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_792.smt2 (content) ok ok 0.051s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_791.smt2 (content) ok ok 0.025s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_790.smt2 (content) ok ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_79.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_789.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_788.smt2 (content) ok ok 0.017s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_787.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_786.smt2 (content) ok ok 0.034s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_785.smt2 (content) ok ok 0.052s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_784.smt2 (content) ok ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_783.smt2 (content) ok ok 0.054s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_782.smt2 (content) ok ok 0.039s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/sage/app12/bench_781.smt2 (content) ok ok 0.051s