detailed results (95063 total)

prover file res expected time
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_0771.smt2 (content) ok ok 0.294s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_0718.smt2 (content) ok ok 0.285s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_0665.smt2 (content) ok ok 0.300s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_0612.smt2 (content) ok ok 0.277s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_0559.smt2 (content) ok ok 0.259s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_0506.smt2 (content) ok ok 0.232s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_0453.smt2 (content) ok ok 0.160s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvshl_0400.smt2 (content) ok ok 0.264s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsdiv_25.smt2 (content) ok ok 0.126s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsdiv_24.smt2 (content) ok ok 0.138s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsdiv_23.smt2 (content) ok ok 0.118s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsdiv_22.smt2 (content) ok ok 0.171s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsdiv_21.smt2 (content) ok ok 0.156s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsdiv_20.smt2 (content) ok ok 0.198s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsdiv_19.smt2 (content) ok ok 0.184s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsdiv_18.smt2 (content) ok ok 0.147s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsdiv_17.smt2 (content) ok ok 0.205s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsdiv_16.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvsdiv_15.smt2 (content) ok ok 0.159s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvmul_18.smt2 (content) ok ok 0.092s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvmul_17.smt2 (content) ok ok 0.086s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvmul_16.smt2 (content) ok ok 0.095s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvmul_15.smt2 (content) ok ok 0.106s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvmul_14.smt2 (content) ok ok 0.105s
dolmen /home/guigui/build/benchs/smtlib/QF_BV/log-slicing/bvmul_13.smt2 (content) ok ok 0.063s