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