docs: re-run AOC benchmark

gruhn · gruhn · commit e8811ce8c16d · 2025-07-23T19:57:43.000+02:00
Results are much better when power cable is connected. Seems like my
machine is throttled on battery or something.
diff --git a/benchmark/aoc2023-day12-result.txt b/benchmark/aoc2023-day12-result.txt
@@ -1,3 +1,3 @@
 
-  Part 1: 7191 (time: 1396ms)
-  Part 2: 6512849198636 (time: 15904ms) 
+  Part 1: 7191 (time: 907ms)
+  Part 2: 6512849198636 (time: 11005ms) 
