Starting CSP compiler
 Ready
/Started: 97 Finished: 35 Transitions: 100
Started: 200 Finished: 69 Transitions: 200
Started: 253 Finished: 113 Transitions: 300
Started: 291 Finished: 155 Transitions: 400
Started: 354 Finished: 196 Transitions: 500
Started: 374 Finished: 240 Transitions: 600
Started: 408 Finished: 281 Transitions: 700
Started: 434 Finished: 329 Transitions: 800
Started: 468 Finished: 372 Transitions: 900
Started: 491 Finished: 416 Transitions: 1000
Started: 500 Finished: 460 Transitions: 1100
Started: 513 Finished: 503 Transitions: 1200

Ready
Started: 521 Finished: 521 Transitions: 1241

SDD worked
true 
