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