proof: knowledge-layer validation programme (stacked on #18) #188
| Job | Run time |
|---|---|
| 1m 5s | |
| 45s | |
| 1m 4s | |
| 21s | |
| 1m 58s | |
| 12m 21s | |
| 47s | |
| 1m 40s | |
| 14m 31s | |
| 45s | |
| 1m 12s | |
| 15m 28s | |
| 35s | |
| 59s | |
| 51s | |
| 54m 22s |
| Job | Run time |
|---|---|
| 1m 5s | |
| 45s | |
| 1m 4s | |
| 21s | |
| 1m 58s | |
| 12m 21s | |
| 47s | |
| 1m 40s | |
| 14m 31s | |
| 45s | |
| 1m 12s | |
| 15m 28s | |
| 35s | |
| 59s | |
| 51s | |
| 54m 22s |