{
  "generated_at": "2026-08-09T08:15:56.291694Z",
  "commit": "95f539cca0272d67999e6b0d905ac5969f7bc38f",
  "commit_short": "95f539cc",
  "subject": "Merge pull request #973 from egraphs-good/fix/971-intersect-transient-unsorted",
  "branch": "main",
  "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": 20.746520770239997,
          "stddev": 0.09956883621127541,
          "min": 20.63157204524,
          "max": 20.80600662724,
          "runs": 3
        },
        "threads2": {
          "mean": 15.963457687086667,
          "stddev": 0.0472249459845737,
          "min": 15.91659729742,
          "max": 16.01103893642,
          "runs": 3
        },
        "threads4": {
          "mean": 10.455879353426667,
          "stddev": 0.19264958922694148,
          "min": 10.274761332759999,
          "max": 10.658291218759999,
          "runs": 3
        },
        "threads8": {
          "mean": 9.753832793639999,
          "stddev": 0.27084844907209177,
          "min": 9.50116968964,
          "max": 10.039788589639999,
          "runs": 3
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "gemma.egg",
      "cells": {
        "standard": {
          "mean": 5.678378952746667,
          "stddev": 0.022794443487799302,
          "min": 5.65924276708,
          "max": 5.70359765108,
          "runs": 3
        },
        "threads2": {
          "mean": 4.477183467520001,
          "stddev": 0.042673902628603835,
          "min": 4.42414491192,
          "max": 4.5253917579200005,
          "runs": 5
        },
        "threads4": {
          "mean": 3.07222799404,
          "stddev": 0.011016205471542395,
          "min": 3.05837060204,
          "max": 3.08481253704,
          "runs": 5
        },
        "threads8": {
          "mean": 2.96022725702,
          "stddev": 0.0434782306186323,
          "min": 2.90479676162,
          "max": 3.01348559562,
          "runs": 5
        },
        "proof": {
          "mean": 93.07022680242001,
          "stddev": 0.18916246158521577,
          "min": 92.86889043542,
          "max": 93.24424474642001,
          "runs": 3
        }
      }
    },
    {
      "name": "paged_llama.egg",
      "cells": {
        "standard": {
          "mean": 2.19353887622,
          "stddev": 0.023405858504277816,
          "min": 2.16181879662,
          "max": 2.21970654562,
          "runs": 5
        },
        "threads2": {
          "mean": 2.2323541343000004,
          "stddev": 0.023674692176909904,
          "min": 2.2068340369,
          "max": 2.2644728379,
          "runs": 5
        },
        "threads4": {
          "mean": 2.21293474718,
          "stddev": 0.017572205685576613,
          "min": 2.18636355898,
          "max": 2.22751941398,
          "runs": 5
        },
        "threads8": {
          "mean": 2.25835640262,
          "stddev": 0.02101256815473174,
          "min": 2.23049759562,
          "max": 2.28080448162,
          "runs": 5
        },
        "proof": {
          "mean": 14.211880480986666,
          "stddev": 0.01720697601966957,
          "min": 14.19220325432,
          "max": 14.22410343632,
          "runs": 3
        }
      }
    },
    {
      "name": "whisper.egg",
      "cells": {
        "standard": {
          "mean": 1.6702673013200002,
          "stddev": 0.008070518635754791,
          "min": 1.65536840132,
          "max": 1.6817971733200001,
          "runs": 7
        },
        "threads2": {
          "mean": 1.6515620561342856,
          "stddev": 0.03680311934865928,
          "min": 1.60756699042,
          "max": 1.72017472242,
          "runs": 7
        },
        "threads4": {
          "mean": 1.204693407257143,
          "stddev": 0.023202906742314802,
          "min": 1.1836902294,
          "max": 1.2503042274,
          "runs": 7
        },
        "threads8": {
          "mean": 1.16297997902,
          "stddev": 0.011436320031810589,
          "min": 1.1459644290200002,
          "max": 1.17878623702,
          "runs": 7
        },
        "proof": {
          "mean": 12.231199171686669,
          "stddev": 0.03925064117802332,
          "min": 12.19608701202,
          "max": 12.27357389402,
          "runs": 3
        }
      }
    },
    {
      "name": "eggcc-2mm.egg",
      "cells": {
        "standard": {
          "mean": 1.427800263937143,
          "stddev": 0.07857072718228975,
          "min": 1.38702315708,
          "max": 1.6054171130800001,
          "runs": 7
        },
        "threads2": {
          "mean": 1.8342670322028571,
          "stddev": 0.016835882768352198,
          "min": 1.81277049406,
          "max": 1.85413776806,
          "runs": 7
        },
        "threads4": {
          "mean": 1.522694478137143,
          "stddev": 0.01714171509245824,
          "min": 1.50382834228,
          "max": 1.55190387828,
          "runs": 7
        },
        "threads8": {
          "mean": 1.6235599762228574,
          "stddev": 0.007686904979276603,
          "min": 1.61757612208,
          "max": 1.63617015108,
          "runs": 7
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "taylor51.egg",
      "cells": {
        "standard": {
          "mean": 1.3360365987742855,
          "stddev": 0.009490181925594086,
          "min": 1.32618546006,
          "max": 1.35169441206,
          "runs": 7
        },
        "threads2": {
          "mean": 1.3427071633457142,
          "stddev": 0.013215223193655106,
          "min": 1.33012362806,
          "max": 1.36846652406,
          "runs": 7
        },
        "threads4": {
          "mean": 1.34255646622,
          "stddev": 0.005396733732415681,
          "min": 1.33222079422,
          "max": 1.34858426422,
          "runs": 7
        },
        "threads8": {
          "mean": 1.349402943228571,
          "stddev": 0.006903043811818732,
          "min": 1.3427222368,
          "max": 1.3636528708,
          "runs": 7
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "qwen3_moe.egg",
      "cells": {
        "standard": {
          "mean": 0.8127181732828571,
          "stddev": 0.0035648503850412685,
          "min": 0.8071501671400001,
          "max": 0.8163873691400001,
          "runs": 7
        },
        "threads2": {
          "mean": 0.9895761251257145,
          "stddev": 0.012843975273948302,
          "min": 0.9745200658400001,
          "max": 1.00538828984,
          "runs": 7
        },
        "threads4": {
          "mean": 0.8048657008685716,
          "stddev": 0.01618404568504097,
          "min": 0.79271456644,
          "max": 0.8398760214400001,
          "runs": 7
        },
        "threads8": {
          "mean": 0.7900000808228572,
          "stddev": 0.009742566868088717,
          "min": 0.77982103468,
          "max": 0.80944198268,
          "runs": 7
        },
        "proof": {
          "mean": 28.96204863795333,
          "stddev": 0.08872144454314727,
          "min": 28.87663720962,
          "max": 29.05374578662,
          "runs": 3
        }
      }
    },
    {
      "name": "extract-vec-bench.egg",
      "cells": {
        "standard": {
          "mean": 0.6467189605800001,
          "stddev": 0.011475018533515931,
          "min": 0.6366843535800001,
          "max": 0.67116885758,
          "runs": 7
        },
        "threads2": {
          "mean": 0.65179375356,
          "stddev": 0.004687473416841842,
          "min": 0.6448157155600001,
          "max": 0.65955414556,
          "runs": 7
        },
        "threads4": {
          "mean": 0.6452034421828572,
          "stddev": 0.0051745706586832085,
          "min": 0.6408561210400001,
          "max": 0.65517324604,
          "runs": 7
        },
        "threads8": {
          "mean": 0.6487654984514287,
          "stddev": 0.0036837937392680113,
          "min": 0.6442395918800001,
          "max": 0.6541880818800001,
          "runs": 7
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "qwen.egg",
      "cells": {
        "standard": {
          "mean": 0.6254445062571428,
          "stddev": 0.0033371260617560037,
          "min": 0.6211727504,
          "max": 0.6304588834,
          "runs": 7
        },
        "threads2": {
          "mean": 0.7159376872514286,
          "stddev": 0.005044547743084979,
          "min": 0.71177722468,
          "max": 0.72624690968,
          "runs": 7
        },
        "threads4": {
          "mean": 0.6463348890657142,
          "stddev": 0.007292155239836055,
          "min": 0.63840887578,
          "max": 0.65904022178,
          "runs": 7
        },
        "threads8": {
          "mean": 0.6554396356028571,
          "stddev": 0.00931369787730739,
          "min": 0.6456750154600001,
          "max": 0.67238832546,
          "runs": 7
        },
        "proof": {
          "mean": 17.78315851392667,
          "stddev": 0.04596492133805498,
          "min": 17.751091970260003,
          "max": 17.83581932426,
          "runs": 3
        }
      }
    },
    {
      "name": "math-microbenchmark.egg",
      "cells": {
        "standard": {
          "mean": 0.6003832510000001,
          "stddev": 0.004641012612304816,
          "min": 0.5931680920000001,
          "max": 0.6088259920000001,
          "runs": 7
        },
        "threads2": {
          "mean": 0.6404464511085716,
          "stddev": 0.006780752103391689,
          "min": 0.6312870726800001,
          "max": 0.65094256368,
          "runs": 7
        },
        "threads4": {
          "mean": 0.44517407464000003,
          "stddev": 0.0065636638856372284,
          "min": 0.43609569364000006,
          "max": 0.45525171564000005,
          "runs": 10
        },
        "threads8": {
          "mean": 0.42650215288000004,
          "stddev": 0.00495335809430997,
          "min": 0.41418678608000004,
          "max": 0.43244551108,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "llama.egg",
      "cells": {
        "standard": {
          "mean": 0.5574587621685714,
          "stddev": 0.004024524700382279,
          "min": 0.55182778274,
          "max": 0.56187557974,
          "runs": 7
        },
        "threads2": {
          "mean": 0.5846398273942858,
          "stddev": 0.0029494396536415735,
          "min": 0.58102349868,
          "max": 0.5892063656800001,
          "runs": 7
        },
        "threads4": {
          "mean": 0.58656007208,
          "stddev": 0.0026503106868516484,
          "min": 0.58283129208,
          "max": 0.59042213008,
          "runs": 7
        },
        "threads8": {
          "mean": 0.5925701195085714,
          "stddev": 0.0028170341550049207,
          "min": 0.58885862908,
          "max": 0.59652494508,
          "runs": 7
        },
        "proof": {
          "mean": 12.299997282973331,
          "stddev": 0.07745182811102977,
          "min": 12.233412040640001,
          "max": 12.38499667164,
          "runs": 3
        }
      }
    },
    {
      "name": "hardboiled_conv1d_128.egg",
      "cells": {
        "standard": {
          "mean": 0.4150487428771429,
          "stddev": 0.002629636557054692,
          "min": 0.41292934802000003,
          "max": 0.41917934402,
          "runs": 7
        },
        "threads2": {
          "mean": 0.5130222193857145,
          "stddev": 0.004131282536436886,
          "min": 0.5060768321,
          "max": 0.5189881011,
          "runs": 7
        },
        "threads4": {
          "mean": 0.38500291306,
          "stddev": 0.012893914611247025,
          "min": 0.36782756186000004,
          "max": 0.40845530086000004,
          "runs": 10
        },
        "threads8": {
          "mean": 0.38668577704,
          "stddev": 0.010464992063796757,
          "min": 0.36613301734000003,
          "max": 0.40567630134000005,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "stresstest_large_expr.egg",
      "cells": {
        "standard": {
          "mean": 0.3900580787,
          "stddev": 0.0021183595058782284,
          "min": 0.38730502640000003,
          "max": 0.3939701424,
          "runs": 10
        },
        "threads2": {
          "mean": 0.39927862842,
          "stddev": 0.009758898977787627,
          "min": 0.39238932192000003,
          "max": 0.42631430092000006,
          "runs": 10
        },
        "threads4": {
          "mean": 0.39912862342,
          "stddev": 0.0026827753717522567,
          "min": 0.39481881302000005,
          "max": 0.40279349002000003,
          "runs": 10
        },
        "threads8": {
          "mean": 0.40055711481999995,
          "stddev": 0.0014925547819626562,
          "min": 0.39737123352,
          "max": 0.40257094552,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "eggcc-extraction.egg",
      "cells": {
        "standard": {
          "mean": 0.3533329245,
          "stddev": 0.001434411016686395,
          "min": 0.3509693257,
          "max": 0.3556727357,
          "runs": 10
        },
        "threads2": {
          "mean": 0.3712804378200001,
          "stddev": 0.0025569559369302223,
          "min": 0.36721673482,
          "max": 0.37390655182000004,
          "runs": 10
        },
        "threads4": {
          "mean": 0.38260335698000003,
          "stddev": 0.002719132961695783,
          "min": 0.37696648468,
          "max": 0.38647535268,
          "runs": 10
        },
        "threads8": {
          "mean": 0.38764464034,
          "stddev": 0.0023992642513320844,
          "min": 0.38449520214000005,
          "max": 0.39201897314,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "python_array_optimize.egg",
      "cells": {
        "standard": {
          "mean": 0.32936970544000005,
          "stddev": 0.002124381770455854,
          "min": 0.32579746184,
          "max": 0.33223153684,
          "runs": 10
        },
        "threads2": {
          "mean": 0.35310816790000005,
          "stddev": 0.005983174717854483,
          "min": 0.3434541098,
          "max": 0.36684079980000006,
          "runs": 10
        },
        "threads4": {
          "mean": 0.36484574486000004,
          "stddev": 0.0034941638123188847,
          "min": 0.35988475266000003,
          "max": 0.37066957366000003,
          "runs": 10
        },
        "threads8": {
          "mean": 0.37512556572,
          "stddev": 0.0029016768410157897,
          "min": 0.36872823822,
          "max": 0.37816108422,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "rectangle.egg",
      "cells": {
        "standard": {
          "mean": 0.20774076796000002,
          "stddev": 0.0026612256053539494,
          "min": 0.20360294216000002,
          "max": 0.21376966316,
          "runs": 10
        },
        "threads2": {
          "mean": 0.21210385564000003,
          "stddev": 0.002134131485218947,
          "min": 0.20848427584,
          "max": 0.21612805584,
          "runs": 10
        },
        "threads4": {
          "mean": 0.21600934388000007,
          "stddev": 0.0024947961337990474,
          "min": 0.21208961418000002,
          "max": 0.22076659418000003,
          "runs": 10
        },
        "threads8": {
          "mean": 0.23300234864,
          "stddev": 0.0018393620646848113,
          "min": 0.23053850934,
          "max": 0.23598591234000002,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "hardboiled_conv1d_32.egg",
      "cells": {
        "standard": {
          "mean": 0.16749272052,
          "stddev": 0.0011528418598651495,
          "min": 0.16607327682000003,
          "max": 0.16997718882,
          "runs": 10
        },
        "threads2": {
          "mean": 0.1769055569,
          "stddev": 0.0010361007494857296,
          "min": 0.1750086249,
          "max": 0.1784417459,
          "runs": 10
        },
        "threads4": {
          "mean": 0.18193666986000004,
          "stddev": 0.0008808007776886615,
          "min": 0.18077594436,
          "max": 0.18337146236000001,
          "runs": 10
        },
        "threads8": {
          "mean": 0.18648275532000005,
          "stddev": 0.0006343862162050732,
          "min": 0.18555475242000002,
          "max": 0.18723175642000003,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "luminal-llama.egg",
      "cells": {
        "standard": {
          "mean": 0.12237330106,
          "stddev": 0.001478768025781609,
          "min": 0.12006632546000001,
          "max": 0.12416173546,
          "runs": 10
        },
        "threads2": {
          "mean": 0.12423097034,
          "stddev": 0.0015100523391926998,
          "min": 0.12203209604000001,
          "max": 0.12686657604,
          "runs": 10
        },
        "threads4": {
          "mean": 0.12954219226000002,
          "stddev": 0.0019577194662472315,
          "min": 0.12586779296,
          "max": 0.13167427096,
          "runs": 10
        },
        "threads8": {
          "mean": 0.13784118602,
          "stddev": 0.0017296353704063633,
          "min": 0.13500876792000002,
          "max": 0.14021238092000002,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "header/luminal-header.egg",
      "cells": {
        "standard": {
          "mean": 0.07539568686,
          "stddev": 0.000569780202108031,
          "min": 0.07449935526,
          "max": 0.07665849026,
          "runs": 10
        },
        "threads2": {
          "mean": 0.07621719710000001,
          "stddev": 0.001220838493053925,
          "min": 0.0749015789,
          "max": 0.07824424490000001,
          "runs": 10
        },
        "threads4": {
          "mean": 0.07689701158000001,
          "stddev": 0.0014997480075941243,
          "min": 0.07589175868,
          "max": 0.08100305168000001,
          "runs": 10
        },
        "threads8": {
          "mean": 0.07722297464000001,
          "stddev": 0.0004581136948149321,
          "min": 0.07667736074,
          "max": 0.07809846974000001,
          "runs": 10
        },
        "proof": {
          "mean": 0.5255294406657144,
          "stddev": 0.0077212069048848845,
          "min": 0.5185330073800001,
          "max": 0.54209453338,
          "runs": 7
        }
      }
    },
    {
      "name": "web-demo/herbie.egg",
      "cells": {
        "standard": {
          "mean": 0.07526463478000002,
          "stddev": 0.0008144274708621936,
          "min": 0.07434638168,
          "max": 0.07668684268,
          "runs": 10
        },
        "threads2": {
          "mean": 0.07829312818000003,
          "stddev": 0.00045090821255630207,
          "min": 0.07759621368000001,
          "max": 0.07895681268,
          "runs": 10
        },
        "threads4": {
          "mean": 0.08009009823999999,
          "stddev": 0.0005315974026402141,
          "min": 0.07890355864000001,
          "max": 0.08054272664,
          "runs": 10
        },
        "threads8": {
          "mean": 0.08335869934000001,
          "stddev": 0.0006314485060190196,
          "min": 0.08220829444000001,
          "max": 0.08418007244,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "web-demo/math.egg",
      "cells": {
        "standard": {
          "mean": 0.06347047718000001,
          "stddev": 0.0005253046549373991,
          "min": 0.06252338848,
          "max": 0.06435145448,
          "runs": 10
        },
        "threads2": {
          "mean": 0.06711510532000001,
          "stddev": 0.00046890783670360805,
          "min": 0.06652068982,
          "max": 0.06789476282000001,
          "runs": 10
        },
        "threads4": {
          "mean": 0.06917953146000001,
          "stddev": 0.0009721923627377299,
          "min": 0.06805724916,
          "max": 0.07132186616000001,
          "runs": 10
        },
        "threads8": {
          "mean": 0.07356106498,
          "stddev": 0.0012520129935400003,
          "min": 0.07229429108,
          "max": 0.07652760308,
          "runs": 10
        },
        "proof": {
          "mean": 14.77301966044,
          "stddev": 0.059715043430628396,
          "min": 14.72817282444,
          "max": 14.84080228244,
          "runs": 3
        }
      }
    },
    {
      "name": "cykjson.egg",
      "cells": {
        "standard": {
          "mean": 0.048931153180000006,
          "stddev": 0.00022565525214962592,
          "min": 0.04864529078,
          "max": 0.049370255780000004,
          "runs": 10
        },
        "threads2": {
          "mean": 0.050109861480000004,
          "stddev": 0.00034353062710713617,
          "min": 0.04979290228,
          "max": 0.05073725028000001,
          "runs": 10
        },
        "threads4": {
          "mean": 0.05031994512,
          "stddev": 0.00022183926794966787,
          "min": 0.04999633212000001,
          "max": 0.050625677120000004,
          "runs": 10
        },
        "threads8": {
          "mean": 0.051922169780000006,
          "stddev": 0.0006612299203422274,
          "min": 0.05114970908000001,
          "max": 0.053010412080000006,
          "runs": 10
        },
        "proof": {
          "status": "na"
        }
      }
    },
    {
      "name": "web-demo/typeinfer.egg",
      "cells": {
        "standard": {
          "mean": 0.043479116180000006,
          "stddev": 0.0005581136959457568,
          "min": 0.04259077088,
          "max": 0.04418280988,
          "runs": 10
        },
        "threads2": {
          "mean": 0.04612457907999999,
          "stddev": 0.0003779119440030673,
          "min": 0.045443258880000004,
          "max": 0.04679664788,
          "runs": 10
        },
        "threads4": {
          "mean": 0.047552889820000006,
          "stddev": 0.00043053683036703026,
          "min": 0.04676838242,
          "max": 0.04801444142,
          "runs": 10
        },
        "threads8": {
          "mean": 0.050538173799999996,
          "stddev": 0.0006687059127753221,
          "min": 0.0495068301,
          "max": 0.0518022591,
          "runs": 10
        },
        "proof": {
          "mean": 0.938750515162857,
          "stddev": 0.10614337061488754,
          "min": 0.89424385002,
          "max": 1.17930867502,
          "runs": 7
        }
      }
    },
    {
      "name": "web-demo/rw-analysis.egg",
      "cells": {
        "standard": {
          "mean": 0.010216760459999998,
          "stddev": 0.0002600768199002624,
          "min": 0.00993269336,
          "max": 0.010669205360000001,
          "runs": 10
        },
        "threads2": {
          "mean": 0.01034400978,
          "stddev": 9.467703381872053e-05,
          "min": 0.01019403338,
          "max": 0.01051271938,
          "runs": 10
        },
        "threads4": {
          "mean": 0.010696180720000002,
          "stddev": 8.762702714117355e-05,
          "min": 0.010597954320000002,
          "max": 0.01084239032,
          "runs": 10
        },
        "threads8": {
          "mean": 0.01164039294,
          "stddev": 0.00011977038227973273,
          "min": 0.011415546040000002,
          "max": 0.011815364040000002,
          "runs": 10
        },
        "proof": {
          "mean": 0.05599767974000001,
          "stddev": 0.0002869075058690715,
          "min": 0.055659098440000006,
          "max": 0.05641960044,
          "runs": 10
        }
      }
    },
    {
      "name": "web-demo/array.egg",
      "cells": {
        "standard": {
          "mean": 0.010075276200000002,
          "stddev": 3.570195104783797e-05,
          "min": 0.009999355000000001,
          "max": 0.010110575000000002,
          "runs": 10
        },
        "threads2": {
          "mean": 0.011980380020000002,
          "stddev": 0.00022214989224867988,
          "min": 0.011799390120000001,
          "max": 0.012564379120000002,
          "runs": 10
        },
        "threads4": {
          "mean": 0.01255823234,
          "stddev": 0.00024397702208964962,
          "min": 0.01224456854,
          "max": 0.013058347540000001,
          "runs": 10
        },
        "threads8": {
          "mean": 0.0138155793,
          "stddev": 0.0002638777264099584,
          "min": 0.0134260305,
          "max": 0.0143314075,
          "runs": 10
        },
        "proof": {
          "mean": 0.7049491255600001,
          "stddev": 0.0032533961889262175,
          "min": 0.7013622015600001,
          "max": 0.7091304515600001,
          "runs": 7
        }
      }
    },
    {
      "name": "web-demo/eqsolve.egg",
      "cells": {
        "standard": {
          "mean": 0.010009794700000001,
          "stddev": 0.0004193208122023707,
          "min": 0.009780050200000001,
          "max": 0.011191633200000002,
          "runs": 10
        },
        "threads2": {
          "mean": 0.010455453979999998,
          "stddev": 0.0002071364000470595,
          "min": 0.01030519068,
          "max": 0.01102199768,
          "runs": 10
        },
        "threads4": {
          "mean": 0.010773241360000001,
          "stddev": 9.174723795715404e-05,
          "min": 0.01065520326,
          "max": 0.01092515926,
          "runs": 10
        },
        "threads8": {
          "mean": 0.0116963536,
          "stddev": 0.00022920756884451066,
          "min": 0.011421993100000001,
          "max": 0.0121620591,
          "runs": 10
        },
        "proof": {
          "mean": 38.1767371005,
          "stddev": 0.1160694297283556,
          "min": 38.0672202545,
          "max": 38.2984033545,
          "runs": 3
        }
      }
    },
    {
      "name": "web-demo/combinators.egg",
      "cells": {
        "standard": {
          "mean": 0.00783690716,
          "stddev": 0.0008614822191804656,
          "min": 0.0072232430600000005,
          "max": 0.00942270106,
          "runs": 10
        },
        "threads2": {
          "mean": 0.00817231648,
          "stddev": 0.000183931566637915,
          "min": 0.008007760380000001,
          "max": 0.008664598380000001,
          "runs": 10
        },
        "threads4": {
          "mean": 0.008499294180000002,
          "stddev": 0.0002080393790507514,
          "min": 0.008318358780000002,
          "max": 0.008868625780000002,
          "runs": 10
        },
        "threads8": {
          "mean": 0.009478442280000002,
          "stddev": 0.000516849596843855,
          "min": 0.00898820518,
          "max": 0.01076112318,
          "runs": 10
        },
        "proof": {
          "mean": 0.06600955591999999,
          "stddev": 0.00024430944950754166,
          "min": 0.06560517762,
          "max": 0.06641899762,
          "runs": 10
        }
      }
    },
    {
      "name": "web-demo/bdd.egg",
      "cells": {
        "standard": {
          "mean": 0.007362155679999999,
          "stddev": 0.00016002091340714016,
          "min": 0.00720136658,
          "max": 0.007786942579999999,
          "runs": 10
        },
        "threads2": {
          "mean": 0.0077332139800000005,
          "stddev": 0.0001676641436502017,
          "min": 0.007447461780000001,
          "max": 0.00805080978,
          "runs": 10
        },
        "threads4": {
          "mean": 0.008056937600000001,
          "stddev": 0.00012615660158795574,
          "min": 0.007881031600000001,
          "max": 0.008290390600000001,
          "runs": 10
        },
        "threads8": {
          "mean": 0.008933280600000001,
          "stddev": 0.0005683009712710338,
          "min": 0.008594664200000001,
          "max": 0.010529764200000001,
          "runs": 10
        },
        "proof": {
          "mean": 0.26174657858,
          "stddev": 0.002680874651462101,
          "min": 0.25844814818,
          "max": 0.26706821018,
          "runs": 10
        }
      }
    },
    {
      "name": "integer_math.egg",
      "cells": {
        "standard": {
          "mean": 0.006441669239999999,
          "stddev": 7.433150577872984e-05,
          "min": 0.00636307224,
          "max": 0.0065894082400000005,
          "runs": 10
        },
        "threads2": {
          "mean": 0.006912119920000001,
          "stddev": 0.00012952568786962697,
          "min": 0.00673399502,
          "max": 0.007197409020000001,
          "runs": 10
        },
        "threads4": {
          "mean": 0.007339908860000001,
          "stddev": 0.00018078026894120824,
          "min": 0.007159220160000001,
          "max": 0.007819444160000001,
          "runs": 10
        },
        "threads8": {
          "mean": 0.00792134072,
          "stddev": 8.3298370418634e-05,
          "min": 0.007774704520000001,
          "max": 0.00804835652,
          "runs": 10
        },
        "proof": {
          "mean": 0.06315212874000001,
          "stddev": 0.00039971455466493645,
          "min": 0.06248713164,
          "max": 0.06380567864,
          "runs": 10
        }
      }
    },
    {
      "name": "web-demo/unification-points-to.egg",
      "cells": {
        "standard": {
          "mean": 0.0057551496,
          "stddev": 0.00021943885878698274,
          "min": 0.0055380328,
          "max": 0.0063318688,
          "runs": 10
        },
        "threads2": {
          "mean": 0.0062360628800000005,
          "stddev": 8.045389720696489e-05,
          "min": 0.006096429580000001,
          "max": 0.00634451158,
          "runs": 10
        },
        "threads4": {
          "mean": 0.00661588546,
          "stddev": 0.0002902060552749065,
          "min": 0.00632362346,
          "max": 0.00735177846,
          "runs": 10
        },
        "threads8": {
          "mean": 0.007331561180000001,
          "stddev": 0.00016356867081039007,
          "min": 0.00718571748,
          "max": 0.0077179284800000005,
          "runs": 10
        },
        "proof": {
          "mean": 0.06131716460000001,
          "stddev": 0.0006692589945416765,
          "min": 0.059789207000000004,
          "max": 0.06245571000000001,
          "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"
    }
  ]
}