proof(ordinal): doubled-ladder rank rank2 + equal-Ω discharge (Slice 2)
#692
| Job | Run time |
|---|---|
| 10m 12s | |
| 1m 47s | |
| 11m 59s |
rank2 + equal-Ω discharge (Slice 2)
#692
| Job | Run time |
|---|---|
| 10m 12s | |
| 1m 47s | |
| 11m 59s |