Search results

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

Status: Open.

#219 In SMT-COMP/smt-comp.github.io;

· martinjonas opened on Aug 19, 2025

[webpage] Add dedicated information page for solvers

Status: Open.

#210 In SMT-COMP/smt-comp.github.io;

· wintered opened on Aug 7, 2025

Address TODO related to result filtering

Status: Open.

#209 In SMT-COMP/smt-comp.github.io;

· wintered opened on Aug 7, 2025

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

Status: Open.

#208 In SMT-COMP/smt-comp.github.io;

· wintered opened on Aug 7, 2025

[refactor] Support derived solver in Submissions

Status: Open.

#207 In SMT-COMP/smt-comp.github.io;

· wintered opened on Aug 7, 2025

CI test_script.py does nothing

Status: Open.

#194 In SMT-COMP/smt-comp.github.io;

· Tomaqa opened on Jun 23, 2025

CI check for system description

Status: Open.

#190 In SMT-COMP/smt-comp.github.io;

· dde-cls opened on Jun 16, 2025

Use json5 parser for submission

enhancementNew feature or requestNew feature or request

Status: Open.

#77 In SMT-COMP/smt-comp.github.io;

· bobot opened on Jun 4, 2024

make install hangs

Status: Open.

#62 In SMT-COMP/smt-comp.github.io;

· Tomaqa opened on May 27, 2024

Unable to open the PDF of slides in SMT comp 2023

Status: Open.

#34 In SMT-COMP/smt-comp.github.io;

· DouglasLee001 opened on Oct 26, 2023