Commit Graph

8618 Commits

Author SHA1 Message Date
048895989d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 22] 2017-11-28 02:31:14 +01:00
2b0f11df10
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 22] 2017-11-28 02:31:04 +01:00
51009e701c
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 22] 2017-11-28 02:30:51 +01:00
ebdf925a37
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 22] 2017-11-28 02:30:44 +01:00
5248dfd931
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 21] 2017-11-28 02:30:35 +01:00
43795f80dd
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 21] 2017-11-28 02:30:25 +01:00
bc642b6508
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 21] 2017-11-28 02:30:16 +01:00
14421a37ab
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 21] 2017-11-28 02:30:09 +01:00
87d9bf60b5
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 20] 2017-11-28 02:30:00 +01:00
14e607599e
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 20] 2017-11-28 02:29:49 +01:00
e912ef7064
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 20] 2017-11-28 02:29:40 +01:00
f6d45fd800
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 20] 2017-11-28 02:29:34 +01:00
f17c662106
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 19] 2017-11-28 02:29:25 +01:00
1444c4950c
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 19] 2017-11-28 02:29:15 +01:00
4a2f0fd240
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 19] 2017-11-28 02:29:06 +01:00
577f5423cc
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 19] 2017-11-28 02:29:00 +01:00
be3da85022
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 18] 2017-11-28 02:28:51 +01:00
75667867af
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 18] 2017-11-28 02:28:40 +01:00
54b6edbc71
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 18] 2017-11-28 02:28:31 +01:00
4e78ef58cc
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 18] 2017-11-28 02:28:25 +01:00
065b0c0e5c
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 17] 2017-11-28 02:28:16 +01:00
e488b79266
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 17] 2017-11-28 02:28:06 +01:00
529e0ceba4
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 17] 2017-11-28 02:27:58 +01:00
df715865c9
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 17] 2017-11-28 02:27:51 +01:00
fdc5a8e935
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 16] 2017-11-28 02:27:42 +01:00
471b58a808
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 16] 2017-11-28 02:27:31 +01:00
f10d4a02f7
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 16] 2017-11-28 02:27:23 +01:00
19a870721c
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 16] 2017-11-28 02:27:16 +01:00
fa20600ae9
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 15] 2017-11-28 02:27:08 +01:00
386d65371b
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 15] 2017-11-28 02:26:58 +01:00
7a69c64734
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 15] 2017-11-28 02:26:49 +01:00
611c298bbc
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 15] 2017-11-28 02:26:42 +01:00
51cdd372f3
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 14] 2017-11-28 02:26:33 +01:00
7ee464da60
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 14] 2017-11-28 02:26:23 +01:00
7ca1e7f98b
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 14] 2017-11-28 02:26:14 +01:00
898c713bed
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 14] 2017-11-28 02:26:07 +01:00
bc9344a5f7
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 13] 2017-11-28 02:25:59 +01:00
b7b686966b
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 13] 2017-11-28 02:25:48 +01:00
6025f66caa
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 13] 2017-11-28 02:25:40 +01:00
6e21242979
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 13] 2017-11-28 02:25:33 +01:00
81704312d3
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 12] 2017-11-28 02:25:25 +01:00
04035b7bef
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 12] 2017-11-28 02:25:14 +01:00
e6a95b8f0d
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 12] 2017-11-28 02:25:05 +01:00
cc5fbc2e49
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 12] 2017-11-28 02:24:59 +01:00
e01a975dbd
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 11] 2017-11-28 02:24:50 +01:00
6beb640b24
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 11] 2017-11-28 02:24:40 +01:00
4144fe3a9d
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 11] 2017-11-28 02:24:31 +01:00
1d3d41ffb5
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 11] 2017-11-28 02:24:25 +01:00
e780eb100a
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 10] 2017-11-28 02:24:16 +01:00
6e6298f6ad
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 10] 2017-11-28 02:24:05 +01:00
bca43a14dc
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 10] 2017-11-28 02:23:57 +01:00
5e54fddd66
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 10] 2017-11-28 02:23:50 +01:00
325e45d5a5
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 9] 2017-11-28 02:23:42 +01:00
cacada60fb
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 9] 2017-11-28 02:23:32 +01:00
8ee91e12dc
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 9] 2017-11-28 02:23:23 +01:00
e9d48bc1db
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 9] 2017-11-28 02:23:16 +01:00
db6ab5f093
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 8] 2017-11-28 02:23:08 +01:00
69bb379279
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 8] 2017-11-28 02:22:57 +01:00
04bd232345
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 8] 2017-11-28 02:22:48 +01:00
3d2c0fb72d
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 8] 2017-11-28 02:22:42 +01:00
084c52fa51
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 7] 2017-11-28 02:22:33 +01:00
ac22e11cc9
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 7] 2017-11-28 02:22:23 +01:00
173da1cfb8
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 7] 2017-11-28 02:22:14 +01:00
06241b49ad
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 7] 2017-11-28 02:22:07 +01:00
00a413e6bf
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 6] 2017-11-28 02:21:59 +01:00
de63028176
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 6] 2017-11-28 02:21:48 +01:00
f97768319d
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 6] 2017-11-28 02:21:39 +01:00
5eec70c1c9
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 6] 2017-11-28 02:21:33 +01:00
5f803a5538
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 5] 2017-11-28 02:21:24 +01:00
abb6c699cc
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 5] 2017-11-28 02:21:14 +01:00
eef4bb7a93
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 5] 2017-11-28 02:21:05 +01:00
eca0a4fa86
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 5] 2017-11-28 02:20:59 +01:00
5fe7ffa03b
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 4] 2017-11-28 02:20:50 +01:00
b61e53da3d
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 4] 2017-11-28 02:20:39 +01:00
c594c8c385
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 4] 2017-11-28 02:20:30 +01:00
f0f04a1a9a
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 4] 2017-11-28 02:20:24 +01:00
3cc2c201e1
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 3] 2017-11-28 02:20:15 +01:00
b8aa39593e
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 3] 2017-11-28 02:20:05 +01:00
23cd3957f8
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 3] 2017-11-28 02:19:57 +01:00
4cce11bc0e
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 3] 2017-11-28 02:19:50 +01:00
69837c82a5
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 2] 2017-11-28 02:19:41 +01:00
fd7accf5df
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 2] 2017-11-28 02:19:31 +01:00
9bcaf982b4
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 2] 2017-11-28 02:19:22 +01:00
6a8252025f
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 2] 2017-11-28 02:19:16 +01:00
e3c4d5ee5e
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 1] 2017-11-28 02:19:07 +01:00
c1450d4a6b
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | movie-round-1-strips | 1] 2017-11-28 02:18:57 +01:00
2d662ce0b8
Update status: finished benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 1] 2017-11-28 02:18:48 +01:00
fc9b26a11f
Update status: started benchmark job [m-mpc | ipc-1998 | movie-round-1-strips | 1] 2017-11-28 02:18:41 +01:00
6531decc99
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 30] 2017-11-28 02:18:33 +01:00
cbf190e7f6
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 30] 2017-11-28 02:17:17 +01:00
26fca260ec
Update status: finished benchmark job [m-mpc | ipc-1998 | logistics-round-1-strips | 30] 2017-11-28 02:17:07 +01:00
170d839ae9
Update status: started benchmark job [m-mpc | ipc-1998 | logistics-round-1-strips | 30] 2017-11-28 02:01:59 +01:00
0bbc51f270
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 29] 2017-11-28 02:01:51 +01:00
9e2f41af91
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 29] 2017-11-28 02:00:30 +01:00
87b81e459c
Update status: finished benchmark job [m-mpc | ipc-1998 | logistics-round-1-strips | 29] 2017-11-28 02:00:17 +01:00
fd7e0b0034
Update status: started benchmark job [m-mpc | ipc-1998 | logistics-round-1-strips | 29] 2017-11-28 01:59:27 +01:00
3cc07c4979
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 28] 2017-11-28 01:59:19 +01:00
a045925310
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 28] 2017-11-28 01:54:51 +01:00
34581e32e6
Update status: benchmark runner exited 2017-11-28 01:54:11 +01:00
4bbd213b3a
Update status: finished benchmark job [m-mpc | ipc-1998 | logistics-round-1-strips | 28] 2017-11-28 01:54:05 +01:00
0dba30d94c
Update status: started benchmark job [m-mpc | ipc-1998 | logistics-round-1-strips | 28] 2017-11-28 01:38:57 +01:00
71c760e4e7
Update status: benchmark runner exited 2017-11-28 01:37:59 +01:00
83d42a2d99
Update status: started benchmark job [m-mpc | ipc-1998 | logistics-round-1-strips | 28] 2017-11-28 01:37:20 +01:00
5a5ba8535b
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 27] 2017-11-28 01:37:13 +01:00
a20624f70c
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 27] 2017-11-28 01:35:47 +01:00
c120a47046
Update status: finished benchmark job [m-mpc | ipc-1998 | logistics-round-1-strips | 27] 2017-11-28 01:35:40 +01:00
640b2227b4
Update status: started benchmark job [m-mpc | ipc-1998 | logistics-round-1-strips | 27] 2017-11-28 01:29:55 +01:00
956015c0e3
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 26] 2017-11-28 01:29:48 +01:00
db259abefa
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 26] 2017-11-28 01:27:44 +01:00
4ba43fdee5
Update status: finished benchmark job [m-mpc | ipc-1998 | logistics-round-1-strips | 26] 2017-11-28 01:27:37 +01:00
a2411a8941
Update status: started benchmark job [m-mpc | ipc-1998 | logistics-round-1-strips | 26] 2017-11-28 01:24:47 +01:00
b80aacaefd
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 25] 2017-11-28 01:24:40 +01:00
bc84fc9dfe
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 25] 2017-11-28 01:23:27 +01:00
d4373cd9bc
Update status: finished benchmark job [m-mpc | ipc-1998 | logistics-round-1-strips | 25] 2017-11-28 01:23:20 +01:00
988bf03647
Update status: started benchmark job [m-mpc | ipc-1998 | logistics-round-1-strips | 25] 2017-11-28 01:08:12 +01:00
49e75587c7
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 24] 2017-11-28 01:08:05 +01:00
a5981e8166
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 24] 2017-11-28 01:07:28 +01:00
9ffe3d7174
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 23] 2017-11-28 01:07:21 +01:00
53692c701a
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 23] 2017-11-28 01:07:05 +01:00
e0d69f2446
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 22] 2017-11-28 01:06:58 +01:00
9d025d44d9
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 22] 2017-11-28 01:05:22 +01:00
a7f3819fcc
Update status: finished benchmark job [m-mpc | ipc-1998 | logistics-round-1-strips | 22] 2017-11-28 01:05:15 +01:00
ed8b6eeb30
Update status: started benchmark job [m-mpc | ipc-1998 | logistics-round-1-strips | 22] 2017-11-28 01:01:58 +01:00
5c263202c5
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 21] 2017-11-28 01:01:51 +01:00
31233e114f
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 21] 2017-11-28 01:01:16 +01:00
129c4f2c78
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 20] 2017-11-28 01:01:08 +01:00
6beeb2b9e5
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 20] 2017-11-28 01:00:28 +01:00
2de1288693
Update status: finished benchmark job [m-mpc | ipc-1998 | logistics-round-1-strips | 20] 2017-11-28 01:00:21 +01:00
494927afd1
Update status: started benchmark job [m-mpc | ipc-1998 | logistics-round-1-strips | 20] 2017-11-28 00:58:37 +01:00
19147d6104
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 19] 2017-11-28 00:58:30 +01:00
56db3bd26b
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 19] 2017-11-28 00:57:59 +01:00
8dad82a705
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 18] 2017-11-28 00:57:52 +01:00
3fd2943800
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 18] 2017-11-28 00:57:07 +01:00
0f34df9d86
Update status: finished benchmark job [m-mpc | ipc-1998 | logistics-round-1-strips | 18] 2017-11-28 00:57:00 +01:00
e2371b6654
Update status: started benchmark job [m-mpc | ipc-1998 | logistics-round-1-strips | 18] 2017-11-28 00:56:33 +01:00
4cd157164b
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 17] 2017-11-28 00:56:26 +01:00
0bdaae2c93
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 17] 2017-11-28 00:56:10 +01:00
8f9cf43717
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 16] 2017-11-28 00:56:02 +01:00
d2282b0da9
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 16] 2017-11-28 00:55:44 +01:00
a785f5289b
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 15] 2017-11-28 00:55:37 +01:00
6c57b8e30b
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 15] 2017-11-28 00:55:23 +01:00
6e0808851d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 14] 2017-11-28 00:55:16 +01:00
d521fa4991
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 14] 2017-11-28 00:54:51 +01:00
7f74a063de
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 13] 2017-11-28 00:54:44 +01:00
1d1a0c1044
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 13] 2017-11-28 00:54:06 +01:00
f07197bdae
Update status: benchmark runner exited 2017-11-28 00:52:02 +01:00
0b20d64781
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 13] 2017-11-28 00:51:36 +01:00
cc0a16aa01
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 12] 2017-11-28 00:51:29 +01:00
112ba33375
Update status: started benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 12] 2017-11-28 00:51:03 +01:00
81b322b7ea
Update status: finished benchmark job [gc-ta1-tt1 | ipc-1998 | logistics-round-1-strips | 11] 2017-11-28 00:50:56 +01:00