Progress in ATP
Relative to Ratings
Decreasing ratings mean progress in systems
For problems in the TPTP since v5.0.0 ...
slow but sure
Solving Rating 1.00 Problems
|
First Solved
Released
|
v2.*.*
v3.*.*
v4.*.*
v5.*.*
v6.*.*
v7.*.*
v2.*.*
|
713
144
23
17
8
9
v3.*.*
|
-
252
284
355
82
59
v4.*.*
|
-
-
259
220
69
32
v5.*.*
|
-
-
-
452
149
19
v6.*.*
|
-
-
-
-
232
64
v7.*.*
|
-
-
-
-
-
29
