Filter | Option | Prover | Version | Thm% | CoS% | Uniq | ST⌀ | STΣ | Thm | CoS | Maybe | Empty | Err | Found |
* | fut | nmu | 0256 | 47.161 | 0.000 | 4 | 0.068 | 66.69 | 980 | 0 | 1098 | 0 | | 2078 |
* | fut | pla | 0256 | 46.920 | 0.000 | 8 | 0.071 | 69.53 | 975 | 0 | 1103 | 0 | | 2078 |
* | fut | all | 0256 | 46.824 | 0.000 | 5 | 0.070 | 67.94 | 973 | 0 | 1105 | 0 | | 2078 |
* | all | all | 0256 | 46.198 | 0.000 | 1 | 0.059 | 56.65 | 960 | 0 | 1118 | 0 | | 2078 |
* | fut | ag0 | 0256 | 45.958 | 0.000 | 1 | 0.062 | 59.26 | 955 | 0 | 1123 | 0 | | 2078 |
* | fut | pgr | 0256 | 45.861 | 0.000 | 3 | 0.064 | 60.91 | 953 | 0 | 1125 | 0 | | 2078 |
* | all | nmu | 0256 | 45.332 | 0.000 | 2 | 0.058 | 54.85 | 942 | 0 | 1136 | 0 | | 2078 |
* | old | all | 0256 | 45.140 | 0.000 | 8 | 0.068 | 63.35 | 938 | 0 | 1140 | 0 | | 2078 |
* | all | pla | 0256 | 44.081 | 0.000 | 0 | 0.055 | 50.04 | 916 | 0 | 1162 | 0 | | 2078 |
* | all | ag0 | 0256 | 43.985 | 0.000 | 0 | 0.053 | 48.59 | 914 | 0 | 1164 | 0 | | 2078 |
* | fut | red | 0256 | 43.744 | 0.000 | 0 | 0.055 | 49.66 | 909 | 0 | 1169 | 0 | | 2078 |
* | all | pgr | 0256 | 43.696 | 0.000 | 0 | 0.055 | 49.70 | 908 | 0 | 1170 | 0 | | 2078 |
* | fut | neg | 0256 | 43.648 | 0.000 | 1 | 0.056 | 51.00 | 907 | 0 | 1171 | 0 | | 2078 |
* | all | red | 0256 | 43.167 | 0.000 | 0 | 0.053 | 47.16 | 897 | 0 | 1181 | 0 | | 2078 |
* | all | mom | 0256 | 43.022 | 0.000 | 2 | 0.055 | 49.03 | 894 | 0 | 1184 | 0 | | 2078 |
* | fut | ag5 | 0256 | 42.926 | 0.000 | 1 | 0.054 | 48.02 | 892 | 0 | 1186 | 0 | | 2078 |
* | all | neg | 0256 | 42.830 | 0.000 | 0 | 0.052 | 46.58 | 890 | 0 | 1188 | 0 | | 2078 |
* | all | ag5 | 0256 | 42.541 | 0.000 | 0 | 0.053 | 47.23 | 884 | 0 | 1194 | 0 | | 2078 |
* | fut | plr | 0256 | 42.204 | 0.000 | 0 | 0.053 | 46.56 | 877 | 0 | 1201 | 0 | | 2078 |
* | all | plr | 0256 | 41.963 | 0.000 | 0 | 0.053 | 46.01 | 872 | 0 | 1206 | 0 | | 2078 |
* | old | non | 0256 | 40.664 | 0.000 | 3 | 0.056 | 47.24 | 845 | 0 | 1233 | 0 | | 2078 |
any | | | | 54.187 | 0.000 | | | | 1126 | 0 | | | | 2078 |
Greedy sequence
Prover | Sum% | Sum | G+2 | G1+2 | G-1+2 | G+2M | Alt |
eval-*-fut-nmu-0256 | 47.161 | 980 | | | | | |
eval-*-all-ag5-0256 | 49.711 | 1033 | | | | | |
eval-*-old-all-0256 | 51.107 | 1062 | | | | | |
eval-*-fut-pla-0256 | 52.117 | 1083 | | | | | |
eval-*-fut-pgr-0256 | 52.647 | 1094 | | | | | |
eval-*-old-non-0256 | 53.128 | 1104 | | | | | |
eval-*-fut-neg-0256 | 53.417 | 1110 | | | | | |
eval-*-fut-all-0256 | 53.657 | 1115 | | | | | |
eval-*-all-nmu-0256 | 53.850 | 1119 | | | | | |
eval-*-all-mom-0256 | 53.994 | 1122 | | | | | |
eval-*-all-all-0256 | 54.090 | 1124 | | | | | |
eval-*-fut-ag5-0256 | 54.139 | 1125 | | | | | = eval-*-fut-ag0-0256 |
eval-*-fut-ag0-0256 | 54.187 | 1126 | | | | | |