Skip to content

optimize no-cycle rule using strongly connected components #1985

optimize no-cycle rule using strongly connected components

optimize no-cycle rule using strongly connected components #1985

Job Run time
3s
1m 10s
1m 3s
1m 7s
1m 5s
1m 26s
1m 12s
1m 12s
1m 10s
1m 18s
1m 25s
1m 4s
1m 6s
1m 11s
1m 7s
1m 15s
1m 12s
1m 18s
1m 10s
1m 9s
1m 15s
1m 15s
1m 15s
1m 7s
1m 20s
1m 9s
1m 7s
1m 20s
1m 11s
1m 16s
1m 10s
1m 33s
1m 11s
1m 22s
1m 22s
1m 29s
1m 30s
1m 13s
1m 10s
1m 24s
1m 33s
1m 33s
1m 13s
1m 22s
1m 9s
1m 13s
1m 41s
1m 9s
1m 8s
1m 15s
1m 9s
1m 16s
1m 14s
1m 21s
1m 19s
1m 15s
1m 23s
1m 13s
1m 21s
1m 17s
1m 13s
1m 21s
1m 13s
1m 8s
1m 11s
1m 7s
1m 10s
1m 17s
1m 13s
1m 15s
1m 12s
1m 17s
1m 23s
4m 16s
1m 16s
1m 20s
1m 22s
1m 17s
1m 16s
1m 15s
1m 26s
1m 20s
1m 27s
1m 24s
1m 27s
1m 23s
1m 27s
1m 27s
1m 40s
1m 47s
1m 38s
1m 43s
1m 48s
1m 51s
1m 32s
1m 29s
1m 34s
1m 41s
2m 13s
2m 27s
2m 22s
3m 0s
2m 32s
2m 26s
2m 39s
2m 38s
1m 31s
1m 32s
1m 46s
1m 23s
1m 26s
1m 25s
1m 26s
6m 26s
6m 50s
4m 27s
44m 39s
3m 53s
1m 23s
1m 18s
1m 34s
1m 35s
1m 39s
1m 31s
1m 18s
1m 20s
1m 12s
1m 22s
1m 1s
1m 6s
1m 8s
1m 3s
1m 7s
1m 12s
1m 26s
1m 12s
1m 23s
1m 18s
1m 31s
1m 15s
1m 31s
1m 4s
1m 4s
1m 18s
1m 6s
1m 19s
1m 16s
1m 2s
1m 8s
1m 2s
1m 4s
1m 23s
1m 1s
1m 3s
1m 4s
1m 41s
1m 57s
1m 47s
1m 47s
2m 9s
1m 54s
40s
39s
41s
40s
40s
40s
39s
1m 41s
1m 56s
1m 47s
1m 59s
2m 2s
2m 3s
1m 30s
2m 5s
1m 52s
1m 48s
1m 47s
1m 56s
2m 3s
2m 37s
2m 48s
2m 43s
2m 44s
3m 18s
1m 56s
2m 53s
3m 23s
2m 39s
2m 43s
3m 2s
2m 49s
2m 32s
3m 20s
2m 30s
2m 20s
2m 20s
2m 42s
2m 14s
2m 25s
2m 18s
3m 3s
8m 3s
7m 7s
7m 18s
8m 4s
8m 3s
7m 59s
7m 50s
8m 40s
1m 10s
1m 6s
1m 5s
0s
7h 19m 59s