detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvmul_12.smt2 (content) ok ok 0.094s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvmul_11.smt2 (content) ok ok 0.064s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvmul_10.smt2 (content) ok ok 0.103s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_1387.smt2 (content) ok ok 0.208s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_1340.smt2 (content) ok ok 0.260s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_1293.smt2 (content) ok ok 0.200s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_1246.smt2 (content) ok ok 0.341s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_1199.smt2 (content) ok ok 0.271s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_1152.smt2 (content) ok ok 0.282s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_1105.smt2 (content) ok ok 0.236s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_1058.smt2 (content) ok ok 0.190s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_1011.smt2 (content) ok ok 0.176s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0964.smt2 (content) ok ok 0.233s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0917.smt2 (content) ok ok 0.236s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0870.smt2 (content) ok ok 0.170s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0823.smt2 (content) ok ok 0.319s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0776.smt2 (content) ok ok 0.298s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0729.smt2 (content) ok ok 0.294s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0682.smt2 (content) ok ok 0.207s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0635.smt2 (content) ok ok 0.179s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0588.smt2 (content) ok ok 0.240s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0541.smt2 (content) ok ok 0.214s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0494.smt2 (content) ok ok 0.200s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0447.smt2 (content) ok ok 0.198s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvlshr_0400.smt2 (content) ok ok 0.206s