prio-queue: use bottom-up sift for extract-min #28109
| Job | Run time |
|---|---|
| 8s | |
| 1m 23s | |
| 10s | |
| 10s | |
| 10s | |
| 11s | |
| 11s | |
| 11s | |
| 11s | |
| 10s | |
| 11s | |
| 11s | |
| 11s | |
| 10s | |
| 11s | |
| 11s | |
| 11s | |
| 11s | |
| 11s | |
| 10s | |
| 11s | |
| 11s | |
| 0s | |
| 11s | |
| 11s | |
| 11s | |
| -1s | |
| 0s | |
| 0s | |
| 5m 37s |
| Job | Run time |
|---|---|
| 8s | |
| 1m 23s | |
| 10s | |
| 10s | |
| 10s | |
| 11s | |
| 11s | |
| 11s | |
| 11s | |
| 10s | |
| 11s | |
| 11s | |
| 11s | |
| 10s | |
| 11s | |
| 11s | |
| 11s | |
| 11s | |
| 11s | |
| 10s | |
| 11s | |
| 11s | |
| 0s | |
| 11s | |
| 11s | |
| 11s | |
| -1s | |
| 0s | |
| 0s | |
| 5m 37s |