diff --git a/assets/benchmarks.svg b/assets/benchmarks.svg
index ee7e0b175..d704b4a09 100644
--- a/assets/benchmarks.svg
+++ b/assets/benchmarks.svg
@@ -6,7 +6,7 @@
   <rdf:RDF xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://creativecommons.org/ns#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
    <cc:Work>
     <dc:type rdf:resource="http://purl.org/dc/dcmitype/StillImage"/>
-    <dc:date>2023-07-01T17:50:36.848487</dc:date>
+    <dc:date>2023-07-01T21:30:41.757436</dc:date>
     <dc:format>image/svg+xml</dc:format>
     <dc:creator>
      <cc:Agent>
@@ -41,12 +41,12 @@ z
     <g id="xtick_1">
      <g id="line2d_1">
       <defs>
-       <path id="m803822d50f" d="M 0 0 
+       <path id="m254e4ef371" d="M 0 0 
 L 0 3.5 
 " style="stroke: #000000; stroke-width: 0.8"/>
       </defs>
       <g>
-       <use xlink:href="#m803822d50f" x="202.939517" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m254e4ef371" x="202.939517" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_1">
@@ -363,7 +363,7 @@ z
     <g id="xtick_2">
      <g id="line2d_2">
       <g>
-       <use xlink:href="#m803822d50f" x="340.451759" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m254e4ef371" x="340.451759" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_2">
@@ -428,7 +428,7 @@ z
     <g id="xtick_3">
      <g id="line2d_3">
       <g>
-       <use xlink:href="#m803822d50f" x="477.964" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m254e4ef371" x="477.964" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_3">
@@ -482,7 +482,7 @@ z
     <g id="xtick_4">
      <g id="line2d_4">
       <g>
-       <use xlink:href="#m803822d50f" x="615.476241" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m254e4ef371" x="615.476241" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_4">
@@ -525,7 +525,7 @@ z
     <g id="xtick_5">
      <g id="line2d_5">
       <g>
-       <use xlink:href="#m803822d50f" x="752.988483" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m254e4ef371" x="752.988483" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_5">
@@ -550,16 +550,16 @@ z
      <g id="line2d_6">
       <path d="M 115.688 501.032 
 L 840.24 501.032 
