4 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
patrick	7c23d23fec	Rename YAML files ... It’s more common to give YAML files the ending .yml and not .yaml.	2017-11-24 14:42:27 +01:00
patrick	133616f531	Make options of planner B explicit	2017-11-24 14:42:27 +01:00
patrick	a84a240b65	Add LPNMR benchmark configurations	2017-11-24 14:42:27 +01:00
patrick	3366b074c1	Add LPNMR paper instance sets	2017-11-24 14:42:27 +01:00