Starting CSP compiler
 Ready
/Started: 84 Finished: 32 Transitions: 100
Started: 113 Finished: 76 Transitions: 200
Started: 132 Finished: 113 Transitions: 300
Started: 188 Finished: 152 Transitions: 400
Started: 215 Finished: 175 Transitions: 500
Started: 233 Finished: 203 Transitions: 600
Started: 248 Finished: 228 Transitions: 700
Started: 288 Finished: 253 Transitions: 800
Started: 320 Finished: 287 Transitions: 900
Started: 343 Finished: 322 Transitions: 1000
Started: 380 Finished: 346 Transitions: 1100
Started: 404 Finished: 361 Transitions: 1200
Started: 417 Finished: 385 Transitions: 1300
Started: 431 Finished: 408 Transitions: 1400
Started: 448 Finished: 427 Transitions: 1500
Started: 471 Finished: 454 Transitions: 1600
Started: 489 Finished: 476 Transitions: 1700
Started: 501 Finished: 492 Transitions: 1800
Started: 523 Finished: 512 Transitions: 1900
Started: 588 Finished: 551 Transitions: 2000
Started: 624 Finished: 594 Transitions: 2100
Started: 648 Finished: 624 Transitions: 2200
Started: 704 Finished: 669 Transitions: 2300
Started: 729 Finished: 694 Transitions: 2400
Started: 747 Finished: 720 Transitions: 2500
Started: 765 Finished: 743 Transitions: 2600
Started: 804 Finished: 769 Transitions: 2700
Started: 836 Finished: 803 Transitions: 2800
Started: 859 Finished: 835 Transitions: 2900
Started: 888 Finished: 864 Transitions: 3000
Started: 913 Finished: 882 Transitions: 3100
Started: 934 Finished: 902 Transitions: 3200
Started: 948 Finished: 923 Transitions: 3300
Started: 963 Finished: 943 Transitions: 3400
Started: 979 Finished: 966 Transitions: 3500
Started: 1001 Finished: 990 Transitions: 3600
Started: 1023 Finished: 1008 Transitions: 3700
Started: 1097 Finished: 1038 Transitions: 3800
Started: 1121 Finished: 1079 Transitions: 3900
Started: 1145 Finished: 1120 Transitions: 4000
Started: 1197 Finished: 1166 Transitions: 4100
Started: 1228 Finished: 1187 Transitions: 4200
Started: 1245 Finished: 1214 Transitions: 4300
Started: 1262 Finished: 1240 Transitions: 4400
Started: 1279 Finished: 1265 Transitions: 4500
Started: 1332 Finished: 1296 Transitions: 4600
Started: 1354 Finished: 1330 Transitions: 4700
Started: 1378 Finished: 1361 Transitions: 4800
Started: 1416 Finished: 1374 Transitions: 4900
Started: 1431 Finished: 1397 Transitions: 5000
Started: 1447 Finished: 1418 Transitions: 5100
Started: 1461 Finished: 1441 Transitions: 5200
Started: 1477 Finished: 1460 Transitions: 5300
Started: 1499 Finished: 1486 Transitions: 5400

Ready
Started: 1499 Finished: 1499 Transitions: 5438

false 
