detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/87.smt2 (content) ok ok 0.411s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/86.smt2 (content) ok ok 0.447s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/85.smt2 (content) ok ok 0.323s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/84.smt2 (content) ok ok 0.384s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/83.smt2 (content) ok ok 0.502s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/82.smt2 (content) ok ok 0.720s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/81.smt2 (content) ok ok 0.382s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/80.smt2 (content) ok ok 0.398s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/79.smt2 (content) ok ok 0.711s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/78.smt2 (content) ok ok 0.851s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/77.smt2 (content) ok ok 0.436s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/76.smt2 (content) ok ok 0.373s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/75.smt2 (content) ok ok 0.540s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/74.smt2 (content) ok ok 0.407s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/73.smt2 (content) ok ok 0.367s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/72.smt2 (content) ok ok 0.368s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/71.smt2 (content) ok ok 0.362s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/70.smt2 (content) ok ok 0.671s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/69.smt2 (content) ok ok 0.333s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/68.smt2 (content) ok ok 0.533s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/67.smt2 (content) ok ok 0.529s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/66.smt2 (content) ok ok 0.395s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/65.smt2 (content) ok ok 0.364s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/64.smt2 (content) ok ok 0.622s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/63.smt2 (content) ok ok 0.479s