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