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]
2017-11-24 04:48:17 +0100	finished benchmark job [ps-e1-sh | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:47:50 +0100	started benchmark job [ps-e1-sh | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:47:04 +0100	finished benchmark job [fd-pc-e1-sh | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:46:35 +0100	started benchmark job [fd-pc-e1-sh | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:45:48 +0100	finished benchmark job [fd-pb-es | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:45:16 +0100	started benchmark job [fd-pb-es | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:44:30 +0100	finished benchmark job [fd-pb-e4 | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:44:00 +0100	started benchmark job [fd-pb-e4 | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:43:14 +0100	finished benchmark job [fd-pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:42:45 +0100	started benchmark job [fd-pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:41:59 +0100	finished benchmark job [fd-pb-e3-t0 | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:41:30 +0100	started benchmark job [fd-pb-e3-t0 | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:40:44 +0100	finished benchmark job [fd-pb-e3 | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:40:13 +0100	started benchmark job [fd-pb-e3 | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:39:28 +0100	finished benchmark job [fd-pb-e2 | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:38:57 +0100	started benchmark job [fd-pb-e2 | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:38:11 +0100	finished benchmark job [fd-pb-e1-sh | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:37:42 +0100	started benchmark job [fd-pb-e1-sh | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:36:57 +0100	finished benchmark job [fd-pb-e0-sh | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:36:28 +0100	started benchmark job [fd-pb-e0-sh | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:35:42 +0100	finished benchmark job [fd-pa-e1-sh | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:35:13 +0100	started benchmark job [fd-pa-e1-sh | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:34:27 +0100	finished benchmark job [fd-ps-e1-sh | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:33:58 +0100	started benchmark job [fd-ps-e1-sh | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:33:12 +0100	finished benchmark job [m-mpc | ipc-2002 | depots-strips-automatic | 7]
2017-11-24 04:32:46 +0100	started benchmark job [m-mpc | ipc-2002 | depots-strips-automatic | 7]
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]