2017-11-26 09:37:48 +0100 finished benchmark job [fd-pb-e0-sh | ipc-2002 | depots-strips-automatic | 12] 2017-11-26 09:35:28 +0100 started benchmark job [fd-pb-e0-sh | ipc-2002 | depots-strips-automatic | 12] 2017-11-26 09:35:23 +0100 finished benchmark job [fd-pa-e1-sh | ipc-2002 | depots-strips-automatic | 12] 2017-11-26 09:20:14 +0100 started benchmark job [fd-pa-e1-sh | ipc-2002 | depots-strips-automatic | 12] 2017-11-26 09:20:09 +0100 finished benchmark job [fd-ps-e1-sh | ipc-2002 | depots-strips-automatic | 12] 2017-11-26 09:05:01 +0100 started benchmark job [fd-ps-e1-sh | ipc-2002 | depots-strips-automatic | 12] 2017-11-26 09:04:55 +0100 finished benchmark job [m-mpc | ipc-2002 | depots-strips-automatic | 12] 2017-11-26 09:04:49 +0100 started benchmark job [m-mpc | ipc-2002 | depots-strips-automatic | 12] 2017-11-26 09:04:44 +0100 finished benchmark job [m-mp | ipc-2002 | depots-strips-automatic | 12] 2017-11-26 09:04:37 +0100 started benchmark job [m-mp | ipc-2002 | depots-strips-automatic | 12] 2017-11-26 09:04:32 +0100 finished benchmark job [m-m | ipc-2002 | depots-strips-automatic | 12] 2017-11-26 09:03:25 +0100 started benchmark job [m-m | ipc-2002 | depots-strips-automatic | 12] 2017-11-26 09:03:20 +0100 finished benchmark job [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 08:48:13 +0100 started benchmark job [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 08:48:08 +0100 finished benchmark job [fd-pc-e1-sh | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 08:33:36 +0100 started benchmark job [fd-pc-e1-sh | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 08:33:30 +0100 finished benchmark job [fd-pb-es | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 08:18:22 +0100 started benchmark job [fd-pb-es | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 08:18:17 +0100 finished benchmark job [fd-pb-e4 | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 08:17:49 +0100 started benchmark job [fd-pb-e4 | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 08:17:41 +0100 finished benchmark job [fd-pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 08:17:08 +0100 started benchmark job [fd-pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 08:17:02 +0100 finished benchmark job [fd-pb-e3-t0 | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 08:16:44 +0100 started benchmark job [fd-pb-e3-t0 | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 08:16:35 +0100 finished benchmark job [fd-pb-e3 | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 08:15:46 +0100 started benchmark job [fd-pb-e3 | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 08:15:41 +0100 finished benchmark job [fd-pb-e2 | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 08:06:04 +0100 started benchmark job [fd-pb-e2 | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 08:05:59 +0100 finished benchmark job [fd-pb-e1-sh | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 07:57:05 +0100 started benchmark job [fd-pb-e1-sh | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 07:57:00 +0100 finished benchmark job [fd-pb-e0-sh | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 07:56:35 +0100 started benchmark job [fd-pb-e0-sh | ipc-2002 | depots-strips-automatic | 9] 2017-11-26 07:56:30 +0100 finished benchmark job [fd-pa-e1-sh | ipc-2002 | depots-strips-automatic | 9] 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]