update

cutelimination · cutelimination · commit 280fb1881707 · 2025-08-16T10:38:11.000+08:00
diff --git a/index.html b/index.html
@@ -385,6 +385,8 @@ <h3>
         <strong>Honors & Awards</strong>
       </h3>
       <ul>
+        <li>Third-place in the single-query tracks of OF_ABV, QF_AUFBV, and QF_BVFP, SMT-COMP 2025
+        </li>
         <li>ACM SIGSOFT Distinguished Paper Award (ISSTA 2024)
         </li>
         <li>CCF-Huawei Innovation Research Award (2023-formal method, 2024-compilers)
