Factor out edge types #175
Job | Run time |
---|---|
27s | |
35s | |
47s | |
32s | |
34s | |
45s | |
33s | |
17s | |
21s | |
16s | |
20s | |
29s | |
19s | |
21s | |
14s | |
17s | |
14s | |
26s | |
13s | |
26s | |
16s | |
1m 47s | |
1s | |
10m 30s |
Job | Run time |
---|---|
27s | |
35s | |
47s | |
32s | |
34s | |
45s | |
33s | |
17s | |
21s | |
16s | |
20s | |
29s | |
19s | |
21s | |
14s | |
17s | |
14s | |
26s | |
13s | |
26s | |
16s | |
1m 47s | |
1s | |
10m 30s |