From 370b16001935e948dfb28c5a1855ff2a8efac180 Mon Sep 17 00:00:00 2001
From: seL4 CI <ci@sel4.systems>
Date: Wed, 4 Dec 2024 05:37:11 +0000
Subject: [PATCH] CI: update performance results

Signed-off-by: seL4 CI <ci@sel4.systems>
---
 About/Performance/index.html | 132 +++++++++++++++++------------------
 1 file changed, 66 insertions(+), 66 deletions(-)

diff --git a/About/Performance/index.html b/About/Performance/index.html
index 6704447b..9aec794a 100644
--- a/About/Performance/index.html
+++ b/About/Performance/index.html
@@ -32,40 +32,40 @@ <h1>Performance</h1>
     <td class="data-table-right">32</td>
     <td>A9/i.MX6/Sabre</td>
     <td class="data-table-right">1.0 GHz</td>
-    <td class="data-mean">583</td>
+    <td class="data-mean">586</td>
     <td class="data-stddev">(12)</td>
     <td class="data-mean">317</td>
-    <td class="data-stddev">(3)</td>
-    <td class="data-mean">335</td>
     <td class="data-stddev">(2)</td>
-    <td class="data-mean">836</td>
-    <td class="data-stddev">(11)</td>
+    <td class="data-mean">339</td>
+    <td class="data-stddev">(7)</td>
+    <td class="data-mean">832</td>
+    <td class="data-stddev">(10)</td>
   </tr>  <tr>
     <td>x86_64</td>
     <td class="data-table-right">64</td>
     <td>i7-4770/Haswell</td>
     <td class="data-table-right">3.4 GHz</td>
-    <td class="data-mean">1629</td>
-    <td class="data-stddev">(251)</td>
-    <td class="data-mean">591</td>
-    <td class="data-stddev">(15)</td>
-    <td class="data-mean">600</td>
+    <td class="data-mean">1578</td>
+    <td class="data-stddev">(263)</td>
+    <td class="data-mean">594</td>
     <td class="data-stddev">(14)</td>
-    <td class="data-mean">1251</td>
-    <td class="data-stddev">(75)</td>
+    <td class="data-mean">594</td>
+    <td class="data-stddev">(18)</td>
+    <td class="data-mean">1336</td>
+    <td class="data-stddev">(70)</td>
   </tr>  <tr>
     <td>x86_64</td>
     <td class="data-table-right">64</td>
     <td>i7-6700/Skylake (without meltdown mitigation)</td>
     <td class="data-table-right">3.4 GHz</td>
-    <td class="data-mean">1206</td>
-    <td class="data-stddev">(200)</td>
-    <td class="data-mean">380</td>
+    <td class="data-mean">1249</td>
+    <td class="data-stddev">(197)</td>
+    <td class="data-mean">381</td>
     <td class="data-stddev">(3)</td>
     <td class="data-mean">384</td>
-    <td class="data-stddev">(4)</td>
-    <td class="data-mean">753</td>
-    <td class="data-stddev">(83)</td>
+    <td class="data-stddev">(3)</td>
+    <td class="data-mean">751</td>
+    <td class="data-stddev">(82)</td>
   </tr>  <tr>
     <td>Armv8a</td>
     <td class="data-table-right">64</td>
@@ -73,25 +73,25 @@ <h1>Performance</h1>
     <td class="data-table-right">1.9 GHz</td>
     <td class="data-mean">664</td>
     <td class="data-stddev">(30)</td>
-    <td class="data-mean">418</td>
-    <td class="data-stddev">(9)</td>
-    <td class="data-mean">417</td>
-    <td class="data-stddev">(6)</td>
-    <td class="data-mean">914</td>
-    <td class="data-stddev">(11)</td>
+    <td class="data-mean">407</td>
+    <td class="data-stddev">(12)</td>
+    <td class="data-mean">420</td>
+    <td class="data-stddev">(16)</td>
+    <td class="data-mean">950</td>
+    <td class="data-stddev">(5)</td>
   </tr>  <tr>
     <td>RV64IMAC</td>
     <td class="data-table-right">64</td>
     <td>U54-MC/SiFive Freedom U540/Hifive</td>
     <td class="data-table-right">1.5 GHz</td>
-    <td class="data-mean">973</td>
-    <td class="data-stddev">(79)</td>
-    <td class="data-mean">470</td>
-    <td class="data-stddev">(10)</td>
-    <td class="data-mean">647</td>
-    <td class="data-stddev">(80)</td>
-    <td class="data-mean">1348</td>
-    <td class="data-stddev">(49)</td>
+    <td class="data-mean">959</td>
+    <td class="data-stddev">(46)</td>
+    <td class="data-mean">464</td>
+    <td class="data-stddev">(4)</td>
+    <td class="data-mean">622</td>
+    <td class="data-stddev">(6)</td>
+    <td class="data-mean">1345</td>
+    <td class="data-stddev">(58)</td>
   </tr></table>
 
 <h2>MCS</h2>
