proof(ordinal): general head-Ω monotonicity head-Ω-mono (Gate 1 bui…
#673
| Job | Run time |
|---|---|
| 1m 37s | |
| 1m 30s | |
| 3m 7s |
head-Ω-mono (Gate 1 bui…
#673
| Job | Run time |
|---|---|
| 1m 37s | |
| 1m 30s | |
| 3m 7s |