2017-11-28 15:58:16 +01:00
|
|
|
2017-11-28 15:58:16 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 16]
|
2017-11-28 15:57:36 +01:00
|
|
|
2017-11-28 15:57:36 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 16]
|
2017-11-28 15:57:27 +01:00
|
|
|
2017-11-28 15:57:27 +0100 finished benchmark job [m-mpc | ipc-2000 | freecell-strips-typed | 16]
|
2017-11-28 15:57:18 +01:00
|
|
|
2017-11-28 15:57:18 +0100 started benchmark job [m-mpc | ipc-2000 | freecell-strips-typed | 16]
|
2017-11-28 15:57:09 +01:00
|
|
|
2017-11-28 15:57:09 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 102]
|
2017-11-28 15:41:59 +01:00
|
|
|
2017-11-28 15:41:59 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 102]
|
2017-11-28 15:41:50 +01:00
|
|
|
2017-11-28 15:41:50 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 102]
|
2017-11-28 15:26:43 +01:00
|
|
|
2017-11-28 15:26:43 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 102]
|
2017-11-28 15:26:33 +01:00
|
|
|
2017-11-28 15:26:33 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 101]
|
2017-11-28 15:11:24 +01:00
|
|
|
2017-11-28 15:11:24 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 101]
|
2017-11-28 15:11:15 +01:00
|
|
|
2017-11-28 15:11:15 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 101]
|
2017-11-28 14:56:07 +01:00
|
|
|
2017-11-28 14:56:07 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 101]
|
2017-11-28 14:55:58 +01:00
|
|
|
2017-11-28 14:55:58 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 100]
|
2017-11-28 14:40:49 +01:00
|
|
|
2017-11-28 14:40:49 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 100]
|
2017-11-28 14:40:40 +01:00
|
|
|
2017-11-28 14:40:40 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 100]
|
2017-11-28 14:25:32 +01:00
|
|
|
2017-11-28 14:25:32 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 100]
|
2017-11-28 14:25:23 +01:00
|
|
|
2017-11-28 14:25:23 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 99]
|
2017-11-28 14:10:14 +01:00
|
|
|
2017-11-28 14:10:14 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 99]
|
2017-11-28 14:10:05 +01:00
|
|
|
2017-11-28 14:10:05 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 99]
|
2017-11-28 13:54:57 +01:00
|
|
|
2017-11-28 13:54:57 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 99]
|
2017-11-28 13:54:48 +01:00
|
|
|
2017-11-28 13:54:48 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 98]
|
2017-11-28 13:39:39 +01:00
|
|
|
2017-11-28 13:39:39 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 98]
|
2017-11-28 13:39:25 +01:00
|
|
|
2017-11-28 13:39:25 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 98]
|
2017-11-28 13:38:41 +01:00
|
|
|
2017-11-28 13:38:40 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 98]
|
2017-11-28 13:38:31 +01:00
|
|
|
2017-11-28 13:38:31 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 97]
|
2017-11-28 13:24:04 +01:00
|
|
|
2017-11-28 13:24:03 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 97]
|
2017-11-28 13:23:49 +01:00
|
|
|
2017-11-28 13:23:49 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 97]
|
2017-11-28 13:23:07 +01:00
|
|
|
2017-11-28 13:23:07 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 97]
|
2017-11-28 13:22:58 +01:00
|
|
|
2017-11-28 13:22:57 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 96]
|
2017-11-28 13:09:22 +01:00
|
|
|
2017-11-28 13:09:22 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 96]
|
2017-11-28 13:09:08 +01:00
|
|
|
2017-11-28 13:09:08 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 96]
|
2017-11-28 13:08:24 +01:00
|
|
|
2017-11-28 13:08:24 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 96]
|
2017-11-28 13:08:15 +01:00
|
|
|
2017-11-28 13:08:15 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 95]
|
2017-11-28 12:53:06 +01:00
|
|
|
2017-11-28 12:53:06 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 95]
|
2017-11-28 12:52:52 +01:00
|
|
|
2017-11-28 12:52:52 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 95]
|
2017-11-28 12:52:09 +01:00
|
|
|
2017-11-28 12:52:09 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 95]
|
2017-11-28 12:52:00 +01:00
|
|
|
2017-11-28 12:52:00 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 94]
|
2017-11-28 12:48:08 +01:00
|
|
|
2017-11-28 12:48:08 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 94]
|
2017-11-28 12:47:59 +01:00
|
|
|
2017-11-28 12:47:59 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 94]
|
2017-11-28 12:32:51 +01:00
|
|
|
2017-11-28 12:32:51 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 94]
|
2017-11-28 12:32:42 +01:00
|
|
|
2017-11-28 12:32:42 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 93]
|
2017-11-28 12:24:04 +01:00
|
|
|
2017-11-28 12:24:04 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 93]
|
2017-11-28 12:23:55 +01:00
|
|
|
2017-11-28 12:23:54 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 93]
|
2017-11-28 12:21:45 +01:00
|
|
|
2017-11-28 12:21:45 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 93]
|
2017-11-28 12:21:36 +01:00
|
|
|
2017-11-28 12:21:36 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 92]
|
2017-11-28 12:06:40 +01:00
|
|
|
2017-11-28 12:06:40 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 92]
|
2017-11-28 12:06:31 +01:00
|
|
|
2017-11-28 12:06:31 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 92]
|
2017-11-28 11:51:23 +01:00
|
|
|
2017-11-28 11:51:23 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 92]
|
2017-11-28 11:51:14 +01:00
|
|
|
2017-11-28 11:51:14 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 91]
|
2017-11-28 11:38:32 +01:00
|
|
|
2017-11-28 11:38:32 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 91]
|
2017-11-28 11:38:23 +01:00
|
|
|
2017-11-28 11:38:23 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 91]
|
2017-11-28 11:23:16 +01:00
|
|
|
2017-11-28 11:23:15 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 91]
|
2017-11-28 11:23:06 +01:00
|
|
|
2017-11-28 11:23:06 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 90]
|
2017-11-28 11:07:57 +01:00
|
|
|
2017-11-28 11:07:57 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 90]
|
2017-11-28 11:07:48 +01:00
|
|
|
2017-11-28 11:07:48 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 90]
|
2017-11-28 10:52:40 +01:00
|
|
|
2017-11-28 10:52:40 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 90]
|
2017-11-28 10:52:31 +01:00
|
|
|
2017-11-28 10:52:31 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 89]
|
2017-11-28 10:37:22 +01:00
|
|
|
2017-11-28 10:37:22 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 89]
|
2017-11-28 10:37:13 +01:00
|
|
|
2017-11-28 10:37:13 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 89]
|
2017-11-28 10:22:05 +01:00
|
|
|
2017-11-28 10:22:05 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 89]
|
2017-11-28 10:21:56 +01:00
|
|
|
2017-11-28 10:21:56 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 88]
|
2017-11-28 10:19:24 +01:00
|
|
|
2017-11-28 10:19:24 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 88]
|
2017-11-28 10:19:15 +01:00
|
|
|
2017-11-28 10:19:15 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 88]
|
2017-11-28 10:17:02 +01:00
|
|
|
2017-11-28 10:17:02 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 88]
|
2017-11-28 10:16:53 +01:00
|
|
|
2017-11-28 10:16:53 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 87]
|
2017-11-28 10:01:44 +01:00
|
|
|
2017-11-28 10:01:44 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 87]
|
2017-11-28 10:01:35 +01:00
|
|
|
2017-11-28 10:01:35 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 87]
|
2017-11-28 09:56:05 +01:00
|
|
|
2017-11-28 09:56:05 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 87]
|
2017-11-28 09:55:56 +01:00
|
|
|
2017-11-28 09:55:56 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 86]
|
2017-11-28 09:54:54 +01:00
|
|
|
2017-11-28 09:54:54 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 86]
|
2017-11-28 09:54:45 +01:00
|
|
|
2017-11-28 09:54:45 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 86]
|
2017-11-28 09:51:06 +01:00
|
|
|
2017-11-28 09:51:06 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 86]
|
2017-11-28 09:50:57 +01:00
|
|
|
2017-11-28 09:50:57 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 85]
|
2017-11-28 09:41:33 +01:00
|
|
|
2017-11-28 09:41:32 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 85]
|
2017-11-28 09:41:23 +01:00
|
|
|
2017-11-28 09:41:23 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 85]
|
2017-11-28 09:32:16 +01:00
|
|
|
2017-11-28 09:32:16 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 85]
|
2017-11-28 09:32:07 +01:00
|
|
|
2017-11-28 09:32:07 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 84]
|
2017-11-28 09:18:01 +01:00
|
|
|
2017-11-28 09:18:00 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 84]
|
2017-11-28 09:17:51 +01:00
|
|
|
2017-11-28 09:17:51 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 84]
|
2017-11-28 09:16:57 +01:00
|
|
|
2017-11-28 09:16:57 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 84]
|
2017-11-28 09:16:48 +01:00
|
|
|
2017-11-28 09:16:48 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 83]
|
2017-11-28 09:04:18 +01:00
|
|
|
2017-11-28 09:04:18 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 83]
|
2017-11-28 09:04:09 +01:00
|
|
|
2017-11-28 09:04:09 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 83]
|
2017-11-28 08:57:07 +01:00
|
|
|
2017-11-28 08:57:07 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 83]
|
2017-11-28 08:56:58 +01:00
|
|
|
2017-11-28 08:56:58 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 82]
|
2017-11-28 08:53:14 +01:00
|
|
|
2017-11-28 08:53:14 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 82]
|
2017-11-28 08:53:04 +01:00
|
|
|
2017-11-28 08:53:04 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 82]
|
2017-11-28 08:52:23 +01:00
|
|
|
2017-11-28 08:52:23 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 82]
|
2017-11-28 08:52:14 +01:00
|
|
|
2017-11-28 08:52:14 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 81]
|
2017-11-28 08:42:00 +01:00
|
|
|
2017-11-28 08:42:00 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 81]
|
2017-11-28 08:41:50 +01:00
|
|
|
2017-11-28 08:41:50 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 81]
|
2017-11-28 08:39:22 +01:00
|
|
|
2017-11-28 08:39:22 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 81]
|
2017-11-28 08:39:13 +01:00
|
|
|
2017-11-28 08:39:13 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 80]
|
2017-11-28 08:32:30 +01:00
|
|
|
2017-11-28 08:32:30 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 80]
|
2017-11-28 08:32:21 +01:00
|
|
|
2017-11-28 08:32:21 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 80]
|
2017-11-28 08:30:39 +01:00
|
|
|
2017-11-28 08:30:39 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 80]
|
2017-11-28 08:30:30 +01:00
|
|
|
2017-11-28 08:30:30 +0100 finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 79]
|
2017-11-28 08:20:55 +01:00
|
|
|
2017-11-28 08:20:55 +0100 started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 79]
|
2017-11-28 08:20:46 +01:00
|
|
|
2017-11-28 08:20:46 +0100 finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 79]
|
2017-11-28 08:10:57 +01:00
|
|
|
2017-11-28 08:10:57 +0100 started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 79]
|
