101 lines
10 KiB
Plaintext
101 lines
10 KiB
Plaintext
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 +0100 finished benchmark job [ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
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 +0100 finished benchmark job [fd-pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
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 +0100 finished benchmark job [fd-pb-es | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
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 +0100 finished benchmark job [fd-pb-e4 | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
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:19 +0100 finished benchmark job [fd-pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
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 +0100 finished benchmark job [fd-pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
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 +0100 finished benchmark job [fd-pb-e3 | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
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 +0100 finished benchmark job [fd-pb-e2 | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
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 +0100 finished benchmark job [fd-pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
2017-11-23 19:37:16 +0100 started benchmark job [fd-pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
2017-11-23 19:36:35 +0100 finished benchmark job [fd-pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
2017-11-23 19:36:08 +0100 started benchmark job [fd-pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
2017-11-23 19:35:27 +0100 finished benchmark job [fd-pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
2017-11-23 19:34:59 +0100 started benchmark job [fd-pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
2017-11-23 19:34:18 +0100 finished benchmark job [fd-ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
2017-11-23 19:33:47 +0100 started benchmark job [fd-ps-e1-sh | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
2017-11-23 19:33:05 +0100 finished benchmark job [m-mpc | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
2017-11-23 19:32:41 +0100 started benchmark job [m-mpc | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
2017-11-23 19:32:00 +0100 finished benchmark job [m-mp | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
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 +0100 finished benchmark job [m-m | ipc-2000 | elevator-strips-simple-typed | 45]
|
|
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 +0100 finished benchmark job [pc-e1-sh | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [pb-es | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [pb-e4 | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [pb-e1-sh-h | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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:07 +0100 finished benchmark job [pb-e3-t0 | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [pb-e3 | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [pb-e2 | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [pb-e1-sh | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [pb-e0-sh | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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 +0100 finished benchmark job [pa-e1-sh | ipc-2000 | elevator-strips-simple-typed | 44]
|
|
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]
|