adding solver verification data