Predator Hunting Party 2020


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


A binary version of PredatorHP for Ubuntu 18.04 can be downloaded from link: .
It was compiled from source at 2019-11-20 using gcc --version : "gcc (Ubuntu 7.4.0-1ubuntu1~18.04.1) 7.4.0".
Warning: Binary Predator does not work with different versions of gcc (and always returns "unknown" in this case)

Source Code

PredatorHP Team

Archive Links


This work was supported by the Czech Science Foundation (project 17-12465S), the IT4IXS: IT4Innovations Excellence in Science project LQ1602, and the internal Brno University of Technology project FIT-S-17-4014.

Last modification: 28. April 2020