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