/k:2 /cpu:1 # /stratifiedInline:1 # /extractLoops /recursionBound:3 /main:Main /trackAllVars /npLevel:0 # /noTrace /inlineDepth:10 # /z3opt:RELEVANCY=0 # /shuffle