IntersectMBO · effectfully · Nov 5, 2024
diff --git a/plutus-benchmark/ed25519-costs/test/9.6/ed25519-costs.golden b/plutus-benchmark/ed25519-costs/test/9.6/ed25519-costs.golden
@@ -1,20 +1,20 @@
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    0     364   (2.2%)    400002176482 (4000.0%)    400000012902 (2857142.9%) 
-   10    2091  (12.8%)  10400582982252 (104005.8%)  10400000261092 (74285716.2%) 
-   20    3818  (23.3%)  20401163788022 (204011.6%)  20400000509282 (145714289.4%) 
-   30    5545  (33.8%)  30401744593792 (304017.4%)  30400000757472 (217142862.6%) 
-   40    7272  (44.4%)  40402325399562 (404023.3%)  40400001005662 (288571435.8%) 
-   50    8998  (54.9%)  50402906205332 (504029.1%)  50400001253852 (360000009.0%) 
-   60   10725  (65.5%)  60403487011102 (604034.9%)  60400001502042 (431428582.2%) 
-   70   12452  (76.0%)  70404067816872 (704040.7%)  70400001750232 (502857155.4%) 
-   80   14178  (86.5%)  80404648622642 (804046.5%)  80400001998422 (574285728.6%) 
-   90   15905  (97.1%)  90405229428412 (904052.3%)  90400002246612 (645714301.8%) 
-  100   17632 (107.6%) 100405810234182 (1004058.1%) 100400002494802 (717142875.0%) 
-  110   19359 (118.2%) 110406391039952 (1104063.9%) 110400002742992 (788571448.2%) 
-  120   21085 (128.7%) 120406971845722 (1204069.7%) 120400002991182 (860000021.4%) 
-  130   22812 (139.2%) 130407552651492 (1304075.5%) 130400003239372 (931428594.6%) 
-  140   24539 (149.8%) 140408133457262 (1404081.3%) 140400003487562 (1002857167.8%) 
-  150   26266 (160.3%) 150408714263032 (1504087.1%) 150400003735752 (1074285741.0%) 
+    0     458   (2.8%)         5130441   (0.1%)           25722   (0.2%) 
+   10    2185  (13.3%)       646555741   (6.5%)          514552   (3.7%) 
+   20    3912  (23.9%)      1287981041  (12.9%)         1003382   (7.2%) 
+   30    5639  (34.4%)      1929406341  (19.3%)         1492212  (10.7%) 
+   40    7366  (45.0%)      2570831641  (25.7%)         1981042  (14.2%) 
+   50    9092  (55.5%)      3212256941  (32.1%)         2469872  (17.6%) 
+   60   10819  (66.0%)      3853682241  (38.5%)         2958702  (21.1%) 
+   70   12546  (76.6%)      4495107541  (45.0%)         3447532  (24.6%) 
+   80   14272  (87.1%)      5136532841  (51.4%)         3936362  (28.1%) 
+   90   15999  (97.7%)      5777958141  (57.8%)         4425192  (31.6%) 
+  100   17726 (108.2%)      6419383441  (64.2%)         4914022  (35.1%) 
+  110   19453 (118.7%)      7060808741  (70.6%)         5402852  (38.6%) 
+  120   21179 (129.3%)      7702234041  (77.0%)         5891682  (42.1%) 
+  130   22906 (139.8%)      8343659341  (83.4%)         6380512  (45.6%) 
+  140   24633 (150.3%)      8985084641  (89.9%)         6869342  (49.1%) 
+  150   26360 (160.9%)      9626509941  (96.3%)         7358172  (52.6%) 
 
 Off-chain version succeeded on 100 inputs
