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