Make Delay and Force by-need by zliu41 · Pull Request #7614 · IntersectMBO/plutus

zliu41 · 2026-02-22T15:20:01Z

This realizes the full potential of UPLC.

github-actions · 2026-02-22T15:20:15Z

Execution Budget Golden Diff

1519f9e (master) vs 86c9bdb

output

plutus-benchmark/bitwise/test/9.6/Ed25519.golden.eval

Metric	Old	New	Δ%
CPU	`1_628_853_655_874`	`1_120_813_938_390`	-31.19%
Memory	`4_738_061_278`	`3_171_460_442`	-33.06%

plutus-benchmark/cardano-loans/test/9.6/main.golden.eval

Metric	Old	New	Δ%
CPU	`110_972_889`	`110_492_889`	-0.43%
Memory	`621_550`	`618_550`	-0.48%

plutus-benchmark/coop/test/9.6/certMpBurning.golden.eval

Metric	Old	New	Δ%
CPU	`1_840_950_144`	`1_813_270_144`	-1.50%
Memory	`10_758_518`	`10_585_518`	-1.61%

plutus-benchmark/coop/test/9.6/fsMpMinting.golden.eval

Metric	Old	New	Δ%
CPU	`562_518_641`	`559_798_641`	-0.48%
Memory	`3_012_367`	`2_995_367`	-0.56%

plutus-benchmark/nofib/test/9.6/clausify-F5.golden.eval

Metric	Old	New	Δ%
CPU	`42_701_722_450`	`42_414_234_450`	-0.67%
Memory	`259_362_190`	`257_565_390`	-0.69%

plutus-benchmark/nofib/test/9.6/knights10-4x4.golden.eval

Metric	Old	New	Δ%
CPU	`1_023_470_754`	`1_015_054_754`	-0.82%
Memory	`5_395_058`	`5_342_458`	-0.97%

plutus-benchmark/nofib/test/9.6/queens5-fc.golden.eval

Metric	Old	New	Δ%
CPU	`119_023_989_782`	`118_763_973_782`	-0.22%
Memory	`693_842_855`	`692_217_755`	-0.23%

plutus-benchmark/validation/test/9.6/auction_1-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`185_243_960`	`154_524_120`	-16.58%
Memory	`831_092`	`716_108`	-13.84%

plutus-benchmark/validation/test/9.6/auction_1-2.flat.golden.eval

Metric	Old	New	Δ%
CPU	`628_192_291`	`550_220_254`	-12.41%
Memory	`3_455_036`	`3_061_970`	-11.38%

plutus-benchmark/validation/test/9.6/auction_1-3.flat.golden.eval

Metric	Old	New	Δ%
CPU	`634_004_628`	`554_158_710`	-12.59%
Memory	`3_463_550`	`3_066_576`	-11.46%

plutus-benchmark/validation/test/9.6/auction_1-4.flat.golden.eval

Metric	Old	New	Δ%
CPU	`239_873_979`	`200_112_185`	-16.58%
Memory	`1_053_348`	`903_440`	-14.23%

plutus-benchmark/validation/test/9.6/auction_2-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`185_243_960`	`154_524_120`	-16.58%
Memory	`831_092`	`716_108`	-13.84%

plutus-benchmark/validation/test/9.6/auction_2-2.flat.golden.eval

Metric	Old	New	Δ%
CPU	`628_192_291`	`550_220_254`	-12.41%
Memory	`3_455_036`	`3_061_970`	-11.38%

plutus-benchmark/validation/test/9.6/auction_2-3.flat.golden.eval

Metric	Old	New	Δ%
CPU	`829_358_119`	`730_813_740`	-11.88%
Memory	`4_603_050`	`4_097_702`	-10.98%

plutus-benchmark/validation/test/9.6/auction_2-4.flat.golden.eval

Metric	Old	New	Δ%
CPU	`634_004_628`	`554_158_710`	-12.59%
Memory	`3_463_550`	`3_066_576`	-11.46%

plutus-benchmark/validation/test/9.6/auction_2-5.flat.golden.eval

Metric	Old	New	Δ%
CPU	`239_873_979`	`200_112_185`	-16.58%
Memory	`1_053_348`	`903_440`	-14.23%

plutus-benchmark/validation/test/9.6/coop-3.flat.golden.eval

Metric	Old	New	Δ%
CPU	`2_146_553_523`	`2_117_593_523`	-1.35%
Memory	`11_725_239`	`11_544_239`	-1.54%

plutus-benchmark/validation/test/9.6/coop-4.flat.golden.eval

Metric	Old	New	Δ%
CPU	`896_329_242`	`892_489_242`	-0.43%
Memory	`3_989_698`	`3_965_698`	-0.60%

plutus-benchmark/validation/test/9.6/coop-5.flat.golden.eval

Metric	Old	New	Δ%
CPU	`415_168_389`	`413_888_389`	-0.31%
Memory	`1_716_514`	`1_708_514`	-0.47%

plutus-benchmark/validation/test/9.6/crowdfunding-success-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`215_172_293`	`179_947_764`	-16.37%
Memory	`959_418`	`826_878`	-13.81%

plutus-benchmark/validation/test/9.6/crowdfunding-success-2.flat.golden.eval

Metric	Old	New	Δ%
CPU	`215_172_293`	`179_947_764`	-16.37%
Memory	`959_418`	`826_878`	-13.81%

plutus-benchmark/validation/test/9.6/crowdfunding-success-3.flat.golden.eval

Metric	Old	New	Δ%
CPU	`215_172_293`	`179_947_764`	-16.37%
Memory	`959_418`	`826_878`	-13.81%

plutus-benchmark/validation/test/9.6/currency-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`260_867_407`	`226_691_296`	-13.10%
Memory	`1_365_668`	`1_216_640`	-10.91%

plutus-benchmark/validation/test/9.6/escrow-redeem_1-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`354_980_023`	`306_991_193`	-13.52%
Memory	`1_791_342`	`1_588_294`	-11.33%

plutus-benchmark/validation/test/9.6/escrow-redeem_1-2.flat.golden.eval

Metric	Old	New	Δ%
CPU	`354_980_023`	`306_991_193`	-13.52%
Memory	`1_791_342`	`1_588_294`	-11.33%

plutus-benchmark/validation/test/9.6/escrow-redeem_2-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`414_701_543`	`360_069_215`	-13.17%
Memory	`2_106_710`	`1_871_530`	-11.16%

plutus-benchmark/validation/test/9.6/escrow-redeem_2-2.flat.golden.eval

Metric	Old	New	Δ%
CPU	`414_701_543`	`360_069_215`	-13.17%
Memory	`2_106_710`	`1_871_530`	-11.16%

plutus-benchmark/validation/test/9.6/escrow-redeem_2-3.flat.golden.eval

Metric	Old	New	Δ%
CPU	`414_701_543`	`360_069_215`	-13.17%
Memory	`2_106_710`	`1_871_530`	-11.16%

plutus-benchmark/validation/test/9.6/escrow-refund-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`158_714_514`	`131_928_052`	-16.88%
Memory	`719_208`	`619_528`	-13.86%

plutus-benchmark/validation/test/9.6/future-increase-margin-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`260_892_271`	`226_716_160`	-13.10%
Memory	`1_365_668`	`1_216_640`	-10.91%

plutus-benchmark/validation/test/9.6/future-increase-margin-2.flat.golden.eval

Metric	Old	New	Δ%
CPU	`550_162_284`	`483_273_200`	-12.16%
Memory	`2_880_706`	`2_577_590`	-10.52%

plutus-benchmark/validation/test/9.6/future-increase-margin-3.flat.golden.eval

Metric	Old	New	Δ%
CPU	`550_162_284`	`483_273_200`	-12.16%
Memory	`2_880_706`	`2_577_590`	-10.52%

plutus-benchmark/validation/test/9.6/future-increase-margin-4.flat.golden.eval

Metric	Old	New	Δ%
CPU	`476_262_153`	`420_206_944`	-11.77%
Memory	`2_541_290`	`2_279_586`	-10.30%

plutus-benchmark/validation/test/9.6/future-increase-margin-5.flat.golden.eval

Metric	Old	New	Δ%
CPU	`801_539_739`	`682_045_333`	-14.91%
Memory	`4_102_467`	`3_468_445`	-15.45%

plutus-benchmark/validation/test/9.6/future-pay-out-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`260_892_271`	`226_716_160`	-13.10%
Memory	`1_365_668`	`1_216_640`	-10.91%

plutus-benchmark/validation/test/9.6/future-pay-out-2.flat.golden.eval

Metric	Old	New	Δ%
CPU	`550_162_284`	`483_273_200`	-12.16%
Memory	`2_880_706`	`2_577_590`	-10.52%

plutus-benchmark/validation/test/9.6/future-pay-out-3.flat.golden.eval

Metric	Old	New	Δ%
CPU	`550_162_284`	`483_273_200`	-12.16%
Memory	`2_880_706`	`2_577_590`	-10.52%

plutus-benchmark/validation/test/9.6/future-pay-out-4.flat.golden.eval

Metric	Old	New	Δ%
CPU	`800_034_975`	`680_604_569`	-14.93%
Memory	`4_094_663`	`3_461_041`	-15.47%

plutus-benchmark/validation/test/9.6/future-settle-early-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`260_892_271`	`226_716_160`	-13.10%
Memory	`1_365_668`	`1_216_640`	-10.91%

plutus-benchmark/validation/test/9.6/future-settle-early-2.flat.golden.eval

Metric	Old	New	Δ%
CPU	`550_162_284`	`483_273_200`	-12.16%
Memory	`2_880_706`	`2_577_590`	-10.52%

plutus-benchmark/validation/test/9.6/future-settle-early-3.flat.golden.eval

Metric	Old	New	Δ%
CPU	`550_162_284`	`483_273_200`	-12.16%
Memory	`2_880_706`	`2_577_590`	-10.52%

plutus-benchmark/validation/test/9.6/future-settle-early-4.flat.golden.eval

Metric	Old	New	Δ%
CPU	`598_224_552`	`534_046_156`	-10.73%
Memory	`2_916_171`	`2_616_167`	-10.29%

plutus-benchmark/validation/test/9.6/game-sm-success_1-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`378_390_466`	`330_142_849`	-12.75%
Memory	`1_931_718`	`1_723_758`	-10.77%

plutus-benchmark/validation/test/9.6/game-sm-success_1-2.flat.golden.eval

Metric	Old	New	Δ%
CPU	`208_348_058`	`172_826_091`	-17.05%
Memory	`918_246`	`785_070`	-14.50%

plutus-benchmark/validation/test/9.6/game-sm-success_1-3.flat.golden.eval

Metric	Old	New	Δ%
CPU	`633_795_192`	`560_907_750`	-11.50%
Memory	`3_426_302`	`3_079_462`	-10.12%

plutus-benchmark/validation/test/9.6/game-sm-success_1-4.flat.golden.eval

Metric	Old	New	Δ%
CPU	`242_120_569`	`201_487_558`	-16.78%
Memory	`1_065_558`	`912_758`	-14.34%

plutus-benchmark/validation/test/9.6/game-sm-success_2-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`378_390_466`	`330_142_849`	-12.75%
Memory	`1_931_718`	`1_723_758`	-10.77%

plutus-benchmark/validation/test/9.6/game-sm-success_2-2.flat.golden.eval

Metric	Old	New	Δ%
CPU	`208_348_058`	`172_826_091`	-17.05%
Memory	`918_246`	`785_070`	-14.50%

plutus-benchmark/validation/test/9.6/game-sm-success_2-3.flat.golden.eval

Metric	Old	New	Δ%
CPU	`633_795_192`	`560_907_750`	-11.50%
Memory	`3_426_302`	`3_079_462`	-10.12%

plutus-benchmark/validation/test/9.6/game-sm-success_2-4.flat.golden.eval

Metric	Old	New	Δ%
CPU	`242_120_569`	`201_487_558`	-16.78%
Memory	`1_065_558`	`912_758`	-14.34%

plutus-benchmark/validation/test/9.6/game-sm-success_2-5.flat.golden.eval

Metric	Old	New	Δ%
CPU	`633_817_780`	`560_930_338`	-11.50%
Memory	`3_426_302`	`3_079_462`	-10.12%

