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] 2018-02-01 21:24:02 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 36] 2018-02-01 21:23:49 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 36] 2018-02-01 21:23:44 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 35] 2018-02-01 21:23:31 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 35] 2018-02-01 21:23:26 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 34] 2018-02-01 21:23:06 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 34] 2018-02-01 21:23:01 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 33] 2018-02-01 21:22:44 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 33] 2018-02-01 21:22:39 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 32] 2018-02-01 21:22:27 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 32] 2018-02-01 21:22:22 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 31] 2018-02-01 21:22:11 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 31] 2018-02-01 21:22:06 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 30] 2018-02-01 21:21:55 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 30] 2018-02-01 21:21:50 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 29] 2018-02-01 21:21:39 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 29] 2018-02-01 21:21:35 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 28] 2018-02-01 21:21:24 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 28] 2018-02-01 21:21:19 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 27] 2018-02-01 21:21:07 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 27]