From ca9b3890c42f917346357ca8b83cefee648db19d Mon Sep 17 00:00:00 2001
From: seL4 CI <ci@sel4.systems>
Date: Mon, 2 Dec 2024 04:12:31 +0000
Subject: [PATCH] CI: update performance results

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

diff --git a/About/Performance/index.html b/About/Performance/index.html
index 755dd7d3..c8fb564e 100644
--- a/About/Performance/index.html
+++ b/About/Performance/index.html
@@ -33,37 +33,37 @@ <h1>Performance</h1>
     <td>A9/i.MX6/Sabre</td>
     <td class="data-table-right">1.0 GHz</td>
     <td class="data-mean">586</td>
-    <td class="data-stddev">(12)</td>
+    <td class="data-stddev">(14)</td>
     <td class="data-mean">317</td>
     <td class="data-stddev">(2)</td>
-    <td class="data-mean">335</td>
-    <td class="data-stddev">(2)</td>
-    <td class="data-mean">832</td>
-    <td class="data-stddev">(12)</td>
+    <td class="data-mean">345</td>
+    <td class="data-stddev">(10)</td>
+    <td class="data-mean">831</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">1585</td>
-    <td class="data-stddev">(256)</td>
-    <td class="data-mean">587</td>
-    <td class="data-stddev">(15)</td>
-    <td class="data-mean">597</td>
-    <td class="data-stddev">(18)</td>
-    <td class="data-mean">1340</td>
-    <td class="data-stddev">(73)</td>
+    <td class="data-mean">1596</td>
+    <td class="data-stddev">(262)</td>
+    <td class="data-mean">583</td>
+    <td class="data-stddev">(13)</td>
+    <td class="data-mean">594</td>
+    <td class="data-stddev">(14)</td>
+    <td class="data-mean">1246</td>
+    <td class="data-stddev">(76)</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">1264</td>
-    <td class="data-stddev">(233)</td>
-    <td class="data-mean">381</td>
+    <td class="data-mean">1246</td>
+    <td class="data-stddev">(189)</td>
+    <td class="data-mean">382</td>
+    <td class="data-stddev">(3)</td>
+    <td class="data-mean">382</td>
     <td class="data-stddev">(3)</td>
-    <td class="data-mean">385</td>
-    <td class="data-stddev">(8)</td>
     <td class="data-mean">753</td>
     <td class="data-stddev">(83)</td>
   </tr>  <tr>
@@ -71,27 +71,27 @@ <h1>Performance</h1>
     <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">664</td>
-    <td class="data-stddev">(31)</td>
-    <td class="data-mean">406</td>
-    <td class="data-stddev">(11)</td>
-    <td class="data-mean">411</td>
-    <td class="data-stddev">(6)</td>
-    <td class="data-mean">969</td>
-    <td class="data-stddev">(11)</td>
+    <td class="data-mean">667</td>
+    <td class="data-stddev">(33)</td>
+    <td class="data-mean">404</td>
+    <td class="data-stddev">(5)</td>
+    <td class="data-mean">415</td>
+    <td class="data-stddev">(1)</td>
+    <td class="data-mean">895</td>
+    <td class="data-stddev">(4)</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">954</td>
-    <td class="data-stddev">(30)</td>
-    <td class="data-mean">492</td>
-    <td class="data-stddev">(104)</td>
-    <td class="data-mean">644</td>
-    <td class="data-stddev">(84)</td>
-    <td class="data-mean">1347</td>
-    <td class="data-stddev">(58)</td>
+    <td class="data-mean">978</td>
+    <td class="data-stddev">(94)</td>
+    <td class="data-mean">490</td>
+    <td class="data-stddev">(92)</td>
+    <td class="data-mean">633</td>
+    <td class="data-stddev">(37)</td>
+    <td class="data-mean">1349</td>
+    <td class="data-stddev">(64)</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">801</td>
-    <td class="data-stddev">(16)</td>
-    <td class="data-mean">324</td>
-    <td class="data-stddev">(5)</td>
+    <td class="data-mean">802</td>
+    <td class="data-stddev">(19)</td>
+    <td class="data-mean">323</td>
+    <td class="data-stddev">(3)</td>
     <td class="data-mean">363</td>
-    <td class="data-stddev">(2)</td>
-    <td class="data-mean">1178</td>
-    <td class="data-stddev">(15)</td>
+    <td class="data-stddev">(3)</td>
+    <td class="data-mean">1192</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">1959</td>
-    <td class="data-stddev">(430)</td>
-    <td class="data-mean">588</td>
-    <td class="data-stddev">(12)</td>
-    <td class="data-mean">603</td>
+    <td class="data-mean">1957</td>
+    <td class="data-stddev">(436)</td>
+    <td class="data-mean">582</td>
+    <td class="data-stddev">(13)</td>
+    <td class="data-mean">602</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">1589</td>
-    <td class="data-stddev">(11)</td>
+    <td class="data-mean">1590</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">1653</td>
-    <td class="data-stddev">(350)</td>
-    <td class="data-mean">380</td>
+    <td class="data-mean">1677</td>
+    <td class="data-stddev">(338)</td>
+    <td class="data-mean">382</td>
     <td class="data-stddev">(3)</td>
-    <td class="data-mean">410</td>
+    <td class="data-mean">407</td>
     <td class="data-stddev">(7)</td>
-    <td class="data-mean">1054</td>
-    <td class="data-stddev">(11)</td>
+    <td class="data-mean">1056</td>
+    <td class="data-stddev">(14)</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">755</td>
-    <td class="data-stddev">(22)</td>
-    <td class="data-mean">413</td>
+    <td class="data-mean">761</td>
+    <td class="data-stddev">(27)</td>
+    <td class="data-mean">414</td>
     <td class="data-stddev">(4)</td>
-    <td class="data-mean">446</td>
-    <td class="data-stddev">(3)</td>
-    <td class="data-mean">1038</td>
-    <td class="data-stddev">(8)</td>
+    <td class="data-mean">429</td>
+    <td class="data-stddev">(6)</td>
+    <td class="data-mean">1041</td>
+    <td class="data-stddev">(12)</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">2961</td>
-    <td class="data-stddev">(180)</td>
-    <td class="data-mean">693</td>
-    <td class="data-stddev">(46)</td>
-    <td class="data-mean">872</td>
-    <td class="data-stddev">(32)</td>
-    <td class="data-mean">3826</td>
-    <td class="data-stddev">(132)</td>
+    <td class="data-mean">2995</td>
+    <td class="data-stddev">(188)</td>
+    <td class="data-mean">675</td>
+    <td class="data-stddev">(17)</td>
+    <td class="data-mean">945</td>
+    <td class="data-stddev">(119)</td>
+    <td class="data-mean">3845</td>
+    <td class="data-stddev">(166)</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-11-22 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/ed24e89d6afed48ee4abb7b8f50c69efda5d4786/default.xml">ed24e89d</a>.</p>
\ No newline at end of file
+<p>This page was generated on 2024-12-02 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/31c02b4057776f36bbcd893141457f307958b2cb/default.xml">31c02b40</a>.</p>
\ No newline at end of file