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