one more note

Author: ffrohn

docs/Y2025/index.html

@@ -32,6 +32,11 @@ <h1>Termination Competition 2025 <span class="headerFollower">
 function updateScores(catname,participants) {}
 </script>
 <h2>Termination of Rewriting <span id=stat0 class=stats></span></h2>
+ <p>
+   <b>
+     Note: For technical reasons, two instances from the category SRS Relative got stuck, and they were excluded from the scoring.
+   </b>
+ </p>
  <script>
   function summer(a,b){
    return {done: a.done + b.done, cpu: a.cpu + b.cpu, time: a.time + b.time, togo: a.togo + b.togo};