2017-11-29 00:44:51 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 83] 2017-11-29 00:44:43 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 82] 2017-11-29 00:29:35 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 82] 2017-11-29 00:29:26 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 81] 2017-11-29 00:14:18 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 81] 2017-11-29 00:14:09 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 80] 2017-11-28 23:59:01 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 80] 2017-11-28 23:58:52 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 79] 2017-11-28 23:43:44 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 79] 2017-11-28 23:43:35 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 78] 2017-11-28 23:28:28 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 78] 2017-11-28 23:28:18 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 77] 2017-11-28 23:13:11 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 77] 2017-11-28 23:13:01 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 76] 2017-11-28 22:57:52 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 76] 2017-11-28 22:57:43 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 75] 2017-11-28 22:42:33 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 75] 2017-11-28 22:42:24 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 74] 2017-11-28 22:27:15 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 74] 2017-11-28 22:27:06 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 73] 2017-11-28 22:11:57 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 73] 2017-11-28 22:11:48 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 72] 2017-11-28 21:56:40 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 72] 2017-11-28 21:56:31 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 71] 2017-11-28 21:41:23 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 71] 2017-11-28 21:41:14 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 70] 2017-11-28 21:26:07 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 70] 2017-11-28 21:25:58 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 69] 2017-11-28 21:23:12 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 69] 2017-11-28 21:23:03 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 68] 2017-11-28 21:07:55 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 68] 2017-11-28 21:07:46 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 67] 2017-11-28 20:52:39 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 67] 2017-11-28 20:52:29 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 66] 2017-11-28 20:37:21 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 66] 2017-11-28 20:37:12 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 65] 2017-11-28 20:28:38 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 65] 2017-11-28 20:28:29 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 64] 2017-11-28 20:23:24 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 64] 2017-11-28 20:23:15 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 63] 2017-11-28 20:08:08 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 63] 2017-11-28 20:07:58 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 62] 2017-11-28 19:52:51 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 62] 2017-11-28 19:52:42 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 61] 2017-11-28 19:52:27 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 61] 2017-11-28 19:52:18 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 60] 2017-11-28 19:47:51 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 60] 2017-11-28 19:47:42 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 59] 2017-11-28 19:47:29 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 59] 2017-11-28 19:47:20 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 58] 2017-11-28 19:32:13 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 58] 2017-11-28 19:32:04 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 57] 2017-11-28 19:16:56 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 57] 2017-11-28 19:16:47 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 56] 2017-11-28 19:15:49 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 56] 2017-11-28 19:15:39 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 55] 2017-11-28 19:14:43 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 55] 2017-11-28 19:14:33 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 54] 2017-11-28 19:14:19 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 54] 2017-11-28 19:14:10 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 53] 2017-11-28 19:13:15 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 53] 2017-11-28 19:13:06 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 52] 2017-11-28 19:12:55 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 52] 2017-11-28 19:12:46 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 51] 2017-11-28 19:04:36 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 51] 2017-11-28 19:04:27 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 50] 2017-11-28 19:04:15 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 50] 2017-11-28 19:04:06 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 49] 2017-11-28 19:03:04 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 49] 2017-11-28 19:02:55 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 48] 2017-11-28 18:47:47 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 48] 2017-11-28 18:47:38 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 47] 2017-11-28 18:47:27 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 47] 2017-11-28 18:47:18 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 46] 2017-11-28 18:47:08 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 46] 2017-11-28 18:46:59 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 45] 2017-11-28 18:46:03 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 45] 2017-11-28 18:45:54 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 44] 2017-11-28 18:45:44 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 44] 2017-11-28 18:45:35 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 43] 2017-11-28 18:45:26 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 43] 2017-11-28 18:45:17 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 10] 2017-11-28 18:45:10 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 10] 2017-11-28 18:45:01 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 9] 2017-11-28 18:44:54 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 9] 2017-11-28 18:44:46 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 8] 2017-11-28 18:44:38 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 8] 2017-11-28 18:44:29 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 7] 2017-11-28 18:44:22 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 7] 2017-11-28 18:44:13 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 6] 2017-11-28 18:44:07 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 6] 2017-11-28 18:43:58 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 5] 2017-11-28 18:43:51 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 5] 2017-11-28 18:43:42 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 4] 2017-11-28 18:43:35 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 4] 2017-11-28 18:43:26 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 3] 2017-11-28 18:43:19 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 3] 2017-11-28 18:43:10 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 2] 2017-11-28 18:43:03 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 2] 2017-11-28 18:42:54 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 1]