2017-11-28 19:32:04 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 57] 2017-11-28 19:16:56 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 57] 2017-11-28 19:16:47 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 56] 2017-11-28 19:15:49 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 56] 2017-11-28 19:15:39 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 55] 2017-11-28 19:14:43 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 55] 2017-11-28 19:14:33 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 54] 2017-11-28 19:14:19 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 54] 2017-11-28 19:14:10 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 53] 2017-11-28 19:13:15 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 53] 2017-11-28 19:13:06 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 52] 2017-11-28 19:12:55 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 52] 2017-11-28 19:12:46 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 51] 2017-11-28 19:04:36 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 51] 2017-11-28 19:04:27 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 50] 2017-11-28 19:04:15 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 50] 2017-11-28 19:04:06 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 49] 2017-11-28 19:03:04 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 49] 2017-11-28 19:02:55 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 48] 2017-11-28 18:47:47 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 48] 2017-11-28 18:47:38 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 47] 2017-11-28 18:47:27 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 47] 2017-11-28 18:47:18 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 46] 2017-11-28 18:47:08 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 46] 2017-11-28 18:46:59 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 45] 2017-11-28 18:46:03 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 45] 2017-11-28 18:45:54 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 44] 2017-11-28 18:45:44 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 44] 2017-11-28 18:45:35 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 43] 2017-11-28 18:45:26 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 43] 2017-11-28 18:45:17 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 10] 2017-11-28 18:45:10 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 10] 2017-11-28 18:45:01 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 9] 2017-11-28 18:44:54 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 9] 2017-11-28 18:44:46 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 8] 2017-11-28 18:44:38 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 8] 2017-11-28 18:44:29 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 7] 2017-11-28 18:44:22 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 7] 2017-11-28 18:44:13 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 6] 2017-11-28 18:44:07 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 6] 2017-11-28 18:43:58 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 5] 2017-11-28 18:43:51 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 5] 2017-11-28 18:43:42 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 4] 2017-11-28 18:43:35 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 4] 2017-11-28 18:43:26 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 3] 2017-11-28 18:43:19 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 3] 2017-11-28 18:43:10 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 2] 2017-11-28 18:43:03 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 2] 2017-11-28 18:42:54 +0100 finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 1] 2017-11-28 18:42:48 +0100 started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 1] 2017-11-28 18:42:39 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 18] 2017-11-28 18:27:31 +0100 started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 18] 2017-11-28 18:27:22 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 16] 2017-11-28 18:12:15 +0100 started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 16] 2017-11-28 18:12:06 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 14] 2017-11-28 18:10:50 +0100 started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 14] 2017-11-28 18:10:42 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 12] 2017-11-28 17:55:34 +0100 started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 12] 2017-11-28 17:55:25 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 11] 2017-11-28 17:55:18 +0100 started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 11] 2017-11-28 17:55:10 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 8] 2017-11-28 17:40:02 +0100 started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 8] 2017-11-28 17:39:53 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 7] 2017-11-28 17:39:43 +0100 started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 7] 2017-11-28 17:39:35 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 5] 2017-11-28 17:24:27 +0100 started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 5] 2017-11-28 17:24:18 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 4] 2017-11-28 17:24:10 +0100 started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 4] 2017-11-28 17:24:01 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 1] 2017-11-28 17:23:53 +0100 started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 1] 2017-11-28 17:23:45 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 20] 2017-11-28 17:23:25 +0100 started benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 20] 2017-11-28 17:23:16 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 19] 2017-11-28 17:23:08 +0100 started benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 19] 2017-11-28 17:22:59 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 18] 2017-11-28 17:22:26 +0100 started benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 18] 2017-11-28 17:22:17 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 17] 2017-11-28 17:22:07 +0100 started benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 17] 2017-11-28 17:21:58 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 16] 2017-11-28 17:21:51 +0100 started benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 16] 2017-11-28 17:21:42 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 15] 2017-11-28 17:21:21 +0100 started benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 15] 2017-11-28 17:21:12 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 14] 2017-11-28 17:20:29 +0100 started benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 14] 2017-11-28 17:20:16 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 13] 2017-11-28 17:19:59 +0100 started benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 13] 2017-11-28 17:19:50 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 12] 2017-11-28 17:19:44 +0100 started benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 12] 2017-11-28 17:19:35 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 11] 2017-11-28 17:19:28 +0100 started benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 11] 2017-11-28 17:19:19 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 10] 2017-11-28 17:19:02 +0100 started benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 10] 2017-11-28 17:18:53 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 9] 2017-11-28 17:18:46 +0100 started benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 9] 2017-11-28 17:18:37 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 8] 2017-11-28 17:18:30 +0100 started benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 8] 2017-11-28 17:18:21 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 7] 2017-11-28 17:18:14 +0100 started benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 7] 2017-11-28 17:18:05 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 6] 2017-11-28 17:17:54 +0100 started benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 6]