{ "generated_at": "2026-08-10T17:39:06.140646Z", "commit": "e4ebef25b5d35f54c52b81bd73a7ada817fa718e", "commit_short": "e4ebef25", "subject": "Address parallel join review feedback", "branch": "ezr-better-parallel", "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": 22.013703871133334, "stddev": 0.22014717260535144, "min": 21.849397422800003, "max": 22.263837215800002, "runs": 3 }, "threads2": { "mean": 14.874873842493335, "stddev": 0.022003699863234395, "min": 14.85702358116, "max": 14.899457483159999, "runs": 3 }, "threads4": { "mean": 9.366033683686668, "stddev": 0.01181334869507358, "min": 9.35585903702, "max": 9.37898946502, "runs": 3 }, "threads8": { "mean": 9.104676597666666, "stddev": 0.029169117956939026, "min": 9.071716106, "max": 9.127160337, "runs": 3 }, "proof": { "status": "na" } } }, { "name": "gemma.egg", "cells": { "standard": { "mean": 5.985805743633333, "stddev": 0.01619628694120513, "min": 5.973880955299999, "max": 6.0042448873, "runs": 3 }, "threads2": { "mean": 4.21384212552, "stddev": 0.030460414749879903, "min": 4.16054316412, "max": 4.23652431112, "runs": 5 }, "threads4": { "mean": 2.8285244578399995, "stddev": 0.022028094183802364, "min": 2.7976202032399997, "max": 2.85039847424, "runs": 5 }, "threads8": { "mean": 2.776198270060001, "stddev": 0.012051507763388548, "min": 2.7673844232600002, "max": 2.7968864592600005, "runs": 5 }, "proof": { "mean": 96.46317998981334, "stddev": 0.35059147030033083, "min": 96.24615170148, "max": 96.86764754348, "runs": 3 } } }, { "name": "paged_llama.egg", "cells": { "standard": { "mean": 2.2013609141, "stddev": 0.00982052612508999, "min": 2.1933101037, "max": 2.2176575957, "runs": 5 }, "threads2": { "mean": 2.30281223862, "stddev": 0.01086616192580386, "min": 2.29138821942, "max": 2.31434479542, "runs": 5 }, "threads4": { "mean": 2.23402813644, "stddev": 0.013945436637189938, "min": 2.22237802644, "max": 2.25788758844, "runs": 5 }, "threads8": { "mean": 2.2606949696800003, "stddev": 0.023120203161329858, "min": 2.23858432268, "max": 2.29675977068, "runs": 5 }, "proof": { "mean": 14.686830958553335, "stddev": 0.029513303347510775, "min": 14.65547265722, "max": 14.714065531220001, "runs": 3 } } }, { "name": "whisper.egg", "cells": { "standard": { "mean": 1.707026542857143, "stddev": 0.013978339505816038, "min": 1.691350655, "max": 1.7268879300000002, "runs": 7 }, "threads2": { "mean": 1.4670247749, "stddev": 0.010512746543804949, "min": 1.4475287949, "max": 1.4794733259000001, "runs": 7 }, "threads4": { "mean": 1.0735790539514285, "stddev": 0.02241954823415315, "min": 1.0495876283799999, "max": 1.11765314238, "runs": 7 }, "threads8": { "mean": 1.0365852081, "stddev": 0.014788642877413017, "min": 1.0212750271, "max": 1.0617211541, "runs": 7 }, "proof": { "mean": 12.566861877366664, "stddev": 0.07485463142907804, "min": 12.510738287699999, "max": 12.651851897699999, "runs": 3 } } }, { "name": "eggcc-2mm.egg", "cells": { "standard": { "mean": 1.3787148116342856, "stddev": 0.02112888387486738, "min": 1.35683206592, "max": 1.41806829092, "runs": 7 }, "threads2": { "mean": 1.7505041644600001, "stddev": 0.022662812343207238, "min": 1.7179749044600001, "max": 1.7865828704600002, "runs": 7 }, "threads4": { "mean": 1.4914964616371427, "stddev": 0.023568620139734958, "min": 1.46538673678, "max": 1.53307039778, "runs": 7 }, "threads8": { "mean": 1.6101113979714285, "stddev": 0.010939525361352169, "min": 1.5959443694, "max": 1.6255401224, "runs": 7 }, "proof": { "status": "na" } } }, { "name": "taylor51.egg", "cells": { "standard": { "mean": 1.3403150658342857, "stddev": 0.008983955947847292, "min": 1.32792662112, "max": 1.35115548412, "runs": 7 }, "threads2": { "mean": 1.3371584456828571, "stddev": 0.00725453926367361, "min": 1.33144031354, "max": 1.35282907654, "runs": 7 }, "threads4": { "mean": 1.3466784616314287, "stddev": 0.0037681937668818007, "min": 1.34164003306, "max": 1.35307757006, "runs": 7 }, "threads8": { "mean": 1.3432184815542858, "stddev": 0.0042434292474431146, "min": 1.33805909084, "max": 1.34958371784, "runs": 7 }, "proof": { "status": "na" } } }, { "name": "qwen3_moe.egg", "cells": { "standard": { "mean": 0.8196898490600001, "stddev": 0.0040044739055076365, "min": 0.81195630206, "max": 0.82378741006, "runs": 7 }, "threads2": { "mean": 0.8676231695085715, "stddev": 0.00487991345419452, "min": 0.8597870670800001, "max": 0.8741324870800001, "runs": 7 }, "threads4": { "mean": 0.7122074701, "stddev": 0.006395774308798473, "min": 0.7056236301, "max": 0.7232566541, "runs": 7 }, "threads8": { "mean": 0.7088023655742858, "stddev": 0.007164839422030672, "min": 0.69994627486, "max": 0.7227956198600001, "runs": 7 }, "proof": { "mean": 30.15131729613333, "stddev": 0.16836801028564685, "min": 29.998308731799998, "max": 30.3316920328, "runs": 3 } } }, { "name": "qwen.egg", "cells": { "standard": { "mean": 0.6338954020771429, "stddev": 0.0028612476344646908, "min": 0.63007119822, "max": 0.63748067822, "runs": 7 }, "threads2": { "mean": 0.6683027397942858, "stddev": 0.0022983711278179407, "min": 0.66544977108, "max": 0.67153307708, "runs": 7 }, "threads4": { "mean": 0.6119974344228573, "stddev": 0.0039878904186956745, "min": 0.60771717828, "max": 0.61922622128, "runs": 7 }, "threads8": { "mean": 0.6236602547828572, "stddev": 0.010216611192900507, "min": 0.6095793296400001, "max": 0.6372859886400001, "runs": 7 }, "proof": { "mean": 18.343381180566663, "stddev": 0.09338884504270964, "min": 18.276486092899997, "max": 18.4500766719, "runs": 3 } } }, { "name": "math-microbenchmark.egg", "cells": { "standard": { "mean": 0.5988696096142858, "stddev": 0.0036324520268018086, "min": 0.5916932889000001, "max": 0.6019996439, "runs": 7 }, "threads2": { "mean": 0.6217322666542858, "stddev": 0.006698310723447081, "min": 0.61242667394, "max": 0.6319554169400001, "runs": 7 }, "threads4": { "mean": 0.42898009334000003, "stddev": 0.008284574584892087, "min": 0.42048405974, "max": 0.44851798774, "runs": 10 }, "threads8": { "mean": 0.4184383494, "stddev": 0.0030169267377104926, "min": 0.41331068270000004, "max": 0.42439754770000004, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "extract-vec-bench.egg", "cells": { "standard": { "mean": 0.5884056435857143, "stddev": 0.11227731285586544, "min": 0.33418734730000005, "max": 0.6433909223, "runs": 7 }, "threads2": { "mean": 0.6366238812085714, "stddev": 0.007570068163421718, "min": 0.62981945778, "max": 0.64866519278, "runs": 7 }, "threads4": { "mean": 0.6360020203485713, "stddev": 0.0033724925315021174, "min": 0.63213068892, "max": 0.64170067392, "runs": 7 }, "threads8": { "mean": 0.6397941601485714, "stddev": 0.004879451539278723, "min": 0.63155947372, "max": 0.64704825772, "runs": 7 }, "proof": { "status": "na" } } }, { "name": "llama.egg", "cells": { "standard": { "mean": 0.5677807781828571, "stddev": 0.0037173767936921503, "min": 0.56402998504, "max": 0.57422966704, "runs": 7 }, "threads2": { "mean": 0.5939387449171428, "stddev": 0.0021965605895860416, "min": 0.59077168106, "max": 0.59658151406, "runs": 7 }, "threads4": { "mean": 0.5936090372028572, "stddev": 0.003302605916065461, "min": 0.58817246406, "max": 0.59652533206, "runs": 7 }, "threads8": { "mean": 0.6027485481685713, "stddev": 0.002790191392729697, "min": 0.59956509274, "max": 0.60696485174, "runs": 7 }, "proof": { "mean": 12.835347664426669, "stddev": 0.012274356997896734, "min": 12.82399592376, "max": 12.84837291076, "runs": 3 } } }, { "name": "hardboiled_conv1d_128.egg", "cells": { "standard": { "mean": 0.41877318142000003, "stddev": 0.006754730461434177, "min": 0.41058984902, "max": 0.43133975002, "runs": 10 }, "threads2": { "mean": 0.4568829012999999, "stddev": 0.00413146445952421, "min": 0.4522914194, "max": 0.4666246714, "runs": 10 }, "threads4": { "mean": 0.33143146454, "stddev": 0.010996297283979066, "min": 0.32383953583999997, "max": 0.35926219884, "runs": 10 }, "threads8": { "mean": 0.3381050923400001, "stddev": 0.0047997922836488386, "min": 0.33045584974000003, "max": 0.34533003274, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "stresstest_large_expr.egg", "cells": { "standard": { "mean": 0.39689575048000003, "stddev": 0.0023416879494789354, "min": 0.39387773928, "max": 0.40051844128, "runs": 10 }, "threads2": { "mean": 0.3990040438600001, "stddev": 0.0021685671455891043, "min": 0.39540627946000007, "max": 0.40212631746000005, "runs": 10 }, "threads4": { "mean": 0.40037297307999997, "stddev": 0.0029259966355746187, "min": 0.39374488638000005, "max": 0.40424064538000004, "runs": 10 }, "threads8": { "mean": 0.40345432926, "stddev": 0.003502637768338456, "min": 0.39858436076000003, "max": 0.40895905276000005, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "eggcc-extraction.egg", "cells": { "standard": { "mean": 0.35989100999999996, "stddev": 0.018292800500897936, "min": 0.3504743128, "max": 0.4116544378, "runs": 10 }, "threads2": { "mean": 0.3742541651400001, "stddev": 0.004459030191237198, "min": 0.36825987824, "max": 0.38262932124000004, "runs": 10 }, "threads4": { "mean": 0.38153509594, "stddev": 0.005066937282958979, "min": 0.37216382044000007, "max": 0.38897508144000004, "runs": 10 }, "threads8": { "mean": 0.38643795004, "stddev": 0.0033696965321273614, "min": 0.37966638134, "max": 0.38932648034000006, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "python_array_optimize.egg", "cells": { "standard": { "mean": 0.34125880773999995, "stddev": 0.004095612658613568, "min": 0.33684745874, "max": 0.34942333874, "runs": 10 }, "threads2": { "mean": 0.36129234495999996, "stddev": 0.00211794112880811, "min": 0.35821674056, "max": 0.36403309056000005, "runs": 10 }, "threads4": { "mean": 0.37396587172000006, "stddev": 0.004286290253649765, "min": 0.36771201032000006, "max": 0.38106405432000007, "runs": 10 }, "threads8": { "mean": 0.38784232486000003, "stddev": 0.0034612973015115487, "min": 0.38196583686, "max": 0.39296177386000003, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "rectangle.egg", "cells": { "standard": { "mean": 0.20851099727999997, "stddev": 0.001781991623085314, "min": 0.20563086398, "max": 0.21088082898, "runs": 10 }, "threads2": { "mean": 0.21009976420000004, "stddev": 0.0021333979013866545, "min": 0.2075951363, "max": 0.2138051963, "runs": 10 }, "threads4": { "mean": 0.21273429510000003, "stddev": 0.0027360413945518806, "min": 0.2090959667, "max": 0.2185014637, "runs": 10 }, "threads8": { "mean": 0.22917951105999998, "stddev": 0.0015066362842537494, "min": 0.22708109786000003, "max": 0.23168534986, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "hardboiled_conv1d_32.egg", "cells": { "standard": { "mean": 0.16894700684000002, "stddev": 0.0012078454209842532, "min": 0.16614381304, "max": 0.17045496804000002, "runs": 10 }, "threads2": { "mean": 0.17920259144, "stddev": 0.002018988185527219, "min": 0.17507820504000002, "max": 0.18106977104000002, "runs": 10 }, "threads4": { "mean": 0.18233791593999998, "stddev": 0.0014977922411500662, "min": 0.17997450824000003, "max": 0.18440188224, "runs": 10 }, "threads8": { "mean": 0.18961255723999998, "stddev": 0.0014900731861787638, "min": 0.18797917874, "max": 0.19301848374, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "luminal-llama.egg", "cells": { "standard": { "mean": 0.12241992636000003, "stddev": 0.002616657095778761, "min": 0.11928558366000001, "max": 0.12913055366, "runs": 10 }, "threads2": { "mean": 0.12569674582000004, "stddev": 0.0015824409718618896, "min": 0.12328547992000001, "max": 0.12944113292, "runs": 10 }, "threads4": { "mean": 0.12986986634, "stddev": 0.0010176187957992055, "min": 0.12824946694, "max": 0.13199193394, "runs": 10 }, "threads8": { "mean": 0.13743170828, "stddev": 0.0021889462941684047, "min": 0.13470878288000002, "max": 0.14075653888, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "header/luminal-header.egg", "cells": { "standard": { "mean": 0.0764059075, "stddev": 0.00216717893158783, "min": 0.0745342447, "max": 0.0806374077, "runs": 10 }, "threads2": { "mean": 0.07596010691999999, "stddev": 0.0011539513203165327, "min": 0.07490494832, "max": 0.07878553332, "runs": 10 }, "threads4": { "mean": 0.0769633123, "stddev": 0.0020337691406142927, "min": 0.0753928224, "max": 0.0823417324, "runs": 10 }, "threads8": { "mean": 0.07738958246000001, "stddev": 0.0003599689893451626, "min": 0.07657021526, "max": 0.07777666626, "runs": 10 }, "proof": { "mean": 0.5249182252342858, "stddev": 0.0027728462577301005, "min": 0.5219214595200001, "max": 0.5293135625200001, "runs": 7 } } }, { "name": "web-demo/herbie.egg", "cells": { "standard": { "mean": 0.07551547891999999, "stddev": 0.0007772598087742743, "min": 0.07455097751999999, "max": 0.07715717052, "runs": 10 }, "threads2": { "mean": 0.07862799964000002, "stddev": 0.0005120388674664469, "min": 0.07790335474000001, "max": 0.07955369374000001, "runs": 10 }, "threads4": { "mean": 0.0803035944, "stddev": 0.0005947997173794526, "min": 0.0797052937, "max": 0.0814737247, "runs": 10 }, "threads8": { "mean": 0.08479030476, "stddev": 0.0016147442640217433, "min": 0.08334034046000001, "max": 0.08775553046000001, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "web-demo/math.egg", "cells": { "standard": { "mean": 0.0643932007, "stddev": 0.0005668151084794952, "min": 0.0636771309, "max": 0.0654488989, "runs": 10 }, "threads2": { "mean": 0.06734371268, "stddev": 0.00037019613827401, "min": 0.06660828478, "max": 0.06779663678, "runs": 10 }, "threads4": { "mean": 0.0693438868, "stddev": 0.00048742580640312314, "min": 0.06845419159999999, "max": 0.06983140659999999, "runs": 10 }, "threads8": { "mean": 0.07329621446, "stddev": 0.0004059088899815359, "min": 0.07268273186, "max": 0.07393767286, "runs": 10 }, "proof": { "mean": 15.049224312100002, "stddev": 0.0940827488943191, "min": 14.946235403100001, "max": 15.1306608291, "runs": 3 } } }, { "name": "cykjson.egg", "cells": { "standard": { "mean": 0.04944567188000001, "stddev": 0.00027883532574918767, "min": 0.04904020278000001, "max": 0.049963947780000004, "runs": 10 }, "threads2": { "mean": 0.050643051620000004, "stddev": 0.0015785211098575224, "min": 0.04959348322, "max": 0.05413262922, "runs": 10 }, "threads4": { "mean": 0.050391649940000005, "stddev": 0.0013690850000813157, "min": 0.04962542384, "max": 0.054170539840000004, "runs": 10 }, "threads8": { "mean": 0.05121850588, "stddev": 0.000250171326983374, "min": 0.05088744808, "max": 0.05160138308, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "web-demo/typeinfer.egg", "cells": { "standard": { "mean": 0.04376828372000001, "stddev": 0.00022174221836600706, "min": 0.04341971262000001, "max": 0.044071057620000006, "runs": 10 }, "threads2": { "mean": 0.0470522984, "stddev": 0.0005153423608559114, "min": 0.0463872195, "max": 0.0481052525, "runs": 10 }, "threads4": { "mean": 0.04744404444, "stddev": 0.00042264951154124847, "min": 0.04674066694, "max": 0.04804967494, "runs": 10 }, "threads8": { "mean": 0.05130046588, "stddev": 0.0006650450878801462, "min": 0.05041203108, "max": 0.05248774508, "runs": 10 }, "proof": { "mean": 0.9267432275200002, "stddev": 0.007229169975826247, "min": 0.9197892725200001, "max": 0.9413967025200001, "runs": 7 } } }, { "name": "web-demo/rw-analysis.egg", "cells": { "standard": { "mean": 0.010243080960000001, "stddev": 0.00018867989980740727, "min": 0.01006895896, "max": 0.01066438296, "runs": 10 }, "threads2": { "mean": 0.010511293520000003, "stddev": 7.495643818949479e-05, "min": 0.01040729502, "max": 0.010635269020000001, "runs": 10 }, "threads4": { "mean": 0.010904063080000003, "stddev": 7.458663814659508e-05, "min": 0.01078595138, "max": 0.011030393380000001, "runs": 10 }, "threads8": { "mean": 0.0119393246, "stddev": 0.000663092183931214, "min": 0.011546607600000001, "max": 0.013755358600000002, "runs": 10 }, "proof": { "mean": 0.05654046776000001, "stddev": 0.0007121203277190752, "min": 0.055948530260000004, "max": 0.05826177726000001, "runs": 10 } } }, { "name": "web-demo/eqsolve.egg", "cells": { "standard": { "mean": 0.009893513740000002, "stddev": 0.00021269536902454873, "min": 0.00972034914, "max": 0.010412845140000002, "runs": 10 }, "threads2": { "mean": 0.010376323140000001, "stddev": 7.950724372338004e-05, "min": 0.01028454774, "max": 0.010553848740000002, "runs": 10 }, "threads4": { "mean": 0.01086253434, "stddev": 0.0001834205391969201, "min": 0.01063927314, "max": 0.011177377140000002, "runs": 10 }, "threads8": { "mean": 0.011629863, "stddev": 0.00014616006749713394, "min": 0.0113553739, "max": 0.011782138900000001, "runs": 10 }, "proof": { "mean": 39.07727773341333, "stddev": 0.16410273809657566, "min": 38.96144306808, "max": 39.265065988079996, "runs": 3 } } }, { "name": "web-demo/array.egg", "cells": { "standard": { "mean": 0.009877641999999999, "stddev": 0.0001139620507683733, "min": 0.009723186000000002, "max": 0.010104755, "runs": 10 }, "threads2": { "mean": 0.0116794325, "stddev": 0.00016850775331390537, "min": 0.0113942148, "max": 0.0119266948, "runs": 10 }, "threads4": { "mean": 0.013497141340000001, "stddev": 0.00022301845118557147, "min": 0.013319242440000002, "max": 0.014044853440000001, "runs": 10 }, "threads8": { "mean": 0.015145939860000002, "stddev": 0.0009576017192672817, "min": 0.01458959196, "max": 0.017825314959999998, "runs": 10 }, "proof": { "mean": 0.7150854085971429, "stddev": 0.0031096171169843734, "min": 0.7115760157400001, "max": 0.7201296997400001, "runs": 7 } } }, { "name": "web-demo/bdd.egg", "cells": { "standard": { "mean": 0.00947663634, "stddev": 0.0005022540101379535, "min": 0.00850531124, "max": 0.009892717240000001, "runs": 10 }, "threads2": { "mean": 0.007728190960000001, "stddev": 0.0002256419867381856, "min": 0.00753184336, "max": 0.00819527636, "runs": 10 }, "threads4": { "mean": 0.00815009604, "stddev": 0.00013074813620528425, "min": 0.00800320344, "max": 0.00848328444, "runs": 10 }, "threads8": { "mean": 0.00875556402, "stddev": 0.000353695014713461, "min": 0.00848129142, "max": 0.00967811542, "runs": 10 }, "proof": { "mean": 0.27188416056, "stddev": 0.013893117357801748, "min": 0.26254124866000006, "max": 0.30990614566, "runs": 10 } } }, { "name": "web-demo/combinators.egg", "cells": { "standard": { "mean": 0.0081674513, "stddev": 0.0008848723585720398, "min": 0.007472086499999999, "max": 0.0098412655, "runs": 10 }, "threads2": { "mean": 0.008187852340000001, "stddev": 0.00012838222326323504, "min": 0.008027059040000001, "max": 0.008445625040000002, "runs": 10 }, "threads4": { "mean": 0.00848377804, "stddev": 9.526782287850967e-05, "min": 0.00834733474, "max": 0.00864591674, "runs": 10 }, "threads8": { "mean": 0.00924001212, "stddev": 0.00020246191173694243, "min": 0.008948136920000002, "max": 0.00964760592, "runs": 10 }, "proof": { "mean": 0.06659644070000001, "stddev": 0.0011559034089233696, "min": 0.06524747570000002, "max": 0.06938242170000002, "runs": 10 } } }, { "name": "integer_math.egg", "cells": { "standard": { "mean": 0.006586083740000001, "stddev": 0.0002624291867490903, "min": 0.006267368440000001, "max": 0.0070587014400000005, "runs": 10 }, "threads2": { "mean": 0.006899754120000001, "stddev": 0.00011993328009003826, "min": 0.006764430520000001, "max": 0.007121132520000001, "runs": 10 }, "threads4": { "mean": 0.00732456812, "stddev": 0.00010610586858756758, "min": 0.007197137620000001, "max": 0.00747739562, "runs": 10 }, "threads8": { "mean": 0.00793542312, "stddev": 0.00018280660210546115, "min": 0.00763684142, "max": 0.00822822342, "runs": 10 }, "proof": { "mean": 0.0634408523, "stddev": 0.000445234970955152, "min": 0.0625732554, "max": 0.0641739104, "runs": 10 } } }, { "name": "web-demo/unification-points-to.egg", "cells": { "standard": { "mean": 0.0057747630199999995, "stddev": 0.00010067742282651493, "min": 0.0056527919200000006, "max": 0.00596460792, "runs": 10 }, "threads2": { "mean": 0.006701220980000001, "stddev": 0.0006546169640754391, "min": 0.00609430828, "max": 0.007831996280000001, "runs": 10 }, "threads4": { "mean": 0.006546519200000001, "stddev": 9.110978990823227e-05, "min": 0.006400462900000001, "max": 0.0066819189, "runs": 10 }, "threads8": { "mean": 0.007300511600000001, "stddev": 0.00019652345647207952, "min": 0.006970659400000001, "max": 0.007615762400000001, "runs": 10 }, "proof": { "mean": 0.061691982580000006, "stddev": 0.0004366031029003103, "min": 0.061278756780000006, "max": 0.06277000578000001, "runs": 10 } } }, { "name": "container-proofs.egg", "cells": { "standard": { "mean": 0.00557679626, "stddev": 0.00020049043158448554, "min": 0.00539795266, "max": 0.00603919366, "runs": 10 }, "threads2": { "mean": 0.00599944244, "stddev": 0.00014624763667363058, "min": 0.005894399240000001, "max": 0.006378679240000001, "runs": 10 }, "threads4": { "mean": 0.006415489000000001, "stddev": 0.00015383934018983714, "min": 0.0062782234000000004, "max": 0.0066875274000000005, "runs": 10 }, "threads8": { "mean": 0.007198732859999999, "stddev": 0.00028225397894333487, "min": 0.006853804160000001, "max": 0.007664647160000001, "runs": 10 }, "proof": { "mean": 0.05078162916000001, "stddev": 0.002250406710334727, "min": 0.04945565586, "max": 0.057038137860000004, "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-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" } ] }