start on prolog_genvarargs() #27631
Job | Run time |
---|---|
2m 56s | |
3m 8s | |
2m 39s | |
3m 6s | |
2m 50s | |
4m 35s | |
1m 24s | |
1m 25s | |
1m 25s | |
3m 52s | |
2m 50s | |
3m 8s | |
2m 8s | |
35m 26s |
Job | Run time |
---|---|
2m 56s | |
3m 8s | |
2m 39s | |
3m 6s | |
2m 50s | |
4m 35s | |
1m 24s | |
1m 25s | |
1m 25s | |
3m 52s | |
2m 50s | |
3m 8s | |
2m 8s | |
35m 26s |