2017-12-03 22:21:35 +01:00
|
|
|
2017-12-03 22:21:35 +0100 finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 18]
|
2017-12-03 22:18:34 +01:00
|
|
|
2017-12-03 22:18:34 +0100 started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 18]
|
2017-12-03 22:18:21 +01:00
|
|
|
2017-12-03 22:18:21 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 17]
|
2017-12-03 22:03:12 +01:00
|
|
|
2017-12-03 22:03:12 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 17]
|
2017-12-03 22:03:00 +01:00
|
|
|
2017-12-03 22:03:00 +0100 finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 17]
|
2017-12-03 22:01:48 +01:00
|
|
|
2017-12-03 22:01:48 +0100 started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 17]
|
2017-12-03 22:01:36 +01:00
|
|
|
2017-12-03 22:01:36 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 16]
|
2017-12-03 21:46:27 +01:00
|
|
|
2017-12-03 21:46:27 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 16]
|
2017-12-03 21:46:15 +01:00
|
|
|
2017-12-03 21:46:15 +0100 finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 16]
|
2017-12-03 21:44:34 +01:00
|
|
|
2017-12-03 21:44:34 +0100 started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 16]
|
2017-12-03 21:44:22 +01:00
|
|
|
2017-12-03 21:44:22 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 15]
|
2017-12-03 21:29:14 +01:00
|
|
|
2017-12-03 21:29:14 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 15]
|
2017-12-03 21:29:02 +01:00
|
|
|
2017-12-03 21:29:02 +0100 finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 15]
|
2017-12-03 21:28:36 +01:00
|
|
|
2017-12-03 21:28:35 +0100 started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 15]
|
2017-12-03 21:28:23 +01:00
|
|
|
2017-12-03 21:28:23 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 14]
|
2017-12-03 21:13:14 +01:00
|
|
|
2017-12-03 21:13:14 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 14]
|
2017-12-03 21:13:02 +01:00
|
|
|
2017-12-03 21:13:02 +0100 finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 14]
|
2017-12-03 21:12:40 +01:00
|
|
|
2017-12-03 21:12:40 +0100 started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 14]
|
2017-12-03 21:12:28 +01:00
|
|
|
2017-12-03 21:12:28 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 13]
|
2017-12-03 20:57:19 +01:00
|
|
|
2017-12-03 20:57:19 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 13]
|
2017-12-03 20:57:07 +01:00
|
|
|
2017-12-03 20:57:07 +0100 finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 13]
|
2017-12-03 20:41:59 +01:00
|
|
|
2017-12-03 20:41:59 +0100 started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 13]
|
2017-12-03 20:41:47 +01:00
|
|
|
2017-12-03 20:41:47 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 12]
|
2017-12-03 20:26:38 +01:00
|
|
|
2017-12-03 20:26:38 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 12]
|
2017-12-03 20:26:26 +01:00
|
|
|
2017-12-03 20:26:26 +0100 finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 12]
|
2017-12-03 20:25:36 +01:00
|
|
|
2017-12-03 20:25:35 +0100 started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 12]
|
2017-12-03 20:25:23 +01:00
|
|
|
2017-12-03 20:25:23 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 11]
|
2017-12-03 20:10:15 +01:00
|
|
|
2017-12-03 20:10:15 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 11]
|
2017-12-03 20:10:03 +01:00
|
|
|
2017-12-03 20:10:02 +0100 finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 11]
|
2017-12-03 20:09:10 +01:00
|
|
|
2017-12-03 20:09:10 +0100 started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 11]
|
2017-12-03 20:08:58 +01:00
|
|
|
2017-12-03 20:08:58 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 10]
|
2017-12-03 19:53:49 +01:00
|
|
|
2017-12-03 19:53:49 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 10]
|
2017-12-03 19:53:37 +01:00
|
|
|
2017-12-03 19:53:37 +0100 finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 10]
|
2017-12-03 19:53:07 +01:00
|
|
|
2017-12-03 19:53:07 +0100 started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 10]
|
2017-12-03 19:52:56 +01:00
|
|
|
2017-12-03 19:52:56 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 9]
|
2017-12-03 19:37:47 +01:00
|
|
|
2017-12-03 19:37:47 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 9]
|
2017-12-03 19:37:35 +01:00
|
|
|
2017-12-03 19:37:35 +0100 finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 9]
|
2017-12-03 19:37:09 +01:00
|
|
|
2017-12-03 19:37:09 +0100 started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 9]
|
2017-12-03 19:36:57 +01:00
|
|
|
2017-12-03 19:36:56 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 8]
|
2017-12-03 19:33:25 +01:00
|
|
|
2017-12-03 19:33:25 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 8]
|
2017-12-03 19:33:13 +01:00
|
|
|
2017-12-03 19:33:13 +0100 finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 8]
|
2017-12-03 19:32:59 +01:00
|
|
|
2017-12-03 19:32:59 +0100 started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 8]
|
2017-12-03 19:32:47 +01:00
|
|
|
2017-12-03 19:32:47 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 7]
|
2017-12-03 19:21:10 +01:00
|
|
|
2017-12-03 19:21:10 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 7]
|
2017-12-03 19:20:57 +01:00
|
|
|
2017-12-03 19:20:57 +0100 finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 7]
|
2017-12-03 19:20:41 +01:00
|
|
|
2017-12-03 19:20:41 +0100 started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 7]
|
2017-12-03 19:20:28 +01:00
|
|
|
2017-12-03 19:20:28 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 6]
|
2017-12-03 19:05:18 +01:00
|
|
|
2017-12-03 19:05:18 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 6]
|
2017-12-03 19:05:06 +01:00
|
|
|
2017-12-03 19:05:06 +0100 finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 6]
|
2017-12-03 19:00:26 +01:00
|
|
|
2017-12-03 19:00:26 +0100 started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 6]
|
2017-12-03 19:00:14 +01:00
|
|
|
2017-12-03 19:00:14 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 5]
|
2017-12-03 18:45:05 +01:00
|
|
|
2017-12-03 18:45:05 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 5]
|
2017-12-03 18:44:53 +01:00
|
|
|
2017-12-03 18:44:52 +0100 finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 5]
|
2017-12-03 18:44:29 +01:00
|
|
|
2017-12-03 18:44:29 +0100 started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 5]
|
2017-12-03 18:44:17 +01:00
|
|
|
2017-12-03 18:44:17 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 4]
|
2017-12-03 18:29:08 +01:00
|
|
|
2017-12-03 18:29:08 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 4]
|
2017-12-03 18:28:56 +01:00
|
|
|
2017-12-03 18:28:56 +0100 finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 4]
|
2017-12-03 18:28:41 +01:00
|
|
|
2017-12-03 18:28:41 +0100 started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 4]
|
2017-12-03 18:28:29 +01:00
|
|
|
2017-12-03 18:28:29 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 3]
|
2017-12-03 18:24:04 +01:00
|
|
|
2017-12-03 18:24:04 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 3]
|
2017-12-03 18:23:52 +01:00
|
|
|
2017-12-03 18:23:52 +0100 finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 3]
|
2017-12-03 18:23:37 +01:00
|
|
|
2017-12-03 18:23:37 +0100 started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 3]
|
2017-12-03 18:23:25 +01:00
|
|
|
2017-12-03 18:23:25 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 2]
|
2017-12-03 18:08:16 +01:00
|
|
|
2017-12-03 18:08:16 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 2]
|
2017-12-03 18:08:04 +01:00
|
|
|
2017-12-03 18:08:04 +0100 finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 2]
|
2017-12-03 18:07:43 +01:00
|
|
|
2017-12-03 18:07:43 +0100 started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 2]
|
2017-12-03 18:07:31 +01:00
|
|
|
2017-12-03 18:07:31 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 1]
|
2017-12-03 17:52:21 +01:00
|
|
|
2017-12-03 17:52:21 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | tidybot-sequential-satisficing | 1]
|
2017-12-03 17:52:09 +01:00
|
|
|
2017-12-03 17:52:09 +0100 finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 1]
|
2017-12-03 17:51:43 +01:00
|
|
|
2017-12-03 17:51:43 +0100 started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 1]
|
2017-12-03 17:49:56 +01:00
|
|
|
2017-12-03 17:49:56 +0100 benchmark runner exited
|
2017-12-03 17:45:31 +01:00
|
|
|
2017-12-03 17:45:31 +0100 benchmark runner exited
|
2017-12-03 17:45:30 +01:00
|
|
|
2017-12-03 17:45:30 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | visit-all-satisficing | 15]
|
2017-12-03 17:45:23 +01:00
|
|
|
2017-12-03 17:45:23 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | visit-all-satisficing | 15]
|
2017-12-03 17:45:11 +01:00
|
|
|
2017-12-03 17:45:11 +0100 finished benchmark job [m-mp | ipc-2011 | visit-all-satisficing | 15]
|
2017-12-03 17:45:03 +01:00
|
|
|
2017-12-03 17:45:03 +0100 started benchmark job [m-mp | ipc-2011 | visit-all-satisficing | 15]
|
2017-12-03 17:44:51 +01:00
|
|
|
2017-12-03 17:44:51 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | visit-all-satisficing | 14]
|
2017-12-03 17:44:43 +01:00
|
|
|
2017-12-03 17:44:43 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | visit-all-satisficing | 14]
|
2017-12-03 17:44:26 +01:00
|
|
|
2017-12-03 17:44:26 +0100 finished benchmark job [m-mp | ipc-2011 | visit-all-satisficing | 14]
|
2017-12-03 17:44:19 +01:00
|
|
|
2017-12-03 17:44:19 +0100 started benchmark job [m-mp | ipc-2011 | visit-all-satisficing | 14]
|
2017-12-03 17:44:07 +01:00
|
|
|
2017-12-03 17:44:07 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | visit-all-satisficing | 13]
|
2017-12-03 17:43:59 +01:00
|
|
|
2017-12-03 17:43:59 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | visit-all-satisficing | 13]
|
2017-12-03 17:43:47 +01:00
|
|
|
2017-12-03 17:43:47 +0100 finished benchmark job [m-mp | ipc-2011 | visit-all-satisficing | 13]
|
2017-12-03 17:43:39 +01:00
|
|
|
2017-12-03 17:43:39 +0100 started benchmark job [m-mp | ipc-2011 | visit-all-satisficing | 13]
|
2017-12-03 17:43:23 +01:00
|
|
|
2017-12-03 17:43:23 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | visit-all-satisficing | 12]
|
2017-12-03 17:43:15 +01:00
|
|
|
2017-12-03 17:43:15 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | visit-all-satisficing | 12]
|
2017-12-03 17:43:03 +01:00
|
|
|
2017-12-03 17:43:03 +0100 finished benchmark job [m-mp | ipc-2011 | visit-all-satisficing | 12]
|
2017-12-03 17:42:56 +01:00
|
|
|
2017-12-03 17:42:55 +0100 started benchmark job [m-mp | ipc-2011 | visit-all-satisficing | 12]
|
2017-12-03 17:42:43 +01:00
|
|
|
2017-12-03 17:42:43 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | visit-all-satisficing | 11]
|
2017-12-03 17:42:35 +01:00
|
|
|
2017-12-03 17:42:35 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | visit-all-satisficing | 11]
|
2017-12-03 17:42:18 +01:00
|
|
|
2017-12-03 17:42:18 +0100 finished benchmark job [m-mp | ipc-2011 | visit-all-satisficing | 11]
|
2017-12-03 17:42:10 +01:00
|
|
|
2017-12-03 17:42:10 +0100 started benchmark job [m-mp | ipc-2011 | visit-all-satisficing | 11]
|
2017-12-03 17:41:57 +01:00
|
|
|
2017-12-03 17:41:57 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | visit-all-satisficing | 10]
|
2017-12-03 17:41:50 +01:00
|
|
|
2017-12-03 17:41:50 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | visit-all-satisficing | 10]
|
2017-12-03 17:41:37 +01:00
|
|
|
2017-12-03 17:41:37 +0100 finished benchmark job [m-mp | ipc-2011 | visit-all-satisficing | 10]
|
2017-12-03 17:41:28 +01:00
|
|
|
2017-12-03 17:41:28 +0100 started benchmark job [m-mp | ipc-2011 | visit-all-satisficing | 10]
|
2017-12-03 17:41:11 +01:00
|
|
|
2017-12-03 17:41:11 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2011 | visit-all-satisficing | 9]
|
2017-12-03 17:41:03 +01:00
|
|
|
2017-12-03 17:41:03 +0100 started benchmark job [gc-ta1-tt1 | ipc-2011 | visit-all-satisficing | 9]
|
2017-12-03 17:40:51 +01:00
|
|
|
2017-12-03 17:40:51 +0100 finished benchmark job [m-mp | ipc-2011 | visit-all-satisficing | 9]
|
2017-12-03 17:40:43 +01:00
|
|
|
2017-12-03 17:40:43 +0100 started benchmark job [m-mp | ipc-2011 | visit-all-satisficing | 9]
|
