1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
h48_single_thread = {
6: {17: 52.7302, 18: 405.7879, 19: 2032.4602},
7: {17: 26.4977, 18: 212.7314, 19: 1074.2251},
8: {17: 19.8239, 18: 151.7597, 19: 639.6197},
9: {17: 9.0082, 18: 62.0400, 19: 293.2197},
10: {17: 6.2190, 18: 31.1395, 19: 158.3581, 20: 1118.7513, "superflip": 48.7016},
11: {17: 3.5879, 18: 19.5970, 19: 93.5762, 20: 651.2212, "superflip": 20.2721},
}
h48_4_threads = {
6: {17: 15.2794, 18: 116.1387, 19: 577.3595},
7: {17: 7.7522, 18: 59.8914, 19: 293.4824},
8: {17: 5.8807, 18: 42.7619, 19: 180.4499},
9: {17: 2.7609, 18: 18.4867, 19: 84.1350, 20: 610.8914, "superflip": 25.3932},
10: {17: 1.9215, 18: 9.1287, 19: 43.7573, 20: 338.4877, "superflip": 14.2593},
11: {17: 1.1997, 18: 5.8332, 19: 26.6060, 20: 176.8453, "superflip": 6.1932},
}
h48_16_threads = {
6: {17: 5.3639, 18: 37.6695, 19: 191.8620},
7: {17: 2.8213, 18: 20.1045, 19: 96.7922},
8: {17: 2.0779, 18: 14.6013, 19: 60.4149},
9: {17: 1.0796, 18: 6.1831, 19: 27.5530, 20: 200.9519, "superflip": 10.7149},
10: {17: 0.7511, 18: 3.2061, 19: 15.0046, 20: 103.8125, "superflip": 5.6217},
11: {17: 0.5173, 18: 2.1196, 19: 8.6965, 20: 56.4344, "superflip": 2.4857},
}
h48_all_solutions = {
6: {17: 17.1940, 18: 203.6879, 19: 2286.7364},
7: {17: 9.0219, 18: 105.0559, 19: 1166.1059},
8: {17: 5.9919, 18: 68.8215, 19: 686.0935},
9: {17: 3.0192, 18: 31.9398, 19: 319.0297},
10: {17: 1.7972, 18: 17.8931, 19: 167.6695, 20: 1464.2636, "superflip": 48.9035},
11: {17: 1.1838, 18: 10.5628, 19: 96.0518, 20: 808.8516, "superflip": 22.6335},
}
|
