To evaluate our tool, we run several experiments. In our experiments we compare our global algorithm, our local algorithm using our various search strategies

In order to check if a CGS satisfies an ATL property, CGAAL encodes the problem as an extended dependency graph and finds a fixed-point assignment