Starting CSP compiler
 Ready
/Started: 53 Finished: 51 Transitions: 100
Started: 109 Finished: 103 Transitions: 200
Started: 161 Finished: 156 Transitions: 300
Started: 217 Finished: 209 Transitions: 400
Started: 265 Finished: 262 Transitions: 500
Started: 321 Finished: 313 Transitions: 600
Started: 369 Finished: 365 Transitions: 700
Started: 425 Finished: 418 Transitions: 800
Started: 477 Finished: 470 Transitions: 900
Started: 529 Finished: 522 Transitions: 1000
Started: 581 Finished: 574 Transitions: 1100
Started: 629 Finished: 627 Transitions: 1200
Started: 685 Finished: 679 Transitions: 1300
Started: 737 Finished: 731 Transitions: 1400
Started: 788 Finished: 784 Transitions: 1500
Started: 840 Finished: 836 Transitions: 1600
Started: 897 Finished: 888 Transitions: 1700
Started: 949 Finished: 940 Transitions: 1800
Started: 996 Finished: 992 Transitions: 1900
Started: 1049 Finished: 1043 Transitions: 2000
Started: 1101 Finished: 1095 Transitions: 2100
Started: 1152 Finished: 1148 Transitions: 2200
Started: 1209 Finished: 1200 Transitions: 2300
Started: 1256 Finished: 1252 Transitions: 2400
Started: 1313 Finished: 1304 Transitions: 2500
Started: 1360 Finished: 1356 Transitions: 2600
Started: 1417 Finished: 1409 Transitions: 2700
Started: 1465 Finished: 1461 Transitions: 2800
Started: 1517 Finished: 1513 Transitions: 2900
Started: 1573 Finished: 1565 Transitions: 3000
Started: 1621 Finished: 1617 Transitions: 3100
Started: 1673 Finished: 1669 Transitions: 3200
Started: 1725 Finished: 1721 Transitions: 3300
Started: 1781 Finished: 1772 Transitions: 3400
Started: 1829 Finished: 1825 Transitions: 3500
Started: 1885 Finished: 1877 Transitions: 3600
Started: 1933 Finished: 1929 Transitions: 3700
Started: 1985 Finished: 1981 Transitions: 3800
Started: 2041 Finished: 2034 Transitions: 3900
Started: 2093 Finished: 2085 Transitions: 4000
Started: 2141 Finished: 2138 Transitions: 4100
Started: 2193 Finished: 2190 Transitions: 4200
Started: 2245 Finished: 2243 Transitions: 4300
Started: 2301 Finished: 2295 Transitions: 4400
Started: 2352 Finished: 2348 Transitions: 4500
Started: 2401 Finished: 2399 Transitions: 4600
Started: 2457 Finished: 2451 Transitions: 4700
Started: 2505 Finished: 2503 Transitions: 4800
Started: 2561 Finished: 2556 Transitions: 4900
Started: 2612 Finished: 2608 Transitions: 5000
Started: 2664 Finished: 2660 Transitions: 5100
Started: 2716 Finished: 2712 Transitions: 5200
Started: 2768 Finished: 2764 Transitions: 5300
Started: 2825 Finished: 2817 Transitions: 5400
Started: 2872 Finished: 2869 Transitions: 5500
Started: 2925 Finished: 2921 Transitions: 5600
Started: 2981 Finished: 2973 Transitions: 5700
Started: 3029 Finished: 3025 Transitions: 5800
Started: 3080 Finished: 3077 Transitions: 5900
Started: 3137 Finished: 3129 Transitions: 6000
Started: 3189 Finished: 3181 Transitions: 6100
Started: 3237 Finished: 3233 Transitions: 6200
Started: 3289 Finished: 3286 Transitions: 6300
Started: 3341 Finished: 3338 Transitions: 6400
Started: 3397 Finished: 3390 Transitions: 6500
Started: 3445 Finished: 3442 Transitions: 6600
Started: 3501 Finished: 3495 Transitions: 6700
Started: 3552 Finished: 3548 Transitions: 6800
Started: 3604 Finished: 3600 Transitions: 6900
Started: 3653 Finished: 3651 Transitions: 7000
Started: 3709 Finished: 3703 Transitions: 7100
Started: 3761 Finished: 3755 Transitions: 7200
Started: 3809 Finished: 3806 Transitions: 7300
Started: 3865 Finished: 3859 Transitions: 7400
Started: 3916 Finished: 3912 Transitions: 7500
Started: 3968 Finished: 3964 Transitions: 7600
Started: 4021 Finished: 4016 Transitions: 7700
Started: 4077 Finished: 4069 Transitions: 7800
Started: 4124 Finished: 4121 Transitions: 7900
Started: 4177 Finished: 4173 Transitions: 8000
Started: 4229 Finished: 4225 Transitions: 8100
Started: 4285 Finished: 4277 Transitions: 8200
Started: 4333 Finished: 4329 Transitions: 8300
Started: 4389 Finished: 4382 Transitions: 8400
Started: 4437 Finished: 4433 Transitions: 8500
Started: 4489 Finished: 4485 Transitions: 8600
Started: 4541 Finished: 4538 Transitions: 8700
Started: 4597 Finished: 4590 Transitions: 8800
Started: 4649 Finished: 4643 Transitions: 8900
Started: 4697 Finished: 4695 Transitions: 9000
Started: 4749 Finished: 4747 Transitions: 9100
Started: 4805 Finished: 4799 Transitions: 9200
Started: 4856 Finished: 4852 Transitions: 9300
Started: 4905 Finished: 4903 Transitions: 9400
Started: 4957 Finished: 4955 Transitions: 9500
Started: 5013 Finished: 5008 Transitions: 9600
Started: 5064 Finished: 5061 Transitions: 9700
Started: 5116 Finished: 5112 Transitions: 9800
Started: 5169 Finished: 5164 Transitions: 9900
Started: 5221 Finished: 5215 Transitions: 10000
Started: 5277 Finished: 5268 Transitions: 10100
Started: 5325 Finished: 5319 Transitions: 10200
Started: 5381 Finished: 5372 Transitions: 10300
Started: 5433 Finished: 5424 Transitions: 10400
Started: 5485 Finished: 5477 Transitions: 10500
Started: 5537 Finished: 5530 Transitions: 10600
Started: 5585 Finished: 5582 Transitions: 10700
Started: 5637 Finished: 5634 Transitions: 10800
Started: 5689 Finished: 5686 Transitions: 10900
Started: 5741 Finished: 5738 Transitions: 11000
Started: 5797 Finished: 5790 Transitions: 11100
Started: 5845 Finished: 5841 Transitions: 11200
Started: 5901 Finished: 5894 Transitions: 11300
Started: 5949 Finished: 5946 Transitions: 11400
Started: 6001 Finished: 5999 Transitions: 11500

Ready
Started: 6001 Finished: 6001 Transitions: 11501

SDD worked
true 
