The IJCAR ATP System Competition

The results of the IJCAR ATP System Competition are presented.