LAV -find-first-flawed -loop-unroll-begin=2 -loop-unroll-end=0 -students-mode -solver=Z3-BV-ARR-EUF 

