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] 2017-11-28 05:41:00 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 55] 2017-11-28 05:39:12 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 55] 2017-11-28 05:39:03 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 55] 2017-11-28 05:38:42 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 55] 2017-11-28 05:38:33 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 54] 2017-11-28 05:37:52 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 54] 2017-11-28 05:37:43 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 54] 2017-11-28 05:37:24 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 54] 2017-11-28 05:37:15 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 53] 2017-11-28 05:34:46 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 53] 2017-11-28 05:34:37 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 53] 2017-11-28 05:34:16 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 53] 2017-11-28 05:34:07 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 52] 2017-11-28 05:33:15 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 52] 2017-11-28 05:33:06 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 52] 2017-11-28 05:32:55 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 52] 2017-11-28 05:32:46 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 51] 2017-11-28 05:31:43 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 51] 2017-11-28 05:31:34 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 51] 2017-11-28 05:31:09 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 51] 2017-11-28 05:31:01 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 50] 2017-11-28 05:29:48 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 50] 2017-11-28 05:29:39 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 50] 2017-11-28 05:29:16 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 50] 2017-11-28 05:29:06 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 49] 2017-11-28 05:28:25 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 49] 2017-11-28 05:28:16 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 49] 2017-11-28 05:27:59 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 49] 2017-11-28 05:27:50 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 48] 2017-11-28 05:27:10 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 48] 2017-11-28 05:27:01 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 48] 2017-11-28 05:26:35 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 48] 2017-11-28 05:26:26 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 47] 2017-11-28 05:26:09 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 47] 2017-11-28 05:26:00 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 47] 2017-11-28 05:25:50 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 47] 2017-11-28 05:25:41 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 46] 2017-11-28 05:24:37 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 46] 2017-11-28 05:24:28 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 46] 2017-11-28 05:24:14 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 46] 2017-11-28 05:24:03 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 45] 2017-11-28 05:23:12 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 45] 2017-11-28 05:23:03 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 45] 2017-11-28 05:22:49 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 45] 2017-11-28 05:22:40 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 44] 2017-11-28 05:22:25 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 44] 2017-11-28 05:22:13 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 44] 2017-11-28 05:22:06 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 44] 2017-11-28 05:21:57 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 43] 2017-11-28 05:21:40 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 43] 2017-11-28 05:21:32 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 43] 2017-11-28 05:21:23 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 43] 2017-11-28 05:21:14 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 42] 2017-11-28 05:20:58 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 42] 2017-11-28 05:20:49 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 41] 2017-11-28 05:20:25 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 41] 2017-11-28 05:20:16 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 40] 2017-11-28 05:20:02 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 40] 2017-11-28 05:19:51 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 39] 2017-11-28 05:19:36 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 39] 2017-11-28 05:19:27 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 38] 2017-11-28 05:19:07 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 38] 2017-11-28 05:18:58 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 37] 2017-11-28 05:18:43 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 37] 2017-11-28 05:18:35 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 36] 2017-11-28 05:18:21 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 36] 2017-11-28 05:18:10 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 35] 2017-11-28 05:17:56 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 35] 2017-11-28 05:17:47 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 34]