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