Merge pull request #1121 from quangngd/ignore_predicate_name_when_impl #987
Job | Run time |
---|---|
3m 31s | |
3m 30s | |
3m 11s | |
3m 12s | |
2m 35s | |
2m 37s | |
2m 28s | |
2m 32s | |
2m 31s | |
2m 26s | |
2m 24s | |
2m 22s | |
33m 19s |
Job | Run time |
---|---|
3m 31s | |
3m 30s | |
3m 11s | |
3m 12s | |
2m 35s | |
2m 37s | |
2m 28s | |
2m 32s | |
2m 31s | |
2m 26s | |
2m 24s | |
2m 22s | |
33m 19s |