While this is the mechanics of creating a contest, finding
appropriate puzzles is not easy. Moreover, it is also necessary
to make calls on the Pex framework to constrain the trial cases
and to add statements which have the effect of suggesting some
test cases to Pex. Such test cases will appear in the table of unit
test results. The details of this are beyond this paper, but can be
found in [13].