CI: update performance results

Signed-off-by: seL4 CI <[email protected]>
seL4 · Feb 10, 2025 · d4c6273 · d4c6273
1 parent 519ffd2
commit d4c6273
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">579</td>
-    <td class="data-stddev">(12)</td>
-    <td class="data-mean">317</td>
+    <td class="data-mean">578</td>
+    <td class="data-stddev">(9)</td>
+    <td class="data-mean">316</td>
     <td class="data-stddev">(3)</td>
-    <td class="data-mean">340</td>
-    <td class="data-stddev">(7)</td>
+    <td class="data-mean">337</td>
+    <td class="data-stddev">(6)</td>
     <td class="data-mean">830</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">1618</td>
-    <td class="data-stddev">(263)</td>
-    <td class="data-mean">594</td>
+    <td class="data-mean">1577</td>
+    <td class="data-stddev">(257)</td>
+    <td class="data-mean">592</td>
     <td class="data-stddev">(14)</td>
-    <td class="data-mean">605</td>
-    <td class="data-stddev">(17)</td>
-    <td class="data-mean">1341</td>
-    <td class="data-stddev">(73)</td>
+    <td class="data-mean">601</td>
+    <td class="data-stddev">(14)</td>
+    <td class="data-mean">1251</td>
+    <td class="data-stddev">(78)</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">1182</td>
-    <td class="data-stddev">(201)</td>
+    <td class="data-mean">1158</td>
+    <td class="data-stddev">(193)</td>
     <td class="data-mean">384</td>
-    <td class="data-stddev">(5)</td>
-    <td class="data-mean">383</td>
-    <td class="data-stddev">(2)</td>
+    <td class="data-stddev">(3)</td>
+    <td class="data-mean">386</td>
+    <td class="data-stddev">(3)</td>
     <td class="data-mean">753</td>
-    <td class="data-stddev">(82)</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">661</td>
-    <td class="data-stddev">(31)</td>
-    <td class="data-mean">423</td>
-    <td class="data-stddev">(6)</td>
-    <td class="data-mean">409</td>
-    <td class="data-stddev">(1)</td>
-    <td class="data-mean">919</td>
-    <td class="data-stddev">(20)</td>
+    <td class="data-mean">662</td>
+    <td class="data-stddev">(32)</td>
+    <td class="data-mean">407</td>
+    <td class="data-stddev">(8)</td>
+    <td class="data-mean">418</td>
+    <td class="data-stddev">(14)</td>
+    <td class="data-mean">935</td>
+    <td class="data-stddev">(10)</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">964</td>
-    <td class="data-stddev">(75)</td>
-    <td class="data-mean">470</td>
-    <td class="data-stddev">(12)</td>
-    <td class="data-mean">624</td>
+    <td class="data-mean">958</td>
+    <td class="data-stddev">(79)</td>
+    <td class="data-mean">466</td>
     <td class="data-stddev">(7)</td>
-    <td class="data-mean">1364</td>
-    <td class="data-stddev">(67)</td>
+    <td class="data-mean">489</td>
+    <td class="data-stddev">(8)</td>
+    <td class="data-mean">1326</td>
+    <td class="data-stddev">(37)</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">850</td>
-    <td class="data-stddev">(34)</td>
+    <td class="data-mean">846</td>
+    <td class="data-stddev">(33)</td>
     <td class="data-mean">323</td>
     <td class="data-stddev">(3)</td>
     <td class="data-mean">363</td>
-    <td class="data-stddev">(3)</td>
-    <td class="data-mean">1217</td>
+    <td class="data-stddev">(2)</td>
+    <td class="data-mean">1196</td>
     <td class="data-stddev">(14)</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">2004</td>
-    <td class="data-stddev">(412)</td>
-    <td class="data-mean">583</td>
-    <td class="data-stddev">(14)</td>
-    <td class="data-mean">601</td>
+    <td class="data-mean">2024</td>
+    <td class="data-stddev">(438)</td>
+    <td class="data-mean">588</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">1595</td>
-    <td class="data-stddev">(14)</td>
+    <td class="data-mean">596</td>
+    <td class="data-stddev">(13)</td>
+    <td class="data-mean">1593</td>
+    <td class="data-stddev">(11)</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">1593</td>
-    <td class="data-stddev">(348)</td>
-    <td class="data-mean">382</td>
+    <td class="data-mean">1676</td>
+    <td class="data-stddev">(335)</td>
+    <td class="data-mean">381</td>
     <td class="data-stddev">(2)</td>
     <td class="data-mean">408</td>
-    <td class="data-stddev">(5)</td>
+    <td class="data-stddev">(6)</td>
     <td class="data-mean">1059</td>
-    <td class="data-stddev">(17)</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">758</td>
-    <td class="data-stddev">(23)</td>
-    <td class="data-mean">415</td>
-    <td class="data-stddev">(7)</td>
-    <td class="data-mean">428</td>
-    <td class="data-stddev">(5)</td>
-    <td class="data-mean">1024</td>
-    <td class="data-stddev">(7)</td>
+    <td class="data-mean">756</td>
+    <td class="data-stddev">(27)</td>
+    <td class="data-mean">416</td>
+    <td class="data-stddev">(8)</td>
+    <td class="data-mean">433</td>
+    <td class="data-stddev">(17)</td>
+    <td class="data-mean">968</td>
+    <td class="data-stddev">(10)</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">2914</td>
-    <td class="data-stddev">(142)</td>
-    <td class="data-mean">690</td>
-    <td class="data-stddev">(57)</td>
-    <td class="data-mean">901</td>
-    <td class="data-stddev">(111)</td>
-    <td class="data-mean">3749</td>
-    <td class="data-stddev">(130)</td>
+    <td class="data-mean">3100</td>
+    <td class="data-stddev">(178)</td>
+    <td class="data-mean">816</td>
+    <td class="data-stddev">(48)</td>
+    <td class="data-mean">778</td>
+    <td class="data-stddev">(69)</td>
+    <td class="data-mean">3732</td>
+    <td class="data-stddev">(119)</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 2025-02-09 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/dd1dbe790f6ac71ea0a5520ef23dcbd7b1daf32d/default.xml">dd1dbe79</a>.</p>
+<p>This page was generated on 2025-02-10 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/95453b1b89ccccc4a63cc8eb589caf46220110f0/default.xml">95453b1b</a>.</p>