Skip to content

Releases: SMT-COMP/postprocessors

Release list

SMT-COMP 2022 post-processors

SMT-COMP 2022 post-processors Latest
Latest

Choose a tag to compare

View all tags
@jhoenicke jhoenicke released this 28 Apr 15:57
smtcomp2022
371883f

The SMT-COMP 2022 post-processors that were used in the competition.

Assets 7
Loading

SMT-COMP 2021 post-processors

SMT-COMP 2021 post-processors

Choose a tag to compare

View all tags
@jhoenicke jhoenicke released this 25 Mar 16:29
smtcomp2021
182ec18

The SMT-COMP 2021 post-processors that were used in the competition.

Loading

SMT-COMP 2020 post-processors

SMT-COMP 2020 post-processors

Choose a tag to compare

View all tags
@aehyvari aehyvari released this 07 Oct 09:40
smtcomp2020
54042f3
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode. 
smtcomp2020

smtcomp2020
Loading

SMT-COMP 2019 post-processors

SMT-COMP 2019 post-processors

Choose a tag to compare

View all tags
@aniemetz aniemetz released this 12 Jul 13:30
smtcomp2019
28512e5 
smtcomp2019

updated the list of verifying solvers
Loading

SMT-COMP 2018 post-processors

SMT-COMP 2018 post-processors

Choose a tag to compare

View all tags
@aniemetz aniemetz released this 22 Mar 22:18
smtcomp2018
4732b3a 
smtcomp2018

Add postprocessor for unsat core track 2018.
Loading

SMT-COMP 2017 postprocessors

SMT-COMP 2017 postprocessors

Choose a tag to compare

View all tags
@aniemetz aniemetz released this 22 Mar 22:18
smtcomp2017
0dc98e1 
smtcomp2017

Add postprocessor for unsat core track 2017.
Loading

SMT-COMP 2016 postprocessors

SMT-COMP 2016 postprocessors

Choose a tag to compare

View all tags
@aniemetz aniemetz released this 22 Mar 22:18
smtcomp2016
264a1d1 
smtcomp2016

Add postprocessor for unsat core track 2016.
Loading

SMT-COMP 2015 postprocessors

SMT-COMP 2015 postprocessors

Choose a tag to compare

View all tags
@aniemetz aniemetz released this 22 Mar 22:17
smtcomp2015
77384db 
smtcomp2015

Add postprocessor for main track 2015.
Loading

SMT-COMP 2014 postprocessors

SMT-COMP 2014 postprocessors

Choose a tag to compare

View all tags
@aniemetz aniemetz released this 22 Mar 22:17
smtcomp2014
4d268a7 
smtcomp2014

Add postprocessor for application track 2014.
Loading