2017-11-30 16:57:08 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 25] 2017-11-30 16:51:32 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 25] 2017-11-30 16:51:23 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 25] 2017-11-30 16:51:15 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 25] 2017-11-30 16:51:06 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 24] 2017-11-30 16:45:26 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 24] 2017-11-30 16:45:16 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 24] 2017-11-30 16:45:08 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 24] 2017-11-30 16:44:58 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 23] 2017-11-30 16:39:45 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 23] 2017-11-30 16:39:35 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 23] 2017-11-30 16:39:28 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 23] 2017-11-30 16:39:18 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 22] 2017-11-30 16:33:49 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 22] 2017-11-30 16:33:39 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 22] 2017-11-30 16:33:32 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 22] 2017-11-30 16:33:22 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 21] 2017-11-30 16:27:53 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 21] 2017-11-30 16:27:44 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 21] 2017-11-30 16:27:37 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 21] 2017-11-30 16:27:27 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 20] 2017-11-30 16:22:01 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 20] 2017-11-30 16:21:52 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 20] 2017-11-30 16:21:45 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 20] 2017-11-30 16:21:35 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 19] 2017-11-30 16:16:10 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 19] 2017-11-30 16:16:00 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 19] 2017-11-30 16:15:53 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 19] 2017-11-30 16:15:44 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 18] 2017-11-30 16:10:20 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 18] 2017-11-30 16:10:10 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 18] 2017-11-30 16:10:03 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 18] 2017-11-30 16:09:53 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 17] 2017-11-30 16:04:30 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 17] 2017-11-30 16:04:21 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 17] 2017-11-30 16:04:14 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 17] 2017-11-30 16:04:04 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 16] 2017-11-30 15:58:43 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 16] 2017-11-30 15:58:33 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 16] 2017-11-30 15:58:26 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 16] 2017-11-30 15:58:17 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 15] 2017-11-30 15:53:07 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 15] 2017-11-30 15:52:57 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 15] 2017-11-30 15:52:50 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 15] 2017-11-30 15:52:41 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 14] 2017-11-30 15:47:30 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 14] 2017-11-30 15:47:21 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 14] 2017-11-30 15:47:14 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 14] 2017-11-30 15:47:04 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 13] 2017-11-30 15:42:19 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 13] 2017-11-30 15:42:09 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 13] 2017-11-30 15:42:02 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 13] 2017-11-30 15:41:53 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 12] 2017-11-30 15:37:44 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 12] 2017-11-30 15:37:34 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 12] 2017-11-30 15:37:27 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 12] 2017-11-30 15:37:18 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 11] 2017-11-30 15:32:48 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 11] 2017-11-30 15:32:39 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 11] 2017-11-30 15:32:32 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 11] 2017-11-30 15:32:22 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 10] 2017-11-30 15:28:42 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 10] 2017-11-30 15:28:32 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 10] 2017-11-30 15:28:25 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 10] 2017-11-30 15:28:16 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 9] 2017-11-30 15:24:22 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 9] 2017-11-30 15:24:12 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 9] 2017-11-30 15:24:05 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 9] 2017-11-30 15:23:56 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 8] 2017-11-30 15:21:06 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 8] 2017-11-30 15:20:56 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 8] 2017-11-30 15:20:49 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 8] 2017-11-30 15:20:40 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 7] 2017-11-30 15:17:36 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 7] 2017-11-30 15:17:26 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 7] 2017-11-30 15:17:19 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 7] 2017-11-30 15:17:09 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 6] 2017-11-30 15:14:36 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 6] 2017-11-30 15:14:26 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 6] 2017-11-30 15:14:19 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 6] 2017-11-30 15:14:10 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 5] 2017-11-30 15:11:34 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 5] 2017-11-30 15:11:24 +0100 finished benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 5] 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]