proof: knowledge-layer validation programme (stacked on #18) #176
| Job | Run time |
|---|---|
| 1m 53s | |
| 1m 5s | |
| 15m 25s | |
| 59s | |
| 45s | |
| 1m 25s | |
| 20s | |
| 1m 25s | |
| 1m 2s | |
| 15m 23s | |
| 1m 0s | |
| 12m 3s | |
| 33s | |
| 51s | |
| 43s | |
| 54m 52s |
| Job | Run time |
|---|---|
| 1m 53s | |
| 1m 5s | |
| 15m 25s | |
| 59s | |
| 45s | |
| 1m 25s | |
| 20s | |
| 1m 25s | |
| 1m 2s | |
| 15m 23s | |
| 1m 0s | |
| 12m 3s | |
| 33s | |
| 51s | |
| 43s | |
| 54m 52s |