Skip to content

optimize no-cycle rule using strongly connected components #1978

optimize no-cycle rule using strongly connected components

optimize no-cycle rule using strongly connected components #1978

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