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