2017-11-27 14:27:56 +01:00
|
|
|
2017-11-27 14:27:56 +0100 finished benchmark job [gc-ta7-tt0 | ipc-1998 | mystery-round-1-strips | 2]
|
2017-11-27 14:27:38 +01:00
|
|
|
2017-11-27 14:27:38 +0100 started benchmark job [gc-ta7-tt0 | ipc-1998 | mystery-round-1-strips | 2]
|
2017-11-27 14:27:32 +01:00
|
|
|
2017-11-27 14:27:32 +0100 finished benchmark job [gc-ta1-tt0 | ipc-1998 | mystery-round-1-strips | 2]
|
2017-11-27 14:27:14 +01:00
|
|
|
2017-11-27 14:27:14 +0100 started benchmark job [gc-ta1-tt0 | ipc-1998 | mystery-round-1-strips | 2]
|
2017-11-27 11:32:03 +01:00
|
|
|
2017-11-27 11:32:03 +0100 benchmark runner exited
|
2017-11-27 11:31:57 +01:00
|
|
|
2017-11-27 11:31:57 +0100 errors reported for benchmark job [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 11:31:50 +01:00
|
|
|
2017-11-27 11:31:50 +0100 started benchmark job [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 11:31:44 +01:00
|
|
|
2017-11-27 11:31:44 +0100 errors reported for benchmark job [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 11:31:37 +01:00
|
|
|
2017-11-27 11:31:37 +0100 started benchmark job [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 11:31:31 +01:00
|
|
|
2017-11-27 11:31:31 +0100 finished benchmark job [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 11:16:23 +01:00
|
|
|
2017-11-27 11:16:22 +0100 started benchmark job [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 11:16:17 +01:00
|
|
|
2017-11-27 11:16:17 +0100 finished benchmark job [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 11:02:46 +01:00
|
|
|
2017-11-27 11:02:46 +0100 started benchmark job [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 11:02:40 +01:00
|
|
|
2017-11-27 11:02:40 +0100 finished benchmark job [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 11:01:23 +01:00
|
|
|
2017-11-27 11:01:23 +0100 started benchmark job [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 11:01:18 +01:00
|
|
|
2017-11-27 11:01:18 +0100 finished benchmark job [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 10:59:51 +01:00
|
|
|
2017-11-27 10:59:51 +0100 started benchmark job [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 10:59:45 +01:00
|
|
|
2017-11-27 10:59:45 +0100 finished benchmark job [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 10:58:13 +01:00
|
|
|
2017-11-27 10:58:13 +0100 started benchmark job [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 10:58:07 +01:00
|
|
|
2017-11-27 10:58:07 +0100 finished benchmark job [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 10:56:39 +01:00
|
|
|
2017-11-27 10:56:39 +0100 started benchmark job [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 10:56:33 +01:00
|
|
|
2017-11-27 10:56:33 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 10:55:40 +01:00
|
|
|
2017-11-27 10:55:40 +0100 started benchmark job [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 10:55:34 +01:00
|
|
|
2017-11-27 10:55:34 +0100 errors reported for benchmark job [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 10:55:15 +01:00
|
|
|
2017-11-27 10:55:15 +0100 started benchmark job [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 18]
|
2017-11-27 10:55:10 +01:00
|
|
|
2017-11-27 10:55:10 +0100 errors reported for benchmark job [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:55:02 +01:00
|
|
|
2017-11-27 10:55:02 +0100 started benchmark job [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:54:57 +01:00
|
|
|
2017-11-27 10:54:57 +0100 errors reported for benchmark job [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:54:50 +01:00
|
|
|
2017-11-27 10:54:49 +0100 started benchmark job [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:54:44 +01:00
|
|
|
2017-11-27 10:54:44 +0100 finished benchmark job [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:39:35 +01:00
|
|
|
2017-11-27 10:39:35 +0100 started benchmark job [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:39:29 +01:00
|
|
|
2017-11-27 10:39:29 +0100 finished benchmark job [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:36:30 +01:00
|
|
|
2017-11-27 10:36:30 +0100 started benchmark job [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:36:23 +01:00
|
|
|
2017-11-27 10:36:23 +0100 finished benchmark job [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:35:37 +01:00
|
|
|
2017-11-27 10:35:37 +0100 started benchmark job [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:35:28 +01:00
|
|
|
2017-11-27 10:35:28 +0100 finished benchmark job [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:34:36 +01:00
|
|
|
2017-11-27 10:34:36 +0100 started benchmark job [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:34:30 +01:00
|
|
|
2017-11-27 10:34:30 +0100 finished benchmark job [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:33:38 +01:00
|
|
|
2017-11-27 10:33:38 +0100 started benchmark job [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:33:30 +01:00
|
|
|
2017-11-27 10:33:30 +0100 finished benchmark job [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:32:44 +01:00
|
|
|
2017-11-27 10:32:44 +0100 started benchmark job [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:32:38 +01:00
|
|
|
2017-11-27 10:32:38 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:32:08 +01:00
|
|
|
2017-11-27 10:32:08 +0100 started benchmark job [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:32:02 +01:00
|
|
|
2017-11-27 10:32:02 +0100 errors reported for benchmark job [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:31:46 +01:00
|
|
|
2017-11-27 10:31:46 +0100 started benchmark job [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 17]
|
2017-11-27 10:31:40 +01:00
|
|
|
2017-11-27 10:31:40 +0100 errors reported for benchmark job [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:31:33 +01:00
|
|
|
2017-11-27 10:31:33 +0100 started benchmark job [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:31:27 +01:00
|
|
|
2017-11-27 10:31:27 +0100 errors reported for benchmark job [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:31:19 +01:00
|
|
|
2017-11-27 10:31:19 +0100 started benchmark job [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:31:13 +01:00
|
|
|
2017-11-27 10:31:13 +0100 finished benchmark job [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:30:05 +01:00
|
|
|
2017-11-27 10:30:05 +0100 started benchmark job [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:29:59 +01:00
|
|
|
2017-11-27 10:29:59 +0100 finished benchmark job [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:29:43 +01:00
|
|
|
2017-11-27 10:29:43 +0100 started benchmark job [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:29:38 +01:00
|
|
|
2017-11-27 10:29:37 +0100 finished benchmark job [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:29:19 +01:00
|
|
|
2017-11-27 10:29:19 +0100 started benchmark job [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:29:13 +01:00
|
|
|
2017-11-27 10:29:13 +0100 finished benchmark job [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:28:52 +01:00
|
|
|
2017-11-27 10:28:52 +0100 started benchmark job [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:28:46 +01:00
|
|
|
2017-11-27 10:28:46 +0100 finished benchmark job [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:28:26 +01:00
|
|
|
2017-11-27 10:28:26 +0100 started benchmark job [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:28:20 +01:00
|
|
|
2017-11-27 10:28:20 +0100 finished benchmark job [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:28:00 +01:00
|
|
|
2017-11-27 10:28:00 +0100 started benchmark job [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:27:54 +01:00
|
|
|
2017-11-27 10:27:54 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:27:40 +01:00
|
|
|
2017-11-27 10:27:39 +0100 started benchmark job [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:27:34 +01:00
|
|
|
2017-11-27 10:27:34 +0100 errors reported for benchmark job [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:27:21 +01:00
|
|
|
2017-11-27 10:27:21 +0100 started benchmark job [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 15]
|
2017-11-27 10:27:15 +01:00
|
|
|
2017-11-27 10:27:15 +0100 errors reported for benchmark job [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:27:08 +01:00
|
|
|
2017-11-27 10:27:08 +0100 started benchmark job [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:27:02 +01:00
|
|
|
2017-11-27 10:27:02 +0100 errors reported for benchmark job [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:26:55 +01:00
|
|
|
2017-11-27 10:26:55 +0100 started benchmark job [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:26:49 +01:00
|
|
|
2017-11-27 10:26:49 +0100 finished benchmark job [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:26:14 +01:00
|
|
|
2017-11-27 10:26:14 +0100 started benchmark job [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:26:08 +01:00
|
|
|
2017-11-27 10:26:08 +0100 finished benchmark job [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:25:50 +01:00
|
|
|
2017-11-27 10:25:49 +0100 started benchmark job [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:25:43 +01:00
|
|
|
2017-11-27 10:25:43 +0100 finished benchmark job [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:25:31 +01:00
|
|
|
2017-11-27 10:25:31 +0100 started benchmark job [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:25:21 +01:00
|
|
|
2017-11-27 10:25:21 +0100 finished benchmark job [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:25:07 +01:00
|
|
|
2017-11-27 10:25:07 +0100 started benchmark job [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:25:01 +01:00
|
|
|
2017-11-27 10:25:01 +0100 finished benchmark job [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:24:48 +01:00
|
|
|
2017-11-27 10:24:48 +0100 started benchmark job [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:24:42 +01:00
|
|
|
2017-11-27 10:24:42 +0100 finished benchmark job [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:24:29 +01:00
|
|
|
2017-11-27 10:24:29 +0100 started benchmark job [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:24:19 +01:00
|
|
|
2017-11-27 10:24:19 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:24:07 +01:00
|
|
|
2017-11-27 10:24:07 +0100 started benchmark job [gc-ta1-tt1 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:24:01 +01:00
|
|
|
2017-11-27 10:24:01 +0100 errors reported for benchmark job [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:23:49 +01:00
|
|
|
2017-11-27 10:23:49 +0100 started benchmark job [gc-ta1-tt0 | ipc-2002 | driverlog-strips-automatic | 14]
|
2017-11-27 10:23:43 +01:00
|
|
|
2017-11-27 10:23:43 +0100 errors reported for benchmark job [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:23:36 +01:00
|
|
|
2017-11-27 10:23:36 +0100 started benchmark job [gc-ta7-tt1 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:23:30 +01:00
|
|
|
2017-11-27 10:23:30 +0100 errors reported for benchmark job [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:23:23 +01:00
|
|
|
2017-11-27 10:23:23 +0100 started benchmark job [gc-ta7-tt0 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:23:13 +01:00
|
|
|
2017-11-27 10:23:13 +0100 finished benchmark job [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:22:55 +01:00
|
|
|
2017-11-27 10:22:55 +0100 started benchmark job [gc-ta5-tt1 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:22:49 +01:00
|
|
|
2017-11-27 10:22:49 +0100 finished benchmark job [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:22:36 +01:00
|
|
|
2017-11-27 10:22:36 +0100 started benchmark job [gc-ta5-tt0 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:22:30 +01:00
|
|
|
2017-11-27 10:22:30 +0100 finished benchmark job [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:22:17 +01:00
|
|
|
2017-11-27 10:22:17 +0100 started benchmark job [gc-ta4-tt1 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:22:08 +01:00
|
|
|
2017-11-27 10:22:08 +0100 finished benchmark job [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:21:55 +01:00
|
|
|
2017-11-27 10:21:55 +0100 started benchmark job [gc-ta4-tt0 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:21:49 +01:00
|
|
|
2017-11-27 10:21:49 +0100 finished benchmark job [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:21:36 +01:00
|
|
|
2017-11-27 10:21:36 +0100 started benchmark job [gc-ta3-tt1 | ipc-2002 | driverlog-strips-automatic | 13]
|
2017-11-27 10:21:30 +01:00
|
|
|
2017-11-27 10:21:30 +0100 finished benchmark job [gc-ta3-tt0 | ipc-2002 | driverlog-strips-automatic | 13]
|
