Filter | Option | Prover | Version | Thm% | CoS% | Uniq | ST⌀ | STΣ | Thm | CoS | Maybe | Empty | Err | Found |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
* | fut | all | 2048 | 33.542 | 0.000 | 9 | 0.085 | 59.15 | 697 | 0 | 1381 | 0 | 2078 | |
* | fut | nmu | 2048 | 32.964 | 0.000 | 2 | 0.071 | 48.37 | 685 | 0 | 1393 | 0 | 2078 | |
* | fut | pla | 2048 | 32.964 | 0.000 | 7 | 0.075 | 51.69 | 685 | 0 | 1393 | 0 | 2078 | |
* | old | all | 2048 | 32.579 | 0.000 | 1 | 0.070 | 47.08 | 677 | 0 | 1401 | 0 | 2078 | |
* | all | all | 2048 | 32.531 | 0.000 | 1 | 0.068 | 46.23 | 676 | 0 | 1402 | 0 | 2078 | |
* | all | nmu | 2048 | 31.954 | 0.000 | 1 | 0.065 | 43.14 | 664 | 0 | 1414 | 0 | 2078 | |
* | all | pla | 2048 | 31.521 | 0.000 | 2 | 0.062 | 40.81 | 655 | 0 | 1423 | 0 | 2078 | |
* | fut | ag0 | 2048 | 31.088 | 0.000 | 0 | 0.057 | 36.96 | 646 | 0 | 1432 | 0 | 2078 | |
* | fut | pgr | 2048 | 30.606 | 0.000 | 1 | 0.057 | 36.52 | 636 | 0 | 1442 | 0 | 2078 | |
* | all | ag0 | 2048 | 30.318 | 0.000 | 1 | 0.057 | 35.73 | 630 | 0 | 1448 | 0 | 2078 | |
* | all | pgr | 2048 | 30.269 | 0.000 | 1 | 0.057 | 35.84 | 629 | 0 | 1449 | 0 | 2078 | |
* | fut | neg | 2048 | 29.211 | 0.000 | 0 | 0.057 | 34.40 | 607 | 0 | 1471 | 0 | 2078 | |
* | all | neg | 2048 | 29.163 | 0.000 | 0 | 0.055 | 33.43 | 606 | 0 | 1472 | 0 | 2078 | |
* | fut | ag5 | 2048 | 29.163 | 0.000 | 1 | 0.057 | 34.26 | 606 | 0 | 1472 | 0 | 2078 | |
* | fut | red | 2048 | 28.778 | 0.000 | 3 | 0.059 | 35.09 | 598 | 0 | 1480 | 0 | 2078 | |
* | all | ag5 | 2048 | 28.730 | 0.000 | 0 | 0.056 | 33.18 | 597 | 0 | 1481 | 0 | 2078 | |
* | all | red | 2048 | 28.681 | 0.000 | 0 | 0.055 | 32.50 | 596 | 0 | 1482 | 0 | 2078 | |
* | old | non | 2048 | 27.093 | 0.000 | 4 | 0.064 | 35.89 | 563 | 0 | 1515 | 0 | 2078 | |
* | all | plr | 2048 | 26.131 | 0.000 | 0 | 0.056 | 30.41 | 543 | 0 | 1535 | 0 | 2078 | |
* | fut | plr | 2048 | 26.083 | 0.000 | 1 | 0.058 | 31.27 | 542 | 0 | 1536 | 0 | 2078 | |
* | all | mom | 2048 | 25.553 | 0.000 | 0 | 0.055 | 29.03 | 531 | 0 | 1547 | 0 | 2078 | |
any | 39.028 | 0.000 | 811 | 0 | 2078 |
Prover | Sum% | Sum | G+2 | G1+2 | G-1+2 | G+2M | Alt |
eval-*-fut-all-2048 | 33.542 | 697 | |||||
eval-*-fut-pla-2048 | 36.044 | 749 | |||||
eval-*-old-non-2048 | 37.055 | 770 | = eval-*-fut-neg-2048 | ||||
eval-*-fut-nmu-2048 | 37.536 | 780 | = eval-*-all-nmu-2048 = eval-*-fut-ag5-2048 = eval-*-all-pla-2048 = ... (4) | ||||
eval-*-fut-ag5-2048 | 38.017 | 790 | |||||
eval-*-fut-red-2048 | 38.258 | 795 | |||||
eval-*-all-nmu-2048 | 38.450 | 799 | = eval-*-all-all-2048 | ||||
eval-*-fut-plr-2048 | 38.595 | 802 | = eval-*-all-all-2048 = eval-*-old-all-2048 | ||||
eval-*-all-all-2048 | 38.739 | 805 | = eval-*-old-all-2048 | ||||
eval-*-all-pla-2048 | 38.835 | 807 | |||||
eval-*-all-pgr-2048 | 38.884 | 808 | = eval-*-all-ag0-2048 = eval-*-fut-pgr-2048 = eval-*-old-all-2048 | ||||
eval-*-all-ag0-2048 | 38.932 | 809 | = eval-*-fut-pgr-2048 = eval-*-old-all-2048 | ||||
eval-*-fut-pgr-2048 | 38.980 | 810 | = eval-*-old-all-2048 | ||||
eval-*-old-all-2048 | 39.028 | 811 |