Issues

• [scoring] Do not consider non-competitive logics in score computation

  SMT-COMP/smt-comp.github.io#219 · Filter by author martinjonas opened on Aug 19, 2025
  3

  

• [webpage] Add dedicated information page for solvers

  SMT-COMP/smt-comp.github.io#210 · Filter by author wintered opened on Aug 7, 2025

• Address TODO related to result filtering

  SMT-COMP/smt-comp.github.io#209 · Filter by author wintered opened on Aug 7, 2025

• Make competition-wide recognitions robust against non-competitive solvers and divisions

  SMT-COMP/smt-comp.github.io#208 · Filter by author wintered opened on Aug 7, 2025

• [refactor] Support derived solver in Submissions

  SMT-COMP/smt-comp.github.io#207 · Filter by author wintered opened on Aug 7, 2025

• CI test_script.py does nothing

  SMT-COMP/smt-comp.github.io#194 · Filter by author Tomaqa opened on Jun 23, 2025
  2

• CI check for system description

  SMT-COMP/smt-comp.github.io#190 · Filter by author dde-cls opened on Jun 16, 2025
  1

• Use json5 parser for submission

  enhancement
  SMT-COMP/smt-comp.github.io#77 · Filter by author bobot opened on Jun 4, 2024

• make install hangs

  SMT-COMP/smt-comp.github.io#62 · Filter by author Tomaqa opened on May 27, 2024
  2

• Unable to open the PDF of slides in SMT comp 2023

  SMT-COMP/smt-comp.github.io#34 · Filter by author DouglasLee001 opened on Oct 26, 2023