🏆 Competitions
- The International SAT Competition & Race 🏠
- 2025: PRS won 3rd Place of Parallel Track.
- 2024: PRS won 🥈Cloud Track
- 2023: PRS won 🥇🥇🥇Main-Parallel(SAT/UNSAT/ALL) Track and 🥈Cloud Track
- 2022: ParKissat-RS won Chinese First 🥇🥇🥈Main-Parallel(SAT/ALL) Track; kissat-pre won 🏆NoLimits Track; kissat-inc won 🥈🥈Main-Sequential(SAT/ALL) Track
- 2021: lstech_Maple won 🥈Main-Sequential(SAT) Track; kissat_bonus won 🥈Main-Sequential(UNSAT) Track;
- 2020: Relaxed_LCMDCBDL_newTech won 🥇Main-Sequential-SAT Track
- 2018: ReasonLS won 🏆NoLimits Track
- Sparkle SAT Challenge 2018 🏠: ReasonLS won the 🥈second place.
- International Satisfiability Modulo Theories (SMT) Competition 🏠
- FLoC (Federated Logic Conference) 2022 Olympic Games 🏠
- SAT: ParKissat-RS won 🏆Parallel Track
- SMT: z3++ won 🏆MV-Biggest Lead & 🏆MV-Largest Contribution
- China Postgraduate IC Innovation Competition EDA Elite Challenge
- 2025, 🥉Third Prize
- 2024, 🥈Second Prize, 🏢 Enterprise Special Award (S2C)
- 2022, Integrated Circuit EDA Elite Challenge, 🥈Second award, 🏢 Enterprise Special Award (Hisilicon)
-
2023, The 6th “Qiangwang Cup” National Network Security Challenge, Cryptography Mathematics Special Competition, Group Name: “CMixSAT”, 🏆 Champion
-
2017, Interdisciplinary Contest In Modeling, Meritorious Winner
-
2016, Contemporary Undergraduate Mathematical Contest in Modeling (CUMCM), 🥈 Second prize
- 2016, International Genetically Engineered Machine competition (iGEM), 🥇 Gold Award