detailed results (92284 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsmod_16.smt2 (content) ok ok 0.106s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsmod_15.smt2 (content) ok ok 0.139s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsmod_14.smt2 (content) ok ok 0.162s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsmod_13.smt2 (content) ok ok 0.153s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsmod_12.smt2 (content) ok ok 0.101s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_9458.smt2 (content) ok ok 0.221s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_8715.smt2 (content) ok ok 0.149s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_7972.smt2 (content) ok ok 0.228s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_7229.smt2 (content) ok ok 0.143s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_6486.smt2 (content) ok ok 0.137s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_5743.smt2 (content) ok ok 0.142s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_5000.smt2 (content) ok ok 0.220s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_19860.smt2 (content) ok ok 0.308s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvslt_19117.smt2 (content) ok ok 0.283s
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