Starting CSP compiler
 Ready
/Started: 56 Finished: 52 Transitions: 100
Started: 105 Finished: 103 Transitions: 200

Ready
Started: 121 Finished: 121 Transitions: 231

SDD worked
true 
