An interchange law for squares and cleanups to Cubical/PathSquare.v #3886
| Job | Run time |
|---|---|
| 3m 35s | |
| 3m 29s | |
| 3m 35s | |
| 3m 35s | |
| 3m 16s | |
| 3m 26s | |
| 3m 33s | |
| 2m 13s | |
| 3m 27s | |
| 3m 32s | |
| 1s | |
| 1s | |
| 9s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 33m 57s |
| Job | Run time |
|---|---|
| 3m 35s | |
| 3m 29s | |
| 3m 35s | |
| 3m 35s | |
| 3m 16s | |
| 3m 26s | |
| 3m 33s | |
| 2m 13s | |
| 3m 27s | |
| 3m 32s | |
| 1s | |
| 1s | |
| 9s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 33m 57s |