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] 2018-02-01 21:21:03 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 26] 2018-02-01 21:20:52 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 26] 2018-02-01 21:20:47 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 25] 2018-02-01 21:20:37 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 25] 2018-02-01 21:20:32 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 24] 2018-02-01 21:20:21 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 24] 2018-02-01 21:20:17 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 23] 2018-02-01 21:20:07 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 23] 2018-02-01 21:20:02 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 22] 2018-02-01 21:19:49 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 22] 2018-02-01 21:19:45 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 21] 2018-02-01 21:19:35 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 21] 2018-02-01 21:19:30 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 20] 2018-02-01 21:19:20 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 20] 2018-02-01 21:19:15 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 19] 2018-02-01 21:19:05 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 19] 2018-02-01 21:19:00 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 18] 2018-02-01 21:18:50 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 18] 2018-02-01 21:18:46 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 17] 2018-02-01 21:18:36 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 17] 2018-02-01 21:18:31 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 16] 2018-02-01 21:18:21 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 16] 2018-02-01 21:18:17 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 15] 2018-02-01 21:18:07 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 15] 2018-02-01 21:18:02 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 14] 2018-02-01 21:17:52 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 14] 2018-02-01 21:17:48 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 13] 2018-02-01 21:17:38 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 13] 2018-02-01 21:17:33 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 12] 2018-02-01 21:17:23 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 12] 2018-02-01 21:17:19 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 11] 2018-02-01 21:17:09 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 11] 2018-02-01 21:17:04 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 10] 2018-02-01 21:16:54 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 10] 2018-02-01 21:16:50 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 9] 2018-02-01 21:16:40 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 9] 2018-02-01 21:16:35 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 8] 2018-02-01 21:16:26 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 8] 2018-02-01 21:16:21 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 7] 2018-02-01 21:16:11 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 7] 2018-02-01 21:16:07 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 6] 2018-02-01 21:15:57 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 6] 2018-02-01 21:15:53 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 5] 2018-02-01 21:15:43 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 5] 2018-02-01 21:15:39 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 4] 2018-02-01 21:15:28 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 4] 2018-02-01 21:15:24 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 3] 2018-02-01 21:15:14 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 3] 2018-02-01 21:15:10 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 2] 2018-02-01 21:15:00 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 2] 2018-02-01 21:14:55 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 1] 2018-02-01 21:14:40 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 1] 2018-02-01 21:14:35 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 85] 2018-02-01 20:59:29 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 85] 2018-02-01 20:59:24 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 84] 2018-02-01 20:44:18 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 84] 2018-02-01 20:44:13 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 83] 2018-02-01 20:29:07 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 83] 2018-02-01 20:29:02 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 82] 2018-02-01 20:13:56 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 82]