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