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] 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]