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: 33.7338, 18: 239.3032, 19: 1168.0240},
7: {17: 18.7160, 18: 122.3045, 19: 577.5874},
8: {17: 14.4862, 18: 88.2242, 19: 357.8497},
9: {17: 8.7917, 18: 38.2258, 19: 165.5153},
10: {17: 7.2332, 18: 23.2346, 19: 94.4067, 20: 625.9800, "superflip": 37.9989},
11: {17: 5.9655, 18: 16.0035, 19: 59.0824, 20: 376.4624, "superflip": 15.4664},
}
h48_4_threads = {
6: {17: 9.0227, 18: 61.9442, 19: 300.2229},
7: {17: 5.1328, 18: 32.6735, 19: 150.7091},
8: {17: 4.1006, 18: 23.2656, 19: 92.5504},
9: {17: 2.5539, 18: 10.4277, 19: 43.3413, 20: 308.6756, "superflip": 18.6405},
10: {17: 2.0566, 18: 6.0181, 19: 23.3997, 20: 166.0493, "superflip": 9.6187},
11: {17: 1.8034, 18: 4.5010, 19: 15.3530, 20: 97.5982, "superflip": 4.1251},
}
h48_16_threads = {
6: {17: 3.6925, 18: 22.9060, 19: 109.1304},
7: {17: 2.1686, 18: 12.4997, 19: 55.7645},
8: {17: 1.8339, 18: 9.0859, 19: 34.6719},
9: {17: 1.2048, 18: 4.3080, 19: 16.1906, 20: 111.5324, "superflip": 8.1695},
10: {17: 0.9476, 18: 2.5726, 19: 8.9408, 20: 59.1472, "superflip": 4.2709},
11: {17: 0.8505, 18: 1.8945, 19: 5.9572, 20: 33.9422, "superflip": 1.8698},
}
h48_all_solutions = {
6: {17: 10.4222, 18: 116.8097, 19: 1318.0294},
7: {17: 5.9000, 18: 61.7590, 19: 660.8557},
8: {17: 4.2207, 18: 38.8845, 19: 385.1457},
9: {17: 2.3582, 18: 18.5886, 19: 181.1071},
10: {17: 1.7172, 18: 10.9096, 19: 95.8059, 20: 818.0337, "superflip": 37.4471},
11: {17: 1.2739, 18: 6.9486, 19: 55.4427, 20: 462.4705, "superflip": 17.0403},
}
|
