1 files changed, 24 insertions, 24 deletions

diff --git a/benchmarks/results_h48.py b/benchmarks/results_h48.py
index db8a3a5..a2db06c 100644
--- a/benchmarks/results_h48.py
+++ b/benchmarks/results_h48.py
@@ -1,36 +1,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},
+        6: {17: 52.7302, 18: 405.7879, 19: 2032.4602},
+        7: {17: 26.4977, 18: 212.7314, 19: 1074.2251},
+        8: {17: 19.8239, 18: 151.7597, 19: 639.6197},
+        9: {17: 9.0082, 18: 62.0400, 19: 293.2197},
+        10: {17: 6.2190, 18: 31.1395, 19: 158.3581, 20: 1118.7513, "superflip": 48.7016},
+        11: {17: 3.5879, 18: 19.5970, 19: 93.5762, 20: 651.2212, "superflip": 20.2721},
 }
 
 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},
+        6: {17: 15.2794, 18: 116.1387, 19: 577.3595},
+        7: {17: 7.7522, 18: 59.8914, 19: 293.4824},
+        8: {17: 5.8807, 18: 42.7619, 19: 180.4499},
+        9: {17: 2.7609, 18: 18.4867, 19: 84.1350, 20: 610.8914, "superflip": 25.3932},
+        10: {17: 1.9215, 18: 9.1287, 19: 43.7573, 20: 338.4877, "superflip": 14.2593},
+        11: {17: 1.1997, 18: 5.8332, 19: 26.6060, 20: 176.8453, "superflip": 6.1932},
 }
 
 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},
+        6: {17: 5.3639, 18: 37.6695, 19: 191.8620},
+        7: {17: 2.8213, 18: 20.1045, 19: 96.7922},
+        8: {17: 2.0779, 18: 14.6013, 19: 60.4149},
+        9: {17: 1.0796, 18: 6.1831, 19: 27.5530, 20: 200.9519, "superflip": 10.7149},
+        10: {17: 0.7511, 18: 3.2061, 19: 15.0046, 20: 103.8125, "superflip": 5.6217},
+        11: {17: 0.5173, 18: 2.1196, 19: 8.6965, 20: 56.4344, "superflip": 2.4857},
 }
 
 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},
+        6: {17: 17.1940, 18: 203.6879, 19: 2286.7364},
+        7: {17: 9.0219, 18: 105.0559, 19: 1166.1059},
+        8: {17: 5.9919, 18: 68.8215, 19: 686.0935},
+        9: {17: 3.0192, 18: 31.9398, 19: 319.0297},
+        10: {17: 1.7972, 18: 17.8931, 19: 167.6695, 20: 1464.2636, "superflip": 48.9035},
+        11: {17: 1.1838, 18: 10.5628, 19: 96.0518, 20: 808.8516, "superflip": 22.6335},
 }