detailed results (92284 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/48.smt2 (content) ok ok 0.406s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/47.smt2 (content) ok ok 0.431s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/46.smt2 (content) ok ok 0.691s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/45.smt2 (content) ok ok 0.325s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/44.smt2 (content) ok ok 0.197s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/43.smt2 (content) ok ok 0.299s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/42.smt2 (content) ok ok 0.215s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/41.smt2 (content) ok ok 0.319s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/40.smt2 (content) ok ok 0.539s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/39.smt2 (content) ok ok 0.542s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/38.smt2 (content) ok ok 0.453s