Filter | Option | Prover | Version | Thm% | CoS% | Uniq | ST⌀ | STΣ | Thm | CoS | Maybe | Empty | Err | Found |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
* | fut | all | 0128 | 49.326 | 0.144 | 5 | 0.067 | 69.05 | 1025 | 3 | 1050 | 0 | 2078 | |
* | fut | nmu | 0128 | 49.230 | 0.096 | 3 | 0.064 | 65.19 | 1023 | 2 | 1053 | 0 | 2078 | |
* | fut | ag0 | 0128 | 48.364 | 0.048 | 3 | 0.060 | 60.42 | 1005 | 1 | 1072 | 0 | 2078 | |
* | fut | pla | 0128 | 48.123 | 0.048 | 3 | 0.061 | 61.11 | 1000 | 1 | 1077 | 0 | 2078 | |
* | all | all | 0128 | 48.075 | 0.000 | 2 | 0.058 | 57.72 | 999 | 0 | 1079 | 0 | 2078 | |
* | all | pla | 0128 | 48.075 | 0.000 | 1 | 0.058 | 58.39 | 999 | 0 | 1079 | 0 | 2078 | |
* | all | nmu | 0128 | 48.027 | 0.000 | 0 | 0.055 | 54.50 | 998 | 0 | 1080 | 0 | 2078 | |
* | fut | pgr | 0128 | 48.027 | 0.000 | 1 | 0.060 | 60.21 | 998 | 0 | 1080 | 0 | 2078 | |
* | all | pgr | 0128 | 47.690 | 0.000 | 3 | 0.058 | 57.61 | 991 | 0 | 1087 | 0 | 2078 | |
* | all | ag0 | 0128 | 47.353 | 0.000 | 0 | 0.054 | 53.03 | 984 | 0 | 1094 | 0 | 2078 | |
* | all | red | 0128 | 47.161 | 0.000 | 1 | 0.055 | 53.94 | 980 | 0 | 1098 | 0 | 2078 | |
* | fut | ag5 | 0128 | 47.161 | 0.000 | 3 | 0.057 | 56.26 | 980 | 0 | 1098 | 0 | 2078 | |
* | all | ag5 | 0128 | 46.872 | 0.000 | 1 | 0.056 | 54.68 | 974 | 0 | 1104 | 0 | 2078 | |
* | all | neg | 0128 | 46.728 | 0.000 | 0 | 0.054 | 52.63 | 971 | 0 | 1107 | 0 | 2078 | |
* | all | mom | 0128 | 46.631 | 0.000 | 4 | 0.059 | 57.39 | 969 | 0 | 1109 | 0 | 2078 | |
* | old | all | 0128 | 46.631 | 0.337 | 9 | 0.065 | 63.45 | 969 | 7 | 1102 | 0 | 2078 | |
* | fut | neg | 0128 | 46.439 | 0.000 | 1 | 0.055 | 53.09 | 965 | 0 | 1113 | 0 | 2078 | |
* | fut | red | 0128 | 46.439 | 0.000 | 1 | 0.055 | 53.41 | 965 | 0 | 1113 | 0 | 2078 | |
* | all | plr | 0128 | 46.102 | 0.000 | 0 | 0.056 | 53.67 | 958 | 0 | 1120 | 0 | 2078 | |
* | fut | plr | 0128 | 46.054 | 0.000 | 1 | 0.057 | 54.42 | 957 | 0 | 1121 | 0 | 2078 | |
* | old | non | 0128 | 45.861 | 0.000 | 2 | 0.058 | 54.85 | 953 | 0 | 1125 | 0 | 2078 | |
any | 57.988 | 0.529 | 1205 | 11 | 2078 |
Prover | Sum% | Sum | G+2 | G1+2 | G-1+2 | G+2M | Alt |
eval-*-fut-all-0128 | 49.326 | 1025 | |||||
eval-*-fut-plr-0128 | 53.321 | 1108 | = eval-*-old-non-0128 | ||||
eval-*-old-all-0128 | 54.427 | 1131 | |||||
eval-*-all-red-0128 | 55.245 | 1148 | |||||
eval-*-fut-pgr-0128 | 55.823 | 1160 | |||||
eval-*-all-mom-0128 | 56.304 | 1170 | |||||
eval-*-all-pla-0128 | 56.689 | 1178 | |||||
eval-*-fut-pla-0128 | 56.930 | 1183 | = eval-*-fut-ag0-0128 | ||||
eval-*-fut-ag5-0128 | 57.122 | 1187 | = eval-*-fut-ag0-0128 | ||||
eval-*-fut-ag0-0128 | 57.315 | 1191 | |||||
eval-*-fut-nmu-0128 | 57.459 | 1194 | = eval-*-all-pgr-0128 | ||||
eval-*-all-pgr-0128 | 57.603 | 1197 | |||||
eval-*-old-non-0128 | 57.700 | 1199 | = eval-*-fut-red-0128 = eval-*-all-all-0128 | ||||
eval-*-fut-red-0128 | 57.796 | 1201 | = eval-*-all-all-0128 | ||||
eval-*-all-all-0128 | 57.892 | 1203 | |||||
eval-*-fut-neg-0128 | 57.940 | 1204 | = eval-*-all-ag5-0128 | ||||
eval-*-all-ag5-0128 | 57.988 | 1205 |