Un solver puede resolver perfectamente el problema equivocado
VeriSimpl usa consultas simplificadas para detectar formulaciones de optimización que se ejecutan pero no representan la petición. Sus métricas mejoran, aunque la verificación conserva puntos ciegos cuando modelo y revisor comparten el mismo error.