which are applied to formal verification.
* CHC-COMP is a yearly competition of solvers of constrained Horn clauses, which have applications to formal verification.
* QBFEVAL is a biennial competition of solvers for true quantified Boolean formulas, which have applications to model checking.