From 5e4ad5bf00bb5c526f69d63746ba48a29f541fe6 Mon Sep 17 00:00:00 2001
From: Paul Gauthier <aider@paulg.org>
Date: Sun, 2 Jul 2023 10:28:39 -0700
Subject: [PATCH] new svg

---
 assets/benchmarks.svg  | 190 ++++++++++++++++++++++++++---------------
 benchmark/benchmark.py |   2 +-
 2 files changed, 120 insertions(+), 72 deletions(-)

diff --git a/assets/benchmarks.svg b/assets/benchmarks.svg
index 8f88726ee..73ff19e00 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-02T10:26:03.603777</dc:date>
+    <dc:date>2023-07-02T10:28:26.610407</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="m21a131d170" d="M 0 0 
+       <path id="mcf7e9e7c60" d="M 0 0 
 L 0 3.5 
 " style="stroke: #000000; stroke-width: 0.8"/>
       </defs>
       <g>
-       <use xlink:href="#m21a131d170" x="102.273571" y="250.04" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#mcf7e9e7c60" x="102.273571" y="250.04" 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="#m21a131d170" x="171.089285" y="250.04" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#mcf7e9e7c60" x="171.089285" y="250.04" 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="#m21a131d170" x="239.905" y="250.04" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#mcf7e9e7c60" x="239.905" y="250.04" 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="#m21a131d170" x="308.720715" y="250.04" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#mcf7e9e7c60" x="308.720715" y="250.04" 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="#m21a131d170" x="377.536429" y="250.04" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#mcf7e9e7c60" x="377.536429" y="250.04" 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 58.61 250.04 
 L 421.2 250.04 
