x
y
W
G
Y
R
B
1000 ms 256 Mb Rules for program design and list of errors in automatic problem checking