1.1 Basic statistics

The number of problems is \(25828\).

Number of problems solved and verified is \(23617\) [\(91.440\%\)].

Number of problems failed to solve is \(2211\) [\(8.560\%\)].