ECNF: sort non-torsion gens by height for display #3473
Job | Run time |
---|---|
5s | |
1m 59s | |
5m 27s | |
2m 44s | |
1m 47s | |
2m 49s | |
2m 31s | |
1m 38s | |
1m 53s | |
4m 32s | |
3m 29s | |
6m 0s | |
2m 27s | |
37m 21s |
Job | Run time |
---|---|
5s | |
1m 59s | |
5m 27s | |
2m 44s | |
1m 47s | |
2m 49s | |
2m 31s | |
1m 38s | |
1m 53s | |
4m 32s | |
3m 29s | |
6m 0s | |
2m 27s | |
37m 21s |