plutus-benchmark/validation/test/9.6/game-sm-success_2-6.flat.golden.eval

Metric	Old	New	Δ%
CPU	`242_120_569`	`201_487_558`	-16.78%
Memory	`1_065_558`	`912_758`	-14.34%

plutus-benchmark/validation/test/9.6/guardrail-sorted-large.flat.golden.eval

Metric	Old	New	Δ%
CPU	`400_248_968`	`399_032_968`	-0.30%
Memory	`2_047_130`	`2_039_530`	-0.37%

plutus-benchmark/validation/test/9.6/guardrail-unsorted-large.flat.golden.eval

Metric	Old	New	Δ%
CPU	`562_613_823`	`561_397_823`	-0.22%
Memory	`2_920_065`	`2_912_465`	-0.26%

plutus-benchmark/validation/test/9.6/multisig-sm-01.flat.golden.eval

Metric	Old	New	Δ%
CPU	`385_936_325`	`338_043_199`	-12.41%
Memory	`2_022_360`	`1_807_604`	-10.62%

plutus-benchmark/validation/test/9.6/multisig-sm-02.flat.golden.eval

Metric	Old	New	Δ%
CPU	`374_468_532`	`328_237_204`	-12.35%
Memory	`1_947_414`	`1_742_190`	-10.54%

plutus-benchmark/validation/test/9.6/multisig-sm-03.flat.golden.eval

Metric	Old	New	Δ%
CPU	`378_665_957`	`332_258_629`	-12.26%
Memory	`1_969_308`	`1_762_984`	-10.48%

plutus-benchmark/validation/test/9.6/multisig-sm-04.flat.golden.eval

Metric	Old	New	Δ%
CPU	`382_863_382`	`336_280_054`	-12.17%
Memory	`1_991_202`	`1_783_778`	-10.42%

plutus-benchmark/validation/test/9.6/multisig-sm-05.flat.golden.eval

Metric	Old	New	Δ%
CPU	`545_327_785`	`484_261_231`	-11.20%
Memory	`2_965_986`	`2_675_954`	-9.78%

plutus-benchmark/validation/test/9.6/multisig-sm-06.flat.golden.eval

Metric	Old	New	Δ%
CPU	`385_936_325`	`338_043_199`	-12.41%
Memory	`2_022_360`	`1_807_604`	-10.62%

plutus-benchmark/validation/test/9.6/multisig-sm-07.flat.golden.eval

Metric	Old	New	Δ%
CPU	`374_468_532`	`328_237_204`	-12.35%
Memory	`1_947_414`	`1_742_190`	-10.54%

plutus-benchmark/validation/test/9.6/multisig-sm-08.flat.golden.eval

Metric	Old	New	Δ%
CPU	`378_665_957`	`332_258_629`	-12.26%
Memory	`1_969_308`	`1_762_984`	-10.48%

plutus-benchmark/validation/test/9.6/multisig-sm-09.flat.golden.eval

Metric	Old	New	Δ%
CPU	`382_863_382`	`336_280_054`	-12.17%
Memory	`1_991_202`	`1_783_778`	-10.42%

plutus-benchmark/validation/test/9.6/multisig-sm-10.flat.golden.eval

Metric	Old	New	Δ%
CPU	`545_327_785`	`484_261_231`	-11.20%
Memory	`2_965_986`	`2_675_954`	-9.78%

plutus-benchmark/validation/test/9.6/ping-pong-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`324_464_526`	`282_999_461`	-12.78%
Memory	`1_680_090`	`1_499_646`	-10.74%

plutus-benchmark/validation/test/9.6/ping-pong-2.flat.golden.eval

Metric	Old	New	Δ%
CPU	`324_464_526`	`282_999_461`	-12.78%
Memory	`1_680_090`	`1_499_646`	-10.74%

plutus-benchmark/validation/test/9.6/ping-pong_2-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`201_666_086`	`171_403_246`	-15.01%
Memory	`981_952`	`862_376`	-12.18%

plutus-benchmark/validation/test/9.6/prism-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`174_276_007`	`142_720_328`	-18.11%
Memory	`764_974`	`647_930`	-15.30%

plutus-benchmark/validation/test/9.6/prism-2.flat.golden.eval

Metric	Old	New	Δ%
CPU	`407_908_488`	`355_125_826`	-12.94%
Memory	`2_066_140`	`1_839_480`	-10.97%

plutus-benchmark/validation/test/9.6/prism-3.flat.golden.eval

Metric	Old	New	Δ%
CPU	`379_936_672`	`328_880_249`	-13.44%
Memory	`1_910_858`	`1_692_790`	-11.41%

plutus-benchmark/validation/test/9.6/pubkey-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`148_251_224`	`121_618_182`	-17.96%
Memory	`648_826`	`551_082`	-15.06%

plutus-benchmark/validation/test/9.6/stablecoin_1-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`827_551_021`	`622_913_980`	-24.73%
Memory	`3_706_110`	`2_706_985`	-26.96%

plutus-benchmark/validation/test/9.6/stablecoin_1-2.flat.golden.eval

Metric	Old	New	Δ%
CPU	`203_638_059`	`168_881_155`	-17.07%
Memory	`897_094`	`766_746`	-14.53%

plutus-benchmark/validation/test/9.6/stablecoin_1-3.flat.golden.eval

Metric	Old	New	Δ%
CPU	`951_554_273`	`686_009_467`	-27.91%
Memory	`4_342_742`	`3_025_443`	-30.33%

plutus-benchmark/validation/test/9.6/stablecoin_1-4.flat.golden.eval

Metric	Old	New	Δ%
CPU	`216_086_468`	`179_844_060`	-16.77%
Memory	`951_808`	`815_472`	-14.32%

plutus-benchmark/validation/test/9.6/stablecoin_1-5.flat.golden.eval

Metric	Old	New	Δ%
CPU	`1_206_898_458`	`783_894_680`	-35.05%
Memory	`5_587_098`	`3_500_307`	-37.35%

plutus-benchmark/validation/test/9.6/stablecoin_1-6.flat.golden.eval

Metric	Old	New	Δ%
CPU	`266_443_981`	`223_165_269`	-16.24%
Memory	`1_173_858`	`1_010_382`	-13.93%

plutus-benchmark/validation/test/9.6/stablecoin_2-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`827_551_021`	`622_913_980`	-24.73%
Memory	`3_706_110`	`2_706_985`	-26.96%

plutus-benchmark/validation/test/9.6/stablecoin_2-2.flat.golden.eval

Metric	Old	New	Δ%
CPU	`203_638_059`	`168_881_155`	-17.07%
Memory	`897_094`	`766_746`	-14.53%

plutus-benchmark/validation/test/9.6/stablecoin_2-3.flat.golden.eval

Metric	Old	New	Δ%
CPU	`951_554_273`	`686_009_467`	-27.91%
Memory	`4_342_742`	`3_025_443`	-30.33%

plutus-benchmark/validation/test/9.6/stablecoin_2-4.flat.golden.eval

Metric	Old	New	Δ%
CPU	`216_086_468`	`179_844_060`	-16.77%
Memory	`951_808`	`815_472`	-14.32%

plutus-benchmark/validation/test/9.6/token-account-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`195_373_694`	`166_731_919`	-14.66%
Memory	`978_444`	`861_808`	-11.92%

plutus-benchmark/validation/test/9.6/token-account-2.flat.golden.eval

Metric	Old	New	Δ%
CPU	`355_866_023`	`308_200_985`	-13.39%
Memory	`1_826_496`	`1_618_524`	-11.39%

plutus-benchmark/validation/test/9.6/uniswap-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`443_304_976`	`393_740_193`	-11.18%
Memory	`2_449_452`	`2_208_640`	-9.83%

plutus-benchmark/validation/test/9.6/uniswap-2.flat.golden.eval

Metric	Old	New	Δ%
CPU	`230_772_794`	`197_627_339`	-14.36%
Memory	`1_126_608`	`992_812`	-11.88%

plutus-benchmark/validation/test/9.6/uniswap-3.flat.golden.eval

Metric	Old	New	Δ%
CPU	`1_650_842_606`	`959_147_397`	-41.90%
Memory	`8_675_126`	`5_032_712`	-41.99%

plutus-benchmark/validation/test/9.6/uniswap-4.flat.golden.eval

Metric	Old	New	Δ%
CPU	`347_527_720`	`292_193_943`	-15.92%
Memory	`1_535_808`	`1_319_076`	-14.11%

plutus-benchmark/validation/test/9.6/uniswap-5.flat.golden.eval

Metric	Old	New	Δ%
CPU	`1_083_644_672`	`541_769_361`	-50.00%
Memory	`5_520_347`	`2_550_811`	-53.79%

plutus-benchmark/validation/test/9.6/uniswap-6.flat.golden.eval

Metric	Old	New	Δ%
CPU	`332_999_979`	`279_357_944`	-16.11%
Memory	`1_488_850`	`1_274_522`	-14.40%

plutus-benchmark/validation/test/9.6/vesting-1.flat.golden.eval

Metric	Old	New	Δ%
CPU	`351_952_372`	`308_978_168`	-12.21%
Memory	`1_861_958`	`1_669_274`	-10.35%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq1.golden.eval

Metric	Old	New	Δ%
CPU	`84_321_050`	`83_521_050`	-0.95%
Memory	`504_515`	`499_515`	-0.99%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq2.golden.eval

Metric	Old	New	Δ%
CPU	`90_738_020`	`89_938_020`	-0.88%
Memory	`543_421`	`538_421`	-0.92%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq3.golden.eval

Metric	Old	New	Δ%
CPU	`93_028_470`	`92_228_470`	-0.86%
Memory	`556_326`	`551_326`	-0.90%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq4.golden.eval

Metric	Old	New	Δ%
CPU	`81_727_338`	`80_927_338`	-0.98%
Memory	`490_010`	`485_010`	-1.02%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq5.golden.eval

Metric	Old	New	Δ%
CPU	`86_838_948`	`86_038_948`	-0.92%
Memory	`519_419`	`514_419`	-0.96%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt1.golden.eval

Metric	Old	New	Δ%
CPU	`104_672_765`	`103_872_765`	-0.76%
Memory	`623_150`	`618_150`	-0.80%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt2.golden.eval

Metric	Old	New	Δ%
CPU	`90_914_020`	`90_114_020`	-0.88%
Memory	`544_521`	`539_521`	-0.92%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt3.golden.eval

Metric	Old	New	Δ%
CPU	`113_944_518`	`113_144_518`	-0.70%
Memory	`678_162`	`673_162`	-0.74%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt4.golden.eval

Metric	Old	New	Δ%
CPU	`81_903_338`	`81_103_338`	-0.98%
Memory	`491_110`	`486_110`	-1.02%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt5.golden.eval

Metric	Old	New	Δ%
CPU	`97_055_103`	`96_255_103`	-0.82%
Memory	`579_335`	`574_335`	-0.86%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq1.golden.eval

Metric	Old	New	Δ%
CPU	`84_321_050`	`83_521_050`	-0.95%
Memory	`504_515`	`499_515`	-0.99%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq2.golden.eval

Metric	Old	New	Δ%
CPU	`90_738_020`	`89_938_020`	-0.88%
Memory	`543_421`	`538_421`	-0.92%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq3.golden.eval

Metric	Old	New	Δ%
CPU	`93_028_470`	`92_228_470`	-0.86%
Memory	`556_326`	`551_326`	-0.90%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq4.golden.eval

Metric	Old	New	Δ%
CPU	`81_727_338`	`80_927_338`	-0.98%
Memory	`490_010`	`485_010`	-1.02%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq5.golden.eval

Metric	Old	New	Δ%
CPU	`86_838_948`	`86_038_948`	-0.92%
Memory	`519_419`	`514_419`	-0.96%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt1.golden.eval

Metric	Old	New	Δ%
CPU	`104_672_765`	`103_872_765`	-0.76%
Memory	`623_150`	`618_150`	-0.80%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt2.golden.eval

Metric	Old	New	Δ%
CPU	`90_914_020`	`90_114_020`	-0.88%
Memory	`544_521`	`539_521`	-0.92%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt3.golden.eval

