2017-11-23 21:30:58 +01:00
|
|
|
2017-11-23 21:30:58 +0100 finished benchmark job [fd-pb-e0-sh | ipc-2002 | depots-strips-automatic | 4]
|
2017-11-23 21:30:30 +01:00
|
|
|
2017-11-23 21:30:30 +0100 started benchmark job [fd-pb-e0-sh | ipc-2002 | depots-strips-automatic | 4]
|
2017-11-23 21:29:47 +01:00
|
|
|
2017-11-23 21:29:47 +0100 finished benchmark job [fd-pa-e1-sh | ipc-2002 | depots-strips-automatic | 4]
|
2017-11-23 21:29:19 +01:00
|
|
|
2017-11-23 21:29:19 +0100 started benchmark job [fd-pa-e1-sh | ipc-2002 | depots-strips-automatic | 4]
|
2017-11-23 21:28:36 +01:00
|
|
|
2017-11-23 21:28:36 +0100 finished benchmark job [fd-ps-e1-sh | ipc-2002 | depots-strips-automatic | 4]
|
2017-11-23 21:28:08 +01:00
|
|
|
2017-11-23 21:28:08 +0100 started benchmark job [fd-ps-e1-sh | ipc-2002 | depots-strips-automatic | 4]
|
2017-11-23 21:27:25 +01:00
|
|
|
2017-11-23 21:27:25 +0100 finished benchmark job [m-mpc | ipc-2002 | depots-strips-automatic | 4]
|
2017-11-23 21:27:00 +01:00
|
|
|
2017-11-23 21:27:00 +0100 started benchmark job [m-mpc | ipc-2002 | depots-strips-automatic | 4]
|
2017-11-23 21:26:18 +01:00
|
|
|
2017-11-23 21:26:18 +0100 finished benchmark job [m-mp | ipc-2002 | depots-strips-automatic | 4]
|
2017-11-23 21:25:53 +01:00
|
|
|
2017-11-23 21:25:53 +0100 started benchmark job [m-mp | ipc-2002 | depots-strips-automatic | 4]
|
2017-11-23 21:25:10 +01:00
|
|
|
2017-11-23 21:25:10 +0100 finished benchmark job [m-m | ipc-2002 | depots-strips-automatic | 4]
|
2017-11-23 21:24:46 +01:00
|
|
|
2017-11-23 21:24:45 +0100 started benchmark job [m-m | ipc-2002 | depots-strips-automatic | 4]
|
2017-11-23 21:24:03 +01:00
|
|
|
2017-11-23 21:24:03 +0100 finished benchmark job [pc-e1-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:23:25 +01:00
|
|
|
2017-11-23 21:23:25 +0100 started benchmark job [pc-e1-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:22:43 +01:00
|
|
|
2017-11-23 21:22:42 +0100 finished benchmark job [pb-es | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:18:55 +01:00
|
|
|
2017-11-23 21:18:55 +0100 started benchmark job [pb-es | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:18:13 +01:00
|
|
|
2017-11-23 21:18:13 +0100 finished benchmark job [pb-e4 | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:17:47 +01:00
|
|
|
2017-11-23 21:17:47 +0100 started benchmark job [pb-e4 | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:17:04 +01:00
|
|
|
2017-11-23 21:17:04 +0100 finished benchmark job [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:16:36 +01:00
|
|
|
2017-11-23 21:16:36 +0100 started benchmark job [pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:15:54 +01:00
|
|
|
2017-11-23 21:15:54 +0100 finished benchmark job [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:15:28 +01:00
|
|
|
2017-11-23 21:15:28 +0100 started benchmark job [pb-e3-t0 | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:14:45 +01:00
|
|
|
2017-11-23 21:14:45 +0100 finished benchmark job [pb-e3 | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:14:19 +01:00
|
|
|
2017-11-23 21:14:19 +0100 started benchmark job [pb-e3 | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:13:37 +01:00
|
|
|
2017-11-23 21:13:37 +0100 finished benchmark job [pb-e2 | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:12:59 +01:00
|
|
|
2017-11-23 21:12:59 +0100 started benchmark job [pb-e2 | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:12:17 +01:00
|
|
|
2017-11-23 21:12:17 +0100 finished benchmark job [pb-e1-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:11:50 +01:00
|
|
|
2017-11-23 21:11:50 +0100 started benchmark job [pb-e1-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:11:08 +01:00
|
|
|
2017-11-23 21:11:08 +0100 finished benchmark job [pb-e0-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:10:43 +01:00
|
|
|
2017-11-23 21:10:43 +0100 started benchmark job [pb-e0-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:10:01 +01:00
|
|
|
2017-11-23 21:10:01 +0100 finished benchmark job [pa-e1-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:09:34 +01:00
|
|
|
2017-11-23 21:09:34 +0100 started benchmark job [pa-e1-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:08:52 +01:00
|
|
|
2017-11-23 21:08:52 +0100 finished benchmark job [ps-e1-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:08:26 +01:00
|
|
|
2017-11-23 21:08:26 +0100 started benchmark job [ps-e1-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:07:43 +01:00
|
|
|
2017-11-23 21:07:43 +0100 finished benchmark job [fd-pc-e1-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:07:16 +01:00
|
|
|
2017-11-23 21:07:16 +0100 started benchmark job [fd-pc-e1-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:06:33 +01:00
|
|
|
2017-11-23 21:06:33 +0100 finished benchmark job [fd-pb-es | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:05:30 +01:00
|
|
|
2017-11-23 21:05:30 +0100 started benchmark job [fd-pb-es | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:04:48 +01:00
|
|
|
2017-11-23 21:04:48 +0100 finished benchmark job [fd-pb-e4 | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:04:21 +01:00
|
|
|
2017-11-23 21:04:21 +0100 started benchmark job [fd-pb-e4 | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:03:38 +01:00
|
|
|
2017-11-23 21:03:38 +0100 finished benchmark job [fd-pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:03:11 +01:00
|
|
|
2017-11-23 21:03:11 +0100 started benchmark job [fd-pb-e1-sh-h | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:02:29 +01:00
|
|
|
2017-11-23 21:02:29 +0100 finished benchmark job [fd-pb-e3-t0 | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:02:01 +01:00
|
|
|
2017-11-23 21:02:01 +0100 started benchmark job [fd-pb-e3-t0 | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:01:19 +01:00
|
|
|
2017-11-23 21:01:18 +0100 finished benchmark job [fd-pb-e3 | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:00:50 +01:00
|
|
|
2017-11-23 21:00:50 +0100 started benchmark job [fd-pb-e3 | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 21:00:08 +01:00
|
|
|
2017-11-23 21:00:08 +0100 finished benchmark job [fd-pb-e2 | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 20:59:39 +01:00
|
|
|
2017-11-23 20:59:39 +0100 started benchmark job [fd-pb-e2 | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 20:58:57 +01:00
|
|
|
2017-11-23 20:58:57 +0100 finished benchmark job [fd-pb-e1-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 20:58:29 +01:00
|
|
|
2017-11-23 20:58:29 +0100 started benchmark job [fd-pb-e1-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 20:57:46 +01:00
|
|
|
2017-11-23 20:57:46 +0100 finished benchmark job [fd-pb-e0-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 20:57:19 +01:00
|
|
|
2017-11-23 20:57:19 +0100 started benchmark job [fd-pb-e0-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 20:56:37 +01:00
|
|
|
2017-11-23 20:56:37 +0100 finished benchmark job [fd-pa-e1-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 20:56:09 +01:00
|
|
|
2017-11-23 20:56:09 +0100 started benchmark job [fd-pa-e1-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 20:55:27 +01:00
|
|
|
2017-11-23 20:55:27 +0100 finished benchmark job [fd-ps-e1-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 20:55:00 +01:00
|
|
|
2017-11-23 20:55:00 +0100 started benchmark job [fd-ps-e1-sh | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 20:54:18 +01:00
|
|
|
2017-11-23 20:54:18 +0100 finished benchmark job [m-mpc | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 20:53:54 +01:00
|
|
|
2017-11-23 20:53:53 +0100 started benchmark job [m-mpc | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 20:53:12 +01:00
|
|
|
2017-11-23 20:53:11 +0100 finished benchmark job [m-mp | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 20:52:47 +01:00
|
|
|
2017-11-23 20:52:47 +0100 started benchmark job [m-mp | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 20:52:05 +01:00
|
|
|
2017-11-23 20:52:05 +0100 finished benchmark job [m-m | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 20:51:41 +01:00
|
|
|
2017-11-23 20:51:41 +0100 started benchmark job [m-m | ipc-2002 | depots-strips-automatic | 3]
|
2017-11-23 20:50:59 +01:00
|
|
|
2017-11-23 20:50:59 +0100 finished benchmark job [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:44:15 +01:00
|
|
|
2017-11-23 20:44:15 +0100 started benchmark job [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:43:33 +01:00
|
|
|
2017-11-23 20:43:33 +0100 finished benchmark job [pb-es | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:42:28 +01:00
|
|
|
2017-11-23 20:42:28 +0100 started benchmark job [pb-es | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:41:45 +01:00
|
|
|
2017-11-23 20:41:45 +0100 finished benchmark job [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:41:20 +01:00
|
|
|
2017-11-23 20:41:20 +0100 started benchmark job [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:40:38 +01:00
|
|
|
2017-11-23 20:40:38 +0100 finished benchmark job [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:40:11 +01:00
|
|
|
2017-11-23 20:40:11 +0100 started benchmark job [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:39:29 +01:00
|
|
|
2017-11-23 20:39:29 +0100 finished benchmark job [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:39:05 +01:00
|
|
|
2017-11-23 20:39:05 +0100 started benchmark job [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:38:23 +01:00
|
|
|
2017-11-23 20:38:23 +0100 finished benchmark job [pb-e3 | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:37:54 +01:00
|
|
|
2017-11-23 20:37:54 +0100 started benchmark job [pb-e3 | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:37:12 +01:00
|
|
|
2017-11-23 20:37:12 +0100 finished benchmark job [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:35:56 +01:00
|
|
|
2017-11-23 20:35:56 +0100 started benchmark job [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:35:15 +01:00
|
|
|
2017-11-23 20:35:15 +0100 finished benchmark job [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:19:50 +01:00
|
|
|
2017-11-23 20:19:50 +0100 started benchmark job [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:19:08 +01:00
|
|
|
2017-11-23 20:19:08 +0100 finished benchmark job [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:18:43 +01:00
|
|
|
2017-11-23 20:18:43 +0100 started benchmark job [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:18:01 +01:00
|
|
|
2017-11-23 20:18:01 +0100 finished benchmark job [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:02:37 +01:00
|
|
|
2017-11-23 20:02:37 +0100 started benchmark job [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 20:01:55 +01:00
|
|
|
2017-11-23 20:01:55 +0100 finished benchmark job [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 19:46:31 +01:00
|
|
|
2017-11-23 19:46:31 +0100 started benchmark job [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 19:45:49 +01:00
|
|
|
2017-11-23 19:45:49 +0100 finished benchmark job [fd-pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 19:45:22 +01:00
|
|
|
2017-11-23 19:45:22 +0100 started benchmark job [fd-pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 19:44:40 +01:00
|
|
|
2017-11-23 19:44:40 +0100 finished benchmark job [fd-pb-es | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 19:44:10 +01:00
|
|
|
2017-11-23 19:44:10 +0100 started benchmark job [fd-pb-es | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 19:43:28 +01:00
|
|
|
2017-11-23 19:43:28 +0100 finished benchmark job [fd-pb-e4 | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 19:43:01 +01:00
|
|
|
2017-11-23 19:43:01 +0100 started benchmark job [fd-pb-e4 | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 19:42:20 +01:00
|
|
|
2017-11-23 19:42:19 +0100 finished benchmark job [fd-pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 19:41:52 +01:00
|
|
|
2017-11-23 19:41:52 +0100 started benchmark job [fd-pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 19:41:10 +01:00
|
|
|
2017-11-23 19:41:10 +0100 finished benchmark job [fd-pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 19:40:43 +01:00
|
|
|
2017-11-23 19:40:43 +0100 started benchmark job [fd-pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 19:40:01 +01:00
|
|
|
2017-11-23 19:40:01 +0100 finished benchmark job [fd-pb-e3 | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 19:39:34 +01:00
|
|
|
2017-11-23 19:39:34 +0100 started benchmark job [fd-pb-e3 | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 19:38:52 +01:00
|
|
|
2017-11-23 19:38:52 +0100 finished benchmark job [fd-pb-e2 | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 19:38:25 +01:00
|
|
|
2017-11-23 19:38:25 +0100 started benchmark job [fd-pb-e2 | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 19:37:44 +01:00
|
|
|
2017-11-23 19:37:44 +0100 finished benchmark job [fd-pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
2017-11-23 19:37:16 +01:00
|
|
|
2017-11-23 19:37:16 +0100 started benchmark job [fd-pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|