********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:1070
Total Transitions:1373
Time Used:1,7693436s
Estimated Memory Used:8802,06KB