Starting CSP compiler
 Ready
/Started: 56 Finished: 52 Transitions: 100
Started: 113 Finished: 104 Transitions: 200
Started: 161 Finished: 155 Transitions: 300
Started: 209 Finished: 206 Transitions: 400
Started: 261 Finished: 258 Transitions: 500
Started: 313 Finished: 309 Transitions: 600
Started: 365 Finished: 362 Transitions: 700
Started: 425 Finished: 416 Transitions: 800
Started: 472 Finished: 468 Transitions: 900
Started: 525 Finished: 519 Transitions: 1000
Started: 577 Finished: 572 Transitions: 1100
Started: 633 Finished: 624 Transitions: 1200
Started: 680 Finished: 677 Transitions: 1300
Started: 732 Finished: 728 Transitions: 1400
Started: 789 Finished: 780 Transitions: 1500
Started: 841 Finished: 833 Transitions: 1600
Started: 889 Finished: 885 Transitions: 1700
Started: 945 Finished: 937 Transitions: 1800
Started: 993 Finished: 989 Transitions: 1900
Started: 1045 Finished: 1041 Transitions: 2000
Started: 1097 Finished: 1094 Transitions: 2100
Started: 1149 Finished: 1146 Transitions: 2200
Started: 1201 Finished: 1199 Transitions: 2300

Ready
Started: 1201 Finished: 1201 Transitions: 2301

SDD worked
true 
