... trans. 296 s., depth=54, breadth=10 692 5)(1376256 states 2578827 trans. 299 s., depth=54, breadth=10 692 5) (2842624 states 57 696 63 trans. 699 s., depth=80, breadth=1 098 61)(2850816 states 5 791 131 ... states 17 797 84 trans. 205 s, depth=52, breadth =94 997 ) (98 3040 states 1 797 464 trans. 207 s, depth=52, breadth =94 997 ) (2703360 states 5 491 611 trans. 6 79 s, depth=80, breadth=106711)(2711552 states ... Communications Systems with SDL define verify_stats true(8 192 states 122 09 trans. 1 s, depth=23, breadth=1502)(16384 states 254 89 trans. 2 s, depth=26, breadth=2863) (97 4848 states 17 797 84 trans....