Starting CSP compiler
 Ready
/Started: 57 Finished: 51 Transitions: 100
Started: 113 Finished: 104 Transitions: 200
Started: 160 Finished: 156 Transitions: 300
Started: 217 Finished: 209 Transitions: 400
Started: 264 Finished: 261 Transitions: 500
Started: 317 Finished: 312 Transitions: 600
Started: 373 Finished: 365 Transitions: 700
Started: 421 Finished: 417 Transitions: 800
Started: 472 Finished: 469 Transitions: 900
Started: 525 Finished: 521 Transitions: 1000
Started: 581 Finished: 573 Transitions: 1100

Ready
Started: 601 Finished: 601 Transitions: 1151

SDD worked
true 
