proof(ordinal): doubled-ladder rank rank2 + equal-Ω discharge (Slice 2)
#55
| Job | Run time |
|---|---|
| 4s | |
| 6s | |
| 11s | |
| 5s | |
| 26s |
rank2 + equal-Ω discharge (Slice 2)
#55
| Job | Run time |
|---|---|
| 4s | |
| 6s | |
| 11s | |
| 5s | |
| 26s |