detailed results (95063 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/62.smt2 (content) ok ok 0.663s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/61.smt2 (content) ok ok 0.324s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/60.smt2 (content) ok ok 0.679s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/59.smt2 (content) ok ok 0.509s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/58.smt2 (content) ok ok 0.583s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/57.smt2 (content) ok ok 0.668s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/56.smt2 (content) ok ok 0.717s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/55.smt2 (content) ok ok 0.425s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/54.smt2 (content) ok ok 0.542s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/53.smt2 (content) ok ok 0.305s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/52.smt2 (content) ok ok 0.660s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/51.smt2 (content) ok ok 0.249s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/50.smt2 (content) ok ok 0.462s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/49.smt2 (content) ok ok 0.455s