2017-11-25 19:55:47 +0100 started benchmark job [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:55:42 +0100 finished benchmark job [fd-pc-e1-sh | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:55:01 +0100 started benchmark job [fd-pc-e1-sh | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:54:55 +0100 finished benchmark job [fd-pb-es | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:54:09 +0100 started benchmark job [fd-pb-es | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:54:04 +0100 finished benchmark job [fd-pb-e4 | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:51:12 +0100 started benchmark job [fd-pb-e4 | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:51:07 +0100 finished benchmark job [fd-pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:50:26 +0100 started benchmark job [fd-pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:50:21 +0100 finished benchmark job [fd-pb-e3-t0 | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:47:28 +0100 started benchmark job [fd-pb-e3-t0 | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:47:23 +0100 finished benchmark job [fd-pb-e3 | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:44:30 +0100 started benchmark job [fd-pb-e3 | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:44:25 +0100 finished benchmark job [fd-pb-e2 | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:41:32 +0100 started benchmark job [fd-pb-e2 | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:41:27 +0100 finished benchmark job [fd-pb-e1-sh | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:40:45 +0100 started benchmark job [fd-pb-e1-sh | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:40:40 +0100 finished benchmark job [fd-pb-e0-sh | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:40:01 +0100 started benchmark job [fd-pb-e0-sh | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:39:56 +0100 finished benchmark job [fd-pa-e1-sh | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:39:15 +0100 started benchmark job [fd-pa-e1-sh | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:39:09 +0100 finished benchmark job [fd-ps-e1-sh | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:38:27 +0100 started benchmark job [fd-ps-e1-sh | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:38:22 +0100 finished benchmark job [m-mpc | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:38:11 +0100 started benchmark job [m-mpc | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:38:06 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:37:55 +0100 started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:37:49 +0100 finished benchmark job [m-m | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:37:02 +0100 started benchmark job [m-m | ipc-1998 | mystery-round-1-strips | 13] 2017-11-25 19:36:57 +0100 finished benchmark job [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:35:04 +0100 started benchmark job [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:34:59 +0100 finished benchmark job [fd-pc-e1-sh | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:33:39 +0100 started benchmark job [fd-pc-e1-sh | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:33:34 +0100 finished benchmark job [fd-pb-es | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:32:21 +0100 started benchmark job [fd-pb-es | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:32:16 +0100 finished benchmark job [fd-pb-e4 | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:29:01 +0100 started benchmark job [fd-pb-e4 | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:28:56 +0100 finished benchmark job [fd-pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:27:41 +0100 started benchmark job [fd-pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:27:36 +0100 finished benchmark job [fd-pb-e3-t0 | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:24:21 +0100 started benchmark job [fd-pb-e3-t0 | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:24:16 +0100 finished benchmark job [fd-pb-e3 | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:21:02 +0100 started benchmark job [fd-pb-e3 | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:20:57 +0100 finished benchmark job [fd-pb-e2 | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:17:41 +0100 started benchmark job [fd-pb-e2 | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:17:36 +0100 finished benchmark job [fd-pb-e1-sh | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:16:04 +0100 started benchmark job [fd-pb-e1-sh | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:15:59 +0100 finished benchmark job [fd-pb-e0-sh | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:14:45 +0100 started benchmark job [fd-pb-e0-sh | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:14:40 +0100 finished benchmark job [fd-pa-e1-sh | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:13:09 +0100 started benchmark job [fd-pa-e1-sh | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:13:04 +0100 finished benchmark job [fd-ps-e1-sh | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:11:33 +0100 started benchmark job [fd-ps-e1-sh | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:11:28 +0100 finished benchmark job [m-mpc | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:11:10 +0100 started benchmark job [m-mpc | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:11:05 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:10:42 +0100 started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:10:37 +0100 finished benchmark job [m-m | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:08:33 +0100 started benchmark job [m-m | ipc-1998 | mystery-round-1-strips | 10] 2017-11-25 19:08:28 +0100 finished benchmark job [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:06:38 +0100 started benchmark job [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:06:32 +0100 finished benchmark job [fd-pc-e1-sh | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:06:20 +0100 started benchmark job [fd-pc-e1-sh | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:06:15 +0100 finished benchmark job [fd-pb-es | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:06:02 +0100 started benchmark job [fd-pb-es | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:05:57 +0100 finished benchmark job [fd-pb-e4 | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:05:37 +0100 started benchmark job [fd-pb-e4 | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:05:32 +0100 finished benchmark job [fd-pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:05:20 +0100 started benchmark job [fd-pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:05:15 +0100 finished benchmark job [fd-pb-e3-t0 | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:04:55 +0100 started benchmark job [fd-pb-e3-t0 | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:04:50 +0100 finished benchmark job [fd-pb-e3 | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:04:29 +0100 started benchmark job [fd-pb-e3 | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:04:24 +0100 finished benchmark job [fd-pb-e2 | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:03:55 +0100 started benchmark job [fd-pb-e2 | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:03:50 +0100 finished benchmark job [fd-pb-e1-sh | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:03:38 +0100 started benchmark job [fd-pb-e1-sh | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:03:32 +0100 finished benchmark job [fd-pb-e0-sh | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:03:21 +0100 started benchmark job [fd-pb-e0-sh | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:03:15 +0100 finished benchmark job [fd-pa-e1-sh | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:03:03 +0100 started benchmark job [fd-pa-e1-sh | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:02:57 +0100 finished benchmark job [fd-ps-e1-sh | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:02:45 +0100 started benchmark job [fd-ps-e1-sh | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:02:40 +0100 finished benchmark job [m-mpc | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:02:34 +0100 started benchmark job [m-mpc | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:02:29 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:02:23 +0100 started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:02:18 +0100 finished benchmark job [m-m | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:02:11 +0100 started benchmark job [m-m | ipc-1998 | mystery-round-1-strips | 9] 2017-11-25 19:02:06 +0100 finished benchmark job [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 6] 2017-11-25 19:00:16 +0100 started benchmark job [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 6] 2017-11-25 19:00:11 +0100 finished benchmark job [fd-pc-e1-sh | ipc-1998 | mystery-round-1-strips | 6] 2017-11-25 18:59:23 +0100 started benchmark job [fd-pc-e1-sh | ipc-1998 | mystery-round-1-strips | 6] 2017-11-25 18:59:18 +0100 finished benchmark job [fd-pb-es | ipc-1998 | mystery-round-1-strips | 6] 2017-11-25 18:57:55 +0100 started benchmark job [fd-pb-es | ipc-1998 | mystery-round-1-strips | 6] 2017-11-25 18:57:49 +0100 finished benchmark job [fd-pb-e4 | ipc-1998 | mystery-round-1-strips | 6] 2017-11-25 18:55:12 +0100 started benchmark job [fd-pb-e4 | ipc-1998 | mystery-round-1-strips | 6] 2017-11-25 18:55:07 +0100 finished benchmark job [fd-pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 6] 2017-11-25 18:54:40 +0100 started benchmark job [fd-pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 6] 2017-11-25 18:54:35 +0100 finished benchmark job [fd-pb-e3-t0 | ipc-1998 | mystery-round-1-strips | 6]