detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_18374.smt2 (content) ok ok 0.203s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_17631.smt2 (content) ok ok 0.170s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_16888.smt2 (content) ok ok 0.266s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_16145.smt2 (content) ok ok 0.159s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_15402.smt2 (content) ok ok 0.170s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_14659.smt2 (content) ok ok 0.214s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_13916.smt2 (content) ok ok 0.179s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_13173.smt2 (content) ok ok 0.267s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_12430.smt2 (content) ok ok 0.161s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_11687.smt2 (content) ok ok 0.188s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_10944.smt2 (content) ok ok 0.210s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_10201.smt2 (content) ok ok 0.155s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_1460.smt2 (content) ok ok 0.193s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_1407.smt2 (content) ok ok 0.321s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_1354.smt2 (content) ok ok 0.209s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_1301.smt2 (content) ok ok 0.205s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_1248.smt2 (content) ok ok 0.203s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_1195.smt2 (content) ok ok 0.307s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_1142.smt2 (content) ok ok 0.331s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_1089.smt2 (content) ok ok 0.256s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_1036.smt2 (content) ok ok 0.214s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_0983.smt2 (content) ok ok 0.254s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_0930.smt2 (content) ok ok 0.160s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_0877.smt2 (content) ok ok 0.194s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_0824.smt2 (content) ok ok 0.213s