proof(ordinal): doubled-ladder rank rank2 + equal-Ω discharge (Slic…
#56
| Job | Run time |
|---|---|
| 10s | |
| 12s | |
| 4s | |
| 9s | |
| 35s |
rank2 + equal-Ω discharge (Slic…
#56
| Job | Run time |
|---|---|
| 10s | |
| 12s | |
| 4s | |
| 9s | |
| 35s |