********Verification Result********
The Assertion (System() deadlockfree) is VALID.

********Verification Setting********
Admissible Behavior: All
Search Engine: First Witness Trace using Depth First Search
System Abstraction: False

********Verification Statistics********
Visited States:7216
Total Transitions:13360
Time Used:16,2712926s
Estimated Memory Used:10721,936KB