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