Section 5.5: "Table 3 contrasts our measured human solving times and accuracy against those of automated bots reported in the literature." Although it's not cl

Section 5.5: "Table 3 contrasts our measured human solving times and accuracy against those of automated bots reported in the literature." Although it's not clear to me that the humans all really were humans.