Common Criteria Tab

The tab is shown below :

In "Graph size limits" :

In "Evaluation limits" :

In "Analyze Strategy", the user can choose the algorithm that is used for the creation of the tree :