m1, …, mN
N
mi
YES
NO
1000 ms 256 Mb Rules for program design and list of errors in automatic problem checking