optimize no-cycle rule using strongly connected components #1964
Job | Run time |
---|---|
6s | |
54s | |
51s | |
49s | |
54s | |
50s | |
54s | |
50s | |
57s | |
50s | |
58s | |
42s | |
48s | |
53s | |
57s | |
58s | |
54s | |
54s | |
53s | |
42s | |
53s | |
55s | |
56s | |
42s | |
43s | |
52s | |
52s | |
47s | |
48s | |
51s | |
55s | |
45s | |
50s | |
59s | |
54s | |
39s | |
48s | |
48s | |
58s | |
46s | |
51s | |
56s | |
1m 1s | |
53s | |
57s | |
52s | |
59s | |
52s | |
54s | |
1m 14s | |
1m 26s | |
1m 11s | |
1m 12s | |
1m 16s | |
1m 21s | |
1m 19s | |
1m 14s | |
2m 2s | |
2m 3s | |
1m 46s | |
1m 54s | |
2m 10s | |
2m 14s | |
2m 2s | |
2m 4s | |
1s | |
1h 7m 59s |