detailed results (95063 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvurem_21.smt2 (content) ok ok 0.106s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvurem_20.smt2 (content) ok ok 0.142s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvurem_19.smt2 (content) ok ok 0.112s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvurem_18.smt2 (content) ok ok 0.168s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvurem_17.smt2 (content) ok ok 0.183s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvurem_16.smt2 (content) ok ok 0.082s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvurem_15.smt2 (content) ok ok 0.124s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvurem_14.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvurem_13.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvult_9988.smt2 (content) ok ok 0.142s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvult_8991.smt2 (content) ok ok 0.234s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvult_7994.smt2 (content) ok ok 0.164s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvult_6997.smt2 (content) ok ok 0.219s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvult_6000.smt2 (content) ok ok 0.139s