-" clip-path="url(#p1524463ec4)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#p6bb381003d)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_7">
       <defs>
-       <path id="m53c537a239" d="M 0 0 
+       <path id="m67622051f7" d="M 0 0 
 L -3.5 0 
 " style="stroke: #000000; stroke-width: 0.8"/>
       </defs>
       <g>
-       <use xlink:href="#m53c537a239" x="58.61" y="250.04" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m67622051f7" x="58.61" y="250.04" 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 58.61 205.170625 
 L 421.2 205.170625 
-" clip-path="url(#p1524463ec4)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#p6bb381003d)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_9">
       <g>
-       <use xlink:href="#m53c537a239" x="58.61" y="205.170625" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m67622051f7" x="58.61" y="205.170625" 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 58.61 160.30125 
 L 421.2 160.30125 
-" clip-path="url(#p1524463ec4)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#p6bb381003d)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_11">
       <g>
-       <use xlink:href="#m53c537a239" x="58.61" y="160.30125" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m67622051f7" x="58.61" y="160.30125" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_8">
@@ -638,11 +638,11 @@ L 421.2 160.30125
      <g id="line2d_12">
       <path d="M 58.61 115.431875 
 L 421.2 115.431875 
-" clip-path="url(#p1524463ec4)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#p6bb381003d)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_13">
       <g>
-       <use xlink:href="#m53c537a239" x="58.61" y="115.431875" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m67622051f7" x="58.61" y="115.431875" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_9">
@@ -657,11 +657,11 @@ L 421.2 115.431875
      <g id="line2d_14">
       <path d="M 58.61 70.5625 
 L 421.2 70.5625 
-" clip-path="url(#p1524463ec4)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#p6bb381003d)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_15">
       <g>
-       <use xlink:href="#m53c537a239" x="58.61" y="70.5625" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m67622051f7" x="58.61" y="70.5625" 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 58.61 25.693125 
 L 421.2 25.693125 
-" clip-path="url(#p1524463ec4)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
+" clip-path="url(#p6bb381003d)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/>
      </g>
      <g id="line2d_17">
       <g>
-       <use xlink:href="#m53c537a239" x="58.61" y="25.693125" style="stroke: #000000; stroke-width: 0.8"/>
+       <use xlink:href="#m67622051f7" x="58.61" y="25.693125" style="stroke: #000000; stroke-width: 0.8"/>
       </g>
      </g>
      <g id="text_11">
@@ -1072,7 +1072,7 @@ L 88.166349 250.04
 L 88.166349 182.567256 
 L 75.091364 182.567256 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_4">
     <path d="M 143.907078 250.04 
@@ -1080,7 +1080,7 @@ L 156.982064 250.04
 L 156.982064 209.556353 
 L 143.907078 209.556353 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_5">
     <path d="M 212.722793 250.04 
@@ -1088,7 +1088,7 @@ L 225.797779 250.04
 L 225.797779 206.182716 
 L 212.722793 206.182716 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_6">
     <path d="M 281.538507 250.04 
@@ -1096,7 +1096,7 @@ L 294.613493 250.04
 L 294.613493 96.539507 
 L 281.538507 96.539507 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_7">
     <path d="M 350.354222 250.04 
@@ -1104,12 +1104,12 @@ L 363.429208 250.04
 L 363.429208 104.9736 
 L 350.354222 104.9736 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_8">
     <path d="M 0 0 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#ha2153f56ba); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#h863cbcb365); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_9">
     <path d="M 157.670221 250.04 
@@ -1117,7 +1117,7 @@ L 170.745207 250.04
 L 170.745207 147.144065 
 L 157.670221 147.144065 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#ha2153f56ba); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#h863cbcb365); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_10">
     <path d="M 226.485936 250.04 
@@ -1125,12 +1125,12 @@ L 239.560921 250.04
 L 239.560921 152.204521 
 L 226.485936 152.204521 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#ha2153f56ba); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#h863cbcb365); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_11">
     <path d="M 0 0 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#ha2153f56ba); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#h863cbcb365); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_12">
     <path d="M 364.117365 250.04 
@@ -1138,7 +1138,7 @@ L 377.192351 250.04
 L 377.192351 116.78133 
 L 364.117365 116.78133 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#ha2153f56ba); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#h863cbcb365); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_13">
     <path d="M 102.617649 250.04 
@@ -1146,7 +1146,7 @@ L 115.692635 250.04
 L 115.692635 128.58906 
 L 102.617649 128.58906 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_14">
     <path d="M 171.433364 250.04 
@@ -1154,7 +1154,7 @@ L 184.50835 250.04
 L 184.50835 130.950606 
 L 171.433364 130.950606 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_15">
     <path d="M 240.249079 250.04 
@@ -1162,7 +1162,7 @@ L 253.324064 250.04
 L 253.324064 128.58906 
 L 240.249079 128.58906 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_16">
     <path d="M 309.064793 250.04 
@@ -1170,7 +1170,7 @@ L 322.139779 250.04
 L 322.139779 96.539507 
 L 309.064793 96.539507 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_17">
     <path d="M 377.880508 250.04 
@@ -1178,12 +1178,12 @@ L 390.955493 250.04
 L 390.955493 98.226325 
 L 377.880508 98.226325 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_18">
     <path d="M 0 0 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#hf84519ceb2); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#hba9264aac1); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_19">
     <path d="M 185.196507 250.04 
@@ -1191,7 +1191,7 @@ L 198.271493 250.04
 L 198.271493 155.578158 
 L 185.196507 155.578158 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#hf84519ceb2); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#hba9264aac1); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_20">
     <path d="M 254.012221 250.04 
@@ -1199,12 +1199,12 @@ L 267.087207 250.04
 L 267.087207 158.261733 
 L 254.012221 158.261733 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#hf84519ceb2); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#hba9264aac1); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_21">
     <path d="M 0 0 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#hf84519ceb2); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#hba9264aac1); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_22">
     <path d="M 391.643651 250.04 
@@ -1212,7 +1212,7 @@ L 404.718636 250.04
 L 404.718636 120.154967 
 L 391.643651 120.154967 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#hf84519ceb2); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#hba9264aac1); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_23">
     <path d="M 58.61 250.04 
@@ -1449,7 +1449,7 @@ L 88.166349 250.04
 L 88.166349 219.677265 
 L 75.091364 219.677265 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_28">
     <path d="M 143.907078 250.04 
@@ -1457,7 +1457,7 @@ L 156.982064 250.04
 L 156.982064 212.929991 
 L 143.907078 212.929991 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_29">
     <path d="M 212.722793 250.04 
@@ -1465,7 +1465,7 @@ L 225.797779 250.04
 L 225.797779 209.556353 
 L 212.722793 209.556353 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_30">
     <path d="M 281.538507 250.04 
@@ -1473,7 +1473,7 @@ L 294.613493 250.04
 L 294.613493 135.336335 
 L 281.538507 135.336335 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_31">
     <path d="M 350.354222 250.04 
@@ -1481,12 +1481,12 @@ L 363.429208 250.04
 L 363.429208 137.023153 
 L 350.354222 137.023153 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3e6a8; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_32">
     <path d="M 0 0 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#ha2153f56ba); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#h863cbcb365); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_33">
     <path d="M 157.670221 250.04 
@@ -1494,7 +1494,7 @@ L 170.745207 250.04
 L 170.745207 180.880437 
 L 157.670221 180.880437 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#ha2153f56ba); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#h863cbcb365); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_34">
     <path d="M 226.485936 250.04 
@@ -1502,12 +1502,12 @@ L 239.560921 250.04
 L 239.560921 184.254074 
 L 226.485936 184.254074 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#ha2153f56ba); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#h863cbcb365); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_35">
     <path d="M 0 0 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#ha2153f56ba); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#h863cbcb365); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_36">
     <path d="M 364.117365 250.04 
@@ -1515,7 +1515,7 @@ L 377.192351 250.04
 L 377.192351 153.891339 
 L 364.117365 153.891339 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#ha2153f56ba); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#h863cbcb365); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_37">
     <path d="M 102.617649 250.04 
@@ -1523,7 +1523,7 @@ L 115.692635 250.04
 L 115.692635 147.144065 
 L 102.617649 147.144065 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_38">
     <path d="M 171.433364 250.04 
@@ -1531,7 +1531,7 @@ L 184.50835 250.04
 L 184.50835 162.325432 
 L 171.433364 162.325432 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_39">
     <path d="M 240.249079 250.04 
@@ -1539,7 +1539,7 @@ L 253.324064 250.04
 L 253.324064 160.638614 
 L 240.249079 160.638614 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_40">
     <path d="M 309.064793 250.04 
@@ -1547,7 +1547,7 @@ L 322.139779 250.04
 L 322.139779 131.962697 
 L 309.064793 131.962697 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_41">
     <path d="M 377.880508 250.04 
@@ -1555,12 +1555,12 @@ L 390.955493 250.04
 L 390.955493 123.528604 
 L 377.880508 123.528604 
 z
-" clip-path="url(#p1524463ec4)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: #b3d1e6; stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_42">
     <path d="M 0 0 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#hf84519ceb2); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#hba9264aac1); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_43">
     <path d="M 185.196507 250.04 
@@ -1568,7 +1568,7 @@ L 198.271493 250.04
 L 198.271493 167.385888 
 L 185.196507 167.385888 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#hf84519ceb2); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#hba9264aac1); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_44">
     <path d="M 254.012221 250.04 
@@ -1576,12 +1576,12 @@ L 267.087207 250.04
 L 267.087207 173.558111 
 L 254.012221 173.558111 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#hf84519ceb2); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#hba9264aac1); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_45">
     <path d="M 0 0 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#hf84519ceb2); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#hba9264aac1); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_46">
     <path d="M 391.643651 250.04 
@@ -1589,7 +1589,7 @@ L 404.718636 250.04
 L 404.718636 180.880437 
 L 391.643651 180.880437 
 z
-" clip-path="url(#p1524463ec4)" style="fill: url(#hf84519ceb2); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" clip-path="url(#p6bb381003d)" style="fill: url(#hba9264aac1); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
    </g>
    <g id="patch_47">
     <path d="M 251.16788 71.55128 
@@ -1935,21 +1935,21 @@ z
    <g id="LineCollection_1">
     <path d="M 177.970857 135.336335 
 L 177.970857 128.58906 
-" clip-path="url(#p1524463ec4)" style="fill: none; stroke: #1f77b4; stroke-width: 1.5"/>
+" clip-path="url(#p6bb381003d)" style="fill: none; stroke: #1f77b4; stroke-width: 1.5"/>
    </g>
    <g id="line2d_18">
     <defs>
-     <path id="mdf41c329cb" d="M 5 0 
+     <path id="mfce3003c19" d="M 5 0 
 L -5 -0 
 " style="stroke: #1f77b4"/>
     </defs>
-    <g clip-path="url(#p1524463ec4)">
-     <use xlink:href="#mdf41c329cb" x="177.970857" y="135.336335" style="fill: #1f77b4; stroke: #1f77b4"/>
+    <g clip-path="url(#p6bb381003d)">
+     <use xlink:href="#mfce3003c19" x="177.970857" y="135.336335" style="fill: #1f77b4; stroke: #1f77b4"/>
     </g>
    </g>
    <g id="line2d_19">
-    <g clip-path="url(#p1524463ec4)">
-     <use xlink:href="#mdf41c329cb" x="177.970857" y="128.58906" style="fill: #1f77b4; stroke: #1f77b4"/>
+    <g clip-path="url(#p6bb381003d)">
+     <use xlink:href="#mfce3003c19" x="177.970857" y="128.58906" style="fill: #1f77b4; stroke: #1f77b4"/>
     </g>
    </g>
    <g id="legend_1">
@@ -2005,7 +2005,7 @@ L 87.61 70.382187
 L 87.61 63.382187 
 L 67.61 63.382187 
 z
-" style="fill: url(#ha2153f56ba); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" style="fill: url(#h863cbcb365); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
     </g>
     <g id="text_34">
      <!-- diff-func -->
@@ -2045,7 +2045,7 @@ L 87.61 98.897812
 L 87.61 91.897812 
 L 67.61 91.897812 
 z
-" style="fill: url(#hf84519ceb2); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
+" style="fill: url(#hba9264aac1); stroke: #ffffff; stroke-width: 1.5; stroke-linejoin: miter"/>
     </g>
     <g id="text_36">
      <!-- whole-func -->
@@ -2066,67 +2066,115 @@ z
   </g>
  </g>
  <defs>
-  <clipPath id="p1524463ec4">
+  <clipPath id="p6bb381003d">
    <rect x="58.61" y="25.693125" width="362.59" height="224.346875"/>
   </clipPath>
  </defs>
  <defs>
-  <pattern id="ha2153f56ba" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
+  <pattern id="h863cbcb365" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
    <rect x="0" y="0" width="73" height="73" fill="#b3e6a8"/>
    <path d="M -36 36 
 L 36 -36 
+M -33 39 
+L 39 -33 
 M -30 42 
 L 42 -30 
+M -27 45 
+L 45 -27 
 M -24 48 
 L 48 -24 
+M -21 51 
+L 51 -21 
 M -18 54 
 L 54 -18 
+M -15 57 
+L 57 -15 
 M -12 60 
 L 60 -12 
+M -9 63 
+L 63 -9 
 M -6 66 
 L 66 -6 
+M -3 69 
+L 69 -3 
 M 0 72 
 L 72 0 
+M 3 75 
+L 75 3 
 M 6 78 
 L 78 6 
+M 9 81 
+L 81 9 
 M 12 84 
 L 84 12 
+M 15 87 
+L 87 15 
 M 18 90 
 L 90 18 
+M 21 93 
+L 93 21 
 M 24 96 
 L 96 24 
+M 27 99 
+L 99 27 
 M 30 102 
 L 102 30 
+M 33 105 
+L 105 33 
 M 36 108 
 L 108 36 
 " style="fill: #ffffff; stroke: #ffffff; stroke-width: 0.5; stroke-linecap: butt; stroke-linejoin: miter"/>
   </pattern>
-  <pattern id="hf84519ceb2" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
+  <pattern id="hba9264aac1" patternUnits="userSpaceOnUse" x="0" y="0" width="72" height="72">
    <rect x="0" y="0" width="73" height="73" fill="#b3d1e6"/>
    <path d="M -36 36 
 L 36 -36 
+M -33 39 
+L 39 -33 
 M -30 42 
 L 42 -30 
+M -27 45 
+L 45 -27 
 M -24 48 
 L 48 -24 
+M -21 51 
+L 51 -21 
 M -18 54 
 L 54 -18 
+M -15 57 
+L 57 -15 
 M -12 60 
 L 60 -12 
+M -9 63 
+L 63 -9 
 M -6 66 
 L 66 -6 
+M -3 69 
+L 69 -3 
 M 0 72 
 L 72 0 
+M 3 75 
+L 75 3 
 M 6 78 
 L 78 6 
+M 9 81 
+L 81 9 
 M 12 84 
 L 84 12 
+M 15 87 
+L 87 15 
 M 18 90 
 L 90 18 
+M 21 93 
+L 93 21 
 M 24 96 
 L 96 24 
+M 27 99 
+L 99 27 
 M 30 102 
 L 102 30 
+M 33 105 
+L 105 33 
 M 36 108 
 L 108 36 
 " style="fill: #ffffff; stroke: #ffffff; stroke-width: 0.5; stroke-linecap: butt; stroke-linejoin: miter"/>
diff --git a/benchmark/benchmark.py b/benchmark/benchmark.py
index 06f0eebf0..d67ab05ab 100755
--- a/benchmark/benchmark.py
+++ b/benchmark/benchmark.py
@@ -143,7 +143,7 @@ def show_stats(dirnames):
                 edge["label"] = fmt
 
             color = "#b3e6a8" if "diff" in fmt else "#b3d1e6"
-            hatch = "//" if "func" in fmt else ""
+            hatch = "////" if "func" in fmt else ""
             rects = ax.bar(
                 pos + i * width,
                 df[fmt],