CI: update performance results

Signed-off-by: seL4 CI <[email protected]>
seL4 · Oct 21, 2024 · 1c649f1 · 1c649f1
1 parent 853a74b
commit 1c649f1
Showing 1 changed file with 66 additions and 66 deletions.
diff --git 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">584</td>
-    <td class="data-stddev">(11)</td>
+    <td class="data-mean">582</td>
+    <td class="data-stddev">(12)</td>
     <td class="data-mean">317</td>
     <td class="data-stddev">(2)</td>
     <td class="data-mean">342</td>
-    <td class="data-stddev">(7)</td>
-    <td class="data-mean">830</td>
-    <td class="data-stddev">(10)</td>
+    <td class="data-stddev">(8)</td>
+    <td class="data-mean">838</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">1578</td>
-    <td class="data-stddev">(262)</td>
-    <td class="data-mean">580</td>
-    <td class="data-stddev">(12)</td>
+    <td class="data-mean">1590</td>
+    <td class="data-stddev">(252)</td>
+    <td class="data-mean">579</td>
+    <td class="data-stddev">(13)</td>
     <td class="data-mean">588</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">1322</td>
+    <td class="data-mean">1232</td>
     <td class="data-stddev">(74)</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">1255</td>
-    <td class="data-stddev">(197)</td>
-    <td class="data-mean">384</td>
+    <td class="data-mean">1263</td>
+    <td class="data-stddev">(202)</td>
+    <td class="data-mean">381</td>
     <td class="data-stddev">(2)</td>
-    <td class="data-mean">389</td>
-    <td class="data-stddev">(11)</td>
-    <td class="data-mean">753</td>
-    <td class="data-stddev">(83)</td>
+    <td class="data-mean">379</td>
+    <td class="data-stddev">(3)</td>
+    <td class="data-mean">754</td>
+    <td class="data-stddev">(84)</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">670</td>
-    <td class="data-stddev">(31)</td>
-    <td class="data-mean">408</td>
-    <td class="data-stddev">(10)</td>
+    <td class="data-mean">672</td>
+    <td class="data-stddev">(30)</td>
+    <td class="data-mean">407</td>
+    <td class="data-stddev">(9)</td>
     <td class="data-mean">411</td>
-    <td class="data-stddev">(8)</td>
-    <td class="data-mean">898</td>
     <td class="data-stddev">(7)</td>
+    <td class="data-mean">888</td>
+    <td class="data-stddev">(23)</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">953</td>
-    <td class="data-stddev">(30)</td>
-    <td class="data-mean">471</td>
-    <td class="data-stddev">(13)</td>
-    <td class="data-mean">627</td>
-    <td class="data-stddev">(8)</td>
-    <td class="data-mean">1338</td>
-    <td class="data-stddev">(67)</td>
+    <td class="data-mean">952</td>
+    <td class="data-stddev">(28)</td>
+    <td class="data-mean">491</td>
+    <td class="data-stddev">(99)</td>
+    <td class="data-mean">624</td>
+    <td class="data-stddev">(6)</td>
+    <td class="data-mean">1344</td>
+    <td class="data-stddev">(60)</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">892</td>
+    <td class="data-mean">886</td>
     <td class="data-stddev">(30)</td>
     <td class="data-mean">324</td>
-    <td class="data-stddev">(3)</td>
-    <td class="data-mean">363</td>
     <td class="data-stddev">(2)</td>
-    <td class="data-mean">1236</td>
-    <td class="data-stddev">(16)</td>
+    <td class="data-mean">364</td>
+    <td class="data-stddev">(1)</td>
+    <td class="data-mean">1234</td>
+    <td class="data-stddev">(17)</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">1961</td>
-    <td class="data-stddev">(433)</td>
-    <td class="data-mean">580</td>
-    <td class="data-stddev">(11)</td>
-    <td class="data-mean">601</td>
+    <td class="data-mean">1936</td>
+    <td class="data-stddev">(440)</td>
+    <td class="data-mean">585</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">1592</td>
-    <td class="data-stddev">(12)</td>
+    <td class="data-mean">600</td>
+    <td class="data-stddev">(13)</td>
+    <td class="data-mean">1591</td>
+    <td class="data-stddev">(7)</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">1659</td>
-    <td class="data-stddev">(348)</td>
-    <td class="data-mean">383</td>
+    <td class="data-mean">1598</td>
+    <td class="data-stddev">(338)</td>
+    <td class="data-mean">380</td>
     <td class="data-stddev">(3)</td>
-    <td class="data-mean">407</td>
+    <td class="data-mean">408</td>
     <td class="data-stddev">(5)</td>
-    <td class="data-mean">1038</td>
-    <td class="data-stddev">(13)</td>
+    <td class="data-mean">1060</td>
+    <td class="data-stddev">(16)</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">(27)</td>
-    <td class="data-mean">414</td>
-    <td class="data-stddev">(6)</td>
-    <td class="data-mean">463</td>
-    <td class="data-stddev">(3)</td>
-    <td class="data-mean">975</td>
-    <td class="data-stddev">(25)</td>
+    <td class="data-mean">754</td>
+    <td class="data-stddev">(24)</td>
+    <td class="data-mean">420</td>
+    <td class="data-stddev">(15)</td>
+    <td class="data-mean">438</td>
+    <td class="data-stddev">(4)</td>
+    <td class="data-mean">1045</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">2998</td>
-    <td class="data-stddev">(172)</td>
-    <td class="data-mean">708</td>
-    <td class="data-stddev">(87)</td>
-    <td class="data-mean">916</td>
-    <td class="data-stddev">(115)</td>
-    <td class="data-mean">3817</td>
-    <td class="data-stddev">(146)</td>
+    <td class="data-mean">2943</td>
+    <td class="data-stddev">(142)</td>
+    <td class="data-mean">680</td>
+    <td class="data-stddev">(16)</td>
+    <td class="data-mean">905</td>
+    <td class="data-stddev">(106)</td>
+    <td class="data-mean">3838</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-10-17 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/0f42a03bb8d1c5e37b98884f0d74c0f8bbc73fde/default.xml">0f42a03b</a>.</p>
+<p>This page was generated on 2024-10-21 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/86491f514eec79a7c57ef80615d2d1dec0044993/default.xml">86491f51</a>.</p>