The Sixth Answer Set Programming Competition