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