Symbiotic 8

This is a debugged and improved version of SV-COMP 2021 Symbiotic 8.

SV-COMP 21 version

This release is a fixed version of Symbiotic that competed in SV-COMP 2021. The unfixed version is available from the competition's archives.

The fixes are:

• fix of slicing for termination category
• fix of handling fpclassify in slowbeast
• generating trivial witnesses for 'true' answers from slowbeast

Slowbeast used is: https://gitlab.fi.muni.cz/xchalup4/slowbeast/-/tree/svcomp21-v1

SV-COMP 2020 version

The version used for SV-COMP 2020.

iFM experiments

This version of Symbiotic was used for experiments intended for a publication on iFM 2019.

Test-comp 2019

The version used for the Test-comp 2019 (http://test-comp.sosy-lab.org/)

SV-COMP 2019

The version used for SV-COMP 2019

STTT version

The version used for STTT paper.

Release used for measurements on SPIN 2018

spin-2018

update modules

Release used for SV-COMP 2018

This release will be being updated till 27th of November.

The version used for TACAS 2018 paper

The attached archive contains all measurements that were taken and the Symbiotic tool used to take the measurements. Also, simple steps that are needed to reproduce the results are present.