diff --git a/cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.golden.large.budget b/cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.golden.large.budget index c12729baca6..31bd13616aa 100644 --- a/cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.golden.large.budget +++ b/cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/sorted.golden.large.budget @@ -1 +1 @@ -ExBudget {exBudgetCPU = ExCPU 406371137, exBudgetMemory = ExMemory 2070356} \ No newline at end of file +ExBudget {exBudgetCPU = ExCPU 405155137, exBudgetMemory = ExMemory 2062756} \ No newline at end of file diff --git a/cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.golden.large.budget b/cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.golden.large.budget index 1db796d20b0..447079a49f0 100644 --- a/cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.golden.large.budget +++ b/cardano-constitution/test/Cardano/Constitution/Validator/Data/GoldenTests/unsorted.golden.large.budget @@ -1 +1 @@ -ExBudget {exBudgetCPU = ExCPU 568927992, exBudgetMemory = ExMemory 2944491} \ No newline at end of file +ExBudget {exBudgetCPU = ExCPU 567711992, exBudgetMemory = ExMemory 2936891} \ No newline at end of file diff --git a/cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.golden.large.budget b/cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.golden.large.budget index de2f1801322..74a94ecf9bd 100644 --- a/cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.golden.large.budget +++ b/cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.golden.large.budget @@ -1 +1 @@ -ExBudget {exBudgetCPU = ExCPU 406611137, exBudgetMemory = ExMemory 2071856} \ No newline at end of file +ExBudget {exBudgetCPU = ExCPU 405395137, exBudgetMemory = ExMemory 2064256} \ No newline at end of file diff --git a/cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/unsorted.golden.large.budget b/cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/unsorted.golden.large.budget index 5a7a13c92b0..12abe875736 100644 --- a/cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/unsorted.golden.large.budget +++ b/cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/unsorted.golden.large.budget @@ -1 +1 @@ -ExBudget {exBudgetCPU = ExCPU 568975992, exBudgetMemory = ExMemory 2944791} \ No newline at end of file +ExBudget {exBudgetCPU = ExCPU 567759992, exBudgetMemory = ExMemory 2937191} \ No newline at end of file diff --git a/plutus-benchmark/bitwise/test/9.6/Ed25519.golden.eval b/plutus-benchmark/bitwise/test/9.6/Ed25519.golden.eval index c8f1c1200fe..108e0e825d5 100644 --- a/plutus-benchmark/bitwise/test/9.6/Ed25519.golden.eval +++ b/plutus-benchmark/bitwise/test/9.6/Ed25519.golden.eval @@ -1,5 +1,5 @@ -CPU: 1_628_853_655_874 -Memory: 4_738_061_278 +CPU: 1_120_813_938_390 +Memory: 3_171_460_442 AST Size: 3_319 Flat Size: 5_260 diff --git a/plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden b/plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden index d974e847463..5a7feefefb8 100644 --- a/plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden +++ b/plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden @@ -127,7 +127,7 @@ Aggregate Multi Key n Script size CPU usage Memory usage ---------------------------------------------------------------------- - - 1786 (10.9%) 3423350991 (34.2%) 280881 (2.0%) + - 1786 (10.9%) 3423222991 (34.2%) 280081 (2.0%) Schnorr Signature G1 diff --git a/plutus-benchmark/cardano-loans/test/9.6/main.golden.eval b/plutus-benchmark/cardano-loans/test/9.6/main.golden.eval index 1ae70cc63f1..93d58726c32 100644 --- a/plutus-benchmark/cardano-loans/test/9.6/main.golden.eval +++ b/plutus-benchmark/cardano-loans/test/9.6/main.golden.eval @@ -1,5 +1,5 @@ -CPU: 110_972_889 -Memory: 621_550 +CPU: 110_492_889 +Memory: 618_550 AST Size: 7_400 Flat Size: 8_660 diff --git a/plutus-benchmark/coop/test/9.6/certMpBurning.golden.eval b/plutus-benchmark/coop/test/9.6/certMpBurning.golden.eval index b4d973d8c49..8efccad10dd 100644 --- a/plutus-benchmark/coop/test/9.6/certMpBurning.golden.eval +++ b/plutus-benchmark/coop/test/9.6/certMpBurning.golden.eval @@ -1,5 +1,5 @@ -CPU: 1_840_950_144 -Memory: 10_758_518 +CPU: 1_813_270_144 +Memory: 10_585_518 AST Size: 3_111 Flat Size: 7_999 diff --git a/plutus-benchmark/coop/test/9.6/fsMpMinting.golden.eval b/plutus-benchmark/coop/test/9.6/fsMpMinting.golden.eval index 93afba6c1dc..925e1c04ce0 100644 --- a/plutus-benchmark/coop/test/9.6/fsMpMinting.golden.eval +++ b/plutus-benchmark/coop/test/9.6/fsMpMinting.golden.eval @@ -1,5 +1,5 @@ -CPU: 562_518_641 -Memory: 3_012_367 +CPU: 559_798_641 +Memory: 2_995_367 AST Size: 3_519 Flat Size: 9_180 diff --git a/plutus-benchmark/marlowe/test/budgets.golden.tsv b/plutus-benchmark/marlowe/test/budgets.golden.tsv index 253b2d3130b..23c4b44e192 100644 --- a/plutus-benchmark/marlowe/test/budgets.golden.tsv +++ b/plutus-benchmark/marlowe/test/budgets.golden.tsv @@ -1,200 +1,200 @@ -300769473 1458213 11263 -395298424 1629730 11263 -889905254 4420373 11263 -744493977 3389376 11263 -828999121 2316586 11263 -276759668 1347450 11263 -690635775 3231518 11263 -722850842 3516831 11263 -669574210 3096379 11263 -1076980502 4934436 11263 -1089190512 4767386 11263 -934417171 4498692 11263 -1047187082 5012765 11263 -1229769100 5746700 11263 -432725177 2114228 11263 -708480414 3395797 11263 -455340817 2221826 11263 -696074812 3366795 11263 -278981608 1352352 11263 -812519064 3748913 11263 -708029137 3140229 11263 -279036166 1352352 11263 -957038163 1237215 11263 -3873107314 1677398 11263 -313465075 1478440 11263 -276759668 1347450 11263 -481837675 2358455 11263 -1749843674 1610485 11263 -866164136 3245510 11263 -724813948 3529581 11263 -685829861 3078816 11263 -981957873 4771272 11263 -278981608 1352352 11263 -427789255 2097818 11263 -548696462 2669386 11263 -658233396 3091949 11263 -276759668 1347450 11263 -783535144 3661294 11263 -276759668 1347450 11263 -935585102 4543313 11263 -629929546 3064408 11263 -356046975 1530690 11263 -346235144 1653241 11263 -359786680 1720719 11263 -276759668 1347450 11263 -669366311 3254745 11263 -276759668 1347450 11263 -443847857 2165512 11263 -969535812 4524179 11263 -932397782 4442358 11263 -472849982 2270655 11263 -278981608 1352352 11263 -643659352 3080626 11263 -445733027 2174104 11263 -582276178 2820321 11263 -2157197956 1880826 11263 -1308974596 5531946 11263 -945904357 4562145 11263 -3873107314 1677398 11263 -446015353 2170414 11263 -724775764 3413102 11263 -435001675 2119130 11263 -725253304 3491332 11263 -709105586 3476117 11263 -629511902 3064828 11263 -490120101 2320021 11263 -420539740 1945685 11263 -1297915711 5391896 11263 -985143429 4682989 11263 -313465075 1478440 11263 -278981608 1352352 11263 -1084707619 4957076 11263 -359786680 1720719 11263 -490120101 2320021 11263 -561644332 2667867 11263 -317292437 1483381 11263 -508175076 2449323 11263 -1230825000 5747245 11263 -680582121 3292847 11263 -857344574 4179413 11263 -663597981 3255969 11263 -724584108 3490739 11263 -946713162 1182663 11263 -779772226 3732363 11263 -748019341 3564174 11263 -450200158 2191049 11263 -17813064889 1039183 11263 -928880412 4527582 11263 -276759668 1347450 11263 -430011195 2102720 11263 -676063662 3291941 11263 -324214631 1435276 11263 -351565935 1677078 11263 -278981608 1352352 11263 -878431948 2537935 11263 -276759668 1347450 11263 -591888224 2736204 11263 -722505155 2948095 11263 -3751201883 1134597 11263 -835202926 3927528 11263 -234128709 1129624 2427 -314105481 1564848 2427 -245533460 1187893 2427 -209893161 1002260 2427 -230184679 1103668 2427 -219316548 1047707 2427 -218378849 1042505 2427 -255828322 1235513 2427 -243875818 1179482 2427 -229269363 1098648 2427 -247333217 1194728 2427 -247529296 1201308 2427 -283288411 1392736 2427 -214602640 1026579 2427 -226118198 1084945 2427 -210369636 994599 2427 -245551572 1196981 2427 -223217455 1069220 2427 -223169584 1081552 2427 -250958161 1221054 2427 -217392424 1042207 2427 -236021560 1137857 2427 -234128709 1129624 2427 -244808822 1187875 2427 -217517949 1036108 2427 -214607145 1023388 2427 -218414958 1043503 2427 -213664865 1021377 2427 -234023565 1121572 2427 -225844721 1081255 2427 -234862680 1133748 2427 -217517949 1036108 2427 -209852471 1004453 2427 -226372285 1086744 2427 -214602564 1026579 2427 -214602564 1026579 2427 -250744050 1219949 2427 -221765519 1061892 2427 -247537229 1207006 2427 -234128709 1129624 2427 -253824587 1224386 2427 -217477259 1038301 2427 -217477259 1038301 2427 -222559891 1069820 2427 -274612090 1348027 2427 -259027367 1257408 2427 -226503921 1095776 2427 -217477259 1038301 2427 -287296787 1423954 2427 -245551572 1196981 2427 -222559891 1069820 2427 -253193021 1234134 2427 -236441360 1144921 2427 -213664865 1021377 2427 -210369636 994599 2427 -217477259 1038301 2427 -218414958 1043503 2427 -217477259 1038301 2427 -218414958 1043503 2427 -240673050 1173991 2427 -248819926 1214449 2427 -250014387 1223444 2427 -232628966 1127997 2427 -222032327 1064331 2427 -229333737 1101219 2427 -238110342 1146433 2427 -208955576 997058 2427 -217477259 1038301 2427 -256148135 1260647 2427 -218414958 1043503 2427 -217477259 1038301 2427 -218414958 1043503 2427 -249842460 1215745 2427 -218414958 1043503 2427 -278655575 1358918 2427 -301797839 1492341 2427 -218414958 1043503 2427 -242217672 1181897 2427 -244808822 1187875 2427 -219316548 1047707 2427 -228816572 1111073 2427 -229419306 1105305 2427 -258125935 1264974 2427 -210369636 994599 2427 -219316548 1047707 2427 -241527409 1158328 2427 -236763500 1138971 2427 -242217672 1181897 2427 -222265976 1068021 2427 -225017212 1076055 2427 -225918802 1080259 2427 -218414958 1043503 2427 -242579645 1167163 2427 -244808822 1187875 2427 -217477259 1038301 2427 -214602564 1026579 2427 -233231700 1122229 2427 -218414958 1043503 2427 -225844721 1081255 2427 -252279389 1223434 2427 +292961473 1409413 11263 +385122424 1566130 11263 +861105254 4240373 11263 +722813977 3253876 11263 +813383121 2218986 11263 +269239668 1300450 11263 +668651775 3094118 11263 +699634842 3371731 11263 +650550210 2977479 11263 +1047780502 4751936 11263 +1055158512 4554686 11263 +905073171 4315292 11263 +1014163082 4806365 11263 +1191049100 5504700 11263 +419685177 2032728 11263 +686784414 3260197 11263 +441804817 2137226 11263 +674282812 3230595 11263 +271461608 1305352 11263 +785543064 3580313 11263 +688317137 3017029 11263 +271516166 1305352 11263 +948638163 1184715 11263 +3863155314 1615198 11263 +304281075 1421040 11263 +269239668 1300450 11263 +466781675 2264355 11263 +1740819674 1554085 11263 +844932136 3112810 11263 +701245948 3382281 11263 +664309861 2944316 11263 +951189873 4578972 11263 +271461608 1305352 11263 +414397255 2014118 11263 +530600462 2556286 11263 +638169396 2966549 11263 +269239668 1300450 11263 +759679144 3512194 11263 +269239668 1300450 11263 +906145102 4359313 11263 +610281546 2941608 11263 +346142975 1468790 11263 +336203144 1590541 11263 +348666680 1651219 11263 +269239668 1300450 11263 +646502311 3111845 11263 +269239668 1300450 11263 +430999857 2085212 11263 +942511812 4355279 11263 +904413782 4267458 11263 +459569982 2187655 11263 +271461608 1305352 11263 +623611352 2955326 11263 +432853027 2093604 11263 +563572178 2703421 11263 +2145549956 1808026 11263 +1269422596 5284746 11263 +916624357 4379145 11263 +3863155314 1615198 11263 +433135353 2089914 11263 +702759764 3275502 11263 +421961675 2037630 11263 +701157304 3340732 11263 +685281586 3327217 11263 +609623902 2940528 11263 +478520101 2247521 11263 +408539740 1870685 11263 +1260443711 5157696 11263 +952919429 4481589 11263 +304281075 1421040 11263 +271461608 1305352 11263 +1055363619 4773676 11263 +348666680 1651219 11263 +478520101 2247521 11263 +543564332 2554867 11263 +307052437 1419381 11263 +492447076 2351023 11263 +1192137000 5505445 11263 +657574121 3149047 11263 +830864574 4013913 11263 +643661981 3131369 11263 +700472108 3340039 11263 +939065162 1134863 11263 +753068226 3565463 11263 +722499341 3404674 11263 +436984158 2108449 11263 +17806392889 997483 11263 +899824412 4345982 11263 +269239668 1300450 11263 +416619195 2019020 11263 +653071662 3148241 11263 +315158631 1378676 11263 +340669935 1608978 11263 +271461608 1305352 11263 +861055948 2429335 11263 +269239668 1300450 11263 +574672224 2628604 11263 +702617155 2823795 11263 +3743681883 1087597 11263 +807986926 3757428 11263 +231696709 1114424 2427 +310169481 1540248 2427 +242813460 1170893 2427 +207669161 988360 2427 +227752679 1088468 2427 +217236548 1034707 2427 +216330849 1029705 2427 +253124322 1218613 2427 +241219818 1162882 2427 +226933363 1084048 2427 +244837217 1179128 2427 +244825296 1184408 2427 +279752411 1370636 2427 +212522640 1013579 2427 +223654198 1069545 2427 +208353636 981999 2427 +242959572 1180781 2427 +220881455 1054620 2427 +220561584 1065252 2427 +248046161 1202854 2427 +215280424 1029007 2427 +233413560 1121557 2427 +231696709 1114424 2427 +242264822 1171975 2427 +215293949 1022208 2427 +212383145 1009488 2427 +216334958 1030503 2427 +211616865 1008577 2427 +231623565 1106572 2427 +223748721 1068155 2427 +232366680 1118148 2427 +215293949 1022208 2427 +207804471 991653 2427 +223940285 1071544 2427 +212522564 1013579 2427 +212522564 1013579 2427 +247960050 1202549 2427 +219461519 1047492 2427 +244593229 1188606 2427 +231696709 1114424 2427 +251072587 1207186 2427 +215429259 1025501 2427 +215429259 1025501 2427 +220127891 1054620 2427 +271316090 1327427 2427 +256419367 1241108 2427 +224071921 1080576 2427 +215429259 1025501 2427 +283664787 1401254 2427 +242959572 1180781 2427 +220127891 1054620 2427 +250185021 1215334 2427 +233945360 1129321 2427 +211616865 1008577 2427 +208353636 981999 2427 +215429259 1025501 2427 +216334958 1030503 2427 +215429259 1025501 2427 +216334958 1030503 2427 +237761050 1155791 2427 +246003926 1196849 2427 +247070387 1205044 2427 +230132966 1112397 2427 +219936327 1051231 2427 +226869737 1085819 2427 +235518342 1130233 2427 +206763576 983358 2427 +215429259 1025501 2427 +253156135 1241947 2427 +216334958 1030503 2427 +215429259 1025501 2427 +216334958 1030503 2427 +247058460 1198345 2427 +216334958 1030503 2427 +275487575 1339118 2427 +298565839 1472141 2427 +216334958 1030503 2427 +239433672 1164497 2427 +242264822 1171975 2427 +217236548 1034707 2427 +226320572 1095473 2427 +226843306 1089205 2427 +255021935 1245574 2427 +208353636 981999 2427 +217236548 1034707 2427 +239095409 1143128 2427 +234283500 1123471 2427 +239433672 1164497 2427 +219801976 1052621 2427 +222905212 1062855 2427 +223806802 1067059 2427 +216334958 1030503 2427 +240387645 1153463 2427 +242264822 1171975 2427 +215429259 1025501 2427 +212522564 1013579 2427 +230655700 1106129 2427 +216334958 1030503 2427 +223748721 1068155 2427 +249543389 1206334 2427 diff --git a/plutus-benchmark/marlowe/test/data.budgets.golden.tsv b/plutus-benchmark/marlowe/test/data.budgets.golden.tsv index e90cede8a0a..e843862c82b 100644 --- a/plutus-benchmark/marlowe/test/data.budgets.golden.tsv +++ b/plutus-benchmark/marlowe/test/data.budgets.golden.tsv @@ -1,200 +1,200 @@ -305039579 1411314 11944 -414635323 1641282 11944 -1055688541 4802744 11944 -808069897 3504512 11944 -851737627 2283131 11944 -280029975 1296923 11944 -743481237 3306110 11944 -826645373 3720198 11944 -730460460 3207419 11944 -1103447232 4968652 11944 -1118559003 4820744 11944 -1062353242 4764754 11944 -1221195790 5429067 11944 -1354647987 6023927 11944 -455088108 2125416 11944 -762061876 3474989 11944 -489393437 2294665 11944 -776984304 3478629 11944 -282723714 1302153 11944 -898658396 3888369 11944 -756767217 3200890 11944 -282778272 1302153 11944 -974903062 1239567 11944 -3901202527 1721180 11944 -332330175 1489664 11944 -280029975 1296923 11944 -531853902 2488579 11944 -1777139964 1648271 11944 -895124426 3293696 11944 -817337005 3672110 11944 -735175941 3143277 11944 -1154594822 5171619 11944 -282723714 1302153 11944 -455700826 2147743 11944 -601063137 2748443 11944 -710958657 3163169 11944 -280029975 1296923 11944 -833097425 3729727 11944 -280029975 1296923 11944 -1110055283 4948835 11944 -697809434 3186153 11944 -375383874 1542242 11944 -349977250 1603042 11944 -363056987 1670192 11944 -280029975 1296923 11944 -753785569 3388872 11944 -280029975 1296923 11944 -466586587 2176428 11944 -1062533018 4663888 11944 -1027536648 4714034 11944 -496156511 2282499 11944 -282723714 1302153 11944 -705907272 3187462 11944 -468471757 2185020 11944 -630318459 2879254 11944 -2184646447 1922184 11944 -1340286886 5594832 11944 -1121247227 4980221 11944 -3901202527 1721180 11944 -469225882 2181658 11944 -780527908 3497983 11944 -457836405 2130646 11944 -810847110 3635439 11944 -807755085 3661087 11944 -681065097 3119749 11944 -504973598 2315756 11944 -441348639 1966437 11944 -1303763465 5277292 11944 -1112867194 4926386 11944 -332330175 1489664 11944 -282723714 1302153 11944 -1111646148 4991620 11944 -363056987 1670192 11944 -504973598 2315756 11944 -624477264 2783196 11944 -312803065 1417029 11944 -555385357 2503056 11944 -1348428072 6004808 11944 -765093933 3435607 11944 -928011736 4366086 11944 -769523196 3499916 11944 -823121604 3676721 11944 -964578061 1185015 11944 -874998076 3896253 11944 -838563623 3711622 11944 -472563089 2202237 11944 -17830929788 1041535 11944 -1116631400 4988002 11944 -280029975 1296923 11944 -458394565 2152973 11944 -765396424 3445293 11944 -343551530 1446828 11944 -370902834 1688630 11944 -282723714 1302153 11944 -895500390 2488660 11944 -280029975 1296923 11944 -652582474 2846044 11944 -749521646 2986753 11944 -3769066782 1136949 11944 -929885834 4080792 11944 -150985921 672865 1690 -332736557 1439089 1690 -190115365 820375 1690 -122155085 542448 1690 -152968897 670387 1690 -120554622 554310 1690 -121492321 559512 1690 -192413183 849841 1690 -185042282 808645 1690 -145612115 656098 1690 -172183567 770065 1690 -203695052 892923 1690 -254783828 1066332 1690 -120554698 554310 1690 -147829032 639523 1690 -113039745 496657 1690 -202094779 904785 1690 -149085243 653220 1690 -166389512 724367 1690 -207684072 885832 1690 -131153445 602910 1690 -160616714 704041 1690 -150985921 672865 1690 -183441933 820507 1690 -122155085 542448 1690 -122155085 542448 1690 -120554622 554310 1690 -121492321 559512 1690 -148028246 661128 1690 -140145091 643790 1690 -167896502 754392 1690 -122155085 542448 1690 -121492321 559512 1690 -152968897 670387 1690 -120554622 554310 1690 -120554622 554310 1690 -183985713 796982 1690 -135013292 607498 1690 -196028252 845140 1690 -150985921 672865 1690 -195694024 836778 1690 -121492321 559512 1690 -121492321 559512 1690 -152968897 670387 1690 -250378052 1066989 1690 -229777135 1023020 1690 -150985921 672865 1690 -121492321 559512 1690 -280227246 1215661 1690 -202094779 904785 1690 -152968897 670387 1690 -198444383 850170 1690 -164789163 736229 1690 -121492321 559512 1690 -113039745 496657 1690 -121492321 559512 1690 -120554622 554310 1690 -121492321 559512 1690 -120554622 554310 1690 -190357276 824065 1690 -194584536 845582 1690 -207839514 920877 1690 -164789163 736229 1690 -140145091 643790 1690 -150414264 657580 1690 -166501588 718145 1690 -123092670 547650 1690 -121492321 559512 1690 -229307268 1002786 1690 -120554622 554310 1690 -121492321 559512 1690 -120554622 554310 1690 -183985713 796982 1690 -120554622 554310 1690 -232656983 1001000 1690 -322571118 1424176 1690 -120554622 554310 1690 -183985713 796982 1690 -183441933 820507 1690 -120554622 554310 1690 -164789163 736229 1690 -150017891 655441 1690 -224985294 975130 1690 -113039745 496657 1690 -120554622 554310 1690 -158627069 709728 1690 -174989357 757652 1690 -183985713 796982 1690 -147819132 639523 1690 -131153445 602910 1690 -131153445 602910 1690 -120554622 554310 1690 -177450631 812346 1690 -183441933 820507 1690 -121492321 559512 1690 -120554622 554310 1690 -150017891 655441 1690 -120554622 554310 1690 -140145091 643790 1690 -197772729 877129 1690 +298191579 1368514 11944 +404667323 1578982 11944 +1028552541 4633144 11944 +787973897 3378912 11944 +838585627 2200931 11944 +273469975 1255923 11944 +723257237 3179710 11944 +806341373 3593298 11944 +712748460 3096719 11944 +1075015232 4790952 11944 +1084991003 4610944 11944 +1036097242 4600654 11944 +1190907790 5239767 11944 +1317735987 5793227 11944 +442880108 2049116 11944 +742381876 3351989 11944 +476065437 2211365 11944 +759032304 3366429 11944 +276163714 1261153 11944 +874642396 3738269 11944 +739087217 3090390 11944 +276218272 1261153 11944 +966935062 1189767 11944 +3892082527 1664180 11944 +323354175 1433564 11944 +273469975 1255923 11944 +516365902 2391779 11944 +1768579964 1594771 11944 +874132426 3162496 11944 +797353005 3547210 11944 +715431941 3019877 11944 +1125442822 4989419 11944 +276163714 1261153 11944 +442660826 2066243 11944 +584519137 2645043 11944 +692782657 3049569 11944 +273469975 1255923 11944 +811273425 3593327 11944 +273469975 1255923 11944 +1083319283 4781735 11944 +680193434 3076053 11944 +365687874 1481642 11944 +340905250 1546342 11944 +352896987 1606692 11944 +273469975 1255923 11944 +733577569 3262572 11944 +273469975 1255923 11944 +454570587 2101328 11944 +1039173018 4517888 11944 +999888648 4541234 11944 +483740511 2204899 11944 +276163714 1261153 11944 +687315272 3071262 11944 +456423757 2109720 11944 +613518459 2774254 11944 +2173462447 1852284 11944 +1300974886 5349132 11944 +1094591227 4813621 11944 +3892082527 1664180 11944 +457209882 2106558 11944 +760463908 3372583 11944 +445628405 2054346 11944 +789439110 3501639 11944 +785963085 3524887 11944 +663801097 3011849 11944 +494365598 2249456 11944 +429300639 1891137 11944 +1269539465 5063392 11944 +1083747194 4744386 11944 +323354175 1433564 11944 +276163714 1261153 11944 +1083102148 4813220 11944 +352896987 1606692 11944 +494365598 2249456 11944 +607517264 2677196 11944 +303459065 1358629 11944 +541689357 2417456 11944 +1311868072 5776308 11944 +744885933 3309307 11944 +901195736 4198486 11944 +751075196 3384616 11944 +801265604 3540121 11944 +957362061 1139915 11944 +850982076 3746153 11944 +816067623 3571022 11944 +460179089 2124837 11944 +17824689788 1002535 11944 +1089719400 4819802 11944 +273469975 1255923 11944 +445354565 2071473 11944 +745204424 3319093 11944 +334703530 1391528 11944 +360214834 1621830 11944 +276163714 1261153 11944 +880668390 2395960 11944 +273469975 1255923 11944 +636678474 2746644 11944 +730097646 2865353 11944 +3761978782 1092649 11944 +905869834 3930692 11944 +148105921 654865 1690 +326528557 1400289 1690 +186739365 799275 1690 +119963085 528748 1690 +150120897 652587 1690 +118106622 539010 1690 +119012321 544012 1690 +188573183 825841 1690 +181634282 787345 1690 +142764115 638298 1690 +168695567 748265 1690 +199775052 868423 1690 +250559828 1039932 1690 +118106698 539010 1690 +145253032 623423 1690 +111135745 484757 1690 +197918779 878685 1690 +146445243 636720 1690 +163493512 706267 1690 +204180072 863932 1690 +128401445 585710 1690 +157688714 685741 1690 +148105921 654865 1690 +179777933 797607 1690 +119963085 528748 1690 +119963085 528748 1690 +118106622 539010 1690 +119012321 544012 1690 +145180246 643328 1690 +137153091 625090 1690 +164632502 733992 1690 +119963085 528748 1690 +119012321 544012 1690 +150120897 652587 1690 +118106622 539010 1690 +118106622 539010 1690 +180673713 776282 1690 +132469292 591598 1690 +192620252 823840 1690 +148105921 654865 1690 +192286024 815478 1690 +119012321 544012 1690 +119012321 544012 1690 +150120897 652587 1690 +245930052 1039189 1690 +224945135 992820 1690 +148105921 654865 1690 +119012321 544012 1690 +275059246 1183361 1690 +197918779 878685 1690 +150120897 652587 1690 +195036383 828870 1690 +161637163 716529 1690 +119012321 544012 1690 +111135745 484757 1690 +119012321 544012 1690 +118106622 539010 1690 +119012321 544012 1690 +118106622 539010 1690 +187173276 804165 1690 +190968536 822982 1690 +203935514 896477 1690 +161637163 716529 1690 +137153091 625090 1690 +147870264 641680 1690 +163733588 700845 1690 +120868670 533750 1690 +119012321 544012 1690 +224971268 975686 1690 +118106622 539010 1690 +119012321 544012 1690 +118106622 539010 1690 +180673713 776282 1690 +118106622 539010 1690 +228336983 974000 1690 +315675118 1381076 1690 +118106622 539010 1690 +180673713 776282 1690 +179777933 797607 1690 +118106622 539010 1690 +161637163 716529 1690 +147393891 639041 1690 +220937294 949830 1690 +111135745 484757 1690 +118106622 539010 1690 +155475069 690028 1690 +171901357 738352 1690 +180673713 776282 1690 +145243132 623423 1690 +128401445 585710 1690 +128401445 585710 1690 +118106622 539010 1690 +173434631 787246 1690 +179777933 797607 1690 +119012321 544012 1690 +118106622 539010 1690 +147393891 639041 1690 +118106622 539010 1690 +137153091 625090 1690 +193884729 852829 1690 diff --git a/plutus-benchmark/nofib/test/9.6/clausify-F5.golden.eval b/plutus-benchmark/nofib/test/9.6/clausify-F5.golden.eval index a429291bd75..41e81fdaf79 100644 --- a/plutus-benchmark/nofib/test/9.6/clausify-F5.golden.eval +++ b/plutus-benchmark/nofib/test/9.6/clausify-F5.golden.eval @@ -1,5 +1,5 @@ -CPU: 42_701_722_450 -Memory: 259_362_190 +CPU: 42_414_234_450 +Memory: 257_565_390 AST Size: 1_429 Flat Size: 1_477 diff --git a/plutus-benchmark/nofib/test/9.6/knights10-4x4.golden.eval b/plutus-benchmark/nofib/test/9.6/knights10-4x4.golden.eval index 7c00d820daa..9a6bcc993d7 100644 --- a/plutus-benchmark/nofib/test/9.6/knights10-4x4.golden.eval +++ b/plutus-benchmark/nofib/test/9.6/knights10-4x4.golden.eval @@ -1,5 +1,5 @@ -CPU: 1_023_470_754 -Memory: 5_395_058 +CPU: 1_015_054_754 +Memory: 5_342_458 AST Size: 1_700 Flat Size: 1_674 diff --git a/plutus-benchmark/nofib/test/9.6/queens5-fc.golden.eval b/plutus-benchmark/nofib/test/9.6/queens5-fc.golden.eval index 016af4f33e5..63605249174 100644 --- a/plutus-benchmark/nofib/test/9.6/queens5-fc.golden.eval +++ b/plutus-benchmark/nofib/test/9.6/queens5-fc.golden.eval @@ -1,5 +1,5 @@ -CPU: 119_023_989_782 -Memory: 693_842_855 +CPU: 118_763_973_782 +Memory: 692_217_755 AST Size: 1_791 Flat Size: 1_764 diff --git a/plutus-benchmark/validation/test/9.6/auction_1-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/auction_1-1.flat.golden.eval index af578624c1c..09d4b9b9e52 100644 --- a/plutus-benchmark/validation/test/9.6/auction_1-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/auction_1-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 185_243_960 -Memory: 831_092 +CPU: 154_524_120 +Memory: 716_108 AST Size: 3_685 Flat Size: 3_722 diff --git a/plutus-benchmark/validation/test/9.6/auction_1-2.flat.golden.eval b/plutus-benchmark/validation/test/9.6/auction_1-2.flat.golden.eval index e7909c1baf5..36c1e676533 100644 --- a/plutus-benchmark/validation/test/9.6/auction_1-2.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/auction_1-2.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 628_192_291 -Memory: 3_455_036 +CPU: 550_220_254 +Memory: 3_061_970 AST Size: 9_615 Flat Size: 8_875 diff --git a/plutus-benchmark/validation/test/9.6/auction_1-3.flat.golden.eval b/plutus-benchmark/validation/test/9.6/auction_1-3.flat.golden.eval index e8ba1a0d91e..8ff77f1433e 100644 --- a/plutus-benchmark/validation/test/9.6/auction_1-3.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/auction_1-3.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 634_004_628 -Memory: 3_463_550 +CPU: 554_158_710 +Memory: 3_066_576 AST Size: 9_615 Flat Size: 8_837 diff --git a/plutus-benchmark/validation/test/9.6/auction_1-4.flat.golden.eval b/plutus-benchmark/validation/test/9.6/auction_1-4.flat.golden.eval index 7a79064c46f..f7f0c936c68 100644 --- a/plutus-benchmark/validation/test/9.6/auction_1-4.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/auction_1-4.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 239_873_979 -Memory: 1_053_348 +CPU: 200_112_185 +Memory: 903_440 AST Size: 3_685 Flat Size: 3_921 diff --git a/plutus-benchmark/validation/test/9.6/auction_2-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/auction_2-1.flat.golden.eval index af578624c1c..09d4b9b9e52 100644 --- a/plutus-benchmark/validation/test/9.6/auction_2-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/auction_2-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 185_243_960 -Memory: 831_092 +CPU: 154_524_120 +Memory: 716_108 AST Size: 3_685 Flat Size: 3_722 diff --git a/plutus-benchmark/validation/test/9.6/auction_2-2.flat.golden.eval b/plutus-benchmark/validation/test/9.6/auction_2-2.flat.golden.eval index e7909c1baf5..36c1e676533 100644 --- a/plutus-benchmark/validation/test/9.6/auction_2-2.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/auction_2-2.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 628_192_291 -Memory: 3_455_036 +CPU: 550_220_254 +Memory: 3_061_970 AST Size: 9_615 Flat Size: 8_875 diff --git a/plutus-benchmark/validation/test/9.6/auction_2-3.flat.golden.eval b/plutus-benchmark/validation/test/9.6/auction_2-3.flat.golden.eval index 6027142d82b..a1da6ae5f60 100644 --- a/plutus-benchmark/validation/test/9.6/auction_2-3.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/auction_2-3.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 829_358_119 -Memory: 4_603_050 +CPU: 730_813_740 +Memory: 4_097_702 AST Size: 9_615 Flat Size: 9_046 diff --git a/plutus-benchmark/validation/test/9.6/auction_2-4.flat.golden.eval b/plutus-benchmark/validation/test/9.6/auction_2-4.flat.golden.eval index e8ba1a0d91e..8ff77f1433e 100644 --- a/plutus-benchmark/validation/test/9.6/auction_2-4.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/auction_2-4.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 634_004_628 -Memory: 3_463_550 +CPU: 554_158_710 +Memory: 3_066_576 AST Size: 9_615 Flat Size: 8_837 diff --git a/plutus-benchmark/validation/test/9.6/auction_2-5.flat.golden.eval b/plutus-benchmark/validation/test/9.6/auction_2-5.flat.golden.eval index 7a79064c46f..f7f0c936c68 100644 --- a/plutus-benchmark/validation/test/9.6/auction_2-5.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/auction_2-5.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 239_873_979 -Memory: 1_053_348 +CPU: 200_112_185 +Memory: 903_440 AST Size: 3_685 Flat Size: 3_921 diff --git a/plutus-benchmark/validation/test/9.6/coop-3.flat.golden.eval b/plutus-benchmark/validation/test/9.6/coop-3.flat.golden.eval index 30232366c72..33dbcb625c6 100644 --- a/plutus-benchmark/validation/test/9.6/coop-3.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/coop-3.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 2_146_553_523 -Memory: 11_725_239 +CPU: 2_117_593_523 +Memory: 11_544_239 AST Size: 3_722 Flat Size: 8_722 diff --git a/plutus-benchmark/validation/test/9.6/coop-4.flat.golden.eval b/plutus-benchmark/validation/test/9.6/coop-4.flat.golden.eval index b5863ab5e54..dd07e83e689 100644 --- a/plutus-benchmark/validation/test/9.6/coop-4.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/coop-4.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 896_329_242 -Memory: 3_989_698 +CPU: 892_489_242 +Memory: 3_965_698 AST Size: 4_291 Flat Size: 10_077 diff --git a/plutus-benchmark/validation/test/9.6/coop-5.flat.golden.eval b/plutus-benchmark/validation/test/9.6/coop-5.flat.golden.eval index 1b075427269..bfb4bcccd8d 100644 --- a/plutus-benchmark/validation/test/9.6/coop-5.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/coop-5.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 415_168_389 -Memory: 1_716_514 +CPU: 413_888_389 +Memory: 1_708_514 AST Size: 4_291 Flat Size: 8_259 diff --git a/plutus-benchmark/validation/test/9.6/crowdfunding-success-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/crowdfunding-success-1.flat.golden.eval index cc41c357a9e..9858783550d 100644 --- a/plutus-benchmark/validation/test/9.6/crowdfunding-success-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/crowdfunding-success-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 215_172_293 -Memory: 959_418 +CPU: 179_947_764 +Memory: 826_878 AST Size: 4_674 Flat Size: 4_515 diff --git a/plutus-benchmark/validation/test/9.6/crowdfunding-success-2.flat.golden.eval b/plutus-benchmark/validation/test/9.6/crowdfunding-success-2.flat.golden.eval index cc41c357a9e..9858783550d 100644 --- a/plutus-benchmark/validation/test/9.6/crowdfunding-success-2.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/crowdfunding-success-2.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 215_172_293 -Memory: 959_418 +CPU: 179_947_764 +Memory: 826_878 AST Size: 4_674 Flat Size: 4_515 diff --git a/plutus-benchmark/validation/test/9.6/crowdfunding-success-3.flat.golden.eval b/plutus-benchmark/validation/test/9.6/crowdfunding-success-3.flat.golden.eval index cc41c357a9e..9858783550d 100644 --- a/plutus-benchmark/validation/test/9.6/crowdfunding-success-3.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/crowdfunding-success-3.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 215_172_293 -Memory: 959_418 +CPU: 179_947_764 +Memory: 826_878 AST Size: 4_674 Flat Size: 4_515 diff --git a/plutus-benchmark/validation/test/9.6/currency-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/currency-1.flat.golden.eval index 5e74a296c35..10041922a2b 100644 --- a/plutus-benchmark/validation/test/9.6/currency-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/currency-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 260_867_407 -Memory: 1_365_668 +CPU: 226_691_296 +Memory: 1_216_640 AST Size: 4_488 Flat Size: 4_089 diff --git a/plutus-benchmark/validation/test/9.6/escrow-redeem_1-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/escrow-redeem_1-1.flat.golden.eval index 632f38e9cfe..8e12a4616a2 100644 --- a/plutus-benchmark/validation/test/9.6/escrow-redeem_1-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/escrow-redeem_1-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 354_980_023 -Memory: 1_791_342 +CPU: 306_991_193 +Memory: 1_588_294 AST Size: 6_070 Flat Size: 5_687 diff --git a/plutus-benchmark/validation/test/9.6/escrow-redeem_1-2.flat.golden.eval b/plutus-benchmark/validation/test/9.6/escrow-redeem_1-2.flat.golden.eval index 632f38e9cfe..8e12a4616a2 100644 --- a/plutus-benchmark/validation/test/9.6/escrow-redeem_1-2.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/escrow-redeem_1-2.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 354_980_023 -Memory: 1_791_342 +CPU: 306_991_193 +Memory: 1_588_294 AST Size: 6_070 Flat Size: 5_687 diff --git a/plutus-benchmark/validation/test/9.6/escrow-redeem_2-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/escrow-redeem_2-1.flat.golden.eval index 5e0bd60184a..306a916cb3f 100644 --- a/plutus-benchmark/validation/test/9.6/escrow-redeem_2-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/escrow-redeem_2-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 414_701_543 -Memory: 2_106_710 +CPU: 360_069_215 +Memory: 1_871_530 AST Size: 6_070 Flat Size: 5_832 diff --git a/plutus-benchmark/validation/test/9.6/escrow-redeem_2-2.flat.golden.eval b/plutus-benchmark/validation/test/9.6/escrow-redeem_2-2.flat.golden.eval index 5e0bd60184a..306a916cb3f 100644 --- a/plutus-benchmark/validation/test/9.6/escrow-redeem_2-2.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/escrow-redeem_2-2.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 414_701_543 -Memory: 2_106_710 +CPU: 360_069_215 +Memory: 1_871_530 AST Size: 6_070 Flat Size: 5_832 diff --git a/plutus-benchmark/validation/test/9.6/escrow-redeem_2-3.flat.golden.eval b/plutus-benchmark/validation/test/9.6/escrow-redeem_2-3.flat.golden.eval index 5e0bd60184a..306a916cb3f 100644 --- a/plutus-benchmark/validation/test/9.6/escrow-redeem_2-3.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/escrow-redeem_2-3.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 414_701_543 -Memory: 2_106_710 +CPU: 360_069_215 +Memory: 1_871_530 AST Size: 6_070 Flat Size: 5_832 diff --git a/plutus-benchmark/validation/test/9.6/escrow-refund-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/escrow-refund-1.flat.golden.eval index 6f1ba782633..b61bb41a5e3 100644 --- a/plutus-benchmark/validation/test/9.6/escrow-refund-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/escrow-refund-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 158_714_514 -Memory: 719_208 +CPU: 131_928_052 +Memory: 619_528 AST Size: 6_070 Flat Size: 5_414 diff --git a/plutus-benchmark/validation/test/9.6/future-increase-margin-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/future-increase-margin-1.flat.golden.eval index 6e7258eec5c..96cd8a31a0f 100644 --- a/plutus-benchmark/validation/test/9.6/future-increase-margin-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/future-increase-margin-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 260_892_271 -Memory: 1_365_668 +CPU: 226_716_160 +Memory: 1_216_640 AST Size: 4_488 Flat Size: 4_054 diff --git a/plutus-benchmark/validation/test/9.6/future-increase-margin-2.flat.golden.eval b/plutus-benchmark/validation/test/9.6/future-increase-margin-2.flat.golden.eval index 8347e1dd4ea..c5e47799f37 100644 --- a/plutus-benchmark/validation/test/9.6/future-increase-margin-2.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/future-increase-margin-2.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 550_162_284 -Memory: 2_880_706 +CPU: 483_273_200 +Memory: 2_577_590 AST Size: 6_106 Flat Size: 6_280 diff --git a/plutus-benchmark/validation/test/9.6/future-increase-margin-3.flat.golden.eval b/plutus-benchmark/validation/test/9.6/future-increase-margin-3.flat.golden.eval index 8347e1dd4ea..c5e47799f37 100644 --- a/plutus-benchmark/validation/test/9.6/future-increase-margin-3.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/future-increase-margin-3.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 550_162_284 -Memory: 2_880_706 +CPU: 483_273_200 +Memory: 2_577_590 AST Size: 6_106 Flat Size: 6_280 diff --git a/plutus-benchmark/validation/test/9.6/future-increase-margin-4.flat.golden.eval b/plutus-benchmark/validation/test/9.6/future-increase-margin-4.flat.golden.eval index fff42cc9369..57661226eba 100644 --- a/plutus-benchmark/validation/test/9.6/future-increase-margin-4.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/future-increase-margin-4.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 476_262_153 -Memory: 2_541_290 +CPU: 420_206_944 +Memory: 2_279_586 AST Size: 11_675 Flat Size: 10_537 diff --git a/plutus-benchmark/validation/test/9.6/future-increase-margin-5.flat.golden.eval b/plutus-benchmark/validation/test/9.6/future-increase-margin-5.flat.golden.eval index 8598ea1036d..c955fb9bc2e 100644 --- a/plutus-benchmark/validation/test/9.6/future-increase-margin-5.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/future-increase-margin-5.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 801_539_739 -Memory: 4_102_467 +CPU: 682_045_333 +Memory: 3_468_445 AST Size: 11_675 Flat Size: 10_792 diff --git a/plutus-benchmark/validation/test/9.6/future-pay-out-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/future-pay-out-1.flat.golden.eval index 6e7258eec5c..96cd8a31a0f 100644 --- a/plutus-benchmark/validation/test/9.6/future-pay-out-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/future-pay-out-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 260_892_271 -Memory: 1_365_668 +CPU: 226_716_160 +Memory: 1_216_640 AST Size: 4_488 Flat Size: 4_054 diff --git a/plutus-benchmark/validation/test/9.6/future-pay-out-2.flat.golden.eval b/plutus-benchmark/validation/test/9.6/future-pay-out-2.flat.golden.eval index 8347e1dd4ea..c5e47799f37 100644 --- a/plutus-benchmark/validation/test/9.6/future-pay-out-2.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/future-pay-out-2.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 550_162_284 -Memory: 2_880_706 +CPU: 483_273_200 +Memory: 2_577_590 AST Size: 6_106 Flat Size: 6_280 diff --git a/plutus-benchmark/validation/test/9.6/future-pay-out-3.flat.golden.eval b/plutus-benchmark/validation/test/9.6/future-pay-out-3.flat.golden.eval index 8347e1dd4ea..c5e47799f37 100644 --- a/plutus-benchmark/validation/test/9.6/future-pay-out-3.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/future-pay-out-3.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 550_162_284 -Memory: 2_880_706 +CPU: 483_273_200 +Memory: 2_577_590 AST Size: 6_106 Flat Size: 6_280 diff --git a/plutus-benchmark/validation/test/9.6/future-pay-out-4.flat.golden.eval b/plutus-benchmark/validation/test/9.6/future-pay-out-4.flat.golden.eval index 1a3c05f5656..0e3b5365d40 100644 --- a/plutus-benchmark/validation/test/9.6/future-pay-out-4.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/future-pay-out-4.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 800_034_975 -Memory: 4_094_663 +CPU: 680_604_569 +Memory: 3_461_041 AST Size: 11_675 Flat Size: 10_792 diff --git a/plutus-benchmark/validation/test/9.6/future-settle-early-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/future-settle-early-1.flat.golden.eval index 6e7258eec5c..96cd8a31a0f 100644 --- a/plutus-benchmark/validation/test/9.6/future-settle-early-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/future-settle-early-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 260_892_271 -Memory: 1_365_668 +CPU: 226_716_160 +Memory: 1_216_640 AST Size: 4_488 Flat Size: 4_054 diff --git a/plutus-benchmark/validation/test/9.6/future-settle-early-2.flat.golden.eval b/plutus-benchmark/validation/test/9.6/future-settle-early-2.flat.golden.eval index 8347e1dd4ea..c5e47799f37 100644 --- a/plutus-benchmark/validation/test/9.6/future-settle-early-2.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/future-settle-early-2.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 550_162_284 -Memory: 2_880_706 +CPU: 483_273_200 +Memory: 2_577_590 AST Size: 6_106 Flat Size: 6_280 diff --git a/plutus-benchmark/validation/test/9.6/future-settle-early-3.flat.golden.eval b/plutus-benchmark/validation/test/9.6/future-settle-early-3.flat.golden.eval index 8347e1dd4ea..c5e47799f37 100644 --- a/plutus-benchmark/validation/test/9.6/future-settle-early-3.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/future-settle-early-3.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 550_162_284 -Memory: 2_880_706 +CPU: 483_273_200 +Memory: 2_577_590 AST Size: 6_106 Flat Size: 6_280 diff --git a/plutus-benchmark/validation/test/9.6/future-settle-early-4.flat.golden.eval b/plutus-benchmark/validation/test/9.6/future-settle-early-4.flat.golden.eval index d8977218a57..cc4b9343fa4 100644 --- a/plutus-benchmark/validation/test/9.6/future-settle-early-4.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/future-settle-early-4.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 598_224_552 -Memory: 2_916_171 +CPU: 534_046_156 +Memory: 2_616_167 AST Size: 11_675 Flat Size: 10_681 diff --git a/plutus-benchmark/validation/test/9.6/game-sm-success_1-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/game-sm-success_1-1.flat.golden.eval index ef19d464820..8c152c19036 100644 --- a/plutus-benchmark/validation/test/9.6/game-sm-success_1-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/game-sm-success_1-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 378_390_466 -Memory: 1_931_718 +CPU: 330_142_849 +Memory: 1_723_758 AST Size: 9_413 Flat Size: 8_611 diff --git a/plutus-benchmark/validation/test/9.6/game-sm-success_1-2.flat.golden.eval b/plutus-benchmark/validation/test/9.6/game-sm-success_1-2.flat.golden.eval index e42bb71f8ca..d74a81b4d23 100644 --- a/plutus-benchmark/validation/test/9.6/game-sm-success_1-2.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/game-sm-success_1-2.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 208_348_058 -Memory: 918_246 +CPU: 172_826_091 +Memory: 785_070 AST Size: 3_218 Flat Size: 3_433 diff --git a/plutus-benchmark/validation/test/9.6/game-sm-success_1-3.flat.golden.eval b/plutus-benchmark/validation/test/9.6/game-sm-success_1-3.flat.golden.eval index 463cfa74748..3aead78ec6d 100644 --- a/plutus-benchmark/validation/test/9.6/game-sm-success_1-3.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/game-sm-success_1-3.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 633_795_192 -Memory: 3_426_302 +CPU: 560_907_750 +Memory: 3_079_462 AST Size: 9_413 Flat Size: 8_824 diff --git a/plutus-benchmark/validation/test/9.6/game-sm-success_1-4.flat.golden.eval b/plutus-benchmark/validation/test/9.6/game-sm-success_1-4.flat.golden.eval index 52a9def8ed7..89ec2749f89 100644 --- a/plutus-benchmark/validation/test/9.6/game-sm-success_1-4.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/game-sm-success_1-4.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 242_120_569 -Memory: 1_065_558 +CPU: 201_487_558 +Memory: 912_758 AST Size: 3_218 Flat Size: 3_590 diff --git a/plutus-benchmark/validation/test/9.6/game-sm-success_2-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/game-sm-success_2-1.flat.golden.eval index ef19d464820..8c152c19036 100644 --- a/plutus-benchmark/validation/test/9.6/game-sm-success_2-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/game-sm-success_2-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 378_390_466 -Memory: 1_931_718 +CPU: 330_142_849 +Memory: 1_723_758 AST Size: 9_413 Flat Size: 8_611 diff --git a/plutus-benchmark/validation/test/9.6/game-sm-success_2-2.flat.golden.eval b/plutus-benchmark/validation/test/9.6/game-sm-success_2-2.flat.golden.eval index e42bb71f8ca..d74a81b4d23 100644 --- a/plutus-benchmark/validation/test/9.6/game-sm-success_2-2.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/game-sm-success_2-2.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 208_348_058 -Memory: 918_246 +CPU: 172_826_091 +Memory: 785_070 AST Size: 3_218 Flat Size: 3_433 diff --git a/plutus-benchmark/validation/test/9.6/game-sm-success_2-3.flat.golden.eval b/plutus-benchmark/validation/test/9.6/game-sm-success_2-3.flat.golden.eval index 463cfa74748..3aead78ec6d 100644 --- a/plutus-benchmark/validation/test/9.6/game-sm-success_2-3.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/game-sm-success_2-3.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 633_795_192 -Memory: 3_426_302 +CPU: 560_907_750 +Memory: 3_079_462 AST Size: 9_413 Flat Size: 8_824 diff --git a/plutus-benchmark/validation/test/9.6/game-sm-success_2-4.flat.golden.eval b/plutus-benchmark/validation/test/9.6/game-sm-success_2-4.flat.golden.eval index 52a9def8ed7..89ec2749f89 100644 --- a/plutus-benchmark/validation/test/9.6/game-sm-success_2-4.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/game-sm-success_2-4.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 242_120_569 -Memory: 1_065_558 +CPU: 201_487_558 +Memory: 912_758 AST Size: 3_218 Flat Size: 3_590 diff --git a/plutus-benchmark/validation/test/9.6/game-sm-success_2-5.flat.golden.eval b/plutus-benchmark/validation/test/9.6/game-sm-success_2-5.flat.golden.eval index 85f074ebdff..c96bdaff309 100644 --- a/plutus-benchmark/validation/test/9.6/game-sm-success_2-5.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/game-sm-success_2-5.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 633_817_780 -Memory: 3_426_302 +CPU: 560_930_338 +Memory: 3_079_462 AST Size: 9_413 Flat Size: 8_829 diff --git a/plutus-benchmark/validation/test/9.6/game-sm-success_2-6.flat.golden.eval b/plutus-benchmark/validation/test/9.6/game-sm-success_2-6.flat.golden.eval index 52a9def8ed7..89ec2749f89 100644 --- a/plutus-benchmark/validation/test/9.6/game-sm-success_2-6.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/game-sm-success_2-6.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 242_120_569 -Memory: 1_065_558 +CPU: 201_487_558 +Memory: 912_758 AST Size: 3_218 Flat Size: 3_590 diff --git a/plutus-benchmark/validation/test/9.6/guardrail-sorted-large.flat.golden.eval b/plutus-benchmark/validation/test/9.6/guardrail-sorted-large.flat.golden.eval index 00ceb1438fd..0af3a2b62f5 100644 --- a/plutus-benchmark/validation/test/9.6/guardrail-sorted-large.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/guardrail-sorted-large.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 400_248_968 -Memory: 2_047_130 +CPU: 399_032_968 +Memory: 2_039_530 AST Size: 1_577 Flat Size: 11_382 diff --git a/plutus-benchmark/validation/test/9.6/guardrail-unsorted-large.flat.golden.eval b/plutus-benchmark/validation/test/9.6/guardrail-unsorted-large.flat.golden.eval index abea60c0938..458de84627b 100644 --- a/plutus-benchmark/validation/test/9.6/guardrail-unsorted-large.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/guardrail-unsorted-large.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 562_613_823 -Memory: 2_920_065 +CPU: 561_397_823 +Memory: 2_912_465 AST Size: 1_571 Flat Size: 11_373 diff --git a/plutus-benchmark/validation/test/9.6/multisig-sm-01.flat.golden.eval b/plutus-benchmark/validation/test/9.6/multisig-sm-01.flat.golden.eval index ec89a7a78d9..6477969998a 100644 --- a/plutus-benchmark/validation/test/9.6/multisig-sm-01.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/multisig-sm-01.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 385_936_325 -Memory: 2_022_360 +CPU: 338_043_199 +Memory: 1_807_604 AST Size: 10_264 Flat Size: 9_268 diff --git a/plutus-benchmark/validation/test/9.6/multisig-sm-02.flat.golden.eval b/plutus-benchmark/validation/test/9.6/multisig-sm-02.flat.golden.eval index 210d1b12a90..0c0da4d226e 100644 --- a/plutus-benchmark/validation/test/9.6/multisig-sm-02.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/multisig-sm-02.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 374_468_532 -Memory: 1_947_414 +CPU: 328_237_204 +Memory: 1_742_190 AST Size: 10_264 Flat Size: 9_331 diff --git a/plutus-benchmark/validation/test/9.6/multisig-sm-03.flat.golden.eval b/plutus-benchmark/validation/test/9.6/multisig-sm-03.flat.golden.eval index 5fdff361e67..d0fdc0a8d45 100644 --- a/plutus-benchmark/validation/test/9.6/multisig-sm-03.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/multisig-sm-03.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 378_665_957 -Memory: 1_969_308 +CPU: 332_258_629 +Memory: 1_762_984 AST Size: 10_264 Flat Size: 9_392 diff --git a/plutus-benchmark/validation/test/9.6/multisig-sm-04.flat.golden.eval b/plutus-benchmark/validation/test/9.6/multisig-sm-04.flat.golden.eval index f5dabe5ff8f..85f63518a64 100644 --- a/plutus-benchmark/validation/test/9.6/multisig-sm-04.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/multisig-sm-04.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 382_863_382 -Memory: 1_991_202 +CPU: 336_280_054 +Memory: 1_783_778 AST Size: 10_264 Flat Size: 9_453 diff --git a/plutus-benchmark/validation/test/9.6/multisig-sm-05.flat.golden.eval b/plutus-benchmark/validation/test/9.6/multisig-sm-05.flat.golden.eval index 8fc41de35ad..7bcca7766de 100644 --- a/plutus-benchmark/validation/test/9.6/multisig-sm-05.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/multisig-sm-05.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 545_327_785 -Memory: 2_965_986 +CPU: 484_261_231 +Memory: 2_675_954 AST Size: 10_264 Flat Size: 9_373 diff --git a/plutus-benchmark/validation/test/9.6/multisig-sm-06.flat.golden.eval b/plutus-benchmark/validation/test/9.6/multisig-sm-06.flat.golden.eval index ec89a7a78d9..6477969998a 100644 --- a/plutus-benchmark/validation/test/9.6/multisig-sm-06.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/multisig-sm-06.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 385_936_325 -Memory: 2_022_360 +CPU: 338_043_199 +Memory: 1_807_604 AST Size: 10_264 Flat Size: 9_268 diff --git a/plutus-benchmark/validation/test/9.6/multisig-sm-07.flat.golden.eval b/plutus-benchmark/validation/test/9.6/multisig-sm-07.flat.golden.eval index 210d1b12a90..0c0da4d226e 100644 --- a/plutus-benchmark/validation/test/9.6/multisig-sm-07.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/multisig-sm-07.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 374_468_532 -Memory: 1_947_414 +CPU: 328_237_204 +Memory: 1_742_190 AST Size: 10_264 Flat Size: 9_331 diff --git a/plutus-benchmark/validation/test/9.6/multisig-sm-08.flat.golden.eval b/plutus-benchmark/validation/test/9.6/multisig-sm-08.flat.golden.eval index 5fdff361e67..d0fdc0a8d45 100644 --- a/plutus-benchmark/validation/test/9.6/multisig-sm-08.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/multisig-sm-08.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 378_665_957 -Memory: 1_969_308 +CPU: 332_258_629 +Memory: 1_762_984 AST Size: 10_264 Flat Size: 9_392 diff --git a/plutus-benchmark/validation/test/9.6/multisig-sm-09.flat.golden.eval b/plutus-benchmark/validation/test/9.6/multisig-sm-09.flat.golden.eval index f5dabe5ff8f..85f63518a64 100644 --- a/plutus-benchmark/validation/test/9.6/multisig-sm-09.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/multisig-sm-09.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 382_863_382 -Memory: 1_991_202 +CPU: 336_280_054 +Memory: 1_783_778 AST Size: 10_264 Flat Size: 9_453 diff --git a/plutus-benchmark/validation/test/9.6/multisig-sm-10.flat.golden.eval b/plutus-benchmark/validation/test/9.6/multisig-sm-10.flat.golden.eval index 8fc41de35ad..7bcca7766de 100644 --- a/plutus-benchmark/validation/test/9.6/multisig-sm-10.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/multisig-sm-10.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 545_327_785 -Memory: 2_965_986 +CPU: 484_261_231 +Memory: 2_675_954 AST Size: 10_264 Flat Size: 9_373 diff --git a/plutus-benchmark/validation/test/9.6/ping-pong-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/ping-pong-1.flat.golden.eval index 95a1bc58ade..4e8f298dbc1 100644 --- a/plutus-benchmark/validation/test/9.6/ping-pong-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/ping-pong-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 324_464_526 -Memory: 1_680_090 +CPU: 282_999_461 +Memory: 1_499_646 AST Size: 8_868 Flat Size: 7_760 diff --git a/plutus-benchmark/validation/test/9.6/ping-pong-2.flat.golden.eval b/plutus-benchmark/validation/test/9.6/ping-pong-2.flat.golden.eval index 95a1bc58ade..4e8f298dbc1 100644 --- a/plutus-benchmark/validation/test/9.6/ping-pong-2.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/ping-pong-2.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 324_464_526 -Memory: 1_680_090 +CPU: 282_999_461 +Memory: 1_499_646 AST Size: 8_868 Flat Size: 7_760 diff --git a/plutus-benchmark/validation/test/9.6/ping-pong_2-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/ping-pong_2-1.flat.golden.eval index 7fffd925b9c..395d056a8f0 100644 --- a/plutus-benchmark/validation/test/9.6/ping-pong_2-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/ping-pong_2-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 201_666_086 -Memory: 981_952 +CPU: 171_403_246 +Memory: 862_376 AST Size: 8_868 Flat Size: 7_619 diff --git a/plutus-benchmark/validation/test/9.6/prism-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/prism-1.flat.golden.eval index 4d07e56678f..30bc93af70d 100644 --- a/plutus-benchmark/validation/test/9.6/prism-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/prism-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 174_276_007 -Memory: 764_974 +CPU: 142_720_328 +Memory: 647_930 AST Size: 3_119 Flat Size: 3_057 diff --git a/plutus-benchmark/validation/test/9.6/prism-2.flat.golden.eval b/plutus-benchmark/validation/test/9.6/prism-2.flat.golden.eval index da1eed4027f..2150701228b 100644 --- a/plutus-benchmark/validation/test/9.6/prism-2.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/prism-2.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 407_908_488 -Memory: 2_066_140 +CPU: 355_125_826 +Memory: 1_839_480 AST Size: 9_267 Flat Size: 8_672 diff --git a/plutus-benchmark/validation/test/9.6/prism-3.flat.golden.eval b/plutus-benchmark/validation/test/9.6/prism-3.flat.golden.eval index 679ff3b11d3..5ffa65a81bc 100644 --- a/plutus-benchmark/validation/test/9.6/prism-3.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/prism-3.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 379_936_672 -Memory: 1_910_858 +CPU: 328_880_249 +Memory: 1_692_790 AST Size: 4_536 Flat Size: 4_683 diff --git a/plutus-benchmark/validation/test/9.6/pubkey-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/pubkey-1.flat.golden.eval index b16a3809e57..86cf139725c 100644 --- a/plutus-benchmark/validation/test/9.6/pubkey-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/pubkey-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 148_251_224 -Memory: 648_826 +CPU: 121_618_182 +Memory: 551_082 AST Size: 3_220 Flat Size: 3_093 diff --git a/plutus-benchmark/validation/test/9.6/stablecoin_1-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/stablecoin_1-1.flat.golden.eval index 6dea722cb0f..1c998dab8fc 100644 --- a/plutus-benchmark/validation/test/9.6/stablecoin_1-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/stablecoin_1-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 827_551_021 -Memory: 3_706_110 +CPU: 622_913_980 +Memory: 2_706_985 AST Size: 14_235 Flat Size: 12_907 diff --git a/plutus-benchmark/validation/test/9.6/stablecoin_1-2.flat.golden.eval b/plutus-benchmark/validation/test/9.6/stablecoin_1-2.flat.golden.eval index 7511d2fc5e0..ecadb2daae8 100644 --- a/plutus-benchmark/validation/test/9.6/stablecoin_1-2.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/stablecoin_1-2.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 203_638_059 -Memory: 897_094 +CPU: 168_881_155 +Memory: 766_746 AST Size: 3_218 Flat Size: 3_478 diff --git a/plutus-benchmark/validation/test/9.6/stablecoin_1-3.flat.golden.eval b/plutus-benchmark/validation/test/9.6/stablecoin_1-3.flat.golden.eval index 5abf3db625a..a13d236ae11 100644 --- a/plutus-benchmark/validation/test/9.6/stablecoin_1-3.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/stablecoin_1-3.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 951_554_273 -Memory: 4_342_742 +CPU: 686_009_467 +Memory: 3_025_443 AST Size: 14_235 Flat Size: 12_958 diff --git a/plutus-benchmark/validation/test/9.6/stablecoin_1-4.flat.golden.eval b/plutus-benchmark/validation/test/9.6/stablecoin_1-4.flat.golden.eval index e828042ae22..4586280a9ce 100644 --- a/plutus-benchmark/validation/test/9.6/stablecoin_1-4.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/stablecoin_1-4.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 216_086_468 -Memory: 951_808 +CPU: 179_844_060 +Memory: 815_472 AST Size: 3_218 Flat Size: 3_527 diff --git a/plutus-benchmark/validation/test/9.6/stablecoin_1-5.flat.golden.eval b/plutus-benchmark/validation/test/9.6/stablecoin_1-5.flat.golden.eval index f1969789410..06ee2802938 100644 --- a/plutus-benchmark/validation/test/9.6/stablecoin_1-5.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/stablecoin_1-5.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 1_206_898_458 -Memory: 5_587_098 +CPU: 783_894_680 +Memory: 3_500_307 AST Size: 14_235 Flat Size: 13_198 diff --git a/plutus-benchmark/validation/test/9.6/stablecoin_1-6.flat.golden.eval b/plutus-benchmark/validation/test/9.6/stablecoin_1-6.flat.golden.eval index ff31b0121c8..0c67cf7b406 100644 --- a/plutus-benchmark/validation/test/9.6/stablecoin_1-6.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/stablecoin_1-6.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 266_443_981 -Memory: 1_173_858 +CPU: 223_165_269 +Memory: 1_010_382 AST Size: 3_218 Flat Size: 3_767 diff --git a/plutus-benchmark/validation/test/9.6/stablecoin_2-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/stablecoin_2-1.flat.golden.eval index 6dea722cb0f..1c998dab8fc 100644 --- a/plutus-benchmark/validation/test/9.6/stablecoin_2-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/stablecoin_2-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 827_551_021 -Memory: 3_706_110 +CPU: 622_913_980 +Memory: 2_706_985 AST Size: 14_235 Flat Size: 12_907 diff --git a/plutus-benchmark/validation/test/9.6/stablecoin_2-2.flat.golden.eval b/plutus-benchmark/validation/test/9.6/stablecoin_2-2.flat.golden.eval index 7511d2fc5e0..ecadb2daae8 100644 --- a/plutus-benchmark/validation/test/9.6/stablecoin_2-2.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/stablecoin_2-2.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 203_638_059 -Memory: 897_094 +CPU: 168_881_155 +Memory: 766_746 AST Size: 3_218 Flat Size: 3_478 diff --git a/plutus-benchmark/validation/test/9.6/stablecoin_2-3.flat.golden.eval b/plutus-benchmark/validation/test/9.6/stablecoin_2-3.flat.golden.eval index 5abf3db625a..a13d236ae11 100644 --- a/plutus-benchmark/validation/test/9.6/stablecoin_2-3.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/stablecoin_2-3.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 951_554_273 -Memory: 4_342_742 +CPU: 686_009_467 +Memory: 3_025_443 AST Size: 14_235 Flat Size: 12_958 diff --git a/plutus-benchmark/validation/test/9.6/stablecoin_2-4.flat.golden.eval b/plutus-benchmark/validation/test/9.6/stablecoin_2-4.flat.golden.eval index e828042ae22..4586280a9ce 100644 --- a/plutus-benchmark/validation/test/9.6/stablecoin_2-4.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/stablecoin_2-4.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 216_086_468 -Memory: 951_808 +CPU: 179_844_060 +Memory: 815_472 AST Size: 3_218 Flat Size: 3_527 diff --git a/plutus-benchmark/validation/test/9.6/token-account-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/token-account-1.flat.golden.eval index c7d396340ba..a722eac35cc 100644 --- a/plutus-benchmark/validation/test/9.6/token-account-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/token-account-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 195_373_694 -Memory: 978_444 +CPU: 166_731_919 +Memory: 861_808 AST Size: 4_477 Flat Size: 4_032 diff --git a/plutus-benchmark/validation/test/9.6/token-account-2.flat.golden.eval b/plutus-benchmark/validation/test/9.6/token-account-2.flat.golden.eval index 72f4237336c..85f13a1596a 100644 --- a/plutus-benchmark/validation/test/9.6/token-account-2.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/token-account-2.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 355_866_023 -Memory: 1_826_496 +CPU: 308_200_985 +Memory: 1_618_524 AST Size: 4_181 Flat Size: 4_117 diff --git a/plutus-benchmark/validation/test/9.6/uniswap-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/uniswap-1.flat.golden.eval index 51a4ba9c180..d33aad88251 100644 --- a/plutus-benchmark/validation/test/9.6/uniswap-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/uniswap-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 443_304_976 -Memory: 2_449_452 +CPU: 393_740_193 +Memory: 2_208_640 AST Size: 4_510 Flat Size: 4_133 diff --git a/plutus-benchmark/validation/test/9.6/uniswap-2.flat.golden.eval b/plutus-benchmark/validation/test/9.6/uniswap-2.flat.golden.eval index 4a522d4998b..9822c120ad3 100644 --- a/plutus-benchmark/validation/test/9.6/uniswap-2.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/uniswap-2.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 230_772_794 -Memory: 1_126_608 +CPU: 197_627_339 +Memory: 992_812 AST Size: 4_477 Flat Size: 4_184 diff --git a/plutus-benchmark/validation/test/9.6/uniswap-3.flat.golden.eval b/plutus-benchmark/validation/test/9.6/uniswap-3.flat.golden.eval index 5385062aa0d..557b57e64a5 100644 --- a/plutus-benchmark/validation/test/9.6/uniswap-3.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/uniswap-3.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 1_650_842_606 -Memory: 8_675_126 +CPU: 959_147_397 +Memory: 5_032_712 AST Size: 11_751 Flat Size: 12_724 diff --git a/plutus-benchmark/validation/test/9.6/uniswap-4.flat.golden.eval b/plutus-benchmark/validation/test/9.6/uniswap-4.flat.golden.eval index 5a482c59bcb..06d8f459302 100644 --- a/plutus-benchmark/validation/test/9.6/uniswap-4.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/uniswap-4.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 347_527_720 -Memory: 1_535_808 +CPU: 292_193_943 +Memory: 1_319_076 AST Size: 3_412 Flat Size: 4_552 diff --git a/plutus-benchmark/validation/test/9.6/uniswap-5.flat.golden.eval b/plutus-benchmark/validation/test/9.6/uniswap-5.flat.golden.eval index e1fb917af2b..50afe72422a 100644 --- a/plutus-benchmark/validation/test/9.6/uniswap-5.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/uniswap-5.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 1_083_644_672 -Memory: 5_520_347 +CPU: 541_769_361 +Memory: 2_550_811 AST Size: 11_751 Flat Size: 12_524 diff --git a/plutus-benchmark/validation/test/9.6/uniswap-6.flat.golden.eval b/plutus-benchmark/validation/test/9.6/uniswap-6.flat.golden.eval index 932e96d5a5a..bc142f21cec 100644 --- a/plutus-benchmark/validation/test/9.6/uniswap-6.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/uniswap-6.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 332_999_979 -Memory: 1_488_850 +CPU: 279_357_944 +Memory: 1_274_522 AST Size: 3_412 Flat Size: 4_345 diff --git a/plutus-benchmark/validation/test/9.6/vesting-1.flat.golden.eval b/plutus-benchmark/validation/test/9.6/vesting-1.flat.golden.eval index 9111c34687e..40f1fef541d 100644 --- a/plutus-benchmark/validation/test/9.6/vesting-1.flat.golden.eval +++ b/plutus-benchmark/validation/test/9.6/vesting-1.flat.golden.eval @@ -1,5 +1,5 @@ -CPU: 351_952_372 -Memory: 1_861_958 +CPU: 308_978_168 +Memory: 1_669_274 AST Size: 6_246 Flat Size: 5_556 diff --git a/plutus-conformance/haskell/Spec.hs b/plutus-conformance/haskell/Spec.hs index 2289562769c..53077856e5b 100644 --- a/plutus-conformance/haskell/Spec.hs +++ b/plutus-conformance/haskell/Spec.hs @@ -40,7 +40,11 @@ failingEvaluationTests = [] directory containing the test, eg "test-cases/uplc/evaluation/builtin/semantics/addInteger/addInteger1" -} failingBudgetTests :: [FilePath] -failingBudgetTests = [] +failingBudgetTests = + [ "test-cases/uplc/evaluation/example/even2" + , "test-cases/uplc/evaluation/example/even3" + , "test-cases/uplc/evaluation/example/evenList" + ] main :: IO () main = diff --git a/plutus-core/changelog.d/20260222_071157_unsafeFixIO_need.md b/plutus-core/changelog.d/20260222_071157_unsafeFixIO_need.md new file mode 100644 index 00000000000..1fdcc1027db --- /dev/null +++ b/plutus-core/changelog.d/20260222_071157_unsafeFixIO_need.md @@ -0,0 +1,3 @@ +### Changed + +- `Delay` and `Force` are now by-need instead of by-name. diff --git a/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/Cek/Internal.hs b/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/Cek/Internal.hs index a20a3d0cd0a..fd383a027ad 100644 --- a/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/Cek/Internal.hs +++ b/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/Cek/Internal.hs @@ -32,6 +32,7 @@ module UntypedPlutusCore.Evaluation.Machine.Cek.Internal , mapTermCekResult , CekReport (..) , CekValue (..) + , CekThunk (..) , DischargeResult (..) , dischargeResultToTerm , ArgStack (..) @@ -103,6 +104,7 @@ import Data.Bifunctor import Data.DList qualified as DList import Data.Functor.Identity import Data.Hashable (Hashable) +import Data.IORef import Data.Kind qualified as GHC import Data.Proxy import Data.Semigroup (stimes) @@ -285,11 +287,16 @@ deriving stock instance (GShow uni, Everywhere uni Show, Show fun, Show ann, Closed uni) => Show (ArgStackNonEmpty uni fun ann) +newtype CekThunk uni fun ann = CekThunk {getCekThunk :: IORef (Maybe (CekValue uni fun ann))} + +instance Show (CekThunk uni fun ann) where + show _ = "cek_thunk" + -- 'Values' for the modified CEK machine. data CekValue uni fun ann = -- This bang gave us a 1-2% speed-up at the time of writing. VCon !(Some (ValueOf uni)) - | VDelay !(NTerm uni fun ann) !(CekValEnv uni fun ann) + | VDelay !(NTerm uni fun ann) !(CekValEnv uni fun ann) !(CekThunk uni fun ann) | VLamAbs !NamedDeBruijn !(NTerm uni fun ann) !(CekValEnv uni fun ann) | {-| A partial builtin application, accumulating arguments for eventual full application. We don't need a 'CekValEnv' here unlike in the other constructors, because 'VBuiltin' @@ -660,7 +667,7 @@ dischargeCekValue value0 = DischargeNonConstant $ goValue value0 goValue :: CekValue uni fun ann -> NTerm uni fun () goValue = \case VCon val -> Constant () val - VDelay body env -> Delay () $ goValEnv env 0 body + VDelay body env _thunk -> Delay () $ goValEnv env 0 body VLamAbs (NamedDeBruijn n _ix) body env -> -- The index on the binder is meaningless, we put @0@ by convention, see 'Binder'. LamAbs () (NamedDeBruijn n deBruijnInitIndex) $ goValEnv env 1 body @@ -732,6 +739,7 @@ data Context uni fun ann | {-| @(force _)@ See Note [Accumulators for terms] -} FrameForce !(Context uni fun ann) + | FrameThunk !(CekThunk uni fun ann) !(Context uni fun ann) | -- | @(constr i V0 ... Vj-1 _ Nj ... Nn)@ FrameConstr !(CekValEnv uni fun ann) {-# UNPACK #-} !Word64 ![NTerm uni fun ann] !(ArgStack uni fun ann) !(Context uni fun ann) | -- | @(case _ C0 .. Cn)@ @@ -837,7 +845,8 @@ enterComputeCek = computeCek -- s ; ρ ▻ delay L ↦ s ◅ delay (L , ρ) computeCek !ctx !env (Delay _ body) = do stepAndMaybeSpend BDelay - returnCek ctx (VDelay body env) + thunk <- newThunk + returnCek ctx (VDelay body env thunk) -- s ; ρ ▻ force T ↦ s , force _ ; ρ ▻ L computeCek !ctx !env (Force _ body) = do stepAndMaybeSpend BForce @@ -886,6 +895,7 @@ enterComputeCek = computeCek pure $ dischargeCekValue val -- s , {_ A} ◅ abs α M ↦ s ; ρ ▻ M [ α / A ]* returnCek (FrameForce ctx) fun = forceEvaluate ctx fun + returnCek (FrameThunk thunk ctx) v = fillThunk thunk v >> returnCek ctx v -- s , [_ (M,ρ)] ◅ V ↦ s , [V _] ; ρ ▻ M returnCek (FrameAwaitFunTerm argVarEnv arg ctx) fun = computeCek (FrameAwaitArg fun ctx) argVarEnv arg @@ -951,7 +961,8 @@ enterComputeCek = computeCek :: Context uni fun ann -> CekValue uni fun ann -> CekM uni fun s (DischargeResult uni fun) - forceEvaluate !ctx (VDelay body env) = computeCek ctx env body + forceEvaluate !ctx (VDelay body env thunk) = + maybe (computeCek (FrameThunk thunk ctx) env body) (returnCek ctx) =<< readThunk thunk forceEvaluate !ctx (VBuiltin fun term runtime) = do -- @term@ is fully discharged, and so @term'@ is, hence we can put it in a 'VBuiltin'. let term' = Force () term @@ -1080,6 +1091,23 @@ enterComputeCek = computeCek (coerce varIx) {-# INLINE lookupVarName #-} + newThunk :: CekM uni fun s (CekThunk uni fun ann) + newThunk = CekM . unsafeIOToST . fmap CekThunk $ newIORef Nothing + {-# INLINE newThunk #-} + + readThunk + :: CekThunk uni fun ann + -> CekM uni fun s (Maybe (CekValue uni fun ann)) + readThunk = CekM . unsafeIOToST . readIORef . getCekThunk + {-# INLINE readThunk #-} + + fillThunk + :: CekThunk uni fun ann + -> CekValue uni fun ann + -> CekM uni fun s () + fillThunk (CekThunk thunk) = CekM . unsafeIOToST . writeIORef thunk . pure + {-# INLINE fillThunk #-} + -- See Note [Compilation peculiarities]. -- | Evaluate a term using the CEK machine and keep track of costing, logging is optional. runCekDeBruijn diff --git a/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/SteppableCek/Internal.hs b/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/SteppableCek/Internal.hs index 8c18c35b83e..409ab0537ab 100644 --- a/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/SteppableCek/Internal.hs +++ b/plutus-core/untyped-plutus-core/src/UntypedPlutusCore/Evaluation/Machine/SteppableCek/Internal.hs @@ -58,6 +58,8 @@ import UntypedPlutusCore.Evaluation.Machine.Cek.StepCounter import Control.Lens hiding (Context) import Control.Monad import Control.Monad.Primitive +import Control.Monad.ST.Unsafe +import Data.IORef import Data.Proxy import Data.RandomAccessList.Class qualified as Env import Data.RandomAccessList.SkewBinary qualified as Env @@ -131,7 +133,8 @@ computeCek !ctx !env (LamAbs _ name body) = do pure $ Returning ctx (VLamAbs name body env) computeCek !ctx !env (Delay _ body) = do stepAndMaybeSpend BDelay - pure $ Returning ctx (VDelay body env) + thunk <- CekM . unsafeIOToST . fmap CekThunk $ newIORef Nothing + pure $ Returning ctx (VDelay body env thunk) -- s ; ρ ▻ lam x L ↦ s ◅ lam x (L , ρ) computeCek !ctx !env (Force _ body) = do stepAndMaybeSpend BForce @@ -238,7 +241,7 @@ forceEvaluate => Context uni fun ann -> CekValue uni fun ann -> CekM uni fun s (CekState uni fun ann) -forceEvaluate !ctx (VDelay body env) = +forceEvaluate !ctx (VDelay body env _) = pure $ Computing ctx env body forceEvaluate !ctx (VBuiltin fun term runtime) = do -- @term@ is fully discharged, and so @term'@ is, hence we can put it in a 'VBuiltin'. diff --git a/plutus-core/untyped-plutus-core/testlib/Evaluation/FreeVars.hs b/plutus-core/untyped-plutus-core/testlib/Evaluation/FreeVars.hs index 6a3772c87b1..66235cadcf7 100644 --- a/plutus-core/untyped-plutus-core/testlib/Evaluation/FreeVars.hs +++ b/plutus-core/untyped-plutus-core/testlib/Evaluation/FreeVars.hs @@ -15,9 +15,15 @@ import UntypedPlutusCore.Evaluation.Machine.Cek.Internal import UntypedPlutusCore.Test.DeBruijn.Bad import UntypedPlutusCore.Test.DeBruijn.Good +import Data.IORef +import System.IO.Unsafe import Test.Tasty import Test.Tasty.HUnit +nothunk :: CekThunk DefaultUni DefaultFun () +nothunk = unsafePerformIO . fmap CekThunk $ newIORef Nothing +{-# OPAQUE nothunk #-} + {-| Test the behaviour of Cek evaluator module *directly* by using the Internal module, thus bypassing any prior term conformance checks, e.g. that the term is closed (no free variables). -} @@ -71,6 +77,7 @@ testDischargeFree = ( VDelay (toFakeTerm fun0var0) [] -- empty env + nothunk ) @?= DischargeNonConstant (toFakeTerm $ Delay () fun0var0) diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq1.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq1.golden.eval index a94592089b0..08fd8688888 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq1.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq1.golden.eval @@ -1,5 +1,5 @@ -CPU: 84_321_050 -Memory: 504_515 +CPU: 83_521_050 +Memory: 499_515 AST Size: 552 Flat Size: 911 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq2.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq2.golden.eval index ca820a6d18e..ad995186d59 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq2.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq2.golden.eval @@ -1,5 +1,5 @@ -CPU: 90_738_020 -Memory: 543_421 +CPU: 89_938_020 +Memory: 538_421 AST Size: 580 Flat Size: 1_005 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq3.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq3.golden.eval index 5a0d7687902..57c1e21870b 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq3.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq3.golden.eval @@ -1,5 +1,5 @@ -CPU: 93_028_470 -Memory: 556_326 +CPU: 92_228_470 +Memory: 551_326 AST Size: 580 Flat Size: 1_006 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq4.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq4.golden.eval index 13bd1394aed..f0aad1b6047 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq4.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq4.golden.eval @@ -1,5 +1,5 @@ -CPU: 81_727_338 -Memory: 490_010 +CPU: 80_927_338 +Memory: 485_010 AST Size: 556 Flat Size: 925 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq5.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq5.golden.eval index 0992d82e271..d5ca99d2887 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq5.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/geq5.golden.eval @@ -1,5 +1,5 @@ -CPU: 86_838_948 -Memory: 519_419 +CPU: 86_038_948 +Memory: 514_419 AST Size: 556 Flat Size: 925 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt1.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt1.golden.eval index 18be46de73b..64f5a0a05ab 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt1.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt1.golden.eval @@ -1,5 +1,5 @@ -CPU: 104_672_765 -Memory: 623_150 +CPU: 103_872_765 +Memory: 618_150 AST Size: 840 Flat Size: 1_190 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt2.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt2.golden.eval index 96ad66f3aad..f0c7cc43d64 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt2.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt2.golden.eval @@ -1,5 +1,5 @@ -CPU: 90_914_020 -Memory: 544_521 +CPU: 90_114_020 +Memory: 539_521 AST Size: 868 Flat Size: 1_284 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt3.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt3.golden.eval index 1f7e9fa196b..344c6e3c461 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt3.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt3.golden.eval @@ -1,5 +1,5 @@ -CPU: 113_944_518 -Memory: 678_162 +CPU: 113_144_518 +Memory: 673_162 AST Size: 868 Flat Size: 1_285 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt4.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt4.golden.eval index b75615b132d..aa590197188 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt4.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt4.golden.eval @@ -1,5 +1,5 @@ -CPU: 81_903_338 -Memory: 491_110 +CPU: 81_103_338 +Memory: 486_110 AST Size: 844 Flat Size: 1_204 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt5.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt5.golden.eval index 035f1abd18b..e3a8ad2c040 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt5.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.12/gt5.golden.eval @@ -1,5 +1,5 @@ -CPU: 97_055_103 -Memory: 579_335 +CPU: 96_255_103 +Memory: 574_335 AST Size: 844 Flat Size: 1_204 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq1.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq1.golden.eval index a94592089b0..08fd8688888 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq1.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq1.golden.eval @@ -1,5 +1,5 @@ -CPU: 84_321_050 -Memory: 504_515 +CPU: 83_521_050 +Memory: 499_515 AST Size: 552 Flat Size: 911 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq2.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq2.golden.eval index ca820a6d18e..ad995186d59 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq2.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq2.golden.eval @@ -1,5 +1,5 @@ -CPU: 90_738_020 -Memory: 543_421 +CPU: 89_938_020 +Memory: 538_421 AST Size: 580 Flat Size: 1_005 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq3.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq3.golden.eval index 5a0d7687902..57c1e21870b 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq3.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq3.golden.eval @@ -1,5 +1,5 @@ -CPU: 93_028_470 -Memory: 556_326 +CPU: 92_228_470 +Memory: 551_326 AST Size: 580 Flat Size: 1_006 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq4.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq4.golden.eval index 13bd1394aed..f0aad1b6047 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq4.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq4.golden.eval @@ -1,5 +1,5 @@ -CPU: 81_727_338 -Memory: 490_010 +CPU: 80_927_338 +Memory: 485_010 AST Size: 556 Flat Size: 925 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq5.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq5.golden.eval index 0992d82e271..d5ca99d2887 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq5.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/geq5.golden.eval @@ -1,5 +1,5 @@ -CPU: 86_838_948 -Memory: 519_419 +CPU: 86_038_948 +Memory: 514_419 AST Size: 556 Flat Size: 925 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt1.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt1.golden.eval index 18be46de73b..64f5a0a05ab 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt1.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt1.golden.eval @@ -1,5 +1,5 @@ -CPU: 104_672_765 -Memory: 623_150 +CPU: 103_872_765 +Memory: 618_150 AST Size: 840 Flat Size: 1_190 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt2.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt2.golden.eval index 96ad66f3aad..f0c7cc43d64 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt2.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt2.golden.eval @@ -1,5 +1,5 @@ -CPU: 90_914_020 -Memory: 544_521 +CPU: 90_114_020 +Memory: 539_521 AST Size: 868 Flat Size: 1_284 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt3.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt3.golden.eval index 1f7e9fa196b..344c6e3c461 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt3.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt3.golden.eval @@ -1,5 +1,5 @@ -CPU: 113_944_518 -Memory: 678_162 +CPU: 113_144_518 +Memory: 673_162 AST Size: 868 Flat Size: 1_285 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt4.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt4.golden.eval index b75615b132d..aa590197188 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt4.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt4.golden.eval @@ -1,5 +1,5 @@ -CPU: 81_903_338 -Memory: 491_110 +CPU: 81_103_338 +Memory: 486_110 AST Size: 844 Flat Size: 1_204 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt5.golden.eval b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt5.golden.eval index 035f1abd18b..e3a8ad2c040 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt5.golden.eval +++ b/plutus-tx-plugin/test-ledger-api/Spec/Budget/9.6/gt5.golden.eval @@ -1,5 +1,5 @@ -CPU: 97_055_103 -Memory: 579_335 +CPU: 96_255_103 +Memory: 574_335 AST Size: 844 Flat Size: 1_204 diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Data/Value/9.12/Short.golden.stat b/plutus-tx-plugin/test-ledger-api/Spec/Data/Value/9.12/Short.golden.stat index 6fd1e54044c..4ce362ff77d 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Data/Value/9.12/Short.golden.stat +++ b/plutus-tx-plugin/test-ledger-api/Spec/Data/Value/9.12/Short.golden.stat @@ -17,5 +17,5 @@ ({cpu: 66466755 | mem: 213811}) ({cpu: 67188455 | mem: 217776}) ({cpu: 86558929 | mem: 270472}) -({cpu: 29087149 | mem: 109876}) +({cpu: 29071149 | mem: 109776}) ({cpu: 939428827 | mem: 634803}) \ No newline at end of file diff --git a/plutus-tx-plugin/test-ledger-api/Spec/Data/Value/9.6/Short.golden.stat b/plutus-tx-plugin/test-ledger-api/Spec/Data/Value/9.6/Short.golden.stat index 6fd1e54044c..4ce362ff77d 100644 --- a/plutus-tx-plugin/test-ledger-api/Spec/Data/Value/9.6/Short.golden.stat +++ b/plutus-tx-plugin/test-ledger-api/Spec/Data/Value/9.6/Short.golden.stat @@ -17,5 +17,5 @@ ({cpu: 66466755 | mem: 213811}) ({cpu: 67188455 | mem: 217776}) ({cpu: 86558929 | mem: 270472}) -({cpu: 29087149 | mem: 109876}) +({cpu: 29071149 | mem: 109776}) ({cpu: 939428827 | mem: 634803}) \ No newline at end of file diff --git a/plutus-tx-plugin/test/CallTrace/9.12/successfullEvaluationYieldsNoTraceLog.golden.eval b/plutus-tx-plugin/test/CallTrace/9.12/successfullEvaluationYieldsNoTraceLog.golden.eval index 75479aed8d4..7b0668a2bf3 100644 --- a/plutus-tx-plugin/test/CallTrace/9.12/successfullEvaluationYieldsNoTraceLog.golden.eval +++ b/plutus-tx-plugin/test/CallTrace/9.12/successfullEvaluationYieldsNoTraceLog.golden.eval @@ -1,5 +1,5 @@ -CPU: 3_745_072 -Memory: 18_748 +CPU: 3_681_072 +Memory: 18_348 AST Size: 147 Flat Size: 509 diff --git a/plutus-tx-plugin/test/CallTrace/9.6/successfullEvaluationYieldsNoTraceLog.golden.eval b/plutus-tx-plugin/test/CallTrace/9.6/successfullEvaluationYieldsNoTraceLog.golden.eval index 75479aed8d4..7b0668a2bf3 100644 --- a/plutus-tx-plugin/test/CallTrace/9.6/successfullEvaluationYieldsNoTraceLog.golden.eval +++ b/plutus-tx-plugin/test/CallTrace/9.6/successfullEvaluationYieldsNoTraceLog.golden.eval @@ -1,5 +1,5 @@ -CPU: 3_745_072 -Memory: 18_748 +CPU: 3_681_072 +Memory: 18_348 AST Size: 147 Flat Size: 509