Skip to content

Allow improveIf of con/undet when only one constructor #130

Allow improveIf of con/undet when only one constructor

Allow improveIf of con/undet when only one constructor #130

Job Run time
6s
4s
13m 32s
2m 27s
26s
7m 6s
2m 16s
7m 5s
3m 27s
9m 22s
8m 45s
14m 14s
5m 46s
8m 26s
7m 7s
22m 1s
10m 25s
11m 4s
8m 47s
8m 44s
8m 59s
1m 48s
2m 57s
10m 56s
55m 57s
56m 37s
2m 41s
12m 2s
1m 43s
11m 5s
58m 48s
1m 43s
2m 48s
10m 59s
2m 43s
2m 16s
57m 44s
3m 23s
9m 13s
1m 0s
44m 55s
11m 15s
1h 5m 52s
2m 18s
3m 8s
11m 0s
2m 45s
2m 58s
54m 36s
2m 49s
46m 21s
9m 20s
41s
46m 57s
43s
13m 54s
2m 24s
48m 12s
46s
7m 46s
2m 43s
2m 15s
7m 15s
46m 40s
58s
4m 41s
1h 34m 31s
17m 58s
1m 19s
17h 3m 32s