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