Testing
Total
Rtg 0.8
Rtg 0.6
Rtg 0.4
Rtg 0.2
Problems
46186
40
144
6277
9493
SPASS
46186
40
144
6277
9493
E
46081
0
82
6274
9493
Vampire
45991
0
61
6243
9455
Gandalf
38262
0
0
14
8021
Otter
31766
0
1
23
1510
184 problems hard enough for the TPTP!
