Commit Graph

9128 Commits

Author SHA1 Message Date
7ea0518ed4
Update status: finished benchmark job [m-mp | ipc-1998 | grid-round-2-strips | 3] 2017-11-28 15:59:44 +01:00
f97705d5d2
Update status: started benchmark job [m-mp | ipc-1998 | grid-round-2-strips | 3] 2017-11-28 15:59:30 +01:00
00c5db0905
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 17] 2017-11-28 15:59:21 +01:00
13e7ff9924
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 17] 2017-11-28 15:58:43 +01:00
ee138459c1
Update status: finished benchmark job [m-mpc | ipc-2000 | freecell-strips-typed | 17] 2017-11-28 15:58:33 +01:00
3c5bdce58f
Update status: started benchmark job [m-mpc | ipc-2000 | freecell-strips-typed | 17] 2017-11-28 15:58:25 +01:00
6ca662836e
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 16] 2017-11-28 15:58:16 +01:00
e3f3e5a5cb
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | freecell-strips-typed | 16] 2017-11-28 15:57:36 +01:00
85861baeba
Update status: finished benchmark job [m-mpc | ipc-2000 | freecell-strips-typed | 16] 2017-11-28 15:57:27 +01:00
dac59c46af
Update status: started benchmark job [m-mpc | ipc-2000 | freecell-strips-typed | 16] 2017-11-28 15:57:18 +01:00
f12d3e5e2c
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 102] 2017-11-28 15:57:09 +01:00
cedc80bc74
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 102] 2017-11-28 15:41:59 +01:00
99e4125479
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 102] 2017-11-28 15:41:50 +01:00
b1efe5e95d
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 102] 2017-11-28 15:26:43 +01:00
7c7b08c40c
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 101] 2017-11-28 15:26:33 +01:00
dc5cbef4f0
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 101] 2017-11-28 15:11:24 +01:00
ccf3933030
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 101] 2017-11-28 15:11:15 +01:00
edec845d11
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 101] 2017-11-28 14:56:07 +01:00
88423899c7
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 100] 2017-11-28 14:55:58 +01:00
76742c22b9
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 100] 2017-11-28 14:40:49 +01:00
ed3c6d1321
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 100] 2017-11-28 14:40:40 +01:00
455a3a62d3
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 100] 2017-11-28 14:25:32 +01:00
0c21299602
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 99] 2017-11-28 14:25:23 +01:00
bafca50d2e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 99] 2017-11-28 14:10:14 +01:00
6f7d60f7fb
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 99] 2017-11-28 14:10:05 +01:00
8df8fe0244
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 99] 2017-11-28 13:54:57 +01:00
4a9a09fc3f
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 98] 2017-11-28 13:54:48 +01:00
15414a71b6
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 98] 2017-11-28 13:39:39 +01:00
d9cdf8daad
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 98] 2017-11-28 13:39:25 +01:00
809b1fd035
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 98] 2017-11-28 13:38:41 +01:00
94955276d4
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 97] 2017-11-28 13:38:31 +01:00
53b8819fa1
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 97] 2017-11-28 13:24:04 +01:00
98ffe3534c
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 97] 2017-11-28 13:23:49 +01:00
32633eb183
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 97] 2017-11-28 13:23:07 +01:00
85bed8125e
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 96] 2017-11-28 13:22:58 +01:00
16bfa15905
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 96] 2017-11-28 13:09:22 +01:00
ead0fb72cd
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 96] 2017-11-28 13:09:08 +01:00
76998e6885
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 96] 2017-11-28 13:08:24 +01:00
ae7db14961
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 95] 2017-11-28 13:08:15 +01:00
1a4b268177
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 95] 2017-11-28 12:53:06 +01:00
6bbae6da97
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 95] 2017-11-28 12:52:52 +01:00
f1ab5511e4
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 95] 2017-11-28 12:52:09 +01:00
1bb64437b8
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 94] 2017-11-28 12:52:00 +01:00
92324ea1dc
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 94] 2017-11-28 12:48:08 +01:00
50fb45f951
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 94] 2017-11-28 12:47:59 +01:00
2447036796
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 94] 2017-11-28 12:32:51 +01:00
7207859f0d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 93] 2017-11-28 12:32:42 +01:00
a5393339ef
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 93] 2017-11-28 12:24:04 +01:00
762165739c
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 93] 2017-11-28 12:23:55 +01:00
b13b475506
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 93] 2017-11-28 12:21:45 +01:00
7178d5d63b
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 92] 2017-11-28 12:21:36 +01:00
94a9924f65
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 92] 2017-11-28 12:06:40 +01:00
9a10e645de
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 92] 2017-11-28 12:06:31 +01:00
c2d8ef3ed6
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 92] 2017-11-28 11:51:23 +01:00
899028f343
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 91] 2017-11-28 11:51:14 +01:00
0c03e2830e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 91] 2017-11-28 11:38:32 +01:00
2bf4b32298
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 91] 2017-11-28 11:38:23 +01:00
adab2f58cb
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 91] 2017-11-28 11:23:16 +01:00
a5f63a056b
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 90] 2017-11-28 11:23:06 +01:00
06e02dda74
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 90] 2017-11-28 11:07:57 +01:00
dcacc60e06
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 90] 2017-11-28 11:07:48 +01:00
27fbf1ab0f
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 90] 2017-11-28 10:52:40 +01:00
5b25b16525
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 89] 2017-11-28 10:52:31 +01:00
aa6ab077be
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 89] 2017-11-28 10:37:22 +01:00
04de67c0a1
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 89] 2017-11-28 10:37:13 +01:00
e476963740
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 89] 2017-11-28 10:22:05 +01:00
c40c472b2c
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 88] 2017-11-28 10:21:56 +01:00
eed08095ca
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 88] 2017-11-28 10:19:24 +01:00
37c1ead0cd
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 88] 2017-11-28 10:19:15 +01:00
99fd394a3b
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 88] 2017-11-28 10:17:02 +01:00
b7ebdf8251
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 87] 2017-11-28 10:16:53 +01:00
17d1b3f4a9
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 87] 2017-11-28 10:01:44 +01:00
20f413762b
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 87] 2017-11-28 10:01:35 +01:00
75a9ee7c22
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 87] 2017-11-28 09:56:05 +01:00
edca32e371
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 86] 2017-11-28 09:55:56 +01:00
303407ff91
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 86] 2017-11-28 09:54:54 +01:00
c2e34bacf0
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 86] 2017-11-28 09:54:45 +01:00
70d7656487
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 86] 2017-11-28 09:51:06 +01:00
9b25fa49dd
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 85] 2017-11-28 09:50:57 +01:00
860cf43cd4
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 85] 2017-11-28 09:41:33 +01:00
c19d343d17
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 85] 2017-11-28 09:41:23 +01:00
63a46fbbe0
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 85] 2017-11-28 09:32:16 +01:00
f9f354047d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 84] 2017-11-28 09:32:07 +01:00
933a52be2e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 84] 2017-11-28 09:18:01 +01:00
25fdbf0f56
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 84] 2017-11-28 09:17:51 +01:00
4ce62ab44e
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 84] 2017-11-28 09:16:57 +01:00
1ec7da4e42
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 83] 2017-11-28 09:16:48 +01:00
7b5c1cde20
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 83] 2017-11-28 09:04:18 +01:00
4a00e7b6a0
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 83] 2017-11-28 09:04:09 +01:00
4e8bb007a1
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 83] 2017-11-28 08:57:07 +01:00
99fcb27e62
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 82] 2017-11-28 08:56:58 +01:00
0a1a8f8619
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 82] 2017-11-28 08:53:14 +01:00
6a4745fc78
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 82] 2017-11-28 08:53:04 +01:00
db9cfb3feb
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 82] 2017-11-28 08:52:23 +01:00
f1f6ff2588
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 81] 2017-11-28 08:52:14 +01:00
e131a7404b
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 81] 2017-11-28 08:42:00 +01:00
4a9b60a23e
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 81] 2017-11-28 08:41:50 +01:00
6fe66b87cf
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 81] 2017-11-28 08:39:22 +01:00
8becb9d7b0
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 80] 2017-11-28 08:39:13 +01:00
408a6b92fe
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 80] 2017-11-28 08:32:30 +01:00
a06541567f
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 80] 2017-11-28 08:32:21 +01:00
87f60d02b5
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 80] 2017-11-28 08:30:39 +01:00
b26e77a46c
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 79] 2017-11-28 08:30:30 +01:00
a5cc5963b9
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 79] 2017-11-28 08:20:55 +01:00
495a7ec454
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 79] 2017-11-28 08:20:46 +01:00
8cecb1be39
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 79] 2017-11-28 08:10:57 +01:00
38d0f9ff6e
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 78] 2017-11-28 08:10:48 +01:00
9a144b69ca
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 78] 2017-11-28 08:02:19 +01:00
41b09d9e94
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 78] 2017-11-28 08:02:05 +01:00
1ab99a926f
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 78] 2017-11-28 08:01:22 +01:00
586df1692d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 77] 2017-11-28 08:01:13 +01:00
4bf7c04f51
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 77] 2017-11-28 07:57:59 +01:00
0882ab8322
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 77] 2017-11-28 07:57:50 +01:00
8bad005553
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 77] 2017-11-28 07:56:18 +01:00
8fa5fc92af
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 76] 2017-11-28 07:56:09 +01:00
22e37b74fe
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 76] 2017-11-28 07:48:02 +01:00
02c3b8f20e
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 76] 2017-11-28 07:47:53 +01:00
aa682c0d5e
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 76] 2017-11-28 07:32:45 +01:00
61c4425028
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 75] 2017-11-28 07:32:31 +01:00
7d4cca14e9
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 75] 2017-11-28 07:31:48 +01:00
c7b00c24b0
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 75] 2017-11-28 07:31:38 +01:00
7c09fb6352
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 75] 2017-11-28 07:22:21 +01:00
de8eb2edff
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 74] 2017-11-28 07:22:12 +01:00
30bae38ee7
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 74] 2017-11-28 07:16:22 +01:00
30bdd89612
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 74] 2017-11-28 07:16:13 +01:00
73fd09d17b
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 74] 2017-11-28 07:13:04 +01:00
ab9583993e
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 73] 2017-11-28 07:12:54 +01:00
f0e1ab5aa8
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 73] 2017-11-28 07:03:58 +01:00
761c18fffb
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 73] 2017-11-28 07:03:49 +01:00
c11c7cfc6c
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 73] 2017-11-28 07:02:14 +01:00
1e1f238aa2
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 72] 2017-11-28 07:02:05 +01:00
8c6a68ee07
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 72] 2017-11-28 06:56:40 +01:00
81c11bd2f1
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 72] 2017-11-28 06:56:31 +01:00
b010189d0b
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 72] 2017-11-28 06:41:24 +01:00
14db75a7dc
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 71] 2017-11-28 06:41:14 +01:00
8535705ec9
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 71] 2017-11-28 06:34:52 +01:00
f166271e70
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 71] 2017-11-28 06:34:43 +01:00
ca7e29119c
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 71] 2017-11-28 06:33:39 +01:00
d535f7374e
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 70] 2017-11-28 06:33:30 +01:00
4c3aef2426
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 70] 2017-11-28 06:26:53 +01:00
3fbde68271
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 70] 2017-11-28 06:26:44 +01:00
657eecbed1
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 70] 2017-11-28 06:26:16 +01:00
d525cded86
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 69] 2017-11-28 06:26:07 +01:00
0c71ed3328
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 69] 2017-11-28 06:24:56 +01:00
8e9aa3ea8f
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 69] 2017-11-28 06:24:47 +01:00
e382929ad2
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 69] 2017-11-28 06:24:18 +01:00
698e3c438f
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 68] 2017-11-28 06:24:09 +01:00
1ee3c3c432
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 68] 2017-11-28 06:18:56 +01:00
e14c143c66
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 68] 2017-11-28 06:18:42 +01:00
1d0ddf4569
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 68] 2017-11-28 06:17:57 +01:00