Commit Graph

613 Commits

Author SHA1 Message Date
82266f8cea
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 49] 2018-02-01 21:30:03 +01:00
ae25c7bf12
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 48] 2018-02-01 21:29:59 +01:00
9571591e6e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 48] 2018-02-01 21:29:19 +01:00
6310af6bb6
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 47] 2018-02-01 21:29:14 +01:00
1f735abe9e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 47] 2018-02-01 21:28:57 +01:00
760f848ab3
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 46] 2018-02-01 21:28:52 +01:00
9d1e99d5ad
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 46] 2018-02-01 21:27:47 +01:00
85192d2ded
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 45] 2018-02-01 21:27:42 +01:00
3b9642300f
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 45] 2018-02-01 21:26:52 +01:00
a30bd3373c
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 44] 2018-02-01 21:26:48 +01:00
ef59ac5843
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 44] 2018-02-01 21:26:33 +01:00
99afd9536d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 43] 2018-02-01 21:26:29 +01:00
87383a7b25
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 43] 2018-02-01 21:26:13 +01:00
adfa2404dc
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 42] 2018-02-01 21:26:09 +01:00
a9e3ec91b8
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 42] 2018-02-01 21:25:53 +01:00
27e7f9cf15
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 41] 2018-02-01 21:25:48 +01:00
97c0f5cdf1
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 41] 2018-02-01 21:25:26 +01:00
7e7b1c4eb1
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 40] 2018-02-01 21:25:21 +01:00
f5c4feda01
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 40] 2018-02-01 21:25:08 +01:00
ce284e459a
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 39] 2018-02-01 21:25:03 +01:00
5a7562e60b
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 39] 2018-02-01 21:24:49 +01:00
6844f48f27
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 38] 2018-02-01 21:24:44 +01:00
795e67883e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 38] 2018-02-01 21:24:24 +01:00
be2c474a89
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 37] 2018-02-01 21:24:20 +01:00
324de7f817
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 37] 2018-02-01 21:24:06 +01:00
b67c50e02e
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 36] 2018-02-01 21:24:02 +01:00
2e800921b4
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 36] 2018-02-01 21:23:49 +01:00
244761f690
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 35] 2018-02-01 21:23:45 +01:00
682fbc23d7
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 35] 2018-02-01 21:23:31 +01:00
61646af3d5
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 34] 2018-02-01 21:23:26 +01:00
2c849c99a9
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 34] 2018-02-01 21:23:06 +01:00
7ba65a389d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 33] 2018-02-01 21:23:01 +01:00
f9a3c94672
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 33] 2018-02-01 21:22:44 +01:00
1ba3be6e5d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 32] 2018-02-01 21:22:39 +01:00
29b0e3795f
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 32] 2018-02-01 21:22:27 +01:00
2019dd69c7
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 31] 2018-02-01 21:22:22 +01:00
f6cb96d25d
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 31] 2018-02-01 21:22:11 +01:00
1b1dc07564
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 30] 2018-02-01 21:22:06 +01:00
49123dd57e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 30] 2018-02-01 21:21:55 +01:00
519513818c
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 29] 2018-02-01 21:21:51 +01:00
5c0b8ff676
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 29] 2018-02-01 21:21:39 +01:00
41eb73617d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 28] 2018-02-01 21:21:35 +01:00
bc57c61787
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 28] 2018-02-01 21:21:24 +01:00
81faccf77c
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 27] 2018-02-01 21:21:19 +01:00
03bfb2db94
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 27] 2018-02-01 21:21:08 +01:00
b62bbe2901
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 26] 2018-02-01 21:21:03 +01:00
f764e5f57b
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 26] 2018-02-01 21:20:52 +01:00
8922ce1900
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 25] 2018-02-01 21:20:48 +01:00
3923993bd3
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 25] 2018-02-01 21:20:37 +01:00
87bef22b58
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 24] 2018-02-01 21:20:32 +01:00
d1a2e7a22e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 24] 2018-02-01 21:20:22 +01:00
fdc43d6abb
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 23] 2018-02-01 21:20:17 +01:00
da25287d69
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 23] 2018-02-01 21:20:07 +01:00
c31b354020
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 22] 2018-02-01 21:20:02 +01:00
a9cca13512
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 22] 2018-02-01 21:19:50 +01:00
f0e805d714
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 21] 2018-02-01 21:19:45 +01:00
f3aa911084
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 21] 2018-02-01 21:19:35 +01:00
56962db16d
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 20] 2018-02-01 21:19:30 +01:00
772849096e
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 20] 2018-02-01 21:19:20 +01:00
0699537b5e
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 19] 2018-02-01 21:19:15 +01:00
16990c014a
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 19] 2018-02-01 21:19:05 +01:00
7e2d19fbea
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 18] 2018-02-01 21:19:00 +01:00
9916f8cd73
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 18] 2018-02-01 21:18:51 +01:00
16337a2d72
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 17] 2018-02-01 21:18:46 +01:00
a4b4fa4f4d
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 17] 2018-02-01 21:18:36 +01:00
4231409470
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 16] 2018-02-01 21:18:31 +01:00
55d57378b2
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 16] 2018-02-01 21:18:21 +01:00
1fc7385ff8
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 15] 2018-02-01 21:18:17 +01:00
16592b3bd2
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 15] 2018-02-01 21:18:07 +01:00
a21fae5483
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 14] 2018-02-01 21:18:02 +01:00
d730a48818
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 14] 2018-02-01 21:17:52 +01:00
a343bb3e64
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 13] 2018-02-01 21:17:48 +01:00
e2af9807f4
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 13] 2018-02-01 21:17:38 +01:00
dc4b24af8f
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 12] 2018-02-01 21:17:33 +01:00
f1f92393ec
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 12] 2018-02-01 21:17:23 +01:00
f518312431
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 11] 2018-02-01 21:17:19 +01:00
1749f0aaa1
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 11] 2018-02-01 21:17:09 +01:00
d6fa488be0
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 10] 2018-02-01 21:17:04 +01:00
2470bc533b
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 10] 2018-02-01 21:16:54 +01:00
4764b94326
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 9] 2018-02-01 21:16:50 +01:00
01c9e68d6d
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 9] 2018-02-01 21:16:40 +01:00
3eaf7a003e
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 8] 2018-02-01 21:16:35 +01:00
5dbbdf0be3
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 8] 2018-02-01 21:16:26 +01:00
78deac51b4
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 7] 2018-02-01 21:16:21 +01:00
60743302a0
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 7] 2018-02-01 21:16:11 +01:00
e88800b3fc
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 6] 2018-02-01 21:16:07 +01:00
6a1305c4c7
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 6] 2018-02-01 21:15:57 +01:00
3acbe7c93f
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 5] 2018-02-01 21:15:53 +01:00
5b91f14cf9
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 5] 2018-02-01 21:15:43 +01:00
0a606b745b
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 4] 2018-02-01 21:15:39 +01:00
ecf6938068
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 4] 2018-02-01 21:15:28 +01:00
45f13f61f5
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 3] 2018-02-01 21:15:24 +01:00
8b9064f57f
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 3] 2018-02-01 21:15:14 +01:00
1f8576a395
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 2] 2018-02-01 21:15:10 +01:00
c72edd5f24
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 2] 2018-02-01 21:15:00 +01:00
f0bf9514b7
Update status: finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 1] 2018-02-01 21:14:56 +01:00
d555a4ad72
Update status: started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 1] 2018-02-01 21:14:40 +01:00
930607e51a
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 85] 2018-02-01 21:14:35 +01:00
6b827a8ed8
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 85] 2018-02-01 20:59:29 +01:00
41f5b74ef2
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 84] 2018-02-01 20:59:24 +01:00
06c13be325
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 84] 2018-02-01 20:44:18 +01:00
8d02753c13
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 83] 2018-02-01 20:44:13 +01:00
0d26acfb03
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 83] 2018-02-01 20:29:07 +01:00
319f3e8f46
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 82] 2018-02-01 20:29:02 +01:00
097570dbb5
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 82] 2018-02-01 20:13:56 +01:00
9bb5df8d21
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 81] 2018-02-01 20:13:51 +01:00
9789ac7165
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 81] 2018-02-01 19:58:45 +01:00
dfe36d5b52
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 80] 2018-02-01 19:58:40 +01:00
cb958fe032
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 80] 2018-02-01 19:43:34 +01:00
5bd03ab937
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 79] 2018-02-01 19:43:30 +01:00
a74837d868
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 79] 2018-02-01 19:28:23 +01:00
c809cf0b96
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 78] 2018-02-01 19:28:19 +01:00
ce3cd9441b
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 78] 2018-02-01 19:13:13 +01:00
cec885edf6
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 77] 2018-02-01 19:13:08 +01:00
a94e96a0d2
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 77] 2018-02-01 18:58:01 +01:00
4003055316
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 76] 2018-02-01 18:57:57 +01:00
bef34af37c
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 76] 2018-02-01 18:42:51 +01:00
a057b8cc02
Update status: benchmark runner exited 2018-02-01 18:42:24 +01:00
d5618004f8
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 76] 2018-02-01 18:41:44 +01:00
f0024222af
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 75] 2018-02-01 18:41:39 +01:00
af3f6a6eed
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 75] 2018-02-01 18:26:33 +01:00
59c9531ed2
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 74] 2018-02-01 18:26:28 +01:00
92f5babff2
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 74] 2018-02-01 18:11:22 +01:00
a0b644439a
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 73] 2018-02-01 18:11:18 +01:00
a5b92955be
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 73] 2018-02-01 17:56:11 +01:00
22fabf3416
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 72] 2018-02-01 17:56:07 +01:00
2b768f4b49
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 72] 2018-02-01 17:41:00 +01:00
29411dddbf
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 71] 2018-02-01 17:40:56 +01:00
e0a1cd849f
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 71] 2018-02-01 17:25:50 +01:00
19cc01d39d
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 70] 2018-02-01 17:25:45 +01:00
921d86420a
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 70] 2018-02-01 17:10:38 +01:00
22b2dae832
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 68] 2018-02-01 17:10:33 +01:00
4b5aa8357b
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 68] 2018-02-01 16:55:27 +01:00
760bceffcf
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 67] 2018-02-01 16:55:23 +01:00
b1e58ea085
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 67] 2018-02-01 16:40:15 +01:00
5e2335bf30
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 66] 2018-02-01 16:40:11 +01:00
d8cf139789
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 66] 2018-02-01 16:25:04 +01:00
a76c16829a
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 63] 2018-02-01 16:25:00 +01:00
ecd9972a01
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 63] 2018-02-01 16:09:53 +01:00
2f4c023ef9
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 62] 2018-02-01 16:09:48 +01:00
b9a3a1b4cb
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 62] 2018-02-01 15:54:42 +01:00
5f8bfdec3d
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 58] 2018-02-01 15:54:37 +01:00
f17d2cd8bf
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 58] 2018-02-01 15:39:31 +01:00
2e05eadd1c
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 57] 2018-02-01 15:39:27 +01:00
af30d45336
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 57] 2018-02-01 15:24:20 +01:00
01dacae428
Update status: finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 48] 2018-02-01 15:24:15 +01:00
61fdcc3442
Update status: started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 48] 2018-02-01 15:09:08 +01:00
5bdf9d127e
Update status: benchmark runner exited 2018-02-01 13:03:10 +01:00
84c8cc0860
Update status: finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 20] 2018-02-01 13:03:06 +01:00
2db8a76524
Update status: started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 20] 2018-02-01 12:47:59 +01:00