2017-11-22 02:13:24 +0100	started benchmark job [pa-e1-sh | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 02:12:56 +0100	finished benchmark job [ps-e1-sh | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:57:39 +0100	started benchmark job [ps-e1-sh | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:57:13 +0100	finished benchmark job [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:56:51 +0100	started benchmark job [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:56:24 +0100	finished benchmark job [fd-pb-es | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:56:04 +0100	started benchmark job [fd-pb-es | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:55:37 +0100	finished benchmark job [fd-pb-e4 | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:55:16 +0100	started benchmark job [fd-pb-e4 | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:54:49 +0100	finished benchmark job [fd-pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:54:30 +0100	started benchmark job [fd-pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:54:03 +0100	finished benchmark job [fd-pb-e3-t0 | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:53:43 +0100	started benchmark job [fd-pb-e3-t0 | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:53:15 +0100	finished benchmark job [fd-pb-e3 | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:52:53 +0100	started benchmark job [fd-pb-e3 | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:52:26 +0100	finished benchmark job [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:52:03 +0100	started benchmark job [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:51:36 +0100	finished benchmark job [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:51:16 +0100	started benchmark job [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:50:49 +0100	finished benchmark job [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:50:28 +0100	started benchmark job [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:50:01 +0100	finished benchmark job [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:49:41 +0100	started benchmark job [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:49:14 +0100	finished benchmark job [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:48:53 +0100	started benchmark job [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:48:27 +0100	finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:48:10 +0100	started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:47:43 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:47:26 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:46:58 +0100	finished benchmark job [m-m | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:46:41 +0100	started benchmark job [m-m | ipc-2000 | blocks-strips-typed | 20]
2017-11-22 01:46:14 +0100	finished benchmark job [pc-e1-sh | ipc-2000 | blocks-strips-typed | 19]
2017-11-22 01:30:56 +0100	started benchmark job [pc-e1-sh | ipc-2000 | blocks-strips-typed | 19]
2017-11-22 01:30:30 +0100	finished benchmark job [pb-es | ipc-2000 | blocks-strips-typed | 19]
2017-11-22 01:28:37 +0100	started benchmark job [pb-es | ipc-2000 | blocks-strips-typed | 19]
2017-11-22 01:28:10 +0100	finished benchmark job [pb-e4 | ipc-2000 | blocks-strips-typed | 19]
2017-11-22 01:25:39 +0100	started benchmark job [pb-e4 | ipc-2000 | blocks-strips-typed | 19]
2017-11-22 01:25:13 +0100	finished benchmark job [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 19]
2017-11-22 01:23:24 +0100	started benchmark job [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 19]
2017-11-22 01:22:58 +0100	finished benchmark job [pb-e3-t0 | ipc-2000 | blocks-strips-typed | 19]
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]