proof(ordinal): doubled-ladder rank rank2 + equal-Ω discharge (Slice 2)
#691
| Job | Run time |
|---|---|
| 1m 48s | |
| 7m 28s | |
| 9m 16s |
rank2 + equal-Ω discharge (Slice 2)
#691
| Job | Run time |
|---|---|
| 1m 48s | |
| 7m 28s | |
| 9m 16s |