Commit Graph

341 Commits

Author SHA1 Message Date
c48f605086
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 87] 2017-11-28 10:16:52 +01:00
e0c1d51fd8
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 86] 2017-11-28 09:55:55 +01:00
91fafceae8
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 85] 2017-11-28 09:50:56 +01:00
8250aaafbc
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 84] 2017-11-28 09:32:05 +01:00
ffec7782fc
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 83] 2017-11-28 09:16:47 +01:00
f78356ed5b
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 82] 2017-11-28 08:56:57 +01:00
5ba77c4c54
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 81] 2017-11-28 08:52:13 +01:00
f31df42c95
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 80] 2017-11-28 08:39:12 +01:00
6aca0de83b
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 79] 2017-11-28 08:30:29 +01:00
bf741b6e9e
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 78] 2017-11-28 08:10:47 +01:00
bdc965b546
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 77] 2017-11-28 08:01:12 +01:00
457d647cc4
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 76] 2017-11-28 07:56:08 +01:00
5b1b12f45c
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 75] 2017-11-28 07:32:30 +01:00
600b0768d2
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 74] 2017-11-28 07:22:11 +01:00
7fd9d220ff
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 73] 2017-11-28 07:12:53 +01:00
9f5be048c5
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 72] 2017-11-28 07:02:04 +01:00
db2726fcaf
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 71] 2017-11-28 06:41:13 +01:00
76a63d2b2b
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 70] 2017-11-28 06:33:29 +01:00
dd15d7b05e
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 69] 2017-11-28 06:26:06 +01:00
da4d187a9f
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 68] 2017-11-28 06:24:08 +01:00
0479fdd25e
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 67] 2017-11-28 06:17:47 +01:00
f6408c523c
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 66] 2017-11-28 06:11:21 +01:00
34d5ecd619
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 65] 2017-11-28 06:09:41 +01:00
22339b539e
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 64] 2017-11-28 06:05:40 +01:00
95668c7ec6
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 63] 2017-11-28 06:03:47 +01:00
9d3015fa7a
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 62] 2017-11-28 05:58:55 +01:00
4f99c83207
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 61] 2017-11-28 05:55:01 +01:00
e28c868324
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 60] 2017-11-28 05:52:45 +01:00
c622d68a74
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 59] 2017-11-28 05:50:28 +01:00
08e6825eb4
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 58] 2017-11-28 05:47:49 +01:00
1f9517c216
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 57] 2017-11-28 05:45:39 +01:00
15eed18a82
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 56] 2017-11-28 05:42:08 +01:00
c6b3cdc6d5
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 55] 2017-11-28 05:40:59 +01:00
fd8a3b75d2
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 54] 2017-11-28 05:38:32 +01:00
cedc9b835c
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 53] 2017-11-28 05:37:14 +01:00
59991f9df5
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 52] 2017-11-28 05:34:06 +01:00
ccfbe3b9e0
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 51] 2017-11-28 05:32:45 +01:00
fb98b736e8
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 50] 2017-11-28 05:31:00 +01:00
992458bbf5
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 49] 2017-11-28 05:29:05 +01:00
64560569f8
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 48] 2017-11-28 05:27:49 +01:00
9da767ae90
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 47] 2017-11-28 05:26:25 +01:00
e1b02a6ba8
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 46] 2017-11-28 05:25:40 +01:00
297a3ab6fd
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 45] 2017-11-28 05:24:02 +01:00
d12e002d4b
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 44] 2017-11-28 05:22:39 +01:00
da27d80a6e
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 43] 2017-11-28 05:21:56 +01:00
564bc37574
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 42] 2017-11-28 05:21:13 +01:00
7661b9d0d2
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 41] 2017-11-28 05:20:48 +01:00
7ee741a34f
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 40] 2017-11-28 05:20:15 +01:00
d76e23fb7e
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 39] 2017-11-28 05:19:50 +01:00
fe14bcf157
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 38] 2017-11-28 05:19:26 +01:00
f439864f8f
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 37] 2017-11-28 05:18:57 +01:00
167e630f45
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 36] 2017-11-28 05:18:34 +01:00
a33ae47f14
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 35] 2017-11-28 05:18:09 +01:00
526e0abcf4
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 34] 2017-11-28 05:17:46 +01:00
db80de62ba
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 33] 2017-11-28 05:17:15 +01:00
43ef7bfd2e
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 32] 2017-11-28 05:16:48 +01:00
ca976b91ab
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 31] 2017-11-28 05:16:24 +01:00
057b165a8c
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 30] 2017-11-28 05:16:03 +01:00
a55ed5a2ca
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 29] 2017-11-28 05:15:42 +01:00
583efca513
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 28] 2017-11-28 05:15:19 +01:00
8d1fc6ef0f
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 27] 2017-11-28 05:14:58 +01:00
62c71c39a5
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 26] 2017-11-28 05:14:37 +01:00
883dfe1787
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 25] 2017-11-28 05:14:14 +01:00
e4f8686df3
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 24] 2017-11-28 05:13:52 +01:00
13a8bcfd44
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 23] 2017-11-28 05:13:32 +01:00
627951c65f
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 22] 2017-11-28 05:13:10 +01:00
5099c552e9
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 21] 2017-11-28 05:12:47 +01:00
8c02b17eb4
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 20] 2017-11-28 05:12:27 +01:00
323acf95de
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 19] 2017-11-28 05:12:04 +01:00
ecde726b4a
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 18] 2017-11-28 05:11:43 +01:00
c7ee763794
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 17] 2017-11-28 05:11:23 +01:00
d4912327c9
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 16] 2017-11-28 05:11:01 +01:00
0167f09b8f
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 15] 2017-11-28 05:10:40 +01:00
b1782464f5
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 14] 2017-11-28 05:10:20 +01:00
341df42e7d
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 13] 2017-11-28 05:09:58 +01:00
94ac55547f
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 12] 2017-11-28 05:09:38 +01:00
8dce2760cd
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 11] 2017-11-28 05:09:18 +01:00
8049bcdcc4
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 10] 2017-11-28 05:08:59 +01:00
28ffcc64a2
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 9] 2017-11-28 05:08:21 +01:00
9a11606c9d
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 8] 2017-11-28 05:07:42 +01:00
c14dacf734
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 7] 2017-11-28 05:07:07 +01:00
3cad23d210
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 6] 2017-11-28 05:06:31 +01:00
35202aa615
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 5] 2017-11-28 05:05:53 +01:00
09e84f9c5f
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 4] 2017-11-28 05:05:16 +01:00
3f8b84ff5c
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 3] 2017-11-28 05:04:41 +01:00
b86752a363
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 2] 2017-11-28 05:04:03 +01:00
6f2a846861
Add benchmark result [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 1] 2017-11-28 05:03:25 +01:00
a02561d55f
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-round-1-strips | 18] 2017-11-28 05:02:50 +01:00
ad41459718
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-round-1-strips | 17] 2017-11-28 05:01:51 +01:00
d63ca811b7
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-round-1-strips | 16] 2017-11-28 05:01:01 +01:00
135e7130b7
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-round-1-strips | 14] 2017-11-28 04:45:21 +01:00
3e5fa8ab4f
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-round-1-strips | 12] 2017-11-28 04:36:39 +01:00
44ac894d49
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-round-1-strips | 11] 2017-11-28 04:06:05 +01:00
629ffb1f28
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-round-1-strips | 8] 2017-11-28 04:05:29 +01:00
247cb86e04
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-round-1-strips | 7] 2017-11-28 03:39:10 +01:00
c4b1d809ba
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-round-1-strips | 5] 2017-11-28 03:38:33 +01:00
c195c5afaa
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-round-1-strips | 4] 2017-11-28 03:22:50 +01:00
bf0c71d811
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-round-1-strips | 3] 2017-11-28 03:07:12 +01:00
accf88337f
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-round-1-strips | 1] 2017-11-28 03:06:50 +01:00
8a635ce640
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 20] 2017-11-28 03:06:15 +01:00
3d8f9551f6
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 19] 2017-11-28 03:03:59 +01:00
25325df7e0
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 18] 2017-11-28 03:02:49 +01:00
0048a44736
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 17] 2017-11-28 02:57:15 +01:00
9b4c0b6f20
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 16] 2017-11-28 02:55:51 +01:00
4e2c4c88d9
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 15] 2017-11-28 02:55:03 +01:00
ba8f09f76d
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 14] 2017-11-28 02:52:46 +01:00
03b6920bec
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 13] 2017-11-28 02:49:36 +01:00
65e15beb2e
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 12] 2017-11-28 02:47:07 +01:00
b779ba4c20
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 11] 2017-11-28 02:46:24 +01:00
03b1aae116
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 10] 2017-11-28 02:45:47 +01:00
a00eba2a29
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 9] 2017-11-28 02:43:16 +01:00
898d49fe13
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 8] 2017-11-28 02:42:35 +01:00
1a243f97ab
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 7] 2017-11-28 02:41:37 +01:00
5779eda05b
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 6] 2017-11-28 02:41:00 +01:00
c81e21cdd0
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 5] 2017-11-28 02:39:26 +01:00
12df43d0ed
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 4] 2017-11-28 02:38:45 +01:00
762411a04d
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 3] 2017-11-28 02:38:03 +01:00
d34caaeaa1
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 2] 2017-11-28 02:37:19 +01:00
5b324d3714
Add benchmark result [gc-ta1-tt1 | ipc-1998 | mystery-prime-round-1-strips | 1] 2017-11-28 02:36:37 +01:00
de8424fccb
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 30] 2017-11-28 02:35:56 +01:00
8685ba27f1
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 29] 2017-11-28 02:35:21 +01:00
2d63084194
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 28] 2017-11-28 02:34:47 +01:00
e6af664168
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 27] 2017-11-28 02:34:11 +01:00
ffdeb2c7ab
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 26] 2017-11-28 02:33:37 +01:00
bdeb9d3849
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 25] 2017-11-28 02:32:58 +01:00
b976ae1710
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 24] 2017-11-28 02:32:23 +01:00
58ebf20e83
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 23] 2017-11-28 02:31:48 +01:00
bbcf36f219
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 22] 2017-11-28 02:31:13 +01:00
60db46ac69
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 21] 2017-11-28 02:30:34 +01:00
98d17c661a
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 20] 2017-11-28 02:29:59 +01:00
bb0d1ecd47
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 19] 2017-11-28 02:29:24 +01:00
e343221d1f
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 18] 2017-11-28 02:28:50 +01:00
41c7888bce
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 17] 2017-11-28 02:28:15 +01:00
72796b0532
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 16] 2017-11-28 02:27:41 +01:00
ed54f54580
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 15] 2017-11-28 02:27:07 +01:00
ab84d7663e
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 14] 2017-11-28 02:26:32 +01:00
d0abb93409
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 13] 2017-11-28 02:25:58 +01:00
aef49415d2
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 12] 2017-11-28 02:25:24 +01:00
d39b953953
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 11] 2017-11-28 02:24:49 +01:00
a0f3f980b6
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 10] 2017-11-28 02:24:15 +01:00
1f36a39822
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 9] 2017-11-28 02:23:41 +01:00
9ef66ba686
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 8] 2017-11-28 02:23:07 +01:00
5fef3d56a0
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 7] 2017-11-28 02:22:32 +01:00
6a09548a9d
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 6] 2017-11-28 02:21:58 +01:00
455d97e5e9
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 5] 2017-11-28 02:21:23 +01:00
54fb92eea9
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 4] 2017-11-28 02:20:49 +01:00
a324bca77d
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 3] 2017-11-28 02:20:14 +01:00
6e39139234
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 2] 2017-11-28 02:19:40 +01:00
56dbdf8723
Add benchmark result [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 1] 2017-11-28 02:19:06 +01:00
db98af7375
Add benchmark result [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 30] 2017-11-28 02:18:32 +01:00