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