Skip to content

Commit c7280e1

Browse files
committed
submissions(ecd): regenerate preview metrics with 1.64 evaluator
Addresses copilot review on PR #206: the previous metrics.json was produced by a stale measure-preview binary linked against plutus-core 1.52, while the submission declares min_plutus_version 1.64.0.0. Re-measured with measure-preview rebuilt against cabal.project.preview (pins plutus-core 1.64.0.0). Diff (preview, 1.52 binary -> 1.64 binary): cpu_units.sum: 18 734 009 -> 18 747 572 (+0.07%) memory_units.sum: 71 396 (unchanged) script_size: 502 bytes (unchanged) evaluator: PlutusTx.Eval-1.52.0.0 -> PlutusTx.Eval-1.64.0.0
1 parent 1e4c94b commit c7280e1

1 file changed

Lines changed: 23 additions & 23 deletions

File tree

  • submissions/ecd/Plinth_1.64.0.0_Unisay_builtincasing
Lines changed: 23 additions & 23 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
{
22
"evaluations": [
33
{
4-
"cpu_units": 793986,
4+
"cpu_units": 794397,
55
"description": "ECD of 0 and 12 should return 12 (edge case: first argument is zero)",
66
"execution_result": "success",
77
"memory_units": 3304,
@@ -15,105 +15,105 @@
1515
"name": "ecd_12_0"
1616
},
1717
{
18-
"cpu_units": 793986,
18+
"cpu_units": 794397,
1919
"description": "ECD of 7 and 7 should return 7 (edge case: identical numbers)",
2020
"execution_result": "success",
2121
"memory_units": 3304,
2222
"name": "ecd_7_7"
2323
},
2424
{
25-
"cpu_units": 1578512,
25+
"cpu_units": 1579745,
2626
"description": "ECD of 6 and 9 should return 3",
2727
"execution_result": "success",
2828
"memory_units": 5908,
2929
"name": "ecd_6_9"
3030
},
3131
{
32-
"cpu_units": 1186249,
32+
"cpu_units": 1187071,
3333
"description": "ECD of 12 and 8 should return 4",
3434
"execution_result": "success",
3535
"memory_units": 4606,
3636
"name": "ecd_12_8"
3737
},
3838
{
39-
"cpu_units": 1970775,
39+
"cpu_units": 1972419,
4040
"description": "ECD of 15 and 25 should return 5",
4141
"execution_result": "success",
4242
"memory_units": 7210,
4343
"name": "ecd_15_25"
4444
},
4545
{
46-
"cpu_units": 1970775,
46+
"cpu_units": 1972419,
4747
"description": "ECD of 17 and 19 should return 1 (coprime numbers)",
4848
"execution_result": "success",
4949
"memory_units": 7210,
5050
"name": "ecd_17_19"
5151
},
5252
{
53-
"cpu_units": 1970775,
53+
"cpu_units": 1972419,
5454
"description": "ECD of 13 and 29 should return 1 (coprime numbers)",
5555
"execution_result": "success",
5656
"memory_units": 7210,
5757
"name": "ecd_13_29"
5858
},
5959
{
60-
"cpu_units": 1578512,
60+
"cpu_units": 1579745,
6161
"description": "ECD of 48 and 18 should return 6",
6262
"execution_result": "success",
6363
"memory_units": 5908,
6464
"name": "ecd_48_18"
6565
},
6666
{
67-
"cpu_units": 1186249,
67+
"cpu_units": 1187071,
6868
"description": "ECD of 100 and 75 should return 25",
6969
"execution_result": "success",
7070
"memory_units": 4606,
7171
"name": "ecd_100_75"
7272
},
7373
{
74-
"cpu_units": 1578512,
74+
"cpu_units": 1579745,
7575
"description": "ECD of 1071 and 462 should return 21 (larger numbers)",
7676
"execution_result": "success",
7777
"memory_units": 5908,
7878
"name": "ecd_1071_462"
7979
},
8080
{
81-
"cpu_units": 1186249,
81+
"cpu_units": 1187071,
8282
"description": "ECD of 2520 and 1890 should return 630 (larger numbers)",
8383
"execution_result": "success",
8484
"memory_units": 4606,
8585
"name": "ecd_2520_1890"
8686
},
8787
{
88-
"cpu_units": 1186249,
88+
"cpu_units": 1187071,
8989
"description": "ECD of -12 and 8 should return 4 (negative first argument handled via abs)",
9090
"execution_result": "success",
9191
"memory_units": 4606,
9292
"name": "ecd_negative_12_8"
9393
},
9494
{
95-
"cpu_units": 1351457,
95+
"cpu_units": 1352279,
9696
"description": "ECD of 12 and -8 should return 4 (negative second argument handled via abs)",
9797
"execution_result": "success",
9898
"memory_units": 5008,
9999
"name": "ecd_12_negative_8"
100100
}
101101
],
102102
"execution_environment": {
103-
"evaluator": "PlutusTx.Eval-1.52.0.0"
103+
"evaluator": "PlutusTx.Eval-1.64.0.0"
104104
},
105105
"measurements": {
106-
"block_cpu_budget_pct": 0.0049269375,
106+
"block_cpu_budget_pct": 0.0049310475,
107107
"block_memory_budget_pct": 0.011629032258064517,
108108
"cpu_units": {
109-
"maximum": 1970775,
110-
"median": 1268853,
109+
"maximum": 1972419,
110+
"median": 1269675,
111111
"minimum": 401723,
112-
"sum": 18734009,
112+
"sum": 18747572,
113113
"sum_negative": 0,
114-
"sum_positive": 18734009
114+
"sum_positive": 18747572
115115
},
116-
"execution_fee_lovelace": 5471,
116+
"execution_fee_lovelace": 5472,
117117
"memory_units": {
118118
"maximum": 7210,
119119
"median": 4807,
@@ -127,11 +127,11 @@
127127
"scripts_per_block": 8599,
128128
"scripts_per_tx": 1941,
129129
"term_size": 440,
130-
"total_fee_lovelace": 13001,
131-
"tx_cpu_budget_pct": 0.01970775,
130+
"total_fee_lovelace": 13002,
131+
"tx_cpu_budget_pct": 0.01972419,
132132
"tx_memory_budget_pct": 0.051500000000000004
133133
},
134134
"scenario": "ecd",
135-
"timestamp": "2026-05-22T11:02:11Z",
135+
"timestamp": "2026-05-22T12:38:42Z",
136136
"version": "1.0.0"
137137
}

0 commit comments

Comments
 (0)