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