Mostly easy and unsolved Domains

• ALG
  • 9 unbiased problems, 6 easy, 3 unsolved
  • 6 easy solved by E, SCOTT, Vampire
• ANA
  • 19 unbiased problems, 7 easy, 9 unsolved
  • 3 difficult all solved by E
• BOO
  • 62 unbiased problems, all easy
  • Easy problems all solved by E and Vampire
  • Bliksem, Gandalf, Otter, SCOTT, SNARK, all solved at least 56
• CAT
  • 52 unbiased problems, 51 easy, 1 difficult
  • Gandalf solved the difficult problem
  • SNARK and SPASS solved at least 48
• GRA
  • One easy problem, solved by all systems
• LDA
  • 23 unbiased problems, 18 easy, 5 difficult
  • Vampire solved all the difficult problems
• ROB
  • 35 unbiased problems, 15 easy, 20 unsolved
  • Easy problems all solved by E and SCOTT
  • Bliksem, Gandalf, Otter, SNARK, SPASS, Vampire, all solved at least 11
• TOP
  • 9 unbiased problems, 5 easy, 4 unsolved
  • Easy problems solved by just about all systems