1 files changed, 24 insertions, 24 deletions

diff --git a/benchmarks/results_h48.py b/benchmarks/results_h48.py
index af64353..625b2c5 100644
--- a/benchmarks/results_h48.py
+++ b/benchmarks/results_h48.py
@@ -1,36 +1,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},
+        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: 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},
+        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.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},
+        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: 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},
+        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},
 }