detailed results (95063 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/37.smt2 (content) ok ok 0.441s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/36.smt2 (content) ok ok 0.408s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/35.smt2 (content) ok ok 0.486s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/34.smt2 (content) ok ok 0.351s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/33.smt2 (content) ok ok 0.267s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/32.smt2 (content) ok ok 0.208s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/31.smt2 (content) ok ok 0.271s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/30.smt2 (content) ok ok 0.453s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/29.smt2 (content) ok ok 0.550s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/28.smt2 (content) ok ok 0.425s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/27.smt2 (content) ok ok 0.542s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/26.smt2 (content) ok ok 0.357s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/25.smt2 (content) ok ok 0.431s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/24.smt2 (content) ok ok 0.547s