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