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