detailed results (92284 total)

prover file res expected time
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
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvult_25940.smt2 (content) ok ok 0.185s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvult_24943.smt2 (content) ok ok 0.174s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvult_23946.smt2 (content) ok ok 0.231s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvult_22949.smt2 (content) ok ok 0.170s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvult_21952.smt2 (content) ok ok 0.212s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvult_20955.smt2 (content) ok ok 0.182s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvult_19958.smt2 (content) ok ok 0.243s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvult_18961.smt2 (content) ok ok 0.281s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvult_17964.smt2 (content) ok ok 0.218s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvult_16967.smt2 (content) ok ok 0.255s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvult_15970.smt2 (content) ok ok 0.154s