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