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