-" clip-path="url(#pf511fcd1c4)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#p308f8803cd)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_7">
       <defs>
-       <path id="ma46d1e24e6" d="M 0 0 
+       <path id="mc72c213546" d="M 0 0 
 L -3.5 0 
 " style="stroke: #000000; stroke-width: 0.8"/>
       </defs>
       <g>
-       <use xlink:href="#ma46d1e24e6" x="115.688" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#mc72c213546" x="115.688" y="501.032" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_6">
@@ -573,11 +573,11 @@ L -3.5 0
      <g id="line2d_8">
       <path d="M 115.688 410.6656 
 L 840.24 410.6656 
-" clip-path="url(#pf511fcd1c4)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#p308f8803cd)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_9">
       <g>
-       <use xlink:href="#ma46d1e24e6" x="115.688" y="410.6656" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#mc72c213546" x="115.688" y="410.6656" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_7">
@@ -619,11 +619,11 @@ z
      <g id="line2d_10">
       <path d="M 115.688 320.2992 
 L 840.24 320.2992 
-" clip-path="url(#pf511fcd1c4)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#p308f8803cd)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_11">
       <g>
-       <use xlink:href="#ma46d1e24e6" x="115.688" y="320.2992" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#mc72c213546" x="115.688" y="320.2992" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_8">
@@ -638,11 +638,11 @@ L 840.24 320.2992
      <g id="line2d_12">
       <path d="M 115.688 229.9328 
 L 840.24 229.9328 
-" clip-path="url(#pf511fcd1c4)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#p308f8803cd)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_13">
       <g>
-       <use xlink:href="#ma46d1e24e6" x="115.688" y="229.9328" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#mc72c213546" x="115.688" y="229.9328" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_9">
@@ -657,11 +657,11 @@ L 840.24 229.9328
      <g id="line2d_14">
       <path d="M 115.688 139.5664 
 L 840.24 139.5664 
-" clip-path="url(#pf511fcd1c4)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#p308f8803cd)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_15">
       <g>
-       <use xlink:href="#ma46d1e24e6" x="115.688" y="139.5664" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#mc72c213546" x="115.688" y="139.5664" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_10">
@@ -717,11 +717,11 @@ z
      <g id="line2d_16">
       <path d="M 115.688 49.2 
 L 840.24 49.2 
-" clip-path="url(#pf511fcd1c4)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#p308f8803cd)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_17">
       <g>
-       <use xlink:href="#ma46d1e24e6" x="115.688" y="49.2" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#mc72c213546" x="115.688" y="49.2" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_11">
@@ -1072,7 +1072,7 @@ L 174.749508 501.032
 L 174.749508 365.142677 
 L 148.622182 365.142677 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_4">
     <path d="M 286.134423 501.032 
@@ -1080,7 +1080,7 @@ L 312.261749 501.032
 L 312.261749 419.498406 
 L 286.134423 419.498406 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_5">
     <path d="M 423.646665 501.032 
@@ -1088,7 +1088,7 @@ L 449.773991 501.032
 L 449.773991 412.70394 
 L 423.646665 412.70394 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_6">
     <path d="M 561.158906 501.032 
@@ -1096,7 +1096,7 @@ L 587.286232 501.032
 L 587.286232 191.883789 
 L 561.158906 191.883789 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_7">
     <path d="M 698.671147 501.032 
@@ -1104,12 +1104,12 @@ L 724.798473 501.032
 L 724.798473 208.869955 
 L 698.671147 208.869955 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_8">
     <path d="M 0 0 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#h933a162d1d); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_9">
     <path d="M 313.636872 501.032 
@@ -1117,7 +1117,7 @@ L 339.764197 501.032
 L 339.764197 293.800782 
 L 313.636872 293.800782 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#h933a162d1d); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_10">
     <path d="M 451.149113 501.032 
@@ -1125,12 +1125,12 @@ L 477.276439 501.032
 L 477.276439 303.992481 
 L 451.149113 303.992481 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#h933a162d1d); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_11">
     <path d="M 0 0 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#h933a162d1d); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_12">
     <path d="M 726.173596 501.032 
@@ -1138,7 +1138,7 @@ L 752.300922 501.032
 L 752.300922 232.650586 
 L 726.173596 232.650586 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#h933a162d1d); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_13">
     <path d="M 203.627078 501.032 
@@ -1146,7 +1146,7 @@ L 229.754404 501.032
 L 229.754404 256.431218 
 L 203.627078 256.431218 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_14">
     <path d="M 341.13932 501.032 
@@ -1154,7 +1154,7 @@ L 367.266646 501.032
 L 367.266646 270.02015 
 L 341.13932 270.02015 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_15">
     <path d="M 478.651561 501.032 
@@ -1162,7 +1162,7 @@ L 504.778887 501.032
 L 504.778887 256.431218 
 L 478.651561 256.431218 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_16">
     <path d="M 616.163803 501.032 
@@ -1170,7 +1170,7 @@ L 642.291128 501.032
 L 642.291128 191.883789 
 L 616.163803 191.883789 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_17">
     <path d="M 753.676044 501.032 
@@ -1178,12 +1178,12 @@ L 779.80337 501.032
 L 779.80337 195.281023 
 L 753.676044 195.281023 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_18">
     <path d="M 0 0 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#hee5da66861); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_19">
     <path d="M 368.641768 501.032 
@@ -1191,7 +1191,7 @@ L 394.769094 501.032
 L 394.769094 310.786947 
 L 368.641768 310.786947 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#hee5da66861); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_20">
     <path d="M 506.154009 501.032 
@@ -1199,12 +1199,12 @@ L 532.281335 501.032
 L 532.281335 316.191636 
 L 506.154009 316.191636 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#hee5da66861); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_21">
     <path d="M 0 0 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#hee5da66861); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_22">
     <path d="M 781.178492 501.032 
@@ -1212,7 +1212,7 @@ L 807.305818 501.032
 L 807.305818 239.445053 
 L 781.178492 239.445053 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#hee5da66861); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_23">
     <path d="M 115.688 501.032 
@@ -1449,7 +1449,7 @@ L 174.749508 501.032
 L 174.749508 439.881805 
 L 148.622182 439.881805 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_28">
     <path d="M 286.134423 501.032 
@@ -1457,7 +1457,7 @@ L 312.261749 501.032
 L 312.261749 426.292872 
 L 286.134423 426.292872 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_29">
     <path d="M 423.646665 501.032 
@@ -1465,7 +1465,7 @@ L 449.773991 501.032
 L 449.773991 419.498406 
 L 423.646665 419.498406 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_30">
     <path d="M 561.158906 501.032 
@@ -1473,7 +1473,7 @@ L 587.286232 501.032
 L 587.286232 270.02015 
 L 561.158906 270.02015 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_31">
     <path d="M 698.671147 501.032 
@@ -1481,12 +1481,12 @@ L 724.798473 501.032
 L 724.798473 273.417383 
 L 698.671147 273.417383 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_32">
     <path d="M 0 0 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#h933a162d1d); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_33">
     <path d="M 313.636872 501.032 
@@ -1494,7 +1494,7 @@ L 339.764197 501.032
 L 339.764197 361.745444 
 L 313.636872 361.745444 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#h933a162d1d); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_34">
     <path d="M 451.149113 501.032 
@@ -1502,12 +1502,12 @@ L 477.276439 501.032
 L 477.276439 368.53991 
 L 451.149113 368.53991 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#h933a162d1d); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_35">
     <path d="M 0 0 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#h933a162d1d); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_36">
     <path d="M 726.173596 501.032 
@@ -1515,7 +1515,7 @@ L 752.300922 501.032
 L 752.300922 307.389714 
 L 726.173596 307.389714 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#h933a162d1d); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_37">
     <path d="M 203.627078 501.032 
@@ -1523,7 +1523,7 @@ L 229.754404 501.032
 L 229.754404 293.800782 
 L 203.627078 293.800782 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_38">
     <path d="M 341.13932 501.032 
@@ -1531,7 +1531,7 @@ L 367.266646 501.032
 L 367.266646 324.37588 
 L 341.13932 324.37588 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_39">
     <path d="M 478.651561 501.032 
@@ -1539,7 +1539,7 @@ L 504.778887 501.032
 L 504.778887 320.978647 
 L 478.651561 320.978647 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_40">
     <path d="M 616.163803 501.032 
@@ -1547,7 +1547,7 @@ L 642.291128 501.032
 L 642.291128 263.225684 
 L 616.163803 263.225684 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_41">
     <path d="M 753.676044 501.032 
@@ -1555,12 +1555,12 @@ L 779.80337 501.032
 L 779.80337 246.239519 
 L 753.676044 246.239519 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_42">
     <path d="M 0 0 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#hee5da66861); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_43">
     <path d="M 368.641768 501.032 
@@ -1568,7 +1568,7 @@ L 394.769094 501.032
 L 394.769094 334.567579 
 L 368.641768 334.567579 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#hee5da66861); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_44">
     <path d="M 506.154009 501.032 
@@ -1576,12 +1576,12 @@ L 532.281335 501.032
 L 532.281335 346.998364 
 L 506.154009 346.998364 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#hee5da66861); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_45">
     <path d="M 0 0 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#hee5da66861); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_46">
     <path d="M 781.178492 501.032 
@@ -1589,20 +1589,20 @@ L 807.305818 501.032
 L 807.305818 361.745444 
 L 781.178492 361.745444 
 z
-" clip-path="url(#pf511fcd1c4)" style="fill: url(#hee5da66861); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" clip-path="url(#p308f8803cd)" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
    </g>
    <g id="patch_47">
-    <path d="M 470.965384 125.556916 
-Q 475.867334 217.919446 557.819652 268.955654 
+    <path d="M 500.698183 120.000713 
+Q 490.296496 206.941169 558.157407 268.509446 
 " style="fill: none; stroke: #000000; stroke-linecap: round"/>
-    <path d="M 552.675702 260.568772 
-L 557.819652 268.955654 
-L 548.023777 268.038685 
+    <path d="M 554.596548 259.337735 
+L 558.157407 268.509446 
+L 548.683523 265.855106 
 " style="fill: none; stroke: #000000; stroke-linecap: round"/>
    </g>
    <g id="text_29">
     <!-- First coding -->
-    <g transform="translate(414.239013 93.169425) scale(0.22 -0.22)">
+    <g transform="translate(448.617073 87.624725) scale(0.22 -0.22)">
      <defs>
       <path id="Helvetica-46" d="M 547 4591 
 L 3731 4591 
@@ -1658,7 +1658,7 @@ z
      <use xlink:href="#Helvetica-67" x="461.230469"/>
     </g>
     <!-- attempt -->
-    <g transform="translate(434.406825 116.9748) scale(0.22 -0.22)">
+    <g transform="translate(468.784886 111.4301) scale(0.22 -0.22)">
      <defs>
       <path id="Helvetica-6d" d="M 413 3347 
 L 969 3347 
@@ -1701,17 +1701,17 @@ z
     </g>
    </g>
    <g id="patch_48">
-    <path d="M 662.192361 124.336662 
-Q 618.311487 144.449802 589.601422 191.123856 
+    <path d="M 662.202756 121.875047 
+Q 617.847299 143.015761 589.549033 191.093287 
 " style="fill: none; stroke: #000000; stroke-linecap: round"/>
-    <path d="M 597.959774 185.933676 
-L 589.601422 191.123856 
-L 590.46429 181.323067 
+    <path d="M 597.804757 185.741369 
+L 589.549033 191.093287 
+L 590.220933 181.277557 
 " style="fill: none; stroke: #000000; stroke-linecap: round"/>
    </g>
    <g id="text_30">
     <!-- Second attempt, -->
-    <g transform="translate(666.013965 91.9694) scale(0.22 -0.22)">
+    <g transform="translate(666.013965 88.00285) scale(0.22 -0.22)">
      <defs>
       <path id="Helvetica-53" d="M 894 1481 
 Q 916 1091 1078 847 
@@ -1779,7 +1779,7 @@ z
      <use xlink:href="#Helvetica-2c" x="700.439453"/>
     </g>
     <!-- after seeing -->
-    <g transform="translate(688.636152 115.761025) scale(0.22 -0.22)">
+    <g transform="translate(688.636152 111.794475) scale(0.22 -0.22)">
      <use xlink:href="#Helvetica-61"/>
      <use xlink:href="#Helvetica-66" x="55.615234"/>
      <use xlink:href="#Helvetica-74" x="83.398438"/>
@@ -1794,7 +1794,7 @@ z
      <use xlink:href="#Helvetica-67" x="466.943359"/>
     </g>
     <!-- unit test errors -->
-    <g transform="translate(675.815996 139.5664) scale(0.22 -0.22)">
+    <g transform="translate(675.815996 135.59985) scale(0.22 -0.22)">
      <use xlink:href="#Helvetica-75"/>
      <use xlink:href="#Helvetica-6e" x="55.615234"/>
      <use xlink:href="#Helvetica-69" x="111.230469"/>
@@ -1971,7 +1971,7 @@ L 179.488 147.515937
 L 179.488 132.115937 
 L 135.488 132.115937 
 z
-" style="fill: url(#h933a162d1d); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" style="fill: url(#hf30f3228df); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
     </g>
     <g id="text_34">
      <!-- diff-func -->
@@ -2011,7 +2011,7 @@ L 179.488 210.250312
 L 179.488 194.850312 
 L 135.488 194.850312 
 z
-" style="fill: url(#hee5da66861); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
+" style="fill: url(#h9e3b66ff54); stroke: #ffffff; stroke-width: 3; stroke-linejoin: miter"/>
     </g>
     <g id="text_36">
      <!-- whole-func -->
@@ -2032,12 +2032,12 @@ z
   </g>
  </g>
  <defs>
-  <clipPath id="pf511fcd1c4">
+  <clipPath id="p308f8803cd">
    <rect x="115.688" y="49.2" width="724.552" height="451.832"/>
   </clipPath>
  </defs>
  <defs>
-  <pattern id="h933a162d1d" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
+  <pattern id="hf30f3228df" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
    <rect x="0" y="0" width="73" height="73" fill="#b3e6a8"/>
    <path d="M 0 68 
 L -1.175571 70.381966 
@@ -2547,7 +2547,7 @@ L 73.175571 -1.618034
 L 72 -4 
 " style="fill: #ffffff; stroke: #ffffff; stroke-width: 0.5; stroke-linecap: butt; stroke-linejoin: miter"/>
   </pattern>
-  <pattern id="hee5da66861" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
+  <pattern id="h9e3b66ff54" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
    <rect x="0" y="0" width="73" height="73" fill="#b3d1e6"/>
    <path d="M 0 68 
 L -1.175571 70.381966 
diff --git a/benchmark/benchmark.py b/benchmark/benchmark.py
index f840c3230..5d58362df 100755
--- a/benchmark/benchmark.py
+++ b/benchmark/benchmark.py
@@ -140,18 +140,21 @@ def show_stats(dirnames):
     ax.set_xticks([p + 1.5 * width for p in pos])
     ax.set_xticklabels(models)
 
+    top = 95
     ax.annotate(
         "First coding\nattempt",
         xy=(2.9, 51),
-        xytext=(2.25, 85),
+        xytext=(2.5, top),
         horizontalalignment="center",
+        verticalalignment="top",
         arrowprops={"arrowstyle": "->", "connectionstyle": "arc3,rad=0.3"},
     )
     ax.annotate(
         "Second attempt,\nafter seeing\nunit test errors",
         xy=(3.1, 68),
-        xytext=(4.25, 80),
+        xytext=(4.25, top),
         horizontalalignment="center",
+        verticalalignment="top",
         arrowprops={"arrowstyle": "->", "connectionstyle": "arc3,rad=0.3"},
     )