check_diff
function rewrite
#3050
Job | Run time |
---|---|
1m 48s | |
1m 31s | |
2m 29s | |
13m 20s | |
5m 41s | |
1m 24s | |
1m 37s | |
3m 4s | |
3m 11s | |
7m 43s | |
1m 20s | |
2m 40s | |
1m 42s | |
47m 30s |
check_diff
function rewrite
#3050
Job | Run time |
---|---|
1m 48s | |
1m 31s | |
2m 29s | |
13m 20s | |
5m 41s | |
1m 24s | |
1m 37s | |
3m 4s | |
3m 11s | |
7m 43s | |
1m 20s | |
2m 40s | |
1m 42s | |
47m 30s |