The instances consist of 10 groups, where the numbers to be sorted are 60, 70, 80, 90, 100, 110, 120, 130, 140 and 150. Each group contains 10 randomly generated instances. 

The encodings include sorting.dingo and sorting.gringo, which are the encodings of the problem in ASP(DL) (dingo) language and pure ASP (gringo) language respectively.
