CI: update performance results

Signed-off-by: seL4 CI <[email protected]>
seL4 · Feb 10, 2025 · 9af43c0 · 9af43c0
1 parent f827fc1
commit 9af43c0
Showing 1 changed file with 67 additions and 67 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">582</td>
+    <td class="data-mean">577</td>
     <td class="data-stddev">(9)</td>
-    <td class="data-mean">316</td>
-    <td class="data-stddev">(2)</td>
+    <td class="data-mean">318</td>
+    <td class="data-stddev">(1)</td>
     <td class="data-mean">339</td>
     <td class="data-stddev">(7)</td>
-    <td class="data-mean">828</td>
-    <td class="data-stddev">(11)</td>
+    <td class="data-mean">827</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">1589</td>
-    <td class="data-stddev">(258)</td>
-    <td class="data-mean">582</td>
-    <td class="data-stddev">(12)</td>
-    <td class="data-mean">605</td>
+    <td class="data-mean">1632</td>
+    <td class="data-stddev">(250)</td>
+    <td class="data-mean">590</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">1252</td>
-    <td class="data-stddev">(73)</td>
+    <td class="data-mean">597</td>
+    <td class="data-stddev">(15)</td>
+    <td class="data-mean">1332</td>
+    <td class="data-stddev">(72)</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">1192</td>
-    <td class="data-stddev">(198)</td>
-    <td class="data-mean">382</td>
-    <td class="data-stddev">(3)</td>
+    <td class="data-mean">1198</td>
+    <td class="data-stddev">(199)</td>
     <td class="data-mean">384</td>
+    <td class="data-stddev">(4)</td>
+    <td class="data-mean">385</td>
     <td class="data-stddev">(2)</td>
-    <td class="data-mean">754</td>
-    <td class="data-stddev">(83)</td>
+    <td class="data-mean">751</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">660</td>
+    <td class="data-mean">662</td>
     <td class="data-stddev">(31)</td>
-    <td class="data-mean">404</td>
+    <td class="data-mean">422</td>
+    <td class="data-stddev">(6)</td>
+    <td class="data-mean">416</td>
     <td class="data-stddev">(5)</td>
-    <td class="data-mean">410</td>
-    <td class="data-stddev">(2)</td>
-    <td class="data-mean">912</td>
-    <td class="data-stddev">(10)</td>
+    <td class="data-mean">930</td>
+    <td class="data-stddev">(9)</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">955</td>
-    <td class="data-stddev">(81)</td>
+    <td class="data-mean">968</td>
+    <td class="data-stddev">(93)</td>
     <td class="data-mean">470</td>
-    <td class="data-stddev">(12)</td>
-    <td class="data-mean">487</td>
-    <td class="data-stddev">(10)</td>
-    <td class="data-mean">1332</td>
-    <td class="data-stddev">(18)</td>
+    <td class="data-stddev">(11)</td>
+    <td class="data-mean">518</td>
+    <td class="data-stddev">(91)</td>
+    <td class="data-mean">1330</td>
+    <td class="data-stddev">(38)</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">846</td>
-    <td class="data-stddev">(37)</td>
+    <td class="data-mean">841</td>
+    <td class="data-stddev">(16)</td>
     <td class="data-mean">323</td>
-    <td class="data-stddev">(2)</td>
-    <td class="data-mean">364</td>
     <td class="data-stddev">(3)</td>
-    <td class="data-mean">1197</td>
-    <td class="data-stddev">(14)</td>
+    <td class="data-mean">361</td>
+    <td class="data-stddev">(3)</td>
+    <td class="data-mean">1139</td>
+    <td class="data-stddev">(26)</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">2059</td>
-    <td class="data-stddev">(428)</td>
-    <td class="data-mean">587</td>
-    <td class="data-stddev">(13)</td>
-    <td class="data-mean">598</td>
-    <td class="data-stddev">(14)</td>
-    <td class="data-mean">1594</td>
+    <td class="data-mean">1992</td>
+    <td class="data-stddev">(417)</td>
+    <td class="data-mean">580</td>
     <td class="data-stddev">(11)</td>
+    <td class="data-mean">600</td>
+    <td class="data-stddev">(13)</td>
+    <td class="data-mean">1521</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">1541</td>
-    <td class="data-stddev">(345)</td>
-    <td class="data-mean">379</td>
-    <td class="data-stddev">(2)</td>
+    <td class="data-mean">1630</td>
+    <td class="data-stddev">(334)</td>
+    <td class="data-mean">380</td>
+    <td class="data-stddev">(3)</td>
     <td class="data-mean">408</td>
-    <td class="data-stddev">(8)</td>
-    <td class="data-mean">1059</td>
-    <td class="data-stddev">(17)</td>
+    <td class="data-stddev">(7)</td>
+    <td class="data-mean">1034</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">760</td>
-    <td class="data-stddev">(24)</td>
+    <td class="data-mean">755</td>
+    <td class="data-stddev">(23)</td>
     <td class="data-mean">414</td>
-    <td class="data-stddev">(1)</td>
-    <td class="data-mean">431</td>
-    <td class="data-stddev">(13)</td>
-    <td class="data-mean">1025</td>
-    <td class="data-stddev">(11)</td>
+    <td class="data-stddev">(6)</td>
+    <td class="data-mean">427</td>
+    <td class="data-stddev">(2)</td>
+    <td class="data-mean">1024</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">3056</td>
-    <td class="data-stddev">(146)</td>
-    <td class="data-mean">804</td>
-    <td class="data-stddev">(22)</td>
-    <td class="data-mean">825</td>
-    <td class="data-stddev">(136)</td>
-    <td class="data-mean">3721</td>
-    <td class="data-stddev">(124)</td>
+    <td class="data-mean">3038</td>
+    <td class="data-stddev">(117)</td>
+    <td class="data-mean">809</td>
+    <td class="data-stddev">(35)</td>
+    <td class="data-mean">793</td>
+    <td class="data-stddev">(91)</td>
+    <td class="data-mean">3750</td>
+    <td class="data-stddev">(143)</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-10 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/e18439cf88cb518bdb7df43703ac268ddbbeca27/default.xml">e18439cf</a>.</p>
+<p>This page was generated on 2025-02-10 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/ca5cfc64edd5d67c425267a8edfeebcb0eee4f94/default.xml">ca5cfc64</a>.</p>