automated theorem proving competition

An automated theorem proving competition is an organized event where different automated reasoning systems are evaluated and ranked based on their ability to automatically prove or refute a collection of formal logical problems under standardized conditions.