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