{ "generated_at": "2026-07-25T08:20:36.225427Z", "commit": "c7fc1d77845ef3ffe596fdad06aad367862c696f", "commit_short": "c7fc1d77", "subject": "Use local frontiers for all-intersect DVO", "branch": "ezr-better-parallel-packed-trie", "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": 6.785702614559999, "stddev": 0.03697382246752083, "min": 6.74744728256, "max": 6.82124553956, "runs": 3 }, "threads2": { "mean": 5.503127144553333, "stddev": 0.015858953499925194, "min": 5.4852687722199995, "max": 5.51556564822, "runs": 3 }, "threads4": { "mean": 4.33010233634, "stddev": 0.020904783994175075, "min": 4.31002915934, "max": 4.3531962253400005, "runs": 5 }, "threads8": { "mean": 4.3058844471199995, "stddev": 0.03514836481937722, "min": 4.25829653312, "max": 4.34300784712, "runs": 5 }, "proof": { "status": "na" } } }, { "name": "gemma.egg", "cells": { "standard": { "mean": 1.96211623118, "stddev": 0.014126861680737358, "min": 1.94984325218, "max": 1.98296671218, "runs": 5 }, "threads2": { "mean": 1.7697691452314284, "stddev": 0.01053567556312251, "min": 1.75654500466, "max": 1.78901730866, "runs": 7 }, "threads4": { "mean": 1.4155662754914284, "stddev": 0.014937391596853129, "min": 1.3959862019199998, "max": 1.43557971092, "runs": 7 }, "threads8": { "mean": 1.3854106683114282, "stddev": 0.006521829834502894, "min": 1.37852192174, "max": 1.39751373274, "runs": 7 }, "proof": { "status": "na" } } }, { "name": "paged_llama.egg", "cells": { "standard": { "mean": 1.6332975452885716, "stddev": 0.007224581751058686, "min": 1.62339660586, "max": 1.64464361686, "runs": 7 }, "threads2": { "mean": 1.7163743594228573, "stddev": 0.018908968129878995, "min": 1.6795101532799999, "max": 1.73724722028, "runs": 7 }, "threads4": { "mean": 1.7112793099628572, "stddev": 0.0528427916854997, "min": 1.67398175282, "max": 1.82725909982, "runs": 7 }, "threads8": { "mean": 1.7112377468542859, "stddev": 0.012425851315782995, "min": 1.6943772011400002, "max": 1.7253728881400001, "runs": 7 }, "proof": { "mean": 32.350652203193334, "stddev": 0.34585783641030415, "min": 32.09854788186, "max": 32.74493971086, "runs": 3 } } }, { "name": "eggcc-2mm.egg", "cells": { "standard": { "mean": 1.582920317642857, "stddev": 0.005381992522037132, "min": 1.5752571414999998, "max": 1.5877084734999998, "runs": 7 }, "threads2": { "mean": 1.9408109529514286, "stddev": 0.011017048443498175, "min": 1.92400624038, "max": 1.9597900883800001, "runs": 7 }, "threads4": { "mean": 1.7967002395085714, "stddev": 0.04543395334055121, "min": 1.75821497608, "max": 1.87424145008, "runs": 7 }, "threads8": { "mean": 1.7982646358742858, "stddev": 0.008350774417678791, "min": 1.78636779216, "max": 1.81125914316, "runs": 7 }, "proof": { "status": "na" } } }, { "name": "taylor51.egg", "cells": { "standard": { "mean": 1.3232095430171429, "stddev": 0.010215341404045427, "min": 1.31015931116, "max": 1.3364100561599999, "runs": 7 }, "threads2": { "mean": 1.3222211813657143, "stddev": 0.00862166766765435, "min": 1.31432660908, "max": 1.33910748308, "runs": 7 }, "threads4": { "mean": 1.3320028441142857, "stddev": 0.005814251132450152, "min": 1.3260419174, "max": 1.3424145824, "runs": 7 }, "threads8": { "mean": 1.3298061883971428, "stddev": 0.003555393427298495, "min": 1.3271615915400001, "max": 1.33725870654, "runs": 7 }, "proof": { "status": "na" } } }, { "name": "whisper.egg", "cells": { "standard": { "mean": 1.1229328456799998, "stddev": 0.006817226468511241, "min": 1.1144736956799999, "max": 1.13619619268, "runs": 7 }, "threads2": { "mean": 1.0271066210200002, "stddev": 0.0031322060745980797, "min": 1.0209639240200001, "max": 1.03108244802, "runs": 7 }, "threads4": { "mean": 0.8316399104085715, "stddev": 0.013927132353231043, "min": 0.8185408719800001, "max": 0.8542869999800001, "runs": 7 }, "threads8": { "mean": 0.8086617568628572, "stddev": 0.0017449693800392133, "min": 0.80629061372, "max": 0.81127920672, "runs": 7 }, "proof": { "mean": 43.939354488259994, "stddev": 0.3803887096558281, "min": 43.68052709425999, "max": 44.376098391259994, "runs": 3 } } }, { "name": "qwen3_moe.egg", "cells": { "standard": { "mean": 0.7127148577942857, "stddev": 0.009410624886488394, "min": 0.70484918908, "max": 0.7295390290800001, "runs": 7 }, "threads2": { "mean": 0.78873214706, "stddev": 0.0027891193783754066, "min": 0.7846101460600001, "max": 0.7926518130600001, "runs": 7 }, "threads4": { "mean": 0.6925558067114287, "stddev": 0.0047864253162661664, "min": 0.68731440114, "max": 0.69977711714, "runs": 7 }, "threads8": { "mean": 0.6961000724142858, "stddev": 0.002454800936948297, "min": 0.6932189587, "max": 0.6996488767000001, "runs": 7 }, "proof": { "mean": 89.91418865776667, "stddev": 0.7414781826593654, "min": 89.1926716881, "max": 90.6741336181, "runs": 3 } } }, { "name": "extract-vec-bench.egg", "cells": { "standard": { "mean": 0.6349010247914287, "stddev": 0.008183643821409941, "min": 0.6268096642200001, "max": 0.65170392322, "runs": 7 }, "threads2": { "mean": 0.6391211634028572, "stddev": 0.008106305485509174, "min": 0.62995956826, "max": 0.65116028926, "runs": 7 }, "threads4": { "mean": 0.6366847763228572, "stddev": 0.011138687611701148, "min": 0.6266270581800001, "max": 0.6596185141800001, "runs": 7 }, "threads8": { "mean": 0.6325659696028572, "stddev": 0.00337773489797973, "min": 0.62845137546, "max": 0.63852983946, "runs": 7 }, "proof": { "status": "na" } } }, { "name": "math-microbenchmark.egg", "cells": { "standard": { "mean": 0.6094750171771429, "stddev": 0.012234039571683852, "min": 0.59744806632, "max": 0.6273229023200001, "runs": 7 }, "threads2": { "mean": 0.6200603926428573, "stddev": 0.008207441701897569, "min": 0.6052645645, "max": 0.6282161235, "runs": 7 }, "threads4": { "mean": 0.44331384758, "stddev": 0.014302540298229159, "min": 0.42477393948000003, "max": 0.46835966648000005, "runs": 10 }, "threads8": { "mean": 0.44051721720000003, "stddev": 0.004751598090581291, "min": 0.4307700528, "max": 0.4462111118, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "qwen.egg", "cells": { "standard": { "mean": 0.5575142810600001, "stddev": 0.0038547528515465238, "min": 0.55295084906, "max": 0.5646002920600001, "runs": 7 }, "threads2": { "mean": 0.5932438549314287, "stddev": 0.0032257245823577338, "min": 0.5870310253600001, "max": 0.5963673703600001, "runs": 7 }, "threads4": { "mean": 0.5523542843542858, "stddev": 0.002296086820987537, "min": 0.54978390464, "max": 0.5561303796400001, "runs": 7 }, "threads8": { "mean": 0.5623502687257144, "stddev": 0.0038953786573228746, "min": 0.5577626224400001, "max": 0.5684254134400001, "runs": 7 }, "proof": { "mean": 50.495952997479996, "stddev": 0.32477354580497414, "min": 50.12102497748, "max": 50.69045908948, "runs": 3 } } }, { "name": "llama.egg", "cells": { "standard": { "mean": 0.504133109457143, "stddev": 0.0019625959422260413, "min": 0.5011588576, "max": 0.5071168816, "runs": 7 }, "threads2": { "mean": 0.5351357200085715, "stddev": 0.003377582845499076, "min": 0.53035171358, "max": 0.54133473558, "runs": 7 }, "threads4": { "mean": 0.5403291470457143, "stddev": 0.0031390819429894853, "min": 0.5353748847600001, "max": 0.5440302657600001, "runs": 7 }, "threads8": { "mean": 0.5523234668314285, "stddev": 0.002797509173838828, "min": 0.54920588626, "max": 0.55638791326, "runs": 7 }, "proof": { "mean": 33.47279242932, "stddev": 0.5909148665331244, "min": 32.95673553432, "max": 34.11740119232, "runs": 3 } } }, { "name": "hardboiled_conv1d_128.egg", "cells": { "standard": { "mean": 0.39365443122000005, "stddev": 0.0052402478738104935, "min": 0.38696424982, "max": 0.40319311282000003, "runs": 10 }, "threads2": { "mean": 0.42761940234000007, "stddev": 0.0017418840450278232, "min": 0.42526438694, "max": 0.43033397294000003, "runs": 10 }, "threads4": { "mean": 0.30738337802000004, "stddev": 0.0033264686734409254, "min": 0.30352107072, "max": 0.31608928072000003, "runs": 10 }, "threads8": { "mean": 0.31231515690000006, "stddev": 0.0027316327272956247, "min": 0.30940991430000003, "max": 0.31801559530000006, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "stresstest_large_expr.egg", "cells": { "standard": { "mean": 0.39272249026, "stddev": 0.010445347260952115, "min": 0.37393410256000004, "max": 0.40191410156, "runs": 10 }, "threads2": { "mean": 0.38061467136, "stddev": 0.007799791791811393, "min": 0.37363423516000005, "max": 0.40051750216000004, "runs": 10 }, "threads4": { "mean": 0.38608713694, "stddev": 0.010771355296646502, "min": 0.37867767854000006, "max": 0.40878419854000003, "runs": 10 }, "threads8": { "mean": 0.38330922681999996, "stddev": 0.00177370818441854, "min": 0.38064997702000003, "max": 0.38761972002000006, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "python_array_optimize.egg", "cells": { "standard": { "mean": 0.37548816876, "stddev": 0.0036696297584866765, "min": 0.36889908896000007, "max": 0.38118863996, "runs": 10 }, "threads2": { "mean": 0.40630693278, "stddev": 0.0037565421350834816, "min": 0.40129510678, "max": 0.41167116278000004, "runs": 10 }, "threads4": { "mean": 0.4156919038, "stddev": 0.003250266095450859, "min": 0.4114904138, "max": 0.42296274980000004, "runs": 10 }, "threads8": { "mean": 0.43215651922000003, "stddev": 0.005405193538333939, "min": 0.42607701192, "max": 0.44135743792000004, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "eggcc-extraction.egg", "cells": { "standard": { "mean": 0.35721564886, "stddev": 0.0023843740329689504, "min": 0.35460784706000004, "max": 0.36217497306, "runs": 10 }, "threads2": { "mean": 0.37904843538, "stddev": 0.0018234816590762986, "min": 0.37623413928000005, "max": 0.38294769928000005, "runs": 10 }, "threads4": { "mean": 0.38849755302000005, "stddev": 0.0016123881730056638, "min": 0.38625643212000005, "max": 0.39141041012000005, "runs": 10 }, "threads8": { "mean": 0.39493909842, "stddev": 0.002526191826839287, "min": 0.39152947682, "max": 0.39971942682, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "rectangle.egg", "cells": { "standard": { "mean": 0.20868510503999999, "stddev": 0.0034293945374164396, "min": 0.20276763384000002, "max": 0.21298225284, "runs": 10 }, "threads2": { "mean": 0.21010148509999999, "stddev": 0.002880918364918249, "min": 0.2065697552, "max": 0.21611441320000002, "runs": 10 }, "threads4": { "mean": 0.21305274960000004, "stddev": 0.0026632427109842304, "min": 0.20877618280000002, "max": 0.21766650580000002, "runs": 10 }, "threads8": { "mean": 0.22704944964, "stddev": 0.002373416881797363, "min": 0.22346186604, "max": 0.22963809004000002, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "hardboiled_conv1d_32.egg", "cells": { "standard": { "mean": 0.16569793294000004, "stddev": 0.0011353821396435657, "min": 0.16371577934, "max": 0.16720018234, "runs": 10 }, "threads2": { "mean": 0.17588409974000002, "stddev": 0.0011729631814501825, "min": 0.17441870754000002, "max": 0.17782011254000002, "runs": 10 }, "threads4": { "mean": 0.17943868304000005, "stddev": 0.0014794857058592912, "min": 0.17795111624, "max": 0.18287896524000002, "runs": 10 }, "threads8": { "mean": 0.18238501030000004, "stddev": 0.001266527340559589, "min": 0.18095089690000002, "max": 0.18475155790000003, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "luminal-llama.egg", "cells": { "standard": { "mean": 0.14042902346000002, "stddev": 0.002717757475361219, "min": 0.13671710246000002, "max": 0.14486481446000002, "runs": 10 }, "threads2": { "mean": 0.14512596948000003, "stddev": 0.0028103614914458943, "min": 0.14148027278000003, "max": 0.14850082078000001, "runs": 10 }, "threads4": { "mean": 0.14700364664, "stddev": 0.001139006792766513, "min": 0.14556413904, "max": 0.14864456004, "runs": 10 }, "threads8": { "mean": 0.1543834366, "stddev": 0.0015295517347226624, "min": 0.1526890746, "max": 0.1570692316, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "web-demo/herbie.egg", "cells": { "standard": { "mean": 0.07489109016000002, "stddev": 0.0007207942984304712, "min": 0.07394965926000001, "max": 0.07636098826, "runs": 10 }, "threads2": { "mean": 0.07880942397999999, "stddev": 0.0007986244921331869, "min": 0.07757721388, "max": 0.07995566088, "runs": 10 }, "threads4": { "mean": 0.07868154772, "stddev": 0.0006929148158650847, "min": 0.07720731742, "max": 0.07973033042, "runs": 10 }, "threads8": { "mean": 0.08463052878, "stddev": 0.00110945567170921, "min": 0.08318621198000001, "max": 0.08622246898000001, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "header/luminal-header.egg", "cells": { "standard": { "mean": 0.0724954857, "stddev": 0.0009138951229250746, "min": 0.0708069424, "max": 0.07392300140000001, "runs": 10 }, "threads2": { "mean": 0.07305648546000001, "stddev": 0.0007061975628516101, "min": 0.07170739746000002, "max": 0.07414276046000001, "runs": 10 }, "threads4": { "mean": 0.07318024204000001, "stddev": 0.0008983454135044281, "min": 0.07240157304000001, "max": 0.07509445604000001, "runs": 10 }, "threads8": { "mean": 0.07423499668, "stddev": 0.0010208480270241346, "min": 0.07303446188000001, "max": 0.07648716888000001, "runs": 10 }, "proof": { "mean": 0.5172769416285716, "stddev": 0.008155767084319313, "min": 0.5060922812, "max": 0.5260246352000001, "runs": 7 } } }, { "name": "web-demo/math.egg", "cells": { "standard": { "mean": 0.06411973573999999, "stddev": 0.0005801211708589555, "min": 0.06312066084, "max": 0.06505245784, "runs": 10 }, "threads2": { "mean": 0.06741603026000001, "stddev": 0.0005154162307538014, "min": 0.06664993256, "max": 0.06815018856, "runs": 10 }, "threads4": { "mean": 0.06963777734000001, "stddev": 0.0007278659794961943, "min": 0.06818985714, "max": 0.07068859914, "runs": 10 }, "threads8": { "mean": 0.07492323492000001, "stddev": 0.0013853582460478732, "min": 0.07325841812, "max": 0.07849005412, "runs": 10 }, "proof": { "mean": 15.200479664500001, "stddev": 0.015462570734360281, "min": 15.1843717115, "max": 15.2152038345, "runs": 3 } } }, { "name": "cykjson.egg", "cells": { "standard": { "mean": 0.05223370422000001, "stddev": 0.00034305695752882387, "min": 0.051586434820000006, "max": 0.052706615820000004, "runs": 10 }, "threads2": { "mean": 0.053254451680000016, "stddev": 0.0002877729530020326, "min": 0.05275493288000001, "max": 0.053513137880000006, "runs": 10 }, "threads4": { "mean": 0.053617128380000004, "stddev": 0.00016152492072264195, "min": 0.05343851568, "max": 0.05388073368, "runs": 10 }, "threads8": { "mean": 0.05505800382, "stddev": 0.00030086207246688107, "min": 0.054643718620000004, "max": 0.05549993762000001, "runs": 10 }, "proof": { "status": "na" } } }, { "name": "web-demo/typeinfer.egg", "cells": { "standard": { "mean": 0.04549682362, "stddev": 0.00043742057748202834, "min": 0.04463054002, "max": 0.04607414202, "runs": 10 }, "threads2": { "mean": 0.049093262, "stddev": 0.0005530687423564399, "min": 0.0482437958, "max": 0.04985923380000001, "runs": 10 }, "threads4": { "mean": 0.0505852002, "stddev": 0.0007088715025940026, "min": 0.0496776333, "max": 0.052293997300000006, "runs": 10 }, "threads8": { "mean": 0.05264362158, "stddev": 0.0008487962480414319, "min": 0.05164140568, "max": 0.054881597680000005, "runs": 10 }, "proof": { "mean": 0.9463754605, "stddev": 0.005431146601709938, "min": 0.9411645045, "max": 0.9540957635, "runs": 7 } } }, { "name": "web-demo/rw-analysis.egg", "cells": { "standard": { "mean": 0.010856367920000002, "stddev": 0.0005709777777762649, "min": 0.010156952020000002, "max": 0.01136787002, "runs": 10 }, "threads2": { "mean": 0.011620964200000004, "stddev": 8.518156962655954e-05, "min": 0.011512780600000001, "max": 0.0117445046, "runs": 10 }, "threads4": { "mean": 0.014004510500000003, "stddev": 0.00011599533712376349, "min": 0.0138333398, "max": 0.0141740328, "runs": 10 }, "threads8": { "mean": 0.01494759416, "stddev": 0.00011082781148796141, "min": 0.01475427806, "max": 0.01511879406, "runs": 10 }, "proof": { "mean": 0.057255375399999996, "stddev": 0.0006996882152788074, "min": 0.05617262280000001, "max": 0.05833309280000001, "runs": 10 } } }, { "name": "web-demo/array.egg", "cells": { "standard": { "mean": 0.00979847462, "stddev": 0.00010458157737405022, "min": 0.00962951322, "max": 0.009943693219999999, "runs": 10 }, "threads2": { "mean": 0.01297392564, "stddev": 5.641083486707139e-05, "min": 0.012911202840000002, "max": 0.013083365840000001, "runs": 10 }, "threads4": { "mean": 0.014474794240000002, "stddev": 0.000787703880561788, "min": 0.01386887714, "max": 0.01579428414, "runs": 10 }, "threads8": { "mean": 0.015396209880000001, "stddev": 0.00024805143219510864, "min": 0.015094390280000002, "max": 0.01586386928, "runs": 10 }, "proof": { "mean": 0.721517070677143, "stddev": 0.003081273031137853, "min": 0.7179070108200001, "max": 0.7275255258200001, "runs": 7 } } }, { "name": "web-demo/eqsolve.egg", "cells": { "standard": { "mean": 0.009220303539999999, "stddev": 8.436291824703291e-05, "min": 0.00909675594, "max": 0.00936409694, "runs": 10 }, "threads2": { "mean": 0.01046126182, "stddev": 0.0003721375323545049, "min": 0.01018878152, "max": 0.01103420052, "runs": 10 }, "threads4": { "mean": 0.011188036880000002, "stddev": 8.265568522766912e-05, "min": 0.010995605180000001, "max": 0.01131344618, "runs": 10 }, "threads8": { "mean": 0.01165296438, "stddev": 0.00034823245219064693, "min": 0.01130522098, "max": 0.012112525980000002, "runs": 10 }, "proof": { "mean": 41.79310342956666, "stddev": 0.05951668610748723, "min": 41.7585342919, "max": 41.8618269619, "runs": 3 } } }, { "name": "integer_math.egg", "cells": { "standard": { "mean": 0.008591751, "stddev": 0.0038156768620569207, "min": 0.0059027621, "max": 0.015517395100000001, "runs": 10 }, "threads2": { "mean": 0.0069109135400000025, "stddev": 4.802706055976253e-05, "min": 0.0068141578400000005, "max": 0.00697017784, "runs": 10 }, "threads4": { "mean": 0.01014411362, "stddev": 0.0001248114402655284, "min": 0.00993995822, "max": 0.01034532922, "runs": 10 }, "threads8": { "mean": 0.010743546360000002, "stddev": 0.0001411409941380131, "min": 0.01052351676, "max": 0.010927037760000001, "runs": 10 }, "proof": { "mean": 0.06321557904, "stddev": 0.0004283896877504539, "min": 0.06260228664, "max": 0.06401482064, "runs": 10 } } }, { "name": "web-demo/combinators.egg", "cells": { "standard": { "mean": 0.007481940900000002, "stddev": 0.000622810551570183, "min": 0.007124378300000001, "max": 0.009053079300000001, "runs": 10 }, "threads2": { "mean": 0.0105011238, "stddev": 0.00047960295138885483, "min": 0.0100154991, "max": 0.0111006941, "runs": 10 }, "threads4": { "mean": 0.011078991840000002, "stddev": 0.0006893725707548538, "min": 0.00917897024, "max": 0.011439941240000001, "runs": 10 }, "threads8": { "mean": 0.010638977140000002, "stddev": 8.065046992912652e-05, "min": 0.01053074444, "max": 0.01073621244, "runs": 10 }, "proof": { "mean": 0.06570876396000001, "stddev": 0.0004787878969787027, "min": 0.06453451876, "max": 0.06626661176000001, "runs": 10 } } }, { "name": "web-demo/bdd.egg", "cells": { "standard": { "mean": 0.007424401860000001, "stddev": 0.00020138860915310544, "min": 0.0070543266600000005, "max": 0.00762332366, "runs": 10 }, "threads2": { "mean": 0.0074606289, "stddev": 0.00014420239688904088, "min": 0.0073424530000000005, "max": 0.007835987, "runs": 10 }, "threads4": { "mean": 0.00831834482, "stddev": 6.050993996296992e-05, "min": 0.008256465720000002, "max": 0.00841895372, "runs": 10 }, "threads8": { "mean": 0.01351497646, "stddev": 0.0003111455287388486, "min": 0.013257470660000001, "max": 0.01432102866, "runs": 10 }, "proof": { "mean": 0.25764217214, "stddev": 0.0010486248448669496, "min": 0.25636080084, "max": 0.26008334284, "runs": 10 } } }, { "name": "web-demo/unification-points-to.egg", "cells": { "standard": { "mean": 0.0053513931600000005, "stddev": 6.259989695909168e-05, "min": 0.00524129936, "max": 0.00544184536, "runs": 10 }, "threads2": { "mean": 0.006777751779999999, "stddev": 0.0002481363651283748, "min": 0.006455721480000001, "max": 0.00703814048, "runs": 10 }, "threads4": { "mean": 0.008554201520000002, "stddev": 8.845448629065965e-05, "min": 0.00843510002, "max": 0.008673626020000002, "runs": 10 }, "threads8": { "mean": 0.01872102252, "stddev": 0.00036087360203477853, "min": 0.01821613552, "max": 0.01952027152, "runs": 10 }, "proof": { "mean": 0.06306149711999999, "stddev": 0.0006657575809088474, "min": 0.06210551652, "max": 0.06407979952000001, "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" } ] }