detailed results (95063 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/180.smt2 (content) ok ok 14s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/18.smt2 (content) ok ok 0.456s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/179.smt2 (content) ok ok 14.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/178.smt2 (content) ok ok 17.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/177.smt2 (content) ok ok 3.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/176.smt2 (content) ok ok 16.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/175.smt2 (content) ok ok 10.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/174.smt2 (content) ok ok 12.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/173.smt2 (content) ok ok 14s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/172.smt2 (content) ok ok 14.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/171.smt2 (content) ok ok 4.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/170.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/17.smt2 (content) ok ok 0.558s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/169.smt2 (content) ok ok 7.3s