diff --git a/plutus-benchmark/ed25519-costs/test/9.6/ed25519-costs.golden b/plutus-benchmark/ed25519-costs/test/9.6/ed25519-costs.golden index 9af71236154..46ced7b8bce 100644 --- 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 index 423c306cb3b..322a64a8aed 100644 --- 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}) \ No newline at end of file +({cpu: 197510904 +| mem: 846852}) \ No newline at end of file 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 index 5eeb4a9faad..300bcb13093 100644 --- 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}) \ No newline at end of file +({cpu: 16499812194 +| mem: 70488132}) \ No newline at end of file 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 index 3e8c3d4db3d..3b27b238bd6 100644 --- 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}) \ No newline at end of file +({cpu: 59141074 +| mem: 255392}) \ No newline at end of file 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 index f81fdbed33b..8a98d3ad4b5 100644 --- 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}) \ No newline at end of file +({cpu: 4212184144 +| mem: 17998532}) \ No newline at end of file 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 index eb4b598191e..2d6ce75ed80 100644 --- 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}) \ No newline at end of file +({cpu: 122258594 +| mem: 523832}) \ No newline at end of file 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 index 274ce6da742..a84f88757da 100644 --- 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}) \ No newline at end of file +({cpu: 316399632 +| mem: 1277230}) \ No newline at end of file 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 index 8a8fa6ecc87..ca23dc21c88 100644 --- 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}) \ No newline at end of file +({cpu: 127058594 +| mem: 553832}) \ No newline at end of file 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 index 8e8b738f67b..57dceffe19f 100644 --- 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}) \ No newline at end of file +({cpu: 321199632 +| mem: 1307230}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0004000402010401030101030100040000010104020201030001000204020401.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0004000402010401030101030100040000010104020201030001000204020401.budget.golden index 7cbad5a7aa1..2c219669a67 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0004000402010401030101030100040000010104020201030001000204020401.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0004000402010401030101030100040000010104020201030001000204020401.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3900182104674 -| mem: 3900000902990}) \ No newline at end of file +({cpu: 203554074 +| mem: 988490}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0100000100010000000001000100010101000101000001000000010000010000.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0100000100010000000001000100010101000101000001000000010000010000.budget.golden index 061d902ec92..037faaa6a09 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0100000100010000000001000100010101000101000001000000010000010000.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0100000100010000000001000100010101000101000001000000010000010000.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5700263611088 -| mem: 5700001377860}) \ No newline at end of file +({cpu: 296248136 +| mem: 1507304}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0101000100000101010000010101000100010101000001000001000000010101.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0101000100000101010000010101000100010101000001000001000000010101.budget.golden index aceff324aab..731adcb6f1d 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0101000100000101010000010101000100010101000001000001000000010101.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0101000100000101010000010101000100010101000001000001000000010101.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4700192221958 -| mem: 4700000967314}) \ No newline at end of file +({cpu: 218828188 +| mem: 1072854}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.budget.golden index 981e43b20b8..3e6ef04a204 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500158228140 -| mem: 3500000774178}) \ No newline at end of file +({cpu: 177375938 +| mem: 850422}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0201020201020000020000010201020001020200000002010200000101010100.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0201020201020000020000010201020001020200000002010200000101010100.budget.golden index 0037db65180..f864d776657 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0201020201020000020000010201020001020200000002010200000101010100.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0201020201020000020000010201020001020200000002010200000101010100.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3700178626534 -| mem: 3700000879296}) \ No newline at end of file +({cpu: 199201946 +| mem: 960932}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0202010002010100020102020102020001010101020102010001010101000100.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0202010002010100020102020102020001010101020102010001010101000100.budget.golden index 17ba6022e0d..3acad6678ec 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0202010002010100020102020102020001010101020102010001010101000100.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0202010002010100020102020102020001010101020102010001010101000100.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500166448956 -| mem: 3500000810828}) \ No newline at end of file +({cpu: 185596754 +| mem: 887072}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0303020000020001010201060303040208070100050401080304020801030001.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0303020000020001010201060303040208070100050401080304020801030001.budget.golden index 665c6bc90ff..2ca2e05199f 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0303020000020001010201060303040208070100050401080304020801030001.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0303020000020001010201060303040208070100050401080304020801030001.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500165287257 -| mem: 3500000804226}) \ No newline at end of file +({cpu: 184435055 +| mem: 880470}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.budget.golden index 0261e719fe6..15a9334ea48 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4700203854488 -| mem: 4700001024508}) \ No newline at end of file +({cpu: 231014344 +| mem: 1131576}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.budget.golden index 05166f10554..2051bce4bd3 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4100191466863 -| mem: 4100000955552}) \ No newline at end of file +({cpu: 214343877 +| mem: 1046444}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0403020000030204010000030001000202010101000304030001040404030100.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0403020000030204010000030001000202010101000304030001040404030100.budget.golden index 994f8f5cf0c..8e17bd5a247 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0403020000030204010000030001000202010101000304030001040404030100.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0403020000030204010000030001000202010101000304030001040404030100.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4100175265212 -| mem: 4100000864518}) \ No newline at end of file +({cpu: 198142226 +| mem: 955410}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0405010105020401010304080005050800040301010800080207080704020206.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0405010105020401010304080005050800040301010800080207080704020206.budget.golden index e99964052b1..0e0f84428ac 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0405010105020401010304080005050800040301010800080207080704020206.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0405010105020401010304080005050800040301010800080207080704020206.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4300195205954 -| mem: 4300000974510}) \ No newline at end of file +({cpu: 219510582 +| mem: 1070794}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.budget.golden index 2a1c0532944..bbd285e75b8 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4300196350641 -| mem: 4300000988686}) \ No newline at end of file +({cpu: 220655269 +| mem: 1084970}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5.budget.golden index 1b9881fa267..078629b6923 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5300231219760 -| mem: 5300001186638}) \ No newline at end of file +({cpu: 261001580 +| mem: 1305298}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027.budget.golden index dbf7d91cb7a..ad41ece9728 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500162680962 -| mem: 3500000795700}) \ No newline at end of file +({cpu: 181828760 +| mem: 871944}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954.budget.golden index 8874a19ad24..a59f86ad124 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3700175160808 -| mem: 3700000864572}) \ No newline at end of file +({cpu: 195736220 +| mem: 946208}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae.budget.golden index 84975d27039..f10ea4cce59 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500155811252 -| mem: 3500000746522}) \ No newline at end of file +({cpu: 174959050 +| mem: 822766}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961.budget.golden index 1d25e89d283..fba655871a3 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4300195357672 -| mem: 4300000990758}) \ No newline at end of file +({cpu: 219662300 +| mem: 1087042}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0.budget.golden index 78ef9219a02..6e77175627e 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4100169551218 -| mem: 4100000837290}) \ No newline at end of file +({cpu: 192428232 +| mem: 928182}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0d0f01050a0a0a0b0b050d0404090e0d0506000d0a041003040e0f100e0a0408.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0d0f01050a0a0a0b0b050d0404090e0d0506000d0a041003040e0f100e0a0408.budget.golden index 0c5d9d42dad..9f545d2df6a 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0d0f01050a0a0a0b0b050d0404090e0d0506000d0a041003040e0f100e0a0408.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0d0f01050a0a0a0b0b050d0404090e0d0506000d0a041003040e0f100e0a0408.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3900172439569 -| mem: 3900000866110}) \ No newline at end of file +({cpu: 193888969 +| mem: 951610}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960.budget.golden index 898be8b8054..9b317d174f2 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4900197144622 -| mem: 4900000999410}) \ No newline at end of file +({cpu: 224624840 +| mem: 1108814}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15.budget.golden index 2ab40e9a2be..8c509ecdecf 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3700165927838 -| mem: 3700000818434}) \ No newline at end of file +({cpu: 186503250 +| mem: 900070}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d.budget.golden index 26f907aaf00..509532eed5d 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4100184202568 -| mem: 4100000917228}) \ No newline at end of file +({cpu: 207079582 +| mem: 1008120}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a.budget.golden index 7cbad5a7aa1..2c219669a67 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3900182104674 -| mem: 3900000902990}) \ No newline at end of file +({cpu: 203554074 +| mem: 988490}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f.budget.golden index c6ec304aa8a..57ac57ee6f7 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4100193313124 -| mem: 4100000968548}) \ No newline at end of file +({cpu: 216190138 +| mem: 1059440}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c.budget.golden index 3b3a6837694..3a66ea5eeb9 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500164835516 -| mem: 3500000800230}) \ No newline at end of file +({cpu: 183983314 +| mem: 876474}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d.budget.golden index dfd070c1d01..fe08621af2d 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500161996210 -| mem: 3500000789306}) \ No newline at end of file +({cpu: 181144008 +| mem: 865550}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e.budget.golden index b5688c7d03f..0eb440e7f33 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500165984574 -| mem: 3500000808726}) \ No newline at end of file +({cpu: 185132372 +| mem: 884970}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c.budget.golden index a94392f5b49..5844451f0f5 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500161519187 -| mem: 3500000789098}) \ No newline at end of file +({cpu: 180666985 +| mem: 865342}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a.budget.golden index 7f28d13967c..f945f3fd0dd 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4100180427916 -| mem: 4100000888646}) \ No newline at end of file +({cpu: 203304930 +| mem: 979538}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632.budget.golden index 24aa09ca40d..6496923adfb 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3700173474723 -| mem: 3700000850386}) \ No newline at end of file +({cpu: 194050135 +| mem: 932022}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca.budget.golden index 7c6d14a2c10..2baad76e3fa 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4100182559737 -| mem: 4100000909620}) \ No newline at end of file +({cpu: 205436751 +| mem: 1000512}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef.budget.golden index 3b3a6837694..3a66ea5eeb9 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500164835516 -| mem: 3500000800230}) \ No newline at end of file +({cpu: 183983314 +| mem: 876474}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07.budget.golden index 26097a71deb..2ceea7737dd 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500158215499 -| mem: 3500000776072}) \ No newline at end of file +({cpu: 177363297 +| mem: 852316}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7.budget.golden index 0d8e70ecece..330187de928 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3700175322846 -| mem: 3700000866270}) \ No newline at end of file +({cpu: 195898258 +| mem: 947906}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc.budget.golden index f0b3d3e9aa6..b84a76e9570 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500162680886 -| mem: 3500000795700}) \ No newline at end of file +({cpu: 181828684 +| mem: 871944}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40.budget.golden index f0b3d3e9aa6..b84a76e9570 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500162680886 -| mem: 3500000795700}) \ No newline at end of file +({cpu: 181828684 +| mem: 871944}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7.budget.golden index 00e1a22c901..8a99d63460c 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4300198689156 -| mem: 4300000999356}) \ No newline at end of file +({cpu: 222440158 +| mem: 1094112}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/3897ef714bba3e6821495b706c75f8d64264c3fdaa58a3826c808b5a768c303d.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/3897ef714bba3e6821495b706c75f8d64264c3fdaa58a3826c808b5a768c303d.budget.golden index 0865fe7ae65..5c97e4e41bf 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/3897ef714bba3e6821495b706c75f8d64264c3fdaa58a3826c808b5a768c303d.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/3897ef714bba3e6821495b706c75f8d64264c3fdaa58a3826c808b5a768c303d.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3900168250190 -| mem: 3900000826656}) \ No newline at end of file +({cpu: 189699590 +| mem: 912156}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/4121d88f14387d33ac5e1329618068e3848445cdd66b29e5ba382be2e02a174a.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/4121d88f14387d33ac5e1329618068e3848445cdd66b29e5ba382be2e02a174a.budget.golden index 23559cd9ac5..72aa08052eb 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/4121d88f14387d33ac5e1329618068e3848445cdd66b29e5ba382be2e02a174a.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/4121d88f14387d33ac5e1329618068e3848445cdd66b29e5ba382be2e02a174a.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4700194863304 -| mem: 4700000988954}) \ No newline at end of file +({cpu: 220915908 +| mem: 1092966}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/4299c7fcf093a5dbfe114c188e32ca199b571a7c25cb7f766bf49f12dab308be.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/4299c7fcf093a5dbfe114c188e32ca199b571a7c25cb7f766bf49f12dab308be.budget.golden index 7cbad5a7aa1..2c219669a67 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/4299c7fcf093a5dbfe114c188e32ca199b571a7c25cb7f766bf49f12dab308be.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/4299c7fcf093a5dbfe114c188e32ca199b571a7c25cb7f766bf49f12dab308be.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3900182104674 -| mem: 3900000902990}) \ No newline at end of file +({cpu: 203554074 +| mem: 988490}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/452e17d16222a427707fa83f63ffb79f606cc25c755a18b1e3274c964ed5ec99.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/452e17d16222a427707fa83f63ffb79f606cc25c755a18b1e3274c964ed5ec99.budget.golden index 4efd13a0618..283e9fa3d5a 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/452e17d16222a427707fa83f63ffb79f606cc25c755a18b1e3274c964ed5ec99.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/452e17d16222a427707fa83f63ffb79f606cc25c755a18b1e3274c964ed5ec99.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4500201093612 -| mem: 4500001004874}) \ No newline at end of file +({cpu: 226825854 +| mem: 1106550}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/46f8d00030436e4da490a86b331fa6c3251425fb8c19556080e124d75bad7bd6.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/46f8d00030436e4da490a86b331fa6c3251425fb8c19556080e124d75bad7bd6.budget.golden index e1d927dff14..8b142c45798 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/46f8d00030436e4da490a86b331fa6c3251425fb8c19556080e124d75bad7bd6.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/46f8d00030436e4da490a86b331fa6c3251425fb8c19556080e124d75bad7bd6.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500164822875 -| mem: 3500000802124}) \ No newline at end of file +({cpu: 183970673 +| mem: 878368}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/47364cfaf2c00f7d633283dce6cf84e4fd4e8228c0a0aa50e7c55f35c3ecaa1c.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/47364cfaf2c00f7d633283dce6cf84e4fd4e8228c0a0aa50e7c55f35c3ecaa1c.budget.golden index e1d927dff14..8b142c45798 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/47364cfaf2c00f7d633283dce6cf84e4fd4e8228c0a0aa50e7c55f35c3ecaa1c.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/47364cfaf2c00f7d633283dce6cf84e4fd4e8228c0a0aa50e7c55f35c3ecaa1c.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500164822875 -| mem: 3500000802124}) \ No newline at end of file +({cpu: 183970673 +| mem: 878368}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/49b8275d0cb817be40865694ab05e3cfe5fc35fb43b78e7de68c1f3519b536bd.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/49b8275d0cb817be40865694ab05e3cfe5fc35fb43b78e7de68c1f3519b536bd.budget.golden index 42d6ff6f626..2681737b010 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/49b8275d0cb817be40865694ab05e3cfe5fc35fb43b78e7de68c1f3519b536bd.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/49b8275d0cb817be40865694ab05e3cfe5fc35fb43b78e7de68c1f3519b536bd.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3700172019158 -| mem: 3700000853244}) \ No newline at end of file +({cpu: 192594570 +| mem: 934880}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/4dd7755b6ca1f0c9747c1fc0ee4da799f6f1c07108e980bd9f820911ad711ff2.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/4dd7755b6ca1f0c9747c1fc0ee4da799f6f1c07108e980bd9f820911ad711ff2.budget.golden index 084ec746164..9090e204b1b 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/4dd7755b6ca1f0c9747c1fc0ee4da799f6f1c07108e980bd9f820911ad711ff2.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/4dd7755b6ca1f0c9747c1fc0ee4da799f6f1c07108e980bd9f820911ad711ff2.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5500221761286 -| mem: 5500001141534}) \ No newline at end of file +({cpu: 252970720 +| mem: 1265586}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/4fbcfdb577a56b842d6f6938187a783f71d9da7519353e3da3ef0c564e1eb344.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/4fbcfdb577a56b842d6f6938187a783f71d9da7519353e3da3ef0c564e1eb344.budget.golden index 05e4121cbdf..00825d60be6 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/4fbcfdb577a56b842d6f6938187a783f71d9da7519353e3da3ef0c564e1eb344.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/4fbcfdb577a56b842d6f6938187a783f71d9da7519353e3da3ef0c564e1eb344.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4700207353582 -| mem: 4700001047804}) \ No newline at end of file +({cpu: 234513438 +| mem: 1154872}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/5a0725d49c733130eda8bc6ed5234f7f6ff8c9dd2d201e8806125e5fbcc081f9.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/5a0725d49c733130eda8bc6ed5234f7f6ff8c9dd2d201e8806125e5fbcc081f9.budget.golden index 14ff02c0fa1..871c034364d 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/5a0725d49c733130eda8bc6ed5234f7f6ff8c9dd2d201e8806125e5fbcc081f9.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/5a0725d49c733130eda8bc6ed5234f7f6ff8c9dd2d201e8806125e5fbcc081f9.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3900175497298 -| mem: 3900000876938}) \ No newline at end of file +({cpu: 196946698 +| mem: 962438}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/5a2aae344e569a2c644dd9fa8c7b1f129850937eb562b7748c275f9e40bed596.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/5a2aae344e569a2c644dd9fa8c7b1f129850937eb562b7748c275f9e40bed596.budget.golden index e1d927dff14..8b142c45798 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/5a2aae344e569a2c644dd9fa8c7b1f129850937eb562b7748c275f9e40bed596.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/5a2aae344e569a2c644dd9fa8c7b1f129850937eb562b7748c275f9e40bed596.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500164822875 -| mem: 3500000802124}) \ No newline at end of file +({cpu: 183970673 +| mem: 878368}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/5ade103e9530dd0d572fe1b053ea65ad925c6ebbe321e873ace8b804363fa82c.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/5ade103e9530dd0d572fe1b053ea65ad925c6ebbe321e873ace8b804363fa82c.budget.golden index 32ded526da2..2a56f4c8203 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/5ade103e9530dd0d572fe1b053ea65ad925c6ebbe321e873ace8b804363fa82c.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/5ade103e9530dd0d572fe1b053ea65ad925c6ebbe321e873ace8b804363fa82c.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5100237653524 -| mem: 5100001233714}) \ No newline at end of file +({cpu: 266561356 +| mem: 1348510}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/5d4c62a0671c65a14f6a15093e3efc4f1816d95a5a58fd92486bedaae8d9526b.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/5d4c62a0671c65a14f6a15093e3efc4f1816d95a5a58fd92486bedaae8d9526b.budget.golden index 1d25e89d283..fba655871a3 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/5d4c62a0671c65a14f6a15093e3efc4f1816d95a5a58fd92486bedaae8d9526b.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/5d4c62a0671c65a14f6a15093e3efc4f1816d95a5a58fd92486bedaae8d9526b.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4300195357672 -| mem: 4300000990758}) \ No newline at end of file +({cpu: 219662300 +| mem: 1087042}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/5efe992e306e31cc857c64a62436ad2f9325acc5b4a74a8cebccdfd853ce63d2.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/5efe992e306e31cc857c64a62436ad2f9325acc5b4a74a8cebccdfd853ce63d2.budget.golden index 42d6ff6f626..2681737b010 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/5efe992e306e31cc857c64a62436ad2f9325acc5b4a74a8cebccdfd853ce63d2.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/5efe992e306e31cc857c64a62436ad2f9325acc5b4a74a8cebccdfd853ce63d2.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3700172019158 -| mem: 3700000853244}) \ No newline at end of file +({cpu: 192594570 +| mem: 934880}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/622a7f3bc611b5149253c9189da022a9ff296f60a5b7c172a6dc286faa7284fa.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/622a7f3bc611b5149253c9189da022a9ff296f60a5b7c172a6dc286faa7284fa.budget.golden index 5ae3ab667ce..1d302b94216 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/622a7f3bc611b5149253c9189da022a9ff296f60a5b7c172a6dc286faa7284fa.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/622a7f3bc611b5149253c9189da022a9ff296f60a5b7c172a6dc286faa7284fa.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4700200490390 -| mem: 4700001015184}) \ No newline at end of file +({cpu: 226542994 +| mem: 1119196}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/6621a69217f09d91f42876a9c0cecf79de0e29bdd5b16c82c6c52cf959092ec4.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/6621a69217f09d91f42876a9c0cecf79de0e29bdd5b16c82c6c52cf959092ec4.budget.golden index 62c3c92f4a2..989dfde856b 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/6621a69217f09d91f42876a9c0cecf79de0e29bdd5b16c82c6c52cf959092ec4.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/6621a69217f09d91f42876a9c0cecf79de0e29bdd5b16c82c6c52cf959092ec4.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3900184661276 -| mem: 3900000920286}) \ No newline at end of file +({cpu: 206110676 +| mem: 1005786}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/674b0577409957172ad85223c765d17e94c27714276c49c38dfae0a47a561a1e.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/674b0577409957172ad85223c765d17e94c27714276c49c38dfae0a47a561a1e.budget.golden index a94392f5b49..5844451f0f5 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/674b0577409957172ad85223c765d17e94c27714276c49c38dfae0a47a561a1e.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/674b0577409957172ad85223c765d17e94c27714276c49c38dfae0a47a561a1e.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500161519187 -| mem: 3500000789098}) \ No newline at end of file +({cpu: 180666985 +| mem: 865342}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/6b7bc2b9002a71b33cfd535d43f26334a283d0b9ad189b7cd74baac232c3b9fc.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/6b7bc2b9002a71b33cfd535d43f26334a283d0b9ad189b7cd74baac232c3b9fc.budget.golden index 84975d27039..f10ea4cce59 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/6b7bc2b9002a71b33cfd535d43f26334a283d0b9ad189b7cd74baac232c3b9fc.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/6b7bc2b9002a71b33cfd535d43f26334a283d0b9ad189b7cd74baac232c3b9fc.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500155811252 -| mem: 3500000746522}) \ No newline at end of file +({cpu: 174959050 +| mem: 822766}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/6c364699767a84059ffd99cf718562a8c09d96e343f23dc481e8ffda13af424f.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/6c364699767a84059ffd99cf718562a8c09d96e343f23dc481e8ffda13af424f.budget.golden index e1d927dff14..8b142c45798 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/6c364699767a84059ffd99cf718562a8c09d96e343f23dc481e8ffda13af424f.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/6c364699767a84059ffd99cf718562a8c09d96e343f23dc481e8ffda13af424f.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500164822875 -| mem: 3500000802124}) \ No newline at end of file +({cpu: 183970673 +| mem: 878368}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/6d66bddb4269bdf77392d3894da5341cf019d39787522af4f83f01285991e93c.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/6d66bddb4269bdf77392d3894da5341cf019d39787522af4f83f01285991e93c.budget.golden index b5688c7d03f..0eb440e7f33 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/6d66bddb4269bdf77392d3894da5341cf019d39787522af4f83f01285991e93c.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/6d66bddb4269bdf77392d3894da5341cf019d39787522af4f83f01285991e93c.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500165984574 -| mem: 3500000808726}) \ No newline at end of file +({cpu: 185132372 +| mem: 884970}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/73f044f34a30f26639c58bafe952047f74c7bf1eafebab5aadf5b73cfb9024ed.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/73f044f34a30f26639c58bafe952047f74c7bf1eafebab5aadf5b73cfb9024ed.budget.golden index e1d927dff14..8b142c45798 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/73f044f34a30f26639c58bafe952047f74c7bf1eafebab5aadf5b73cfb9024ed.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/73f044f34a30f26639c58bafe952047f74c7bf1eafebab5aadf5b73cfb9024ed.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500164822875 -| mem: 3500000802124}) \ No newline at end of file +({cpu: 183970673 +| mem: 878368}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/7b1dd76edc27f00eb382bf996378155baf74d6a7c6f3d5ec837c39d29784aade.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/7b1dd76edc27f00eb382bf996378155baf74d6a7c6f3d5ec837c39d29784aade.budget.golden index b5688c7d03f..0eb440e7f33 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/7b1dd76edc27f00eb382bf996378155baf74d6a7c6f3d5ec837c39d29784aade.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/7b1dd76edc27f00eb382bf996378155baf74d6a7c6f3d5ec837c39d29784aade.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500165984574 -| mem: 3500000808726}) \ No newline at end of file +({cpu: 185132372 +| mem: 884970}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/803eae94d62e2afc0e835c204af8362170301bc329e2d849d5f5a47dddf479ec.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/803eae94d62e2afc0e835c204af8362170301bc329e2d849d5f5a47dddf479ec.budget.golden index ae2e8c64118..4529324e4e2 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/803eae94d62e2afc0e835c204af8362170301bc329e2d849d5f5a47dddf479ec.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/803eae94d62e2afc0e835c204af8362170301bc329e2d849d5f5a47dddf479ec.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4300188880678 -| mem: 4300000956794}) \ No newline at end of file +({cpu: 212631680 +| mem: 1051550}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/87167fc5469adac97c1be749326fa79a6b7862ce68aa4abcb438e3c034bd0899.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/87167fc5469adac97c1be749326fa79a6b7862ce68aa4abcb438e3c034bd0899.budget.golden index 24c0a01f117..0af845d1f8a 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/87167fc5469adac97c1be749326fa79a6b7862ce68aa4abcb438e3c034bd0899.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/87167fc5469adac97c1be749326fa79a6b7862ce68aa4abcb438e3c034bd0899.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4500198168038 -| mem: 4500001006962}) \ No newline at end of file +({cpu: 223346654 +| mem: 1107110}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/8c0fa5d9d6724c5c72c67e055d4bfc36a385ded7c3c81c08cdbd8705829af6e6.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/8c0fa5d9d6724c5c72c67e055d4bfc36a385ded7c3c81c08cdbd8705829af6e6.budget.golden index 71c7837730c..dc8b9a4da46 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/8c0fa5d9d6724c5c72c67e055d4bfc36a385ded7c3c81c08cdbd8705829af6e6.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/8c0fa5d9d6724c5c72c67e055d4bfc36a385ded7c3c81c08cdbd8705829af6e6.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4500199094450 -| mem: 4500001014756}) \ No newline at end of file +({cpu: 224273066 +| mem: 1114904}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/962c2c658b19904372984a56409707401e64e9b03c1986647134cfd329ec5139.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/962c2c658b19904372984a56409707401e64e9b03c1986647134cfd329ec5139.budget.golden index 9afc1449440..bae9898b7da 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/962c2c658b19904372984a56409707401e64e9b03c1986647134cfd329ec5139.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/962c2c658b19904372984a56409707401e64e9b03c1986647134cfd329ec5139.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3900181357588 -| mem: 3900000907260}) \ No newline at end of file +({cpu: 202806988 +| mem: 992760}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/996804e90f2c75fe68886fc8511304b8ab9b36785f8858f5cb098e91c159dde9.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/996804e90f2c75fe68886fc8511304b8ab9b36785f8858f5cb098e91c159dde9.budget.golden index 4674c9d737c..3c39f47a64c 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/996804e90f2c75fe68886fc8511304b8ab9b36785f8858f5cb098e91c159dde9.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/996804e90f2c75fe68886fc8511304b8ab9b36785f8858f5cb098e91c159dde9.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3700170171035 -| mem: 3700000837360}) \ No newline at end of file +({cpu: 190746447 +| mem: 918996}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/a004a989c005d59043f996500e110fa756ad1b85800b889d5815a0106388e1d7.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/a004a989c005d59043f996500e110fa756ad1b85800b889d5815a0106388e1d7.budget.golden index db98785847e..90176ab4a9b 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/a004a989c005d59043f996500e110fa756ad1b85800b889d5815a0106388e1d7.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/a004a989c005d59043f996500e110fa756ad1b85800b889d5815a0106388e1d7.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3900175649653 -| mem: 3900000864684}) \ No newline at end of file +({cpu: 197099053 +| mem: 950184}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/a0fba5740174b5cd24036c8b008cb1efde73f1edae097b9325c6117a0ff40d3b.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/a0fba5740174b5cd24036c8b008cb1efde73f1edae097b9325c6117a0ff40d3b.budget.golden index f1d45591e31..6b1b2bbf7b3 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/a0fba5740174b5cd24036c8b008cb1efde73f1edae097b9325c6117a0ff40d3b.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/a0fba5740174b5cd24036c8b008cb1efde73f1edae097b9325c6117a0ff40d3b.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4300183404656 -| mem: 4300000908642}) \ No newline at end of file +({cpu: 207155658 +| mem: 1003398}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/a1b25347409c3993feca1a60b6fcaf93d1d4bbaae19ab06fdf50cedc26cee68d.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/a1b25347409c3993feca1a60b6fcaf93d1d4bbaae19ab06fdf50cedc26cee68d.budget.golden index c48248460dc..fc2e13d953f 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/a1b25347409c3993feca1a60b6fcaf93d1d4bbaae19ab06fdf50cedc26cee68d.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/a1b25347409c3993feca1a60b6fcaf93d1d4bbaae19ab06fdf50cedc26cee68d.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500157066555 -| mem: 3500000767576}) \ No newline at end of file +({cpu: 176214353 +| mem: 843820}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/a27524cfad019df45e4e8316f927346d4cc39da6bdd294fb2c33c3f58e6a8994.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/a27524cfad019df45e4e8316f927346d4cc39da6bdd294fb2c33c3f58e6a8994.budget.golden index e1d927dff14..8b142c45798 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/a27524cfad019df45e4e8316f927346d4cc39da6bdd294fb2c33c3f58e6a8994.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/a27524cfad019df45e4e8316f927346d4cc39da6bdd294fb2c33c3f58e6a8994.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500164822875 -| mem: 3500000802124}) \ No newline at end of file +({cpu: 183970673 +| mem: 878368}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/a6664a2d2a82f370a34a36a45234f6b33120a39372331678a3b3690312560ce9.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/a6664a2d2a82f370a34a36a45234f6b33120a39372331678a3b3690312560ce9.budget.golden index d282a1b7aca..9626c940e26 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/a6664a2d2a82f370a34a36a45234f6b33120a39372331678a3b3690312560ce9.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/a6664a2d2a82f370a34a36a45234f6b33120a39372331678a3b3690312560ce9.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4500206544149 -| mem: 4500001060658}) \ No newline at end of file +({cpu: 231722765 +| mem: 1160806}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/a6f064b83b31032ea7f25921364727224707268e472a569f584cc6b1d8c017e8.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/a6f064b83b31032ea7f25921364727224707268e472a569f584cc6b1d8c017e8.budget.golden index b5688c7d03f..0eb440e7f33 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/a6f064b83b31032ea7f25921364727224707268e472a569f584cc6b1d8c017e8.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/a6f064b83b31032ea7f25921364727224707268e472a569f584cc6b1d8c017e8.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500165984574 -| mem: 3500000808726}) \ No newline at end of file +({cpu: 185132372 +| mem: 884970}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/a7cb09f417c3f089619fe25b7624392026382b458486129efcff18f8912bf302.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/a7cb09f417c3f089619fe25b7624392026382b458486129efcff18f8912bf302.budget.golden index e1d927dff14..8b142c45798 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/a7cb09f417c3f089619fe25b7624392026382b458486129efcff18f8912bf302.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/a7cb09f417c3f089619fe25b7624392026382b458486129efcff18f8912bf302.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500164822875 -| mem: 3500000802124}) \ No newline at end of file +({cpu: 183970673 +| mem: 878368}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/a92b4072cb8601fa697e1150c08463b14ffced54eb963df08d322216e27373cb.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/a92b4072cb8601fa697e1150c08463b14ffced54eb963df08d322216e27373cb.budget.golden index b5688c7d03f..0eb440e7f33 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/a92b4072cb8601fa697e1150c08463b14ffced54eb963df08d322216e27373cb.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/a92b4072cb8601fa697e1150c08463b14ffced54eb963df08d322216e27373cb.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500165984574 -| mem: 3500000808726}) \ No newline at end of file +({cpu: 185132372 +| mem: 884970}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/af2e072b5adfaa7211e0b341e1f7319c4f4e7364a4247c9247132a927e914753.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/af2e072b5adfaa7211e0b341e1f7319c4f4e7364a4247c9247132a927e914753.budget.golden index c498652fc14..4d4480a2a99 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/af2e072b5adfaa7211e0b341e1f7319c4f4e7364a4247c9247132a927e914753.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/af2e072b5adfaa7211e0b341e1f7319c4f4e7364a4247c9247132a927e914753.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4300198224774 -| mem: 4300000997254}) \ No newline at end of file +({cpu: 221975776 +| mem: 1092010}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/b43564af5f13cc5208b92b1ad6d45369446f378d3891e5cb3e353b30d4f3fb10.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/b43564af5f13cc5208b92b1ad6d45369446f378d3891e5cb3e353b30d4f3fb10.budget.golden index b5688c7d03f..0eb440e7f33 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/b43564af5f13cc5208b92b1ad6d45369446f378d3891e5cb3e353b30d4f3fb10.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/b43564af5f13cc5208b92b1ad6d45369446f378d3891e5cb3e353b30d4f3fb10.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500165984574 -| mem: 3500000808726}) \ No newline at end of file +({cpu: 185132372 +| mem: 884970}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/b6243a5b4c353ce4852aa41705111d57867d2783eeef76f6d59beb2360da6e90.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/b6243a5b4c353ce4852aa41705111d57867d2783eeef76f6d59beb2360da6e90.budget.golden index 647016d7988..83712c29809 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/b6243a5b4c353ce4852aa41705111d57867d2783eeef76f6d59beb2360da6e90.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/b6243a5b4c353ce4852aa41705111d57867d2783eeef76f6d59beb2360da6e90.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5300225769396 -| mem: 5300001148694}) \ No newline at end of file +({cpu: 256104842 +| mem: 1268882}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/b869f3928200061abb1c3060425b9354b0e08cbf4400b340b8707c14b34317cd.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/b869f3928200061abb1c3060425b9354b0e08cbf4400b340b8707c14b34317cd.budget.golden index 2611045d4ef..e1f4eb1809f 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/b869f3928200061abb1c3060425b9354b0e08cbf4400b340b8707c14b34317cd.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/b869f3928200061abb1c3060425b9354b0e08cbf4400b340b8707c14b34317cd.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5500253107077 -| mem: 5500001314994}) \ No newline at end of file +({cpu: 285423763 +| mem: 1442102}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/bcdbc576d63b0454100ad06893812edafc2e7e4934fec1b44e2d06eb34f36eb8.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/bcdbc576d63b0454100ad06893812edafc2e7e4934fec1b44e2d06eb34f36eb8.budget.golden index b5688c7d03f..0eb440e7f33 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/bcdbc576d63b0454100ad06893812edafc2e7e4934fec1b44e2d06eb34f36eb8.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/bcdbc576d63b0454100ad06893812edafc2e7e4934fec1b44e2d06eb34f36eb8.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500165984574 -| mem: 3500000808726}) \ No newline at end of file +({cpu: 185132372 +| mem: 884970}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/bd460b7549b70c52e37b312a4242041eac18fe4a266f018bcea0c78a9085a271.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/bd460b7549b70c52e37b312a4242041eac18fe4a266f018bcea0c78a9085a271.budget.golden index 52300995067..ba2e8ad982b 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/bd460b7549b70c52e37b312a4242041eac18fe4a266f018bcea0c78a9085a271.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/bd460b7549b70c52e37b312a4242041eac18fe4a266f018bcea0c78a9085a271.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4300191617398 -| mem: 4300000971202}) \ No newline at end of file +({cpu: 215368400 +| mem: 1065958}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/bd79f4a84db23b7c4cd219d498bd581e085cbc3437957e74a8862281a700700b.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/bd79f4a84db23b7c4cd219d498bd581e085cbc3437957e74a8862281a700700b.budget.golden index c6ec304aa8a..57ac57ee6f7 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/bd79f4a84db23b7c4cd219d498bd581e085cbc3437957e74a8862281a700700b.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/bd79f4a84db23b7c4cd219d498bd581e085cbc3437957e74a8862281a700700b.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4100193313124 -| mem: 4100000968548}) \ No newline at end of file +({cpu: 216190138 +| mem: 1059440}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/c11490431db3a92efdda70933ba411a0423935e73a75c856e326dbcf6672f3bf.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/c11490431db3a92efdda70933ba411a0423935e73a75c856e326dbcf6672f3bf.budget.golden index 17ba6022e0d..3acad6678ec 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/c11490431db3a92efdda70933ba411a0423935e73a75c856e326dbcf6672f3bf.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/c11490431db3a92efdda70933ba411a0423935e73a75c856e326dbcf6672f3bf.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500166448956 -| mem: 3500000810828}) \ No newline at end of file +({cpu: 185596754 +| mem: 887072}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/c4d4c88c5fe378a25a034025994a0d0b1642f10c8e6e513f872327fa895bfc7e.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/c4d4c88c5fe378a25a034025994a0d0b1642f10c8e6e513f872327fa895bfc7e.budget.golden index 15b7e6f5267..76d7e94137b 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/c4d4c88c5fe378a25a034025994a0d0b1642f10c8e6e513f872327fa895bfc7e.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/c4d4c88c5fe378a25a034025994a0d0b1642f10c8e6e513f872327fa895bfc7e.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3900178053900 -| mem: 3900000894234}) \ No newline at end of file +({cpu: 199503300 +| mem: 979734}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/c78eeba7681d2ab51b4758efa4c812cc041928837c6e7563d8283cce67ce2e02.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/c78eeba7681d2ab51b4758efa4c812cc041928837c6e7563d8283cce67ce2e02.budget.golden index b3dc9c3678c..81c9f57db12 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/c78eeba7681d2ab51b4758efa4c812cc041928837c6e7563d8283cce67ce2e02.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/c78eeba7681d2ab51b4758efa4c812cc041928837c6e7563d8283cce67ce2e02.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3900177651928 -| mem: 3900000881468}) \ No newline at end of file +({cpu: 199101328 +| mem: 966968}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/c99ecc2146ce2066ba6dffc734923264f8794815acbc2ec74c2c2c42ba272e4d.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/c99ecc2146ce2066ba6dffc734923264f8794815acbc2ec74c2c2c42ba272e4d.budget.golden index 2ca09ad737f..a9aaec3a9e6 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/c99ecc2146ce2066ba6dffc734923264f8794815acbc2ec74c2c2c42ba272e4d.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/c99ecc2146ce2066ba6dffc734923264f8794815acbc2ec74c2c2c42ba272e4d.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4500207537194 -| mem: 4500001058586}) \ No newline at end of file +({cpu: 232715810 +| mem: 1158734}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/caa409c40e39aed9b0f59214b4baa178c375526dea6026b4552b88d2cc729716.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/caa409c40e39aed9b0f59214b4baa178c375526dea6026b4552b88d2cc729716.budget.golden index 84975d27039..f10ea4cce59 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/caa409c40e39aed9b0f59214b4baa178c375526dea6026b4552b88d2cc729716.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/caa409c40e39aed9b0f59214b4baa178c375526dea6026b4552b88d2cc729716.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500155811252 -| mem: 3500000746522}) \ No newline at end of file +({cpu: 174959050 +| mem: 822766}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/cb2ab8e22d1f64e8d204dece092e90e9bf1fa8b2a6e9cba5012dbe4978065832.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/cb2ab8e22d1f64e8d204dece092e90e9bf1fa8b2a6e9cba5012dbe4978065832.budget.golden index 17ba6022e0d..3acad6678ec 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/cb2ab8e22d1f64e8d204dece092e90e9bf1fa8b2a6e9cba5012dbe4978065832.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/cb2ab8e22d1f64e8d204dece092e90e9bf1fa8b2a6e9cba5012dbe4978065832.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500166448956 -| mem: 3500000810828}) \ No newline at end of file +({cpu: 185596754 +| mem: 887072}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/cc1e82927f6c65b3e912200ae30588793d2066e1d4a6627c21955944ac9bd528.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/cc1e82927f6c65b3e912200ae30588793d2066e1d4a6627c21955944ac9bd528.budget.golden index 158ca458118..658af2d9dbe 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/cc1e82927f6c65b3e912200ae30588793d2066e1d4a6627c21955944ac9bd528.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/cc1e82927f6c65b3e912200ae30588793d2066e1d4a6627c21955944ac9bd528.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4300187442938 -| mem: 4300000926508}) \ No newline at end of file +({cpu: 211747566 +| mem: 1022792}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/d5cda74eb0947e025e02fb8ed365df39d0a43e4b42cd3573ac2d8fcb29115997.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/d5cda74eb0947e025e02fb8ed365df39d0a43e4b42cd3573ac2d8fcb29115997.budget.golden index 27857a154e4..3fcc2f2c4f3 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/d5cda74eb0947e025e02fb8ed365df39d0a43e4b42cd3573ac2d8fcb29115997.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/d5cda74eb0947e025e02fb8ed365df39d0a43e4b42cd3573ac2d8fcb29115997.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4100183139802 -| mem: 4100000906344}) \ No newline at end of file +({cpu: 206016816 +| mem: 997236}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/d6bc8ac4155e22300085784148bbc9d9bbfea896e1009dd396610a90e3943032.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/d6bc8ac4155e22300085784148bbc9d9bbfea896e1009dd396610a90e3943032.budget.golden index 52300995067..ba2e8ad982b 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/d6bc8ac4155e22300085784148bbc9d9bbfea896e1009dd396610a90e3943032.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/d6bc8ac4155e22300085784148bbc9d9bbfea896e1009dd396610a90e3943032.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4300191617398 -| mem: 4300000971202}) \ No newline at end of file +({cpu: 215368400 +| mem: 1065958}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/da353bf9219801fa1bf703fc161497570954e9af7e10ffe95c911a9ef97e77bd.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/da353bf9219801fa1bf703fc161497570954e9af7e10ffe95c911a9ef97e77bd.budget.golden index 685952848ce..1e1ab0fc75a 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/da353bf9219801fa1bf703fc161497570954e9af7e10ffe95c911a9ef97e77bd.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/da353bf9219801fa1bf703fc161497570954e9af7e10ffe95c911a9ef97e77bd.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3700171817292 -| mem: 3700000851546}) \ No newline at end of file +({cpu: 192392704 +| mem: 933182}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/dc45c5f1b700b1334db99f50823321daaef0e6925b9b2fabbc9df7cde65af62e.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/dc45c5f1b700b1334db99f50823321daaef0e6925b9b2fabbc9df7cde65af62e.budget.golden index 157a8ad6b2b..c3b45d905e3 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/dc45c5f1b700b1334db99f50823321daaef0e6925b9b2fabbc9df7cde65af62e.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/dc45c5f1b700b1334db99f50823321daaef0e6925b9b2fabbc9df7cde65af62e.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3700172535214 -| mem: 3700000844486}) \ No newline at end of file +({cpu: 193110626 +| mem: 926122}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/df487b2fd5c1583fa33644423849bc1ab5f02f37edc0c235f34ef01cb12604f6.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/df487b2fd5c1583fa33644423849bc1ab5f02f37edc0c235f34ef01cb12604f6.budget.golden index e94fa157b7d..c65caa0a315 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/df487b2fd5c1583fa33644423849bc1ab5f02f37edc0c235f34ef01cb12604f6.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/df487b2fd5c1583fa33644423849bc1ab5f02f37edc0c235f34ef01cb12604f6.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3700172999596 -| mem: 3700000846588}) \ No newline at end of file +({cpu: 193575008 +| mem: 928224}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/eabeeae18131af89fa57936c0e9eb8d2c7adba534f7e1a517d75410028fa0d6c.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/eabeeae18131af89fa57936c0e9eb8d2c7adba534f7e1a517d75410028fa0d6c.budget.golden index b5688c7d03f..0eb440e7f33 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/eabeeae18131af89fa57936c0e9eb8d2c7adba534f7e1a517d75410028fa0d6c.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/eabeeae18131af89fa57936c0e9eb8d2c7adba534f7e1a517d75410028fa0d6c.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500165984574 -| mem: 3500000808726}) \ No newline at end of file +({cpu: 185132372 +| mem: 884970}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/ec4712ee820eb959a43ebedfab6735f2325fa52994747526ffd2a4f4f84dd58e.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/ec4712ee820eb959a43ebedfab6735f2325fa52994747526ffd2a4f4f84dd58e.budget.golden index 8f6a00b7b8e..fe801200cce 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/ec4712ee820eb959a43ebedfab6735f2325fa52994747526ffd2a4f4f84dd58e.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/ec4712ee820eb959a43ebedfab6735f2325fa52994747526ffd2a4f4f84dd58e.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4100190778419 -| mem: 4100000946910}) \ No newline at end of file +({cpu: 214209059 +| mem: 1039330}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/ee3962fbd7373360f46decef3c9bda536a0b1daf6cda3b8a4bcfd6deeb5b4c53.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/ee3962fbd7373360f46decef3c9bda536a0b1daf6cda3b8a4bcfd6deeb5b4c53.budget.golden index c6ec304aa8a..57ac57ee6f7 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/ee3962fbd7373360f46decef3c9bda536a0b1daf6cda3b8a4bcfd6deeb5b4c53.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/ee3962fbd7373360f46decef3c9bda536a0b1daf6cda3b8a4bcfd6deeb5b4c53.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4100193313124 -| mem: 4100000968548}) \ No newline at end of file +({cpu: 216190138 +| mem: 1059440}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/f1a1e6a487f91feca5606f72bbb1e948c71abf043c6a0ea83bfea9ec6a0f08d8.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/f1a1e6a487f91feca5606f72bbb1e948c71abf043c6a0ea83bfea9ec6a0f08d8.budget.golden index e1d927dff14..8b142c45798 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/f1a1e6a487f91feca5606f72bbb1e948c71abf043c6a0ea83bfea9ec6a0f08d8.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/f1a1e6a487f91feca5606f72bbb1e948c71abf043c6a0ea83bfea9ec6a0f08d8.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500164822875 -| mem: 3500000802124}) \ No newline at end of file +({cpu: 183970673 +| mem: 878368}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/f2932e4ca4bbb94b0a9ffbe95fcb7bd5639d9751d75d56d5e14efa5bbed981df.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/f2932e4ca4bbb94b0a9ffbe95fcb7bd5639d9751d75d56d5e14efa5bbed981df.budget.golden index f0b3d3e9aa6..b84a76e9570 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/f2932e4ca4bbb94b0a9ffbe95fcb7bd5639d9751d75d56d5e14efa5bbed981df.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/f2932e4ca4bbb94b0a9ffbe95fcb7bd5639d9751d75d56d5e14efa5bbed981df.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500162680886 -| mem: 3500000795700}) \ No newline at end of file +({cpu: 181828684 +| mem: 871944}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/f53e8cafe26647ccce51e4c31db13608aea1f39034c0f52dee2e5634ef66e747.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/f53e8cafe26647ccce51e4c31db13608aea1f39034c0f52dee2e5634ef66e747.budget.golden index 2bc9a4ba8ca..b2575c7c0fe 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/f53e8cafe26647ccce51e4c31db13608aea1f39034c0f52dee2e5634ef66e747.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/f53e8cafe26647ccce51e4c31db13608aea1f39034c0f52dee2e5634ef66e747.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3900180955616 -| mem: 3900000894494}) \ No newline at end of file +({cpu: 202405016 +| mem: 979994}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/f7275afb60e33a550df13a132102e7e925dd28965a4efbe510a89b077ff9417f.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/f7275afb60e33a550df13a132102e7e925dd28965a4efbe510a89b077ff9417f.budget.golden index b5688c7d03f..0eb440e7f33 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/f7275afb60e33a550df13a132102e7e925dd28965a4efbe510a89b077ff9417f.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/f7275afb60e33a550df13a132102e7e925dd28965a4efbe510a89b077ff9417f.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3500165984574 -| mem: 3500000808726}) \ No newline at end of file +({cpu: 185132372 +| mem: 884970}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/fc8c5f45ffcdb024c21e0f34b22c23de8045a94d5e1a5bda1555c45ddb059f82.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/fc8c5f45ffcdb024c21e0f34b22c23de8045a94d5e1a5bda1555c45ddb059f82.budget.golden index 24aa09ca40d..6496923adfb 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/fc8c5f45ffcdb024c21e0f34b22c23de8045a94d5e1a5bda1555c45ddb059f82.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/fc8c5f45ffcdb024c21e0f34b22c23de8045a94d5e1a5bda1555c45ddb059f82.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3700173474723 -| mem: 3700000850386}) \ No newline at end of file +({cpu: 194050135 +| mem: 932022}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/ff38b1ec89952d0247630f107a90cbbeb92ecbfcd19b284f60255718e4ec7548.budget.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/ff38b1ec89952d0247630f107a90cbbeb92ecbfcd19b284f60255718e4ec7548.budget.golden index f6a2d1047d9..89ca1f0640f 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/ff38b1ec89952d0247630f107a90cbbeb92ecbfcd19b284f60255718e4ec7548.budget.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/ff38b1ec89952d0247630f107a90cbbeb92ecbfcd19b284f60255718e4ec7548.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4300200816028 -| mem: 4300001008314}) \ No newline at end of file +({cpu: 225120656 +| mem: 1104598}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/role-payout/9.6/role-payout.size.golden b/plutus-benchmark/marlowe/test/role-payout/9.6/role-payout.size.golden index 349d9a0b549..bf3b63f2e21 100644 --- a/plutus-benchmark/marlowe/test/role-payout/9.6/role-payout.size.golden +++ b/plutus-benchmark/marlowe/test/role-payout/9.6/role-payout.size.golden @@ -1 +1 @@ -2967 \ No newline at end of file +3069 \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0000020002010200020101020201000100010001020101020201010000020102.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0000020002010200020101020201000100010001020101020201010000020102.budget.golden index 9182049174f..3e9da0441c2 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0000020002010200020101020201000100010001020101020201010000020102.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0000020002010200020101020201000100010001020101020201010000020102.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5300269729599 -| mem: 5300001368517}) \ No newline at end of file +({cpu: 296480915 +| mem: 1475965}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0001000101000000010101000001000001010101010100000001000001010000.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0001000101000000010101000001000001010101010100000001000001010000.budget.golden index 3f6c84015a3..3717160eb9e 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0001000101000000010101000001000001010101010100000001000001010000.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0001000101000000010101000001000001010101010100000001000001010000.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5700385353869 -| mem: 5700001684376}) \ No newline at end of file +({cpu: 416680478 +| mem: 1808528}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0003040402030103010203030303000200000104030002040304020400000102.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0003040402030103010203030303000200000104030002040304020400000102.budget.golden index 27a0515cd6f..739cb39a7ab 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0003040402030103010203030303000200000104030002040304020400000102.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0003040402030103010203030303000200000104030002040304020400000102.budget.golden @@ -1,2 +1,2 @@ -({cpu: 10400934412863 -| mem: 10400004915226}) \ No newline at end of file +({cpu: 992009702 +| mem: 5142818}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.budget.golden index f43282d36a7..bce583a3fd6 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/004025fd712d6c325ffa12c16d157064192992faf62e0b991d7310a2f91666b8.budget.golden @@ -1,2 +1,2 @@ -({cpu: 11000694957613 -| mem: 11000003313381}) \ No newline at end of file +({cpu: 755538042 +| mem: 3552893}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0101010001010101010101000100010100000001010000010001000001000101.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0101010001010101010101000100010100000001010000010001000001000101.budget.golden index 346ccc4369c..c0748244fbf 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0101010001010101010101000100010100000001010000010001000001000101.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0101010001010101010101000100010100000001010000010001000001000101.budget.golden @@ -1,2 +1,2 @@ -({cpu: 8200813258691 -| mem: 8200002378124}) \ No newline at end of file +({cpu: 855609402 +| mem: 2547332}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0101020201010201010200010102000201000201010102000102010201010000.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0101020201010201010200010102000201000201010102000102010201010000.budget.golden index 285e4e421d3..a043a4a6578 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0101020201010201010200010102000201000201010102000102010201010000.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0101020201010201010200010102000201000201010102000102010201010000.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5100251503668 -| mem: 5100001283467}) \ No newline at end of file +({cpu: 276827370 +| mem: 1385523}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0101080808040600020306010000000302050807010208060100070207080202.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0101080808040600020306010000000302050807010208060100070207080202.budget.golden index be86756e242..70d3845cc60 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0101080808040600020306010000000302050807010208060100070207080202.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0101080808040600020306010000000302050807010208060100070207080202.budget.golden @@ -1,2 +1,2 @@ -({cpu: 9500689960240 -| mem: 9500003420138}) \ No newline at end of file +({cpu: 744705759 +| mem: 3635170}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0104010200020000040103020102020004040300030304040400010301040303.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0104010200020000040103020102020004040300030304040400010301040303.budget.golden index 358b45c65ae..7e778dd29c0 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0104010200020000040103020102020004040300030304040400010301040303.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0104010200020000040103020102020004040300030304040400010301040303.budget.golden @@ -1,2 +1,2 @@ -({cpu: 10900671396040 -| mem: 10900003427841}) \ No newline at end of file +({cpu: 730421036 +| mem: 3661329}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.budget.golden index ffd7e54162f..9008570cdd2 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/04000f0b04051006000e060f09080d0b090d0104050a0b0f0506070f0a070008.budget.golden @@ -1,2 +1,2 @@ -({cpu: 11300632622595 -| mem: 11300003091479}) \ No newline at end of file +({cpu: 697293323 +| mem: 3345463}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.budget.golden index 585163ee723..78fe68a9033 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0543a00ba1f63076c1db6bf94c6ff13ae7d266dd7544678743890b0e8e1add63.budget.golden @@ -1,2 +1,2 @@ -({cpu: 21000908144659 -| mem: 21000004318421}) \ No newline at end of file +({cpu: 1036569658 +| mem: 4815093}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0705030002040601010206030604080208020207000101060706050502040301.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0705030002040601010206030604080208020207000101060706050502040301.budget.golden index 437f0a8b127..13eb5e538e2 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0705030002040601010206030604080208020207000101060706050502040301.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0705030002040601010206030604080208020207000101060706050502040301.budget.golden @@ -1,2 +1,2 @@ -({cpu: 20000886542270 -| mem: 20000003951794}) \ No newline at end of file +({cpu: 1011269329 +| mem: 4433346}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.budget.golden index 0fcc9b04288..69334724ba9 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/07070c070510030509010e050d00040907050e0a0d06030f1006030701020607.budget.golden @@ -1,2 +1,2 @@ -({cpu: 11700916511660 -| mem: 11700004639623}) \ No newline at end of file +({cpu: 979623047 +| mem: 4889359}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.budget.golden index cbab1479789..78893da55fc 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0bcfd9487614104ec48de2ea0b2c0979866a95115748c026f9ec129384c262c4.budget.golden @@ -1,2 +1,2 @@ -({cpu: 16000997681997 -| mem: 16000005036945}) \ No newline at end of file +({cpu: 1089261394 +| mem: 5395461}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.budget.golden index 00798a4003a..72badefe7d0 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0be82588e4e4bf2ef428d2f44b7687bbb703031d8de696d90ec789e70d6bc1d8.budget.golden @@ -1,2 +1,2 @@ -({cpu: 14401241974093 -| mem: 14400006128782}) \ No newline at end of file +({cpu: 1324502269 +| mem: 6452210}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.budget.golden index 910548c1634..047a23b1b2a 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/0f1d0110001b121d051e15140c0c05141d151c1f1d201c040f10091b020a0e1a.budget.golden @@ -1,2 +1,2 @@ -({cpu: 7000409374155 -| mem: 7000002103615}) \ No newline at end of file +({cpu: 445661686 +| mem: 2248383}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.budget.golden index 10be9ef8207..cc19f95389c 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/119fbea4164e2bf21d2b53aa6c2c4e79414fe55e4096f5ce2e804735a7fbaf91.budget.golden @@ -1,2 +1,2 @@ -({cpu: 11000645450012 -| mem: 11000003236099}) \ No newline at end of file +({cpu: 706030441 +| mem: 3475611}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.budget.golden index f6649c61cba..21df5b8bbea 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/12910f24d994d451ff379b12c9d1ecdb9239c9b87e5d7bea570087ec506935d5.budget.golden @@ -1,2 +1,2 @@ -({cpu: 8000422304106 -| mem: 8000002169611}) \ No newline at end of file +({cpu: 465452894 +| mem: 2340575}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.budget.golden index b778e23df9a..a1354af2837 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/18cefc240debc0fcab14efdd451adfd02793093efe7bc76d6322aed6ddb582ad.budget.golden @@ -1,2 +1,2 @@ -({cpu: 9500656056499 -| mem: 9500003320147}) \ No newline at end of file +({cpu: 706062636 +| mem: 3519083}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.budget.golden index 1fe52dc8ab1..1e611402712 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/1a2f2540121f09321216090b2b1f211e3f020c2c133a1a3c3f3c232a26153a04.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5100253949608 -| mem: 5100001289769}) \ No newline at end of file +({cpu: 279273310 +| mem: 1391825}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.budget.golden index 010eed93389..90087aa6ed5 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/1a573aed5c46d637919ccb5548dfc22a55c9fc38298d567d15ee9f2eea69d89e.budget.golden @@ -1,2 +1,2 @@ -({cpu: 8700826683834 -| mem: 8700004035452}) \ No newline at end of file +({cpu: 875298084 +| mem: 4227252}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.budget.golden index 72a0ea2db72..279e0dc4e2b 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/1d56060c3b271226064c672a282663643b1b0823471c67737f0b076870331260.budget.golden @@ -1,2 +1,2 @@ -({cpu: 11300663541314 -| mem: 11300003089425}) \ No newline at end of file +({cpu: 728212042 +| mem: 3343409}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.budget.golden index d0af92ac942..a50c83cbab2 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/1d6e3c137149a440f35e0efc685b16bfb8052ebcf66ec4ad77e51c11501381c7.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5100254004166 -| mem: 5100001289769}) \ No newline at end of file +({cpu: 279327868 +| mem: 1391825}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.budget.golden index 7622c5606ae..24ad691e697 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/1f0f02191604101e1f201016171604060d010d1d1c150e110a110e1006160a0d.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4600940903746 -| mem: 4600001234730}) \ No newline at end of file +({cpu: 964932104 +| mem: 1330754}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.budget.golden index 3d11f120933..1e8bdbfc667 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/202d273721330b31193405101e0637202e2a0f1140211c3e3f171e26312b0220.budget.golden @@ -1,2 +1,2 @@ -({cpu: 6103848582903 -| mem: 6100001633438}) \ No newline at end of file +({cpu: 3877242919 +| mem: 1750286}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.budget.golden index c54d9ee978f..7d752eb24d9 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/21953bf8798b28df60cb459db24843fb46782b19ba72dc4951941fb4c20d2263.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4900309924528 -| mem: 4900001554066}) \ No newline at end of file +({cpu: 335540681 +| mem: 1656650}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.budget.golden index 285e4e421d3..a043a4a6578 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/238b21364ab5bdae3ddb514d7001c8feba128b4ddcf426852b441f9a9d02c882.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5100251503668 -| mem: 5100001283467}) \ No newline at end of file +({cpu: 276827370 +| mem: 1385523}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.budget.golden index f9023375c32..38ba86c72b1 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/26e24ee631a6d927ea4fb4fac530cfd82ff7636986014de2d2aaa460ddde0bc3.budget.golden @@ -1,2 +1,2 @@ -({cpu: 6200484481675 -| mem: 6200002506846}) \ No newline at end of file +({cpu: 516550002 +| mem: 2635502}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.budget.golden index bc545e68a39..9cc5abfd196 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/2797d7ac77c1b6aff8e42cf9a47fa86b1e60f22719a996871ad412cbe4de78b5.budget.golden @@ -1,2 +1,2 @@ -({cpu: 6401735191639 -| mem: 6400001627242}) \ No newline at end of file +({cpu: 1766738702 +| mem: 1754906}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.budget.golden index 2a46c96f624..ae585d1ca7b 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/28fdce478e179db0e38fb5f3f4105e940ece450b9ce8a0f42a6e313b752e6f2c.budget.golden @@ -1,2 +1,2 @@ -({cpu: 13800787408295 -| mem: 13800003014952}) \ No newline at end of file +({cpu: 868071320 +| mem: 3330552}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.budget.golden index 28748adbdff..d9ca84816a4 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/2cb21612178a2d9336b59d06cbf80488577463d209a453048a66c6eee624a695.budget.golden @@ -1,2 +1,2 @@ -({cpu: 11000679978925 -| mem: 11000003478111}) \ No newline at end of file +({cpu: 739717728 +| mem: 3714295}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.budget.golden index c14c3269a9e..2c1f8c60bd1 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/2f58c9d884813042bce9cf7c66048767dff166785e8b5183c8139db2aa7312d1.budget.golden @@ -1,2 +1,2 @@ -({cpu: 8300683089410 -| mem: 8300003234084}) \ No newline at end of file +({cpu: 729269245 +| mem: 3416764}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.budget.golden index f9f620bcda6..852bade23ff 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/30aa34dfbe89e0c43f569929a96c0d2b74c321d13fec0375606325eee9a34a6a.budget.golden @@ -1,2 +1,2 @@ -({cpu: 11501040189969 -| mem: 11500005366512}) \ No newline at end of file +({cpu: 1103689807 +| mem: 5617376}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.budget.golden index 1fe52dc8ab1..1e611402712 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/322acde099bc34a929182d5b894214fc87ec88446e2d10625119a9d17fa3ec3d.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5100253949608 -| mem: 5100001289769}) \ No newline at end of file +({cpu: 279273310 +| mem: 1391825}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.budget.golden index 39d80a3ecc4..acd4fc5c4b8 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/331e4a1bb30f28d7073c54f9a13c10ae19e2e396c299a0ce101ee6bf4b2020db.budget.golden @@ -1,2 +1,2 @@ -({cpu: 6900397882498 -| mem: 6900002046395}) \ No newline at end of file +({cpu: 433456222 +| mem: 2188467}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.budget.golden index f7ad0f824b5..a944ba9922e 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/33c3efd79d9234a78262b52bc6bbf8124cb321a467dedb278328215167eca455.budget.golden @@ -1,2 +1,2 @@ -({cpu: 7700546439627 -| mem: 7700002810884}) \ No newline at end of file +({cpu: 588336620 +| mem: 2977388}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.budget.golden index c88203b66ae..9c24db4ad0e 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/383683bfcecdab0f4df507f59631c702bd11a81ca3841f47f37633e8aacbb5de.budget.golden @@ -1,2 +1,2 @@ -({cpu: 9400658295576 -| mem: 9400003267648}) \ No newline at end of file +({cpu: 710149597 +| mem: 3473136}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.budget.golden index 285e4e421d3..a043a4a6578 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/3bb75b2e53eb13f718eacd3263ab4535f9137fabffc9de499a0de7cabb335479.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5100251503668 -| mem: 5100001283467}) \ No newline at end of file +({cpu: 276827370 +| mem: 1385523}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.budget.golden index e03ca68495b..93aa7aaf70c 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/3db496e6cd39a8b888a89d0de07dace4397878958cab3b9d9353978b08c36d8a.budget.golden @@ -1,2 +1,2 @@ -({cpu: 12800701984571 -| mem: 12800003425632}) \ No newline at end of file +({cpu: 774667900 +| mem: 3710944}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.budget.golden index 285e4e421d3..a043a4a6578 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/44a9e339fa25948b48637fe7e10dcfc6d1256319a7b5ce4202cb54dfef8e37e7.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5100251503668 -| mem: 5100001283467}) \ No newline at end of file +({cpu: 276827370 +| mem: 1385523}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.budget.golden index f9e1fbdc95f..6f3203388e5 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/4c3efd13b6c69112a8a888372d56c86e60c232125976f29b1c3e21d9f537845c.budget.golden @@ -1,2 +1,2 @@ -({cpu: 12300921242484 -| mem: 12300004711845}) \ No newline at end of file +({cpu: 988359900 +| mem: 4976993}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.budget.golden index 3ef783ad590..99ae5abcfef 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/4d7adf91bfc93cebe95a7e054ec17cfbb912b32bd8aecb48a228b50e02b055c8.budget.golden @@ -1,2 +1,2 @@ -({cpu: 10300599030297 -| mem: 10300003070733}) \ No newline at end of file +({cpu: 655167703 +| mem: 3292901}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.budget.golden index 9962e6efb25..f297f96757b 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/4f9e8d361b85e62db2350dd3ae77463540e7af0d28e1eb68faeecc45f4655f57.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5000347995265 -| mem: 5000001582912}) \ No newline at end of file +({cpu: 374325225 +| mem: 1688192}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.budget.golden index 9ce095e884c..73f7c557e0b 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/52df7c8dfaa5f801cd837faa65f2fd333665fff00a555ce8c55e36ddc003007a.budget.golden @@ -1,2 +1,2 @@ -({cpu: 6900300638403 -| mem: 6900001504403}) \ No newline at end of file +({cpu: 338810631 +| mem: 1654987}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.budget.golden index ea2a73a87a1..2b091f867c3 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/53ed4db7ab33d6f907eec91a861d1188269be5ae1892d07ee71161bfb55a7cb7.budget.golden @@ -1,2 +1,2 @@ -({cpu: 6900308181905 -| mem: 6900001538869}) \ No newline at end of file +({cpu: 346354133 +| mem: 1689453}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.budget.golden index 285e4e421d3..a043a4a6578 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/55dfe42688ad683b638df1fa7700219f00f53b335a85a2825502ab1e0687197e.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5100251503668 -| mem: 5100001283467}) \ No newline at end of file +({cpu: 276827370 +| mem: 1385523}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.budget.golden index 9ca14eba612..ec114ab77d4 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/56333d4e413dbf1a665463bf68067f63c118f38f7539b7ba7167d577c0c8b8ce.budget.golden @@ -1,2 +1,2 @@ -({cpu: 8100697212589 -| mem: 8100003602236}) \ No newline at end of file +({cpu: 741543997 +| mem: 3777860}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.budget.golden index 285e4e421d3..a043a4a6578 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/57728d8b19b0e06412786f3dfed9e1894cd0ad1d2bc2bd497ec0ecb68f989d2b.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5100251503668 -| mem: 5100001283467}) \ No newline at end of file +({cpu: 276827370 +| mem: 1385523}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.budget.golden index 387160b5f21..9d866eb18b1 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5abae75af26f45658beccbe48f7c88e74efdfc0b8409ba1e98f95fa5b6caf999.budget.golden @@ -1,2 +1,2 @@ -({cpu: 7300420776227 -| mem: 7300002160975}) \ No newline at end of file +({cpu: 458928366 +| mem: 2313067}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.budget.golden index 33ec8e2b5dc..cac02e626eb 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5d0a88250f13c49c20e146819357a808911c878a0e0a7d6f7fe1d4a619e06112.budget.golden @@ -1,2 +1,2 @@ -({cpu: 17500902899603 -| mem: 17500004441919}) \ No newline at end of file +({cpu: 1006112544 +| mem: 4843767}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.budget.golden index 4f368295e2a..a36301dca58 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5e274e0f593511543d41570a4b03646c1d7539062b5728182e073e5760561a66.budget.golden @@ -1,2 +1,2 @@ -({cpu: 12000903266193 -| mem: 12000004523633}) \ No newline at end of file +({cpu: 969541440 +| mem: 4784949}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.budget.golden index c6e52314a4d..80ca99ea0cd 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5e2c68ac9f62580d626636679679b97109109df7ac1a8ce86d3e43dfb5e4f6bc.budget.golden @@ -1,2 +1,2 @@ -({cpu: 7300450183756 -| mem: 7300002270513}) \ No newline at end of file +({cpu: 488335895 +| mem: 2422605}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.budget.golden index 1fe52dc8ab1..1e611402712 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5f130d19918807b60eab4c03119d67878fb6c6712c28c54f5a25792049294acc.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5100253949608 -| mem: 5100001289769}) \ No newline at end of file +({cpu: 279273310 +| mem: 1391825}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.budget.golden index 30f579c7e99..cc352c04146 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5f306b4b24ff2b39dab6cdc9ac6ca9bb442c1dc6f4e7e412eeb5a3ced42fb642.budget.golden @@ -1,2 +1,2 @@ -({cpu: 9400656991570 -| mem: 9400003338628}) \ No newline at end of file +({cpu: 708845591 +| mem: 3544116}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/5f3d46c57a56cef6764f96c9de9677ac6e494dd7a4e368d1c8dd9c1f7a4309a5.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/5f3d46c57a56cef6764f96c9de9677ac6e494dd7a4e368d1c8dd9c1f7a4309a5.budget.golden index 0f5e37b2c36..a538d3831c1 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/5f3d46c57a56cef6764f96c9de9677ac6e494dd7a4e368d1c8dd9c1f7a4309a5.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/5f3d46c57a56cef6764f96c9de9677ac6e494dd7a4e368d1c8dd9c1f7a4309a5.budget.golden @@ -1,2 +1,2 @@ -({cpu: 7500421585783 -| mem: 7500002166375}) \ No newline at end of file +({cpu: 461165536 +| mem: 2323859}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/64c3d5b43f005855ffc4d0950a02fd159aa1575294ea39061b81a194ebb9eaae.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/64c3d5b43f005855ffc4d0950a02fd159aa1575294ea39061b81a194ebb9eaae.budget.golden index 427c31fb728..a0db3f58f68 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/64c3d5b43f005855ffc4d0950a02fd159aa1575294ea39061b81a194ebb9eaae.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/64c3d5b43f005855ffc4d0950a02fd159aa1575294ea39061b81a194ebb9eaae.budget.golden @@ -1,2 +1,2 @@ -({cpu: 8800577592973 -| mem: 8800002962150}) \ No newline at end of file +({cpu: 627113030 +| mem: 3157846}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e.budget.golden index bbe638a6bad..cd02ab77aed 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/65bc4b69b46d18fdff0fadbf00dd5ec2b3e03805fac9d5fb4ff2d3066e53fc7e.budget.golden @@ -1,2 +1,2 @@ -({cpu: 7002120384500 -| mem: 7000001785178}) \ No newline at end of file +({cpu: 2155468779 +| mem: 1926290}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/66af9e473d75e3f464971f6879cc0f2ef84bafcb38fbfa1dbc31ac2053628a38.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/66af9e473d75e3f464971f6879cc0f2ef84bafcb38fbfa1dbc31ac2053628a38.budget.golden index 0f1fe784acf..e69923aea8e 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/66af9e473d75e3f464971f6879cc0f2ef84bafcb38fbfa1dbc31ac2053628a38.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/66af9e473d75e3f464971f6879cc0f2ef84bafcb38fbfa1dbc31ac2053628a38.budget.golden @@ -1,2 +1,2 @@ -({cpu: 22401091288672 -| mem: 22400004676902}) \ No newline at end of file +({cpu: 1232593473 +| mem: 5221630}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/675d63836cad11b547d1b4cddd498f04c919d4342612accf40913f9ae9419fac.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/675d63836cad11b547d1b4cddd498f04c919d4342612accf40913f9ae9419fac.budget.golden index 424954db8f6..605a65b71b5 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/675d63836cad11b547d1b4cddd498f04c919d4342612accf40913f9ae9419fac.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/675d63836cad11b547d1b4cddd498f04c919d4342612accf40913f9ae9419fac.budget.golden @@ -1,2 +1,2 @@ -({cpu: 12200934949492 -| mem: 12200004745101}) \ No newline at end of file +({cpu: 1001353101 +| mem: 5007553}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/67ba5a9a0245ee3aff4f34852b9889b8c810fccd3dce2a23910bddd35c503b71.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/67ba5a9a0245ee3aff4f34852b9889b8c810fccd3dce2a23910bddd35c503b71.budget.golden index 3d11f120933..1e8bdbfc667 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/67ba5a9a0245ee3aff4f34852b9889b8c810fccd3dce2a23910bddd35c503b71.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/67ba5a9a0245ee3aff4f34852b9889b8c810fccd3dce2a23910bddd35c503b71.budget.golden @@ -1,2 +1,2 @@ -({cpu: 6103848582903 -| mem: 6100001633438}) \ No newline at end of file +({cpu: 3877242919 +| mem: 1750286}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/6d88f7294dd2b5ce02c3dc609bc7715bd508009738401d264bf9b3eb7c6f49c1.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/6d88f7294dd2b5ce02c3dc609bc7715bd508009738401d264bf9b3eb7c6f49c1.budget.golden index 2de0a1dffdc..10ff3fb7383 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/6d88f7294dd2b5ce02c3dc609bc7715bd508009738401d264bf9b3eb7c6f49c1.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/6d88f7294dd2b5ce02c3dc609bc7715bd508009738401d264bf9b3eb7c6f49c1.budget.golden @@ -1,2 +1,2 @@ -({cpu: 7300423167723 -| mem: 7300002167277}) \ No newline at end of file +({cpu: 461319862 +| mem: 2319369}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/70f65b21b77ddb451f3df9d9fb403ced3d10e1e953867cc4900cc25e5b9dec47.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/70f65b21b77ddb451f3df9d9fb403ced3d10e1e953867cc4900cc25e5b9dec47.budget.golden index 79c0eb0d913..afdf61126cc 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/70f65b21b77ddb451f3df9d9fb403ced3d10e1e953867cc4900cc25e5b9dec47.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/70f65b21b77ddb451f3df9d9fb403ced3d10e1e953867cc4900cc25e5b9dec47.budget.golden @@ -1,2 +1,2 @@ -({cpu: 11000667306199 -| mem: 11000003290099}) \ No newline at end of file +({cpu: 727886628 +| mem: 3529611}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/71965c9ccae31f1ffc1d85aa20a356d4ed97a420954018d8301ec4f9783be0d7.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/71965c9ccae31f1ffc1d85aa20a356d4ed97a420954018d8301ec4f9783be0d7.budget.golden index 9b2c43b8d84..d2a9782ac6f 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/71965c9ccae31f1ffc1d85aa20a356d4ed97a420954018d8301ec4f9783be0d7.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/71965c9ccae31f1ffc1d85aa20a356d4ed97a420954018d8301ec4f9783be0d7.budget.golden @@ -1,2 +1,2 @@ -({cpu: 7000411874653 -| mem: 7000002109917}) \ No newline at end of file +({cpu: 448162184 +| mem: 2254685}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/74c67f2f182b9a0a66c62b95d6fac5ace3f7e71ea3abfc52ffbe3ecb93436ea2.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/74c67f2f182b9a0a66c62b95d6fac5ace3f7e71ea3abfc52ffbe3ecb93436ea2.budget.golden index 90e74ae17ee..7da69dc6020 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/74c67f2f182b9a0a66c62b95d6fac5ace3f7e71ea3abfc52ffbe3ecb93436ea2.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/74c67f2f182b9a0a66c62b95d6fac5ace3f7e71ea3abfc52ffbe3ecb93436ea2.budget.golden @@ -1,2 +1,2 @@ -({cpu: 9500704376734 -| mem: 9500003573438}) \ No newline at end of file +({cpu: 758424627 +| mem: 3786042}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/7529b206a78becb793da74b78c04d9d33a2540a1abd79718e681228f4057403a.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/7529b206a78becb793da74b78c04d9d33a2540a1abd79718e681228f4057403a.budget.golden index 82316e99cbd..d53813dd02a 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/7529b206a78becb793da74b78c04d9d33a2540a1abd79718e681228f4057403a.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/7529b206a78becb793da74b78c04d9d33a2540a1abd79718e681228f4057403a.budget.golden @@ -1,2 +1,2 @@ -({cpu: 9600710260749 -| mem: 9600003695136}) \ No newline at end of file +({cpu: 765022449 +| mem: 3910436}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/75a8bb183688bce447e00f435a144c835435e40a5defc6f3b9be68b70b4a3db6.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/75a8bb183688bce447e00f435a144c835435e40a5defc6f3b9be68b70b4a3db6.budget.golden index 946eda75272..1f5b0f3aa34 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/75a8bb183688bce447e00f435a144c835435e40a5defc6f3b9be68b70b4a3db6.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/75a8bb183688bce447e00f435a144c835435e40a5defc6f3b9be68b70b4a3db6.budget.golden @@ -1,2 +1,2 @@ -({cpu: 10300596944045 -| mem: 10300003059057}) \ No newline at end of file +({cpu: 653081451 +| mem: 3281225}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/7a758e17486d1a30462c32a5d5309bd1e98322a9dcbe277c143ed3aede9d265f.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/7a758e17486d1a30462c32a5d5309bd1e98322a9dcbe277c143ed3aede9d265f.budget.golden index 9219c282cec..0f21813b7cd 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/7a758e17486d1a30462c32a5d5309bd1e98322a9dcbe277c143ed3aede9d265f.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/7a758e17486d1a30462c32a5d5309bd1e98322a9dcbe277c143ed3aede9d265f.budget.golden @@ -1,2 +1,2 @@ -({cpu: 8300420449854 -| mem: 8300002051474}) \ No newline at end of file +({cpu: 464259998 +| mem: 2226106}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/7cbc5644b745f4ea635aca42cce5e4a4b9d2e61afdb3ac18128e1688c07071ba.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/7cbc5644b745f4ea635aca42cce5e4a4b9d2e61afdb3ac18128e1688c07071ba.budget.golden index 80397673ace..85b7546fc44 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/7cbc5644b745f4ea635aca42cce5e4a4b9d2e61afdb3ac18128e1688c07071ba.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/7cbc5644b745f4ea635aca42cce5e4a4b9d2e61afdb3ac18128e1688c07071ba.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5500424144734 -| mem: 5500002078614}) \ No newline at end of file +({cpu: 453490103 +| mem: 2195846}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/82213dfdb6a812b40446438767c61a388d2c0cfd0cbf7fd4a372b0dc59fa17e1.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/82213dfdb6a812b40446438767c61a388d2c0cfd0cbf7fd4a372b0dc59fa17e1.budget.golden index 80c7f0968af..9e28a0b23b9 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/82213dfdb6a812b40446438767c61a388d2c0cfd0cbf7fd4a372b0dc59fa17e1.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/82213dfdb6a812b40446438767c61a388d2c0cfd0cbf7fd4a372b0dc59fa17e1.budget.golden @@ -1,2 +1,2 @@ -({cpu: 21201107266900 -| mem: 21200004668960}) \ No newline at end of file +({cpu: 1232992944 +| mem: 5157792}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/8c7fdc3da6822b5112074380003524f50fb3a1ce6db4e501df1086773c6c0201.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/8c7fdc3da6822b5112074380003524f50fb3a1ce6db4e501df1086773c6c0201.budget.golden index edc90cbe414..5502cfef844 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/8c7fdc3da6822b5112074380003524f50fb3a1ce6db4e501df1086773c6c0201.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/8c7fdc3da6822b5112074380003524f50fb3a1ce6db4e501df1086773c6c0201.budget.golden @@ -1,2 +1,2 @@ -({cpu: 11101038007419 -| mem: 11100005247316}) \ No newline at end of file +({cpu: 1098556029 +| mem: 5486796}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/8d9ae67656a2911ab15a8e5301c960c69aa2517055197aff6b60a87ff718d66c.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/8d9ae67656a2911ab15a8e5301c960c69aa2517055197aff6b60a87ff718d66c.budget.golden index c54d9ee978f..7d752eb24d9 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/8d9ae67656a2911ab15a8e5301c960c69aa2517055197aff6b60a87ff718d66c.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/8d9ae67656a2911ab15a8e5301c960c69aa2517055197aff6b60a87ff718d66c.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4900309924528 -| mem: 4900001554066}) \ No newline at end of file +({cpu: 335540681 +| mem: 1656650}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/96e1a2fa3ceb9a402f2a5841a0b645f87b4e8e75beb636692478ec39f74ee221.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/96e1a2fa3ceb9a402f2a5841a0b645f87b4e8e75beb636692478ec39f74ee221.budget.golden index 1fe52dc8ab1..1e611402712 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/96e1a2fa3ceb9a402f2a5841a0b645f87b4e8e75beb636692478ec39f74ee221.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/96e1a2fa3ceb9a402f2a5841a0b645f87b4e8e75beb636692478ec39f74ee221.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5100253949608 -| mem: 5100001289769}) \ No newline at end of file +({cpu: 279273310 +| mem: 1391825}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/9fabc4fc3440cdb776b28c9bb1dd49c9a5b1605fe1490aa3f4f64a3fa8881b25.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/9fabc4fc3440cdb776b28c9bb1dd49c9a5b1605fe1490aa3f4f64a3fa8881b25.budget.golden index e0b8d045e06..9ea9ab77574 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/9fabc4fc3440cdb776b28c9bb1dd49c9a5b1605fe1490aa3f4f64a3fa8881b25.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/9fabc4fc3440cdb776b28c9bb1dd49c9a5b1605fe1490aa3f4f64a3fa8881b25.budget.golden @@ -1,2 +1,2 @@ -({cpu: 21000916486015 -| mem: 21000004346327}) \ No newline at end of file +({cpu: 1044911014 +| mem: 4842999}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/a85173a832db3ea944fafc406dfe3fa3235254897d6d1d0e21bc380147687bd5.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/a85173a832db3ea944fafc406dfe3fa3235254897d6d1d0e21bc380147687bd5.budget.golden index ea2a73a87a1..2b091f867c3 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/a85173a832db3ea944fafc406dfe3fa3235254897d6d1d0e21bc380147687bd5.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/a85173a832db3ea944fafc406dfe3fa3235254897d6d1d0e21bc380147687bd5.budget.golden @@ -1,2 +1,2 @@ -({cpu: 6900308181905 -| mem: 6900001538869}) \ No newline at end of file +({cpu: 346354133 +| mem: 1689453}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/a9a853b6d083551f4ed2995551af287880ef42aee239a2d9bc5314d127cce592.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/a9a853b6d083551f4ed2995551af287880ef42aee239a2d9bc5314d127cce592.budget.golden index 9219c282cec..0f21813b7cd 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/a9a853b6d083551f4ed2995551af287880ef42aee239a2d9bc5314d127cce592.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/a9a853b6d083551f4ed2995551af287880ef42aee239a2d9bc5314d127cce592.budget.golden @@ -1,2 +1,2 @@ -({cpu: 8300420449854 -| mem: 8300002051474}) \ No newline at end of file +({cpu: 464259998 +| mem: 2226106}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/acb9c83c2b78dabef8674319ad69ba54912cd9997bdf2d8b2998c6bfeef3b122.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/acb9c83c2b78dabef8674319ad69ba54912cd9997bdf2d8b2998c6bfeef3b122.budget.golden index d50ec4b3fb9..22429c703f3 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/acb9c83c2b78dabef8674319ad69ba54912cd9997bdf2d8b2998c6bfeef3b122.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/acb9c83c2b78dabef8674319ad69ba54912cd9997bdf2d8b2998c6bfeef3b122.budget.golden @@ -1,2 +1,2 @@ -({cpu: 7700571687836 -| mem: 7700002886266}) \ No newline at end of file +({cpu: 613584829 +| mem: 3052770}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/acce04815e8fd51be93322888250060da173eccf3df3a605bd6bc6a456cde871.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/acce04815e8fd51be93322888250060da173eccf3df3a605bd6bc6a456cde871.budget.golden index 82cac06544b..ba5918ed697 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/acce04815e8fd51be93322888250060da173eccf3df3a605bd6bc6a456cde871.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/acce04815e8fd51be93322888250060da173eccf3df3a605bd6bc6a456cde871.budget.golden @@ -1,2 +1,2 @@ -({cpu: 6700253362398 -| mem: 6700001229727}) \ No newline at end of file +({cpu: 292982329 +| mem: 1384195}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/ad6db94ed69b7161c7604568f44358e1cc11e81fea90e41afebd669e51bb60c8.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/ad6db94ed69b7161c7604568f44358e1cc11e81fea90e41afebd669e51bb60c8.budget.golden index ff8c7e7c115..210c02bdc4a 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/ad6db94ed69b7161c7604568f44358e1cc11e81fea90e41afebd669e51bb60c8.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/ad6db94ed69b7161c7604568f44358e1cc11e81fea90e41afebd669e51bb60c8.budget.golden @@ -1,2 +1,2 @@ -({cpu: 8200503762683 -| mem: 8200002576282}) \ No newline at end of file +({cpu: 548999898 +| mem: 2755802}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/b21a4df3b0266ad3481a26d3e3d848aad2fcde89510b29cccce81971e38e0835.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/b21a4df3b0266ad3481a26d3e3d848aad2fcde89510b29cccce81971e38e0835.budget.golden index 0f201a0248c..e2c2cb128ce 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/b21a4df3b0266ad3481a26d3e3d848aad2fcde89510b29cccce81971e38e0835.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/b21a4df3b0266ad3481a26d3e3d848aad2fcde89510b29cccce81971e38e0835.budget.golden @@ -1,2 +1,2 @@ -({cpu: 14501226438148 -| mem: 14500006028028}) \ No newline at end of file +({cpu: 1309680131 +| mem: 6354152}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/b50170cea48ee84b80558c02b15c6df52faf884e504d2c410ad63ba46d8ca35c.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/b50170cea48ee84b80558c02b15c6df52faf884e504d2c410ad63ba46d8ca35c.budget.golden index 5ad5fd8f0d2..4256d709942 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/b50170cea48ee84b80558c02b15c6df52faf884e504d2c410ad63ba46d8ca35c.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/b50170cea48ee84b80558c02b15c6df52faf884e504d2c410ad63ba46d8ca35c.budget.golden @@ -1,2 +1,2 @@ -({cpu: 7900682326635 -| mem: 7900003480708}) \ No newline at end of file +({cpu: 725230429 +| mem: 3650940}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/bb5345bfbbc460af84e784b900ec270df1948bb1d1e29eacecd022eeb168b315.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/bb5345bfbbc460af84e784b900ec270df1948bb1d1e29eacecd022eeb168b315.budget.golden index d7c6f97c1ca..5543088e5c8 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/bb5345bfbbc460af84e784b900ec270df1948bb1d1e29eacecd022eeb168b315.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/bb5345bfbbc460af84e784b900ec270df1948bb1d1e29eacecd022eeb168b315.budget.golden @@ -1,2 +1,2 @@ -({cpu: 10500850168327 -| mem: 10500004369584}) \ No newline at end of file +({cpu: 908803786 +| mem: 4600936}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/c4bb185380df6e9b66fc1ee0564f09a8d1253a51a0c0c7890f2214df9ac19274.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/c4bb185380df6e9b66fc1ee0564f09a8d1253a51a0c0c7890f2214df9ac19274.budget.golden index 93b5cce208a..fc5e9cb3a4a 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/c4bb185380df6e9b66fc1ee0564f09a8d1253a51a0c0c7890f2214df9ac19274.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/c4bb185380df6e9b66fc1ee0564f09a8d1253a51a0c0c7890f2214df9ac19274.budget.golden @@ -1,2 +1,2 @@ -({cpu: 10600641459172 -| mem: 10600003319875}) \ No newline at end of file +({cpu: 699461186 +| mem: 3549367}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/c9efcb705ee057791f7c18a1de79c49f6e40ba143ce0579f1602fd780cabf153.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/c9efcb705ee057791f7c18a1de79c49f6e40ba143ce0579f1602fd780cabf153.budget.golden index 4aa89426313..b18aaea42da 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/c9efcb705ee057791f7c18a1de79c49f6e40ba143ce0579f1602fd780cabf153.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/c9efcb705ee057791f7c18a1de79c49f6e40ba143ce0579f1602fd780cabf153.budget.golden @@ -1,2 +1,2 @@ -({cpu: 9600724494565 -| mem: 9600003701260}) \ No newline at end of file +({cpu: 779256265 +| mem: 3916560}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/ccab11ce1a8774135d0e3c9e635631b68af9e276b5dabc66ff669d5650d0be1c.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/ccab11ce1a8774135d0e3c9e635631b68af9e276b5dabc66ff669d5650d0be1c.budget.golden index ae8755c9783..c9e140cc89d 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/ccab11ce1a8774135d0e3c9e635631b68af9e276b5dabc66ff669d5650d0be1c.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/ccab11ce1a8774135d0e3c9e635631b68af9e276b5dabc66ff669d5650d0be1c.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4500934801908 -| mem: 4500001201782}) \ No newline at end of file +({cpu: 958116459 +| mem: 1295110}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/cdb9d5c233b288a5a9dcfbd8d5c1831a0bb46eec7a26fa31b80ae69d44805efc.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/cdb9d5c233b288a5a9dcfbd8d5c1831a0bb46eec7a26fa31b80ae69d44805efc.budget.golden index 1595aab5dda..036d2f8930e 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/cdb9d5c233b288a5a9dcfbd8d5c1831a0bb46eec7a26fa31b80ae69d44805efc.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/cdb9d5c233b288a5a9dcfbd8d5c1831a0bb46eec7a26fa31b80ae69d44805efc.budget.golden @@ -1,2 +1,2 @@ -({cpu: 8600809992499 -| mem: 8600004111616}) \ No newline at end of file +({cpu: 857892942 +| mem: 4300720}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/ced1ea04649e093a501e43f8568ac3e6b37cd3eccec8cac9c70a4857b88a5eb8.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/ced1ea04649e093a501e43f8568ac3e6b37cd3eccec8cac9c70a4857b88a5eb8.budget.golden index 9ac3aaf08ef..3595a65f12e 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/ced1ea04649e093a501e43f8568ac3e6b37cd3eccec8cac9c70a4857b88a5eb8.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/ced1ea04649e093a501e43f8568ac3e6b37cd3eccec8cac9c70a4857b88a5eb8.budget.golden @@ -1,2 +1,2 @@ -({cpu: 8700757655712 -| mem: 8700003818092}) \ No newline at end of file +({cpu: 806269962 +| mem: 4009892}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/cf542b7df466b228ca2197c2aaa89238a8122f3330fe5b77b3222f570395d9f5.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/cf542b7df466b228ca2197c2aaa89238a8122f3330fe5b77b3222f570395d9f5.budget.golden index 5ebf4acb18e..52057ea32b1 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/cf542b7df466b228ca2197c2aaa89238a8122f3330fe5b77b3222f570395d9f5.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/cf542b7df466b228ca2197c2aaa89238a8122f3330fe5b77b3222f570395d9f5.budget.golden @@ -1,2 +1,2 @@ -({cpu: 7900422588824 -| mem: 7900002170171}) \ No newline at end of file +({cpu: 465300618 +| mem: 2339203}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/d1ab832dfab25688f8845bec9387e46ee3f00ba5822197ade7dd540489ec5e95.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/d1ab832dfab25688f8845bec9387e46ee3f00ba5822197ade7dd540489ec5e95.budget.golden index 9823410ae0c..8676d9a2173 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/d1ab832dfab25688f8845bec9387e46ee3f00ba5822197ade7dd540489ec5e95.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/d1ab832dfab25688f8845bec9387e46ee3f00ba5822197ade7dd540489ec5e95.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3617808831450 -| mem: 3600001085478}) \ No newline at end of file +({cpu: 17825721738 +| mem: 1154542}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/d1c03759810747b7cab38c4296593b38567e11195d161b5bb0a2b58f89b2c65a.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/d1c03759810747b7cab38c4296593b38567e11195d161b5bb0a2b58f89b2c65a.budget.golden index 13af02db173..298472494bd 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/d1c03759810747b7cab38c4296593b38567e11195d161b5bb0a2b58f89b2c65a.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/d1c03759810747b7cab38c4296593b38567e11195d161b5bb0a2b58f89b2c65a.budget.golden @@ -1,2 +1,2 @@ -({cpu: 12300920985345 -| mem: 12300004734021}) \ No newline at end of file +({cpu: 988102761 +| mem: 4999169}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/d64607eb8a1448595081547ea8780886fcbd9e06036460eea3705c88ea867e33.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/d64607eb8a1448595081547ea8780886fcbd9e06036460eea3705c88ea867e33.budget.golden index 285e4e421d3..a043a4a6578 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/d64607eb8a1448595081547ea8780886fcbd9e06036460eea3705c88ea867e33.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/d64607eb8a1448595081547ea8780886fcbd9e06036460eea3705c88ea867e33.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5100251503668 -| mem: 5100001283467}) \ No newline at end of file +({cpu: 276827370 +| mem: 1385523}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/dc241ac6ad1e04fb056d555d6a4f2d08a45d054c6f7f34355fcfeefebef479f3.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/dc241ac6ad1e04fb056d555d6a4f2d08a45d054c6f7f34355fcfeefebef479f3.budget.golden index 2246518492c..05670e238fd 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/dc241ac6ad1e04fb056d555d6a4f2d08a45d054c6f7f34355fcfeefebef479f3.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/dc241ac6ad1e04fb056d555d6a4f2d08a45d054c6f7f34355fcfeefebef479f3.budget.golden @@ -1,2 +1,2 @@ -({cpu: 6900400328438 -| mem: 6900002052697}) \ No newline at end of file +({cpu: 435902162 +| mem: 2194769}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/dd11ae574eaeab0e9925319768989313a93913fdc347c704ddaa27042757d990.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/dd11ae574eaeab0e9925319768989313a93913fdc347c704ddaa27042757d990.budget.golden index bf22935a169..3e3ffd2caed 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/dd11ae574eaeab0e9925319768989313a93913fdc347c704ddaa27042757d990.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/dd11ae574eaeab0e9925319768989313a93913fdc347c704ddaa27042757d990.budget.golden @@ -1,2 +1,2 @@ -({cpu: 8000677046369 -| mem: 8000003476806}) \ No newline at end of file +({cpu: 720663970 +| mem: 3649734}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/e26c1cddba16e05fd10c34cbdb16ea6acdbac7c8323256c31c90c520ee6a1080.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/e26c1cddba16e05fd10c34cbdb16ea6acdbac7c8323256c31c90c520ee6a1080.budget.golden index 6d5a7c3b0b7..ba20c3d27c4 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/e26c1cddba16e05fd10c34cbdb16ea6acdbac7c8323256c31c90c520ee6a1080.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/e26c1cddba16e05fd10c34cbdb16ea6acdbac7c8323256c31c90c520ee6a1080.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4500322369410 -| mem: 4500001513488}) \ No newline at end of file +({cpu: 345130335 +| mem: 1605288}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/e34b48f80d49360e88c612f4016f7d68cb5678dd8cd5ddb981375a028b3a40a5.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/e34b48f80d49360e88c612f4016f7d68cb5678dd8cd5ddb981375a028b3a40a5.budget.golden index 0bee41cb458..e1feaf947a4 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/e34b48f80d49360e88c612f4016f7d68cb5678dd8cd5ddb981375a028b3a40a5.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/e34b48f80d49360e88c612f4016f7d68cb5678dd8cd5ddb981375a028b3a40a5.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5800336886217 -| mem: 5800001706920}) \ No newline at end of file +({cpu: 368926633 +| mem: 1833768}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/e3afd22d01ff12f381cf915fd32358634e6c413f979f2492cf3339319d8cc079.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/e3afd22d01ff12f381cf915fd32358634e6c413f979f2492cf3339319d8cc079.budget.golden index 1fe52dc8ab1..1e611402712 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/e3afd22d01ff12f381cf915fd32358634e6c413f979f2492cf3339319d8cc079.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/e3afd22d01ff12f381cf915fd32358634e6c413f979f2492cf3339319d8cc079.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5100253949608 -| mem: 5100001289769}) \ No newline at end of file +({cpu: 279273310 +| mem: 1391825}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/e9234d2671760874f3f660aae5d3416d18ce6dfd7af4231bdd41b9ec268bc7e1.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/e9234d2671760874f3f660aae5d3416d18ce6dfd7af4231bdd41b9ec268bc7e1.budget.golden index dcf323a7056..3f3533466bd 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/e9234d2671760874f3f660aae5d3416d18ce6dfd7af4231bdd41b9ec268bc7e1.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/e9234d2671760874f3f660aae5d3416d18ce6dfd7af4231bdd41b9ec268bc7e1.budget.golden @@ -1,2 +1,2 @@ -({cpu: 9200836882628 -| mem: 9200002465686}) \ No newline at end of file +({cpu: 886371409 +| mem: 2661854}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/eb4a605ed3a64961e9e66ad9631c2813dadf7131740212762ae4483ec749fe1d.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/eb4a605ed3a64961e9e66ad9631c2813dadf7131740212762ae4483ec749fe1d.budget.golden index 285e4e421d3..a043a4a6578 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/eb4a605ed3a64961e9e66ad9631c2813dadf7131740212762ae4483ec749fe1d.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/eb4a605ed3a64961e9e66ad9631c2813dadf7131740212762ae4483ec749fe1d.budget.golden @@ -1,2 +1,2 @@ -({cpu: 5100251503668 -| mem: 5100001283467}) \ No newline at end of file +({cpu: 276827370 +| mem: 1385523}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/ecb5e8308b57724e0f8533921693f111eba942123cf8660aac2b5bac21ec28f0.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/ecb5e8308b57724e0f8533921693f111eba942123cf8660aac2b5bac21ec28f0.budget.golden index 6e6b0bd92cb..f1f06b84575 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/ecb5e8308b57724e0f8533921693f111eba942123cf8660aac2b5bac21ec28f0.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/ecb5e8308b57724e0f8533921693f111eba942123cf8660aac2b5bac21ec28f0.budget.golden @@ -1,2 +1,2 @@ -({cpu: 8900570808453 -| mem: 8900002788142}) \ No newline at end of file +({cpu: 620296691 +| mem: 2983806}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/f2a8fd2014922f0d8e01541205d47e9bb2d4e54333bdd408cbe7c47c55e73ae4.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/f2a8fd2014922f0d8e01541205d47e9bb2d4e54333bdd408cbe7c47c55e73ae4.budget.golden index 0fe8290f888..d40f33f835f 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/f2a8fd2014922f0d8e01541205d47e9bb2d4e54333bdd408cbe7c47c55e73ae4.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/f2a8fd2014922f0d8e01541205d47e9bb2d4e54333bdd408cbe7c47c55e73ae4.budget.golden @@ -1,2 +1,2 @@ -({cpu: 13200637750221 -| mem: 13200002672322}) \ No newline at end of file +({cpu: 714684030 +| mem: 2973274}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/f339f59bdf92495ed2b14e2e4d3705972b4dda59aa929cffe0f1ff5355db8d79.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/f339f59bdf92495ed2b14e2e4d3705972b4dda59aa929cffe0f1ff5355db8d79.budget.golden index d83db195232..fadb5253a38 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/f339f59bdf92495ed2b14e2e4d3705972b4dda59aa929cffe0f1ff5355db8d79.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/f339f59bdf92495ed2b14e2e4d3705972b4dda59aa929cffe0f1ff5355db8d79.budget.golden @@ -1,2 +1,2 @@ -({cpu: 4103740761955 -| mem: 4100001154902}) \ No newline at end of file +({cpu: 3761221278 +| mem: 1237446}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/ffdd68a33afd86f8844c9f5e45b2bda5b035aa02274161b23d57709c0f8b8de6.budget.golden b/plutus-benchmark/marlowe/test/semantics/9.6/ffdd68a33afd86f8844c9f5e45b2bda5b035aa02274161b23d57709c0f8b8de6.budget.golden index eaadb84b54c..7db710704ca 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/ffdd68a33afd86f8844c9f5e45b2bda5b035aa02274161b23d57709c0f8b8de6.budget.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/ffdd68a33afd86f8844c9f5e45b2bda5b035aa02274161b23d57709c0f8b8de6.budget.golden @@ -1,2 +1,2 @@ -({cpu: 9700849665415 -| mem: 9700004229706}) \ No newline at end of file +({cpu: 902819231 +| mem: 4439954}) \ No newline at end of file diff --git a/plutus-benchmark/marlowe/test/semantics/9.6/semantics.size.golden b/plutus-benchmark/marlowe/test/semantics/9.6/semantics.size.golden index d27e6820e7b..2d4ceff77d1 100644 --- a/plutus-benchmark/marlowe/test/semantics/9.6/semantics.size.golden +++ b/plutus-benchmark/marlowe/test/semantics/9.6/semantics.size.golden @@ -1 +1 @@ -12291 \ No newline at end of file +12416 \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-20.budget.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-20.budget.golden index 4df6ef26a00..f233e434660 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-20.budget.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-20.budget.golden @@ -1,2 +1,2 @@ -({cpu: 11100263419581 -| mem: 11100001061637}) \ No newline at end of file +({cpu: 326278695 +| mem: 1307829}) \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-4.budget.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-4.budget.golden index 779e93ab6dd..9f42fd78d40 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-4.budget.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1-4.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3100079207709 -| mem: 3100000323045}) \ No newline at end of file +({cpu: 95356279 +| mem: 387605}) \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.pir.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.pir.golden index 715e0ef6d50..a99bcfa4e2f 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.pir.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.pir.golden @@ -72,13 +72,23 @@ (unIData (headList {data} (tailList {data} args)))) (/\dead -> traceError {GovernanceActionId} "PT1") {all dead. dead} + !caseList' : all a r. r -> (a -> list a -> r) -> list a -> r + = /\a r -> + \(z : r) (f : a -> list a -> r) (xs : list a) -> + chooseList + {a} + {all dead. r} + xs + (/\dead -> z) + (/\dead -> f (headList {a} xs) (tailList {a} xs)) + {r} !`$fUnsafeFromDataList_$cunsafeFromBuiltinData` : all a. (\a -> data -> a) a -> data -> List a = /\a -> \(`$dUnsafeFromData` : (\a -> data -> a) a) -> letrec - !go : list data -> List a - = caseList + ~go : list data -> List a + = caseList' {data} {List a} (Nil {a}) @@ -137,8 +147,8 @@ \(`$dUnsafeFromData` : (\a -> data -> a) k) (`$dUnsafeFromData` : (\a -> data -> a) v) -> letrec - !go : list (pair data data) -> List (Tuple2 k v) - = caseList + ~go : list (pair data data) -> List (Tuple2 k v) + = caseList' {pair data data} {List (Tuple2 k v)} (Nil {Tuple2 k v}) @@ -478,8 +488,8 @@ {all dead. dead} in letrec - !go : list data -> List ProposalProcedure - = caseList + ~go : list data -> List ProposalProcedure + = caseList' {data} {List ProposalProcedure} (Nil {ProposalProcedure}) @@ -766,8 +776,8 @@ {all dead. dead} in letrec - !go : list data -> List TxCert - = caseList + ~go : list data -> List TxCert + = caseList' {data} {List TxCert} (Nil {TxCert}) @@ -902,8 +912,8 @@ {all dead. dead} in letrec - !go : list data -> List TxOut - = caseList + ~go : list data -> List TxOut + = caseList' {data} {List TxOut} (Nil {TxOut}) @@ -954,8 +964,8 @@ {all dead. dead} in letrec - !go : list data -> List TxInInfo - = caseList + ~go : list data -> List TxInInfo + = caseList' {data} {List TxInInfo} (Nil {TxInInfo}) @@ -966,8 +976,8 @@ (go xs)) in letrec - !go : list data -> List TxInInfo - = caseList + ~go : list data -> List TxInInfo + = caseList' {data} {List TxInInfo} (Nil {TxInInfo}) diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.size.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.size.golden index f8035a6b440..9193385b9b3 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.size.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext1.size.golden @@ -1 +1 @@ -3218 \ No newline at end of file +3330 \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-20.budget.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-20.budget.golden index 32dca36b004..aa1687c3e4d 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-20.budget.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-20.budget.golden @@ -1,2 +1,2 @@ -({cpu: 11100253119109 -| mem: 11100001011494}) \ No newline at end of file +({cpu: 315978223 +| mem: 1257686}) \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-4.budget.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-4.budget.golden index 29fec21fcb6..a183afe62ce 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-4.budget.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2-4.budget.golden @@ -1,2 +1,2 @@ -({cpu: 3100076158565 -| mem: 3100000308134}) \ No newline at end of file +({cpu: 92307135 +| mem: 372694}) \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.pir.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.pir.golden index 3cfe475670e..5041a1a5626 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.pir.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.pir.golden @@ -26,6 +26,16 @@ (unIData (headList {data} (tailList {data} args)))) (/\dead -> traceError {GovernanceActionId} "PT1") {all dead. dead} + !caseList' : all a r. r -> (a -> list a -> r) -> list a -> r + = /\a r -> + \(z : r) (f : a -> list a -> r) (xs : list a) -> + chooseList + {a} + {all dead. r} + xs + (/\dead -> z) + (/\dead -> f (headList {a} xs) (tailList {a} xs)) + {r} in letrec data (List :: * -> *) a | List_match where @@ -38,8 +48,8 @@ = /\a -> \(`$dUnsafeFromData` : (\a -> data -> a) a) -> letrec - !go : list data -> List a - = caseList + ~go : list data -> List a + = caseList' {data} {List a} (Nil {a}) @@ -106,8 +116,8 @@ \(`$dUnsafeFromData` : (\a -> data -> a) k) (`$dUnsafeFromData` : (\a -> data -> a) v) -> letrec - !go : list (pair data data) -> List (Tuple2 k v) - = caseList + ~go : list (pair data data) -> List (Tuple2 k v) + = caseList' {pair data data} {List (Tuple2 k v)} (Nil {Tuple2 k v}) @@ -447,8 +457,8 @@ {all dead. dead} in letrec - !go : list data -> List ProposalProcedure - = caseList + ~go : list data -> List ProposalProcedure + = caseList' {data} {List ProposalProcedure} (Nil {ProposalProcedure}) @@ -735,8 +745,8 @@ {all dead. dead} in letrec - !go : list data -> List TxCert - = caseList + ~go : list data -> List TxCert + = caseList' {data} {List TxCert} (Nil {TxCert}) @@ -889,8 +899,8 @@ {all dead. dead} in letrec - !go : list data -> List TxOut - = caseList + ~go : list data -> List TxOut + = caseList' {data} {List TxOut} (Nil {TxOut}) @@ -941,8 +951,8 @@ {all dead. dead} in letrec - !go : list data -> List TxInInfo - = caseList + ~go : list data -> List TxInInfo + = caseList' {data} {List TxInInfo} (Nil {TxInInfo}) @@ -953,8 +963,8 @@ (go xs)) in letrec - !go : list data -> List TxInInfo - = caseList + ~go : list data -> List TxInInfo + = caseList' {data} {List TxInInfo} (Nil {TxInInfo}) diff --git a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.size.golden b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.size.golden index 79aafa0e780..f0dfa1fe343 100644 --- a/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.size.golden +++ b/plutus-benchmark/script-contexts/test/9.6/checkScriptContext2.size.golden @@ -1 +1 @@ -3154 \ No newline at end of file +3266 \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext1-20.budget.golden b/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext1-20.budget.golden index 68d54aa4b5c..bf14b1832a4 100644 --- a/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext1-20.budget.golden +++ b/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext1-20.budget.golden @@ -1,2 +1,2 @@ -({cpu: 2600203951081 -| mem: 2600000766517}) \ No newline at end of file +({cpu: 220849185 +| mem: 832029}) \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext1-4.budget.golden b/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext1-4.budget.golden index 2e9a61be54d..ce2d9bfe724 100644 --- a/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext1-4.budget.golden +++ b/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext1-4.budget.golden @@ -1,2 +1,2 @@ -({cpu: 1000064498009 -| mem: 1000000246421}) \ No newline at end of file +({cpu: 69975201 +| mem: 268797}) \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext1.pir.golden b/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext1.pir.golden index 9a49844ea69..b5411a1f77a 100644 --- a/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext1.pir.golden +++ b/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext1.pir.golden @@ -68,13 +68,23 @@ (unIData (headList {data} (tailList {data} args)))) (/\dead -> traceError {GovernanceActionId} "PT1") {all dead. dead} + !caseList' : all a r. r -> (a -> list a -> r) -> list a -> r + = /\a r -> + \(z : r) (f : a -> list a -> r) (xs : list a) -> + chooseList + {a} + {all dead. r} + xs + (/\dead -> z) + (/\dead -> f (headList {a} xs) (tailList {a} xs)) + {r} !`$fUnsafeFromDataList_$cunsafeFromBuiltinData` : all a. (\a -> data -> a) a -> data -> List a = /\a -> \(`$dUnsafeFromData` : (\a -> data -> a) a) -> letrec - !go : list data -> List a - = caseList + ~go : list data -> List a + = caseList' {data} {List a} (Nil {a}) @@ -440,8 +450,8 @@ {all dead. dead} in letrec - !go : list data -> List ProposalProcedure - = caseList + ~go : list data -> List ProposalProcedure + = caseList' {data} {List ProposalProcedure} (Nil {ProposalProcedure}) @@ -728,8 +738,8 @@ {all dead. dead} in letrec - !go : list data -> List TxCert - = caseList + ~go : list data -> List TxCert + = caseList' {data} {List TxCert} (Nil {TxCert}) @@ -855,8 +865,8 @@ {all dead. dead} in letrec - !go : list data -> List TxOut - = caseList + ~go : list data -> List TxOut + = caseList' {data} {List TxOut} (Nil {TxOut}) @@ -907,8 +917,8 @@ {all dead. dead} in letrec - !go : list data -> List TxInInfo - = caseList + ~go : list data -> List TxInInfo + = caseList' {data} {List TxInInfo} (Nil {TxInInfo}) @@ -919,8 +929,8 @@ (go xs)) in letrec - !go : list data -> List TxInInfo - = caseList + ~go : list data -> List TxInInfo + = caseList' {data} {List TxInInfo} (Nil {TxInInfo}) diff --git a/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext1.size.golden b/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext1.size.golden index b2989f42d94..7255dbc5e72 100644 --- a/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext1.size.golden +++ b/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext1.size.golden @@ -1 +1 @@ -2872 \ No newline at end of file +2974 \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext2-20.budget.golden b/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext2-20.budget.golden index ac381142396..823a2058c88 100644 --- a/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext2-20.budget.golden +++ b/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext2-20.budget.golden @@ -1,2 +1,2 @@ -({cpu: 2600193650609 -| mem: 2600000716374}) \ No newline at end of file +({cpu: 210548713 +| mem: 781886}) \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext2-4.budget.golden b/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext2-4.budget.golden index b6ac07221de..2ce873ef695 100644 --- a/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext2-4.budget.golden +++ b/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext2-4.budget.golden @@ -1,2 +1,2 @@ -({cpu: 1000061448865 -| mem: 1000000231510}) \ No newline at end of file +({cpu: 66926057 +| mem: 253886}) \ No newline at end of file diff --git a/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext2.pir.golden b/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext2.pir.golden index 7608ce3d121..333384deaf4 100644 --- a/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext2.pir.golden +++ b/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext2.pir.golden @@ -26,6 +26,16 @@ (unIData (headList {data} (tailList {data} args)))) (/\dead -> traceError {GovernanceActionId} "PT1") {all dead. dead} + !caseList' : all a r. r -> (a -> list a -> r) -> list a -> r + = /\a r -> + \(z : r) (f : a -> list a -> r) (xs : list a) -> + chooseList + {a} + {all dead. r} + xs + (/\dead -> z) + (/\dead -> f (headList {a} xs) (tailList {a} xs)) + {r} in letrec data (List :: * -> *) a | List_match where @@ -38,8 +48,8 @@ = /\a -> \(`$dUnsafeFromData` : (\a -> data -> a) a) -> letrec - !go : list data -> List a - = caseList + ~go : list data -> List a + = caseList' {data} {List a} (Nil {a}) @@ -411,8 +421,8 @@ {all dead. dead} in letrec - !go : list data -> List ProposalProcedure - = caseList + ~go : list data -> List ProposalProcedure + = caseList' {data} {List ProposalProcedure} (Nil {ProposalProcedure}) @@ -699,8 +709,8 @@ {all dead. dead} in letrec - !go : list data -> List TxCert - = caseList + ~go : list data -> List TxCert + = caseList' {data} {List TxCert} (Nil {TxCert}) @@ -844,8 +854,8 @@ {all dead. dead} in letrec - !go : list data -> List TxOut - = caseList + ~go : list data -> List TxOut + = caseList' {data} {List TxOut} (Nil {TxOut}) @@ -896,8 +906,8 @@ {all dead. dead} in letrec - !go : list data -> List TxInInfo - = caseList + ~go : list data -> List TxInInfo + = caseList' {data} {List TxInInfo} (Nil {TxInInfo}) @@ -908,8 +918,8 @@ (go xs)) in letrec - !go : list data -> List TxInInfo - = caseList + ~go : list data -> List TxInInfo + = caseList' {data} {List TxInInfo} (Nil {TxInInfo}) diff --git a/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext2.size.golden b/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext2.size.golden index d690a3e639b..e036d95251e 100644 --- a/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext2.size.golden +++ b/plutus-benchmark/script-contexts/test/Data/9.6/checkScriptContext2.size.golden @@ -1 +1 @@ -2808 \ No newline at end of file +2910 \ No newline at end of file diff --git a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/currencySymbolValueOf.budget.golden b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/currencySymbolValueOf.budget.golden index 7322e755c25..826c245653e 100644 --- a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/currencySymbolValueOf.budget.golden +++ b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/currencySymbolValueOf.budget.golden @@ -1,2 +1,2 @@ -({cpu: 1300016284484 -| mem: 1300000044596}) \ No newline at end of file +({cpu: 25335162 +| mem: 79180}) \ No newline at end of file diff --git a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/currencySymbolValueOf.pir.golden b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/currencySymbolValueOf.pir.golden index b63efc48ea5..4e30394a7b0 100644 --- a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/currencySymbolValueOf.pir.golden +++ b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/currencySymbolValueOf.pir.golden @@ -1,6 +1,18 @@ +let + !caseList' : all a r. r -> (a -> list a -> r) -> list a -> r + = /\a r -> + \(z : r) (f : a -> list a -> r) (xs : list a) -> + chooseList + {a} + {all dead. r} + xs + (/\dead -> z) + (/\dead -> f (headList {a} xs) (tailList {a} xs)) + {r} +in letrec - !go : list (pair data data) -> integer - = caseList + ~go : list (pair data data) -> integer + = caseList' {pair data data} {integer} 0 @@ -26,8 +38,8 @@ in !k : data = bData cur in letrec - !go : list (pair data data) -> Maybe data - = caseList + ~go : list (pair data data) -> Maybe data + = caseList' {pair data data} {Maybe data} (Nothing {data}) diff --git a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq1.budget.golden b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq1.budget.golden index 1cd8070c94b..167434af9f9 100644 --- a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq1.budget.golden +++ b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq1.budget.golden @@ -1,2 +1,2 @@ -({cpu: 26000492581065 -| mem: 26000001506490}) \ No newline at end of file +({cpu: 668962560 +| mem: 2174050}) \ No newline at end of file diff --git a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq2.budget.golden b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq2.budget.golden index a90e294a25b..ddf2283d0e3 100644 --- a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq2.budget.golden +++ b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq2.budget.golden @@ -1,2 +1,2 @@ -({cpu: 27600519956915 -| mem: 27600001605038}) \ No newline at end of file +({cpu: 707450509 +| mem: 2314770}) \ No newline at end of file diff --git a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq3.budget.golden b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq3.budget.golden index 610bfa4c0ea..043bbc71e1d 100644 --- a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq3.budget.golden +++ b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq3.budget.golden @@ -1,2 +1,2 @@ -({cpu: 29000542024601 -| mem: 29000001677172}) \ No newline at end of file +({cpu: 738553054 +| mem: 2421556}) \ No newline at end of file diff --git a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq4.budget.golden b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq4.budget.golden index b7cd3432200..b60f3c421d7 100644 --- a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq4.budget.golden +++ b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq4.budget.golden @@ -1,2 +1,2 @@ -({cpu: 25100470970484 -| mem: 25100001408954}) \ No newline at end of file +({cpu: 641726155 +| mem: 2054342}) \ No newline at end of file diff --git a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq5.budget.golden b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq5.budget.golden index dcc43bfd8de..17801e910ba 100644 --- a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq5.budget.golden +++ b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/geq5.budget.golden @@ -1,2 +1,2 @@ -({cpu: 27100509999301 -| mem: 27100001557470}) \ No newline at end of file +({cpu: 693519047 +| mem: 2252158}) \ No newline at end of file diff --git a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt.pir.golden b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt.pir.golden index b601346201d..b79fdd530b2 100644 --- a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt.pir.golden +++ b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt.pir.golden @@ -42,6 +42,16 @@ let {all dead. dead}) {all dead. dead}) {all dead. dead} + !caseList' : all a r. r -> (a -> list a -> r) -> list a -> r + = /\a r -> + \(z : r) (f : a -> list a -> r) (xs : list a) -> + chooseList + {a} + {all dead. r} + xs + (/\dead -> z) + (/\dead -> f (headList {a} xs) (tailList {a} xs)) + {r} !all : all k a. (\a -> data -> a) a -> @@ -51,8 +61,8 @@ let = /\k a -> \(`$dUnsafeFromData` : (\a -> data -> a) a) (p : a -> Bool) -> letrec - !go : list (pair data data) -> Bool - = caseList + ~go : list (pair data data) -> Bool + = caseList' {pair data data} {Bool} True @@ -67,8 +77,8 @@ let \(ds : (\k a -> list (pair data data)) k a) -> go ds in letrec - !go : list (pair data data) -> Bool - = caseList + ~go : list (pair data data) -> Bool + = caseList' {pair data data} {Bool} True @@ -147,8 +157,8 @@ let (`$dToData` : (\a -> a -> data) b) (f : a -> b) -> letrec - !go : list (pair data data) -> list (pair data data) - = caseList + ~go : list (pair data data) -> list (pair data data) + = caseList' {pair data data} {list (pair data data)} [] @@ -169,7 +179,7 @@ letrec !safeAppend : list (pair data data) -> list (pair data data) -> list (pair data data) = \(xs : list (pair data data)) (xs : list (pair data data)) -> - caseList + caseList' {pair data data} {list (pair data data)} xs @@ -182,8 +192,8 @@ letrec = mkCons {pair data data} (mkPairData k v) [] in letrec - !go : list (pair data data) -> list (pair data data) - = caseList + ~go : list (pair data data) -> list (pair data data) + = caseList' {pair data data} {list (pair data data)} nilCase @@ -210,8 +220,8 @@ let !lookup' : data -> list (pair data data) -> Maybe data = \(k : data) -> letrec - !go : list (pair data data) -> Maybe data - = caseList + ~go : list (pair data data) -> Maybe data + = caseList' {pair data data} {Maybe data} (Nothing {data}) @@ -246,8 +256,8 @@ let (`$dToData` : (\a -> a -> data) b) (ds : (\k a -> list (pair data data)) k a) -> letrec - !goRight : list (pair data data) -> list (pair data data) - = caseList + ~goRight : list (pair data data) -> list (pair data data) + = caseList' {pair data data} {list (pair data data)} [] @@ -293,8 +303,8 @@ let in \(ds : (\k a -> list (pair data data)) k b) -> letrec - !goLeft : list (pair data data) -> list (pair data data) - = caseList + ~goLeft : list (pair data data) -> list (pair data data) + = caseList' {pair data data} {list (pair data data)} [] @@ -338,6 +348,11 @@ let (goLeft tl)) {all dead. dead}) in + let + !goRight : list (pair data data) -> list (pair data data) + = goRight + !goLeft : list (pair data data) -> list (pair data data) = goLeft + in safeAppend (goLeft ds) (goRight ds) data Unit | Unit_match where Unit : Unit @@ -346,7 +361,7 @@ letrec !rev : all a. list a -> list a -> list a = /\a -> \(l : list a) (acc : list a) -> - caseList + caseList' {a} {Unit -> list a} (\(ds : Unit) -> acc) @@ -371,11 +386,11 @@ let list (pair data data) -> list (pair data data) -> Bool = \(l : list (pair data data)) (l : list (pair data data)) -> - caseList + caseList' {pair data data} {Unit -> Bool} (\(ds : Unit) -> - caseList + caseList' {pair data data} {Unit -> Bool} (\(ds : Unit) -> True) @@ -396,7 +411,7 @@ let in \(xs : list (pair data data)) (ds : Unit) -> - caseList + caseList' {pair data data} {Unit -> Bool} (\(ds : Unit) -> @@ -419,7 +434,7 @@ let Bool = \(acc : list (pair data data)) (l : list (pair data data)) -> - caseList + caseList' {pair data data} {Unit -> Bool} (\(ds : Unit) -> False) diff --git a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt1.budget.golden b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt1.budget.golden index b6c2dd1df97..6b354c0e130 100644 --- a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt1.budget.golden +++ b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt1.budget.golden @@ -1,2 +1,2 @@ -({cpu: 31200573006665 -| mem: 31200001785800}) \ No newline at end of file +({cpu: 778128368 +| mem: 2552784}) \ No newline at end of file diff --git a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt2.budget.golden b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt2.budget.golden index f1d8c8f8389..2f283ae1620 100644 --- a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt2.budget.golden +++ b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt2.budget.golden @@ -1,2 +1,2 @@ -({cpu: 27600520884915 -| mem: 27600001610838}) \ No newline at end of file +({cpu: 708042509 +| mem: 2318470}) \ No newline at end of file diff --git a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt3.budget.golden b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt3.budget.golden index 30e7b2e261c..b49834a9389 100644 --- a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt3.budget.golden +++ b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt3.budget.golden @@ -1,2 +1,2 @@ -({cpu: 34400624827934 -| mem: 34400001968612}) \ No newline at end of file +({cpu: 851737022 +| mem: 2818176}) \ No newline at end of file diff --git a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt4.budget.golden b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt4.budget.golden index ced745c7100..195203c6a24 100644 --- a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt4.budget.golden +++ b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt4.budget.golden @@ -1,2 +1,2 @@ -({cpu: 25100471562484 -| mem: 25100001412654}) \ No newline at end of file +({cpu: 642174155 +| mem: 2057142}) \ No newline at end of file diff --git a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt5.budget.golden b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt5.budget.golden index 17ba209ce0e..edfc68139ba 100644 --- a/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt5.budget.golden +++ b/plutus-ledger-api/test-plugin/Spec/Data/Budget/9.6/gt5.budget.golden @@ -1,2 +1,2 @@ -({cpu: 29600548434671 -| mem: 29600001695994}) \ No newline at end of file +({cpu: 745919527 +| mem: 2438662}) \ No newline at end of file diff --git a/plutus-ledger-api/test-plugin/Spec/Data/Value/9.6/Long.stat.golden b/plutus-ledger-api/test-plugin/Spec/Data/Value/9.6/Long.stat.golden index 1d61b01e789..65a60b90f84 100644 --- a/plutus-ledger-api/test-plugin/Spec/Data/Value/9.6/Long.stat.golden +++ b/plutus-ledger-api/test-plugin/Spec/Data/Value/9.6/Long.stat.golden @@ -1,15 +1,15 @@ -({cpu: 190807578814229 | mem: 190800010545278}) -({cpu: 500006642830 | mem: 500000029260}) -({cpu: 133205402419640 | mem: 133200007362742}) -({cpu: 500006642830 | mem: 500000029260}) -({cpu: 133205402419640 | mem: 133200007362742}) -({cpu: 500006642830 | mem: 500000029260}) -({cpu: 75603226025051 | mem: 75600004180206}) -({cpu: 500006642830 | mem: 500000029260}) -({cpu: 133205402419640 | mem: 133200007362742}) -({cpu: 500006642830 | mem: 500000029260}) -({cpu: 75603226025051 | mem: 75600004180206}) -({cpu: 500006642830 | mem: 500000029260}) -({cpu: 75603226025051 | mem: 75600004180206}) -({cpu: 500006642830 | mem: 500000029260}) -({cpu: 18001049630462 | mem: 18000000997670}) \ No newline at end of file +({cpu: 8693320589 | mem: 14424858}) +({cpu: 9615052 | mem: 39976}) +({cpu: 6180436712 | mem: 10071058}) +({cpu: 9615052 | mem: 39976}) +({cpu: 6180436712 | mem: 10071058}) +({cpu: 9615052 | mem: 39976}) +({cpu: 3667552835 | mem: 5717258}) +({cpu: 9615052 | mem: 39976}) +({cpu: 6180436712 | mem: 10071058}) +({cpu: 9615052 | mem: 39976}) +({cpu: 3667552835 | mem: 5717258}) +({cpu: 9615052 | mem: 39976}) +({cpu: 3667552835 | mem: 5717258}) +({cpu: 9615052 | mem: 39976}) +({cpu: 1154668958 | mem: 1363458}) \ No newline at end of file diff --git a/plutus-ledger-api/test-plugin/Spec/Data/Value/9.6/Short.stat.golden b/plutus-ledger-api/test-plugin/Spec/Data/Value/9.6/Short.stat.golden index 81139da2377..13466c37976 100644 --- a/plutus-ledger-api/test-plugin/Spec/Data/Value/9.6/Short.stat.golden +++ b/plutus-ledger-api/test-plugin/Spec/Data/Value/9.6/Short.stat.golden @@ -1,21 +1,21 @@ -({cpu: 200001536100 | mem: 200000009700}) -({cpu: 500003270715 | mem: 500000019564}) -({cpu: 600005935712 | mem: 600000026594}) -({cpu: 800007458830 | mem: 800000034360}) -({cpu: 800009703948 | mem: 800000038790}) -({cpu: 1000011921681 | mem: 1000000049920}) -({cpu: 1400018062749 | mem: 1400000067880}) -({cpu: 1800018483364 | mem: 1800000077380}) -({cpu: 1800022462361 | mem: 1800000084774}) -({cpu: 1000014275016 | mem: 1000000054786}) -({cpu: 2600034780351 | mem: 2600000126060}) -({cpu: 700010602019 | mem: 700000041456}) -({cpu: 3600050866577 | mem: 3600000179542}) -({cpu: 4400059226184 | mem: 4400000218966}) -({cpu: 4800073203428 | mem: 4800000245220}) -({cpu: 5600081563035 | mem: 5600000284644}) -({cpu: 6200099499468 | mem: 6200000323094}) -({cpu: 6400101717201 | mem: 6400000334224}) -({cpu: 7800129754697 | mem: 7800000413164}) -({cpu: 3400047294354 | mem: 3400000179976}) -({cpu: 18001049630462 | mem: 18000000997670}) \ No newline at end of file +({cpu: 2202088 | mem: 12264}) +({cpu: 5753311 | mem: 29152}) +({cpu: 8487302 | mem: 35814}) +({cpu: 11438034 | mem: 48972}) +({cpu: 13523152 | mem: 52402}) +({cpu: 17493312 | mem: 69988}) +({cpu: 25035169 | mem: 92540}) +({cpu: 28146199 | mem: 112760}) +({cpu: 31320383 | mem: 116090}) +({cpu: 20171460 | mem: 75918}) +({cpu: 48059203 | mem: 172816}) +({cpu: 14841855 | mem: 56564}) +({cpu: 69833873 | mem: 246130}) +({cpu: 84308749 | mem: 308686}) +({cpu: 99126782 | mem: 336032}) +({cpu: 113601658 | mem: 398588}) +({cpu: 133646494 | mem: 442522}) +({cpu: 137616654 | mem: 460108}) +({cpu: 173393009 | mem: 565600}) +({cpu: 67258101 | mem: 251492}) +({cpu: 1154668958 | mem: 1363458}) \ No newline at end of file diff --git a/plutus-tx-plugin/src/PlutusTx/Compiler/Builtins.hs b/plutus-tx-plugin/src/PlutusTx/Compiler/Builtins.hs index e2eb7bb93e6..7a30b9d257d 100644 --- a/plutus-tx-plugin/src/PlutusTx/Compiler/Builtins.hs +++ b/plutus-tx-plugin/src/PlutusTx/Compiler/Builtins.hs @@ -40,6 +40,7 @@ import PlutusCore.Crypto.BLS12_381.G2 qualified as BLS12_381.G2 import PlutusCore.Crypto.BLS12_381.Pairing qualified as BLS12_381.Pairing import PlutusCore.Data qualified as PLC import PlutusCore.Quote +import PlutusCore.StdLib.Data.Pair qualified as PLC import GHC.Plugins qualified as GHC import GHC.Types.TyThing qualified as GHC @@ -409,7 +410,49 @@ defineBuiltinTerms = do PLC.HeadList -> defineBuiltinInl 'Builtins.head PLC.TailList -> defineBuiltinInl 'Builtins.tail PLC.ChooseList -> defineBuiltinInl 'Builtins.chooseList - PLC.CaseList -> defineBuiltinInl 'Builtins.caseList' + PLC.CaseList -> defineBuiltinTerm annMayInline 'Builtins.caseList' $ + -- > /\a r -> + -- > \(z : r) (f : a -> list a -> r) (xs : list a) -> + -- > chooseList + -- > {a} + -- > {all dead. r} + -- > xs + -- > (/\dead -> z) + -- > (/\dead -> f (headList {a} xs) (tailList {a} xs)) + -- > {r} + fmap (const annMayInline) . runQuote $ do + a <- freshTyName "a" + r <- freshTyName "r" + dead <- freshTyName "dead" + xs <- freshName "xs" + z <- freshName "z" + f <- freshName "f" + let listA = PLC.TyApp () (PLC.mkTyBuiltin @_ @[] ()) $ PLC.TyVar () a + funAtXs headOrTail = + PIR.apply () + (PIR.tyInst () (PIR.builtin () headOrTail) $ PLC.TyVar () a) + (PIR.var () xs) + return + . PIR.tyAbs () a (PLC.Type ()) + . PIR.tyAbs () r (PLC.Type ()) + . PIR.lamAbs () z (PLC.TyVar () r) + . PIR.lamAbs () f + (PLC.TyFun () (PLC.TyVar () a) . PLC.TyFun () listA $ PLC.TyVar () r) + . PIR.lamAbs () xs listA + . PIR.tyInst () + (PIR.mkIterAppNoAnn + (PIR.mkIterInstNoAnn + (PIR.builtin () PLC.ChooseList) + [ PLC.TyVar () a + , PLC.TyForall () dead (PLC.Type ()) $ PLC.TyVar () r + ]) + [ PIR.var () xs + , PIR.tyAbs () dead (PLC.Type ()) $ PIR.var () z + , PIR.tyAbs () dead (PLC.Type ()) $ PIR.mkIterAppNoAnn + (PIR.var () f) + [funAtXs PLC.HeadList, funAtXs PLC.TailList] + ]) + $ PLC.TyVar () r PLC.MkNilData -> defineBuiltinInl 'Builtins.mkNilData PLC.MkNilPairData -> defineBuiltinInl 'Builtins.mkNilPairData PLC.MkCons -> defineBuiltinInl 'Builtins.mkCons @@ -428,8 +471,87 @@ defineBuiltinTerms = do PLC.UnBData -> defineBuiltinInl 'Builtins.unsafeDataAsB PLC.UnIData -> defineBuiltinInl 'Builtins.unsafeDataAsI PLC.SerialiseData -> defineBuiltinInl 'Builtins.serialiseData - PLC.CaseData -> defineBuiltinInl 'Builtins.caseData' - + PLC.CaseData -> defineBuiltinTerm annMayInline 'Builtins.caseData' $ + -- > /\r -> + -- > \(fConstr : integer -> list data -> r) + -- > (fMap : list (pair data data) -> r) + -- > (fList : list data -> r) + -- > (fI : integer -> r) + -- > (fB : bytestring -> r) + -- > (d : data) -> + -- > chooseData + -- > {all dead. r} + -- > d + -- > (/\dead -> + -- > (/\a b c -> + -- > \(f : a -> b -> c) (p : pair a b) -> + -- > f (fstPair {a} {b} p) (sndPair {a} {b} p)) + -- > {integer} + -- > {list data} + -- > {r} + -- > fConstr + -- > (unConstrData d)) + -- > (/\dead -> fMap (unMapData d)) + -- > (/\dead -> fList (unListData d)) + -- > (/\dead -> fI (unIData d)) + -- > (/\dead -> fB (unBData d)) + -- > {r} + fmap (const annMayInline) . runQuote $ do + r <- freshTyName "r" + dead <- freshTyName "dead" + fConstr <- freshName "fConstr" + fMap <- freshName "fMap" + fList <- freshName "fList" + fI <- freshName "fI" + fB <- freshName "fB" + d <- freshName "d" + let integer = PLC.mkTyBuiltin @_ @Integer () + listData = PLC.mkTyBuiltin @_ @[PLC.Data] () + listPairData = PLC.mkTyBuiltin @_ @[(PLC.Data, PLC.Data)] () + bytestring = PLC.mkTyBuiltin @_ @BS.ByteString () + return + . PIR.tyAbs () r (PLC.Type ()) + . PIR.lamAbs () + fConstr + (PLC.TyFun () integer . PLC.TyFun () listData $ PLC.TyVar () r) + . PIR.lamAbs () fMap (PLC.TyFun () listPairData $ PLC.TyVar () r) + . PIR.lamAbs () fList (PLC.TyFun () listData $ PLC.TyVar () r) + . PIR.lamAbs () fI (PLC.TyFun () integer $ PLC.TyVar () r) + . PIR.lamAbs () fB (PLC.TyFun () bytestring $ PLC.TyVar () r) + . PIR.lamAbs () d (PLC.mkTyBuiltin @_ @PLC.Data ()) + . PIR.tyInst () + (PIR.mkIterAppNoAnn + ( PIR.tyInst () (PIR.builtin () PLC.ChooseData) + . PLC.TyForall () dead (PLC.Type ()) + $ PLC.TyVar () r) + [ PIR.var () d + , PIR.tyAbs () dead (PLC.Type ()) + $ PIR.mkIterAppNoAnn + (PIR.mkIterInstNoAnn + PLC.uncurry + [integer, listData, PLC.TyVar () r]) + [ PIR.var () fConstr + , PIR.apply () (PIR.builtin () PLC.UnConstrData) $ + PIR.var () d + ] + , PIR.tyAbs () dead (PLC.Type ()) + . PIR.apply () (PIR.var () fMap) + . PIR.apply () (PIR.builtin () PLC.UnMapData) + $ PIR.var () d + , PIR.tyAbs () dead (PLC.Type ()) + . PIR.apply () (PIR.var () fList) + . PIR.apply () (PIR.builtin () PLC.UnListData) + $ PIR.var () d + , PIR.tyAbs () dead (PLC.Type ()) + . PIR.apply () (PIR.var () fI) + . PIR.apply () (PIR.builtin () PLC.UnIData) + $ PIR.var () d + , PIR.tyAbs () dead (PLC.Type ()) + . PIR.apply () (PIR.var () fB) + . PIR.apply () (PIR.builtin () PLC.UnBData) + $ PIR.var () d + ]) + $ PLC.TyVar () r -- BLS PLC.Bls12_381_G1_equal -> defineBuiltinInl 'Builtins.bls12_381_G1_equals PLC.Bls12_381_G1_add -> defineBuiltinInl 'Builtins.bls12_381_G1_add diff --git a/plutus-tx-plugin/test/Budget/9.6/builtinListIndexing.budget.golden b/plutus-tx-plugin/test/Budget/9.6/builtinListIndexing.budget.golden index 79ce1b9b37e..98c445bb648 100644 --- a/plutus-tx-plugin/test/Budget/9.6/builtinListIndexing.budget.golden +++ b/plutus-tx-plugin/test/Budget/9.6/builtinListIndexing.budget.golden @@ -1,2 +1,2 @@ -({cpu: 600005654365 -| mem: 600000027354}) \ No newline at end of file +({cpu: 8593207 +| mem: 35130}) \ No newline at end of file diff --git a/plutus-tx-plugin/test/Budget/9.6/builtinListIndexing.pir.golden b/plutus-tx-plugin/test/Budget/9.6/builtinListIndexing.pir.golden index 97537c89a4e..96a4474b695 100644 --- a/plutus-tx-plugin/test/Budget/9.6/builtinListIndexing.pir.golden +++ b/plutus-tx-plugin/test/Budget/9.6/builtinListIndexing.pir.golden @@ -8,9 +8,17 @@ in letrec !go : list data -> integer -> data = \(xs : list data) (i : integer) -> - caseList - {data} - {Unit -> Unit -> data} + (let + r = Unit -> Unit -> data + in + \(z : r) (f : data -> list data -> r) (xs : list data) -> + chooseList + {data} + {all dead. r} + xs + (/\dead -> z) + (/\dead -> f (headList {data} xs) (tailList {data} xs)) + {r}) (\(ds : Unit) -> error {Unit -> data}) (\(x : data) (xs : list data) (ds : Unit) (eta : Unit) -> Bool_match diff --git a/plutus-tx-plugin/test/Budget/9.6/builtinListIndexing.uplc.golden b/plutus-tx-plugin/test/Budget/9.6/builtinListIndexing.uplc.golden index fb187a85c58..403b9d99cd5 100644 --- a/plutus-tx-plugin/test/Budget/9.6/builtinListIndexing.uplc.golden +++ b/plutus-tx-plugin/test/Budget/9.6/builtinListIndexing.uplc.golden @@ -3,15 +3,20 @@ ((\go d -> go (unListData d) 5) ((\s -> s s) (\s xs i -> - force (force caseList) - (\ds -> error) - (\x xs ds eta -> - force - (force - (force ifThenElse - (equalsInteger 0 i) - (delay (delay x)) - (delay (delay (s s xs (subtractInteger i 1))))))) - xs + force + (force (force chooseList) + xs + (delay (\ds -> error)) + (delay + ((\x xs ds eta -> + force + (force + (force ifThenElse + (equalsInteger 0 i) + (delay (delay x)) + (delay + (delay (s s xs (subtractInteger i 1))))))) + (force headList xs) + (force tailList xs)))) (constr 0 []) (constr 0 []))))) \ No newline at end of file diff --git a/plutus-tx-plugin/test/Budget/9.6/map1-budget.budget.golden b/plutus-tx-plugin/test/Budget/9.6/map1-budget.budget.golden index 146181068d2..79a1656df56 100644 --- a/plutus-tx-plugin/test/Budget/9.6/map1-budget.budget.golden +++ b/plutus-tx-plugin/test/Budget/9.6/map1-budget.budget.golden @@ -1,2 +1,2 @@ -({cpu: 10500258573207 -| mem: 10500000744901}) \ No newline at end of file +({cpu: 329673186 +| mem: 1015513}) \ No newline at end of file diff --git a/plutus-tx-plugin/test/Budget/9.6/map1.pir.golden b/plutus-tx-plugin/test/Budget/9.6/map1.pir.golden index 460db35e4da..ee64841c69d 100644 --- a/plutus-tx-plugin/test/Budget/9.6/map1.pir.golden +++ b/plutus-tx-plugin/test/Budget/9.6/map1.pir.golden @@ -264,6 +264,16 @@ let data (Maybe :: * -> *) a | Maybe_match where Just : a -> Maybe a Nothing : Maybe a + !caseList' : all a r. r -> (a -> list a -> r) -> list a -> r + = /\a r -> + \(z : r) (f : a -> list a -> r) (xs : list a) -> + chooseList + {a} + {all dead. r} + xs + (/\dead -> z) + (/\dead -> f (headList {a} xs) (tailList {a} xs)) + {r} !lookup : all k a. (\a -> a -> data) k -> @@ -282,8 +292,8 @@ let !k : data = `$dToData` ds in letrec - !go : list (pair data data) -> Maybe data - = caseList + ~go : list (pair data data) -> Maybe data + = caseList' {pair data data} {Maybe data} (Nothing {data}) @@ -346,8 +356,8 @@ in = mkCons {pair data data} (mkPairData k a) [] in letrec - !go : list (pair data data) -> list (pair data data) - = caseList + ~go : list (pair data data) -> list (pair data data) + = caseList' {pair data data} {list (pair data data)} nilCase @@ -372,8 +382,8 @@ in !k : data = iData (addInteger 5 n) in letrec - !go : list (pair data data) -> list (pair data data) - = caseList + ~go : list (pair data data) -> list (pair data data) + = caseList' {pair data data} {list (pair data data)} [] diff --git a/plutus-tx-plugin/test/Budget/9.6/map1.uplc.golden b/plutus-tx-plugin/test/Budget/9.6/map1.uplc.golden index 3d227e206e6..e9376850d02 100644 --- a/plutus-tx-plugin/test/Budget/9.6/map1.uplc.golden +++ b/plutus-tx-plugin/test/Budget/9.6/map1.uplc.golden @@ -9,167 +9,212 @@ (\go -> (\concatBuiltinStrings n -> - (\nt -> + (\caseList' -> (\nt -> - (\lookup -> - constr 0 - [ (lookup (\i -> iData i) unBData n nt) - , (lookup - (\i -> iData i) - unBData - (addInteger 5 n) - nt) - , (lookup - (\i -> iData i) - unBData - (addInteger 10 n) - nt) - , (lookup - (\i -> iData i) - unBData - (addInteger 20 n) - nt) - , (lookup - (\i -> iData i) - unBData - (addInteger 5 n) - nt) ]) - (\`$dToData` - `$dUnsafeFromData` - ds - ds -> - force - (case - ((\k -> - fix1 - (\go -> - force - (force caseList) - (constr 1 []) - (\hd -> - force - (force - (force - ifThenElse - (equalsData - k - (force - (force - fstPair) - hd)) - (delay - (delay - (\ds -> - constr 0 - [ (force - (force - sndPair) - hd) ]))) - (delay - (delay - go)))))) - ds) - (`$dToData` ds)) - [ (\a -> - delay - (constr 0 - [(`$dUnsafeFromData` a)])) - , (delay (constr 1 [])) ]))) - ((\k -> - fix1 - (\go -> - force (force caseList) - [] - (\hd tl -> - force - (force - (force ifThenElse - (equalsData - k - (force (force fstPair) - hd)) - (delay (delay tl)) - (delay - (delay - (force mkCons - hd - (go tl)))))))) - nt) - (iData (addInteger 5 n)))) - ((\z -> - (\go eta -> - go eta) - (fix1 - (\go + (\nt -> + (\lookup -> + constr 0 + [ (lookup + (\i -> iData i) + unBData + n + nt) + , (lookup + (\i -> iData i) + unBData + (addInteger 5 n) + nt) + , (lookup + (\i -> iData i) + unBData + (addInteger 10 n) + nt) + , (lookup + (\i -> iData i) + unBData + (addInteger 20 n) + nt) + , (lookup + (\i -> iData i) + unBData + (addInteger 5 n) + nt) ]) + (\`$dToData` + `$dUnsafeFromData` + ds ds -> force (case - ds - [ (delay z) - , (\y - ys -> + ((\k -> + force + (fix1 + (\go + arg -> + delay + (caseList' + (constr 1 []) + (\hd -> + force + (force + (force + ifThenElse + (equalsData + k + (force + (force + fstPair) + hd)) + (delay + (delay + (\ds -> + constr 0 + [ (force + (force + sndPair) + hd) ]))) + (delay + (delay + (force + (go + (delay + (\x -> + x))))))))))) + (delay (\x -> x))) + ds) + (`$dToData` ds)) + [ (\a -> delay - ((\ds -> - (\ds - ds -> - (\k -> - (\a -> - (\nilCase -> - fix1 - (\go -> - force - (force - caseList) - nilCase - (\hd - tl -> - force - (force - (force - ifThenElse - (equalsData - k + (constr 0 + [ (`$dUnsafeFromData` + a) ])) + , (delay (constr 1 [])) ]))) + ((\k -> + force + (fix1 + (\go + arg -> + delay + (caseList' + [] + (\hd + tl -> + force + (force + (force + ifThenElse + (equalsData + k + (force + (force + fstPair) + hd)) + (delay + (delay tl)) + (delay + (delay + (force + mkCons + hd + (force + (go + (delay + (\x -> + x))) + tl))))))))) + (delay (\x -> x))) + nt) + (iData (addInteger 5 n)))) + ((\z -> + (\go eta -> + go eta) + (fix1 + (\go + ds -> + force + (case + ds + [ (delay z) + , (\y + ys -> + delay + ((\ds -> + (\ds + ds -> + (\k -> + (\a -> + (\nilCase -> + force + (fix1 + (\go + arg -> + delay + (caseList' + nilCase + (\hd + tl -> + force (force (force - fstPair) - hd)) - (delay - (delay - (force - mkCons - (mkPairData + ifThenElse + (equalsData k - a) - tl))) - (delay - (delay - (force - mkCons - hd - (go - tl)))))))) - ds) - (force - mkCons - (mkPairData - k - a) - [])) - (bData ds)) - (iData ds)) - (encodeUtf8 - (concatBuiltinStrings - (`$fShowBuiltinByteString_$cshowsPrec` - 0 - y - (constr 0 - []))))) - (addInteger n y) - (go ys))) ])))) - (force mkCons - (mkPairData (iData n) (B #30)) - []) - (`$fEnumBool_$cenumFromTo` 1 10))) + (force + (force + fstPair) + hd)) + (delay + (delay + (force + mkCons + (mkPairData + k + a) + tl))) + (delay + (delay + (force + mkCons + hd + (force + (go + (delay + (\x -> + x))) + tl))))))))) + (delay + (\x -> + x))) + ds) + (force + mkCons + (mkPairData + k + a) + [])) + (bData ds)) + (iData ds)) + (encodeUtf8 + (concatBuiltinStrings + (`$fShowBuiltinByteString_$cshowsPrec` + 0 + y + (constr 0 + [ ]))))) + (addInteger n y) + (go ys))) ])))) + (force mkCons + (mkPairData (iData n) (B #30)) + []) + (`$fEnumBool_$cenumFromTo` 1 10))) + (\z f xs -> + force + (force (force chooseList) + xs + (delay z) + (delay + (f + (force headList xs) + (force tailList xs)))))) (fix1 (\concatBuiltinStrings ds -> diff --git a/plutus-tx-plugin/test/Budget/9.6/map2-budget.budget.golden b/plutus-tx-plugin/test/Budget/9.6/map2-budget.budget.golden index 632d121e027..432791a44b6 100644 --- a/plutus-tx-plugin/test/Budget/9.6/map2-budget.budget.golden +++ b/plutus-tx-plugin/test/Budget/9.6/map2-budget.budget.golden @@ -1,2 +1,2 @@ -({cpu: 6200097196651 -| mem: 6200000310750}) \ No newline at end of file +({cpu: 138097368 +| mem: 465626}) \ No newline at end of file diff --git a/plutus-tx-plugin/test/Budget/9.6/map2.pir.golden b/plutus-tx-plugin/test/Budget/9.6/map2.pir.golden index 4959d5506bd..2a8e73cb7e8 100644 --- a/plutus-tx-plugin/test/Budget/9.6/map2.pir.golden +++ b/plutus-tx-plugin/test/Budget/9.6/map2.pir.golden @@ -1,4 +1,14 @@ let + !caseList' : all a r. r -> (a -> list a -> r) -> list a -> r + = /\a r -> + \(z : r) (f : a -> list a -> r) (xs : list a) -> + chooseList + {a} + {all dead. r} + xs + (/\dead -> z) + (/\dead -> f (headList {a} xs) (tailList {a} xs)) + {r} data (Tuple2 :: * -> * -> *) a b | Tuple2_match where Tuple2 : a -> b -> Tuple2 a b in @@ -8,8 +18,8 @@ letrec Cons : a -> List a -> List a in letrec - !go : list (pair data data) -> List (Tuple2 integer bytestring) - = caseList + ~go : list (pair data data) -> List (Tuple2 integer bytestring) + = caseList' {pair data data} {List (Tuple2 integer bytestring)} (Nil {Tuple2 integer bytestring}) @@ -26,7 +36,7 @@ in letrec !go : list (pair data data) -> list (pair data data) -> list (pair data data) = \(acc : list (pair data data)) -> - caseList + caseList' {pair data data} {list (pair data data)} acc @@ -135,8 +145,8 @@ in n))))) in letrec - !go : list (pair data data) -> list (pair data data) - = caseList + ~go : list (pair data data) -> list (pair data data) + = caseList' {pair data data} {list (pair data data)} [] @@ -146,8 +156,8 @@ in !k' : data = fstPair {data} {data} hd in letrec - !go : list (pair data data) -> Maybe data - = caseList + ~go : list (pair data data) -> Maybe data + = caseList' {pair data data} {Maybe data} (Nothing {data}) @@ -219,8 +229,8 @@ in n)))))) in letrec - !go : list (pair data data) -> list (pair data data) - = caseList + ~go : list (pair data data) -> list (pair data data) + = caseList' {pair data data} {list (pair data data)} [] @@ -233,8 +243,8 @@ in !k : data = fstPair {data} {data} hd in letrec - !go : list (pair data data) -> Bool - = caseList + ~go : list (pair data data) -> Bool + = caseList' {pair data data} {Bool} False diff --git a/plutus-tx-plugin/test/Budget/9.6/map2.uplc.golden b/plutus-tx-plugin/test/Budget/9.6/map2.uplc.golden index d15de90973f..140bc4e7dae 100644 --- a/plutus-tx-plugin/test/Budget/9.6/map2.uplc.golden +++ b/plutus-tx-plugin/test/Budget/9.6/map2.uplc.golden @@ -1,208 +1,256 @@ (program 1.1.0 ((\fix1 -> - (\go -> + (\caseList' -> (\go -> - (\goList - n -> - (\unsafeFromList -> - (\nt -> - (\go -> - (\nt -> + (\go -> + (\goList + n -> + (\unsafeFromList -> + (\nt -> + (\go -> (\nt -> - fix1 - (\go ds -> - force - (case - ds - [ (delay (constr 0 [])) - , (\x xs -> - delay - (constr 1 - [ (case - x - [ (\k v -> - constr 0 - [ k - , (decodeUtf8 - v) ]) ]) - , (go xs) ])) ])) - (go nt)) - ((\rs' -> - (\ls' -> go rs' ls') (go nt)) - (fix1 - (\go -> + (\nt -> + fix1 + (\go ds -> force - (force caseList) - [] - (\hd - tl -> - (\tl' -> + (case + ds + [ (delay (constr 0 [])) + , (\x xs -> + delay + (constr 1 + [ (case + x + [ (\k v -> + constr 0 + [ k + , (decodeUtf8 + v) ]) ]) + , (go xs) ])) ])) + (force go nt)) + ((\rs' -> + (\ls' -> go rs' ls') (force go nt)) + (force + (fix1 + (\go + arg -> + delay + (caseList' + [] + (\hd + tl -> + (\tl' -> + force + (case + ((\k -> + force + (fix1 + (\go + arg -> + delay + (caseList' + (constr 1 + [ ]) + (\hd -> + force + (force + (force + ifThenElse + (equalsData + k + (force + (force + fstPair) + hd)) + (delay + (delay + (\ds -> + constr 0 + [ ]))) + (delay + (delay + (force + (go + (delay + (\x -> + x))))))))))) + (delay + (\x -> + x))) + nt) + (force + (force + fstPair) + hd)) + [ (delay tl') + , (delay + (force mkCons + hd + tl')) ])) + (force + (go (delay (\x -> x))) + tl)))) + (delay (\x -> x))) + nt))) + (unsafeFromList + (\i -> iData i) + bData + (constr 1 + [ (constr 0 [(addInteger 1 n), #6f6e65]) + , (constr 1 + [ (constr 0 + [(addInteger 2 n), #74776f]) + , (constr 1 + [ (constr 0 + [ (addInteger 3 n) + , #7468726565 ]) + , (constr 1 + [ (constr 0 + [ (addInteger 4 n) + , #666f7572 ]) + , (constr 1 + [ (constr 0 + [ (addInteger 5 n) + , #66697665 ]) + , (constr 0 + [ ]) ]) ]) ]) ]) ]))) + (fix1 + (\go + arg -> + delay + (caseList' + [] + (\hd + tl -> + (\v' -> + (\k' -> force (case - ((\k -> - fix1 - (\go -> - force - (force caseList) - (constr 1 []) - (\hd -> - force - (force + (force + (fix1 + (\go + arg -> + delay + (caseList' + (constr 1 []) + (\hd -> + force (force - ifThenElse - (equalsData - k - (force + (force + ifThenElse + (equalsData + k' (force - fstPair) - hd)) - (delay + (force + fstPair) + hd)) (delay - (\ds -> - constr 0 - [ ]))) - (delay + (delay + (\ds -> + constr 0 + [ (force + (force + sndPair) + hd) ]))) (delay - go)))))) - nt) - (force (force fstPair) - hd)) - [ (delay tl') - , (delay - (force mkCons - hd - tl')) ])) - (go tl))) - nt))) - (unsafeFromList - (\i -> iData i) - bData - (constr 1 - [ (constr 0 [(addInteger 1 n), #6f6e65]) - , (constr 1 - [ (constr 0 [(addInteger 2 n), #74776f]) - , (constr 1 - [ (constr 0 - [(addInteger 3 n), #7468726565]) - , (constr 1 - [ (constr 0 - [ (addInteger 4 n) - , #666f7572 ]) - , (constr 1 - [ (constr 0 - [ (addInteger 5 n) - , #66697665 ]) - , (constr 0 - []) ]) ]) ]) ]) ]))) - (fix1 - (\go -> - force - (force caseList) - [] - (\hd - tl -> - (\v' -> - (\k' -> - force - (case - (fix1 - (\go -> - force - (force caseList) - (constr 1 []) - (\hd -> - force + (delay + (force + (go + (delay + (\x -> + x))))))))))) + (delay (\x -> x))) + nt) + [ (\r -> + delay (force + mkCons + (mkPairData + k' + (bData + (appendByteString + (unBData + v') + (unBData + r)))) (force - ifThenElse - (equalsData - k' - (force - (force - fstPair) - hd)) - (delay + (go (delay - (\ds -> - constr 0 - [ (force - (force - sndPair) - hd) ]))) - (delay - (delay - go)))))) - nt) - [ (\r -> - delay - (force mkCons - (mkPairData - k' - (bData - (appendByteString - (unBData v') - (unBData r)))) - (go tl))) - , (delay - (force mkCons - (mkPairData k' v') - (go tl))) ])) - (force (force fstPair) hd)) - (force (force sndPair) hd))))) - (unsafeFromList - (\i -> iData i) - bData - (constr 1 - [ (constr 0 [(addInteger 3 n), #5448524545]) - , (constr 1 - [ (constr 0 [(addInteger 4 n), #464f5552]) - , (constr 1 - [ (constr 0 [(addInteger 6 n), #534958]) - , (constr 1 - [ (constr 0 - [(addInteger 7 n), #534556454e]) - , (constr 0 []) ]) ]) ]) ]))) - (\`$dToData` `$dToData` -> - (\go eta -> goList (go eta)) - (fix1 - (\go ds -> - force - (case - ds - [ (delay (constr 0 [])) - , (\x xs -> - delay - (constr 1 - [ (case - x - [ (\k a -> - constr 0 - [ (`$dToData` k) - , (`$dToData` a) ]) ]) - , (go xs) ])) ]))))) + (\x -> + x))) + tl))) + , (delay + (force mkCons + (mkPairData k' v') + (force + (go + (delay + (\x -> x))) + tl))) ])) + (force (force fstPair) hd)) + (force (force sndPair) hd)))) + (delay (\x -> x)))) + (unsafeFromList + (\i -> iData i) + bData + (constr 1 + [ (constr 0 [(addInteger 3 n), #5448524545]) + , (constr 1 + [ (constr 0 [(addInteger 4 n), #464f5552]) + , (constr 1 + [ (constr 0 [(addInteger 6 n), #534958]) + , (constr 1 + [ (constr 0 + [ (addInteger 7 n) + , #534556454e ]) + , (constr 0 []) ]) ]) ]) ]))) + (\`$dToData` `$dToData` -> + (\go eta -> goList (go eta)) + (fix1 + (\go ds -> + force + (case + ds + [ (delay (constr 0 [])) + , (\x xs -> + delay + (constr 1 + [ (case + x + [ (\k a -> + constr 0 + [ (`$dToData` k) + , (`$dToData` + a) ]) ]) + , (go xs) ])) ]))))) + (fix1 + (\goList ds -> + case + ds + [ [] + , (\d ds -> + force mkCons + (case d [(\d d -> mkPairData d d)]) + (goList ds)) ]))) (fix1 - (\goList ds -> - case - ds - [ [] - , (\d ds -> - force mkCons - (case d [(\d d -> mkPairData d d)]) - (goList ds)) ]))) + (\go acc -> caseList' acc (\hd -> go (force mkCons hd acc))))) (fix1 - (\go acc -> - force (force caseList) - acc - (\hd -> go (force mkCons hd acc))))) - (fix1 - (\go -> - force (force caseList) - (constr 0 []) - (\hd tl -> - constr 1 - [ (constr 0 - [ (unIData (force (force fstPair) hd)) - , (unBData (force (force sndPair) hd)) ]) - , (go tl) ])))) + (\go arg -> + delay + (caseList' + (constr 0 []) + (\hd tl -> + constr 1 + [ (constr 0 + [ (unIData (force (force fstPair) hd)) + , (unBData (force (force sndPair) hd)) ]) + , (force (go (delay (\x -> x))) tl) ]))) + (delay (\x -> x)))) + (\z f xs -> + force + (force (force chooseList) + xs + (delay z) + (delay (f (force headList xs) (force tailList xs)))))) (\f -> (\s -> s s) (\s -> f (\x -> s s x))))) \ No newline at end of file diff --git a/plutus-tx-plugin/test/Budget/9.6/map3-budget.budget.golden b/plutus-tx-plugin/test/Budget/9.6/map3-budget.budget.golden index 632d121e027..432791a44b6 100644 --- a/plutus-tx-plugin/test/Budget/9.6/map3-budget.budget.golden +++ b/plutus-tx-plugin/test/Budget/9.6/map3-budget.budget.golden @@ -1,2 +1,2 @@ -({cpu: 6200097196651 -| mem: 6200000310750}) \ No newline at end of file +({cpu: 138097368 +| mem: 465626}) \ No newline at end of file diff --git a/plutus-tx-plugin/test/Budget/9.6/map3.pir.golden b/plutus-tx-plugin/test/Budget/9.6/map3.pir.golden index 4959d5506bd..2a8e73cb7e8 100644 --- a/plutus-tx-plugin/test/Budget/9.6/map3.pir.golden +++ b/plutus-tx-plugin/test/Budget/9.6/map3.pir.golden @@ -1,4 +1,14 @@ let + !caseList' : all a r. r -> (a -> list a -> r) -> list a -> r + = /\a r -> + \(z : r) (f : a -> list a -> r) (xs : list a) -> + chooseList + {a} + {all dead. r} + xs + (/\dead -> z) + (/\dead -> f (headList {a} xs) (tailList {a} xs)) + {r} data (Tuple2 :: * -> * -> *) a b | Tuple2_match where Tuple2 : a -> b -> Tuple2 a b in @@ -8,8 +18,8 @@ letrec Cons : a -> List a -> List a in letrec - !go : list (pair data data) -> List (Tuple2 integer bytestring) - = caseList + ~go : list (pair data data) -> List (Tuple2 integer bytestring) + = caseList' {pair data data} {List (Tuple2 integer bytestring)} (Nil {Tuple2 integer bytestring}) @@ -26,7 +36,7 @@ in letrec !go : list (pair data data) -> list (pair data data) -> list (pair data data) = \(acc : list (pair data data)) -> - caseList + caseList' {pair data data} {list (pair data data)} acc @@ -135,8 +145,8 @@ in n))))) in letrec - !go : list (pair data data) -> list (pair data data) - = caseList + ~go : list (pair data data) -> list (pair data data) + = caseList' {pair data data} {list (pair data data)} [] @@ -146,8 +156,8 @@ in !k' : data = fstPair {data} {data} hd in letrec - !go : list (pair data data) -> Maybe data - = caseList + ~go : list (pair data data) -> Maybe data + = caseList' {pair data data} {Maybe data} (Nothing {data}) @@ -219,8 +229,8 @@ in n)))))) in letrec - !go : list (pair data data) -> list (pair data data) - = caseList + ~go : list (pair data data) -> list (pair data data) + = caseList' {pair data data} {list (pair data data)} [] @@ -233,8 +243,8 @@ in !k : data = fstPair {data} {data} hd in letrec - !go : list (pair data data) -> Bool - = caseList + ~go : list (pair data data) -> Bool + = caseList' {pair data data} {Bool} False diff --git a/plutus-tx-plugin/test/Budget/9.6/map3.uplc.golden b/plutus-tx-plugin/test/Budget/9.6/map3.uplc.golden index d15de90973f..140bc4e7dae 100644 --- a/plutus-tx-plugin/test/Budget/9.6/map3.uplc.golden +++ b/plutus-tx-plugin/test/Budget/9.6/map3.uplc.golden @@ -1,208 +1,256 @@ (program 1.1.0 ((\fix1 -> - (\go -> + (\caseList' -> (\go -> - (\goList - n -> - (\unsafeFromList -> - (\nt -> - (\go -> - (\nt -> + (\go -> + (\goList + n -> + (\unsafeFromList -> + (\nt -> + (\go -> (\nt -> - fix1 - (\go ds -> - force - (case - ds - [ (delay (constr 0 [])) - , (\x xs -> - delay - (constr 1 - [ (case - x - [ (\k v -> - constr 0 - [ k - , (decodeUtf8 - v) ]) ]) - , (go xs) ])) ])) - (go nt)) - ((\rs' -> - (\ls' -> go rs' ls') (go nt)) - (fix1 - (\go -> + (\nt -> + fix1 + (\go ds -> force - (force caseList) - [] - (\hd - tl -> - (\tl' -> + (case + ds + [ (delay (constr 0 [])) + , (\x xs -> + delay + (constr 1 + [ (case + x + [ (\k v -> + constr 0 + [ k + , (decodeUtf8 + v) ]) ]) + , (go xs) ])) ])) + (force go nt)) + ((\rs' -> + (\ls' -> go rs' ls') (force go nt)) + (force + (fix1 + (\go + arg -> + delay + (caseList' + [] + (\hd + tl -> + (\tl' -> + force + (case + ((\k -> + force + (fix1 + (\go + arg -> + delay + (caseList' + (constr 1 + [ ]) + (\hd -> + force + (force + (force + ifThenElse + (equalsData + k + (force + (force + fstPair) + hd)) + (delay + (delay + (\ds -> + constr 0 + [ ]))) + (delay + (delay + (force + (go + (delay + (\x -> + x))))))))))) + (delay + (\x -> + x))) + nt) + (force + (force + fstPair) + hd)) + [ (delay tl') + , (delay + (force mkCons + hd + tl')) ])) + (force + (go (delay (\x -> x))) + tl)))) + (delay (\x -> x))) + nt))) + (unsafeFromList + (\i -> iData i) + bData + (constr 1 + [ (constr 0 [(addInteger 1 n), #6f6e65]) + , (constr 1 + [ (constr 0 + [(addInteger 2 n), #74776f]) + , (constr 1 + [ (constr 0 + [ (addInteger 3 n) + , #7468726565 ]) + , (constr 1 + [ (constr 0 + [ (addInteger 4 n) + , #666f7572 ]) + , (constr 1 + [ (constr 0 + [ (addInteger 5 n) + , #66697665 ]) + , (constr 0 + [ ]) ]) ]) ]) ]) ]))) + (fix1 + (\go + arg -> + delay + (caseList' + [] + (\hd + tl -> + (\v' -> + (\k' -> force (case - ((\k -> - fix1 - (\go -> - force - (force caseList) - (constr 1 []) - (\hd -> - force - (force + (force + (fix1 + (\go + arg -> + delay + (caseList' + (constr 1 []) + (\hd -> + force (force - ifThenElse - (equalsData - k - (force + (force + ifThenElse + (equalsData + k' (force - fstPair) - hd)) - (delay + (force + fstPair) + hd)) (delay - (\ds -> - constr 0 - [ ]))) - (delay + (delay + (\ds -> + constr 0 + [ (force + (force + sndPair) + hd) ]))) (delay - go)))))) - nt) - (force (force fstPair) - hd)) - [ (delay tl') - , (delay - (force mkCons - hd - tl')) ])) - (go tl))) - nt))) - (unsafeFromList - (\i -> iData i) - bData - (constr 1 - [ (constr 0 [(addInteger 1 n), #6f6e65]) - , (constr 1 - [ (constr 0 [(addInteger 2 n), #74776f]) - , (constr 1 - [ (constr 0 - [(addInteger 3 n), #7468726565]) - , (constr 1 - [ (constr 0 - [ (addInteger 4 n) - , #666f7572 ]) - , (constr 1 - [ (constr 0 - [ (addInteger 5 n) - , #66697665 ]) - , (constr 0 - []) ]) ]) ]) ]) ]))) - (fix1 - (\go -> - force - (force caseList) - [] - (\hd - tl -> - (\v' -> - (\k' -> - force - (case - (fix1 - (\go -> - force - (force caseList) - (constr 1 []) - (\hd -> - force + (delay + (force + (go + (delay + (\x -> + x))))))))))) + (delay (\x -> x))) + nt) + [ (\r -> + delay (force + mkCons + (mkPairData + k' + (bData + (appendByteString + (unBData + v') + (unBData + r)))) (force - ifThenElse - (equalsData - k' - (force - (force - fstPair) - hd)) - (delay + (go (delay - (\ds -> - constr 0 - [ (force - (force - sndPair) - hd) ]))) - (delay - (delay - go)))))) - nt) - [ (\r -> - delay - (force mkCons - (mkPairData - k' - (bData - (appendByteString - (unBData v') - (unBData r)))) - (go tl))) - , (delay - (force mkCons - (mkPairData k' v') - (go tl))) ])) - (force (force fstPair) hd)) - (force (force sndPair) hd))))) - (unsafeFromList - (\i -> iData i) - bData - (constr 1 - [ (constr 0 [(addInteger 3 n), #5448524545]) - , (constr 1 - [ (constr 0 [(addInteger 4 n), #464f5552]) - , (constr 1 - [ (constr 0 [(addInteger 6 n), #534958]) - , (constr 1 - [ (constr 0 - [(addInteger 7 n), #534556454e]) - , (constr 0 []) ]) ]) ]) ]))) - (\`$dToData` `$dToData` -> - (\go eta -> goList (go eta)) - (fix1 - (\go ds -> - force - (case - ds - [ (delay (constr 0 [])) - , (\x xs -> - delay - (constr 1 - [ (case - x - [ (\k a -> - constr 0 - [ (`$dToData` k) - , (`$dToData` a) ]) ]) - , (go xs) ])) ]))))) + (\x -> + x))) + tl))) + , (delay + (force mkCons + (mkPairData k' v') + (force + (go + (delay + (\x -> x))) + tl))) ])) + (force (force fstPair) hd)) + (force (force sndPair) hd)))) + (delay (\x -> x)))) + (unsafeFromList + (\i -> iData i) + bData + (constr 1 + [ (constr 0 [(addInteger 3 n), #5448524545]) + , (constr 1 + [ (constr 0 [(addInteger 4 n), #464f5552]) + , (constr 1 + [ (constr 0 [(addInteger 6 n), #534958]) + , (constr 1 + [ (constr 0 + [ (addInteger 7 n) + , #534556454e ]) + , (constr 0 []) ]) ]) ]) ]))) + (\`$dToData` `$dToData` -> + (\go eta -> goList (go eta)) + (fix1 + (\go ds -> + force + (case + ds + [ (delay (constr 0 [])) + , (\x xs -> + delay + (constr 1 + [ (case + x + [ (\k a -> + constr 0 + [ (`$dToData` k) + , (`$dToData` + a) ]) ]) + , (go xs) ])) ]))))) + (fix1 + (\goList ds -> + case + ds + [ [] + , (\d ds -> + force mkCons + (case d [(\d d -> mkPairData d d)]) + (goList ds)) ]))) (fix1 - (\goList ds -> - case - ds - [ [] - , (\d ds -> - force mkCons - (case d [(\d d -> mkPairData d d)]) - (goList ds)) ]))) + (\go acc -> caseList' acc (\hd -> go (force mkCons hd acc))))) (fix1 - (\go acc -> - force (force caseList) - acc - (\hd -> go (force mkCons hd acc))))) - (fix1 - (\go -> - force (force caseList) - (constr 0 []) - (\hd tl -> - constr 1 - [ (constr 0 - [ (unIData (force (force fstPair) hd)) - , (unBData (force (force sndPair) hd)) ]) - , (go tl) ])))) + (\go arg -> + delay + (caseList' + (constr 0 []) + (\hd tl -> + constr 1 + [ (constr 0 + [ (unIData (force (force fstPair) hd)) + , (unBData (force (force sndPair) hd)) ]) + , (force (go (delay (\x -> x))) tl) ]))) + (delay (\x -> x)))) + (\z f xs -> + force + (force (force chooseList) + xs + (delay z) + (delay (f (force headList xs) (force tailList xs)))))) (\f -> (\s -> s s) (\s -> f (\x -> s s x))))) \ No newline at end of file diff --git a/plutus-tx-plugin/test/IsData/9.6/deconstructData.pir.golden b/plutus-tx-plugin/test/IsData/9.6/deconstructData.pir.golden index 48533a0ff73..6fcac63f242 100644 --- a/plutus-tx-plugin/test/IsData/9.6/deconstructData.pir.golden +++ b/plutus-tx-plugin/test/IsData/9.6/deconstructData.pir.golden @@ -13,8 +13,40 @@ let (bytestring -> r) -> data -> r - = caseData - !caseList' : all a r. r -> (a -> list a -> r) -> list a -> r = caseList + = /\r -> + \(fConstr : integer -> list data -> r) + (fMap : list (pair data data) -> r) + (fList : list data -> r) + (fI : integer -> r) + (fB : bytestring -> r) + (d : data) -> + chooseData + {all dead. r} + d + (/\dead -> + (/\a b c -> + \(f : a -> b -> c) (p : pair a b) -> + f (fstPair {a} {b} p) (sndPair {a} {b} p)) + {integer} + {list data} + {r} + fConstr + (unConstrData d)) + (/\dead -> fMap (unMapData d)) + (/\dead -> fList (unListData d)) + (/\dead -> fI (unIData d)) + (/\dead -> fB (unBData d)) + {r} + !caseList' : all a r. r -> (a -> list a -> r) -> list a -> r + = /\a r -> + \(z : r) (f : a -> list a -> r) (xs : list a) -> + chooseList + {a} + {all dead. r} + xs + (/\dead -> z) + (/\dead -> f (headList {a} xs) (tailList {a} xs)) + {r} !equalsInteger : integer -> integer -> bool = equalsInteger data (Maybe :: * -> *) a | Maybe_match where Just : a -> Maybe a diff --git a/plutus-tx-plugin/test/Plugin/Primitives/9.6/deconstructorData2.pir.golden b/plutus-tx-plugin/test/Plugin/Primitives/9.6/deconstructorData2.pir.golden index 437ca6457c4..2ce9b2ede06 100644 --- a/plutus-tx-plugin/test/Plugin/Primitives/9.6/deconstructorData2.pir.golden +++ b/plutus-tx-plugin/test/Plugin/Primitives/9.6/deconstructorData2.pir.golden @@ -52,7 +52,16 @@ let (all a b. (a -> b) -> f a -> f b) = /\(f :: * -> *) -> \(v : (\(f :: * -> *) -> all a b. (a -> b) -> f a -> f b) f) -> v - !caseList' : all a r. r -> (a -> list a -> r) -> list a -> r = caseList + !caseList' : all a r. r -> (a -> list a -> r) -> list a -> r + = /\a r -> + \(z : r) (f : a -> list a -> r) (xs : list a) -> + chooseList + {a} + {all dead. r} + xs + (/\dead -> z) + (/\dead -> f (headList {a} xs) (tailList {a} xs)) + {r} in letrec ~caseData_go : list data -> List data diff --git a/plutus-tx-plugin/test/size/Golden/Rational/Serialization/fromBuiltinData.size.golden b/plutus-tx-plugin/test/size/Golden/Rational/Serialization/fromBuiltinData.size.golden index 61f9147fdca..0a1b63de8b7 100644 --- a/plutus-tx-plugin/test/size/Golden/Rational/Serialization/fromBuiltinData.size.golden +++ b/plutus-tx-plugin/test/size/Golden/Rational/Serialization/fromBuiltinData.size.golden @@ -1 +1 @@ -275 \ No newline at end of file +353 \ No newline at end of file