/k:2 /cpu:1 # /stratifiedInline:1 # /extractLoops /recursionBound:2 /main:Main /trackAllVars /npLevel:0 # /noTrace /inlineDepth:10 # /z3opt:RELEVANCY=0 # /shuffle ### use this flag for set theory; used with Alive's /fair translation /useArrayTheory ### use this flag to see the round counter /printK