detailed results (92284 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/168.smt2 (content) ok ok 6.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/167.smt2 (content) ok ok 7.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/166.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/165.smt2 (content) ok ok 6.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/164.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/163.smt2 (content) ok ok 5.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/162.smt2 (content) ok ok 1.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/161.smt2 (content) ok ok 7.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/160.smt2 (content) ok ok 6.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/16.smt2 (content) ok ok 0.437s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/159.smt2 (content) ok ok 3.3s