detailed results (92284 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/122.smt2 (content) ok ok 1.8s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/121.smt2 (content) ok ok 1.6s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/120.smt2 (content) ok ok 2.5s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/12.smt2 (content) ok ok 0.147s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/119.smt2 (content) ok ok 2.1s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/118.smt2 (content) ok ok 0.704s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/117.smt2 (content) ok ok 0.489s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/116.smt2 (content) ok ok 2.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/115.smt2 (content) ok ok 0.765s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/114.smt2 (content) ok ok 1.3s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/113.smt2 (content) ok ok 0.312s