The IJCAR ATP System Competition