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