We verify functional a posteriori error estimate proposed by S. Repin for an obstacle problem. A new benchmark with known analytical solution in 2D is constructed. Numerical approximation is obtained by the finite element ...