detailed results (92284 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/10.smt2 (content) ok ok 0.595s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/09.smt2 (content) ok ok 0.348s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/08.smt2 (content) ok ok 0.214s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/07.smt2 (content) ok ok 0.504s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/06.smt2 (content) ok ok 0.251s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/05.smt2 (content) ok ok 0.422s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/04.smt2 (content) ok ok 0.396s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/03.smt2 (content) ok ok 0.402s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/02.smt2 (content) ok ok 0.443s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/mcm/01.smt2 (content) ok ok 0.493s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvurem_22.smt2 (content) ok ok 0.116s