Design and Results of the Fifth Answer Set Programming Competition