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: 31.2308, 18: 236.1986, 19: 1157.7502},
7: {17: 15.7227, 18: 121.1488, 19: 581.2004},
8: {17: 11.5065, 18: 84.0366, 19: 353.2224},
9: {17: 5.9123, 18: 37.1034, 19: 167.3496},
10: {17: 3.7338, 18: 18.9061, 19: 83.9382, 20: 587.7489, "superflip": 38.0522},
11: {17: 2.3070, 18: 12.5145, 19: 56.0479, 20: 393.3391, "superflip": 15.5523},
}
h48_4_threads = {
6: {17: 8.2859, 18: 61.8403, 19: 305.5934},
7: {17: 4.3713, 18: 32.0550, 19: 152.9403},
8: {17: 3.2607, 18: 22.6002, 19: 92.7235},
9: {17: 1.8164, 18: 9.6520, 19: 43.5002, 20: 313.5156, "superflip": 18.9551},
10: {17: 1.2098, 18: 5.1007, 19: 22.8530, 20: 166.2468, "superflip": 9.8108},
11: {17: 0.9047, 18: 3.6152, 19: 14.9408, 20: 99.3673, "superflip": 4.1930},
}
h48_16_threads = {
6: {17: 3.2536, 18: 22.7283, 19: 109.8073},
7: {17: 1.8312, 18: 11.7609, 19: 54.9974},
8: {17: 1.4242, 18: 8.4798, 19: 33.9483},
9: {17: 0.9010, 18: 3.8064, 19: 15.8985, 20: 111.3421, "superflip": 8.0916},
10: {17: 0.6528, 18: 2.1009, 19: 8.3680, 20: 58.5190, "superflip": 4.1848},
11: {17: 0.5918, 18: 1.5379, 19: 5.3942, 20: 33.1522, "superflip": 1.8402},
}
h48_all_solutions = {
6: {17: 9.8554, 18: 116.6374, 19: 1324.9303},
7: {17: 5.2495, 18: 59.4768, 19: 662.9106},
8: {17: 3.6359, 18: 38.8943, 19: 385.2452},
9: {17: 1.9026, 18: 18.2076, 19: 182.0522},
10: {17: 1.3117, 18: 10.5836, 19: 95.4136, 20: 860.4004, "superflip": 36.8007},
11: {17: 0.9357, 18: 6.4383, 19: 55.3969, 20: 473.9622, "superflip": 16.9452},
}
|
