Skip to content

Minimisation should not combine end states with distinct sets of endids. #875

Minimisation should not combine end states with distinct sets of endids.

Minimisation should not combine end states with distinct sets of endids. #875

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