------------------------------ Find.bpl ---------------------

Boogie program verifier finished with 2 verified, 0 errors

------------------------------ DutchFlag.bpl ---------------------

Boogie program verifier finished with 1 verified, 0 errors

------------------------------ Bubble.bpl ---------------------

Boogie program verifier finished with 1 verified, 0 errors