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