proof: knowledge-layer validation programme (stacked on #18) #197
| Job | Run time |
|---|---|
| 35s | |
| 48s | |
| 52s | |
| 2m 1s | |
| 48s | |
| 1m 6s | |
| 21s | |
| 13m 59s | |
| 36s | |
| 57s | |
| 13m 46s | |
| 12m 13s | |
| 1m 9s | |
| 1m 13s | |
| 59s | |
| 51m 23s |
| Job | Run time |
|---|---|
| 35s | |
| 48s | |
| 52s | |
| 2m 1s | |
| 48s | |
| 1m 6s | |
| 21s | |
| 13m 59s | |
| 36s | |
| 57s | |
| 13m 46s | |
| 12m 13s | |
| 1m 9s | |
| 1m 13s | |
| 59s | |
| 51m 23s |