Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted. #4404
| Job | Run time |
|---|---|
| 6m 17s | |
| 40m 25s | |
| 8m 59s | |
| 4m 15s | |
| 12m 31s | |
| 8m 9s | |
| 38m 40s | |
| 44m 28s | |
| 6m 37s | |
| 25m 38s | |
| 4m 51s | |
| 4m 52s | |
| 19m 16s | |
| 15m 56s | |
| 0s | |
| 4h 0m 54s |