update

Author: cutelimination

index.html

@@ -88,7 +88,7 @@ <h3>News</h3>
         <a style="color:#FF0000">I am looking for self-motivated students (enrolled in 2026)!</a> Please read <a href="html/note-to-prospective-students.html">this</a> if you are interested in working with me (e.g., for Ph.D., Master, SRTP, and FYP).
         </li>
         <li><img src="figs/new.gif" alt="news">
-         <a href="./html/owl.html">z3-owl</a> achieved 3rd in the single-query tracks of <a href="https://smt-comp.github.io/2025/results/qf_abv-single-query/">OF_ABV</a>, <a href="https://smt-comp.github.io/2025/results/qf_aufbv-single-query/">QF_AUFBV</a>, and <a href="https://smt-comp.github.io/2025/results/qf_bvfp-single-query/">QF_BVFP</a> at SMT-COMP 2025.
+         <a href="./html/owl.html">z3-owl</a> ranked 3rd in the single-query tracks of <a href="https://smt-comp.github.io/2025/results/qf_abv-single-query/">OF_ABV</a>, <a href="https://smt-comp.github.io/2025/results/qf_aufbv-single-query/">QF_AUFBV</a>, and <a href="https://smt-comp.github.io/2025/results/qf_bvfp-single-query/">QF_BVFP</a> at SMT-COMP 2025.
           </li>
         <li><img src="figs/new.gif" alt="news">
         smtfuzz v0.1.1 is released! This release includes new mutation engines, parallel runner support, and additional enhancements.