********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:33716
Total Transitions:43471
Time Used:56,3167233s
Estimated Memory Used:14197,444KB