tlplan/ipc5/domains/rovers/QualitativePreferences
