LAV -find-first-flawed  -solver=Z3-LA-ARR-EUF -loop-unroll-begin=10 -loop-unroll-end=0 -check-pointers=false -skip-inside-loop=false

