Class Tree
Description benchmarks from Potsdam

Not verified that all encoding are correct. if there are any problems please contact me ()

Problem with Gringo >3.0
#HIDE -> #hide
#SHOW -> #show
Encodings
21 - 40 of 54