From aa4e01bdb9733c7a3c5327165d0e5a5c533294c7 Mon Sep 17 00:00:00 2001
From: seL4 CI <ci@sel4.systems>
Date: Mon, 18 Mar 2024 10:49:42 +0000
Subject: [PATCH] CI: update performance results

Signed-off-by: seL4 CI <ci@sel4.systems>
---
 content/About/Performance/home.pml | 126 ++++++++++++++---------------
 1 file changed, 63 insertions(+), 63 deletions(-)

diff --git a/content/About/Performance/home.pml b/content/About/Performance/home.pml
index 05600a99..ad27e31c 100644
--- a/content/About/Performance/home.pml
+++ b/content/About/Performance/home.pml
@@ -32,66 +32,66 @@ priority (255) process in a different address space</li>
     <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">566</td>
-    <td class="data-stddev">(11)</td>
+    <td class="data-mean">569</td>
+    <td class="data-stddev">(14)</td>
     <td class="data-mean">317</td>
     <td class="data-stddev">(2)</td>
     <td class="data-mean">336</td>
     <td class="data-stddev">(2)</td>
-    <td class="data-mean">819</td>
+    <td class="data-mean">818</td>
     <td class="data-stddev">(7)</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">1662</td>
-    <td class="data-stddev">(254)</td>
-    <td class="data-mean">584</td>
-    <td class="data-stddev">(13)</td>
-    <td class="data-mean">594</td>
+    <td class="data-mean">1670</td>
+    <td class="data-stddev">(255)</td>
+    <td class="data-mean">578</td>
+    <td class="data-stddev">(11)</td>
+    <td class="data-mean">592</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">1249</td>
-    <td class="data-stddev">(77)</td>
+    <td class="data-mean">1246</td>
+    <td class="data-stddev">(73)</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">1221</td>
-    <td class="data-stddev">(204)</td>
-    <td class="data-mean">382</td>
+    <td class="data-mean">1266</td>
+    <td class="data-stddev">(210)</td>
+    <td class="data-mean">380</td>
     <td class="data-stddev">(4)</td>
-    <td class="data-mean">388</td>
+    <td class="data-mean">392</td>
     <td class="data-stddev">(3)</td>
-    <td class="data-mean">766</td>
+    <td class="data-mean">770</td>
     <td class="data-stddev">(83)</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">(35)</td>
-    <td class="data-mean">403</td>
-    <td class="data-stddev">(5)</td>
-    <td class="data-mean">415</td>
-    <td class="data-stddev">(1)</td>
-    <td class="data-mean">968</td>
+    <td class="data-mean">668</td>
+    <td class="data-stddev">(38)</td>
+    <td class="data-mean">402</td>
+    <td class="data-stddev">(2)</td>
+    <td class="data-mean">420</td>
     <td class="data-stddev">(10)</td>
+    <td class="data-mean">952</td>
+    <td class="data-stddev">(13)</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">988</td>
+    <td class="data-mean">987</td>
     <td class="data-stddev">(78)</td>
-    <td class="data-mean">475</td>
-    <td class="data-stddev">(14)</td>
-    <td class="data-mean">649</td>
-    <td class="data-stddev">(84)</td>
-    <td class="data-mean">1382</td>
-    <td class="data-stddev">(84)</td>
+    <td class="data-mean">520</td>
+    <td class="data-stddev">(136)</td>
+    <td class="data-mean">632</td>
+    <td class="data-stddev">(20)</td>
+    <td class="data-mean">1351</td>
+    <td class="data-stddev">(63)</td>
   </tr></table>
 
 <h2>MCS</h2>
@@ -110,66 +110,66 @@ priority (255) process in a different address space</li>
     <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">826</td>
-    <td class="data-stddev">(15)</td>
+    <td class="data-mean">834</td>
+    <td class="data-stddev">(18)</td>
     <td class="data-mean">323</td>
-    <td class="data-stddev">(4)</td>
-    <td class="data-mean">362</td>
+    <td class="data-stddev">(2)</td>
+    <td class="data-mean">363</td>
     <td class="data-stddev">(3)</td>
-    <td class="data-mean">1227</td>
-    <td class="data-stddev">(15)</td>
+    <td class="data-mean">1221</td>
+    <td class="data-stddev">(16)</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">2009</td>
-    <td class="data-stddev">(427)</td>
-    <td class="data-mean">599</td>
-    <td class="data-stddev">(17)</td>
+    <td class="data-mean">2098</td>
+    <td class="data-stddev">(437)</td>
+    <td class="data-mean">594</td>
+    <td class="data-stddev">(20)</td>
     <td class="data-mean">603</td>
-    <td class="data-stddev">(11)</td>
-    <td class="data-mean">1599</td>
-    <td class="data-stddev">(16)</td>
+    <td class="data-stddev">(13)</td>
+    <td class="data-mean">1523</td>
+    <td class="data-stddev">(13)</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">1663</td>
-    <td class="data-stddev">(327)</td>
+    <td class="data-mean">1729</td>
+    <td class="data-stddev">(356)</td>
     <td class="data-mean">390</td>
-    <td class="data-stddev">(5)</td>
+    <td class="data-stddev">(2)</td>
     <td class="data-mean">408</td>
+    <td class="data-stddev">(6)</td>
+    <td class="data-mean">1066</td>
     <td class="data-stddev">(7)</td>
-    <td class="data-mean">1064</td>
-    <td class="data-stddev">(11)</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">765</td>
-    <td class="data-stddev">(30)</td>
-    <td class="data-mean">428</td>
-    <td class="data-stddev">(7)</td>
-    <td class="data-mean">443</td>
-    <td class="data-stddev">(8)</td>
-    <td class="data-mean">970</td>
+    <td class="data-mean">764</td>
+    <td class="data-stddev">(31)</td>
+    <td class="data-mean">431</td>
+    <td class="data-stddev">(9)</td>
+    <td class="data-mean">433</td>
+    <td class="data-stddev">(10)</td>
+    <td class="data-mean">1001</td>
     <td class="data-stddev">(11)</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">1989</td>
-    <td class="data-stddev">(90)</td>
-    <td class="data-mean">709</td>
-    <td class="data-stddev">(72)</td>
-    <td class="data-mean">881</td>
-    <td class="data-stddev">(53)</td>
-    <td class="data-mean">2579</td>
-    <td class="data-stddev">(61)</td>
+    <td class="data-mean">1991</td>
+    <td class="data-stddev">(94)</td>
+    <td class="data-mean">678</td>
+    <td class="data-stddev">(18)</td>
+    <td class="data-mean">878</td>
+    <td class="data-stddev">(28)</td>
+    <td class="data-mean">2590</td>
+    <td class="data-stddev">(80)</td>
   </tr></table>
 
 <h2>Compilation Details</h2>
@@ -268,4 +268,4 @@ docker file repository</a></p><h3>Default</h3>
   </tr></table>
 
 <h2>Source Code</h2>
-<p>This page was generated on 2024-03-16 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/99745b4d344d7c1d09e92ded77a3b01e4b96623f/default.xml">99745b4d</a>.</p>
\ No newline at end of file
+<p>This page was generated on 2024-03-18 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/314f69bf26c9140ad5e6b5223f32383c5193dcf4/default.xml">314f69bf</a>.</p>
\ No newline at end of file