Commit Graph
16 Commits
Author SHA1 Message Date
potassco-bot 66a5d63fcb Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 13] 2017-11-21 20:23:42 +01:00
potassco-bot 6f50a090f0 Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 12] 2017-11-21 20:04:04 +01:00
potassco-bot dd9cb4ee32 Add benchmark result [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 11] 2017-11-21 19:44:53 +01:00
potassco-bot 4e0da8672f Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 33] 2017-11-21 19:27:58 +01:00
potassco-bot aa67606e7e Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 32] 2017-11-21 19:12:47 +01:00
potassco-bot da6b7230cb Add benchmark result [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 31] 2017-11-21 18:59:36 +01:00
potassco-bot 71000d0bd4 Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 12] 2017-11-21 18:16:16 +01:00
potassco-bot e30fd1a9d2 Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 11] 2017-11-21 15:40:26 +01:00
potassco-bot 1b9bb10a57 Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 10] 2017-11-21 13:04:26 +01:00
potassco-bot 848c132e00 Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 9] 2017-11-21 10:35:01 +01:00
potassco-bot 560897a3d4 Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 8] 2017-11-21 08:11:56 +01:00
potassco-bot 5b81bc9a8a Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 7] 2017-11-21 05:58:00 +01:00
potassco-bot b48d6ad066 Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 6] 2017-11-21 04:31:18 +01:00
potassco-bot d3606b3248 Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 5] 2017-11-21 03:31:20 +01:00
potassco-bot 062822e982 Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 4] 2017-11-21 02:49:52 +01:00
potassco-bot 234ccf27a5 Add benchmark result [pb-e1-sh-h | ipc-1998 | gripper-round-1-strips | 3] 2017-11-21 02:36:35 +01:00