https://hal.archives-ouvertes.fr/hal-02398953
Tip revision: c33910a29d53f4e137c225b21a8d59e43327cbf9 authored by Software Heritage on 08 December 2019, 12:26:32 UTC
hal: Deposit 351 in collection hal
hal: Deposit 351 in collection hal
Tip revision: c33910a
time_for_tests
Computation time for each group (for ALL verifications, even the "trivial" ones)
------------
3s1: NC, NA(1), chi = 2/9
10m40,595s
4s1: NC, NA(1), chi = 7/16
2m57,811s
6s1: NC, NA(1), chi = 43/72
13m53,542s
-----------
3s4c: C, A, chi = 2/63
4m43,050s
4s4c: NC, NA(1), chi = 25/224
8m,43s
5s4c: C, NA(2), chi = 47/280
[version 81 -> OK on my home computer, 12h of computations]
11h40m19s
6s4c: NC, NA(1), chi = 25/126
18m5s
8s4c: C, NA(2), chi = 99/448
[still with version 1.5.0.81, trouble diagonalizing matrix for 1232b]
8h5m50s
12s4c: C, NA(2), chi = 221/1008
[strange bug in computing stabilizers]
14h15m52s
------------
2s5: C, A, chi = 1/45
12m14s
3s5: NC, NA(1), chi = 49/180
18m24s
4s5: NC, NA(3), chi = 17/36
3h15m27s
------------
3s10: C, A, chi = 1/45
4m32s
4s10: C, A, chi = 3/32
2m29s
5s10: C, A, chi = 1/8
1m18s
10s10: C, A, chi = 13/100
1m3s
------------
t3S2: C, A, chi = 2/15
4m40s
t4S2: NC, NA(3), chi = 1/3
35m50s
t5S2: C, NA(1), chi = 133/300
14m0s
------------
t3E2: NC, A, chi = 1/4
2m27,031s
t4E2: NC, NA(1), chi = 17/32
15m57,732s
t6E2: NC, A, chi = 3/4
[fixed, used to have: trouble comparing]
5m15s
------------
t2H1: C, A, chi = 1/49
1h17m32s
------------
t2H2: C, A, chi = 1/100
11m37s
t3H2: C, NA(1), chi = 26/75
45m5s
t5H2: C, A, chi = 73/100
36m44s
------------------------
m5-7%10: C, A, chi = 1/200
1m55,845s
m6-2%3: NC, A, chi = 1/72
0m27,706s
m7-9%14: C, A, chi = 1/49
3m28,090s
m8-5%8: C, A, chi = 3/128
14s
m9-11%18: C, NA(1), chi = 2/81
5m6,032s
m10-3%5: C, A, chi = 1/40
0m27,587s
m12-7%12: C, A, chi = 7/288
1m18,271s
m18-5%9: C, A, chi = 13/648
5m42s
m4-5%12: C, A, chi = 1/72
21s
m5-11%30: C, A, chi = 8/225
5m33s
m6-1%3: NC, A, chi = 1/18
16s
[used to have a bug because computations give rationals]
m7-13%42: C, NA(2), chi = 61/882
8m54s
m8-7%24: C, NA(1), chi = 11/144
4m23s
m9-5%18: C, A, chi = 13/162
1m28s
m10-4%15: C, NA(2), chi = 37/450
3m16s
m12-1%4: C, A, chi = 1/12
45s
m18-2%9: C, A, chi = 13/162
1m11,862s
m3-1%3: C, A, chi = 1/288
1m0,983s
m4-1%4: NC, A, chi = 1/32
21s
[Used to have BUG at the start, sto(i) not allowed]
[Fixed, after a lot of painful tweek to avoid sto(i)]
m5-1%5: C, NA(1), chi = 23/400
26m46s
m6-1%6: NC, NA(1), chi = 11/144
4m29,800s
m8-1%8: C, A, chi = 3/32
1m12,167s
m12-1%12: C, A, chi = 7/72
3m18,737s
m3-7%30: C, A, chi = 2/225
5m47s
m4-3%20: C, NA(2), chi = 33/800
3m24s
m5-1%10: C, A, chi = 13/200
1m20s
m10-0%1: C, A, chi = 1/10
48s
[Used to have: trouble comparing with t3min]
m3-1%6: NC, A, chi = 1/72
32s
m4-1%12: C, NA(1), chi = 13/288
43s
m6-0%1: NC, A, chi = 1/12
52s
OK after fixing bug in gcd
[used to stall on eq#23 for #0,#24]
m3-5%42: C, NA(2), chi = 61/3528
6m38s
m3-1%12: C, NA(1), chi = 11/576
19m8s
[used to have: trouble finding tau^3]
m4-0%1: C, A, chi = 3/64
2m10s
[used to have: early bug]
m3-1%18: C, A, chi = 13/648
2m22s
m3-1%30: C, NA(2), chi = 37/1800
45m17s
m3-0%1: C, A, chi = 1/48
3m54s
----------------------------------
[groups where algo fails]
m5-1%2:
OK, embedding fails
m7-3%14:
OK, embedding fails
m9-1%18:
OK, embedding fails