I've been a judge at a few ICPC contests. We always double-checked first solves for any of the problems by hand.

The coding style demonstrated here is extremely common with high-level competitive teams.