2018-02-02 02:19:41 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 91] 2018-02-02 02:19:37 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 90] 2018-02-02 02:04:27 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 90] 2018-02-02 02:04:23 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 90] 2018-02-02 01:49:17 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 90] 2018-02-02 01:49:12 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 89] 2018-02-02 01:34:03 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 89] 2018-02-02 01:33:58 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 89] 2018-02-02 01:18:52 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 89] 2018-02-02 01:18:47 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 88] 2018-02-02 01:16:15 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 88] 2018-02-02 01:16:10 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 88] 2018-02-02 01:01:02 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 88] 2018-02-02 01:00:58 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 87] 2018-02-02 00:45:49 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 87] 2018-02-02 00:45:44 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 87] 2018-02-02 00:30:38 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 87] 2018-02-02 00:30:33 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 86] 2018-02-02 00:29:31 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 86] 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]