benchmark boogie programs