detailed results (92284 total)

prover file res expected time
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
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