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