Add a smart way to encode and evaluate benchmark and problem properties

[THinnerichs]

Within a certain domain, problems can have specific properties, like solution depth, size, etc. These should be available as information for each problem defined and queryable