System Ranking by Subsumption

Ranking Scheme

• If system A solves a strict superset of the problems solved by B
  • System A subsumes system B

Example: FOF+SAT+NoEquality

• Text data

Strengths and Weaknesses

• Indisputable

• The ranking is only partial