2017-11-30 15:11:17 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 5] 2017-11-30 15:11:08 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 4] 2017-11-30 15:08:45 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 4] 2017-11-30 15:08:36 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 4] 2017-11-30 15:08:29 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 4] 2017-11-30 15:08:19 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 3] 2017-11-30 15:05:31 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 3] 2017-11-30 15:05:21 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 3] 2017-11-30 15:05:14 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 3] 2017-11-30 15:05:05 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 2] 2017-11-30 15:02:59 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 2] 2017-11-30 15:02:50 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 2] 2017-11-30 15:02:43 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 2] 2017-11-30 15:02:33 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 1] 2017-11-30 15:00:01 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 1] 2017-11-30 14:59:51 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 1] 2017-11-30 14:59:44 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 1] 2017-11-30 14:59:35 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 14] 2017-11-30 14:44:25 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 14] 2017-11-30 14:44:16 +0100 finished benchmark job [m-mp | ipc-2004 | promela-optical-telegraph-strips | 14] 2017-11-30 14:43:44 +0100 started benchmark job [m-mp | ipc-2004 | promela-optical-telegraph-strips | 14] 2017-11-30 14:43:34 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 13] 2017-11-30 14:28:25 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 13] 2017-11-30 14:28:16 +0100 finished benchmark job [m-mp | ipc-2004 | promela-optical-telegraph-strips | 13] 2017-11-30 14:27:59 +0100 started benchmark job [m-mp | ipc-2004 | promela-optical-telegraph-strips | 13] 2017-11-30 14:27:50 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 12] 2017-11-30 14:12:40 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 12] 2017-11-30 14:12:31 +0100 finished benchmark job [m-mp | ipc-2004 | promela-optical-telegraph-strips | 12] 2017-11-30 14:11:56 +0100 started benchmark job [m-mp | ipc-2004 | promela-optical-telegraph-strips | 12] 2017-11-30 14:11:47 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 11] 2017-11-30 14:02:12 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 11] 2017-11-30 14:02:03 +0100 finished benchmark job [m-mp | ipc-2004 | promela-optical-telegraph-strips | 11] 2017-11-30 14:01:38 +0100 started benchmark job [m-mp | ipc-2004 | promela-optical-telegraph-strips | 11] 2017-11-30 14:01:28 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 10] 2017-11-30 13:46:48 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 10] 2017-11-30 13:46:36 +0100 finished benchmark job [m-mp | ipc-2004 | airport-nontemporal-strips | 50] 2017-11-30 13:39:32 +0100 started benchmark job [m-mp | ipc-2004 | airport-nontemporal-strips | 50] 2017-11-30 13:39:22 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 60] 2017-11-30 13:24:13 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 60] 2017-11-30 13:24:04 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 59] 2017-11-30 13:08:57 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 59] 2017-11-30 13:08:48 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 58] 2017-11-30 12:53:40 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 58] 2017-11-30 12:53:31 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 57] 2017-11-30 12:38:23 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 57] 2017-11-30 12:38:14 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 56] 2017-11-30 12:23:06 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 56] 2017-11-30 12:22:57 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 55] 2017-11-30 12:07:49 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 55] 2017-11-30 12:07:40 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 54] 2017-11-30 11:52:33 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 54] 2017-11-30 11:52:24 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 53] 2017-11-30 11:37:16 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 53] 2017-11-30 11:37:07 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 52] 2017-11-30 11:21:59 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 52] 2017-11-30 11:21:50 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 51] 2017-11-30 11:06:43 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 51] 2017-11-30 11:06:33 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 50] 2017-11-30 10:51:26 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 50] 2017-11-30 10:51:17 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 49] 2017-11-30 10:36:09 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 49] 2017-11-30 10:35:58 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 48] 2017-11-30 10:35:18 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 48] 2017-11-30 10:35:09 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 47] 2017-11-30 10:20:01 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 47] 2017-11-30 10:19:53 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 46] 2017-11-30 10:04:45 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 46] 2017-11-30 10:04:36 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 45] 2017-11-30 09:49:28 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 45] 2017-11-30 09:49:19 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 44] 2017-11-30 09:34:11 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 44] 2017-11-30 09:34:02 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 43] 2017-11-30 09:32:55 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 43] 2017-11-30 09:32:46 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 42] 2017-11-30 09:29:55 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 42] 2017-11-30 09:29:46 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 41] 2017-11-30 09:14:38 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 41] 2017-11-30 09:14:29 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 40] 2017-11-30 08:59:38 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 40] 2017-11-30 08:59:29 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 39] 2017-11-30 08:58:25 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 39] 2017-11-30 08:58:16 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 36] 2017-11-30 08:54:42 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 36] 2017-11-30 08:54:33 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 14] 2017-11-30 08:51:24 +0100 started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 14] 2017-11-30 08:51:15 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 7] 2017-11-30 08:36:07 +0100 started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 7] 2017-11-30 08:35:59 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 4] 2017-11-30 08:20:51 +0100 started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 4] 2017-11-30 08:20:42 +0100 finished benchmark job [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 19] 2017-11-30 08:17:34 +0100 started benchmark job [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 19] 2017-11-30 08:17:25 +0100 finished benchmark job [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 19] 2017-11-30 08:14:18 +0100 started benchmark job [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 19] 2017-11-30 08:14:09 +0100 finished benchmark job [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 19] 2017-11-30 08:11:02 +0100 started benchmark job [gc-ta3-tt1 | ipc-2000 | freecell-strips-typed | 19] 2017-11-30 08:10:54 +0100 finished benchmark job [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 19] 2017-11-30 08:07:43 +0100 started benchmark job [gc-ta3-tt0 | ipc-2000 | freecell-strips-typed | 19] 2017-11-30 08:07:35 +0100 finished benchmark job [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 15] 2017-11-30 08:04:34 +0100 started benchmark job [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 15] 2017-11-30 08:04:26 +0100 finished benchmark job [gc-ta4-tt0 | ipc-2000 | freecell-strips-typed | 15]