Reproducing SV-COMP Results
A description on how we make the results of the competition reproducible can be found in the competition report; the components that are listed below in the table are described in Sect. 4 "Reproducibility".
An overview over all components that were uses in the competition can be found on the reproduction page.
Verifiers
| Tool | Lang. | Jury member | Affiliation | Archive | Bechmark definition | Publication |
| Overview | Chair | Dirk Beyer | LMU Munich, Germany | |||
| 2LS | C | Viktor Malík | Brno University of Technology, Czechia | 2ls.zip | 2ls.xml | ... |
| BRICK | C | Lei Bu | Nanjing University, China | brick.zip | brick.xml | ... |
| Bubaak | C | Marek Chalupa | ISTA, Austria | bubaak.zip | bubaak.xml | ... |
| CBMC | C | Michael Tautschnig | Queen Mary University of London, UK | cbmc.zip | cbmc.xml | ... |
| COASTAL | Java | Hors Concours | --, -- | coastal.zip | coastal.xml | ... |
| CoVeriTeam-Verifier-AlgoSelection | C | Hors Concours | --, -- | coveriteam-verifier-algo-selection.zip | coveriteam-verifier-algo-selection.xml | ... |
| CoVeriTeam-Verifier-ParallelPortfolio | C | Hors Concours | --, -- | coveriteam-verifier-parallel-portfolio.zip | coveriteam-verifier-parallel-portfolio.xml | ... |
| CPA-BAM-BnB | C | Hors Concours | --, -- | cpa-bam-bnb.zip | cpa-bam-bnb.xml | ... |
| CPA-BAM-SMG | C | Hors Concours | --, -- | cpa-bam-smg.zip | cpa-bam-smg.xml | ... |
| CPAchecker | C | Henrik Wachowitz | LMU Munich, Germany | cpachecker.zip | cpachecker.xml | ... |
| CPALockator | C | Hors Concours | --, -- | cpa-lockator.zip | cpa-lockator.xml | ... |
| Crux | C | Hors Concours | --, -- | crux.zip | crux.xml | ... |
| CSeq | C | Hors Concours | --, -- | cseq.zip | cseq.xml | ... |
| Dartagnan | C | Hernán Ponce de León | Huawei Dresden Research Center, Germany | dartagnan.zip | dartagnan.xml | ... |
| Deagle | C | Fei He | Tsinghua University, China | deagle.zip | deagle.xml | ... |
| DIVINE | C | Hors Concours | --, -- | divine.zip | divine.xml | ... |
| EBF | C | Fatimah Aljaafari | University of Manchester, UK | ebf.zip | ebf.xml | ... |
| ESBMC-incr | C | Hors Concours | --, -- | esbmc-incr.zip | esbmc-incr.xml | ... |
| ESBMC-kind | C | Rafael Sá Menezes | University of Manchester, UK | esbmc-kind.zip | esbmc-kind.xml | ... |
| Frama-C-SV | C | Martin Spiessl | LMU Munich, Germany | frama-c-sv.zip | frama-c-sv.xml | ... |
| Gazer-Theta | C | Hors Concours | --, -- | gazer-theta.zip | gazer-theta.xml | ... |
| GDart | Java | Falk Howar | TU Dortmund, Germany | gdart.zip | gdart.xml | ... |
| GDart-LLVM | C | Falk Howar | TU Dortmund, Germany | gdart-llvm.zip | gdart-llvm.xml | ... |
| Goblint | C | Simmo Saan | University of Tartu, Estonia | goblint.zip | goblint.xml | ... |
| Graves-CPA | C | Will Leeson | University of Virginia, USA | graves.zip | graves.xml | ... |
| Graves-Par | C | Hors Concurs | University of Virginia, USA | graves-par.zip | graves-par.xml | ... |
| Infer | C | Hors Concours | --, -- | infer.zip | infer.xml | ... |
| Java-Ranger | Java | Soha Hussein | University of Minnesota, USA | java-ranger.zip | java-ranger.xml | ... |
| JayHorn | Java | Hors Concours | --, -- | jayhorn.zip | jayhorn.xml | ... |
| JBMC | Java | Peter Schrammel | University of Sussex and Diffblue, UK | jbmc.zip | jbmc.xml | ... |
| JDart | Java | Hors Concours | --, -- | jdart.zip | jdart.xml | ... |
| Korn | C | Gidon Ernst | LMU Munich, Germany | korn.zip | korn.xml | ... |
| Lazy-CSeq | C | Hors Concours | --, -- | lazycseq.zip | lazycseq.xml | ... |
| LF-checker | C | Tong Wu | University of Manchester, UK | lf-checker.zip | lf-checker.xml | ... |
| Locksmith | C | Vesal Vojdani | University of Tartu, Estonia | locksmith.zip | locksmith.xml | ... |
| MLB | Java | Lei Bu | Nanjing University, China | mlb.zip | mlb.xml | ... |
| Mopsa | C | Raphaël Monat | Inria and University of Lille, France | mopsa.zip | mopsa.xml | ... |
| PeSCo-CPA | C | Cedric Richter | University of Oldenburg, Germany | pesco.zip | pesco.xml | ... |
| PIChecker | C | Jie Su | Xidian University, China | pichecker.zip | pichecker.xml | ... |
| Pinaka | C | Hors Concours | --, -- | pinaka.zip | pinaka.xml | ... |
| PredatorHP | C | Hors Concours | --, -- | predatorhp.zip | predatorhp.xml | ... |
| SPF | Java | Hors Concours | --, -- | spf.zip | spf.xml | ... |
| Symbiotic | C | Marek Trtik | Masaryk University, Brno, Czechia | symbiotic.zip | symbiotic.xml | ... |
| Theta | C | Levente Bajczi | Budapest University of Technology and Economics, Hungary | theta.zip | theta.xml | ... |
| UAutomizer | C | Matthias Heizmann | University of Freiburg, Germany | uautomizer.zip | uautomizer.xml | ... |
| UGemCutter | C | Dominik Klumpp | University of Freiburg, Germany | ugemcutter.zip | ugemcutter.xml | ... |
| UKojak | C | Frank Schüssele | University of Freiburg, Germany | ukojak.zip | ukojak.xml | ... |
| UTaipan | C | Daniel Dietsch | University of Freiburg, Germany | utaipan.zip | utaipan.xml | ... |
| VeriAbsL | C | Priyanka Darke | Tata Consultancy Services, India | veriabsl.zip | veriabsl.xml | ... |
| VeriAbs | C | Priyanka Darke | Tata Consultancy Services, India | veriabs.zip | veriabs.xml | ... |
| VeriFuzz | C | Raveendra Kumar Medicherla | Tata Consultancy Services, India | verifuzz.zip | verifuzz.xml | ... |
| VeriOover | C | HaiPeng Qu | Ocean University of China, China | verioover.zip | verioover.xml | ... |