handle --enable_verification passed with its value #86
Job | Run time |
---|---|
24s | |
6m 44s | |
21m 44s | |
8m 32s | |
2m 9s | |
45m 24s | |
13m 29s | |
2m 15s | |
15m 5s | |
2m 31s | |
16m 18s | |
27s | |
33s | |
33s | |
31s | |
36s | |
29s | |
33s | |
36s | |
32s | |
28s | |
33s | |
2h 20m 26s |
Job | Run time |
---|---|
24s | |
6m 44s | |
21m 44s | |
8m 32s | |
2m 9s | |
45m 24s | |
13m 29s | |
2m 15s | |
15m 5s | |
2m 31s | |
16m 18s | |
27s | |
33s | |
33s | |
31s | |
36s | |
29s | |
33s | |
36s | |
32s | |
28s | |
33s | |
2h 20m 26s |