difficult Domains with Unit Equality

• 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)