101 lines
10 KiB
Plaintext
101 lines
10 KiB
Plaintext
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 +0100 finished benchmark job [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [fd-pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [fd-pb-es | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [fd-pb-e4 | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [fd-pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [fd-pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [fd-pb-e3 | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [fd-pb-e2 | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [fd-pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [fd-pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [fd-pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [fd-ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [m-mpc | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 benchmark runner exited
|
|
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 +0100 started benchmark job [m-mp | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 started benchmark job [m-m | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 started benchmark job [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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 +0100 started benchmark job [pb-es | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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 +0100 started benchmark job [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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 +0100 started benchmark job [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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 +0100 started benchmark job [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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 +0100 started benchmark job [pb-e3 | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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 +0100 started benchmark job [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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 +0100 started benchmark job [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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:22 +0100 started benchmark job [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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 +0100 started benchmark job [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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 +0100 started benchmark job [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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 +0100 started benchmark job [fd-pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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:27 +0100 started benchmark job [fd-pb-es | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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 +0100 started benchmark job [fd-pb-e4 | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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 +0100 started benchmark job [fd-pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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 +0100 started benchmark job [fd-pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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 +0100 started benchmark job [fd-pb-e3 | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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 +0100 started benchmark job [fd-pb-e2 | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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 +0100 started benchmark job [fd-pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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:49 +0100 started benchmark job [fd-pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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 +0100 started benchmark job [fd-pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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 +0100 started benchmark job [fd-ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
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 +0100 started benchmark job [m-mpc | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
2017-11-23 16:03:28 +0100 finished benchmark job [m-mp | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
2017-11-23 16:03:02 +0100 started benchmark job [m-mp | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
2017-11-23 16:02:17 +0100 finished benchmark job [m-m | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
2017-11-23 16:01:51 +0100 started benchmark job [m-m | ipc-2000 | elevator-strips-simple-typed | 43]
|
|
2017-11-23 16:01:06 +0100 finished benchmark job [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 42]
|
|
2017-11-23 15:45:40 +0100 started benchmark job [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 42]
|
|
2017-11-23 15:44:57 +0100 finished benchmark job [pb-es | ipc-2000 | elevator-strips-simple-typed | 42]
|
|
2017-11-23 15:43:26 +0100 started benchmark job [pb-es | ipc-2000 | elevator-strips-simple-typed | 42]
|
|
2017-11-23 15:42:41 +0100 finished benchmark job [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 42]
|
|
2017-11-23 15:42:13 +0100 started benchmark job [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 42]
|
|
2017-11-23 15:41:29 +0100 finished benchmark job [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 42]
|
|
2017-11-23 15:41:00 +0100 started benchmark job [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 42]
|
|
2017-11-23 15:40:16 +0100 finished benchmark job [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 42]
|
|
2017-11-23 15:39:50 +0100 started benchmark job [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 42]
|
|
2017-11-23 15:39:06 +0100 finished benchmark job [pb-e3 | ipc-2000 | elevator-strips-simple-typed | 42]
|
|
2017-11-23 15:38:00 +0100 started benchmark job [pb-e3 | ipc-2000 | elevator-strips-simple-typed | 42]
|
|
2017-11-23 15:37:15 +0100 finished benchmark job [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 42]
|
|
2017-11-23 15:34:38 +0100 started benchmark job [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 42]
|
|
2017-11-23 15:33:54 +0100 finished benchmark job [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 42]
|
|
2017-11-23 15:32:15 +0100 started benchmark job [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 42]
|
|
2017-11-23 15:31:31 +0100 finished benchmark job [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 42]
|
|
2017-11-23 15:31:05 +0100 started benchmark job [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 42]
|