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.6781, 18: 398.7213, 19: 2049.9640},
7: {17: 25.6133, 18: 205.2683, 19: 1031.1970},
8: {17: 21.8331, 18: 165.3185, 19: 664.2050},
9: {17: 9.4036, 18: 66.6141, 19: 305.3164},
10: {17: 6.8148, 18: 36.6565, 19: 168.7843, 20: 1166.2200, "superflip": 60.5523},
11: {17: 3.8640, 18: 22.8206, 19: 101.9301, 20: 670.2421, "superflip": 26.9025},
}
h48_4_threads = {
6: {17: 15.6631, 18: 116.6983, 19: 616.6293},
7: {17: 7.5627, 18: 57.9755, 19: 293.4441},
8: {17: 6.3879, 18: 46.6986, 19: 195.8814},
9: {17: 2.9011, 18: 19.1689, 19: 85.5939, 20: 617.9417, "superflip": 29.3115},
10: {17: 1.9637, 18: 9.7415, 19: 47.3158, 20: 326.8692, "superflip": 16.6325},
11: {17: 1.2589, 18: 6.5298, 19: 28.2996, 20: 190.1169, "superflip": 8.4383},
}
h48_16_threads = {
6: {17: 5.2001, 18: 37.0525, 19: 192.4323},
7: {17: 2.7835, 18: 19.8514, 19: 97.1157},
8: {17: 2.3060, 18: 15.9383, 19: 62.6004},
9: {17: 1.0799, 18: 6.5733, 19: 28.7205, 20: 203.8189, "superflip": 12.1779},
10: {17: 0.7715, 18: 3.5307, 19: 15.4995, 20: 105.9181, "superflip": 7.0716},
11: {17: 0.5313, 18: 2.3848, 19: 9.3324, 20: 57.7204, "superflip": 3.4673},
}
h48_all_solutions = {
6: {17: 17.3451, 18: 207.8877, 19: 2297.1491},
7: {17: 9.0715, 18: 104.6421, 19: 1169.2355},
8: {17: 6.6934, 18: 74.8913, 19: 728.2341},
9: {17: 3.1790, 18: 34.6734, 19: 333.7746},
10: {17: 1.9342, 18: 19.5612, 19: 175.0206, 20: 1494.2053, "superflip": 62.4507},
11: {17: 1.2574, 18: 11.5760, 19: 99.4671, 20: 831.7873, "superflip": 31.8256},
}
|
