Skip to content

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

Allow improveIf of con/undet when only one constructor

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

Job Run time
5s
5s
9m 15s
22s
6m 16s
5m 55s
2m 34s
1m 57s
3m 3s
24m 4s
11m 49s
15m 39s
9m 37s
10m 20s
11m 6s
12m 21s
9m 42s
10m 53s
7m 5s
10m 19s
8m 35s
2m 52s
1h 16m 15s
12m 18s
1m 36s
3m 57s
11m 51s
1m 36s
1h 16m 14s
3m 6s
1h 14m 35s
11m 30s
1m 44s
11m 47s
1h 18m 8s
1m 35s
2m 52s
2m 48s
1m 51s
11m 35s
1h 16m 41s
11m 51s
1h 17m 12s
3m 8s
1m 41s
13m 58s
1h 6m 4s
38s
2m 22s
2m 22s
1h 3m 28s
36s
7m 15s
7m 37s
2m 24s
37s
1h 1m 59s
2m 22s
36s
59m 36s
8m 24s
5m 39s
20m 7s
2h 8m 37s
1m 2s
37s
1h 2m 12s
2m 13s
7m 26s
20h 57m 56s