@@ -110,66 +110,66 @@ <h2>MCS</h2>
     <td class="data-table-right">32</td>
     <td>A9/i.MX6/Sabre</td>
     <td class="data-table-right">1.0 GHz</td>
-    <td class="data-mean">798</td>
+    <td class="data-mean">802</td>
     <td class="data-stddev">(16)</td>
     <td class="data-mean">324</td>
-    <td class="data-stddev">(2)</td>
-    <td class="data-mean">364</td>
-    <td class="data-stddev">(2)</td>
-    <td class="data-mean">1181</td>
+    <td class="data-stddev">(5)</td>
+    <td class="data-mean">363</td>
+    <td class="data-stddev">(3)</td>
+    <td class="data-mean">1202</td>
     <td class="data-stddev">(13)</td>
   </tr>  <tr>
     <td>x86_64</td>
     <td class="data-table-right">64</td>
     <td>i7-4770/Haswell</td>
     <td class="data-table-right">3.4 GHz</td>
-    <td class="data-mean">1970</td>
-    <td class="data-stddev">(422)</td>
+    <td class="data-mean">1919</td>
+    <td class="data-stddev">(433)</td>
     <td class="data-mean">586</td>
-    <td class="data-stddev">(12)</td>
-    <td class="data-mean">597</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">1591</td>
-    <td class="data-stddev">(10)</td>
+    <td class="data-mean">595</td>
+    <td class="data-stddev">(13)</td>
+    <td class="data-mean">1589</td>
+    <td class="data-stddev">(12)</td>
   </tr>  <tr>
     <td>x86_64</td>
     <td class="data-table-right">64</td>
     <td>i7-6700/Skylake (without meltdown mitigation)</td>
     <td class="data-table-right">3.4 GHz</td>
-    <td class="data-mean">1645</td>
-    <td class="data-stddev">(343)</td>
-    <td class="data-mean">381</td>
+    <td class="data-mean">1711</td>
+    <td class="data-stddev">(337)</td>
+    <td class="data-mean">380</td>
     <td class="data-stddev">(2)</td>
-    <td class="data-mean">407</td>
-    <td class="data-stddev">(8)</td>
-    <td class="data-mean">1052</td>
-    <td class="data-stddev">(15)</td>
+    <td class="data-mean">408</td>
+    <td class="data-stddev">(6)</td>
+    <td class="data-mean">1054</td>
+    <td class="data-stddev">(13)</td>
   </tr>  <tr>
     <td>Armv8a</td>
     <td class="data-table-right">64</td>
     <td>A57/Tx1/Jetson</td>
     <td class="data-table-right">1.9 GHz</td>
-    <td class="data-mean">761</td>
-    <td class="data-stddev">(31)</td>
+    <td class="data-mean">756</td>
+    <td class="data-stddev">(27)</td>
     <td class="data-mean">413</td>
-    <td class="data-stddev">(1)</td>
-    <td class="data-mean">448</td>
-    <td class="data-stddev">(2)</td>
-    <td class="data-mean">973</td>
-    <td class="data-stddev">(9)</td>
+    <td class="data-stddev">(0)</td>
+    <td class="data-mean">431</td>
+    <td class="data-stddev">(7)</td>
+    <td class="data-mean">978</td>
+    <td class="data-stddev">(16)</td>
   </tr>  <tr>
     <td>RV64IMAC</td>
     <td class="data-table-right">64</td>
     <td>U54-MC/SiFive Freedom U540/Hifive</td>
     <td class="data-table-right">1.5 GHz</td>
-    <td class="data-mean">2985</td>
-    <td class="data-stddev">(165)</td>
-    <td class="data-mean">677</td>
-    <td class="data-stddev">(28)</td>
-    <td class="data-mean">856</td>
-    <td class="data-stddev">(21)</td>
-    <td class="data-mean">3838</td>
-    <td class="data-stddev">(141)</td>
+    <td class="data-mean">2967</td>
+    <td class="data-stddev">(146)</td>
+    <td class="data-mean">700</td>
+    <td class="data-stddev">(75)</td>
+    <td class="data-mean">899</td>
+    <td class="data-stddev">(105)</td>
+    <td class="data-mean">3818</td>
+    <td class="data-stddev">(128)</td>
   </tr></table>
 
 <h2>Compilation Details</h2>
@@ -268,4 +268,4 @@ <h3>MCS</h3>
   </tr></table>
 
 <h2>Source Code</h2>
-<p>This page was generated on 2024-12-03 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/0dd4d2ca398b9dc588f04d349764570641dfbd70/default.xml">0dd4d2ca</a>.</p>
\ No newline at end of file
+<p>This page was generated on 2024-12-04 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/5851aa2d750803e8143c623e5f576c62764ef1c7/default.xml">5851aa2d</a>.</p>
\ No newline at end of file