1.1 Basic statistics

The number of problems is \(25828\).

Number of problems solved and verified is \(23610\) [\(91.412\%\)].

Number of problems failed to solve is \(2218\) [\(8.588\%\)].