diff --git a/plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-10.budget.golden b/plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-10.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 13100114647000
-| mem: 13100000559240})
+({cpu: 197510904
+| mem: 846852})
diff --git a/plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-100.budget.golden b/plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-100.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 1030109969691100
-| mem: 1030100047858200})
+({cpu: 16499812194
+| mem: 70488132})
diff --git a/plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-5.budget.golden b/plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-5.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 4100033399800
-| mem: 4100000165920})
+({cpu: 59141074
+| mem: 255392})
diff --git a/plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-50.budget.golden b/plutus-benchmark/lists/test/Lookup/9.6/match-builtin-list-50.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 265102531486600
-| mem: 265100012173000})
+({cpu: 4212184144
+| mem: 17998532})
diff --git a/plutus-benchmark/lists/test/Sum/9.6/left-fold-built-in.budget.golden b/plutus-benchmark/lists/test/Sum/9.6/left-fold-built-in.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 10100073112900
-| mem: 10100000394000})
+({cpu: 122258594
+| mem: 523832})
diff --git a/plutus-benchmark/lists/test/Sum/9.6/left-fold-data.budget.golden b/plutus-benchmark/lists/test/Sum/9.6/left-fold-data.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 20100196027082
-| mem: 20100000942802})
+({cpu: 316399632
+| mem: 1277230})
diff --git a/plutus-benchmark/lists/test/Sum/9.6/right-fold-built-in.budget.golden b/plutus-benchmark/lists/test/Sum/9.6/right-fold-built-in.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 10100077912900
-| mem: 10100000424000})
+({cpu: 127058594
+| mem: 553832})
diff --git a/plutus-benchmark/lists/test/Sum/9.6/right-fold-data.budget.golden b/plutus-benchmark/lists/test/Sum/9.6/right-fold-data.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 20100200827082
-| mem: 20100000972802})
+({cpu: 321199632
+| mem: 1307230})
diff --git a/...payout/9.6/0004000402010401030101030100040000010104020201030001000204020401.budget.golden b/...payout/9.6/0004000402010401030101030100040000010104020201030001000204020401.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3900182104674
-| mem: 3900000902990})
+({cpu: 203554074
+| mem: 988490})
diff --git a/...payout/9.6/0100000100010000000001000100010101000101000001000000010000010000.budget.golden b/...payout/9.6/0100000100010000000001000100010101000101000001000000010000010000.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 5700263611088
-| mem: 5700001377860})
+({cpu: 296248136
+| mem: 1507304})
diff --git a/...payout/9.6/0101000100000101010000010101000100010101000001000001000000010101.budget.golden b/...payout/9.6/0101000100000101010000010101000100010101000001000001000000010101.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 4700192221958
-| mem: 4700000967314})
+({cpu: 218828188
+| mem: 1072854})
diff --git a/...payout/9.6/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.budget.golden b/...payout/9.6/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3500158228140
-| mem: 3500000774178})
+({cpu: 177375938
+| mem: 850422})
diff --git a/...payout/9.6/0201020201020000020000010201020001020200000002010200000101010100.budget.golden b/...payout/9.6/0201020201020000020000010201020001020200000002010200000101010100.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3700178626534
-| mem: 3700000879296})
+({cpu: 199201946
+| mem: 960932})
diff --git a/...payout/9.6/0202010002010100020102020102020001010101020102010001010101000100.budget.golden b/...payout/9.6/0202010002010100020102020102020001010101020102010001010101000100.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3500166448956
-| mem: 3500000810828})
+({cpu: 185596754
+| mem: 887072})
diff --git a/...payout/9.6/0303020000020001010201060303040208070100050401080304020801030001.budget.golden b/...payout/9.6/0303020000020001010201060303040208070100050401080304020801030001.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3500165287257
-| mem: 3500000804226})
+({cpu: 184435055
+| mem: 880470})
diff --git a/...payout/9.6/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.budget.golden b/...payout/9.6/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 4700203854488
-| mem: 4700001024508})
+({cpu: 231014344
+| mem: 1131576})
diff --git a/...payout/9.6/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.budget.golden b/...payout/9.6/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 4100191466863
-| mem: 4100000955552})
+({cpu: 214343877
+| mem: 1046444})
diff --git a/...payout/9.6/0403020000030204010000030001000202010101000304030001040404030100.budget.golden b/...payout/9.6/0403020000030204010000030001000202010101000304030001040404030100.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 4100175265212
-| mem: 4100000864518})
+({cpu: 198142226
+| mem: 955410})
diff --git a/...payout/9.6/0405010105020401010304080005050800040301010800080207080704020206.budget.golden b/...payout/9.6/0405010105020401010304080005050800040301010800080207080704020206.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 4300195205954
-| mem: 4300000974510})
+({cpu: 219510582
+| mem: 1070794})
diff --git a/...payout/9.6/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.budget.golden b/...payout/9.6/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 4300196350641
-| mem: 4300000988686})
+({cpu: 220655269
+| mem: 1084970})
diff --git a/...payout/9.6/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5.budget.golden b/...payout/9.6/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 5300231219760
-| mem: 5300001186638})
+({cpu: 261001580
+| mem: 1305298})
diff --git a/...payout/9.6/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027.budget.golden b/...payout/9.6/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3500162680962
-| mem: 3500000795700})
+({cpu: 181828760
+| mem: 871944})
diff --git a/...payout/9.6/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954.budget.golden b/...payout/9.6/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3700175160808
-| mem: 3700000864572})
+({cpu: 195736220
+| mem: 946208})
diff --git a/...payout/9.6/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae.budget.golden b/...payout/9.6/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3500155811252
-| mem: 3500000746522})
+({cpu: 174959050
+| mem: 822766})
diff --git a/...payout/9.6/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961.budget.golden b/...payout/9.6/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 4300195357672
-| mem: 4300000990758})
+({cpu: 219662300
+| mem: 1087042})
diff --git a/...payout/9.6/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0.budget.golden b/...payout/9.6/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 4100169551218
-| mem: 4100000837290})
+({cpu: 192428232
+| mem: 928182})
diff --git a/...payout/9.6/0d0f01050a0a0a0b0b050d0404090e0d0506000d0a041003040e0f100e0a0408.budget.golden b/...payout/9.6/0d0f01050a0a0a0b0b050d0404090e0d0506000d0a041003040e0f100e0a0408.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3900172439569
-| mem: 3900000866110})
+({cpu: 193888969
+| mem: 951610})
diff --git a/...payout/9.6/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960.budget.golden b/...payout/9.6/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 4900197144622
-| mem: 4900000999410})
+({cpu: 224624840
+| mem: 1108814})
diff --git a/...payout/9.6/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15.budget.golden b/...payout/9.6/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3700165927838
-| mem: 3700000818434})
+({cpu: 186503250
+| mem: 900070})
diff --git a/...payout/9.6/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d.budget.golden b/...payout/9.6/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 4100184202568
-| mem: 4100000917228})
+({cpu: 207079582
+| mem: 1008120})
diff --git a/...payout/9.6/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a.budget.golden b/...payout/9.6/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3900182104674
-| mem: 3900000902990})
+({cpu: 203554074
+| mem: 988490})
diff --git a/...payout/9.6/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f.budget.golden b/...payout/9.6/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 4100193313124
-| mem: 4100000968548})
+({cpu: 216190138
+| mem: 1059440})
diff --git a/...payout/9.6/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c.budget.golden b/...payout/9.6/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3500164835516
-| mem: 3500000800230})
+({cpu: 183983314
+| mem: 876474})
diff --git a/...payout/9.6/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d.budget.golden b/...payout/9.6/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3500161996210
-| mem: 3500000789306})
+({cpu: 181144008
+| mem: 865550})
diff --git a/...payout/9.6/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e.budget.golden b/...payout/9.6/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3500165984574
-| mem: 3500000808726})
+({cpu: 185132372
+| mem: 884970})
diff --git a/...payout/9.6/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c.budget.golden b/...payout/9.6/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3500161519187
-| mem: 3500000789098})
+({cpu: 180666985
+| mem: 865342})
diff --git a/...payout/9.6/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a.budget.golden b/...payout/9.6/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 4100180427916
-| mem: 4100000888646})
+({cpu: 203304930
+| mem: 979538})
diff --git a/...payout/9.6/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632.budget.golden b/...payout/9.6/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3700173474723
-| mem: 3700000850386})
+({cpu: 194050135
+| mem: 932022})
diff --git a/...payout/9.6/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca.budget.golden b/...payout/9.6/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 4100182559737
-| mem: 4100000909620})
+({cpu: 205436751
+| mem: 1000512})
diff --git a/...payout/9.6/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef.budget.golden b/...payout/9.6/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3500164835516
-| mem: 3500000800230})
+({cpu: 183983314
+| mem: 876474})
diff --git a/...payout/9.6/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07.budget.golden b/...payout/9.6/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3500158215499
-| mem: 3500000776072})
+({cpu: 177363297
+| mem: 852316})
diff --git a/...payout/9.6/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7.budget.golden b/...payout/9.6/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3700175322846
-| mem: 3700000866270})
+({cpu: 195898258
+| mem: 947906})
diff --git a/...payout/9.6/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc.budget.golden b/...payout/9.6/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3500162680886
-| mem: 3500000795700})
+({cpu: 181828684
+| mem: 871944})
diff --git a/...payout/9.6/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40.budget.golden b/...payout/9.6/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3500162680886
-| mem: 3500000795700})
+({cpu: 181828684
+| mem: 871944})
diff --git a/...payout/9.6/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7.budget.golden b/...payout/9.6/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 4300198689156
-| mem: 4300000999356})
+({cpu: 222440158
+| mem: 1094112})
diff --git a/...payout/9.6/3897ef714bba3e6821495b706c75f8d64264c3fdaa58a3826c808b5a768c303d.budget.golden b/...payout/9.6/3897ef714bba3e6821495b706c75f8d64264c3fdaa58a3826c808b5a768c303d.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3900168250190
-| mem: 3900000826656})
+({cpu: 189699590
+| mem: 912156})
diff --git a/...payout/9.6/4121d88f14387d33ac5e1329618068e3848445cdd66b29e5ba382be2e02a174a.budget.golden b/...payout/9.6/4121d88f14387d33ac5e1329618068e3848445cdd66b29e5ba382be2e02a174a.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 4700194863304
-| mem: 4700000988954})
+({cpu: 220915908
+| mem: 1092966})
diff --git a/...payout/9.6/4299c7fcf093a5dbfe114c188e32ca199b571a7c25cb7f766bf49f12dab308be.budget.golden b/...payout/9.6/4299c7fcf093a5dbfe114c188e32ca199b571a7c25cb7f766bf49f12dab308be.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3900182104674
-| mem: 3900000902990})
+({cpu: 203554074
+| mem: 988490})
diff --git a/...payout/9.6/452e17d16222a427707fa83f63ffb79f606cc25c755a18b1e3274c964ed5ec99.budget.golden b/...payout/9.6/452e17d16222a427707fa83f63ffb79f606cc25c755a18b1e3274c964ed5ec99.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 4500201093612
-| mem: 4500001004874})
+({cpu: 226825854
+| mem: 1106550})
diff --git a/...payout/9.6/46f8d00030436e4da490a86b331fa6c3251425fb8c19556080e124d75bad7bd6.budget.golden b/...payout/9.6/46f8d00030436e4da490a86b331fa6c3251425fb8c19556080e124d75bad7bd6.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3500164822875
-| mem: 3500000802124})
+({cpu: 183970673
+| mem: 878368})
diff --git a/...payout/9.6/47364cfaf2c00f7d633283dce6cf84e4fd4e8228c0a0aa50e7c55f35c3ecaa1c.budget.golden b/...payout/9.6/47364cfaf2c00f7d633283dce6cf84e4fd4e8228c0a0aa50e7c55f35c3ecaa1c.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 3500164822875
-| mem: 3500000802124})
+({cpu: 183970673
+| mem: 878368})