2 Commits

Author	SHA1	Message	Date
Patrick Lühne	133616f531	Make options of planner B explicit	2017-11-24 14:42:27 +01:00
Patrick Lühne	a84a240b65	Add LPNMR benchmark configurations	2017-11-24 14:42:27 +01:00