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