[kevinwang]

For problems that human teams eventually get correct, they seem to have submitted mostly 1 time -- occasionally 2 or 3. For problems that they did not get correct, there are some problems with up to 16 submissions.

[modeless]

Ah, I see I was in fact reading it wrong. So 9 is definitely an unusual but not unprecedented number of submissions.