Metric	Old	New	Δ%
CPU	`113_944_518`	`113_144_518`	-0.70%
Memory	`678_162`	`673_162`	-0.74%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt4.golden.eval

Metric	Old	New	Δ%
CPU	`81_903_338`	`81_103_338`	-0.98%
Memory	`491_110`	`486_110`	-1.02%

plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt5.golden.eval

Metric	Old	New	Δ%
CPU	`97_055_103`	`96_255_103`	-0.82%
Memory	`579_335`	`574_335`	-0.86%

plutus-tx-plugin/test/CallTrace/9.12/successfullEvaluationYieldsNoTraceLog.golden.eval

Metric	Old	New	Δ%
CPU	`3_745_072`	`3_681_072`	-1.71%
Memory	`18_748`	`18_348`	-2.13%

plutus-tx-plugin/test/CallTrace/9.6/successfullEvaluationYieldsNoTraceLog.golden.eval

Metric	Old	New	Δ%
CPU	`3_745_072`	`3_681_072`	-1.71%
Memory	`18_748`	`18_348`	-2.13%

This comment will get updated when changes are made.

zliu41 · 2026-02-22T15:21:13Z

/benchmark validation

github-actions · 2026-02-22T15:21:24Z

Click here to check the status of your benchmark.

github-actions · 2026-02-22T16:30:29Z

Comparing benchmark results of 'validation' on '7a7c99f08' (base) and '059e8df8b' (PR)

Results table

Script	`7a7c99f`	`059e8df`	Change
auction_1-1	167.7 μs	145.1 μs	-13.5%
auction_1-2	550.1 μs	521.7 μs	-5.2%
auction_1-3	544.5 μs	516.6 μs	-5.1%
auction_1-4	218.1 μs	185.9 μs	-14.8%
auction_2-1	168.2 μs	144.7 μs	-14.0%
auction_2-2	547.6 μs	521.9 μs	-4.7%
auction_2-3	710.8 μs	676.1 μs	-4.9%
auction_2-4	541.1 μs	515.6 μs	-4.7%
auction_2-5	217.7 μs	185.8 μs	-14.7%
coop-1	231.8 μs	231.1 μs	-0.3%
coop-2	760.8 μs	738.2 μs	-3.0%
coop-3	2.024 ms	1.991 ms	-1.6%
coop-4	909.2 μs	893.8 μs	-1.7%
coop-5	394.9 μs	389.5 μs	-1.4%
coop-6	705.1 μs	678.5 μs	-3.8%
coop-7	328.5 μs	332.0 μs	+1.1%
crowdfunding-success-1	197.3 μs	172.4 μs	-12.6%
crowdfunding-success-2	197.1 μs	172.3 μs	-12.6%
crowdfunding-success-3	197.5 μs	172.0 μs	-12.9%
currency-1	223.0 μs	203.5 μs	-8.7%
escrow-redeem_1-1	310.4 μs	281.8 μs	-9.2%
escrow-redeem_1-2	311.6 μs	283.0 μs	-9.2%
escrow-redeem_2-1	361.9 μs	328.9 μs	-9.1%
escrow-redeem_2-2	360.2 μs	331.0 μs	-8.1%
escrow-redeem_2-3	360.6 μs	328.9 μs	-8.8%
escrow-refund-1	145.3 μs	124.8 μs	-14.1%
future-increase-margin-1	220.5 μs	199.2 μs	-9.7%
future-increase-margin-2	469.0 μs	442.1 μs	-5.7%
future-increase-margin-3	469.5 μs	439.5 μs	-6.4%
future-increase-margin-4	424.1 μs	401.9 μs	-5.2%
future-increase-margin-5	712.7 μs	658.0 μs	-7.7%
future-pay-out-1	220.1 μs	200.0 μs	-9.1%
future-pay-out-2	468.4 μs	439.4 μs	-6.2%
future-pay-out-3	468.6 μs	438.0 μs	-6.5%
future-pay-out-4	712.4 μs	653.3 μs	-8.3%
future-settle-early-1	220.0 μs	199.7 μs	-9.2%
future-settle-early-2	469.1 μs	438.8 μs	-6.5%
future-settle-early-3	468.6 μs	438.0 μs	-6.5%
future-settle-early-4	540.2 μs	516.3 μs	-4.4%
game-sm-success_1-1	344.7 μs	315.6 μs	-8.4%
game-sm-success_1-2	188.9 μs	158.5 μs	-16.1%
game-sm-success_1-3	550.5 μs	519.4 μs	-5.6%
game-sm-success_1-4	218.3 μs	184.1 μs	-15.7%
game-sm-success_2-1	344.3 μs	315.3 μs	-8.4%
game-sm-success_2-2	188.4 μs	158.8 μs	-15.7%
game-sm-success_2-3	550.0 μs	518.3 μs	-5.8%
game-sm-success_2-4	217.9 μs	184.6 μs	-15.3%
game-sm-success_2-5	550.6 μs	518.8 μs	-5.8%
game-sm-success_2-6	217.4 μs	184.4 μs	-15.2%
multisig-sm-01	350.2 μs	322.1 μs	-8.0%
multisig-sm-02	340.1 μs	313.8 μs	-7.7%
multisig-sm-03	341.2 μs	323.4 μs	-5.2%
multisig-sm-04	342.4 μs	321.4 μs	-6.1%
multisig-sm-05	482.3 μs	457.2 μs	-5.2%
multisig-sm-06	347.6 μs	320.9 μs	-7.7%
multisig-sm-07	340.4 μs	313.7 μs	-7.8%
multisig-sm-08	340.7 μs	318.7 μs	-6.5%
multisig-sm-09	344.2 μs	323.0 μs	-6.2%
multisig-sm-10	484.2 μs	457.8 μs	-5.5%
ping-pong-1	288.5 μs	266.8 μs	-7.5%
ping-pong-2	288.9 μs	267.3 μs	-7.5%
ping-pong_2-1	180.7 μs	163.9 μs	-9.3%
prism-1	158.1 μs	134.0 μs	-15.2%
prism-2	362.3 μs	332.2 μs	-8.3%
prism-3	326.3 μs	296.1 μs	-9.3%
pubkey-1	135.2 μs	114.4 μs	-15.4%
stablecoin_1-1	827.4 μs	659.6 μs	-20.3%
stablecoin_1-2	184.0 μs	156.1 μs	-15.2%
stablecoin_1-3	948.3 μs	731.0 μs	-22.9%
stablecoin_1-4	196.0 μs	164.1 μs	-16.3%
stablecoin_1-5	1.217 ms	832.8 μs	-31.6%
stablecoin_1-6	239.3 μs	204.4 μs	-14.6%
stablecoin_2-1	827.5 μs	658.9 μs	-20.4%
stablecoin_2-2	183.7 μs	156.7 μs	-14.7%
stablecoin_2-3	946.2 μs	728.8 μs	-23.0%
stablecoin_2-4	195.9 μs	164.1 μs	-16.2%
token-account-1	168.6 μs	152.3 μs	-9.7%
token-account-2	296.8 μs	272.7 μs	-8.1%
uniswap-1	351.2 μs	326.7 μs	-7.0%
uniswap-2	199.1 μs	177.6 μs	-10.8%
uniswap-3	1.504 ms	916.9 μs	-39.0%
uniswap-4	306.9 μs	277.4 μs	-9.6%
uniswap-5	1.012 ms	546.5 μs	-46.0%
uniswap-6	293.4 μs	256.2 μs	-12.7%
vesting-1	306.6 μs	288.3 μs	-6.0%

	`7a7c99f`	`059e8df`	Change
TOTAL	36.58 ms	32.31 ms	-11.7%

effectfully · 2026-02-22T19:36:44Z

plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/Cek/Internal.hs

    {-# INLINE lookupVarName #-}

+    newThunk :: CekM uni fun s (CekThunk uni fun ann)
+    newThunk = CekM . unsafeIOToST . fmap CekThunk $ newIORef Nothing


Just use an STRef?

Maybe in the final version. I'm just experimenting, and using STRef requires adding s in a lot of places

using STRef requires adding s in a lot of places

Right, didn't realize that.

zliu41 · 2026-03-03T00:04:12Z

/benchmark nofib

github-actions · 2026-03-03T01:12:16Z

Click here to check the status of your benchmark.

github-actions · 2026-03-03T02:15:11Z

Comparing benchmark results of 'nofib' on '43b1eeaf7' (base) and 'a4ec5d687' (PR)

Results table

Script	`43b1eea`	`a4ec5d6`	Change
clausify/formula1	1.987 ms	1.918 ms	-3.5%
clausify/formula2	2.675 ms	2.588 ms	-3.3%
clausify/formula3	7.333 ms	7.096 ms	-3.2%
clausify/formula4	16.04 ms	15.41 ms	-3.9%
clausify/formula5	35.61 ms	34.32 ms	-3.6%
knights/4x4	11.95 ms	11.65 ms	-2.5%
knights/6x6	28.45 ms	27.48 ms	-3.4%
knights/8x8	48.98 ms	47.50 ms	-3.0%
primetest/05digits	5.566 ms	5.595 ms	+0.5%
primetest/10digits	10.99 ms	11.00 ms	+0.1%
primetest/30digits	32.20 ms	32.27 ms	+0.2%
primetest/50digits	52.17 ms	51.97 ms	-0.4%
queens4x4/bt	3.526 ms	3.459 ms	-1.9%
queens4x4/bm	4.555 ms	4.434 ms	-2.7%
queens4x4/bjbt1	4.278 ms	4.203 ms	-1.8%
queens4x4/bjbt2	4.010 ms	3.931 ms	-2.0%
queens4x4/fc	8.868 ms	8.633 ms	-2.6%
queens5x5/bt	48.35 ms	47.24 ms	-2.3%
queens5x5/bm	53.26 ms	51.55 ms	-3.2%
queens5x5/bjbt1	56.64 ms	56.27 ms	-0.7%
queens5x5/bjbt2	55.53 ms	54.49 ms	-1.9%
queens5x5/fc	111.9 ms	108.8 ms	-2.8%

	`43b1eea`	`a4ec5d6`	Change
TOTAL	604.9 ms	591.8 ms	-2.2%

zliu41 · 2026-03-03T05:47:30Z

/benchmark lists

github-actions · 2026-03-03T05:47:42Z

Click here to check the status of your benchmark.

github-actions · 2026-03-03T07:05:48Z

Comparing benchmark results of 'lists' on '43b1eeaf7' (base) and 'a4ec5d687' (PR)

Results table

Script	`43b1eea`	`a4ec5d6`	Change
sort/ghcSort/50	179.2 μs	184.4 μs	+2.9%
sort/ghcSort/100	415.1 μs	434.0 μs	+4.6%
sort/ghcSort/150	717.0 μs	741.4 μs	+3.4%
sort/ghcSort/200	944.7 μs	994.2 μs	+5.2%
sort/ghcSort/250	1.243 ms	1.284 ms	+3.3%
sort/ghcSort/300	1.640 ms	1.694 ms	+3.3%
sort/insertionSort/50	605.2 μs	622.4 μs	+2.8%
sort/insertionSort/100	2.425 ms	2.497 ms	+3.0%
sort/insertionSort/150	5.473 ms	5.632 ms	+2.9%
sort/insertionSort/200	9.775 ms	10.06 ms	+2.9%
sort/insertionSort/250	15.34 ms	15.80 ms	+3.0%
sort/insertionSort/300	22.26 ms	22.83 ms	+2.6%
sort/mergeSort/50	545.8 μs	560.1 μs	+2.6%
sort/mergeSort/100	1.248 ms	1.290 ms	+3.4%
sort/mergeSort/150	2.007 ms	2.089 ms	+4.1%
sort/mergeSort/200	2.817 ms	2.928 ms	+3.9%
sort/mergeSort/250	3.678 ms	3.833 ms	+4.2%
sort/mergeSort/300	4.479 ms	4.832 ms	+7.9%
sort/quickSort/50	1.593 ms	1.704 ms	+7.0%
sort/quickSort/100	6.629 ms	7.209 ms	+8.7%
sort/quickSort/150	14.84 ms	16.60 ms	+11.9%
sort/quickSort/200	26.43 ms	28.59 ms	+8.2%
sort/quickSort/250	41.47 ms	45.06 ms	+8.7%
sort/quickSort/300	59.97 ms	65.57 ms	+9.3%
sum/compiled-from-Haskell/sum-right-builtin/100	43.71 μs	44.14 μs	+1.0%
sum/compiled-from-Haskell/sum-right-builtin/500	234.0 μs	234.7 μs	+0.3%
sum/compiled-from-Haskell/sum-right-builtin/1000	500.3 μs	510.0 μs	+1.9%
sum/compiled-from-Haskell/sum-right-builtin/2500	1.639 ms	1.722 ms	+5.1%
sum/compiled-from-Haskell/sum-right-builtin/5000	3.937 ms	4.259 ms	+8.2%
sum/compiled-from-Haskell/sum-right-Scott/100	44.79 μs	45.34 μs	+1.2%
sum/compiled-from-Haskell/sum-right-Scott/500	239.9 μs	245.5 μs	+2.3%
sum/compiled-from-Haskell/sum-right-Scott/1000	530.4 μs	546.1 μs	+3.0%
sum/compiled-from-Haskell/sum-right-Scott/2500	1.910 ms	2.010 ms	+5.2%
sum/compiled-from-Haskell/sum-right-Scott/5000	4.332 ms	4.498 ms	+3.8%
sum/compiled-from-Haskell/sum-right-data/100	156.6 μs	159.9 μs	+2.1%
sum/compiled-from-Haskell/sum-right-data/500	854.0 μs	872.4 μs	+2.2%
sum/compiled-from-Haskell/sum-right-data/1000	2.006 ms	2.149 ms	+7.1%
sum/compiled-from-Haskell/sum-right-data/2500	5.803 ms	5.898 ms	+1.6%
sum/compiled-from-Haskell/sum-right-data/5000	12.79 ms	13.14 ms	+2.7%
sum/compiled-from-Haskell/sum-left-builtin/100	43.25 μs	44.35 μs	+2.5%
sum/compiled-from-Haskell/sum-left-builtin/500	226.9 μs	236.3 μs	+4.1%
sum/compiled-from-Haskell/sum-left-builtin/1000	489.2 μs	507.2 μs	+3.7%
sum/compiled-from-Haskell/sum-left-builtin/2500	1.554 ms	1.659 ms	+6.8%
sum/compiled-from-Haskell/sum-left-builtin/5000	3.901 ms	4.007 ms	+2.7%
sum/compiled-from-Haskell/sum-left-Scott/100	44.45 μs	45.69 μs	+2.8%
sum/compiled-from-Haskell/sum-left-Scott/500	240.9 μs	249.5 μs	+3.6%
sum/compiled-from-Haskell/sum-left-Scott/1000	531.2 μs	554.2 μs	+4.3%
sum/compiled-from-Haskell/sum-left-Scott/2500	1.841 ms	1.959 ms	+6.4%
sum/compiled-from-Haskell/sum-left-Scott/5000	4.339 ms	4.496 ms	+3.6%
sum/compiled-from-Haskell/sum-left-data/100	158.4 μs	158.4 μs	0.0%
sum/compiled-from-Haskell/sum-left-data/500	860.4 μs	863.4 μs	+0.3%
sum/compiled-from-Haskell/sum-left-data/1000	2.011 ms	2.011 ms	0.0%
sum/compiled-from-Haskell/sum-left-data/2500	5.842 ms	5.860 ms	+0.3%
sum/compiled-from-Haskell/sum-left-data/5000	12.44 ms	12.46 ms	+0.2%
sum/hand-written-PLC/sum-right-builtin/100	79.39 μs	81.22 μs	+2.3%
sum/hand-written-PLC/sum-right-builtin/500	400.2 μs	412.8 μs	+3.1%
sum/hand-written-PLC/sum-right-builtin/1000	837.1 μs	854.7 μs	+2.1%
sum/hand-written-PLC/sum-right-builtin/2500	2.354 ms	2.413 ms	+2.5%
sum/hand-written-PLC/sum-right-builtin/5000	4.972 ms	5.053 ms	+1.6%
sum/hand-written-PLC/sum-right-Scott/100	35.05 μs	36.08 μs	+2.9%
sum/hand-written-PLC/sum-right-Scott/500	192.5 μs	202.6 μs	+5.2%
sum/hand-written-PLC/sum-right-Scott/1000	436.5 μs	462.6 μs	+6.0%
sum/hand-written-PLC/sum-right-Scott/2500	1.580 ms	1.718 ms	+8.7%
sum/hand-written-PLC/sum-right-Scott/5000	4.597 ms	5.168 ms	+12.4%
sum/hand-written-PLC/sum-left-builtin/100	81.38 μs	84.26 μs	+3.5%
sum/hand-written-PLC/sum-left-builtin/500	397.6 μs	407.6 μs	+2.5%
sum/hand-written-PLC/sum-left-builtin/1000	786.5 μs	812.2 μs	+3.3%
sum/hand-written-PLC/sum-left-builtin/2500	1.962 ms	2.008 ms	+2.3%
sum/hand-written-PLC/sum-left-builtin/5000	3.879 ms	3.986 ms	+2.8%
sum/hand-written-PLC/sum-left-Scott/100	37.95 μs	39.58 μs	+4.3%
sum/hand-written-PLC/sum-left-Scott/500	215.4 μs	226.2 μs	+5.0%
sum/hand-written-PLC/sum-left-Scott/1000	487.8 μs	522.1 μs	+7.0%
sum/hand-written-PLC/sum-left-Scott/2500	1.806 ms	2.022 ms	+12.0%
sum/hand-written-PLC/sum-left-Scott/5000	4.601 ms	5.284 ms	+14.8%

	`43b1eea`	`a4ec5d6`	Change
TOTAL	326.0 ms	346.3 ms	+6.2%

zliu41 · 2026-03-04T03:55:52Z

/benchmark lists

github-actions · 2026-03-04T03:56:03Z

Click here to check the status of your benchmark.

github-actions · 2026-03-04T05:14:08Z

Comparing benchmark results of 'lists' on '43b1eeaf7' (base) and 'a4ec5d687' (PR)

Results table

Script	`43b1eea`	`a4ec5d6`	Change
sort/ghcSort/50	179.0 μs	184.4 μs	+3.0%
sort/ghcSort/100	415.0 μs	427.4 μs	+3.0%
sort/ghcSort/150	715.9 μs	740.9 μs	+3.5%
sort/ghcSort/200	943.1 μs	994.3 μs	+5.4%
sort/ghcSort/250	1.242 ms	1.285 ms	+3.5%
sort/ghcSort/300	1.647 ms	1.696 ms	+3.0%
sort/insertionSort/50	603.2 μs	622.2 μs	+3.1%
sort/insertionSort/100	2.417 ms	2.494 ms	+3.2%
sort/insertionSort/150	5.458 ms	5.631 ms	+3.2%
sort/insertionSort/200	9.759 ms	10.05 ms	+3.0%
sort/insertionSort/250	15.33 ms	15.79 ms	+3.0%
sort/insertionSort/300	22.20 ms	22.84 ms	+2.9%
sort/mergeSort/50	544.1 μs	564.7 μs	+3.8%
sort/mergeSort/100	1.243 ms	1.299 ms	+4.5%
sort/mergeSort/150	2.000 ms	2.101 ms	+5.0%
sort/mergeSort/200	2.811 ms	2.949 ms	+4.9%
sort/mergeSort/250	3.682 ms	3.866 ms	+5.0%
sort/mergeSort/300	4.471 ms	4.726 ms	+5.7%
sort/quickSort/50	1.593 ms	1.683 ms	+5.6%
sort/quickSort/100	6.629 ms	7.086 ms	+6.9%
sort/quickSort/150	14.88 ms	16.73 ms	+12.4%
sort/quickSort/200	26.38 ms	29.62 ms	+12.3%
sort/quickSort/250	41.51 ms	45.16 ms	+8.8%
sort/quickSort/300	60.02 ms	67.81 ms	+13.0%
sum/compiled-from-Haskell/sum-right-builtin/100	43.84 μs	44.12 μs	+0.6%
sum/compiled-from-Haskell/sum-right-builtin/500	233.5 μs	234.1 μs	+0.3%
sum/compiled-from-Haskell/sum-right-builtin/1000	500.3 μs	508.7 μs	+1.7%
sum/compiled-from-Haskell/sum-right-builtin/2500	1.643 ms	1.720 ms	+4.7%
sum/compiled-from-Haskell/sum-right-builtin/5000	3.934 ms	4.218 ms	+7.2%
sum/compiled-from-Haskell/sum-right-Scott/100	44.69 μs	45.31 μs	+1.4%
sum/compiled-from-Haskell/sum-right-Scott/500	239.3 μs	245.3 μs	+2.5%
sum/compiled-from-Haskell/sum-right-Scott/1000	529.0 μs	545.9 μs	+3.2%
sum/compiled-from-Haskell/sum-right-Scott/2500	1.910 ms	2.013 ms	+5.4%
sum/compiled-from-Haskell/sum-right-Scott/5000	4.336 ms	4.496 ms	+3.7%
sum/compiled-from-Haskell/sum-right-data/100	155.6 μs	159.2 μs	+2.3%
sum/compiled-from-Haskell/sum-right-data/500	850.7 μs	871.6 μs	+2.5%
sum/compiled-from-Haskell/sum-right-data/1000	1.995 ms	2.132 ms	+6.9%
sum/compiled-from-Haskell/sum-right-data/2500	5.768 ms	5.912 ms	+2.5%
sum/compiled-from-Haskell/sum-right-data/5000	12.73 ms	13.15 ms	+3.3%
sum/compiled-from-Haskell/sum-left-builtin/100	42.95 μs	44.27 μs	+3.1%
sum/compiled-from-Haskell/sum-left-builtin/500	226.1 μs	236.1 μs	+4.4%
sum/compiled-from-Haskell/sum-left-builtin/1000	485.7 μs	508.9 μs	+4.8%
sum/compiled-from-Haskell/sum-left-builtin/2500	1.542 ms	1.660 ms	+7.7%
sum/compiled-from-Haskell/sum-left-builtin/5000	3.856 ms	4.018 ms	+4.2%
sum/compiled-from-Haskell/sum-left-Scott/100	44.54 μs	45.50 μs	+2.2%
sum/compiled-from-Haskell/sum-left-Scott/500	240.9 μs	249.3 μs	+3.5%
sum/compiled-from-Haskell/sum-left-Scott/1000	532.5 μs	555.1 μs	+4.2%
sum/compiled-from-Haskell/sum-left-Scott/2500	1.841 ms	1.965 ms	+6.7%
sum/compiled-from-Haskell/sum-left-Scott/5000	4.352 ms	4.515 ms	+3.7%
sum/compiled-from-Haskell/sum-left-data/100	158.2 μs	158.5 μs	+0.2%
sum/compiled-from-Haskell/sum-left-data/500	857.2 μs	857.4 μs	+0.0%
sum/compiled-from-Haskell/sum-left-data/1000	2.001 ms	2.011 ms	+0.5%
sum/compiled-from-Haskell/sum-left-data/2500	5.804 ms	5.882 ms	+1.3%
sum/compiled-from-Haskell/sum-left-data/5000	12.35 ms	12.41 ms	+0.5%
sum/hand-written-PLC/sum-right-builtin/100	79.12 μs	81.61 μs	+3.1%
sum/hand-written-PLC/sum-right-builtin/500	398.9 μs	410.3 μs	+2.9%
sum/hand-written-PLC/sum-right-builtin/1000	834.5 μs	856.2 μs	+2.6%
sum/hand-written-PLC/sum-right-builtin/2500	2.360 ms	2.407 ms	+2.0%
sum/hand-written-PLC/sum-right-builtin/5000	4.974 ms	5.048 ms	+1.5%
sum/hand-written-PLC/sum-right-Scott/100	35.10 μs	35.88 μs	+2.2%
sum/hand-written-PLC/sum-right-Scott/500	193.0 μs	202.7 μs	+5.0%
sum/hand-written-PLC/sum-right-Scott/1000	436.2 μs	462.5 μs	+6.0%
sum/hand-written-PLC/sum-right-Scott/2500	1.578 ms	1.716 ms	+8.7%
sum/hand-written-PLC/sum-right-Scott/5000	4.568 ms	5.146 ms	+12.7%
sum/hand-written-PLC/sum-left-builtin/100	81.12 μs	83.97 μs	+3.5%
sum/hand-written-PLC/sum-left-builtin/500	397.4 μs	408.4 μs	+2.8%
sum/hand-written-PLC/sum-left-builtin/1000	790.1 μs	811.8 μs	+2.7%
sum/hand-written-PLC/sum-left-builtin/2500	1.953 ms	2.010 ms	+2.9%
sum/hand-written-PLC/sum-left-builtin/5000	3.917 ms	4.011 ms	+2.4%
sum/hand-written-PLC/sum-left-Scott/100	38.10 μs	39.53 μs	+3.8%
sum/hand-written-PLC/sum-left-Scott/500	215.6 μs	225.9 μs	+4.8%
sum/hand-written-PLC/sum-left-Scott/1000	488.5 μs	520.7 μs	+6.6%
sum/hand-written-PLC/sum-left-Scott/2500	1.809 ms	2.014 ms	+11.3%
sum/hand-written-PLC/sum-left-Scott/5000	4.606 ms	5.290 ms	+14.9%

	`43b1eea`	`a4ec5d6`	Change
TOTAL	325.7 ms	349.5 ms	+7.3%

zliu41 · 2026-03-04T23:42:46Z

/benchmark force-delay

github-actions · 2026-03-04T23:42:57Z

Click here to check the status of your benchmark.

github-actions · 2026-03-05T00:00:24Z

Comparing benchmark results of 'force-delay' on '73af8aa4b' (base) and 'da27ba78d' (PR)

Results table

Script	`73af8aa`	`da27ba7`	Change
nested-0-100k	1.607 ms	2.931 ms	+82.4%
nested-0-300k	9.157 ms	11.64 ms	+27.1%
nested-0-500k	17.16 ms	20.35 ms	+18.6%
nested-1-30k	2.161 ms	2.775 ms	+28.4%
nested-1-60k	7.305 ms	8.143 ms	+11.5%
nested-1-90k	12.57 ms	14.22 ms	+13.1%
nested-2-30k	5.964 ms	6.629 ms	+11.2%
nested-2-60k	16.93 ms	17.25 ms	+1.9%
nested-2-90k	24.90 ms	26.37 ms	+5.9%

	`73af8aa`	`da27ba7`	Change
TOTAL	97.75 ms	110.3 ms	+12.8%

zliu41 · 2026-03-05T23:54:41Z

/benchmark force-delay

github-actions · 2026-03-05T23:54:53Z

Click here to check the status of your benchmark.

github-actions · 2026-03-06T00:13:39Z

Comparing benchmark results of 'force-delay' on '0d303aef8' (base) and 'b32e679ae' (PR)

Results table

Script	`0d303ae`	`b32e679`	Change
nested-0-100k	1.606 ms	2.930 ms	+82.4%
nested-0-300k	9.171 ms	11.66 ms	+27.1%
nested-0-500k	17.18 ms	20.25 ms	+17.9%
nested-1-30k	2.153 ms	2.776 ms	+28.9%
nested-1-60k	7.316 ms	8.131 ms	+11.1%
nested-1-90k	12.56 ms	14.22 ms	+13.2%
nested-2-30k	5.981 ms	6.686 ms	+11.8%
nested-2-60k	17.00 ms	16.79 ms	-1.2%
nested-2-90k	24.87 ms	26.42 ms	+6.2%

zliu41 · 2026-03-06T04:52:37Z

/benchmark validation

github-actions · 2026-03-06T17:08:05Z

Comparing benchmark results of 'validation' on '29d9875dd' (base) and '82de924fc' (PR)

Results table

Script	`29d9875`	`82de924`	Change
auction_1-1	165.5 μs	147.3 μs	-11.0%
auction_1-2	542.8 μs	526.0 μs	-3.1%
auction_1-3	534.5 μs	519.7 μs	-2.8%
auction_1-4	213.8 μs	188.0 μs	-12.1%
auction_2-1	164.6 μs	146.5 μs	-11.0%
auction_2-2	537.7 μs	525.9 μs	-2.2%
auction_2-3	699.3 μs	694.5 μs	-0.7%
auction_2-4	531.9 μs	519.8 μs	-2.3%
auction_2-5	213.6 μs	187.8 μs	-12.1%
coop-1	228.7 μs	233.8 μs	+2.2%
coop-2	721.6 μs	738.7 μs	+2.4%
coop-3	1.983 ms	1.976 ms	-0.4%
coop-4	895.4 μs	891.8 μs	-0.4%
coop-5	387.6 μs	394.6 μs	+1.8%
coop-6	668.0 μs	678.1 μs	+1.5%
coop-7	324.9 μs	331.3 μs	+2.0%
crowdfunding-success-1	193.1 μs	172.9 μs	-10.5%
crowdfunding-success-2	193.3 μs	173.5 μs	-10.2%
crowdfunding-success-3	193.4 μs	174.2 μs	-9.9%
currency-1	216.8 μs	200.1 μs	-7.7%
escrow-redeem_1-1	307.3 μs	285.1 μs	-7.2%
escrow-redeem_1-2	308.1 μs	284.5 μs	-7.7%
escrow-redeem_2-1	356.5 μs	338.2 μs	-5.1%
escrow-redeem_2-2	356.5 μs	338.6 μs	-5.0%
escrow-redeem_2-3	355.4 μs	338.3 μs	-4.8%
escrow-refund-1	143.5 μs	127.9 μs	-10.9%
future-increase-margin-1	216.6 μs	200.0 μs	-7.7%
future-increase-margin-2	460.8 μs	444.7 μs	-3.5%
future-increase-margin-3	460.4 μs	444.9 μs	-3.4%
future-increase-margin-4	417.9 μs	403.1 μs	-3.5%
future-increase-margin-5	704.3 μs	670.1 μs	-4.9%
future-pay-out-1	216.7 μs	203.5 μs	-6.1%
future-pay-out-2	461.4 μs	445.5 μs	-3.4%
future-pay-out-3	460.1 μs	443.9 μs	-3.5%
future-pay-out-4	704.1 μs	661.2 μs	-6.1%
future-settle-early-1	216.7 μs	200.2 μs	-7.6%
future-settle-early-2	460.5 μs	445.8 μs	-3.2%
future-settle-early-3	459.6 μs	449.1 μs	-2.3%
future-settle-early-4	531.0 μs	519.7 μs	-2.1%
game-sm-success_1-1	337.7 μs	317.2 μs	-6.1%
game-sm-success_1-2	183.9 μs	163.8 μs	-10.9%
game-sm-success_1-3	540.7 μs	536.4 μs	-0.8%
game-sm-success_1-4	212.5 μs	184.6 μs	-13.1%
game-sm-success_2-1	338.6 μs	316.2 μs	-6.6%
game-sm-success_2-2	183.7 μs	160.9 μs	-12.4%
game-sm-success_2-3	541.8 μs	531.0 μs	-2.0%
game-sm-success_2-4	212.3 μs	191.7 μs	-9.7%
game-sm-success_2-5	543.5 μs	530.6 μs	-2.4%
game-sm-success_2-6	212.6 μs	184.6 μs	-13.2%
guardrail-sorted-large	415.7 μs	412.8 μs	-0.7%
guardrail-sorted-small	66.06 μs	67.62 μs	+2.4%
guardrail-unsorted-large	566.8 μs	566.8 μs	0.0%
guardrail-unsorted-small	65.48 μs	64.78 μs	-1.1%
multisig-sm-01	342.4 μs	331.5 μs	-3.2%
multisig-sm-02	334.9 μs	318.5 μs	-4.9%
multisig-sm-03	334.5 μs	321.8 μs	-3.8%
multisig-sm-04	338.3 μs	326.0 μs	-3.6%
multisig-sm-05	474.4 μs	465.3 μs	-1.9%
multisig-sm-06	342.7 μs	324.5 μs	-5.3%
multisig-sm-07	334.8 μs	317.8 μs	-5.1%
multisig-sm-08	335.2 μs	321.1 μs	-4.2%
multisig-sm-09	337.6 μs	325.1 μs	-3.7%
multisig-sm-10	474.6 μs	464.3 μs	-2.2%
ping-pong-1	285.2 μs	268.4 μs	-5.9%
ping-pong-2	285.8 μs	268.3 μs	-6.1%
ping-pong_2-1	179.0 μs	162.1 μs	-9.4%
prism-1	155.7 μs	133.8 μs	-14.1%
prism-2	354.8 μs	341.6 μs	-3.7%
prism-3	322.5 μs	301.1 μs	-6.6%
pubkey-1	132.5 μs	119.2 μs	-10.0%
stablecoin_1-1	816.8 μs	662.6 μs	-18.9%
stablecoin_1-2	180.2 μs	156.9 μs	-12.9%
stablecoin_1-3	935.3 μs	734.6 μs	-21.5%
stablecoin_1-4	190.5 μs	167.9 μs	-11.9%
stablecoin_1-5	1.189 ms	839.4 μs	-29.4%
stablecoin_1-6	234.5 μs	204.7 μs	-12.7%
stablecoin_2-1	815.0 μs	667.8 μs	-18.1%
stablecoin_2-2	179.9 μs	156.5 μs	-13.0%
stablecoin_2-3	934.6 μs	731.3 μs	-21.8%
stablecoin_2-4	190.9 μs	167.5 μs	-12.3%
token-account-1	165.3 μs	153.4 μs	-7.2%
token-account-2	290.1 μs	277.2 μs	-4.4%
uniswap-1	346.2 μs	330.6 μs	-4.5%
uniswap-2	196.8 μs	180.2 μs	-8.4%
uniswap-3	1.480 ms	925.9 μs	-37.4%
uniswap-4	303.1 μs	270.3 μs	-10.8%
uniswap-5	994.4 μs	553.3 μs	-44.4%
uniswap-6	289.1 μs	256.1 μs	-11.4%
vesting-1	301.9 μs	291.1 μs	-3.6%

	`29d9875`	`82de924`	Change
TOTAL	37.03 ms	33.73 ms	-8.9%

zliu41 · 2026-03-06T17:15:44Z

/benchmark force-delay

github-actions · 2026-03-06T17:15:57Z

Click here to check the status of your benchmark.

zliu41 · 2026-03-06T17:22:33Z

/benchmark nofib

github-actions · 2026-03-06T17:32:42Z

Comparing benchmark results of 'force-delay' on '29d9875dd' (base) and '82de924fc' (PR)

Results table

Script	`29d9875`	`82de924`	Change
nested-0-100k	1.606 ms	3.546 ms	+120.8%
nested-0-300k	9.148 ms	12.93 ms	+41.3%
nested-0-500k	17.15 ms	22.47 ms	+31.0%
nested-1-30k	2.148 ms	3.259 ms	+51.7%
nested-1-60k	7.287 ms	9.241 ms	+26.8%
nested-1-90k	12.56 ms	15.46 ms	+23.1%
nested-2-30k	5.982 ms	7.381 ms	+23.4%
nested-2-60k	16.96 ms	18.54 ms	+9.3%
nested-2-90k	24.83 ms	30.57 ms	+23.1%

	`29d9875`	`82de924`	Change
TOTAL	97.67 ms	123.4 ms	+26.3%

github-actions · 2026-03-06T17:32:55Z

Click here to check the status of your benchmark.

github-actions · 2026-03-06T18:34:31Z

Comparing benchmark results of 'nofib' on '29d9875dd' (base) and '82de924fc' (PR)

Results table

Script	`29d9875`	`82de924`	Change
clausify/formula1	1.906 ms	1.970 ms	+3.4%
clausify/formula2	2.576 ms	2.645 ms	+2.7%
clausify/formula3	7.056 ms	7.250 ms	+2.7%
clausify/formula4	15.51 ms	15.83 ms	+2.1%
clausify/formula5	34.18 ms	35.15 ms	+2.8%
knights/4x4	11.64 ms	11.64 ms	0.0%
knights/6x6	27.27 ms	28.15 ms	+3.2%
knights/8x8	46.80 ms	48.77 ms	+4.2%
primetest/05digits	5.347 ms	5.483 ms	+2.5%
primetest/10digits	10.58 ms	10.79 ms	+2.0%
primetest/30digits	31.15 ms	31.64 ms	+1.6%
primetest/50digits	50.23 ms	51.48 ms	+2.5%
queens4x4/bt	3.420 ms	3.447 ms	+0.8%
queens4x4/bm	4.419 ms	4.509 ms	+2.0%
queens4x4/bjbt1	4.134 ms	4.211 ms	+1.9%
queens4x4/bjbt2	3.877 ms	3.921 ms	+1.1%
queens4x4/fc	8.555 ms	8.729 ms	+2.0%
queens5x5/bt	46.81 ms	47.21 ms	+0.9%
queens5x5/bm	51.52 ms	52.43 ms	+1.8%
queens5x5/bjbt1	54.77 ms	56.00 ms	+2.2%
queens5x5/bjbt2	53.79 ms	54.37 ms	+1.1%
queens5x5/fc	107.9 ms	110.2 ms	+2.1%

	`29d9875`	`82de924`	Change
TOTAL	583.4 ms	595.8 ms	+2.1%

zliu41 · 2026-03-06T18:37:02Z

/benchmark lists

github-actions · 2026-03-06T18:37:14Z

Click here to check the status of your benchmark.

github-actions · 2026-03-06T19:55:43Z

Comparing benchmark results of 'lists' on '29d9875dd' (base) and '82de924fc' (PR)

Results table

Script	`29d9875`	`82de924`	Change
sort/ghcSort/50	182.3 μs	186.0 μs	+2.0%
sort/ghcSort/100	423.2 μs	433.1 μs	+2.3%
sort/ghcSort/150	731.6 μs	750.7 μs	+2.6%
sort/ghcSort/200	964.0 μs	1.008 ms	+4.6%
sort/ghcSort/250	1.267 ms	1.300 ms	+2.6%
sort/ghcSort/300	1.678 ms	1.719 ms	+2.4%
sort/insertionSort/50	616.3 μs	620.5 μs	+0.7%
sort/insertionSort/100	2.476 ms	2.482 ms	+0.2%
sort/insertionSort/150	5.577 ms	5.633 ms	+1.0%
sort/insertionSort/200	9.985 ms	10.06 ms	+0.8%
sort/insertionSort/250	15.66 ms	15.81 ms	+1.0%
sort/insertionSort/300	22.66 ms	22.93 ms	+1.2%
sort/mergeSort/50	554.1 μs	563.5 μs	+1.7%
sort/mergeSort/100	1.266 ms	1.298 ms	+2.5%
sort/mergeSort/150	2.034 ms	2.095 ms	+3.0%
sort/mergeSort/200	2.855 ms	2.941 ms	+3.0%
sort/mergeSort/250	3.741 ms	3.849 ms	+2.9%
sort/mergeSort/300	4.553 ms	4.697 ms	+3.2%
sort/quickSort/50	1.615 ms	1.736 ms	+7.5%
sort/quickSort/100	6.728 ms	7.302 ms	+8.5%
sort/quickSort/150	14.99 ms	16.54 ms	+10.3%
sort/quickSort/200	26.67 ms	29.45 ms	+10.4%
sort/quickSort/250	41.87 ms	46.88 ms	+12.0%
sort/quickSort/300	60.50 ms	67.30 ms	+11.2%
sum/compiled-from-Haskell/sum-right-builtin/100	44.34 μs	45.09 μs	+1.7%
sum/compiled-from-Haskell/sum-right-builtin/500	231.7 μs	241.0 μs	+4.0%
sum/compiled-from-Haskell/sum-right-builtin/1000	497.7 μs	522.5 μs	+5.0%
sum/compiled-from-Haskell/sum-right-builtin/2500	1.635 ms	1.754 ms	+7.3%
sum/compiled-from-Haskell/sum-right-builtin/5000	3.926 ms	4.508 ms	+14.8%
sum/compiled-from-Haskell/sum-right-Scott/100	45.66 μs	46.91 μs	+2.7%
sum/compiled-from-Haskell/sum-right-Scott/500	244.6 μs	251.5 μs	+2.8%
sum/compiled-from-Haskell/sum-right-Scott/1000	537.6 μs	561.8 μs	+4.5%
sum/compiled-from-Haskell/sum-right-Scott/2500	1.932 ms	2.049 ms	+6.1%
sum/compiled-from-Haskell/sum-right-Scott/5000	4.378 ms	4.438 ms	+1.4%
sum/compiled-from-Haskell/sum-right-data/100	159.4 μs	160.2 μs	+0.5%
sum/compiled-from-Haskell/sum-right-data/500	868.5 μs	869.9 μs	+0.2%
sum/compiled-from-Haskell/sum-right-data/1000	2.036 ms	2.063 ms	+1.3%
sum/compiled-from-Haskell/sum-right-data/2500	5.848 ms	5.958 ms	+1.9%
sum/compiled-from-Haskell/sum-right-data/5000	12.86 ms	13.06 ms	+1.6%
sum/compiled-from-Haskell/sum-left-builtin/100	42.82 μs	45.17 μs	+5.5%
sum/compiled-from-Haskell/sum-left-builtin/500	224.4 μs	241.3 μs	+7.5%
sum/compiled-from-Haskell/sum-left-builtin/1000	477.9 μs	520.8 μs	+9.0%
sum/compiled-from-Haskell/sum-left-builtin/2500	1.529 ms	1.708 ms	+11.7%
sum/compiled-from-Haskell/sum-left-builtin/5000	3.816 ms	4.106 ms	+7.6%
sum/compiled-from-Haskell/sum-left-Scott/100	43.98 μs	47.74 μs	+8.5%
sum/compiled-from-Haskell/sum-left-Scott/500	238.9 μs	258.3 μs	+8.1%
sum/compiled-from-Haskell/sum-left-Scott/1000	527.4 μs	572.9 μs	+8.6%
sum/compiled-from-Haskell/sum-left-Scott/2500	1.830 ms	2.010 ms	+9.8%
sum/compiled-from-Haskell/sum-left-Scott/5000	4.320 ms	4.577 ms	+5.9%
sum/compiled-from-Haskell/sum-left-data/100	161.1 μs	159.0 μs	-1.3%
sum/compiled-from-Haskell/sum-left-data/500	867.5 μs	856.7 μs	-1.2%
sum/compiled-from-Haskell/sum-left-data/1000	2.026 ms	2.012 ms	-0.7%
sum/compiled-from-Haskell/sum-left-data/2500	5.847 ms	5.848 ms	+0.0%
sum/compiled-from-Haskell/sum-left-data/5000	12.47 ms	12.33 ms	-1.1%
sum/hand-written-PLC/sum-right-builtin/100	80.29 μs	81.43 μs	+1.4%
sum/hand-written-PLC/sum-right-builtin/500	407.6 μs	417.0 μs	+2.3%
sum/hand-written-PLC/sum-right-builtin/1000	841.7 μs	863.5 μs	+2.6%
sum/hand-written-PLC/sum-right-builtin/2500	2.379 ms	2.439 ms	+2.5%
sum/hand-written-PLC/sum-right-builtin/5000	5.012 ms	5.083 ms	+1.4%
sum/hand-written-PLC/sum-right-Scott/100	35.76 μs	36.74 μs	+2.7%
sum/hand-written-PLC/sum-right-Scott/500	194.7 μs	207.5 μs	+6.6%
sum/hand-written-PLC/sum-right-Scott/1000	440.0 μs	474.5 μs	+7.8%
sum/hand-written-PLC/sum-right-Scott/2500	1.586 ms	1.808 ms	+14.0%
sum/hand-written-PLC/sum-right-Scott/5000	4.600 ms	4.986 ms	+8.4%
sum/hand-written-PLC/sum-left-builtin/100	83.21 μs	84.53 μs	+1.6%
sum/hand-written-PLC/sum-left-builtin/500	403.2 μs	410.8 μs	+1.9%
sum/hand-written-PLC/sum-left-builtin/1000	803.7 μs	817.5 μs	+1.7%
sum/hand-written-PLC/sum-left-builtin/2500	1.989 ms	2.028 ms	+2.0%
sum/hand-written-PLC/sum-left-builtin/5000	4.003 ms	4.045 ms	+1.0%
sum/hand-written-PLC/sum-left-Scott/100	38.94 μs	41.45 μs	+6.4%
sum/hand-written-PLC/sum-left-Scott/500	219.5 μs	235.4 μs	+7.2%
sum/hand-written-PLC/sum-left-Scott/1000	496.6 μs	540.7 μs	+8.9%
sum/hand-written-PLC/sum-left-Scott/2500	1.835 ms	2.096 ms	+14.2%
sum/hand-written-PLC/sum-left-Scott/5000	4.656 ms	5.371 ms	+15.4%

	`29d9875`	`82de924`	Change
TOTAL	329.4 ms	351.5 ms	+6.7%

zliu41 · 2026-03-06T19:57:49Z

/benchmark validation

github-actions · 2026-03-06T19:58:01Z

Click here to check the status of your benchmark.

github-actions · 2026-03-06T21:09:56Z

Comparing benchmark results of 'validation' on 'a0b7ebb61' (base) and '9421644e5' (PR)

Results table

Script	`a0b7ebb`	`9421644`	Change
auction_1-1	165.4 μs	177.6 μs	+7.4%
auction_1-2	539.5 μs	582.4 μs	+8.0%
auction_1-3	532.8 μs	584.4 μs	+9.7%
auction_1-4	213.6 μs	227.2 μs	+6.4%
auction_2-1	164.3 μs	176.4 μs	+7.4%
auction_2-2	539.5 μs	584.3 μs	+8.3%
auction_2-3	698.6 μs	757.3 μs	+8.4%
auction_2-4	531.5 μs	582.7 μs	+9.6%
auction_2-5	213.7 μs	228.2 μs	+6.8%
coop-1	227.8 μs	232.9 μs	+2.2%
coop-2	722.3 μs	731.9 μs	+1.3%
coop-3	1.974 ms	1.978 ms	+0.2%
coop-4	891.1 μs	898.7 μs	+0.9%
coop-5	387.1 μs	395.3 μs	+2.1%
coop-6	668.3 μs	682.0 μs	+2.0%
coop-7	324.2 μs	332.5 μs	+2.6%
crowdfunding-success-1	192.8 μs	205.9 μs	+6.8%
crowdfunding-success-2	193.0 μs	206.6 μs	+7.0%
crowdfunding-success-3	193.6 μs	206.9 μs	+6.9%
currency-1	216.4 μs	229.9 μs	+6.2%
escrow-redeem_1-1	306.0 μs	326.1 μs	+6.6%
escrow-redeem_1-2	306.8 μs	326.8 μs	+6.5%
escrow-redeem_2-1	355.2 μs	383.4 μs	+7.9%
escrow-redeem_2-2	355.8 μs	384.3 μs	+8.0%
escrow-redeem_2-3	353.8 μs	382.4 μs	+8.1%
escrow-refund-1	142.9 μs	152.5 μs	+6.7%
future-increase-margin-1	216.1 μs	228.9 μs	+5.9%
future-increase-margin-2	460.1 μs	498.8 μs	+8.4%
future-increase-margin-3	459.9 μs	498.2 μs	+8.3%
future-increase-margin-4	417.2 μs	450.1 μs	+7.9%
future-increase-margin-5	700.8 μs	759.8 μs	+8.4%
future-pay-out-1	216.2 μs	230.1 μs	+6.4%
future-pay-out-2	459.9 μs	498.1 μs	+8.3%
future-pay-out-3	458.1 μs	498.1 μs	+8.7%
future-pay-out-4	701.7 μs	754.6 μs	+7.5%
future-settle-early-1	216.1 μs	228.8 μs	+5.9%
future-settle-early-2	461.3 μs	498.5 μs	+8.1%
future-settle-early-3	459.6 μs	499.4 μs	+8.7%
future-settle-early-4	530.8 μs	574.6 μs	+8.3%
game-sm-success_1-1	336.8 μs	358.3 μs	+6.4%
game-sm-success_1-2	183.8 μs	196.9 μs	+7.1%
game-sm-success_1-3	539.2 μs	587.9 μs	+9.0%
game-sm-success_1-4	211.9 μs	226.6 μs	+6.9%
game-sm-success_2-1	337.4 μs	358.5 μs	+6.3%
game-sm-success_2-2	184.0 μs	196.9 μs	+7.0%
game-sm-success_2-3	541.4 μs	589.1 μs	+8.8%
game-sm-success_2-4	212.4 μs	227.3 μs	+7.0%
game-sm-success_2-5	541.9 μs	587.9 μs	+8.5%
game-sm-success_2-6	211.5 μs	230.5 μs	+9.0%
guardrail-sorted-large	415.2 μs	420.6 μs	+1.3%
guardrail-sorted-small	65.85 μs	68.02 μs	+3.3%
guardrail-unsorted-large	564.4 μs	582.0 μs	+3.1%
guardrail-unsorted-small	65.26 μs	65.88 μs	+1.0%
multisig-sm-01	343.0 μs	368.3 μs	+7.4%
multisig-sm-02	334.4 μs	356.2 μs	+6.5%
multisig-sm-03	333.4 μs	360.5 μs	+8.1%
multisig-sm-04	337.8 μs	365.4 μs	+8.2%
multisig-sm-05	475.0 μs	509.6 μs	+7.3%
multisig-sm-06	341.1 μs	366.9 μs	+7.6%
multisig-sm-07	334.5 μs	355.9 μs	+6.4%
multisig-sm-08	334.6 μs	359.3 μs	+7.4%
multisig-sm-09	336.6 μs	368.8 μs	+9.6%
multisig-sm-10	475.0 μs	510.2 μs	+7.4%
ping-pong-1	284.5 μs	301.0 μs	+5.8%
ping-pong-2	284.5 μs	301.0 μs	+5.8%
ping-pong_2-1	179.1 μs	191.1 μs	+6.7%
prism-1	155.5 μs	165.6 μs	+6.5%
prism-2	354.3 μs	389.1 μs	+9.8%
prism-3	322.0 μs	354.3 μs	+10.0%
pubkey-1	132.5 μs	139.8 μs	+5.5%
stablecoin_1-1	814.7 μs	872.4 μs	+7.1%
stablecoin_1-2	179.9 μs	192.8 μs	+7.2%
stablecoin_1-3	933.5 μs	999.4 μs	+7.1%
stablecoin_1-4	189.9 μs	202.9 μs	+6.8%
stablecoin_1-5	1.187 ms	1.288 ms	+8.5%
stablecoin_1-6	235.0 μs	249.1 μs	+6.0%
stablecoin_2-1	814.3 μs	871.0 μs	+7.0%
stablecoin_2-2	179.6 μs	192.7 μs	+7.3%
stablecoin_2-3	933.4 μs	998.6 μs	+7.0%
stablecoin_2-4	190.4 μs	203.3 μs	+6.8%
token-account-1	165.1 μs	180.0 μs	+9.0%
token-account-2	290.0 μs	313.1 μs	+8.0%
uniswap-1	344.8 μs	370.5 μs	+7.5%
uniswap-2	196.3 μs	208.3 μs	+6.1%
uniswap-3	1.476 ms	1.618 ms	+9.6%
uniswap-4	302.8 μs	327.3 μs	+8.1%
uniswap-5	993.0 μs	1.071 ms	+7.9%
uniswap-6	290.0 μs	314.3 μs	+8.4%
vesting-1	300.3 μs	326.1 μs	+8.6%

	`a0b7ebb`	`9421644`	Change
TOTAL	36.95 ms	39.43 ms	+6.7%

zliu41 · 2026-03-06T21:11:02Z

/benchmark nofib

github-actions · 2026-03-06T21:11:15Z

Click here to check the status of your benchmark.

zliu41 · 2026-03-06T22:01:45Z

/benchmark lists

github-actions · 2026-03-06T22:13:33Z

Comparing benchmark results of 'nofib' on 'a0b7ebb61' (base) and '9421644e5' (PR)

Results table

Script	`a0b7ebb`	`9421644`	Change
clausify/formula1	1.912 ms	1.928 ms	+0.8%
clausify/formula2	2.580 ms	2.595 ms	+0.6%
clausify/formula3	7.081 ms	7.111 ms	+0.4%
clausify/formula4	15.57 ms	15.42 ms	-1.0%
clausify/formula5	34.34 ms	34.42 ms	+0.2%
knights/4x4	11.65 ms	11.73 ms	+0.7%
knights/6x6	27.30 ms	27.66 ms	+1.3%
knights/8x8	46.87 ms	47.58 ms	+1.5%
primetest/05digits	5.345 ms	5.516 ms	+3.2%
primetest/10digits	10.63 ms	10.91 ms	+2.6%
primetest/30digits	31.13 ms	31.92 ms	+2.5%
primetest/50digits	50.36 ms	51.69 ms	+2.6%
queens4x4/bt	3.419 ms	3.455 ms	+1.1%
queens4x4/bm	4.420 ms	4.448 ms	+0.6%
queens4x4/bjbt1	4.144 ms	4.200 ms	+1.4%
queens4x4/bjbt2	3.881 ms	3.916 ms	+0.9%
queens4x4/fc	8.564 ms	8.605 ms	+0.5%
queens5x5/bt	46.96 ms	47.17 ms	+0.4%
queens5x5/bm	51.83 ms	51.58 ms	-0.5%
queens5x5/bjbt1	55.00 ms	56.15 ms	+2.1%
queens5x5/bjbt2	53.86 ms	54.35 ms	+0.9%
queens5x5/fc	108.3 ms	109.0 ms	+0.6%

	`a0b7ebb`	`9421644`	Change
TOTAL	585.1 ms	591.4 ms	+1.1%

github-actions · 2026-03-06T22:13:45Z

Click here to check the status of your benchmark.

github-actions · 2026-03-06T23:32:15Z

Comparing benchmark results of 'lists' on 'a0b7ebb61' (base) and '9421644e5' (PR)

Results table

Script	`a0b7ebb`	`9421644`	Change
sort/ghcSort/50	182.0 μs	182.7 μs	+0.4%
sort/ghcSort/100	423.4 μs	420.7 μs	-0.6%
sort/ghcSort/150	730.4 μs	727.4 μs	-0.4%
sort/ghcSort/200	962.4 μs	979.7 μs	+1.8%
sort/ghcSort/250	1.266 ms	1.263 ms	-0.2%
sort/ghcSort/300	1.679 ms	1.669 ms	-0.6%
sort/insertionSort/50	616.8 μs	609.8 μs	-1.1%
sort/insertionSort/100	2.485 ms	2.449 ms	-1.4%
sort/insertionSort/150	5.598 ms	5.532 ms	-1.2%
sort/insertionSort/200	9.996 ms	9.884 ms	-1.1%
sort/insertionSort/250	15.66 ms	15.51 ms	-1.0%
sort/insertionSort/300	22.67 ms	22.48 ms	-0.8%
sort/mergeSort/50	553.8 μs	560.3 μs	+1.2%
sort/mergeSort/100	1.265 ms	1.288 ms	+1.8%
sort/mergeSort/150	2.033 ms	2.077 ms	+2.2%
sort/mergeSort/200	2.856 ms	2.919 ms	+2.2%
sort/mergeSort/250	3.742 ms	3.825 ms	+2.2%
sort/mergeSort/300	4.548 ms	4.655 ms	+2.4%
sort/quickSort/50	1.613 ms	1.695 ms	+5.1%
sort/quickSort/100	6.717 ms	7.119 ms	+6.0%
sort/quickSort/150	15.01 ms	16.16 ms	+7.7%
sort/quickSort/200	26.68 ms	28.75 ms	+7.8%
sort/quickSort/250	41.89 ms	45.39 ms	+8.4%
sort/quickSort/300	60.42 ms	65.68 ms	+8.7%
sum/compiled-from-Haskell/sum-right-builtin/100	44.30 μs	44.52 μs	+0.5%
sum/compiled-from-Haskell/sum-right-builtin/500	231.3 μs	235.2 μs	+1.7%
sum/compiled-from-Haskell/sum-right-builtin/1000	497.4 μs	511.3 μs	+2.8%
sum/compiled-from-Haskell/sum-right-builtin/2500	1.634 ms	1.728 ms	+5.8%
sum/compiled-from-Haskell/sum-right-builtin/5000	3.929 ms	4.268 ms	+8.6%
sum/compiled-from-Haskell/sum-right-Scott/100	45.64 μs	45.61 μs	-0.1%
sum/compiled-from-Haskell/sum-right-Scott/500	244.3 μs	245.6 μs	+0.5%
sum/compiled-from-Haskell/sum-right-Scott/1000	537.1 μs	545.7 μs	+1.6%
sum/compiled-from-Haskell/sum-right-Scott/2500	1.939 ms	2.004 ms	+3.4%
sum/compiled-from-Haskell/sum-right-Scott/5000	4.385 ms	4.483 ms	+2.2%
sum/compiled-from-Haskell/sum-right-data/100	155.6 μs	157.8 μs	+1.4%
sum/compiled-from-Haskell/sum-right-data/500	851.4 μs	866.7 μs	+1.8%
sum/compiled-from-Haskell/sum-right-data/1000	1.999 ms	2.051 ms	+2.6%
sum/compiled-from-Haskell/sum-right-data/2500	5.761 ms	5.884 ms	+2.1%
sum/compiled-from-Haskell/sum-right-data/5000	12.67 ms	13.05 ms	+3.0%
sum/compiled-from-Haskell/sum-left-builtin/100	42.90 μs	44.29 μs	+3.2%
sum/compiled-from-Haskell/sum-left-builtin/500	223.4 μs	237.1 μs	+6.1%
sum/compiled-from-Haskell/sum-left-builtin/1000	478.2 μs	511.6 μs	+7.0%
sum/compiled-from-Haskell/sum-left-builtin/2500	1.536 ms	1.667 ms	+8.5%
sum/compiled-from-Haskell/sum-left-builtin/5000	3.821 ms	4.020 ms	+5.2%
sum/compiled-from-Haskell/sum-left-Scott/100	44.05 μs	44.38 μs	+0.7%
sum/compiled-from-Haskell/sum-left-Scott/500	238.8 μs	244.6 μs	+2.4%
sum/compiled-from-Haskell/sum-left-Scott/1000	529.3 μs	544.9 μs	+2.9%
sum/compiled-from-Haskell/sum-left-Scott/2500	1.834 ms	1.938 ms	+5.7%
sum/compiled-from-Haskell/sum-left-Scott/5000	4.334 ms	4.447 ms	+2.6%
sum/compiled-from-Haskell/sum-left-data/100	157.5 μs	154.4 μs	-2.0%
sum/compiled-from-Haskell/sum-left-data/500	850.8 μs	840.3 μs	-1.2%
sum/compiled-from-Haskell/sum-left-data/1000	1.989 ms	1.975 ms	-0.7%
sum/compiled-from-Haskell/sum-left-data/2500	5.774 ms	5.799 ms	+0.4%
sum/compiled-from-Haskell/sum-left-data/5000	12.29 ms	12.34 ms	+0.4%
sum/hand-written-PLC/sum-right-builtin/100	81.76 μs	81.91 μs	+0.2%
sum/hand-written-PLC/sum-right-builtin/500	414.3 μs	412.3 μs	-0.5%
sum/hand-written-PLC/sum-right-builtin/1000	857.9 μs	857.4 μs	-0.1%
sum/hand-written-PLC/sum-right-builtin/2500	2.419 ms	2.426 ms	+0.3%
sum/hand-written-PLC/sum-right-builtin/5000	5.100 ms	5.079 ms	-0.4%
sum/hand-written-PLC/sum-right-Scott/100	35.71 μs	34.84 μs	-2.4%
sum/hand-written-PLC/sum-right-Scott/500	195.2 μs	197.6 μs	+1.2%
sum/hand-written-PLC/sum-right-Scott/1000	440.0 μs	449.4 μs	+2.1%
sum/hand-written-PLC/sum-right-Scott/2500	1.590 ms	1.689 ms	+6.2%
sum/hand-written-PLC/sum-right-Scott/5000	4.608 ms	5.104 ms	+10.8%
sum/hand-written-PLC/sum-left-builtin/100	84.91 μs	84.20 μs	-0.8%
sum/hand-written-PLC/sum-left-builtin/500	413.4 μs	408.0 μs	-1.3%
sum/hand-written-PLC/sum-left-builtin/1000	821.6 μs	810.9 μs	-1.3%
sum/hand-written-PLC/sum-left-builtin/2500	2.033 ms	2.014 ms	-0.9%
sum/hand-written-PLC/sum-left-builtin/5000	4.081 ms	4.012 ms	-1.7%
sum/hand-written-PLC/sum-left-Scott/100	39.90 μs	39.41 μs	-1.2%
sum/hand-written-PLC/sum-left-Scott/500	219.6 μs	224.0 μs	+2.0%
sum/hand-written-PLC/sum-left-Scott/1000	496.3 μs	521.9 μs	+5.2%
sum/hand-written-PLC/sum-left-Scott/2500	1.833 ms	2.023 ms	+10.4%
sum/hand-written-PLC/sum-left-Scott/5000	4.661 ms	5.277 ms	+13.2%

	`a0b7ebb`	`9421644`	Change
TOTAL	329.1 ms	344.5 ms	+4.7%

zliu41 · 2026-03-06T23:33:54Z

/benchmark force-delay

github-actions · 2026-03-06T23:34:05Z

Click here to check the status of your benchmark.

github-actions · 2026-03-06T23:56:57Z

Comparing benchmark results of 'force-delay' on '1519f9e33' (base) and '8c415a885' (PR)

Results table

Script	`1519f9e`	`8c415a8`	Change
nested-0-10k	91.67 μs	142.7 μs	+55.7%
nested-0-40k	442.0 μs	732.8 μs	+65.8%
nested-0-70k	908.8 μs	1.735 ms	+90.9%
nested-0-100k	1.603 ms	2.936 ms	+83.2%
nested-0-300k	9.136 ms	11.20 ms	+22.6%
nested-0-500k	17.00 ms	20.24 ms	+19.1%
nested-1-5k	171.5 μs	206.4 μs	+20.3%
nested-1-10k	398.4 μs	483.6 μs	+21.4%
nested-1-30k	2.125 ms	2.770 ms	+30.4%
nested-1-60k	7.266 ms	8.154 ms	+12.2%
nested-1-90k	12.51 ms	14.20 ms	+13.5%
nested-2-5k	317.7 μs	365.1 μs	+14.9%
nested-2-10k	818.8 μs	962.1 μs	+17.5%
nested-2-30k	5.956 ms	6.637 ms	+11.4%
nested-2-60k	16.92 ms	17.19 ms	+1.6%
nested-2-90k	24.75 ms	26.54 ms	+7.2%

	`1519f9e`	`8c415a8`	Change
TOTAL	100.4 ms	114.5 ms	+14.0%

zliu41 · 2026-03-07T01:02:27Z

/benchmark force-delay

github-actions · 2026-03-07T01:02:38Z

Click here to check the status of your benchmark.

github-actions · 2026-03-07T01:24:42Z

Comparing benchmark results of 'force-delay' on '1519f9e33' (base) and 'de46c0739' (PR)

Results table

Script	`1519f9e`	`de46c07`	Change
nested-0-10k	91.77 μs	143.2 μs	+56.0%
nested-0-40k	443.2 μs	736.9 μs	+66.3%
nested-0-70k	909.5 μs	1.746 ms	+92.0%
nested-0-100k	1.605 ms	2.952 ms	+83.9%
nested-0-300k	9.144 ms	11.21 ms	+22.6%
nested-0-500k	17.02 ms	20.28 ms	+19.2%
nested-1-5k	171.9 μs	209.8 μs	+22.0%
nested-1-10k	398.5 μs	478.6 μs	+20.1%
nested-1-30k	2.121 ms	2.758 ms	+30.0%
nested-1-60k	7.265 ms	8.106 ms	+11.6%
nested-1-90k	12.51 ms	14.16 ms	+13.2%
nested-2-5k	318.7 μs	360.2 μs	+13.0%
nested-2-10k	819.4 μs	951.9 μs	+16.2%
nested-2-30k	5.955 ms	6.624 ms	+11.2%
nested-2-60k	16.91 ms	17.10 ms	+1.1%
nested-2-90k	24.71 ms	26.43 ms	+7.0%

	`1519f9e`	`de46c07`	Change
TOTAL	100.4 ms	114.2 ms	+13.8%

zliu41 force-pushed the zliu41/need branch 2 times, most recently from d1c9461 to c9990fc Compare February 22, 2026 19:34

effectfully reviewed Feb 22, 2026

View reviewed changes

zliu41 force-pushed the zliu41/need branch 3 times, most recently from b245218 to 3500971 Compare February 22, 2026 23:39

zliu41 force-pushed the zliu41/need branch from 3500971 to a4ec5d6 Compare March 3, 2026 00:03

zliu41 force-pushed the zliu41/need branch from a4ec5d6 to da27ba7 Compare March 4, 2026 23:41

zliu41 force-pushed the zliu41/need branch from da27ba7 to b32e679 Compare March 5, 2026 23:54

zliu41 force-pushed the zliu41/need branch from b32e679 to 4acdf70 Compare March 6, 2026 01:03

zliu41 force-pushed the zliu41/need branch from 82de924 to 9421644 Compare March 6, 2026 19:57

zliu41 force-pushed the zliu41/need branch from 9421644 to 8c415a8 Compare March 6, 2026 23:33

zliu41 force-pushed the zliu41/need branch from 8c415a8 to de46c07 Compare March 7, 2026 00:49

Make Delay and Force by-need

86c9bdb

zliu41 force-pushed the zliu41/need branch from de46c07 to 86c9bdb Compare March 7, 2026 01:54

Conversation

zliu41 commented Feb 22, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

github-actions bot commented Feb 22, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Execution Budget Golden Diff

plutus-benchmark/bitwise/test/9.6/Ed25519.golden.eval

plutus-benchmark/cardano-loans/test/9.6/main.golden.eval

plutus-benchmark/coop/test/9.6/certMpBurning.golden.eval

plutus-benchmark/coop/test/9.6/fsMpMinting.golden.eval

plutus-benchmark/nofib/test/9.6/clausify-F5.golden.eval

plutus-benchmark/nofib/test/9.6/knights10-4x4.golden.eval

plutus-benchmark/nofib/test/9.6/queens5-fc.golden.eval

plutus-benchmark/validation/test/9.6/auction_1-1.flat.golden.eval

plutus-benchmark/validation/test/9.6/auction_1-2.flat.golden.eval

plutus-benchmark/validation/test/9.6/auction_1-3.flat.golden.eval

plutus-benchmark/validation/test/9.6/auction_1-4.flat.golden.eval

plutus-benchmark/validation/test/9.6/auction_2-1.flat.golden.eval

plutus-benchmark/validation/test/9.6/auction_2-2.flat.golden.eval

plutus-benchmark/validation/test/9.6/auction_2-3.flat.golden.eval

plutus-benchmark/validation/test/9.6/auction_2-4.flat.golden.eval

plutus-benchmark/validation/test/9.6/auction_2-5.flat.golden.eval

plutus-benchmark/validation/test/9.6/coop-3.flat.golden.eval

plutus-benchmark/validation/test/9.6/coop-4.flat.golden.eval

plutus-benchmark/validation/test/9.6/coop-5.flat.golden.eval

plutus-benchmark/validation/test/9.6/crowdfunding-success-1.flat.golden.eval

plutus-benchmark/validation/test/9.6/crowdfunding-success-2.flat.golden.eval

plutus-benchmark/validation/test/9.6/crowdfunding-success-3.flat.golden.eval

plutus-benchmark/validation/test/9.6/currency-1.flat.golden.eval

plutus-benchmark/validation/test/9.6/escrow-redeem_1-1.flat.golden.eval

plutus-benchmark/validation/test/9.6/escrow-redeem_1-2.flat.golden.eval

plutus-benchmark/validation/test/9.6/escrow-redeem_2-1.flat.golden.eval

plutus-benchmark/validation/test/9.6/escrow-redeem_2-2.flat.golden.eval

plutus-benchmark/validation/test/9.6/escrow-redeem_2-3.flat.golden.eval

plutus-benchmark/validation/test/9.6/escrow-refund-1.flat.golden.eval

plutus-benchmark/validation/test/9.6/future-increase-margin-1.flat.golden.eval

plutus-benchmark/validation/test/9.6/future-increase-margin-2.flat.golden.eval

plutus-benchmark/validation/test/9.6/future-increase-margin-3.flat.golden.eval

plutus-benchmark/validation/test/9.6/future-increase-margin-4.flat.golden.eval

plutus-benchmark/validation/test/9.6/future-increase-margin-5.flat.golden.eval

plutus-benchmark/validation/test/9.6/future-pay-out-1.flat.golden.eval

plutus-benchmark/validation/test/9.6/future-pay-out-2.flat.golden.eval

plutus-benchmark/validation/test/9.6/future-pay-out-3.flat.golden.eval

plutus-benchmark/validation/test/9.6/future-pay-out-4.flat.golden.eval

plutus-benchmark/validation/test/9.6/future-settle-early-1.flat.golden.eval

plutus-benchmark/validation/test/9.6/future-settle-early-2.flat.golden.eval

plutus-benchmark/validation/test/9.6/future-settle-early-3.flat.golden.eval

plutus-benchmark/validation/test/9.6/future-settle-early-4.flat.golden.eval

plutus-benchmark/validation/test/9.6/game-sm-success_1-1.flat.golden.eval

plutus-benchmark/validation/test/9.6/game-sm-success_1-2.flat.golden.eval

plutus-benchmark/validation/test/9.6/game-sm-success_1-3.flat.golden.eval

plutus-benchmark/validation/test/9.6/game-sm-success_1-4.flat.golden.eval

plutus-benchmark/validation/test/9.6/game-sm-success_2-1.flat.golden.eval

plutus-benchmark/validation/test/9.6/game-sm-success_2-2.flat.golden.eval

plutus-benchmark/validation/test/9.6/game-sm-success_2-3.flat.golden.eval

plutus-benchmark/validation/test/9.6/game-sm-success_2-4.flat.golden.eval

plutus-benchmark/validation/test/9.6/game-sm-success_2-5.flat.golden.eval

plutus-benchmark/validation/test/9.6/game-sm-success_2-6.flat.golden.eval

plutus-benchmark/validation/test/9.6/guardrail-sorted-large.flat.golden.eval

plutus-benchmark/validation/test/9.6/guardrail-unsorted-large.flat.golden.eval

plutus-benchmark/validation/test/9.6/multisig-sm-01.flat.golden.eval

plutus-benchmark/validation/test/9.6/multisig-sm-02.flat.golden.eval

plutus-benchmark/validation/test/9.6/multisig-sm-03.flat.golden.eval

plutus-benchmark/validation/test/9.6/multisig-sm-04.flat.golden.eval

plutus-benchmark/validation/test/9.6/multisig-sm-05.flat.golden.eval

plutus-benchmark/validation/test/9.6/multisig-sm-06.flat.golden.eval

plutus-benchmark/validation/test/9.6/multisig-sm-07.flat.golden.eval

plutus-benchmark/validation/test/9.6/multisig-sm-08.flat.golden.eval

plutus-benchmark/validation/test/9.6/multisig-sm-09.flat.golden.eval

plutus-benchmark/validation/test/9.6/multisig-sm-10.flat.golden.eval

plutus-benchmark/validation/test/9.6/ping-pong-1.flat.golden.eval

plutus-benchmark/validation/test/9.6/ping-pong-2.flat.golden.eval

plutus-benchmark/validation/test/9.6/ping-pong_2-1.flat.golden.eval

plutus-benchmark/validation/test/9.6/prism-1.flat.golden.eval

plutus-benchmark/validation/test/9.6/prism-2.flat.golden.eval

plutus-benchmark/validation/test/9.6/prism-3.flat.golden.eval

plutus-benchmark/validation/test/9.6/pubkey-1.flat.golden.eval

plutus-benchmark/validation/test/9.6/stablecoin_1-1.flat.golden.eval

plutus-benchmark/validation/test/9.6/stablecoin_1-2.flat.golden.eval

zliu41 commented Feb 22, 2026 •

edited

Loading

github-actions bot commented Feb 22, 2026 •

edited

Loading