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