auto-deployed

seL4 · Sep 16, 2024 · 5a0067c · 5a0067c
1 parent 4fcb64a
commit 5a0067c
Show file tree

Hide file tree

Showing 2 changed files with 200 additions and 200 deletions.
diff --git a/About/Performance/index.html b/About/Performance/index.html
@@ -115,66 +115,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">586</td>
+    <td class="data-mean">583</td>
     <td class="data-stddev">(11)</td>
-    <td class="data-mean">316</td>
+    <td class="data-mean">317</td>
     <td class="data-stddev">(2)</td>
-    <td class="data-mean">338</td>
-    <td class="data-stddev">(7)</td>
-    <td class="data-mean">832</td>
+    <td class="data-mean">343</td>
+    <td class="data-stddev">(10)</td>
+    <td class="data-mean">837</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">1568</td>
-    <td class="data-stddev">(255)</td>
-    <td class="data-mean">581</td>
+    <td class="data-mean">1576</td>
+    <td class="data-stddev">(253)</td>
+    <td class="data-mean">578</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">589</td>
-    <td class="data-stddev">(12)</td>
-    <td class="data-mean">1321</td>
-    <td class="data-stddev">(72)</td>
+    <td class="data-mean">584</td>
+    <td class="data-stddev">(13)</td>
+    <td class="data-mean">1319</td>
+    <td class="data-stddev">(77)</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">1258</td>
-    <td class="data-stddev">(193)</td>
+    <td class="data-mean">1308</td>
+    <td class="data-stddev">(201)</td>
     <td class="data-mean">382</td>
     <td class="data-stddev">(3)</td>
-    <td class="data-mean">388</td>
+    <td class="data-mean">379</td>
     <td class="data-stddev">(4)</td>
-    <td class="data-mean">754</td>
-    <td class="data-stddev">(82)</td>
+    <td class="data-mean">755</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">672</td>
-    <td class="data-stddev">(32)</td>
-    <td class="data-mean">412</td>
-    <td class="data-stddev">(10)</td>
-    <td class="data-mean">411</td>
-    <td class="data-stddev">(11)</td>
-    <td class="data-mean">912</td>
-    <td class="data-stddev">(8)</td>
+    <td class="data-mean">670</td>
+    <td class="data-stddev">(31)</td>
+    <td class="data-mean">414</td>
+    <td class="data-stddev">(5)</td>
+    <td class="data-mean">410</td>
+    <td class="data-stddev">(3)</td>
+    <td class="data-mean">878</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">971</td>
-    <td class="data-stddev">(75)</td>
-    <td class="data-mean">470</td>
-    <td class="data-stddev">(12)</td>
-    <td class="data-mean">648</td>
-    <td class="data-stddev">(90)</td>
-    <td class="data-mean">1340</td>
-    <td class="data-stddev">(51)</td>
+    <td class="data-mean">975</td>
+    <td class="data-stddev">(80)</td>
+    <td class="data-mean">499</td>
+    <td class="data-stddev">(99)</td>
+    <td class="data-mean">623</td>
+    <td class="data-stddev">(7)</td>
+    <td class="data-mean">1362</td>
+    <td class="data-stddev">(68)</td>
   </tr></table>
 
 <h2>MCS</h2>
@@ -193,66 +193,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">895</td>
-    <td class="data-stddev">(30)</td>
-    <td class="data-mean">324</td>
-    <td class="data-stddev">(1)</td>
+    <td class="data-mean">879</td>
+    <td class="data-stddev">(34)</td>
+    <td class="data-mean">323</td>
+    <td class="data-stddev">(3)</td>
     <td class="data-mean">364</td>
     <td class="data-stddev">(2)</td>
-    <td class="data-mean">1235</td>
+    <td class="data-mean">1225</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">2005</td>
-    <td class="data-stddev">(425)</td>
-    <td class="data-mean">584</td>
-    <td class="data-stddev">(13)</td>
-    <td class="data-mean">604</td>
+    <td class="data-mean">1967</td>
+    <td class="data-stddev">(429)</td>
+    <td class="data-mean">588</td>
+    <td class="data-stddev">(12)</td>
+    <td class="data-mean">602</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">1589</td>
-    <td class="data-stddev">(7)</td>
+    <td class="data-mean">1590</td>
+    <td class="data-stddev">(6)</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">1626</td>
-    <td class="data-stddev">(339)</td>
+    <td class="data-mean">1718</td>
+    <td class="data-stddev">(332)</td>
     <td class="data-mean">382</td>
-    <td class="data-stddev">(3)</td>
-    <td class="data-mean">406</td>
-    <td class="data-stddev">(3)</td>
-    <td class="data-mean">1039</td>
-    <td class="data-stddev">(10)</td>
+    <td class="data-stddev">(2)</td>
+    <td class="data-mean">408</td>
+    <td class="data-stddev">(4)</td>
+    <td class="data-mean">1040</td>
+    <td class="data-stddev">(15)</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">(15)</td>
-    <td class="data-mean">414</td>
-    <td class="data-stddev">(5)</td>
-    <td class="data-mean">462</td>
-    <td class="data-stddev">(11)</td>
-    <td class="data-mean">1074</td>
-    <td class="data-stddev">(13)</td>
+    <td class="data-stddev">(24)</td>
+    <td class="data-mean">413</td>
+    <td class="data-stddev">(0)</td>
+    <td class="data-mean">436</td>
+    <td class="data-stddev">(12)</td>
+    <td class="data-mean">1019</td>
+    <td class="data-stddev">(18)</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">2970</td>
-    <td class="data-stddev">(154)</td>
-    <td class="data-mean">721</td>
-    <td class="data-stddev">(101)</td>
-    <td class="data-mean">871</td>
-    <td class="data-stddev">(29)</td>
-    <td class="data-mean">3820</td>
-    <td class="data-stddev">(142)</td>
+    <td class="data-mean">2977</td>
+    <td class="data-stddev">(164)</td>
+    <td class="data-mean">683</td>
+    <td class="data-stddev">(17)</td>
+    <td class="data-mean">890</td>
+    <td class="data-stddev">(65)</td>
+    <td class="data-mean">3862</td>
+    <td class="data-stddev">(150)</td>
   </tr></table>
 
 <h2>Compilation Details</h2>
@@ -351,7 +351,7 @@ <h3>MCS</h3>
   </tr></table>
 
 <h2>Source Code</h2>
-<p>This page was generated on 2024-08-14 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/4d7edabb5945f912f0c3bc9071e35a163790b544/default.xml">4d7edabb</a>.</p>
+<p>This page was generated on 2024-09-16 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/76d07842aa61f189d0183f549b6fd6614686cea5/default.xml">76d07842</a>.</p>
 <div class="divider"></div>
 </div><!-- container -->
 </div><!--content-wrap-->