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] 2017-11-28 05:17:26 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 34] 2017-11-28 05:17:16 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 33] 2017-11-28 05:16:58 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 33] 2017-11-28 05:16:49 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 32] 2017-11-28 05:16:37 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 32] 2017-11-28 05:16:25 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 31] 2017-11-28 05:16:13 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 31] 2017-11-28 05:16:04 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 30] 2017-11-28 05:15:52 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 30] 2017-11-28 05:15:43 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 29] 2017-11-28 05:15:31 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 29] 2017-11-28 05:15:20 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 28] 2017-11-28 05:15:08 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 28] 2017-11-28 05:14:59 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 27] 2017-11-28 05:14:46 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 27] 2017-11-28 05:14:37 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 26] 2017-11-28 05:14:26 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 26] 2017-11-28 05:14:15 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 25] 2017-11-28 05:14:03 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 25] 2017-11-28 05:13:53 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 24] 2017-11-28 05:13:42 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 24] 2017-11-28 05:13:33 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 23] 2017-11-28 05:13:22 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 23] 2017-11-28 05:13:11 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 22] 2017-11-28 05:12:57 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 22] 2017-11-28 05:12:48 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 21] 2017-11-28 05:12:36 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 21] 2017-11-28 05:12:28 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 20] 2017-11-28 05:12:16 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 20] 2017-11-28 05:12:05 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 19] 2017-11-28 05:11:54 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 19] 2017-11-28 05:11:44 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 18] 2017-11-28 05:11:33 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 18] 2017-11-28 05:11:24 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 17] 2017-11-28 05:11:13 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 17] 2017-11-28 05:11:02 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 16]