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