proof: knowledge-layer validation programme (stacked on #18) #171
| Job | Run time |
|---|---|
| 14m 37s | |
| 54s | |
| 41s | |
| 49s | |
| 1m 8s | |
| 21s | |
| 16m 28s | |
| 1m 5s | |
| 3m 36s | |
| 43s | |
| 14m 40s | |
| 38s | |
| 40s | |
| 1m 47s | |
| 36s | |
| 58m 43s |
| Job | Run time |
|---|---|
| 14m 37s | |
| 54s | |
| 41s | |
| 49s | |
| 1m 8s | |
| 21s | |
| 16m 28s | |
| 1m 5s | |
| 3m 36s | |
| 43s | |
| 14m 40s | |
| 38s | |
| 40s | |
| 1m 47s | |
| 36s | |
| 58m 43s |