detailed results (95063 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/112.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/111.smt2 (content) ok ok 2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/110.smt2 (content) ok ok 1.0s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/11.smt2 (content) ok ok 0.410s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/109.smt2 (content) ok ok 1.000s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/108.smt2 (content) ok ok 1.2s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/107.smt2 (content) ok ok 0.822s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/106.smt2 (content) ok ok 2.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/105.smt2 (content) ok ok 1.4s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/104.smt2 (content) ok ok 0.916s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/103.smt2 (content) ok ok 0.541s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/102.smt2 (content) ok ok 0.437s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/101.smt2 (content) ok ok 0.439s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/100.smt2 (content) ok ok 0.553s