Filter | Option | Prover | Version | Thm% | CoS% | Uniq | ST⌀ | STΣ | Thm | CoS | Maybe | Empty | Err | Found |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
* | all | ag0 | 0032 | 43.696 | 7.170 | 1 | 0.054 | 57.23 | 908 | 149 | 1021 | 0 | 2078 | |
* | all | pgr | 0032 | 43.311 | 6.497 | 2 | 0.057 | 58.76 | 900 | 135 | 1043 | 0 | 2078 | |
* | all | nmu | 0032 | 42.782 | 8.566 | 1 | 0.052 | 55.27 | 889 | 178 | 1011 | 0 | 2078 | |
* | all | pla | 0032 | 42.541 | 6.160 | 3 | 0.059 | 59.23 | 884 | 128 | 1066 | 0 | 2078 | |
* | all | ag5 | 0032 | 42.445 | 5.294 | 2 | 0.057 | 56.62 | 882 | 110 | 1086 | 0 | 2078 | |
* | all | all | 0032 | 42.300 | 9.721 | 0 | 0.051 | 55.05 | 879 | 202 | 997 | 0 | 2078 | |
* | old | non | 0032 | 42.060 | 5.438 | 3 | 0.058 | 57.25 | 874 | 113 | 1091 | 0 | 2078 | |
* | all | plr | 0032 | 41.963 | 5.342 | 2 | 0.056 | 54.97 | 872 | 111 | 1095 | 0 | 2078 | |
* | all | mom | 0032 | 41.819 | 5.727 | 6 | 0.058 | 57.23 | 869 | 119 | 1090 | 0 | 2078 | |
* | fut | plr | 0032 | 41.482 | 6.785 | 2 | 0.053 | 52.92 | 862 | 141 | 1075 | 0 | 2078 | |
* | fut | ag0 | 0032 | 40.712 | 11.886 | 2 | 0.047 | 51.75 | 846 | 247 | 985 | 0 | 2078 | |
* | fut | ag5 | 0032 | 40.712 | 7.988 | 0 | 0.050 | 50.38 | 846 | 166 | 1066 | 0 | 2078 | |
* | all | red | 0032 | 40.279 | 7.459 | 1 | 0.049 | 49.09 | 837 | 155 | 1086 | 0 | 2078 | |
* | fut | nmu | 0032 | 39.894 | 16.025 | 0 | 0.042 | 49.20 | 829 | 333 | 916 | 0 | 2078 | |
* | all | neg | 0032 | 39.509 | 7.122 | 0 | 0.048 | 46.52 | 821 | 148 | 1109 | 0 | 2078 | |
* | fut | red | 0032 | 39.172 | 8.807 | 0 | 0.044 | 44.15 | 814 | 183 | 1081 | 0 | 2078 | |
* | fut | all | 0032 | 39.124 | 16.169 | 0 | 0.041 | 47.37 | 813 | 336 | 929 | 0 | 2078 | |
* | fut | neg | 0032 | 39.076 | 8.085 | 0 | 0.045 | 44.12 | 812 | 168 | 1098 | 0 | 2078 | |
* | fut | pgr | 0032 | 38.691 | 14.870 | 1 | 0.044 | 48.59 | 804 | 309 | 965 | 0 | 2078 | |
* | fut | pla | 0032 | 38.017 | 15.640 | 2 | 0.044 | 49.11 | 790 | 325 | 963 | 0 | 2078 | |
* | old | all | 0032 | 36.429 | 18.624 | 2 | 0.039 | 44.19 | 757 | 387 | 934 | 0 | 2078 | |
any | 52.406 | 28.056 | 1089 | 583 | 2078 |
Prover | Sum% | Sum | G+2 | G1+2 | G-1+2 | G+2M | Alt |
eval-*-all-ag0-0032 | 43.696 | 908 | |||||
eval-*-old-non-0032 | 46.728 | 971 | |||||
eval-*-all-all-0032 | 48.749 | 1013 | |||||
eval-*-all-pla-0032 | 49.711 | 1033 | |||||
eval-*-all-mom-0032 | 50.337 | 1046 | |||||
eval-*-fut-nmu-0032 | 50.770 | 1055 | = eval-*-fut-ag0-0032 | ||||
eval-*-all-pgr-0032 | 51.059 | 1061 | = eval-*-all-ag5-0032 = eval-*-all-red-0032 = eval-*-all-neg-0032 = ... (4) | ||||
eval-*-all-red-0032 | 51.347 | 1067 | = eval-*-all-neg-0032 | ||||
eval-*-all-ag5-0032 | 51.588 | 1072 | |||||
eval-*-fut-ag0-0032 | 51.781 | 1076 | |||||
eval-*-old-all-0032 | 51.925 | 1079 | |||||
eval-*-all-plr-0032 | 52.021 | 1081 | = eval-*-fut-plr-0032 = eval-*-fut-pla-0032 = eval-*-fut-pgr-0032 | ||||
eval-*-fut-plr-0032 | 52.117 | 1083 | = eval-*-fut-pla-0032 = eval-*-fut-pgr-0032 | ||||
eval-*-fut-pla-0032 | 52.214 | 1085 | = eval-*-fut-pgr-0032 | ||||
eval-*-fut-pgr-0032 | 52.310 | 1087 | |||||
eval-*-all-nmu-0032 | 52.358 | 1088 | = eval-*-fut-neg-0032 = eval-*-all-neg-0032 | ||||
eval-*-fut-neg-0032 | 52.406 | 1089 | = eval-*-all-neg-0032 |