2017-11-29 20:19:15 +0100 finished benchmark job [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-29 20:04:07 +0100 started benchmark job [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 14] 2017-11-29 20:03:59 +0100 finished benchmark job [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-29 19:48:52 +0100 started benchmark job [pc-e1-sh | ipc-2002 | driverlog-strips-automatic | 13] 2017-11-29 19:48:44 +0100 finished benchmark job [pb-e3 | ipc-2002 | depots-strips-automatic | 17] 2017-11-29 19:44:18 +0100 started benchmark job [pb-e3 | ipc-2002 | depots-strips-automatic | 17] 2017-11-29 19:44:10 +0100 finished benchmark job [pb-e2 | ipc-2002 | depots-strips-automatic | 17] 2017-11-29 19:29:02 +0100 started benchmark job [pb-e2 | ipc-2002 | depots-strips-automatic | 17] 2017-11-29 19:28:54 +0100 finished benchmark job [pc-e1-sh | ipc-2002 | depots-strips-automatic | 11] 2017-11-29 19:13:47 +0100 started benchmark job [pc-e1-sh | ipc-2002 | depots-strips-automatic | 11] 2017-11-29 19:13:38 +0100 finished benchmark job [pc-e1-sh | ipc-2002 | depots-strips-automatic | 6] 2017-11-29 18:58:31 +0100 started benchmark job [pc-e1-sh | ipc-2002 | depots-strips-automatic | 6] 2017-11-29 18:58:23 +0100 finished benchmark job [pc-e1-sh | ipc-2002 | depots-strips-automatic | 5] 2017-11-29 18:43:15 +0100 started benchmark job [pc-e1-sh | ipc-2002 | depots-strips-automatic | 5] 2017-11-29 18:36:50 +0100 benchmark runner exited 2017-11-29 18:35:37 +0100 started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 4] 2017-11-29 18:35:28 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 18] 2017-11-29 18:33:40 +0100 started benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 18] 2017-11-29 18:33:27 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 14] 2017-11-29 18:32:41 +0100 started benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 14] 2017-11-29 18:32:32 +0100 finished benchmark job [m-m | ipc-1998 | mystery-round-1-strips | 10] 2017-11-29 18:26:07 +0100 started benchmark job [m-m | ipc-1998 | mystery-round-1-strips | 10] 2017-11-29 18:25:15 +0100 benchmark runner exited 2017-11-29 18:24:21 +0100 started benchmark job [m-m | ipc-1998 | mystery-round-1-strips | 10] 2017-11-29 18:11:42 +0100 benchmark runner exited 2017-11-29 18:09:09 +0100 started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 4] 2017-11-29 18:09:00 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 18] 2017-11-29 18:07:13 +0100 started benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 18] 2017-11-29 18:06:59 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 14] 2017-11-29 18:06:14 +0100 started benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 14] 2017-11-29 18:06:05 +0100 finished benchmark job [m-m | ipc-1998 | mystery-round-1-strips | 10] 2017-11-29 18:03:48 +0100 started benchmark job [m-m | ipc-1998 | mystery-round-1-strips | 10] 2017-11-29 17:51:08 +0100 benchmark runner exited 2017-11-29 17:47:26 +0100 started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 4] 2017-11-29 17:47:17 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 18] 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 +0100 finished benchmark job [m-mp | ipc-1998 | mystery-prime-round-1-strips | 14] 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 +0100 finished benchmark job [m-m | ipc-1998 | mystery-round-1-strips | 10] 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 +0100 benchmark runner exited 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 +0100 finished benchmark job [m-mp | ipc-2004 | promela-optical-telegraph-strips | 10] 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 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 9] 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:49 +0100 finished benchmark job [m-mp | ipc-2004 | promela-optical-telegraph-strips | 9] 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 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 8] 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 +0100 finished benchmark job [m-mp | ipc-2004 | promela-optical-telegraph-strips | 8] 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 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 7] 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 +0100 finished benchmark job [m-mp | ipc-2004 | promela-optical-telegraph-strips | 7] 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 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 6] 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 +0100 finished benchmark job [m-mp | ipc-2004 | promela-optical-telegraph-strips | 6] 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 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 5] 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 +0100 finished benchmark job [m-mp | ipc-2004 | promela-optical-telegraph-strips | 5] 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 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 4] 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 +0100 finished benchmark job [m-mp | ipc-2004 | promela-optical-telegraph-strips | 4] 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 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 3] 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 +0100 finished benchmark job [m-mp | ipc-2004 | promela-optical-telegraph-strips | 3] 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 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 2] 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 +0100 finished benchmark job [m-mp | ipc-2004 | promela-optical-telegraph-strips | 2] 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 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 1] 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 +0100 finished benchmark job [m-mp | ipc-2004 | promela-optical-telegraph-strips | 1] 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 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 50] 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 +0100 finished benchmark job [m-mp | ipc-2004 | airport-nontemporal-strips | 50] 2017-11-29 15:48:33 +0100 started benchmark job [m-mp | ipc-2004 | airport-nontemporal-strips | 50] 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 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 49] 2017-11-29 15:43:25 +0100 finished benchmark job [m-mp | ipc-2004 | airport-nontemporal-strips | 49] 2017-11-29 15:39:22 +0100 started benchmark job [m-mp | ipc-2004 | airport-nontemporal-strips | 49] 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 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 48] 2017-11-29 15:35:09 +0100 finished benchmark job [m-mp | ipc-2004 | airport-nontemporal-strips | 48] 2017-11-29 15:22:42 +0100 started benchmark job [m-mp | ipc-2004 | airport-nontemporal-strips | 48] 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 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 47] 2017-11-29 15:19:22 +0100 finished benchmark job [m-mp | ipc-2004 | airport-nontemporal-strips | 47] 2017-11-29 15:17:59 +0100 started benchmark job [m-mp | ipc-2004 | airport-nontemporal-strips | 47] 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 +0100 started benchmark job [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 46] 2017-11-29 15:15:33 +0100 finished benchmark job [m-mp | ipc-2004 | airport-nontemporal-strips | 46] 2017-11-29 15:14:28 +0100 started benchmark job [m-mp | ipc-2004 | airport-nontemporal-strips | 46]