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