Add Vinberg's algorithm #16629
Job | Run time |
---|---|
34m 34s | |
1h 16m 21s | |
31m 23s | |
52m 53s | |
30m 20s | |
33m 57s | |
12m 15s | |
1h 2m 40s | |
47m 54s | |
54m 4s | |
52m 39s | |
54m 40s | |
54m 2s | |
1h 2m 53s | |
46m 31s | |
11m 18s | |
14m 38s | |
56m 1s | |
13h 9m 3s |
Job | Run time |
---|---|
34m 34s | |
1h 16m 21s | |
31m 23s | |
52m 53s | |
30m 20s | |
33m 57s | |
12m 15s | |
1h 2m 40s | |
47m 54s | |
54m 4s | |
52m 39s | |
54m 40s | |
54m 2s | |
1h 2m 53s | |
46m 31s | |
11m 18s | |
14m 38s | |
56m 1s | |
13h 9m 3s |