********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:5567 Total Transitions:7171 Time Used:8,9956495s Estimated Memory Used:10884,74KB