From 94aa44292941f4191649b0a3e6eccacf188de164 Mon Sep 17 00:00:00 2001
From: seL4 CI <ci@sel4.systems>
Date: Sun, 17 Nov 2024 12:04:04 +0000
Subject: [PATCH] CI: update performance results

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

diff --git a/About/Performance/index.html b/About/Performance/index.html
index 785cce34..dec9ef6c 100644
--- a/About/Performance/index.html
+++ b/About/Performance/index.html
@@ -32,66 +32,66 @@ <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">586</td>
-    <td class="data-stddev">(14)</td>
-    <td class="data-mean">317</td>
-    <td class="data-stddev">(3)</td>
-    <td class="data-mean">343</td>
-    <td class="data-stddev">(7)</td>
-    <td class="data-mean">830</td>
+    <td class="data-mean">587</td>
+    <td class="data-stddev">(13)</td>
+    <td class="data-mean">316</td>
+    <td class="data-stddev">(2)</td>
+    <td class="data-mean">340</td>
+    <td class="data-stddev">(9)</td>
+    <td class="data-mean">829</td>
     <td class="data-stddev">(11)</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">1560</td>
-    <td class="data-stddev">(270)</td>
-    <td class="data-mean">573</td>
-    <td class="data-stddev">(10)</td>
-    <td class="data-mean">587</td>
-    <td class="data-stddev">(13)</td>
-    <td class="data-mean">1323</td>
-    <td class="data-stddev">(70)</td>
+    <td class="data-mean">1572</td>
+    <td class="data-stddev">(268)</td>
+    <td class="data-mean">590</td>
+    <td class="data-stddev">(15)</td>
+    <td class="data-mean">591</td>
+    <td class="data-stddev">(14)</td>
+    <td class="data-mean">1338</td>
+    <td class="data-stddev">(71)</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">1311</td>
-    <td class="data-stddev">(205)</td>
+    <td class="data-mean">1220</td>
+    <td class="data-stddev">(203)</td>
     <td class="data-mean">382</td>
-    <td class="data-stddev">(3)</td>
-    <td class="data-mean">387</td>
-    <td class="data-stddev">(3)</td>
-    <td class="data-mean">753</td>
-    <td class="data-stddev">(83)</td>
+    <td class="data-stddev">(2)</td>
+    <td class="data-mean">383</td>
+    <td class="data-stddev">(1)</td>
+    <td class="data-mean">754</td>
+    <td class="data-stddev">(82)</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">664</td>
-    <td class="data-stddev">(30)</td>
-    <td class="data-mean">422</td>
-    <td class="data-stddev">(10)</td>
-    <td class="data-mean">417</td>
-    <td class="data-stddev">(6)</td>
-    <td class="data-mean">894</td>
-    <td class="data-stddev">(4)</td>
+    <td class="data-mean">668</td>
+    <td class="data-stddev">(32)</td>
+    <td class="data-mean">423</td>
+    <td class="data-stddev">(8)</td>
+    <td class="data-mean">409</td>
+    <td class="data-stddev">(2)</td>
+    <td class="data-mean">948</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">985</td>
-    <td class="data-stddev">(90)</td>
-    <td class="data-mean">468</td>
-    <td class="data-stddev">(12)</td>
-    <td class="data-mean">627</td>
-    <td class="data-stddev">(16)</td>
-    <td class="data-mean">1347</td>
-    <td class="data-stddev">(63)</td>
+    <td class="data-mean">957</td>
+    <td class="data-stddev">(26)</td>
+    <td class="data-mean">470</td>
+    <td class="data-stddev">(17)</td>
+    <td class="data-mean">669</td>
+    <td class="data-stddev">(120)</td>
+    <td class="data-mean">1359</td>
+    <td class="data-stddev">(72)</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">802</td>
-    <td class="data-stddev">(18)</td>
-    <td class="data-mean">324</td>
+    <td class="data-mean">800</td>
+    <td class="data-stddev">(17)</td>
+    <td class="data-mean">323</td>
     <td class="data-stddev">(2)</td>
     <td class="data-mean">363</td>
-    <td class="data-stddev">(3)</td>
-    <td class="data-mean">1197</td>
-    <td class="data-stddev">(13)</td>
+    <td class="data-stddev">(2)</td>
+    <td class="data-mean">1239</td>
+    <td class="data-stddev">(12)</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">2007</td>
-    <td class="data-stddev">(430)</td>
-    <td class="data-mean">585</td>
-    <td class="data-stddev">(12)</td>
-    <td class="data-mean">602</td>
+    <td class="data-mean">1929</td>
+    <td class="data-stddev">(434)</td>
+    <td class="data-mean">584</td>
+    <td class="data-stddev">(14)</td>
+    <td class="data-mean">599</td>
+    <td class="data-stddev">(13)</td>
+    <td class="data-mean">1588</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">1590</td>
-    <td class="data-stddev">(5)</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">1648</td>
-    <td class="data-stddev">(358)</td>
-    <td class="data-mean">380</td>
-    <td class="data-stddev">(3)</td>
-    <td class="data-mean">407</td>
-    <td class="data-stddev">(4)</td>
-    <td class="data-mean">1057</td>
-    <td class="data-stddev">(14)</td>
+    <td class="data-mean">1669</td>
+    <td class="data-stddev">(333)</td>
+    <td class="data-mean">383</td>
+    <td class="data-stddev">(2)</td>
+    <td class="data-mean">408</td>
+    <td class="data-stddev">(7)</td>
+    <td class="data-mean">1056</td>
+    <td class="data-stddev">(12)</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">759</td>
-    <td class="data-stddev">(27)</td>
-    <td class="data-mean">419</td>
-    <td class="data-stddev">(9)</td>
+    <td class="data-mean">756</td>
+    <td class="data-stddev">(23)</td>
+    <td class="data-mean">418</td>
+    <td class="data-stddev">(16)</td>
     <td class="data-mean">428</td>
-    <td class="data-stddev">(8)</td>
-    <td class="data-mean">1017</td>
-    <td class="data-stddev">(4)</td>
+    <td class="data-stddev">(5)</td>
+    <td class="data-mean">1018</td>
+    <td class="data-stddev">(6)</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">2939</td>
-    <td class="data-stddev">(137)</td>
+    <td class="data-mean">2993</td>
+    <td class="data-stddev">(184)</td>
     <td class="data-mean">675</td>
-    <td class="data-stddev">(18)</td>
-    <td class="data-mean">910</td>
-    <td class="data-stddev">(118)</td>
-    <td class="data-mean">3841</td>
-    <td class="data-stddev">(138)</td>
+    <td class="data-stddev">(25)</td>
+    <td class="data-mean">877</td>
+    <td class="data-stddev">(44)</td>
+    <td class="data-mean">3830</td>
+    <td class="data-stddev">(133)</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-11 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/7e2229f3a9475a684b2280352ca5cec282667d23/default.xml">7e2229f3</a>.</p>
\ No newline at end of file
+<p>This page was generated on 2024-11-17 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/aaf40929f5ab42dfdec230c751ed0d38949e20e0/default.xml">aaf40929</a>.</p>
\ No newline at end of file