lurker83256

This question is trickier than it sounds. Sure 109 clock cycles per second, but estimating for actual human-perceived ops for an algorithmic problem one should use 106. (Source: USA Computing Olympiad problems.)

One competition location, in the UK. Appears less complex engineering than US FIRST Tech Challenge, perhaps more programming.

A comparison with the FLL - FTC - FRC would be welcome. I believe at least FTC and FRC are global events.

This is a misunderstanding. Statement A is actually true in the system, you just cannot prove that it is true. Adding an axiom specifying its falsity would be a contradiction (although you could not prove this).