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] 2017-11-25 02:18:23 +0100 finished benchmark job [pb-e4 | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:18:16 +0100 started benchmark job [pb-e4 | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:18:10 +0100 finished benchmark job [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:18:03 +0100 started benchmark job [pb-e1-sh-h | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:17:58 +0100 finished benchmark job [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:17:51 +0100 started benchmark job [pb-e3-t0 | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:17:46 +0100 finished benchmark job [pb-e3 | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:17:39 +0100 started benchmark job [pb-e3 | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:17:34 +0100 finished benchmark job [pb-e2 | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:17:18 +0100 started benchmark job [pb-e2 | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:17:13 +0100 finished benchmark job [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:17:04 +0100 started benchmark job [pb-e1-sh | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:17:00 +0100 finished benchmark job [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:16:53 +0100 started benchmark job [pb-e0-sh | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:16:48 +0100 finished benchmark job [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:16:40 +0100 started benchmark job [pa-e1-sh | ipc-2002 | driverlog-strips-automatic | 11] 2017-11-25 02:16:35 +0100 finished benchmark job [ps-e1-sh | ipc-2002 | driverlog-strips-automatic | 11] 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]