Commit Graph

11127 Commits

Author SHA1 Message Date
373df3fe4d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 26] 2017-12-01 18:24:01 +01:00
1a8b7b011e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 26] 2017-12-01 18:23:50 +01:00
813a4a1512
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 26] 2017-12-01 18:23:40 +01:00
3221b95dad
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 26] 2017-12-01 18:23:33 +01:00
481ebe1499
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 25] 2017-12-01 18:23:23 +01:00
2f4325bff1
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 25] 2017-12-01 18:22:00 +01:00
4cd2dc0349
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 25] 2017-12-01 18:21:50 +01:00
14b600e24c
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 25] 2017-12-01 18:21:43 +01:00
9a81301541
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 24] 2017-12-01 18:21:33 +01:00
c4ccfad6de
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 24] 2017-12-01 18:21:22 +01:00
e909d2381d
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 24] 2017-12-01 18:21:12 +01:00
92d0c5c227
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 24] 2017-12-01 18:21:05 +01:00
b836a17af2
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 23] 2017-12-01 18:20:51 +01:00
f14031f7bf
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 23] 2017-12-01 18:20:40 +01:00
68e3d2b4ca
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 23] 2017-12-01 18:20:30 +01:00
8dc9ae51b2
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 23] 2017-12-01 18:20:23 +01:00
2a56cae97f
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 22] 2017-12-01 18:20:13 +01:00
b095e271ea
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 22] 2017-12-01 18:20:00 +01:00
11f404554b
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 22] 2017-12-01 18:19:46 +01:00
b05b67bcfc
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 22] 2017-12-01 18:19:39 +01:00
422bd476e9
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 21] 2017-12-01 18:19:29 +01:00
b64b052eb3
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 21] 2017-12-01 18:19:18 +01:00
2f263e08bd
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 21] 2017-12-01 18:19:08 +01:00
8c5a87b6d3
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 21] 2017-12-01 18:19:01 +01:00
e9162d16ec
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 20] 2017-12-01 18:18:51 +01:00
1c14a394b5
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 20] 2017-12-01 18:18:40 +01:00
6c05d748fa
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 20] 2017-12-01 18:18:30 +01:00
6e7fcb0687
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 20] 2017-12-01 18:18:23 +01:00
b569deec93
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 19] 2017-12-01 18:18:13 +01:00
b181431d69
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 19] 2017-12-01 18:18:01 +01:00
17c7762cef
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 19] 2017-12-01 18:17:51 +01:00
bba7355caf
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 19] 2017-12-01 18:17:44 +01:00
c84c20492e
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 18] 2017-12-01 18:17:30 +01:00
4cd0c98bae
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 18] 2017-12-01 18:17:19 +01:00
05c08568c0
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 18] 2017-12-01 18:17:09 +01:00
b3924e23b7
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 18] 2017-12-01 18:17:02 +01:00
c0c678587c
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 17] 2017-12-01 18:16:53 +01:00
27bd5f250c
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 17] 2017-12-01 18:16:42 +01:00
b5f570720c
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 17] 2017-12-01 18:16:28 +01:00
407bbbc673
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 17] 2017-12-01 18:16:21 +01:00
1e10f8eee3
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 16] 2017-12-01 18:16:11 +01:00
586c622068
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 16] 2017-12-01 18:16:00 +01:00
a5394509b3
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 16] 2017-12-01 18:15:49 +01:00
7b27b8aae2
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 16] 2017-12-01 18:15:42 +01:00
4641b08930
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 15] 2017-12-01 18:15:32 +01:00
88035ae5fa
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 15] 2017-12-01 18:15:17 +01:00
66c06e99c0
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 15] 2017-12-01 18:15:08 +01:00
e931ce7cf5
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 15] 2017-12-01 18:15:01 +01:00
203979be70
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 14] 2017-12-01 18:14:51 +01:00
ac190e8c9d
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 14] 2017-12-01 18:14:40 +01:00
a4fe8d7bc0
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 14] 2017-12-01 18:14:30 +01:00
5d53d13a05
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 14] 2017-12-01 18:14:23 +01:00
836e066be7
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 13] 2017-12-01 18:14:09 +01:00
8f53f9ac8e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 13] 2017-12-01 18:13:58 +01:00
b98243494b
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 13] 2017-12-01 18:13:48 +01:00
17d431508f
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 13] 2017-12-01 18:13:41 +01:00
e6410fc823
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 12] 2017-12-01 18:13:31 +01:00
e57f71beaa
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 12] 2017-12-01 18:13:21 +01:00
79c7112714
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 12] 2017-12-01 18:13:06 +01:00
d2c6a3ece6
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 12] 2017-12-01 18:12:59 +01:00
3ca6ccf7d5
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 11] 2017-12-01 18:12:50 +01:00
ffccf2fa55
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 11] 2017-12-01 18:12:38 +01:00
fc62118f6b
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 11] 2017-12-01 18:12:28 +01:00
8c85a2412e
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 11] 2017-12-01 18:12:21 +01:00
276331607d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 10] 2017-12-01 18:12:12 +01:00
bad5d9ef12
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 10] 2017-12-01 18:12:00 +01:00
fba03e0b19
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 10] 2017-12-01 18:11:50 +01:00
3360f32a2b
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 10] 2017-12-01 18:11:43 +01:00
aed4f23bb8
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 9] 2017-12-01 18:11:33 +01:00
59bea84043
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 9] 2017-12-01 18:11:22 +01:00
d716f2b223
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 9] 2017-12-01 18:11:12 +01:00
3cece6321a
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 9] 2017-12-01 18:11:05 +01:00
8bbb106c16
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 8] 2017-12-01 18:10:51 +01:00
c019acd04f
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 8] 2017-12-01 18:10:40 +01:00
3910b39ba5
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 8] 2017-12-01 18:10:30 +01:00
03b57e3464
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 8] 2017-12-01 18:10:23 +01:00
4f8a4c622c
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 7] 2017-12-01 18:10:13 +01:00
2367f099e4
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 7] 2017-12-01 18:10:02 +01:00
e532c30a8b
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 7] 2017-12-01 18:09:48 +01:00
04b6a8efaf
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 7] 2017-12-01 18:09:41 +01:00
4c80b0c89d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 6] 2017-12-01 18:09:30 +01:00
335439c2d8
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 6] 2017-12-01 18:09:19 +01:00
3b7831e0a0
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 6] 2017-12-01 18:09:10 +01:00
fd2defd828
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 6] 2017-12-01 18:09:03 +01:00
ddba8a0cda
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 5] 2017-12-01 18:08:53 +01:00
8e9a288786
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 5] 2017-12-01 18:08:41 +01:00
fc2ec409ea
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 5] 2017-12-01 18:08:32 +01:00
53c87f8ae3
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 5] 2017-12-01 18:08:25 +01:00
93dda57aed
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 4] 2017-12-01 18:08:15 +01:00
8aa3929ca1
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 4] 2017-12-01 18:08:04 +01:00
525da54671
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 4] 2017-12-01 18:07:53 +01:00
cb14cf5504
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 4] 2017-12-01 18:07:47 +01:00
bbbe0b8560
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 3] 2017-12-01 18:07:33 +01:00
ecb71bf713
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 3] 2017-12-01 18:07:22 +01:00
9b49ca5e6c
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 3] 2017-12-01 18:07:12 +01:00
800177a080
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 3] 2017-12-01 18:07:05 +01:00
45a1352a43
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 2] 2017-12-01 18:06:55 +01:00
897bd6fce1
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 2] 2017-12-01 18:06:44 +01:00
064cc98f4c
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 2] 2017-12-01 18:06:30 +01:00
6df0202d21
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 2] 2017-12-01 18:06:23 +01:00
a20399f6ab
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 1] 2017-12-01 18:06:13 +01:00
f4501e15e2
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | psr-small-strips | 1] 2017-12-01 18:06:02 +01:00
462e941c52
Update status: finished benchmark job [m-mp | ipc-2004 | psr-small-strips | 1] 2017-12-01 18:05:53 +01:00
c846a9e74f
Update status: started benchmark job [m-mp | ipc-2004 | psr-small-strips | 1] 2017-12-01 18:05:46 +01:00
2b06c693fa
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 50] 2017-12-01 18:05:36 +01:00
df84c434f3
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 50] 2017-12-01 18:03:15 +01:00
201008217e
Update status: finished benchmark job [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 50] 2017-12-01 18:03:05 +01:00
76d786f97e
Update status: started benchmark job [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 50] 2017-12-01 17:47:57 +01:00
febf6c14ca
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 49] 2017-12-01 17:47:48 +01:00
8a3843ef24
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 49] 2017-12-01 17:46:28 +01:00
8cfe6e14ad
Update status: finished benchmark job [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 49] 2017-12-01 17:46:18 +01:00
2c361873f8
Update status: started benchmark job [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 49] 2017-12-01 17:45:01 +01:00
49d17fda20
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 48] 2017-12-01 17:44:52 +01:00
e12c811fc2
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 48] 2017-12-01 17:29:42 +01:00
6b195800d4
Update status: finished benchmark job [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 48] 2017-12-01 17:29:32 +01:00
d82b0e846e
Update status: started benchmark job [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 48] 2017-12-01 17:14:25 +01:00
24b949d6c8
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 47] 2017-12-01 17:14:14 +01:00
1e9e43727f
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 47] 2017-12-01 16:59:05 +01:00
badf8477da
Update status: finished benchmark job [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 47] 2017-12-01 16:58:55 +01:00
8352a48bfc
Update status: started benchmark job [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 47] 2017-12-01 16:43:47 +01:00
94b7b110ce
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 46] 2017-12-01 16:43:38 +01:00
8e26df44bc
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 46] 2017-12-01 16:28:29 +01:00
f1c07d90e4
Update status: finished benchmark job [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 46] 2017-12-01 16:28:19 +01:00
14a5f8a586
Update status: started benchmark job [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 46] 2017-12-01 16:13:11 +01:00
4f2d843d8c
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 45] 2017-12-01 16:13:01 +01:00
ea77b22330
Update status: started benchmark job [gc-ta1-tt1 | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 45] 2017-12-01 15:57:52 +01:00
0be7cf1699
Update status: finished benchmark job [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 45] 2017-12-01 15:57:42 +01:00
bb36a13cdf
Update status: started benchmark job [m-mp | ipc-2004 | pipesworld-no-tankage-nontemporal-strips | 45] 2017-12-01 15:42:34 +01:00
24cf098358
Update status: finished benchmark job [fd-pb-e2 | ipc-2002 | driverlog-strips-automatic | 18] 2017-12-01 15:42:24 +01:00
d2e95ba88c
Update status: started benchmark job [fd-pb-e2 | ipc-2002 | driverlog-strips-automatic | 18] 2017-12-01 15:39:06 +01:00
6d48545013
Update status: finished benchmark job [fd-pb-e2 | ipc-2002 | depots-strips-automatic | 20] 2017-12-01 15:38:58 +01:00
24d4fbf5b0
Update status: started benchmark job [fd-pb-e2 | ipc-2002 | depots-strips-automatic | 20] 2017-12-01 15:23:49 +01:00
24c9247b09
Update status: finished benchmark job [fd-pb-e2 | ipc-2002 | depots-strips-automatic | 18] 2017-12-01 15:23:40 +01:00
cd8f8d7be1
Update status: started benchmark job [fd-pb-e2 | ipc-2002 | depots-strips-automatic | 18] 2017-12-01 15:08:31 +01:00
fe9639b132
Update status: finished benchmark job [fd-pb-e2 | ipc-2000 | freecell-strips-typed | 10] 2017-12-01 15:08:23 +01:00
9d6ada7282
Update status: started benchmark job [fd-pb-e2 | ipc-2000 | freecell-strips-typed | 10] 2017-12-01 15:04:35 +01:00
b3a78fb6ca
Update status: finished benchmark job [fd-pb-e2 | ipc-2000 | freecell-strips-typed | 9] 2017-12-01 15:04:27 +01:00
e005338f53
Update status: started benchmark job [fd-pb-e2 | ipc-2000 | freecell-strips-typed | 9] 2017-12-01 15:00:41 +01:00
7626ff000b
Update status: finished benchmark job [fd-pb-e2 | ipc-2000 | freecell-strips-typed | 8] 2017-12-01 15:00:33 +01:00
62ffa47c79
Update status: started benchmark job [fd-pb-e2 | ipc-2000 | freecell-strips-typed | 8] 2017-12-01 14:56:46 +01:00
a33e470022
Update status: finished benchmark job [fd-pb-e2 | ipc-2000 | freecell-strips-typed | 7] 2017-12-01 14:56:38 +01:00
b13e141969
Update status: started benchmark job [fd-pb-e2 | ipc-2000 | freecell-strips-typed | 7] 2017-12-01 14:52:51 +01:00
83ff5668f3
Update status: finished benchmark job [fd-pb-e2 | ipc-2000 | freecell-strips-typed | 6] 2017-12-01 14:52:43 +01:00
d639e85029
Update status: started benchmark job [fd-pb-e2 | ipc-2000 | freecell-strips-typed | 6] 2017-12-01 14:48:55 +01:00
6076b4296e
Update status: finished benchmark job [fd-pb-e2 | ipc-1998 | mystery-round-1-strips | 17] 2017-12-01 14:48:46 +01:00
522a9e7c2a
Update status: started benchmark job [fd-pb-e2 | ipc-1998 | mystery-round-1-strips | 17] 2017-12-01 14:44:46 +01:00
29746200dd
Update status: finished benchmark job [fd-pb-e2 | ipc-1998 | mystery-round-1-strips | 15] 2017-12-01 14:44:39 +01:00
6c7ef3c132
Update status: started benchmark job [fd-pb-e2 | ipc-1998 | mystery-round-1-strips | 15] 2017-12-01 14:40:57 +01:00
f2c36dd6d1
Update status: finished benchmark job [fd-pb-e2 | ipc-1998 | logistics-round-1-strips | 21] 2017-12-01 14:40:49 +01:00
5b6801145c
Update status: started benchmark job [fd-pb-e2 | ipc-1998 | logistics-round-1-strips | 21] 2017-12-01 14:37:20 +01:00