Starting CSP compiler
 Ready
/Started: 37 Finished: 30 Transitions: 100
Started: 223 Finished: 68 Transitions: 200
Started: 316 Finished: 101 Transitions: 300
Started: 409 Finished: 135 Transitions: 400
Started: 509 Finished: 168 Transitions: 500
Started: 619 Finished: 208 Transitions: 600
Started: 651 Finished: 254 Transitions: 700
Started: 681 Finished: 300 Transitions: 800
Started: 750 Finished: 336 Transitions: 900
Started: 812 Finished: 380 Transitions: 1000
Started: 843 Finished: 425 Transitions: 1100
Started: 874 Finished: 468 Transitions: 1200
Started: 900 Finished: 512 Transitions: 1300
Started: 925 Finished: 556 Transitions: 1400
Started: 1013 Finished: 587 Transitions: 1500
Started: 1048 Finished: 627 Transitions: 1600
Started: 1075 Finished: 670 Transitions: 1700
Started: 1101 Finished: 713 Transitions: 1800
Started: 1127 Finished: 757 Transitions: 1900
Started: 1179 Finished: 794 Transitions: 2000
Started: 1249 Finished: 829 Transitions: 2100
Started: 1277 Finished: 871 Transitions: 2200
Started: 1302 Finished: 915 Transitions: 2300
Started: 1328 Finished: 958 Transitions: 2400
Started: 1355 Finished: 1001 Transitions: 2500
Started: 1446 Finished: 1034 Transitions: 2600
Started: 1526 Finished: 1069 Transitions: 2700
Started: 1558 Finished: 1111 Transitions: 2800
Started: 1589 Finished: 1155 Transitions: 2900
Started: 1612 Finished: 1203 Transitions: 3000
Started: 1635 Finished: 1250 Transitions: 3100
Started: 1671 Finished: 1293 Transitions: 3200
Started: 1694 Finished: 1340 Transitions: 3300
Started: 1711 Finished: 1385 Transitions: 3400
Started: 1722 Finished: 1427 Transitions: 3500
Started: 1731 Finished: 1468 Transitions: 3600
Started: 1741 Finished: 1511 Transitions: 3700
Started: 1751 Finished: 1553 Transitions: 3800
Started: 1761 Finished: 1595 Transitions: 3900
Started: 1771 Finished: 1637 Transitions: 4000
Started: 1779 Finished: 1679 Transitions: 4100
Started: 1789 Finished: 1724 Transitions: 4200
Started: 1800 Finished: 1770 Transitions: 4300
Started: 1817 Finished: 1811 Transitions: 4400

Ready
Started: 1841 Finished: 1841 Transitions: 4481

SDD worked
true 
