IntersectMBO · effectfully · Jun 27, 2024 · Jun 26, 2024 · Jun 27, 2024
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
@@ -103,7 +103,7 @@ VRF example
 
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    -     712   (4.3%)      1220773236  (12.2%)           47949   (0.3%) 
+    -     714   (4.4%)      1220805236  (12.2%)           48149   (0.3%) 
 
 G1 Verify
 
@@ -127,19 +127,19 @@ Aggregate Multi Key
 
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    -    1704  (10.4%)      3446243236  (34.5%)          421586   (3.0%) 
+    -    1705  (10.4%)      3446371236  (34.5%)          422386   (3.0%) 
 
 Schnorr Signature G1
 
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    -     370   (2.3%)       320182564   (3.2%)           13796   (0.1%) 
+    -     371   (2.3%)       320214564   (3.2%)           13996   (0.1%) 
 
 Schnorr Signature G2
 
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    -     514   (3.1%)       552393171   (5.5%)           13964   (0.1%) 
+    -     515   (3.1%)       552425171   (5.5%)           14164   (0.1%) 
 
 Groth16Verify succeeded
 Simple Verify succeeded

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     481   (2.9%)         4458441   (0.0%)           21522   (0.2%) 
-   10    2208  (13.5%)       646843741   (6.5%)          516352   (3.7%) 
-   20    3935  (24.0%)      1289229041  (12.9%)         1011182   (7.2%) 
-   30    5662  (34.6%)      1931614341  (19.3%)         1506012  (10.8%) 
-   40    7389  (45.1%)      2573999641  (25.7%)         2000842  (14.3%) 
-   50    9115  (55.6%)      3216384941  (32.2%)         2495672  (17.8%) 
-   60   10842  (66.2%)      3858770241  (38.6%)         2990502  (21.4%) 
-   70   12569  (76.7%)      4501155541  (45.0%)         3485332  (24.9%) 
-   80   14295  (87.2%)      5143540841  (51.4%)         3980162  (28.4%) 
-   90   16022  (97.8%)      5785926141  (57.9%)         4474992  (32.0%) 
-  100   17749 (108.3%)      6428311441  (64.3%)         4969822  (35.5%) 
-  110   19476 (118.9%)      7070696741  (70.7%)         5464652  (39.0%) 
-  120   21202 (129.4%)      7713082041  (77.1%)         5959482  (42.6%) 
-  130   22929 (139.9%)      8355467341  (83.6%)         6454312  (46.1%) 
-  140   24656 (150.5%)      8997852641  (90.0%)         6949142  (49.6%) 
-  150   26383 (161.0%)      9640237941  (96.4%)         7443972  (53.2%) 
+    0     486   (3.0%)         4490441   (0.0%)           21722   (0.2%) 
+   10    2213  (13.5%)       647515741   (6.5%)          520552   (3.7%) 
+   20    3940  (24.0%)      1290541041  (12.9%)         1019382   (7.3%) 
+   30    5667  (34.6%)      1933566341  (19.3%)         1518212  (10.8%) 
+   40    7394  (45.1%)      2576591641  (25.8%)         2017042  (14.4%) 
+   50    9120  (55.7%)      3219616941  (32.2%)         2515872  (18.0%) 
+   60   10847  (66.2%)      3862642241  (38.6%)         3014702  (21.5%) 
+   70   12574  (76.7%)      4505667541  (45.1%)         3513532  (25.1%) 
+   80   14300  (87.3%)      5148692841  (51.5%)         4012362  (28.7%) 
+   90   16027  (97.8%)      5791718141  (57.9%)         4511192  (32.2%) 
+  100   17754 (108.4%)      6434743441  (64.3%)         5010022  (35.8%) 
+  110   19481 (118.9%)      7077768741  (70.8%)         5508852  (39.3%) 
+  120   21207 (129.4%)      7720794041  (77.2%)         6007682  (42.9%) 
+  130   22934 (140.0%)      8363819341  (83.6%)         6506512  (46.5%) 
+  140   24661 (150.5%)      9006844641  (90.1%)         7005342  (50.0%) 
+  150   26388 (161.1%)      9649869941  (96.5%)         7504172  (53.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: 196086904
-| mem: 837952})
+({cpu: 199606904
+| mem: 859952})
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: 16341428194
-| mem: 69498232})
+({cpu: 16664628194
+| mem: 71518232})
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: 58837074
-| mem: 253492})
+({cpu: 59797074
+| mem: 259492})
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: 4173000144
-| mem: 17753632})
+({cpu: 4254600144
+| mem: 18263632})
diff --git a/plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-10.budget.golden b/plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-10.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 113745780
-| mem: 538480})
+({cpu: 117905780
+| mem: 564480})
diff --git a/plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-100.budget.golden b/plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-100.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 8662950900
-| mem: 39539800})
+({cpu: 8992550900
+| mem: 41599800})
diff --git a/plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-5.budget.golden b/plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-5.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 36645190
-| mem: 178640})
+({cpu: 37925190
+| mem: 186640})
diff --git a/plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-50.budget.golden b/plutus-benchmark/lists/test/Lookup/9.6/match-scott-list-50.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 2238212500
-| mem: 10264400})
+({cpu: 2323012500
+| mem: 10794400})
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: 272684232
-| mem: 1083930})
+({cpu: 279116232
+| mem: 1124130})
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: 277484232
-| mem: 1113930})
+({cpu: 283916232
+| mem: 1154130})
diff --git a/...payout/9.6/0004000402010401030101030100040000010104020201030001000204020401.budget.golden b/...payout/9.6/0004000402010401030101030100040000010104020201030001000204020401.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 185634074
-| mem: 876490})
+({cpu: 193314074
+| mem: 924490})
diff --git a/...payout/9.6/0100000100010000000001000100010101000101000001000000010000010000.budget.golden b/...payout/9.6/0100000100010000000001000100010101000101000001000000010000010000.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 274904136
-| mem: 1373904})
+({cpu: 282840136
+| mem: 1423504})
diff --git a/...payout/9.6/0101000100000101010000010101000100010101000001000001000000010101.budget.golden b/...payout/9.6/0101000100000101010000010101000100010101000001000001000000010101.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 200204188
-| mem: 956454})
+({cpu: 207116188
+| mem: 999654})
diff --git a/...payout/9.6/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.budget.golden b/...payout/9.6/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 160863938
-| mem: 747222})
+({cpu: 167775938
+| mem: 790422})
diff --git a/...payout/9.6/0201020201020000020000010201020001020200000002010200000101010100.budget.golden b/...payout/9.6/0201020201020000020000010201020001020200000002010200000101010100.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 181505946
-| mem: 850332})
+({cpu: 189185946
+| mem: 898332})
diff --git a/...payout/9.6/0202010002010100020102020102020001010101020102010001010101000100.budget.golden b/...payout/9.6/0202010002010100020102020102020001010101020102010001010101000100.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 168188754
-| mem: 778272})
+({cpu: 175996754
+| mem: 827072})
diff --git a/...payout/9.6/0303020000020001010201060303040208070100050401080304020801030001.budget.golden b/...payout/9.6/0303020000020001010201060303040208070100050401080304020801030001.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 167027055
-| mem: 771670})
+({cpu: 174835055
+| mem: 820470})
diff --git a/...payout/9.6/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.budget.golden b/...payout/9.6/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 211814344
-| mem: 1011576})
+({cpu: 219110344
+| mem: 1057176})
diff --git a/...payout/9.6/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.budget.golden b/...payout/9.6/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 195879877
-| mem: 931044})
+({cpu: 203687877
+| mem: 979844})
diff --git a/...payout/9.6/0403020000030204010000030001000202010101000304030001040404030100.budget.golden b/...payout/9.6/0403020000030204010000030001000202010101000304030001040404030100.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 180062226
-| mem: 842410})
+({cpu: 187486226
+| mem: 888810})
diff --git a/...payout/9.6/0405010105020401010304080005050800040301010800080207080704020206.budget.golden b/...payout/9.6/0405010105020401010304080005050800040301010800080207080704020206.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 200758582
-| mem: 953594})
+({cpu: 208438582
+| mem: 1001594})
diff --git a/...payout/9.6/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.budget.golden b/...payout/9.6/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 202287269
-| mem: 970170})
+({cpu: 209583269
+| mem: 1015770})
diff --git a/...payout/9.6/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5.budget.golden b/...payout/9.6/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 240745580
-| mem: 1178698})
+({cpu: 248425580
+| mem: 1226698})
diff --git a/...payout/9.6/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027.budget.golden b/...payout/9.6/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 164932760
-| mem: 766344})
+({cpu: 172228760
+| mem: 811944})
diff --git a/...payout/9.6/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954.budget.golden b/...payout/9.6/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 178424220
-| mem: 838008})
+({cpu: 185720220
+| mem: 883608})
diff --git a/...payout/9.6/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae.budget.golden b/...payout/9.6/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 157679050
-| mem: 714766})
+({cpu: 165359050
+| mem: 762766})
diff --git a/...payout/9.6/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961.budget.golden b/...payout/9.6/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 201678300
-| mem: 974642})
+({cpu: 208590300
+| mem: 1017842})
diff --git a/...payout/9.6/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0.budget.golden b/...payout/9.6/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 174860232
-| mem: 818382})
+({cpu: 181772232
+| mem: 861582})
diff --git a/...payout/9.6/0d0f01050a0a0a0b0b050d0404090e0d0506000d0a041003040e0f100e0a0408.budget.golden b/...payout/9.6/0d0f01050a0a0a0b0b050d0404090e0d0506000d0a041003040e0f100e0a0408.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 177120969
-| mem: 846810})
+({cpu: 183648969
+| mem: 887610})
diff --git a/...payout/9.6/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960.budget.golden b/...payout/9.6/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 205776840
-| mem: 991014})
+({cpu: 212688840
+| mem: 1034214})
diff --git a/...payout/9.6/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15.budget.golden b/...payout/9.6/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 169575250
-| mem: 794270})
+({cpu: 176487250
+| mem: 837470})
diff --git a/...payout/9.6/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d.budget.golden b/...payout/9.6/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 189127582
-| mem: 895920})
+({cpu: 196423582
+| mem: 941520})
diff --git a/...payout/9.6/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a.budget.golden b/...payout/9.6/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 185634074
-| mem: 876490})
+({cpu: 193314074
+| mem: 924490})
diff --git a/...payout/9.6/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f.budget.golden b/...payout/9.6/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 197854138
-| mem: 944840})
+({cpu: 205534138
+| mem: 992840})
diff --git a/...payout/9.6/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c.budget.golden b/...payout/9.6/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 166703314
-| mem: 768474})
+({cpu: 174383314
+| mem: 816474})
diff --git a/...payout/9.6/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d.budget.golden b/...payout/9.6/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 164120008
-| mem: 759150})
+({cpu: 171544008
+| mem: 805550})
diff --git a/...payout/9.6/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e.budget.golden b/...payout/9.6/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 167852372
-| mem: 776970})
+({cpu: 175532372
+| mem: 824970})
diff --git a/...payout/9.6/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c.budget.golden b/...payout/9.6/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 163770985
-| mem: 759742})
+({cpu: 171066985
+| mem: 805342})
diff --git a/...payout/9.6/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a.budget.golden b/...payout/9.6/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 184968930
-| mem: 864938})
+({cpu: 192648930
+| mem: 912938})
diff --git a/...payout/9.6/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632.budget.golden b/...payout/9.6/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 176354135
-| mem: 821422})
+({cpu: 184034135
+| mem: 869422})
diff --git a/...payout/9.6/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca.budget.golden b/...payout/9.6/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 187484751
-| mem: 888312})
+({cpu: 194780751
+| mem: 933912})
diff --git a/...payout/9.6/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef.budget.golden b/...payout/9.6/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 166703314
-| mem: 768474})
+({cpu: 174383314
+| mem: 816474})
diff --git a/...payout/9.6/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07.budget.golden b/...payout/9.6/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 160851297
-| mem: 749116})
+({cpu: 167763297
+| mem: 792316})
diff --git a/...payout/9.6/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7.budget.golden b/...payout/9.6/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 178586258
-| mem: 839706})
+({cpu: 185882258
+| mem: 885306})
diff --git a/...payout/9.6/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc.budget.golden b/...payout/9.6/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 164932684
-| mem: 766344})
+({cpu: 172228684
+| mem: 811944})
diff --git a/...payout/9.6/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40.budget.golden b/...payout/9.6/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 164932684
-| mem: 766344})
+({cpu: 172228684
+| mem: 811944})
diff --git a/...payout/9.6/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7.budget.golden b/...payout/9.6/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7.budget.golden
@@ -1,2 +1,2 @@
-({cpu: 203752158
-| mem: 977312})
+({cpu: 211560158
+| mem: 1026112})