| | ||||||
| FOL | RM3 | A3 | FDE →cmi | FDE →con | ||
| | ||||||
| Theorems | 6588 | 1285 | 1180 | 490 | 263 | |
| XYZ Non-thms | 541 | 500 | 1759 | 1732 | ||
| Theorems solved | 1826 | 1680 | 2249 | 1995 | ||
| | ||||||
| Non-theorems | 743 | 344 | 451 | 442 | 373 | |
| | ||||||
| Total solved | 7331 | 2170 | 2131 | 2691 | 2368 | |
| | ||||||
| Rating 1.00 Theorems | 811 | 205 XYZ non-theorems | ||||
| XYZ Non-theorems | 24 | 28 | 93 | 158 | ||
| | ||||||