2017-11-21 19:55:44 +0100	finished benchmark job [fd-pb-e3-t0 | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:55:28 +0100	started benchmark job [fd-pb-e3-t0 | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:55:07 +0100	finished benchmark job [fd-pb-e3 | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:54:51 +0100	started benchmark job [fd-pb-e3 | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:54:30 +0100	finished benchmark job [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:54:14 +0100	started benchmark job [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:53:53 +0100	finished benchmark job [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:53:37 +0100	started benchmark job [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:53:17 +0100	finished benchmark job [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:53:01 +0100	started benchmark job [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:52:41 +0100	finished benchmark job [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:52:25 +0100	started benchmark job [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:52:05 +0100	finished benchmark job [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:51:49 +0100	started benchmark job [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:51:29 +0100	finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:51:16 +0100	started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:50:56 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:50:42 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:50:23 +0100	finished benchmark job [m-m | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:50:10 +0100	started benchmark job [m-m | ipc-2000 | blocks-strips-typed | 12]
2017-11-21 19:49:50 +0100	finished benchmark job [pc-e1-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:46:33 +0100	started benchmark job [pc-e1-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:46:13 +0100	finished benchmark job [pb-es | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:45:58 +0100	started benchmark job [pb-es | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:45:39 +0100	finished benchmark job [pb-e4 | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:45:15 +0100	started benchmark job [pb-e4 | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:44:55 +0100	finished benchmark job [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:44:39 +0100	started benchmark job [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:44:19 +0100	finished benchmark job [pb-e3-t0 | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:44:06 +0100	started benchmark job [pb-e3-t0 | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:43:46 +0100	finished benchmark job [pb-e3 | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:42:53 +0100	started benchmark job [pb-e3 | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:42:34 +0100	finished benchmark job [pb-e2 | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:41:14 +0100	started benchmark job [pb-e2 | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:40:54 +0100	finished benchmark job [pb-e1-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:40:27 +0100	started benchmark job [pb-e1-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:40:07 +0100	finished benchmark job [pb-e0-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:39:54 +0100	started benchmark job [pb-e0-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:39:34 +0100	finished benchmark job [pa-e1-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:39:08 +0100	started benchmark job [pa-e1-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:38:48 +0100	finished benchmark job [ps-e1-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:38:17 +0100	started benchmark job [ps-e1-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:37:58 +0100	finished benchmark job [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:37:42 +0100	started benchmark job [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:37:22 +0100	finished benchmark job [fd-pb-es | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:37:06 +0100	started benchmark job [fd-pb-es | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:36:47 +0100	finished benchmark job [fd-pb-e4 | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:36:31 +0100	started benchmark job [fd-pb-e4 | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:36:12 +0100	finished benchmark job [fd-pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:35:55 +0100	started benchmark job [fd-pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:35:36 +0100	finished benchmark job [fd-pb-e3-t0 | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:35:21 +0100	started benchmark job [fd-pb-e3-t0 | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:35:01 +0100	finished benchmark job [fd-pb-e3 | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:34:46 +0100	started benchmark job [fd-pb-e3 | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:34:26 +0100	finished benchmark job [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:34:10 +0100	started benchmark job [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:33:51 +0100	finished benchmark job [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:33:35 +0100	started benchmark job [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:33:15 +0100	finished benchmark job [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:32:59 +0100	started benchmark job [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:32:40 +0100	finished benchmark job [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:32:24 +0100	started benchmark job [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:32:05 +0100	finished benchmark job [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:31:49 +0100	started benchmark job [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:31:30 +0100	finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:31:17 +0100	started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:30:58 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:30:45 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:30:26 +0100	finished benchmark job [m-m | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:30:13 +0100	started benchmark job [m-m | ipc-2000 | blocks-strips-typed | 11]
2017-11-21 19:29:54 +0100	finished benchmark job [pc-e1-sh | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:29:35 +0100	started benchmark job [pc-e1-sh | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:29:17 +0100	finished benchmark job [pb-es | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:28:57 +0100	started benchmark job [pb-es | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:28:38 +0100	finished benchmark job [pb-e4 | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:28:19 +0100	started benchmark job [pb-e4 | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:28:00 +0100	finished benchmark job [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:27:41 +0100	started benchmark job [pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:27:22 +0100	finished benchmark job [pb-e3-t0 | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:27:04 +0100	started benchmark job [pb-e3-t0 | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:26:46 +0100	finished benchmark job [pb-e3 | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:26:27 +0100	started benchmark job [pb-e3 | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:26:08 +0100	finished benchmark job [pb-e2 | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:25:50 +0100	started benchmark job [pb-e2 | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:25:31 +0100	finished benchmark job [pb-e1-sh | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:25:12 +0100	started benchmark job [pb-e1-sh | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:24:54 +0100	finished benchmark job [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:24:35 +0100	started benchmark job [pb-e0-sh | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:24:17 +0100	finished benchmark job [pa-e1-sh | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:23:59 +0100	started benchmark job [pa-e1-sh | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:23:41 +0100	finished benchmark job [ps-e1-sh | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:23:22 +0100	started benchmark job [ps-e1-sh | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:23:04 +0100	finished benchmark job [fd-pc-e1-sh | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:22:48 +0100	started benchmark job [fd-pc-e1-sh | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:22:30 +0100	finished benchmark job [fd-pb-es | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:21:16 +0100	started benchmark job [fd-pb-es | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:20:58 +0100	finished benchmark job [fd-pb-e4 | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:20:42 +0100	started benchmark job [fd-pb-e4 | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:20:24 +0100	finished benchmark job [fd-pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 33]
2017-11-21 19:20:09 +0100	started benchmark job [fd-pb-e1-sh-h | ipc-1998 | logistics-round-1-strips | 33]