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]
2017-11-26 06:21:42 +0100	started benchmark job [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 06:21:37 +0100	finished benchmark job [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 06:21:10 +0100	started benchmark job [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 06:21:05 +0100	finished benchmark job [fd-pb-es | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 06:10:17 +0100	started benchmark job [fd-pb-es | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 06:10:12 +0100	finished benchmark job [fd-pb-e4 | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 06:07:29 +0100	started benchmark job [fd-pb-e4 | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 06:07:24 +0100	finished benchmark job [fd-pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 06:06:58 +0100	started benchmark job [fd-pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 06:06:53 +0100	finished benchmark job [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 06:04:11 +0100	started benchmark job [fd-pb-e3-t0 | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 06:04:06 +0100	finished benchmark job [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 06:01:24 +0100	started benchmark job [fd-pb-e3 | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 06:01:19 +0100	finished benchmark job [fd-pb-e2 | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 05:58:36 +0100	started benchmark job [fd-pb-e2 | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 05:58:31 +0100	finished benchmark job [fd-pb-e1-sh | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 05:58:04 +0100	started benchmark job [fd-pb-e1-sh | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 05:57:56 +0100	finished benchmark job [fd-pb-e0-sh | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 05:57:32 +0100	started benchmark job [fd-pb-e0-sh | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 05:57:27 +0100	finished benchmark job [fd-pa-e1-sh | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 05:57:00 +0100	started benchmark job [fd-pa-e1-sh | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 05:56:52 +0100	finished benchmark job [fd-ps-e1-sh | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 05:56:25 +0100	started benchmark job [fd-ps-e1-sh | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 05:56:20 +0100	finished benchmark job [m-mpc | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 05:56:13 +0100	started benchmark job [m-mpc | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 05:56:08 +0100	finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 05:56:01 +0100	started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 05:55:56 +0100	finished benchmark job [m-m | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 05:54:46 +0100	started benchmark job [m-m | ipc-2000 | freecell-strips-typed | 13]
2017-11-26 05:54:41 +0100	finished benchmark job [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 12]
2017-11-26 05:52:28 +0100	started benchmark job [pb-e1-sh-h | ipc-2000 | freecell-strips-typed | 12]
2017-11-26 05:52:23 +0100	finished benchmark job [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 12]
2017-11-26 05:51:58 +0100	started benchmark job [fd-pc-e1-sh | ipc-2000 | freecell-strips-typed | 12]
2017-11-26 05:51:53 +0100	finished benchmark job [fd-pb-es | ipc-2000 | freecell-strips-typed | 12]