Zsófia Ádám, Gyula Sallai, Ákos Hajdu: Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution). TACAS (2) 2021: 433-437