Utility

46186 Conjectures

• Are they theorems?
• Are they hard enough?
• Evaluated using accepted methodology
  • Rates theorems wrt state-of-the-art ATP systems
  • Rating in the range 0.0 to 1.0

Testing Environment

• SUN Ultra-80, 1GB RAM
• 300 second CPU time limit
• Systems

  E 0.62 Gandalf c-1.9c Otter 3.2

  SPASS 1.03 Vampire 2.0