LAV -find-first-flawed -loop-unroll-begin=20 -loop-unroll-end=0  -solver=Z3-LA-ARR-EUF 
//custom options, bugs are in programs 01b i 02b, other programs are verified

