Tools
Pre-Processor (Benchmark Scrambler)
GitHub Repository
Sources
SMT-COMP 2019 Releases
-
Single Query Track
-
Binary
-
available on StarExec as
SMT-COMP 2019 Non-Incremental Scrambler (id: 551)
-
Incremental Track
-
Binary
-
available on StarExec as
SMT-COMP 2019 Incremental Scrambler (id: 595)
-
Challenge Track (non-incremental)
-
Binary
-
available on StarExec as
SMT-COMP 2019 Non-Incremental Scrambler (id: 551)
-
Challenge Track (incremental)
-
Binary
-
available on StarExec as
SMT-COMP 2019 Incremental Scrambler (id: 595)
-
Unsat Core Track
-
Binary
-
available on StarExec as
SMT-COMP 2019 Unsat-Core Scrambler (id: 589)
-
Model Validation Track (experimental)
-
Binary
-
available on StarExec as
SMT-COMP 2019 Model-Validation Scrambler (id: 554)
Post-Processor
GitHub Repository
Sources
SMT-COMP 2019 Releases
-
Single Query Track
-
Binary
-
available on StarExec as
SMT-COMP 2019 Non-Incremental (id: 555)
-
Incremental Track
-
Challenge Track (non-incremental)
-
Binary
-
available on StarExec as
SMT-COMP 2019 Non-Incremental (id: 555)
-
Challenge Track (incremental)
-
Unsat Core Track
-
Model Validation Track (experimental)
-
Binary
-
available on StarExec as
SMT-COMP 2019 Model-Validation (id: 587)
Trace executor
GitHub Repository
Sources
Binary
All solvers wrapped with the Trace executor are available here.