- GRP
- 320 unbiased problems, 190 easy, 115 difficult, 15 unsolved
- E (0.91) is way out front

- GRP Unit Equality
- 135 unbiased problems, 123 easy, 10 difficult, 2 unsolved
- Waldmeister (1.00) solved all difficult problems

- GRP without Unit Equality
- 185 unbiased problems, 122 easy, 52 difficult, 11 unsolved
- Leaders are E (0.90) and Vampire (0.87)

- LAT
- 44 unbiased problems, 28 easy, 9 difficult, 7 unsolved
- E (1.00) solved all difficult problems

- LAT Unit Equality
- 27 unbiased problems, 25 easy, 1 difficult, 1 unsolved
- E solved 26, Waldmeister solved 25

- LAT without Unit Equality
- 17 unbiased problems, 8 easy, 3 difficult, 6 unsolved
- E (1.00) solved all difficult problems

- RNG
- 96 unbiased problems, 35 easy, 28 difficult, 31 unsolved
- Leaders are E (0.79), Otter (0.71), and Vampire (0.68)

- RNG Unit Equality
- 56 unbiased problems, 27 easy, 15 difficult, 14 unsolved
- Waldmeister (1.00) solved all difficult problems

- RNG without Unit Equality
- 40 unbiased problems, 16 easy, 16 difficult, 8 unsolved
- Leaders are E (0.88), Otter (0.81), SCOTT (0.81), and Vampire (0.81)