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: 57.7296, 18: 436.0622, 19: 2240.5087},
7: {17: 27.8748, 18: 222.3812, 19: 1114.8537},
8: {17: 23.6884, 18: 181.7169, 19: 722.1819},
9: {17: 10.1115, 18: 72.6935, 19: 328.5458},
10: {17: 7.0337, 18: 37.5239, 19: 179.3647, 20: 1267.3059, "superflip": 71.8359},
11: {17: 3.9693, 18: 24.2573, 19: 106.8995, 20: 688.5594, "superflip": 32.0008},
}
h48_4_threads = {
6: {17: 16.7353, 18: 129.9696, 19: 663.2930},
7: {17: 8.4315, 18: 65.4883, 19: 348.3440},
8: {17: 6.9127, 18: 51.8117, 19: 208.8438},
9: {17: 3.0985, 18: 21.2920, 19: 95.3467, 20: 711.2927, "superflip": 35.3772},
10: {17: 2.0592, 18: 10.6636, 19: 49.9811, 20: 388.0203, "superflip": 18.6665},
11: {17: 1.3065, 18: 6.9261, 19: 29.7725, 20: 197.9893, "superflip": 9.1158},
}
h48_16_threads = {
6: {17: 5.6335, 18: 39.2955, 19: 207.5730},
7: {17: 2.9328, 18: 21.0462, 19: 104.7917},
8: {17: 2.4790, 18: 17.0854, 19: 67.6617},
9: {17: 1.1561, 18: 7.0899, 19: 30.5952, 20: 220.9804, "superflip": 13.5599},
10: {17: 0.8002, 18: 3.6835, 19: 16.4910, 20: 114.4733, "superflip": 7.6359},
11: {17: 0.5475, 18: 2.4681, 19: 9.8224, 20: 60.7893, "superflip": 3.8795},
}
h48_all_solutions = {
6: {17: 18.3998, 18: 223.3861, 19: 2459.7513},
7: {17: 9.6264, 18: 114.2752, 19: 1242.9741},
8: {17: 7.1793, 18: 81.2145, 19: 783.8113},
9: {17: 3.3487, 18: 36.9225, 19: 363.1912},
10: {17: 2.0002, 18: 20.4565, 19: 187.5199, 20: 1570.6074, "superflip": 68.2016},
11: {17: 1.2833, 18: 12.3616, 19: 105.6184, 20: 872.5879, "superflip": 34.1071},
}
|
