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