Filter | Option | Prover | Version | Thm% | CoS% | Uniq | ST⌀ | STΣ | Thm | CoS | Maybe | Empty | Err | Found |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
* | fut | all | 1024 | 36.718 | 0.000 | 9 | 0.078 | 59.51 | 763 | 0 | 1315 | 0 | 2078 | |
* | fut | pla | 1024 | 36.333 | 0.000 | 4 | 0.067 | 50.66 | 755 | 0 | 1323 | 0 | 2078 | |
* | fut | nmu | 1024 | 36.141 | 0.000 | 1 | 0.065 | 48.83 | 751 | 0 | 1327 | 0 | 2078 | |
* | old | all | 1024 | 35.948 | 0.000 | 6 | 0.072 | 53.92 | 747 | 0 | 1331 | 0 | 2078 | |
* | all | all | 1024 | 35.611 | 0.000 | 0 | 0.063 | 46.45 | 740 | 0 | 1338 | 0 | 2078 | |
* | all | nmu | 1024 | 35.178 | 0.000 | 1 | 0.060 | 43.63 | 731 | 0 | 1347 | 0 | 2078 | |
* | fut | ag0 | 1024 | 35.130 | 0.000 | 1 | 0.059 | 43.22 | 730 | 0 | 1348 | 0 | 2078 | |
* | fut | pgr | 1024 | 34.456 | 0.000 | 2 | 0.060 | 42.60 | 716 | 0 | 1362 | 0 | 2078 | |
* | all | pla | 1024 | 33.831 | 0.000 | 0 | 0.054 | 37.82 | 703 | 0 | 1375 | 0 | 2078 | |
* | all | ag0 | 1024 | 33.590 | 0.000 | 0 | 0.054 | 37.86 | 698 | 0 | 1380 | 0 | 2078 | |
* | fut | red | 1024 | 33.590 | 0.000 | 0 | 0.056 | 39.24 | 698 | 0 | 1380 | 0 | 2078 | |
* | all | pgr | 1024 | 33.157 | 0.000 | 1 | 0.055 | 37.76 | 689 | 0 | 1389 | 0 | 2078 | |
* | fut | ag5 | 1024 | 32.964 | 0.000 | 0 | 0.053 | 36.54 | 685 | 0 | 1393 | 0 | 2078 | |
* | fut | neg | 1024 | 32.820 | 0.000 | 1 | 0.057 | 38.80 | 682 | 0 | 1396 | 0 | 2078 | |
* | all | red | 1024 | 32.628 | 0.000 | 0 | 0.054 | 36.60 | 678 | 0 | 1400 | 0 | 2078 | |
* | all | neg | 1024 | 32.291 | 0.000 | 1 | 0.056 | 37.76 | 671 | 0 | 1407 | 0 | 2078 | |
* | all | mom | 1024 | 32.243 | 0.000 | 0 | 0.054 | 36.20 | 670 | 0 | 1408 | 0 | 2078 | |
* | all | ag5 | 1024 | 32.146 | 0.000 | 0 | 0.052 | 34.54 | 668 | 0 | 1410 | 0 | 2078 | |
* | fut | plr | 1024 | 30.943 | 0.000 | 0 | 0.053 | 33.84 | 643 | 0 | 1435 | 0 | 2078 | |
* | old | non | 1024 | 30.847 | 0.000 | 5 | 0.061 | 39.11 | 641 | 0 | 1437 | 0 | 2078 | |
* | all | plr | 1024 | 30.799 | 0.000 | 0 | 0.052 | 33.09 | 640 | 0 | 1438 | 0 | 2078 | |
any | 41.771 | 0.000 | 868 | 0 | 2078 |
Prover | Sum% | Sum | G+2 | G1+2 | G-1+2 | G+2M | Alt |
eval-*-fut-all-1024 | 36.718 | 763 | |||||
eval-*-fut-pla-1024 | 38.595 | 802 | |||||
eval-*-old-all-1024 | 39.557 | 822 | = eval-*-old-non-1024 | ||||
eval-*-old-non-1024 | 40.472 | 841 | |||||
eval-*-fut-pgr-1024 | 40.857 | 849 | |||||
eval-*-fut-nmu-1024 | 41.145 | 855 | = eval-*-all-neg-1024 | ||||
eval-*-all-neg-1024 | 41.386 | 860 | |||||
eval-*-fut-ag0-1024 | 41.530 | 863 | |||||
eval-*-all-all-1024 | 41.578 | 864 | = eval-*-all-nmu-1024 = eval-*-fut-neg-1024 = eval-*-fut-plr-1024 = ... (6) | ||||
eval-*-all-nmu-1024 | 41.627 | 865 | = eval-*-fut-neg-1024 = eval-*-fut-plr-1024 = eval-*-all-pgr-1024 = ... (4) | ||||
eval-*-fut-neg-1024 | 41.675 | 866 | = eval-*-fut-plr-1024 = eval-*-all-pgr-1024 = eval-*-all-plr-1024 | ||||
eval-*-fut-plr-1024 | 41.723 | 867 | = eval-*-all-pgr-1024 = eval-*-all-plr-1024 | ||||
eval-*-all-pgr-1024 | 41.771 | 868 |