1 files changed, 24 insertions, 24 deletions

diff --git a/benchmarks/results_h48.py b/benchmarks/results_h48.py
index 9d8d19c..af64353 100644
--- a/benchmarks/results_h48.py
+++ b/benchmarks/results_h48.py
@@ -1,36 +1,36 @@
 h48_single_thread = {
-        6: {17: 52.9727, 18: 407.1435, 19: 2055.8785},
-        7: {17: 26.8541, 18: 214.7064, 19: 1053.9732},
-        8: {17: 19.8408, 18: 152.2214, 19: 639.4834},
-        9: {17: 8.9053, 18: 61.6760, 19: 294.6517},
-        10: {17: 5.8445, 18: 30.0880, 19: 154.5389, 20: 1087.6552, "superflip": 48.8410},
-        11: {17: 3.2420, 18: 18.3482, 19: 85.6898, 20: 581.9588, "superflip": 19.2614},
+        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: 15.2251, 18: 115.3688, 19: 605.5267},
-        7: {17: 7.8799, 18: 61.3355, 19: 303.0388},
-        8: {17: 5.8624, 18: 43.4193, 19: 179.8491},
-        9: {17: 2.7696, 18: 17.6190, 19: 87.1236, 20: 640.3405, "superflip": 25.3726},
-        10: {17: 1.8676, 18: 9.0543, 19: 44.7847, 20: 310.3914, "superflip": 14.0333},
-        11: {17: 1.1173, 18: 5.6240, 19: 24.1467, 20: 174.4689, "superflip": 5.9548},
+        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: 5.3309, 18: 37.8142, 19: 193.5352},
-        7: {17: 2.8657, 18: 20.8215, 19: 99.9139},
-        8: {17: 2.0775, 18: 14.2672, 19: 60.0995},
-        9: {17: 1.0595, 18: 6.2074, 19: 27.5523, 20: 201.2200, "superflip": 10.7739},
-        10: {17: 0.7600, 18: 3.1980, 19: 14.5771, 20: 105.1686, "superflip": 5.5616},
-        11: {17: 0.4946, 18: 2.0381, 19: 8.3613, 20: 55.4269, "superflip": 2.4087},
+        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: 17.1587, 18: 204.6182, 19: 2296.3135},
-        7: {17: 9.1380, 18: 106.0127, 19: 1177.4728},
-        8: {17: 6.1641, 18: 67.9895, 19: 685.6033},
-        9: {17: 3.0422, 18: 31.9821, 19: 323.2516},
-        10: {17: 1.7822, 18: 17.4947, 19: 168.2516, 20: 1465.2950, "superflip": 48.6248},
-        11: {17: 1.1364, 18: 10.2076, 19: 92.3419, 20: 791.1480, "superflip": 21.8014},
+        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},
 }