2017-11-30 16:04:21 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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:49 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
2017-11-30 15:08:29 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 4]
|
2017-11-30 15:08:20 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
2017-11-30 15:02:43 +0100 started benchmark job [m-mp | ipc-2004 | promela-dining-philosophers-strips | 2]
|
2017-11-30 15:02:34 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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:26 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
2017-11-30 14:01:38 +0100 started benchmark job [m-mp | ipc-2004 | promela-optical-telegraph-strips | 11]
|
2017-11-30 14:01:29 +01:00
|
|
|
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 +01:00
|
|
|
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 +01:00
|
|
|
2017-11-30 13:46:36 +0100 finished benchmark job [m-mp | ipc-2004 | airport-nontemporal-strips | 50]
|
2017-11-30 13:39:32 +01:00
|
|
|
2017-11-30 13:39:32 +0100 started benchmark job [m-mp | ipc-2004 | airport-nontemporal-strips | 50]
|
2017-11-30 13:39:22 +01:00
|
|
|
2017-11-30 13:39:22 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 60]
|
2017-11-30 13:24:13 +01:00
|
|
|
2017-11-30 13:24:13 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 60]
|
2017-11-30 13:24:04 +01:00
|
|
|
2017-11-30 13:24:04 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 59]
|
2017-11-30 13:08:57 +01:00
|
|
|
2017-11-30 13:08:57 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 59]
|
2017-11-30 13:08:48 +01:00
|
|
|
2017-11-30 13:08:48 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 58]
|
2017-11-30 12:53:40 +01:00
|
|
|
2017-11-30 12:53:40 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 58]
|
2017-11-30 12:53:31 +01:00
|
|
|
2017-11-30 12:53:31 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 57]
|
2017-11-30 12:38:23 +01:00
|
|
|
2017-11-30 12:38:23 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 57]
|
2017-11-30 12:38:14 +01:00
|
|
|
2017-11-30 12:38:14 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 56]
|
2017-11-30 12:23:06 +01:00
|
|
|
2017-11-30 12:23:06 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 56]
|
2017-11-30 12:22:57 +01:00
|
|
|
2017-11-30 12:22:57 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 55]
|
2017-11-30 12:07:49 +01:00
|
|
|
2017-11-30 12:07:49 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 55]
|
2017-11-30 12:07:40 +01:00
|
|
|
2017-11-30 12:07:40 +0100 finished benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 54]
|
2017-11-30 11:52:33 +01:00
|
|
|
2017-11-30 11:52:33 +0100 started benchmark job [m-mp | ipc-2000 | freecell-strips-typed | 54]
|
