1.1 Basic statistics

The number of problems is \(25828\).

Number of problems solved and verified is \(23613\) [\(91.424\%\)].

Number of problems failed to solve is \(2215\) [\(8.576\%\)].