2017-11-29 06:22:11 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 35] 2017-11-29 06:19:39 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 35] 2017-11-29 06:19:30 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 35] 2017-11-29 06:19:12 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 35] 2017-11-29 06:19:03 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 34] 2017-11-29 06:17:04 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 34] 2017-11-29 06:16:55 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 34] 2017-11-29 06:16:35 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 34] 2017-11-29 06:16:26 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 33] 2017-11-29 06:15:21 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 33] 2017-11-29 06:15:12 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 33] 2017-11-29 06:15:01 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 33] 2017-11-29 06:14:51 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 32] 2017-11-29 06:12:51 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 32] 2017-11-29 06:12:42 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 32] 2017-11-29 06:12:28 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 32] 2017-11-29 06:12:19 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 31] 2017-11-29 06:09:43 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 31] 2017-11-29 06:09:34 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 31] 2017-11-29 06:09:18 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 31] 2017-11-29 06:09:09 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 30] 2017-11-29 06:07:31 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 30] 2017-11-29 06:07:22 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 30] 2017-11-29 06:07:10 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 30] 2017-11-29 06:07:01 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 29] 2017-11-29 06:05:38 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 29] 2017-11-29 06:05:29 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 29] 2017-11-29 06:05:18 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 29] 2017-11-29 06:05:09 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 28] 2017-11-29 06:04:13 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 28] 2017-11-29 06:04:04 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 28] 2017-11-29 06:03:53 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 28] 2017-11-29 06:03:44 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 27] 2017-11-29 06:02:30 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 27] 2017-11-29 06:02:21 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 27] 2017-11-29 06:02:11 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 27] 2017-11-29 06:02:02 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 26] 2017-11-29 06:00:44 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 26] 2017-11-29 06:00:35 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 26] 2017-11-29 06:00:25 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 26] 2017-11-29 06:00:16 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 25] 2017-11-29 05:59:20 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 25] 2017-11-29 05:59:11 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 25] 2017-11-29 05:59:02 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 25] 2017-11-29 05:58:53 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 24] 2017-11-29 05:57:57 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 24] 2017-11-29 05:57:48 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 24] 2017-11-29 05:57:39 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 24] 2017-11-29 05:57:30 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 23] 2017-11-29 05:56:32 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 23] 2017-11-29 05:56:23 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 23] 2017-11-29 05:56:15 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 23] 2017-11-29 05:56:06 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 22] 2017-11-29 05:55:12 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 22] 2017-11-29 05:55:03 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 22] 2017-11-29 05:54:54 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 22] 2017-11-29 05:54:44 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 21] 2017-11-29 05:53:55 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 21] 2017-11-29 05:53:46 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 21] 2017-11-29 05:53:37 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 21] 2017-11-29 05:53:28 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 20] 2017-11-29 05:52:41 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 20] 2017-11-29 05:52:32 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 20] 2017-11-29 05:52:24 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 20] 2017-11-29 05:52:10 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 18] 2017-11-29 05:51:22 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 18] 2017-11-29 05:51:07 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 18] 2017-11-29 05:50:59 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 18] 2017-11-29 05:50:50 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 17] 2017-11-29 05:50:42 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 17] 2017-11-29 05:50:33 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 16] 2017-11-29 05:50:24 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 16] 2017-11-29 05:50:15 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 102] 2017-11-29 05:35:08 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 102] 2017-11-29 05:34:58 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 101] 2017-11-29 05:19:51 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 101] 2017-11-29 05:19:42 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 100] 2017-11-29 05:04:34 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 100] 2017-11-29 05:04:25 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 99] 2017-11-29 04:49:18 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 99] 2017-11-29 04:49:08 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 98] 2017-11-29 04:34:01 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 98] 2017-11-29 04:33:52 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 97] 2017-11-29 04:18:44 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 97] 2017-11-29 04:18:36 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 96] 2017-11-29 04:03:28 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 96] 2017-11-29 04:03:19 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 95] 2017-11-29 03:48:11 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 95] 2017-11-29 03:48:02 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 94] 2017-11-29 03:32:54 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 94] 2017-11-29 03:32:45 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 93] 2017-11-29 03:17:38 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 93] 2017-11-29 03:17:29 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 92] 2017-11-29 03:02:21 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 92] 2017-11-29 03:02:12 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 91] 2017-11-29 02:47:05 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 91] 2017-11-29 02:46:56 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 90] 2017-11-29 02:31:48 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 90] 2017-11-29 02:31:39 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 89] 2017-11-29 02:16:32 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 89]