Commit Graph

9055 Commits

Author SHA1 Message Date
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
7e0559f15a
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 67] 2017-11-28 06:17:48 +01:00
995676930b
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 67] 2017-11-28 06:12:17 +01:00
712b991ce1
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 67] 2017-11-28 06:12:08 +01:00
9c7fc6f82f
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 67] 2017-11-28 06:11:32 +01:00
4d52328d0d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 66] 2017-11-28 06:11:22 +01:00
e490636ef0
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 66] 2017-11-28 06:10:47 +01:00
6a179042a9
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 66] 2017-11-28 06:10:33 +01:00
943478cb32
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 66] 2017-11-28 06:09:50 +01:00
f035e36f36
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 65] 2017-11-28 06:09:42 +01:00
e603fbd86b
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 65] 2017-11-28 06:06:32 +01:00
e370e712ad
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 65] 2017-11-28 06:06:23 +01:00
5bf45ba940
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 65] 2017-11-28 06:05:51 +01:00
4bf47ecb6a
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 64] 2017-11-28 06:05:41 +01:00
96f8936c57
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 64] 2017-11-28 06:04:49 +01:00
2c8e19ed7e
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 64] 2017-11-28 06:04:38 +01:00
c695bae5c5
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 64] 2017-11-28 06:03:57 +01:00
05999195d7
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 63] 2017-11-28 06:03:48 +01:00
0412cebffe
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 63] 2017-11-28 06:00:19 +01:00
e3c3ae84a7
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 63] 2017-11-28 06:00:10 +01:00
80596fc3d8
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 63] 2017-11-28 05:59:05 +01:00
c990999eb8
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 62] 2017-11-28 05:58:56 +01:00
7325bd0786
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 62] 2017-11-28 05:56:49 +01:00
7a57dfee34
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 62] 2017-11-28 05:56:40 +01:00
65a847bb21
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 62] 2017-11-28 05:55:11 +01:00
b3c19db5ba
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 61] 2017-11-28 05:55:02 +01:00
179656a723
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 61] 2017-11-28 05:53:20 +01:00
e3afd76804
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 61] 2017-11-28 05:53:11 +01:00
3f77818d8a
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 61] 2017-11-28 05:52:55 +01:00
d8ce290b9e
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 60] 2017-11-28 05:52:46 +01:00
9ee4bf773e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 60] 2017-11-28 05:51:07 +01:00
70bb6f06af
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 60] 2017-11-28 05:50:58 +01:00
312e8881aa
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 60] 2017-11-28 05:50:38 +01:00
318947d4ec
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 59] 2017-11-28 05:50:29 +01:00
d949c51804
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 59] 2017-11-28 05:48:19 +01:00
f1d08c58e2
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 59] 2017-11-28 05:48:10 +01:00
2a4ff5459a
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 59] 2017-11-28 05:47:59 +01:00
ebcfba19a1
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 58] 2017-11-28 05:47:50 +01:00
55dae7556a
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 58] 2017-11-28 05:46:32 +01:00
4300ddcb46
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 58] 2017-11-28 05:46:23 +01:00
6dd09bad56
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 58] 2017-11-28 05:45:49 +01:00
37257ee5c8
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 57] 2017-11-28 05:45:40 +01:00
6e30554796
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 57] 2017-11-28 05:43:05 +01:00
b38903411e
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 57] 2017-11-28 05:42:56 +01:00
7a1862f5f9
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 57] 2017-11-28 05:42:18 +01:00
3280f1f97e
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 56] 2017-11-28 05:42:09 +01:00
c86a8d223e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 56] 2017-11-28 05:41:39 +01:00
d013c966a6
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 56] 2017-11-28 05:41:30 +01:00
c6894a861e
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 56] 2017-11-28 05:41:09 +01:00
befbc2af8f
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 55] 2017-11-28 05:41:00 +01:00
0093f9d235
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 55] 2017-11-28 05:39:12 +01:00
298e2a442f
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 55] 2017-11-28 05:39:03 +01:00
0657538ba2
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 55] 2017-11-28 05:38:42 +01:00
ebf4e3f9be
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 54] 2017-11-28 05:38:33 +01:00
7ab22987c2
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 54] 2017-11-28 05:37:52 +01:00
34dfb4734f
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 54] 2017-11-28 05:37:43 +01:00
ca1d83a88e
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 54] 2017-11-28 05:37:24 +01:00
04d2d8e994
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 53] 2017-11-28 05:37:15 +01:00
8a2d568187
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 53] 2017-11-28 05:34:46 +01:00
f2395c2499
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 53] 2017-11-28 05:34:37 +01:00
8741aff464
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 53] 2017-11-28 05:34:16 +01:00
58efe71117
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 52] 2017-11-28 05:34:07 +01:00
d94f383fd0
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 52] 2017-11-28 05:33:15 +01:00
68f8ee81c8
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 52] 2017-11-28 05:33:06 +01:00
e1fb95cdae
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 52] 2017-11-28 05:32:55 +01:00
1c49a4c4fb
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 51] 2017-11-28 05:32:46 +01:00
e4e0e5694a
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 51] 2017-11-28 05:31:43 +01:00
44038845a4
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 51] 2017-11-28 05:31:34 +01:00
ed1d23cc37
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 51] 2017-11-28 05:31:09 +01:00
83de5244b9
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 50] 2017-11-28 05:31:01 +01:00
9d9ab657c4
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 50] 2017-11-28 05:29:48 +01:00
52b3a6c4f3
Update status: finished benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 50] 2017-11-28 05:29:39 +01:00
115a77ebaa
Update status: started benchmark job [m-mpc | ipc-2000 | blocks-strips-typed | 50] 2017-11-28 05:29:16 +01:00
9a4d788ba4
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 49] 2017-11-28 05:29:06 +01:00