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