detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/98.smt2 (content) ok ok 0.524s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/97.smt2 (content) ok ok 0.275s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/96.smt2 (content) ok ok 0.606s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/95.smt2 (content) ok ok 0.469s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/94.smt2 (content) ok ok 0.395s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/93.smt2 (content) ok ok 0.448s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/92.smt2 (content) ok ok 0.344s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/91.smt2 (content) ok ok 0.327s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/90.smt2 (content) ok ok 0.679s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/89.smt2 (content) ok ok 0.518s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/88.smt2 (content) ok ok 0.641s
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