Code

Fix unsat core results#125

Code

Merged

martinjonas merged 4 commits intomasterSMT-COMP/smt-comp.github.io:masterfrom fix_unsat_core_resultsSMT-COMP/smt-comp.github.io:fix_unsat_core_resultsCopy head branch name to clipboardJul 30, 2024

+15-8

Commits

Commits on Jul 25, 2024

• Fix validation criteria for unsat cores.

  

  Martin Jonáš

  committed
  0cb629f

Commits on Jul 30, 2024

• Add fixed unsat core results.

  

  Martin Jonáš

  committed
  6d41523

• Use 0 for missing results.

  

  Martin Jonáš

  committed
  9a583f3

• Blackify.

  

  Martin Jonáš

  committed
  8c2e102