[ add ] inequalities for 2 ^ log₂ n (#2925)
#2655
| Job | Run time |
|---|---|
| 1m 51s | |
| 2m 4s | |
| 2m 1s | |
| 1m 49s | |
| 1m 40s | |
| 2m 15s | |
| 2m 57s | |
| 1m 43s | |
| 2m 25s | |
| 1m 45s | |
| 20m 30s |
2 ^ log₂ n (#2925)
#2655
| Job | Run time |
|---|---|
| 1m 51s | |
| 2m 4s | |
| 2m 1s | |
| 1m 49s | |
| 1m 40s | |
| 2m 15s | |
| 2m 57s | |
| 1m 43s | |
| 2m 25s | |
| 1m 45s | |
| 20m 30s |