detailed results (92284 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/23.smt2 (content) ok ok 0.402s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/22.smt2 (content) ok ok 0.315s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/21.smt2 (content) ok ok 0.426s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/20.smt2 (content) ok ok 0.312s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/19.smt2 (content) ok ok 0.332s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/186.smt2 (content) ok ok 1m21.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/185.smt2 (content) ok ok 1m6.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/184.smt2 (content) ok ok 43.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/183.smt2 (content) ok ok 23.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/182.smt2 (content) ok ok 27.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/181.smt2 (content) ok ok 15.8s