add reporting of 'solved' criterion