CI: update performance results

Signed-off-by: seL4 CI <ci@sel4.systems>
seL4 · Oct 14, 2024 · 3dcb20c · 3dcb20c
1 parent 7f05179
commit 3dcb20c
Showing 1 changed file with 63 additions and 63 deletions.
diff --git a/About/Performance/index.html b/About/Performance/index.html
@@ -33,37 +33,37 @@ <h1>Performance</h1>
  <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">316</td>
- <td class="data-stddev">(2)</td>
- <td class="data-mean">343</td>
- <td class="data-stddev">(9)</td>
- <td class="data-mean">831</td>
+ <td class="data-stddev">(11)</td>
+ <td class="data-mean">317</td>
+ <td class="data-stddev">(3)</td>
+ <td class="data-mean">338</td>
+ <td class="data-stddev">(7)</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">1579</td>
- <td class="data-stddev">(260)</td>
- <td class="data-mean">582</td>
+ <td class="data-mean">1593</td>
+ <td class="data-stddev">(246)</td>
+ <td class="data-mean">576</td>
  <td class="data-stddev">(12)</td>
- <td class="data-mean">589</td>
+ <td class="data-mean">587</td>
  <td class="data-stddev">(13)</td>
- <td class="data-mean">1319</td>
- <td class="data-stddev">(73)</td>
+ <td class="data-mean">1327</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">1271</td>
- <td class="data-stddev">(199)</td>
+ <td class="data-mean">1282</td>
+ <td class="data-stddev">(195)</td>
  <td class="data-mean">381</td>
- <td class="data-stddev">(2)</td>
- <td class="data-mean">387</td>
  <td class="data-stddev">(3)</td>
+ <td class="data-mean">384</td>
+ <td class="data-stddev">(2)</td>
  <td class="data-mean">754</td>
  <td class="data-stddev">(82)</td>
  </tr> <tr>
@@ -72,26 +72,26 @@ <h1>Performance</h1>
  <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">409</td>
- <td class="data-stddev">(6)</td>
- <td class="data-mean">416</td>
- <td class="data-stddev">(10)</td>
- <td class="data-mean">922</td>
+ <td class="data-stddev">(30)</td>
+ <td class="data-mean">406</td>
+ <td class="data-stddev">(11)</td>
+ <td class="data-mean">417</td>
  <td class="data-stddev">(6)</td>
+ <td class="data-mean">901</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">952</td>
- <td class="data-stddev">(64)</td>
- <td class="data-mean">492</td>
- <td class="data-stddev">(88)</td>
- <td class="data-mean">636</td>
- <td class="data-stddev">(38)</td>
- <td class="data-mean">1359</td>
- <td class="data-stddev">(69)</td>
+ <td class="data-mean">974</td>
+ <td class="data-stddev">(77)</td>
+ <td class="data-mean">473</td>
+ <td class="data-stddev">(12)</td>
+ <td class="data-mean">671</td>
+ <td class="data-stddev">(120)</td>
+ <td class="data-mean">1342</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">881</td>
- <td class="data-stddev">(36)</td>
+ <td class="data-mean">874</td>
+ <td class="data-stddev">(38)</td>
  <td class="data-mean">323</td>
+ <td class="data-stddev">(3)</td>
+ <td class="data-mean">363</td>
  <td class="data-stddev">(2)</td>
- <td class="data-mean">364</td>
- <td class="data-stddev">(2)</td>
- <td class="data-mean">1244</td>
+ <td class="data-mean">1233</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">1999</td>
+ <td class="data-mean">1955</td>
  <td class="data-stddev">(424)</td>
- <td class="data-mean">582</td>
+ <td class="data-mean">586</td>
  <td class="data-stddev">(13)</td>
- <td class="data-mean">609</td>
- <td class="data-stddev">(9)</td>
- <td class="data-mean">1590</td>
- <td class="data-stddev">(6)</td>
+ <td class="data-mean">606</td>
+ <td class="data-stddev">(10)</td>
+ <td class="data-mean">1591</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">1639</td>
- <td class="data-stddev">(333)</td>
- <td class="data-mean">380</td>
- <td class="data-stddev">(4)</td>
- <td class="data-mean">406</td>
- <td class="data-stddev">(4)</td>
+ <td class="data-mean">1681</td>
+ <td class="data-stddev">(339)</td>
+ <td class="data-mean">383</td>
+ <td class="data-stddev">(3)</td>
+ <td class="data-mean">403</td>
+ <td class="data-stddev">(5)</td>
  <td class="data-mean">1038</td>
- <td class="data-stddev">(11)</td>
+ <td class="data-stddev">(9)</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">(21)</td>
- <td class="data-mean">415</td>
- <td class="data-stddev">(6)</td>
+ <td class="data-stddev">(19)</td>
+ <td class="data-mean">417</td>
+ <td class="data-stddev">(13)</td>
  <td class="data-mean">442</td>
- <td class="data-stddev">(3)</td>
- <td class="data-mean">1053</td>
- <td class="data-stddev">(12)</td>
+ <td class="data-stddev">(9)</td>
+ <td class="data-mean">1010</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">2998</td>
- <td class="data-stddev">(176)</td>
- <td class="data-mean">680</td>
- <td class="data-stddev">(14)</td>
- <td class="data-mean">882</td>
- <td class="data-stddev">(87)</td>
- <td class="data-mean">3818</td>
- <td class="data-stddev">(122)</td>
+ <td class="data-mean">3012</td>
+ <td class="data-stddev">(170)</td>
+ <td class="data-mean">684</td>
+ <td class="data-stddev">(19)</td>
+ <td class="data-mean">873</td>
+ <td class="data-stddev">(50)</td>
+ <td class="data-mean">3842</td>
+ <td class="data-stddev">(147)</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-04 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/fdcdb38b60eb371ae6dd31c3dd5c0424fa07136d/default.xml">fdcdb38b</a>.</p>
+<p>This page was generated on 2024-10-14 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/8efea47328fd23e8b4c7371186348f41109de575/default.xml">8efea473</a>.</p>