El dataset presenta los datos de problemas (batería de problemas), así como los resultados de los mismos tras la aplicación de un modelo exacto de resolución.