1.1 Basic statistics

The number of problems is \(27787\).

Number of problems solved and verified is \(25490\) [\(91.734\%\)].

Number of problems failed to solve is \(2297\) [\(8.266\%\)].