detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/145.smt2 (content) ok ok 2.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/144.smt2 (content) ok ok 2.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/143.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/142.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/141.smt2 (content) ok ok 2.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/140.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/14.smt2 (content) ok ok 0.366s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/139.smt2 (content) ok ok 2.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/138.smt2 (content) ok ok 2.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/137.smt2 (content) ok ok 2.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/136.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/135.smt2 (content) ok ok 3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/134.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/133.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/132.smt2 (content) ok ok 1.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/131.smt2 (content) ok ok 1.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/130.smt2 (content) ok ok 1.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/13.smt2 (content) ok ok 0.380s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/129.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/128.smt2 (content) ok ok 1.7s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/127.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/126.smt2 (content) ok ok 2.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/125.smt2 (content) ok ok 1.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/124.smt2 (content) ok ok 1.9s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/123.smt2 (content) ok ok 1.4s