auto-deployed

seL4 · Jun 26, 2024 · 19222f0 · 19222f0
1 parent 074de90
commit 19222f0
Show file tree

Hide file tree

Showing 2 changed files with 194 additions and 194 deletions.
diff --git a/About/Performance/index.html b/About/Performance/index.html
@@ -116,65 +116,65 @@ <h1>Performance</h1>
     <td>A9/i.MX6/Sabre</td>
     <td class="data-table-right">1.0 GHz</td>
     <td class="data-mean">585</td>
-    <td class="data-stddev">(13)</td>
-    <td class="data-mean">317</td>
-    <td class="data-stddev">(2)</td>
-    <td class="data-mean">339</td>
-    <td class="data-stddev">(8)</td>
-    <td class="data-mean">830</td>
+    <td class="data-stddev">(11)</td>
+    <td class="data-mean">316</td>
+    <td class="data-stddev">(3)</td>
+    <td class="data-mean">336</td>
+    <td class="data-stddev">(7)</td>
+    <td class="data-mean">825</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">1567</td>
-    <td class="data-stddev">(258)</td>
+    <td class="data-mean">1559</td>
+    <td class="data-stddev">(265)</td>
     <td class="data-mean">578</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">594</td>
-    <td class="data-stddev">(12)</td>
-    <td class="data-mean">1318</td>
-    <td class="data-stddev">(73)</td>
+    <td class="data-mean">589</td>
+    <td class="data-stddev">(13)</td>
+    <td class="data-mean">1325</td>
+    <td class="data-stddev">(75)</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">1261</td>
-    <td class="data-stddev">(202)</td>
+    <td class="data-mean">1249</td>
+    <td class="data-stddev">(211)</td>
     <td class="data-mean">380</td>
     <td class="data-stddev">(2)</td>
-    <td class="data-mean">380</td>
-    <td class="data-stddev">(4)</td>
-    <td class="data-mean">755</td>
+    <td class="data-mean">386</td>
+    <td class="data-stddev">(3)</td>
+    <td class="data-mean">754</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">666</td>
-    <td class="data-stddev">(35)</td>
-    <td class="data-mean">403</td>
-    <td class="data-stddev">(5)</td>
+    <td class="data-mean">664</td>
+    <td class="data-stddev">(31)</td>
+    <td class="data-mean">406</td>
+    <td class="data-stddev">(8)</td>
     <td class="data-mean">417</td>
-    <td class="data-stddev">(7)</td>
-    <td class="data-mean">905</td>
-    <td class="data-stddev">(10)</td>
+    <td class="data-stddev">(6)</td>
+    <td class="data-mean">880</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">969</td>
-    <td class="data-stddev">(82)</td>
-    <td class="data-mean">472</td>
+    <td class="data-mean">982</td>
+    <td class="data-stddev">(92)</td>
+    <td class="data-mean">477</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">627</td>
-    <td class="data-stddev">(2)</td>
-    <td class="data-mean">1365</td>
-    <td class="data-stddev">(69)</td>
+    <td class="data-mean">639</td>
+    <td class="data-stddev">(38)</td>
+    <td class="data-mean">1367</td>
+    <td class="data-stddev">(72)</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">848</td>
-    <td class="data-stddev">(18)</td>
+    <td class="data-mean">853</td>
+    <td class="data-stddev">(20)</td>
     <td class="data-mean">323</td>
     <td class="data-stddev">(2)</td>
-    <td class="data-mean">363</td>
-    <td class="data-stddev">(3)</td>
-    <td class="data-mean">1226</td>
-    <td class="data-stddev">(12)</td>
+    <td class="data-mean">364</td>
+    <td class="data-stddev">(4)</td>
+    <td class="data-mean">1216</td>
+    <td class="data-stddev">(15)</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">2096</td>
-    <td class="data-stddev">(426)</td>
-    <td class="data-mean">588</td>
+    <td class="data-mean">2039</td>
+    <td class="data-stddev">(415)</td>
+    <td class="data-mean">586</td>
+    <td class="data-stddev">(13)</td>
+    <td class="data-mean">598</td>
     <td class="data-stddev">(13)</td>
-    <td class="data-mean">607</td>
+    <td class="data-mean">1592</td>
     <td class="data-stddev">(8)</td>
-    <td class="data-mean">1531</td>
-    <td class="data-stddev">(17)</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">1610</td>
+    <td class="data-mean">1580</td>
     <td class="data-stddev">(329)</td>
-    <td class="data-mean">378</td>
+    <td class="data-mean">380</td>
     <td class="data-stddev">(3)</td>
-    <td class="data-mean">408</td>
+    <td class="data-mean">407</td>
     <td class="data-stddev">(7)</td>
-    <td class="data-mean">1052</td>
-    <td class="data-stddev">(16)</td>
+    <td class="data-mean">1034</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">760</td>
-    <td class="data-stddev">(21)</td>
-    <td class="data-mean">435</td>
-    <td class="data-stddev">(9)</td>
+    <td class="data-mean">758</td>
+    <td class="data-stddev">(22)</td>
     <td class="data-mean">437</td>
-    <td class="data-stddev">(6)</td>
+    <td class="data-stddev">(0)</td>
+    <td class="data-mean">433</td>
+    <td class="data-stddev">(7)</td>
     <td class="data-mean">964</td>
-    <td class="data-stddev">(11)</td>
+    <td class="data-stddev">(16)</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">2926</td>
-    <td class="data-stddev">(128)</td>
-    <td class="data-mean">680</td>
-    <td class="data-stddev">(18)</td>
-    <td class="data-mean">892</td>
-    <td class="data-stddev">(74)</td>
-    <td class="data-mean">3830</td>
-    <td class="data-stddev">(162)</td>
+    <td class="data-mean">2976</td>
+    <td class="data-stddev">(161)</td>
+    <td class="data-mean">682</td>
+    <td class="data-stddev">(15)</td>
+    <td class="data-mean">900</td>
+    <td class="data-stddev">(99)</td>
+    <td class="data-mean">3806</td>
+    <td class="data-stddev">(141)</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-06-25 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/197fdd79d6c3a32a87977c5ea5961770eb397e12/default.xml">197fdd79</a>.</p>
+<p>This page was generated on 2024-06-26 for sel4bench-manifest <a href="https://github.com/seL4/sel4bench-manifest/blob/6889b8646e88ccbcaeb0e98dc597304f5c77a999/default.xml">6889b864</a>.</p>
 <div class="divider"></div>
 </div><!-- container -->
 </div><!--content-wrap-->