{
  "generated_at": "2026-07-18T08:43:13.580544Z",
  "commit": "225ad44d2379ac0c5b4a484fec43a1f5c2f6ed06",
  "commit_short": "225ad44d",
  "subject": "add a comment",
  "branch": "perf-shared-trie-nodes",
  "min_bench_seconds": 0.05,
  "run_timeout_seconds": 120,
  "configs": [
    {
      "key": "standard",
      "label": "Standard",
      "threads": 1,
      "proof": false
    },
    {
      "key": "threads2",
      "label": "2 threads",
      "threads": 2,
      "proof": false
    },
    {
      "key": "threads4",
      "label": "4 threads",
      "threads": 4,
      "proof": false
    },
    {
      "key": "threads8",
      "label": "8 threads",
      "threads": 8,
      "proof": false
    },
    {
      "key": "proof",
      "label": "Proof",
      "threads": 1,
      "proof": true
    }
  ],
  "rows": [
    {
      "name": "gemma4_moe.egg",
      "cells": {
        "standard": {
          "mean": 23.5887799005,
          "stddev": 0.032299558246373865,
          "min": 23.5563919635,
          "max": 23.6209903485,
          "runs": 3
        },
        "threads2": {
          "mean": 17.149556977593335,
          "stddev": 0.1106675891645892,
          "min": 17.02470054426,
          "max": 17.235553575260003,
          "runs": 3
        },
        "threads4": {
          "mean": 11.290935863246666,
          "stddev": 0.15664463266993192,
          "min": 11.15458491958,
          "max": 11.462037794579999,
          "runs": 3
        },
        "threads8": {
          "mean": 10.718602588073333,
          "stddev": 0.04858702375713648,
          "min": 10.66254640074,
          "max": 10.74862486674,
          "runs": 3
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "gemma.egg",
      "cells": {
        "standard": {
          "mean": 6.419500085466667,
          "stddev": 0.02426182329258149,
          "min": 6.3985721818000005,
          "max": 6.4460933028000005,
          "runs": 3
        },
        "threads2": {
          "mean": 4.8534004818,
          "stddev": 0.05591738711610983,
          "min": 4.788614525,
          "max": 4.923588928,
          "runs": 5
        },
        "threads4": {
          "mean": 3.28304230792,
          "stddev": 0.03074396229753434,
          "min": 3.2486203701200003,
          "max": 3.31621086912,
          "runs": 5
        },
        "threads8": {
          "mean": 3.1805096369399997,
          "stddev": 0.02120782300100765,
          "min": 3.1491881343399997,
          "max": 3.20698497634,
          "runs": 5
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "paged_llama.egg",
      "cells": {
        "standard": {
          "mean": 2.21888985408,
          "stddev": 0.012316353865651403,
          "min": 2.20217158408,
          "max": 2.23133046408,
          "runs": 5
        },
        "threads2": {
          "mean": 2.2616054002799997,
          "stddev": 0.03942378041733519,
          "min": 2.23335890368,
          "max": 2.3306708446799997,
          "runs": 5
        },
        "threads4": {
          "mean": 2.2299928453200004,
          "stddev": 0.005548874563089135,
          "min": 2.22413841432,
          "max": 2.2390808473200003,
          "runs": 5
        },
        "threads8": {
          "mean": 2.2782837946800005,
          "stddev": 0.014434962270858049,
          "min": 2.2617098872800003,
          "max": 2.30047377828,
          "runs": 5
        },
        "proof": {
          "mean": 31.563235010459994,
          "stddev": 0.19487557786020937,
          "min": 31.34182926546,
          "max": 31.708738930459997,
          "runs": 3
        }
      }
    },
    {
      "name": "whisper.egg",
      "cells": {
        "standard": {
          "mean": 1.8217006542514285,
          "stddev": 0.007702660068703961,
          "min": 1.8103797486800002,
          "max": 1.83063180868,
          "runs": 7
        },
        "threads2": {
          "mean": 1.710910575877143,
          "stddev": 0.026106864598436162,
          "min": 1.6699809520200002,
          "max": 1.7367427710200003,
          "runs": 7
        },
        "threads4": {
          "mean": 1.263624169557143,
          "stddev": 0.019031175308064297,
          "min": 1.2348845157000001,
          "max": 1.2912778687000002,
          "runs": 7
        },
        "threads8": {
          "mean": 1.2237152854000002,
          "stddev": 0.020256591419122654,
          "min": 1.2070265564,
          "max": 1.2602663824,
          "runs": 7
        },
        "proof": {
          "mean": 42.40047357775334,
          "stddev": 0.3242639638512766,
          "min": 42.06885546942,
          "max": 42.71684554542,
          "runs": 3
        }
      }
    },
    {
      "name": "eggcc-2mm.egg",
      "cells": {
        "standard": {
          "mean": 1.5060071520657146,
          "stddev": 0.009902840086730409,
          "min": 1.48940604678,
          "max": 1.51882819278,
          "runs": 7
        },
        "threads2": {
          "mean": 1.927058722842857,
          "stddev": 0.009002099170745922,
          "min": 1.9148600857,
          "max": 1.9388804737,
          "runs": 7
        },
        "threads4": {
          "mean": 1.6036975778914286,
          "stddev": 0.018074001400666534,
          "min": 1.58293045632,
          "max": 1.63315331232,
          "runs": 7
        },
        "threads8": {
          "mean": 1.7191879679828577,
          "stddev": 0.007273128898179661,
          "min": 1.70727537484,
          "max": 1.73040997784,
          "runs": 7
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "taylor51.egg",
      "cells": {
        "standard": {
          "mean": 1.3118525003571426,
          "stddev": 0.008994150853511367,
          "min": 1.3010872185,
          "max": 1.3251034625,
          "runs": 7
        },
        "threads2": {
          "mean": 1.312317742868571,
          "stddev": 0.01052471967817259,
          "min": 1.30308751844,
          "max": 1.3334862594399999,
          "runs": 7
        },
        "threads4": {
          "mean": 1.3109026457257145,
          "stddev": 0.0044190206009410635,
          "min": 1.30607592844,
          "max": 1.31706331944,
          "runs": 7
        },
        "threads8": {
          "mean": 1.3173140679771431,
          "stddev": 0.006876582247726921,
          "min": 1.3080605811200001,
          "max": 1.33033826612,
          "runs": 7
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "qwen3_moe.egg",
      "cells": {
        "standard": {
          "mean": 0.8619401256114286,
          "stddev": 0.005556811485191872,
          "min": 0.8579069600400001,
          "max": 0.8708561600400001,
          "runs": 7
        },
        "threads2": {
          "mean": 1.0200381577,
          "stddev": 0.016364423606083395,
          "min": 1.0046285277,
          "max": 1.0445857187,
          "runs": 7
        },
        "threads4": {
          "mean": 0.82426053866,
          "stddev": 0.012613690788128434,
          "min": 0.81382593066,
          "max": 0.84311184666,
          "runs": 7
        },
        "threads8": {
          "mean": 0.8184696143685716,
          "stddev": 0.00432047691640493,
          "min": 0.8110146929400001,
          "max": 0.82315291494,
          "runs": 7
        },
        "proof": {
          "mean": 85.78179931342,
          "stddev": 0.43982988009345836,
          "min": 85.47671223942001,
          "max": 86.28597011242,
          "runs": 3
        }
      }
    },
    {
      "name": "qwen.egg",
      "cells": {
        "standard": {
          "mean": 0.6577326483228572,
          "stddev": 0.004087296175961178,
          "min": 0.6510401771800001,
          "max": 0.6630243181800001,
          "runs": 7
        },
        "threads2": {
          "mean": 0.7380505716371429,
          "stddev": 0.005997045618643133,
          "min": 0.73023660978,
          "max": 0.7474220837800001,
          "runs": 7
        },
        "threads4": {
          "mean": 0.6749921706314287,
          "stddev": 0.011751895966932126,
          "min": 0.65964818406,
          "max": 0.69163266306,
          "runs": 7
        },
        "threads8": {
          "mean": 0.6732986806114287,
          "stddev": 0.0057086486636854505,
          "min": 0.66471944204,
          "max": 0.68112142604,
          "runs": 7
        },
        "proof": {
          "mean": 48.708292827473336,
          "stddev": 0.38231762107334,
          "min": 48.307526810140004,
          "max": 49.06900896714,
          "runs": 3
        }
      }
    },
    {
      "name": "extract-vec-bench.egg",
      "cells": {
        "standard": {
          "mean": 0.6299282925599999,
          "stddev": 0.010907865768814796,
          "min": 0.6211560485600001,
          "max": 0.65303821656,
          "runs": 7
        },
        "threads2": {
          "mean": 0.6355241472771429,
          "stddev": 0.007539188747194535,
          "min": 0.62526125442,
          "max": 0.64910858542,
          "runs": 7
        },
        "threads4": {
          "mean": 0.6292657523942857,
          "stddev": 0.0031870047234370215,
          "min": 0.62746394768,
          "max": 0.6364436356800001,
          "runs": 7
        },
        "threads8": {
          "mean": 0.6359993992514286,
          "stddev": 0.0052668229929361664,
          "min": 0.6276649226800001,
          "max": 0.6422963346800001,
          "runs": 7
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "math-microbenchmark.egg",
      "cells": {
        "standard": {
          "mean": 0.6120367168142858,
          "stddev": 0.009254656316323539,
          "min": 0.6038665731,
          "max": 0.6255049741,
          "runs": 7
        },
        "threads2": {
          "mean": 0.6337981045542858,
          "stddev": 0.005750472191164438,
          "min": 0.6283442838400001,
          "max": 0.64534302184,
          "runs": 7
        },
        "threads4": {
          "mean": 0.44809406778285715,
          "stddev": 0.008774188121686836,
          "min": 0.43336745164000007,
          "max": 0.46255737364000005,
          "runs": 7
        },
        "threads8": {
          "mean": 0.42429654684000007,
          "stddev": 0.00337980765595073,
          "min": 0.42016828924,
          "max": 0.43091412524,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "llama.egg",
      "cells": {
        "standard": {
          "mean": 0.5808742883942858,
          "stddev": 0.002852923745242638,
          "min": 0.57698042268,
          "max": 0.58360176168,
          "runs": 7
        },
        "threads2": {
          "mean": 0.6060418311514286,
          "stddev": 0.004821231013798027,
          "min": 0.59984150658,
          "max": 0.61186131258,
          "runs": 7
        },
        "threads4": {
          "mean": 0.60447276522,
          "stddev": 0.003884886275521378,
          "min": 0.5992985442200001,
          "max": 0.61156776822,
          "runs": 7
        },
        "threads8": {
          "mean": 0.6090087848200001,
          "stddev": 0.004633584224148072,
          "min": 0.60448772682,
          "max": 0.61705372282,
          "runs": 7
        },
        "proof": {
          "mean": 32.331566582713336,
          "stddev": 0.4326597914168973,
          "min": 31.95375101838,
          "max": 32.80355747038001,
          "runs": 3
        }
      }
    },
    {
      "name": "hardboiled_conv1d_128.egg",
      "cells": {
        "standard": {
          "mean": 0.41631481102,
          "stddev": 0.0036240419269297467,
          "min": 0.41240792372,
          "max": 0.42375033972000004,
          "runs": 10
        },
        "threads2": {
          "mean": 0.5254247616257143,
          "stddev": 0.007606913619405243,
          "min": 0.51926002634,
          "max": 0.5421585843400001,
          "runs": 7
        },
        "threads4": {
          "mean": 0.3846072351,
          "stddev": 0.011864580189283104,
          "min": 0.37634685430000003,
          "max": 0.41739415230000004,
          "runs": 10
        },
        "threads8": {
          "mean": 0.38752721566000004,
          "stddev": 0.008358085014527755,
          "min": 0.37731601656,
          "max": 0.39932836056000004,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "stresstest_large_expr.egg",
      "cells": {
        "standard": {
          "mean": 0.3802387742399999,
          "stddev": 0.00982154557106875,
          "min": 0.37074131874,
          "max": 0.40031045674,
          "runs": 10
        },
        "threads2": {
          "mean": 0.38596544614000006,
          "stddev": 0.01035683421277978,
          "min": 0.37751807024000006,
          "max": 0.40516302924,
          "runs": 10
        },
        "threads4": {
          "mean": 0.38493793436,
          "stddev": 0.007381572737514384,
          "min": 0.37893245906,
          "max": 0.40465449306,
          "runs": 10
        },
        "threads8": {
          "mean": 0.38732757392,
          "stddev": 0.0033441980726332567,
          "min": 0.38151269862000003,
          "max": 0.39225711362000004,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "eggcc-extraction.egg",
      "cells": {
        "standard": {
          "mean": 0.35464305982,
          "stddev": 0.0033348733057002207,
          "min": 0.34996351462,
          "max": 0.35968543662,
          "runs": 10
        },
        "threads2": {
          "mean": 0.37569499018,
          "stddev": 0.0020280681843816446,
          "min": 0.37243031838,
          "max": 0.37884190138,
          "runs": 10
        },
        "threads4": {
          "mean": 0.38410075258,
          "stddev": 0.0023890412362606605,
          "min": 0.38083562298,
          "max": 0.38876952198000003,
          "runs": 10
        },
        "threads8": {
          "mean": 0.3905935314,
          "stddev": 0.003276076703743879,
          "min": 0.38535051880000004,
          "max": 0.39497367880000006,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "python_array_optimize.egg",
      "cells": {
        "standard": {
          "mean": 0.33823492008,
          "stddev": 0.0033412689845017875,
          "min": 0.33376281558000004,
          "max": 0.34356193458,
          "runs": 10
        },
        "threads2": {
          "mean": 0.36302636981999997,
          "stddev": 0.002353315292382828,
          "min": 0.35848275682,
          "max": 0.36613788382,
          "runs": 10
        },
        "threads4": {
          "mean": 0.37255092212,
          "stddev": 0.004627403568240469,
          "min": 0.36278685982000003,
          "max": 0.37753752682,
          "runs": 10
        },
        "threads8": {
          "mean": 0.38916959437999993,
          "stddev": 0.0040922634981848454,
          "min": 0.38020533988,
          "max": 0.39364361588,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "rectangle.egg",
      "cells": {
        "standard": {
          "mean": 0.20308585085999997,
          "stddev": 0.001603135540304646,
          "min": 0.20056843076,
          "max": 0.20567881076,
          "runs": 10
        },
        "threads2": {
          "mean": 0.20910225446000003,
          "stddev": 0.0011260612558167367,
          "min": 0.20821364476,
          "max": 0.21196495876000002,
          "runs": 10
        },
        "threads4": {
          "mean": 0.21072066368,
          "stddev": 0.001129510076427362,
          "min": 0.20935734518000002,
          "max": 0.21312233618,
          "runs": 10
        },
        "threads8": {
          "mean": 0.22775514080000003,
          "stddev": 0.0027543930604732826,
          "min": 0.2234078092,
          "max": 0.2324948732,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "hardboiled_conv1d_32.egg",
      "cells": {
        "standard": {
          "mean": 0.16761227444000007,
          "stddev": 0.0011790458546127698,
          "min": 0.16521854074000003,
          "max": 0.16944905574000002,
          "runs": 10
        },
        "threads2": {
          "mean": 0.18032680971999998,
          "stddev": 0.0017990518035305323,
          "min": 0.17686846942,
          "max": 0.18341825442,
          "runs": 10
        },
        "threads4": {
          "mean": 0.18361953784,
          "stddev": 0.0013836370752947106,
          "min": 0.18203806994,
          "max": 0.18654506994,
          "runs": 10
        },
        "threads8": {
          "mean": 0.18757717680000002,
          "stddev": 0.0011047971838778435,
          "min": 0.1862710406,
          "max": 0.19017038860000002,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "luminal-llama.egg",
      "cells": {
        "standard": {
          "mean": 0.13723414562,
          "stddev": 0.0024557299765473207,
          "min": 0.13436157862,
          "max": 0.14077041462,
          "runs": 10
        },
        "threads2": {
          "mean": 0.14128596378000002,
          "stddev": 0.002477992318404977,
          "min": 0.13716575128000003,
          "max": 0.14519280228000003,
          "runs": 10
        },
        "threads4": {
          "mean": 0.14479598584000003,
          "stddev": 0.002940679219977318,
          "min": 0.14151076504000001,
          "max": 0.14912378304,
          "runs": 10
        },
        "threads8": {
          "mean": 0.15176026372,
          "stddev": 0.002164769422993246,
          "min": 0.14962090922,
          "max": 0.15649548622,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "header/luminal-header.egg",
      "cells": {
        "standard": {
          "mean": 0.07351183884,
          "stddev": 0.001019738073141683,
          "min": 0.07221254844,
          "max": 0.07501503444,
          "runs": 10
        },
        "threads2": {
          "mean": 0.07448610316000003,
          "stddev": 0.0006423705690353855,
          "min": 0.07317277836000001,
          "max": 0.07538086136000001,
          "runs": 10
        },
        "threads4": {
          "mean": 0.07401557072,
          "stddev": 0.0008464583122555372,
          "min": 0.07265534732,
          "max": 0.07562169432,
          "runs": 10
        },
        "threads8": {
          "mean": 0.07440434476000002,
          "stddev": 0.0008407056045409045,
          "min": 0.07338328316,
          "max": 0.07597631416,
          "runs": 10
        },
        "proof": {
          "mean": 0.5126652638628572,
          "stddev": 0.00346487183407074,
          "min": 0.50907701672,
          "max": 0.51909494172,
          "runs": 7
        }
      }
    },
    {
      "name": "web-demo/herbie.egg",
      "cells": {
        "standard": {
          "mean": 0.07266493468000002,
          "stddev": 0.0007666904204354933,
          "min": 0.07173195868,
          "max": 0.07366635468,
          "runs": 10
        },
        "threads2": {
          "mean": 0.07675369182,
          "stddev": 0.001451200134049229,
          "min": 0.07530955432,
          "max": 0.08036796032,
          "runs": 10
        },
        "threads4": {
          "mean": 0.07832203312000001,
          "stddev": 0.00033465541452571296,
          "min": 0.07795233352,
          "max": 0.07915582952,
          "runs": 10
        },
        "threads8": {
          "mean": 0.08192741952,
          "stddev": 0.0005191131849101061,
          "min": 0.08121565832,
          "max": 0.08269602532,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "web-demo/math.egg",
      "cells": {
        "standard": {
          "mean": 0.06248198476,
          "stddev": 0.000602329155077642,
          "min": 0.06145015286,
          "max": 0.06321600886,
          "runs": 10
        },
        "threads2": {
          "mean": 0.06601145944,
          "stddev": 0.0006122838882998717,
          "min": 0.06508475494,
          "max": 0.06694031194,
          "runs": 10
        },
        "threads4": {
          "mean": 0.06805428726000003,
          "stddev": 0.0006986658807123444,
          "min": 0.06684061926000001,
          "max": 0.06915918026000001,
          "runs": 10
        },
        "threads8": {
          "mean": 0.07274446739999998,
          "stddev": 0.001153119736944691,
          "min": 0.0713333499,
          "max": 0.0751923329,
          "runs": 10
        },
        "proof": {
          "mean": 14.52036975836,
          "stddev": 0.04917096040684654,
          "min": 14.48064504936,
          "max": 14.57536392136,
          "runs": 3
        }
      }
    },
    {
      "name": "cykjson.egg",
      "cells": {
        "standard": {
          "mean": 0.050129378160000015,
          "stddev": 0.00041250664889596315,
          "min": 0.049429358560000004,
          "max": 0.050603175560000005,
          "runs": 10
        },
        "threads2": {
          "mean": 0.05089619658000001,
          "stddev": 0.0003400764944623167,
          "min": 0.05047912158,
          "max": 0.05153400658000001,
          "runs": 10
        },
        "threads4": {
          "mean": 0.0512655868,
          "stddev": 0.00025386646017763504,
          "min": 0.0506021511,
          "max": 0.051487318100000005,
          "runs": 10
        },
        "threads8": {
          "mean": 0.05324269626,
          "stddev": 0.001349361921579135,
          "min": 0.05221260106,
          "max": 0.056945056060000006,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "web-demo/typeinfer.egg",
      "cells": {
        "standard": {
          "mean": 0.043089096320000006,
          "stddev": 0.0005911112571615907,
          "min": 0.04221959772,
          "max": 0.04388085772,
          "runs": 10
        },
        "threads2": {
          "mean": 0.04589640142,
          "stddev": 0.0004403999864971872,
          "min": 0.04529707092000001,
          "max": 0.04670044292000001,
          "runs": 10
        },
        "threads4": {
          "mean": 0.0474510412,
          "stddev": 0.0006502947797154077,
          "min": 0.0467256832,
          "max": 0.0490955982,
          "runs": 10
        },
        "threads8": {
          "mean": 0.04975829048,
          "stddev": 0.000361795246953547,
          "min": 0.049203897680000004,
          "max": 0.050230831680000004,
          "runs": 10
        },
        "proof": {
          "mean": 0.8953613451714286,
          "stddev": 0.005212776986736935,
          "min": 0.8890476026,
          "max": 0.9006833136,
          "runs": 7
        }
      }
    },
    {
      "name": "web-demo/rw-analysis.egg",
      "cells": {
        "standard": {
          "mean": 0.010648632900000001,
          "stddev": 5.766195878903954e-05,
          "min": 0.010574570400000002,
          "max": 0.010740261400000001,
          "runs": 10
        },
        "threads2": {
          "mean": 0.011262960740000001,
          "stddev": 0.00044083023416010794,
          "min": 0.01075332164,
          "max": 0.011866180640000001,
          "runs": 10
        },
        "threads4": {
          "mean": 0.011921405740000002,
          "stddev": 0.0008328081373856967,
          "min": 0.01015053724,
          "max": 0.01243902424,
          "runs": 10
        },
        "threads8": {
          "mean": 0.010974248240000001,
          "stddev": 0.0001092138112834942,
          "min": 0.010789842439999999,
          "max": 0.011099133439999999,
          "runs": 10
        },
        "proof": {
          "mean": 0.05622933976000001,
          "stddev": 0.0007257842175457218,
          "min": 0.05518903046,
          "max": 0.057775671460000004,
          "runs": 10
        }
      }
    },
    {
      "name": "web-demo/array.egg",
      "cells": {
        "standard": {
          "mean": 0.0096515005,
          "stddev": 4.7531365907039534e-05,
          "min": 0.0095541014,
          "max": 0.009701123400000001,
          "runs": 10
        },
        "threads2": {
          "mean": 0.0120322796,
          "stddev": 0.0003656307926698736,
          "min": 0.0114544488,
          "max": 0.0123926068,
          "runs": 10
        },
        "threads4": {
          "mean": 0.01378581766,
          "stddev": 0.00021253395976280002,
          "min": 0.01345483096,
          "max": 0.01412950496,
          "runs": 10
        },
        "threads8": {
          "mean": 0.015119027440000002,
          "stddev": 0.00027783007778768484,
          "min": 0.014761126640000002,
          "max": 0.015639103640000002,
          "runs": 10
        },
        "proof": {
          "mean": 0.6988768135057143,
          "stddev": 0.00540550666655206,
          "min": 0.6903079792200001,
          "max": 0.70549952122,
          "runs": 7
        }
      }
    },
    {
      "name": "web-demo/eqsolve.egg",
      "cells": {
        "standard": {
          "mean": 0.009412142020000002,
          "stddev": 8.996823047029159e-05,
          "min": 0.009271342220000001,
          "max": 0.00957512122,
          "runs": 10
        },
        "threads2": {
          "mean": 0.012282223140000001,
          "stddev": 5.664843552571543e-05,
          "min": 0.01218639334,
          "max": 0.012398925340000002,
          "runs": 10
        },
        "threads4": {
          "mean": 0.013388972999999998,
          "stddev": 0.002134845502637666,
          "min": 0.0113159114,
          "max": 0.018201772400000003,
          "runs": 10
        },
        "threads8": {
          "mean": 0.01119226058,
          "stddev": 0.0005388399152804413,
          "min": 0.01086449448,
          "max": 0.01267454648,
          "runs": 10
        },
        "proof": {
          "mean": 37.33410444623333,
          "stddev": 0.012870230123521767,
          "min": 37.3203565859,
          "max": 37.3458661239,
          "runs": 3
        }
      }
    },
    {
      "name": "web-demo/combinators.egg",
      "cells": {
        "standard": {
          "mean": 0.00762652758,
          "stddev": 0.00029121298395124666,
          "min": 0.00738996628,
          "max": 0.008301963280000001,
          "runs": 10
        },
        "threads2": {
          "mean": 0.009554233839999999,
          "stddev": 0.0005691213877781161,
          "min": 0.00865939424,
          "max": 0.01033135424,
          "runs": 10
        },
        "threads4": {
          "mean": 0.010800858219999999,
          "stddev": 0.0009546246260019871,
          "min": 0.00912749832,
          "max": 0.01163535332,
          "runs": 10
        },
        "threads8": {
          "mean": 0.009699250820000001,
          "stddev": 0.00046862884449874997,
          "min": 0.00916991252,
          "max": 0.01025749352,
          "runs": 10
        },
        "proof": {
          "mean": 0.06378582790000001,
          "stddev": 0.0005590495209510128,
          "min": 0.06283475990000001,
          "max": 0.06468030790000001,
          "runs": 10
        }
      }
    },
    {
      "name": "web-demo/bdd.egg",
      "cells": {
        "standard": {
          "mean": 0.0068968182600000014,
          "stddev": 0.00012558607217933593,
          "min": 0.00678985436,
          "max": 0.007151864360000001,
          "runs": 10
        },
        "threads2": {
          "mean": 0.007148350740000001,
          "stddev": 6.11025179012926e-05,
          "min": 0.007065874840000001,
          "max": 0.007285087840000001,
          "runs": 10
        },
        "threads4": {
          "mean": 0.007535527,
          "stddev": 5.778405762645728e-05,
          "min": 0.007458288,
          "max": 0.007600605999999999,
          "runs": 10
        },
        "threads8": {
          "mean": 0.008258148160000003,
          "stddev": 5.0280556471330834e-05,
          "min": 0.00817743936,
          "max": 0.00833704736,
          "runs": 10
        },
        "proof": {
          "mean": 0.25216242038000003,
          "stddev": 0.0015644036623686636,
          "min": 0.24983357988000005,
          "max": 0.25495347988,
          "runs": 10
        }
      }
    },
    {
      "name": "integer_math.egg",
      "cells": {
        "standard": {
          "mean": 0.006113378080000001,
          "stddev": 0.00012583637712349586,
          "min": 0.005945767780000001,
          "max": 0.006319324780000001,
          "runs": 10
        },
        "threads2": {
          "mean": 0.0066940066400000015,
          "stddev": 4.462042077606766e-05,
          "min": 0.00664654894,
          "max": 0.00676317794,
          "runs": 10
        },
        "threads4": {
          "mean": 0.011454937040000002,
          "stddev": 0.0008053376488274553,
          "min": 0.01026068964,
          "max": 0.012314421640000002,
          "runs": 10
        },
        "threads8": {
          "mean": 0.013230950179999998,
          "stddev": 0.0037915586709896375,
          "min": 0.00990951778,
          "max": 0.02087034878,
          "runs": 10
        },
        "proof": {
          "mean": 0.061172282359999997,
          "stddev": 0.0005048082493444754,
          "min": 0.06013740606,
          "max": 0.06172932506,
          "runs": 10
        }
      }
    },
    {
      "name": "web-demo/unification-points-to.egg",
      "cells": {
        "standard": {
          "mean": 0.00539889198,
          "stddev": 8.060983794529479e-05,
          "min": 0.0052499176800000005,
          "max": 0.005461210680000001,
          "runs": 10
        },
        "threads2": {
          "mean": 0.00825018018,
          "stddev": 2.7132882265701774e-05,
          "min": 0.00820042978,
          "max": 0.00828822178,
          "runs": 10
        },
        "threads4": {
          "mean": 0.010636093120000002,
          "stddev": 0.0008947969218559781,
          "min": 0.00990843852,
          "max": 0.012007350520000001,
          "runs": 10
        },
        "threads8": {
          "mean": 0.011261602680000002,
          "stddev": 0.0010996016761100564,
          "min": 0.010767961080000001,
          "max": 0.014363218080000002,
          "runs": 10
        },
        "proof": {
          "mean": 0.06372839746,
          "stddev": 0.0009401872863487233,
          "min": 0.06255715146,
          "max": 0.06487979746,
          "runs": 10
        }
      }
    }
  ],
  "skipped": [
    {
      "name": "before-proofs.egg",
      "reason": "too-fast"
    },
    {
      "name": "bitwise.egg",
      "reason": "too-fast"
    },
    {
      "name": "bool.egg",
      "reason": "too-fast"
    },
    {
      "name": "calc.egg",
      "reason": "too-fast"
    },
    {
      "name": "combined-nested.egg",
      "reason": "too-fast"
    },
    {
      "name": "complex-merge-func.egg",
      "reason": "too-fast"
    },
    {
      "name": "complex-merge-prim.egg",
      "reason": "too-fast"
    },
    {
      "name": "container-fail.egg",
      "reason": "too-fast"
    },
    {
      "name": "container-proofs.egg",
      "reason": "too-fast"
    },
    {
      "name": "container-rebuild.egg",
      "reason": "too-fast"
    },
    {
      "name": "delete.egg",
      "reason": "too-fast"
    },
    {
      "name": "f64.egg",
      "reason": "too-fast"
    },
    {
      "name": "factoring-multisets.egg",
      "reason": "too-fast"
    },
    {
      "name": "fail_wrong_assertion.egg",
      "reason": "too-fast"
    },
    {
      "name": "fibonacci-demand.egg",
      "reason": "too-fast"
    },
    {
      "name": "filter-or-bool-neq.egg",
      "reason": "too-fast"
    },
    {
      "name": "hidden_print_size.egg",
      "reason": "too-fast"
    },
    {
      "name": "i64.egg",
      "reason": "too-fast"
    },
    {
      "name": "include.egg",
      "reason": "too-fast"
    },
    {
      "name": "internal_let.egg",
      "reason": "too-fast"
    },
    {
      "name": "intersection.egg",
      "reason": "too-fast"
    },
    {
      "name": "interval.egg",
      "reason": "too-fast"
    },
    {
      "name": "looking_up_global.egg",
      "reason": "too-fast"
    },
    {
      "name": "looking_up_nonconstructor_in_rewrite_good.egg",
      "reason": "too-fast"
    },
    {
      "name": "map.egg",
      "reason": "too-fast"
    },
    {
      "name": "merge-during-rebuild.egg",
      "reason": "too-fast"
    },
    {
      "name": "merge-saturates.egg",
      "reason": "too-fast"
    },
    {
      "name": "merge_read.egg",
      "reason": "too-fast"
    },
    {
      "name": "naive-action-lookup.egg",
      "reason": "too-fast"
    },
    {
      "name": "name-resolution.egg",
      "reason": "too-fast"
    },
    {
      "name": "nested-container-dirty-propagation.egg",
      "reason": "too-fast"
    },
    {
      "name": "pair.egg",
      "reason": "too-fast"
    },
    {
      "name": "pass-typecheck/shadow-local-before-global.egg",
      "reason": "too-fast"
    },
    {
      "name": "primitives.egg",
      "reason": "too-fast"
    },
    {
      "name": "print-function.egg",
      "reason": "too-fast"
    },
    {
      "name": "proof-extract-cost.egg",
      "reason": "too-fast"
    },
    {
      "name": "proofs/bind-prim-result.egg",
      "reason": "too-fast"
    },
    {
      "name": "proofs/commute-collapse.egg",
      "reason": "too-fast"
    },
    {
      "name": "proofs/container-set-collapse.egg",
      "reason": "too-fast"
    },
    {
      "name": "proofs/eqsat-basic-proof.egg",
      "reason": "too-fast"
    },
    {
      "name": "proofs/global-prove-query.egg",
      "reason": "too-fast"
    },
    {
      "name": "proofs/primitive-args.egg",
      "reason": "too-fast"
    },
    {
      "name": "proofs/rule-head-fast-path.egg",
      "reason": "too-fast"
    },
    {
      "name": "proofs/simple_proof_check.egg",
      "reason": "too-fast"
    },
    {
      "name": "rat-pow-eval.egg",
      "reason": "too-fast"
    },
    {
      "name": "relation-query-allowed.egg",
      "reason": "too-fast"
    },
    {
      "name": "set_sort_function.egg",
      "reason": "too-fast"
    },
    {
      "name": "stratified.egg",
      "reason": "too-fast"
    },
    {
      "name": "string.egg",
      "reason": "too-fast"
    },
    {
      "name": "string_quotes.egg",
      "reason": "too-fast"
    },
    {
      "name": "subsume-relation.egg",
      "reason": "too-fast"
    },
    {
      "name": "term-encoding-subsume-rebuild-bug.egg",
      "reason": "too-fast"
    },
    {
      "name": "test-combined-steps.egg",
      "reason": "too-fast"
    },
    {
      "name": "test-combined.egg",
      "reason": "too-fast"
    },
    {
      "name": "tricky-type-checking.egg",
      "reason": "too-fast"
    },
    {
      "name": "type-constraints-tests.egg",
      "reason": "too-fast"
    },
    {
      "name": "typed_primitive_unstable_app.egg",
      "reason": "too-fast"
    },
    {
      "name": "uf-extraction.egg",
      "reason": "too-fast"
    },
    {
      "name": "unsafe-seminaive-read-prim.egg",
      "reason": "too-fast"
    },
    {
      "name": "unsafe-seminaive.egg",
      "reason": "too-fast"
    },
    {
      "name": "until.egg",
      "reason": "too-fast"
    },
    {
      "name": "use-at-in-string.egg",
      "reason": "too-fast"
    },
    {
      "name": "vec.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/antiunify.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/bignum.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/birewrite.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/cyk.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/datatypes.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/eqsat-basic-multiset.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/eqsat-basic.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/fibonacci.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/fusion.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/herbie-tutorial.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/knapsack.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/lambda.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/levenshtein-distance.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/list.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/matrix.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/multiset.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/naturals.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/path-union.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/path.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/pathproof.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/points-to.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/prims.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/push-pop.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/resolution.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/schedule-demo.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/set.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/subsume.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/towers-of-hanoi.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/typecheck.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/unify.egg",
      "reason": "too-fast"
    },
    {
      "name": "web-demo/unstable-fn.egg",
      "reason": "too-fast"
    }
  ]
}