Predator Hunting Party


PredatorHP is a version of Predator tool adapted for participation in SV-COMP.

Source Code

gitGitHub repository for PredatorHP and for Predator.

PredatorHP Versions

Competition Edition
git Source Code
SV-COMP 2015 predatorhp-svcomp15-bin.tar.gz predatorhp-svcomp15.pdf
SV-COMP 2016 predatorhp-svcomp16-bin.tar.gz predatorhp-svcomp16-src.tar.gz predatorhp-svcomp16.pdf
SV-COMP 2017 predatorhp-svcomp17-bin.tar.gz1 predatorhp-svcomp17-src.tar.gz predatorhp-svcomp17.pdf (draft)
SV-COMP 2018 predatorhp-svcomp18-bin.zip2
SV-COMP 2019 predatorhp-v3.14-bin.zip3 predatorhp-v3.14-src.tar.gz predatorhp-svcomp19.pdf (draft)
SV-COMP 2020 predatorhp-v3.141-bin.zip4 predatorhp-svcomp20.pdf
SV-COMP 2024 predatorhp-v3.1415-bin.zip5

Warning: Binary Predator does not work with different versions of gcc (and always returns "unknown" in this case)

1Compiled for Ubuntu 16.04 on 2016-12-31 using gcc --version : "gcc (Ubuntu 5.4.0-6ubuntu1~16.04.4) 5.4.0 20160609".

2Compiled for Ubuntu 16.04 on 2017-11-13 using gcc --version : "gcc (Ubuntu 5.4.0-6ubuntu1~16.04.5) 5.4.0 20160609".

3Compiled for Ubuntu 18.04 on 2018-11-15 using gcc-5 --version : "gcc-5 (Ubuntu 5.5.0-12ubuntu1) 5.5.0 20171010".

4Compiled for Ubuntu 18.04 on 2019-11-20 using gcc --version : "gcc (Ubuntu 7.4.0-1ubuntu1~18.04.1) 7.4.0".

5Compiled for Ubuntu 22.04 on 2023-11-22 using gcc --version : "gcc (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0".

PredatorHP Team


This work was supported by the Czech Science Foundation (projects P103/10/0306, 14-11384S, and 17-12465S), the Czech Ministry of Education, Youth, and Sports (projects COST OC10009, MSM 0021630528, the IT4IXS: IT4Innovations Excellence in Science project LQ1602, and the EU/Czech IT4Innovations Centre of Excellence CZ.1.05/1.1.00/02.0070), and the internal Brno University of Technology projects FIT-S-11-1, FIT-S-12-1, FIT-S-14-2486, and FIT-S-17-4014.

Last modification: 17. February 2024