2017-11-25 23:08:07 +0100 finished benchmark job [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 38] 2017-11-25 23:07:07 +0100 started benchmark job [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 38] 2017-11-25 23:07:01 +0100 finished benchmark job [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 38] 2017-11-25 23:06:45 +0100 started benchmark job [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 38] 2017-11-25 23:06:39 +0100 finished benchmark job [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 38] 2017-11-25 23:06:26 +0100 started benchmark job [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 38] 2017-11-25 23:06:20 +0100 finished benchmark job [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 38] 2017-11-25 23:06:04 +0100 started benchmark job [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 38] 2017-11-25 23:05:59 +0100 finished benchmark job [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 38] 2017-11-25 23:05:42 +0100 started benchmark job [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 38] 2017-11-25 23:05:36 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 38] 2017-11-25 23:05:29 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 38] 2017-11-25 23:05:23 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 38] 2017-11-25 23:05:15 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 38] 2017-11-25 23:05:10 +0100 finished benchmark job [m-m | ipc-2000 | blocks-strips-typed | 38] 2017-11-25 23:05:02 +0100 started benchmark job [m-m | ipc-2000 | blocks-strips-typed | 38] 2017-11-25 23:04:57 +0100 finished benchmark job [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:49:47 +0100 started benchmark job [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:49:42 +0100 finished benchmark job [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:49:27 +0100 started benchmark job [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:49:19 +0100 finished benchmark job [fd-pb-es | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:49:07 +0100 started benchmark job [fd-pb-es | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:49:02 +0100 finished benchmark job [fd-pb-e4 | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:48:43 +0100 started benchmark job [fd-pb-e4 | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:48:38 +0100 finished benchmark job [fd-pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:48:26 +0100 started benchmark job [fd-pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:48:20 +0100 finished benchmark job [fd-pb-e3-t0 | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:48:09 +0100 started benchmark job [fd-pb-e3-t0 | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:48:03 +0100 finished benchmark job [fd-pb-e3 | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:47:24 +0100 started benchmark job [fd-pb-e3 | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:47:19 +0100 finished benchmark job [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:46:30 +0100 started benchmark job [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:46:24 +0100 finished benchmark job [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:46:11 +0100 started benchmark job [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:46:05 +0100 finished benchmark job [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:45:53 +0100 started benchmark job [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:45:48 +0100 finished benchmark job [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:45:34 +0100 started benchmark job [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:45:27 +0100 finished benchmark job [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:45:14 +0100 started benchmark job [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:45:09 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:45:02 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:44:57 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:44:49 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:44:43 +0100 finished benchmark job [m-m | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:44:36 +0100 started benchmark job [m-m | ipc-2000 | blocks-strips-typed | 37] 2017-11-25 22:44:30 +0100 finished benchmark job [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:41:26 +0100 started benchmark job [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:41:20 +0100 finished benchmark job [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:41:06 +0100 started benchmark job [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:40:57 +0100 finished benchmark job [fd-pb-es | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:40:45 +0100 started benchmark job [fd-pb-es | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:40:39 +0100 finished benchmark job [fd-pb-e4 | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:40:22 +0100 started benchmark job [fd-pb-e4 | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:40:17 +0100 finished benchmark job [fd-pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:40:04 +0100 started benchmark job [fd-pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:39:57 +0100 finished benchmark job [fd-pb-e3-t0 | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:39:47 +0100 started benchmark job [fd-pb-e3-t0 | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:39:42 +0100 finished benchmark job [fd-pb-e3 | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:39:08 +0100 started benchmark job [fd-pb-e3 | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:39:03 +0100 finished benchmark job [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:38:18 +0100 started benchmark job [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:38:13 +0100 finished benchmark job [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:38:00 +0100 started benchmark job [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:37:55 +0100 finished benchmark job [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:37:44 +0100 started benchmark job [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:37:38 +0100 finished benchmark job [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:37:26 +0100 started benchmark job [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:37:21 +0100 finished benchmark job [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:37:08 +0100 started benchmark job [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:37:03 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:36:53 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:36:48 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:36:37 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:36:32 +0100 finished benchmark job [m-m | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:36:25 +0100 started benchmark job [m-m | ipc-2000 | blocks-strips-typed | 36] 2017-11-25 22:36:19 +0100 finished benchmark job [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:25:24 +0100 started benchmark job [pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:25:17 +0100 finished benchmark job [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:25:03 +0100 started benchmark job [fd-pc-e1-sh | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:24:57 +0100 finished benchmark job [fd-pb-es | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:24:45 +0100 started benchmark job [fd-pb-es | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:24:40 +0100 finished benchmark job [fd-pb-e4 | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:24:24 +0100 started benchmark job [fd-pb-e4 | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:24:18 +0100 finished benchmark job [fd-pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:24:05 +0100 started benchmark job [fd-pb-e1-sh-h | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:24:00 +0100 finished benchmark job [fd-pb-e3-t0 | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:23:49 +0100 started benchmark job [fd-pb-e3-t0 | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:23:44 +0100 finished benchmark job [fd-pb-e3 | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:23:15 +0100 started benchmark job [fd-pb-e3 | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:23:10 +0100 finished benchmark job [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:22:28 +0100 started benchmark job [fd-pb-e2 | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:22:23 +0100 finished benchmark job [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:22:10 +0100 started benchmark job [fd-pb-e1-sh | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:22:05 +0100 finished benchmark job [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:21:54 +0100 started benchmark job [fd-pb-e0-sh | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:21:48 +0100 finished benchmark job [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:21:36 +0100 started benchmark job [fd-pa-e1-sh | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:21:31 +0100 finished benchmark job [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 35] 2017-11-25 22:21:18 +0100 started benchmark job [fd-ps-e1-sh | ipc-2000 | blocks-strips-typed | 35]