Properties automatic identification

In EpODE the following informations about the problem can be provided: Example for the system B1.