Add index to conjugacy class knowl for Galois groups #3230
Job | Run time |
---|---|
4s | |
1m 59s | |
2m 28s | |
7m 50s | |
2m 58s | |
2m 47s | |
3m 30s | |
2m 11s | |
3m 56s | |
7m 55s | |
5m 16s | |
3m 57s | |
3m 36s | |
48m 27s |
Job | Run time |
---|---|
4s | |
1m 59s | |
2m 28s | |
7m 50s | |
2m 58s | |
2m 47s | |
3m 30s | |
2m 11s | |
3m 56s | |
7m 55s | |
5m 16s | |
3m 57s | |
3m 36s | |
48m 27s |