Robuta

https://projects.informatik.uni-freiburg.de/attachments/508 Benchmarks_OutputProbability.tar.gz - countAntom benchmarkstargz