{ "generated_at": "2026-07-20T13:09:24.765443Z", "commit": "a384d25325da7600644ce93b3dc42e374760d61c", "commit_short": "a384d253", "subject": "Remove retired generic-join tuning paths", "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": 23.892159871260002, "stddev": 0.1652917076152967, "min": 23.77205802026, "max": 24.08067482926, "runs": 3 }, "threads2": { "mean": 15.773903303299997, "stddev": 0.03498399897156713, "min": 15.733623527299999, "max": 15.7966955333, "runs": 3 }, "threads4": { "mean": 9.886054452533335, "stddev": 0.040730592020647154, "min": 9.8401099712, "max": 9.9177335642, "runs": 3 }, "threads8": { "mean": 9.672076447259998, "stddev": 0.02736535529098339, "min": 9.641496503259999, "max": 9.69425938226, "runs": 3 }, "proof": { "status": "na" } } }, { "name": "gemma.egg", "cells": { "standard": { "mean": 6.526588977466666, "stddev": 0.015304771693322793, "min": 6.509331126799999, "max": 6.5385135028, "runs": 3 }, "threads2": { "mean": 4.523351967359998, "stddev": 0.023332433987881745, "min": 4.488493990759999, "max": 4.544314873759999, "runs": 5 }, "threads4": { "mean": 2.98068652438, "stddev": 0.0403090058271808, "min": 2.94146704558, "max": 3.03200882258, "runs": 5 }, "threads8": { "mean": 2.9495303447200003, "stddev": 0.007602674777974454, "min": 2.94071441472, "max": 2.9612457067199998, "runs": 5 }, "proof": { "status": "na" } } }, { "name": "paged_llama.egg", "cells": { "standard": { "mean": 2.2423202297200002, "stddev": 0.02398125650847523, "min": 2.21389812632, "max": 2.27920398432, "runs": 5 }, "threads2": { "mean": 2.29789777344, "stddev": 0.010345359826179977, "min": 2.29112731304, "max": 2.3157162150399997, "runs": 5 }, "threads4": { "mean": 2.26536887942, "stddev": 0.01786405576291706, "min": 2.24004686762, "max": 2.28127256362, "runs": 5 }, "threads8": { "mean": 2.30417083246, "stddev": 0.018203511987089704, "min": 2.2877790940600002, "max": 2.33519069606, "runs": 5 }, "proof": { "mean": 32.264625740599996, "stddev": 0.14635279728131959, "min": 32.168084852599996, "max": 32.4330170986, "runs": 3 } } }, { "name": "whisper.egg", "cells": { "standard": { "mean": 1.84000405216, "stddev": 0.005776459427113438, "min": 1.82906781516, "max": 1.84421878416, "runs": 7 }, "threads2": { "mean": 1.4934981594714285, "stddev": 0.004096997156023703, "min": 1.4871656649, "max": 1.4984781249, "runs": 7 }, "threads4": { "mean": 1.0901288786942858, "stddev": 0.006583519394966642, "min": 1.08285764998, "max": 1.10023394798, "runs": 7 }, "threads8": { "mean": 1.05506493038, "stddev": 0.008495619273126087, "min": 1.03922178838, "max": 1.06761053438, "runs": 7 }, "proof": { "mean": 42.75318564716, "stddev": 0.5610584955149415, "min": 42.10793577516, "max": 43.12607078016, "runs": 3 } } }, { "name": "eggcc-2mm.egg", "cells": { "standard": { "mean": 1.4707581006914285, "stddev": 0.014827850278972786, "min": 1.44783404012, "max": 1.4928152871200002, "runs": 7 }, "threads2": { "mean": 1.8452453063142857, "stddev": 0.007057433762311692, "min": 1.8370429116, "max": 1.8560949866, "runs": 7 }, "threads4": { "mean": 1.57561978474, "stddev": 0.027902745021491822, "min": 1.55959207674, "max": 1.63742414774, "runs": 7 }, "threads8": { "mean": 1.7104257941628571, "stddev": 0.011434354344651261, "min": 1.69526101402, "max": 1.7252651370199998, "runs": 7 }, "proof": { "status": "na" } } }, { "name": "taylor51.egg", "cells": { "standard": { "mean": 1.2985781989342855, "stddev": 0.022041045257894864, "min": 1.27739257522, "max": 1.34147432822, "runs": 7 }, "threads2": { "mean": 1.2884285230314287, "stddev": 0.007779603326457145, "min": 1.27843468646, "max": 1.29803804446, "runs": 7 }, "threads4": { "mean": 1.2969776325114286, "stddev": 0.009238915689690616, "min": 1.2856886059400001, "max": 1.30869446394, "runs": 7 }, "threads8": { "mean": 1.3065850031257142, "stddev": 0.00890657402716182, "min": 1.29196944884, "max": 1.31655317084, "runs": 7 }, "proof": { "status": "na" } } }, { "name": "qwen3_moe.egg", "cells": { "standard": { "mean": 0.8617677621142859, "stddev": 0.006470725681054752, "min": 0.8550845214, "max": 0.8739340434, "runs": 7 }, "threads2": { "mean": 0.8899641504800001, "stddev": 0.0038897680791110706, "min": 0.88318504448, "max": 0.89463954148, "runs": 7 }, "threads4": { "mean": 0.7328717832914285, "stddev": 0.00285228085108207, "min": 0.72785296772, "max": 0.7363059617200001, "runs": 7 }, "threads8": { "mean": 0.7345462028599999, "stddev": 0.008103172891203412, "min": 0.72531784186, "max": 0.7470196248600001, "runs": 7 }, "proof": { "mean": 87.53732142004667, "stddev": 0.21567088470326212, "min": 87.41184944237999, "max": 87.78635426237999, "runs": 3 } } }, { "name": "qwen.egg", "cells": { "standard": { "mean": 0.6516528217371429, "stddev": 0.0028957256865497203, "min": 0.64789027588, "max": 0.6562676188800001, "runs": 7 }, "threads2": { "mean": 0.6832121399485714, "stddev": 0.00309675596562074, "min": 0.6797299225200001, "max": 0.68751090552, "runs": 7 }, "threads4": { "mean": 0.6237145771857143, "stddev": 0.0023568891803700223, "min": 0.6218771569000001, "max": 0.6286235149000001, "runs": 7 }, "threads8": { "mean": 0.6326023695542856, "stddev": 0.004521687764119353, "min": 0.62655328484, "max": 0.63916904884, "runs": 7 }, "proof": { "mean": 49.73096419160667, "stddev": 0.1932610927034108, "min": 49.511096646940004, "max": 49.87396678694, "runs": 3 } } }, { "name": "extract-vec-bench.egg", "cells": { "standard": { "mean": 0.6320449310628572, "stddev": 0.007594577326429824, "min": 0.62498683392, "max": 0.6425530699199999, "runs": 7 }, "threads2": { "mean": 0.6580016503371429, "stddev": 0.022864270771976298, "min": 0.63368135648, "max": 0.69913346748, "runs": 7 }, "threads4": { "mean": 0.631534772437143, "stddev": 0.005610768206915739, "min": 0.62502260858, "max": 0.63901192458, "runs": 7 }, "threads8": { "mean": 0.6322773267228571, "stddev": 0.00480000955883471, "min": 0.62592870958, "max": 0.6394031985799999, "runs": 7 }, "proof": { "status": "na" } } }, { "name": "math-microbenchmark.egg", "cells": { "standard": { "mean": 0.6049046735285714, "stddev": 0.010812601866235198, "min": 0.5941561301, "max": 0.6232641151, "runs": 7 }, "threads2": { "mean": 0.6174933328685714, "stddev": 0.007286154139063204, "min": 0.6062635434400001, "max": 0.6270758884400001, "runs": 7 }, "threads4": { "mean": 0.42645605029999994, "stddev": 0.008127322723996567, "min": 0.415704483, "max": 0.444204301, "runs": 10 }, "threads8": { "mean": 0.41967821204, "stddev": 0.004051959659261144, "min": 0.41375472634000005, "max": 0.42727443634, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "llama.egg", "cells": { "standard": { "mean": 0.5804215333514288, "stddev": 0.0033179140468233494, "min": 0.57570071178, "max": 0.58462350078, "runs": 7 }, "threads2": { "mean": 0.6032567307828571, "stddev": 0.003693199748830945, "min": 0.59887536664, "max": 0.60720344664, "runs": 7 }, "threads4": { "mean": 0.6016524125371429, "stddev": 0.0025277382485615948, "min": 0.59814227668, "max": 0.60546344068, "runs": 7 }, "threads8": { "mean": 0.60993691844, "stddev": 0.0018656513346475816, "min": 0.6079054344400001, "max": 0.6138837944400001, "runs": 7 }, "proof": { "mean": 32.80041171993333, "stddev": 0.5438596489089942, "min": 32.2545541116, "max": 33.3422511436, "runs": 3 } } }, { "name": "hardboiled_conv1d_128.egg", "cells": { "standard": { "mean": 0.41789292696, "stddev": 0.003190146673016161, "min": 0.41378710046, "max": 0.42172567746, "runs": 10 }, "threads2": { "mean": 0.45520356514000004, "stddev": 0.0037023964730943126, "min": 0.45140624254, "max": 0.46489615554, "runs": 10 }, "threads4": { "mean": 0.3271859395, "stddev": 0.004472360617388199, "min": 0.3242577715, "max": 0.33935706350000006, "runs": 10 }, "threads8": { "mean": 0.3370055335, "stddev": 0.004402029925730982, "min": 0.3305147527, "max": 0.34356016470000006, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "stresstest_large_expr.egg", "cells": { "standard": { "mean": 0.39016530795999993, "stddev": 0.011238499400823495, "min": 0.37114966426, "max": 0.40146442726000003, "runs": 10 }, "threads2": { "mean": 0.37777809374000004, "stddev": 0.005059437949428766, "min": 0.37307053264, "max": 0.38717470764, "runs": 10 }, "threads4": { "mean": 0.38183003334000004, "stddev": 0.003053672262640157, "min": 0.37743983584, "max": 0.38689406784, "runs": 10 }, "threads8": { "mean": 0.38254447696000005, "stddev": 0.002049783184925556, "min": 0.37994726126000006, "max": 0.38543234526000003, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "eggcc-extraction.egg", "cells": { "standard": { "mean": 0.35046615976, "stddev": 0.0025393116009981213, "min": 0.34704377186, "max": 0.35418559486, "runs": 10 }, "threads2": { "mean": 0.37569577164000006, "stddev": 0.003230354881236397, "min": 0.37250095404, "max": 0.38360232604, "runs": 10 }, "threads4": { "mean": 0.38210518190000003, "stddev": 0.003045835741657407, "min": 0.37809202610000003, "max": 0.38701394110000004, "runs": 10 }, "threads8": { "mean": 0.38812579267999997, "stddev": 0.002599756065401148, "min": 0.38359184308, "max": 0.39215498608, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "python_array_optimize.egg", "cells": { "standard": { "mean": 0.34933131512000004, "stddev": 0.005002793869172918, "min": 0.34034320872, "max": 0.35412457972000005, "runs": 10 }, "threads2": { "mean": 0.36960958022000007, "stddev": 0.002109215882946767, "min": 0.36617030882000007, "max": 0.37302316882000003, "runs": 10 }, "threads4": { "mean": 0.3796876639000001, "stddev": 0.0038211056433056856, "min": 0.37506632000000006, "max": 0.38536458900000004, "runs": 10 }, "threads8": { "mean": 0.3953007816600001, "stddev": 0.003438139011835403, "min": 0.38984057056000004, "max": 0.40053178356, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "rectangle.egg", "cells": { "standard": { "mean": 0.20671773338000005, "stddev": 0.002569087525494799, "min": 0.20256114348, "max": 0.21137870348, "runs": 10 }, "threads2": { "mean": 0.20958293177999998, "stddev": 0.0012788468746998286, "min": 0.20820339498, "max": 0.21225975098000002, "runs": 10 }, "threads4": { "mean": 0.20980810500000002, "stddev": 0.0009328140537772115, "min": 0.2084908095, "max": 0.2111528045, "runs": 10 }, "threads8": { "mean": 0.22888020692, "stddev": 0.0018195453229201196, "min": 0.22608324232000002, "max": 0.23192242732, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "luminal-llama.egg", "cells": { "standard": { "mean": 0.16909913800000004, "stddev": 0.0028332543856128133, "min": 0.16524100670000003, "max": 0.17293294770000003, "runs": 10 }, "threads2": { "mean": 0.1717925033, "stddev": 0.001959310905312022, "min": 0.16957429550000003, "max": 0.17681666750000002, "runs": 10 }, "threads4": { "mean": 0.1775211853, "stddev": 0.0028802680186566423, "min": 0.173296545, "max": 0.18207763000000002, "runs": 10 }, "threads8": { "mean": 0.18749068488000004, "stddev": 0.0038605128893100414, "min": 0.18262564398000003, "max": 0.19421140198000003, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "hardboiled_conv1d_32.egg", "cells": { "standard": { "mean": 0.16784072152, "stddev": 0.001223193037192885, "min": 0.16555126692000002, "max": 0.16935488192000003, "runs": 10 }, "threads2": { "mean": 0.18044497992000003, "stddev": 0.0008421957714470006, "min": 0.17890004382000002, "max": 0.18170163082000002, "runs": 10 }, "threads4": { "mean": 0.18399631582000003, "stddev": 0.0019488012208905513, "min": 0.18204286422000002, "max": 0.18748194922000003, "runs": 10 }, "threads8": { "mean": 0.18912671150000002, "stddev": 0.0006396361359344264, "min": 0.1885218808, "max": 0.19010830480000002, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "web-demo/herbie.egg", "cells": { "standard": { "mean": 0.07337213774000001, "stddev": 0.0005111321570910449, "min": 0.07274193664, "max": 0.07430233864, "runs": 10 }, "threads2": { "mean": 0.07737838636000001, "stddev": 0.0006989428590939937, "min": 0.07652524696, "max": 0.07833851596000001, "runs": 10 }, "threads4": { "mean": 0.07940549004000001, "stddev": 0.0005597619529985646, "min": 0.07872123214000001, "max": 0.08036492914000001, "runs": 10 }, "threads8": { "mean": 0.0825778204, "stddev": 0.000742375656326522, "min": 0.0810414487, "max": 0.0839231767, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "header/luminal-header.egg", "cells": { "standard": { "mean": 0.07309845812000001, "stddev": 0.000974180714276612, "min": 0.07144101552000001, "max": 0.07450230352000001, "runs": 10 }, "threads2": { "mean": 0.07320328290000001, "stddev": 0.0009112664661830032, "min": 0.0721891638, "max": 0.07481380680000001, "runs": 10 }, "threads4": { "mean": 0.07342601462000001, "stddev": 0.0009175388750650295, "min": 0.07210605222000001, "max": 0.07459653922000001, "runs": 10 }, "threads8": { "mean": 0.07531546720000001, "stddev": 0.001400180554025649, "min": 0.0736934399, "max": 0.07857161990000001, "runs": 10 }, "proof": { "mean": 0.5219060157114287, "stddev": 0.007004874104123842, "min": 0.5089103221400001, "max": 0.5289190661400001, "runs": 7 } } }, { "name": "web-demo/math.egg", "cells": { "standard": { "mean": 0.06333635034, "stddev": 0.0006487551166611764, "min": 0.06254845084, "max": 0.06442002484, "runs": 10 }, "threads2": { "mean": 0.06625124268, "stddev": 0.0006992999552956498, "min": 0.06517124818, "max": 0.06729602318, "runs": 10 }, "threads4": { "mean": 0.06919542932000002, "stddev": 0.0004553198916700179, "min": 0.06862883152000002, "max": 0.07000612352, "runs": 10 }, "threads8": { "mean": 0.07288916170000001, "stddev": 0.0005159944998475619, "min": 0.0723303591, "max": 0.07373652810000002, "runs": 10 }, "proof": { "mean": 14.465236974173335, "stddev": 0.024920941549896294, "min": 14.440412484840001, "max": 14.490253260840001, "runs": 3 } } }, { "name": "cykjson.egg", "cells": { "standard": { "mean": 0.05061321236000001, "stddev": 0.0003628414981726568, "min": 0.05027927616, "max": 0.05143365816, "runs": 10 }, "threads2": { "mean": 0.05131980056, "stddev": 0.00042476660456040784, "min": 0.05085828956, "max": 0.05211231956, "runs": 10 }, "threads4": { "mean": 0.05140129560000001, "stddev": 0.00023347463926659507, "min": 0.0511068426, "max": 0.051903650600000004, "runs": 10 }, "threads8": { "mean": 0.05271782570000001, "stddev": 0.000701615754266053, "min": 0.052028184600000006, "max": 0.05460268160000001, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "web-demo/typeinfer.egg", "cells": { "standard": { "mean": 0.04329208032, "stddev": 0.0004959628010426787, "min": 0.042660123220000006, "max": 0.044119418220000005, "runs": 10 }, "threads2": { "mean": 0.04702924058, "stddev": 0.00029961970600503535, "min": 0.04630895568000001, "max": 0.04736563668, "runs": 10 }, "threads4": { "mean": 0.04830878792, "stddev": 0.00044935556255914404, "min": 0.047340277720000004, "max": 0.048823864720000006, "runs": 10 }, "threads8": { "mean": 0.050383842740000004, "stddev": 0.0005631965028678227, "min": 0.04957123184, "max": 0.05118543384, "runs": 10 }, "proof": { "mean": 0.9119342358000001, "stddev": 0.010041216675834555, "min": 0.9012537348, "max": 0.9333741448, "runs": 7 } } }, { "name": "web-demo/array.egg", "cells": { "standard": { "mean": 0.00985315016, "stddev": 9.039946601464701e-05, "min": 0.009704287360000001, "max": 0.00998437236, "runs": 10 }, "threads2": { "mean": 0.01156895786, "stddev": 8.31036001980526e-05, "min": 0.01150044996, "max": 0.01175353396, "runs": 10 }, "threads4": { "mean": 0.013013454360000001, "stddev": 0.00012836144279031417, "min": 0.012774434460000001, "max": 0.01319377446, "runs": 10 }, "threads8": { "mean": 0.01428743522, "stddev": 0.0001426059798827603, "min": 0.014082845120000001, "max": 0.014538654120000001, "runs": 10 }, "proof": { "mean": 0.69917477862, "stddev": 0.003986102292531012, "min": 0.69478944862, "max": 0.70695935062, "runs": 7 } } }, { "name": "web-demo/rw-analysis.egg", "cells": { "standard": { "mean": 0.00965373096, "stddev": 9.757241163384449e-05, "min": 0.00952232356, "max": 0.00985549956, "runs": 10 }, "threads2": { "mean": 0.009900119740000001, "stddev": 7.843194676094098e-05, "min": 0.009765349340000002, "max": 0.010052230340000001, "runs": 10 }, "threads4": { "mean": 0.01081243466, "stddev": 0.0007433275918352927, "min": 0.010271087760000002, "max": 0.012220165760000002, "runs": 10 }, "threads8": { "mean": 0.01125064152, "stddev": 0.00012957646043492815, "min": 0.01105431872, "max": 0.01146815372, "runs": 10 }, "proof": { "mean": 0.057517001600000006, "stddev": 0.00040276010728107974, "min": 0.056583981400000004, "max": 0.058060333400000004, "runs": 10 } } }, { "name": "web-demo/eqsolve.egg", "cells": { "standard": { "mean": 0.009441672120000001, "stddev": 0.00012874074876281823, "min": 0.009298968820000001, "max": 0.009699290820000001, "runs": 10 }, "threads2": { "mean": 0.010497725619999999, "stddev": 0.0007602458964141068, "min": 0.00983493522, "max": 0.01145281622, "runs": 10 }, "threads4": { "mean": 0.01025070164, "stddev": 9.393656122653525e-05, "min": 0.010013504440000001, "max": 0.01037867344, "runs": 10 }, "threads8": { "mean": 0.011887997140000004, "stddev": 0.00011392277584320963, "min": 0.011721338740000002, "max": 0.012075501740000001, "runs": 10 }, "proof": { "mean": 37.33216315452, "stddev": 0.0524682874689052, "min": 37.297655321520004, "max": 37.39254279752, "runs": 3 } } }, { "name": "web-demo/combinators.egg", "cells": { "standard": { "mean": 0.00789871358, "stddev": 0.00030842261017674033, "min": 0.0075490248800000005, "max": 0.00826544488, "runs": 10 }, "threads2": { "mean": 0.01217529318, "stddev": 8.558500604045366e-05, "min": 0.01202870768, "max": 0.012318980680000001, "runs": 10 }, "threads4": { "mean": 0.01101630206, "stddev": 0.0020344803584702083, "min": 0.007682261860000001, "max": 0.01275776386, "runs": 10 }, "threads8": { "mean": 0.01020415106, "stddev": 0.00029145764810033334, "min": 0.009938260260000002, "max": 0.010962572260000001, "runs": 10 }, "proof": { "mean": 0.06452940770000001, "stddev": 0.00037619869551414644, "min": 0.0638204638, "max": 0.06508408480000001, "runs": 10 } } }, { "name": "web-demo/bdd.egg", "cells": { "standard": { "mean": 0.0068806707800000005, "stddev": 8.436052142777853e-05, "min": 0.006770657080000001, "max": 0.007091667080000001, "runs": 10 }, "threads2": { "mean": 0.00721581896, "stddev": 4.970658115436581e-05, "min": 0.007141673460000001, "max": 0.007289005460000001, "runs": 10 }, "threads4": { "mean": 0.007664864880000001, "stddev": 0.00014728821306525384, "min": 0.007521972680000001, "max": 0.007912986680000001, "runs": 10 }, "threads8": { "mean": 0.00827366378, "stddev": 0.00010323292861377996, "min": 0.008096312980000001, "max": 0.008440039980000001, "runs": 10 }, "proof": { "mean": 0.25944536460000006, "stddev": 0.001341678771480565, "min": 0.25735076320000005, "max": 0.26221838820000004, "runs": 10 } } }, { "name": "integer_math.egg", "cells": { "standard": { "mean": 0.006227034020000001, "stddev": 8.583411990862889e-05, "min": 0.006124409420000001, "max": 0.00637441142, "runs": 10 }, "threads2": { "mean": 0.007896286900000002, "stddev": 0.0003053606102576647, "min": 0.0076524333, "max": 0.0084820593, "runs": 10 }, "threads4": { "mean": 0.015977800000000004, "stddev": 0.00012507167425302744, "min": 0.0158139553, "max": 0.0162311913, "runs": 10 }, "threads8": { "mean": 0.01099591836, "stddev": 0.0027563724219511754, "min": 0.00951698546, "max": 0.01822587346, "runs": 10 }, "proof": { "mean": 0.06155525022, "stddev": 0.00039962386807741566, "min": 0.06108739262, "max": 0.062273437620000004, "runs": 10 } } }, { "name": "web-demo/unification-points-to.egg", "cells": { "standard": { "mean": 0.005270638100000001, "stddev": 0.0001361709444585087, "min": 0.0051143216, "max": 0.005578598600000001, "runs": 10 }, "threads2": { "mean": 0.007181486280000001, "stddev": 3.240608578046896e-05, "min": 0.00714132978, "max": 0.00724439378, "runs": 10 }, "threads4": { "mean": 0.008043490940000002, "stddev": 5.95612613126651e-05, "min": 0.00794461434, "max": 0.008146478339999999, "runs": 10 }, "threads8": { "mean": 0.01255005936, "stddev": 0.0011242979456765007, "min": 0.01139480116, "max": 0.01374713016, "runs": 10 }, "proof": { "mean": 0.06351055400000001, "stddev": 0.0008390301109729874, "min": 0.0619180033, "max": 0.0646284073, "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" } ] }