Starting CSP compiler
 Ready
/Started: 53 Finished: 50 Transitions: 100
Started: 105 Finished: 103 Transitions: 200
Started: 160 Finished: 156 Transitions: 300
Started: 212 Finished: 208 Transitions: 400
Started: 265 Finished: 259 Transitions: 500
Started: 321 Finished: 312 Transitions: 600
Started: 369 Finished: 364 Transitions: 700
Started: 420 Finished: 417 Transitions: 800
Started: 472 Finished: 468 Transitions: 900
Started: 524 Finished: 521 Transitions: 1000
Started: 581 Finished: 573 Transitions: 1100
Started: 629 Finished: 625 Transitions: 1200
Started: 685 Finished: 677 Transitions: 1300
Started: 733 Finished: 729 Transitions: 1400
Started: 785 Finished: 781 Transitions: 1500
Started: 837 Finished: 833 Transitions: 1600
Started: 893 Finished: 885 Transitions: 1700
Started: 941 Finished: 938 Transitions: 1800
Started: 993 Finished: 990 Transitions: 1900
Started: 1045 Finished: 1042 Transitions: 2000
Started: 1097 Finished: 1094 Transitions: 2100
Started: 1153 Finished: 1146 Transitions: 2200
Started: 1201 Finished: 1198 Transitions: 2300
Started: 1257 Finished: 1250 Transitions: 2400
Started: 1305 Finished: 1302 Transitions: 2500
Started: 1361 Finished: 1355 Transitions: 2600
Started: 1409 Finished: 1407 Transitions: 2700
Started: 1464 Finished: 1460 Transitions: 2800
Started: 1516 Finished: 1513 Transitions: 2900
Started: 1573 Finished: 1564 Transitions: 3000
Started: 1621 Finished: 1616 Transitions: 3100
Started: 1673 Finished: 1669 Transitions: 3200
Started: 1725 Finished: 1721 Transitions: 3300
Started: 1781 Finished: 1774 Transitions: 3400
Started: 1829 Finished: 1825 Transitions: 3500
Started: 1881 Finished: 1877 Transitions: 3600
Started: 1933 Finished: 1929 Transitions: 3700
Started: 1985 Finished: 1982 Transitions: 3800
Started: 2037 Finished: 2034 Transitions: 3900
Started: 2093 Finished: 2086 Transitions: 4000
Started: 2141 Finished: 2139 Transitions: 4100
Started: 2197 Finished: 2190 Transitions: 4200
Started: 2245 Finished: 2242 Transitions: 4300
Started: 2297 Finished: 2295 Transitions: 4400
Started: 2349 Finished: 2347 Transitions: 4500
Started: 2401 Finished: 2399 Transitions: 4600

Ready
Started: 2401 Finished: 2401 Transitions: 4601

SDD worked
true 
