The package contains Symbiotic binary which was submitted to the SV-COMP 2023. Details about the tool can be found at https://github.com/staticafi/symbiotic Laboratory: https://formela.fi.muni.cz/research-areas/program-analysis-and-verification Details about the SV-COMP 2023: https://sv-comp.sosy-lab.org/2023/ The package of Symbiotic (and also other competing tools) can be downloaded directly from the competition repository: https://gitlab.com/sosy-lab/sv-comp/archives-2023