Starting CSP compiler
 Ready
/Started: 114 Finished: 37 Transitions: 100
Started: 152 Finished: 81 Transitions: 200
Started: 174 Finished: 128 Transitions: 300
Started: 197 Finished: 173 Transitions: 400
Started: 217 Finished: 213 Transitions: 500

Ready
Started: 217 Finished: 217 Transitions: 505

SDD worked
true 
