153 Commits

Include renames

Author	SHA1	Message	Date
potassco-bot	a8b05e87b8	Add benchmark result [m-mpc | ipc-1998 | gripper-round-1-strips | 5]	2017-11-21 02:52:35 +01:00
potassco-bot	ef10c5154d	Add benchmark result [m-mpc | ipc-1998 | gripper-round-1-strips | 4]	2017-11-21 02:38:16 +01:00
potassco-bot	af3743b297	Add benchmark result [m-mpc | ipc-1998 | gripper-round-1-strips | 3]	2017-11-21 02:32:07 +01:00