add AMD EPYC 3rd gen (c6a) (no-opt) (customSmallerIsBetter) benchmark…

… result for 4caf8d3

dev/bench/data.js

@@ -1,5 +1,5 @@
 window.BENCHMARK_DATA = {
-  "lastUpdate": 1736588593950,
+  "lastUpdate": 1736588607969,
   "repoUrl": "https://github.com/pq-code-package/mlkem-native",
   "entries": {
     "Arm Cortex-A72 (Raspberry Pi 4) benchmarks": [
@@ -199101,6 +199101,75 @@ window.BENCHMARK_DATA = {
             "unit": "cycles"
           }
         ]
+      },
+      {
+        "commit": {
+          "author": {
+            "email": "[email protected]",
+            "name": "Matthias J. Kannwischer",
+            "username": "mkannwischer"
+          },
+          "committer": {
+            "email": "[email protected]",
+            "name": "GitHub",
+            "username": "web-flow"
+          },
+          "distinct": true,
+          "id": "4caf8d363f4f20c176400d43f9cc6a21043ecd36",
+          "message": "Merge pull request #637 from pq-code-package/exclusive_ub\n\nCBMC: Switch to exclusive coefficient upper bounds",
+          "timestamp": "2025-01-11T17:36:33+08:00",
+          "tree_id": "c1080260d779d1d25cadcbf54e699031a8627d42",
+          "url": "https://github.com/pq-code-package/mlkem-native/commit/4caf8d363f4f20c176400d43f9cc6a21043ecd36"
+        },
+        "date": 1736588607217,
+        "tool": "customSmallerIsBetter",
+        "benches": [
+          {
+            "name": "ML-KEM-512 keypair",
+            "value": 52350,
+            "unit": "cycles"
+          },
+          {
+            "name": "ML-KEM-512 encaps",
+            "value": 65328,
+            "unit": "cycles"
+          },
+          {
+            "name": "ML-KEM-512 decaps",
+            "value": 88131,
+            "unit": "cycles"
+          },
+          {
+            "name": "ML-KEM-768 keypair",
+            "value": 85021,
+            "unit": "cycles"
+          },
+          {
+            "name": "ML-KEM-768 encaps",
+            "value": 101586,
+            "unit": "cycles"
+          },
+          {
+            "name": "ML-KEM-768 decaps",
+            "value": 132194,
+            "unit": "cycles"
+          },
+          {
+            "name": "ML-KEM-1024 keypair",
+            "value": 124056,
+            "unit": "cycles"
+          },
+          {
+            "name": "ML-KEM-1024 encaps",
+            "value": 145857,
+            "unit": "cycles"
+          },
+          {
+            "name": "ML-KEM-1024 decaps",
+            "value": 183765,
+            "unit": "cycles"
+          }
+        ]
       }
     ],
     "AMD EPYC 4th gen (c7a) (no-opt)": [