Starting CSP compiler
 Ready
/Started: 37 Finished: 32 Transitions: 100
Started: 299 Finished: 68 Transitions: 200
Started: 398 Finished: 101 Transitions: 300
Started: 491 Finished: 135 Transitions: 400
Started: 597 Finished: 168 Transitions: 500
Started: 690 Finished: 201 Transitions: 600
Started: 789 Finished: 235 Transitions: 700
Started: 883 Finished: 268 Transitions: 800
Started: 982 Finished: 301 Transitions: 900
Started: 1075 Finished: 335 Transitions: 1000
Started: 1172 Finished: 368 Transitions: 1100
Started: 1268 Finished: 401 Transitions: 1200
Started: 1361 Finished: 435 Transitions: 1300
Started: 1467 Finished: 468 Transitions: 1400
Started: 1560 Finished: 501 Transitions: 1500
Started: 1659 Finished: 535 Transitions: 1600
Started: 1753 Finished: 568 Transitions: 1700
Started: 1852 Finished: 601 Transitions: 1800
Started: 2000 Finished: 639 Transitions: 1900
Started: 2084 Finished: 682 Transitions: 2000
Started: 2117 Finished: 726 Transitions: 2100
Started: 2157 Finished: 772 Transitions: 2200
Started: 2188 Finished: 817 Transitions: 2300
Started: 2220 Finished: 862 Transitions: 2400
Started: 2264 Finished: 904 Transitions: 2500
Started: 2358 Finished: 937 Transitions: 2600
Started: 2443 Finished: 980 Transitions: 2700
Started: 2483 Finished: 1025 Transitions: 2800
Started: 2515 Finished: 1070 Transitions: 2900
Started: 2546 Finished: 1116 Transitions: 3000
Started: 2577 Finished: 1161 Transitions: 3100
Started: 2606 Finished: 1206 Transitions: 3200
Started: 2632 Finished: 1248 Transitions: 3300
Started: 2664 Finished: 1291 Transitions: 3400
Started: 2691 Finished: 1334 Transitions: 3500
Started: 2717 Finished: 1377 Transitions: 3600
Started: 2799 Finished: 1409 Transitions: 3700
Started: 2895 Finished: 1439 Transitions: 3800
Started: 2930 Finished: 1479 Transitions: 3900
Started: 2956 Finished: 1522 Transitions: 4000
Started: 2982 Finished: 1565 Transitions: 4100
Started: 3016 Finished: 1607 Transitions: 4200
Started: 3041 Finished: 1651 Transitions: 4300
Started: 3068 Finished: 1693 Transitions: 4400
Started: 3094 Finished: 1737 Transitions: 4500
Started: 3126 Finished: 1779 Transitions: 4600
Started: 3162 Finished: 1820 Transitions: 4700
Started: 3252 Finished: 1850 Transitions: 4800
Started: 3332 Finished: 1882 Transitions: 4900
Started: 3364 Finished: 1925 Transitions: 5000
Started: 3391 Finished: 1968 Transitions: 5100
Started: 3424 Finished: 2010 Transitions: 5200
Started: 3450 Finished: 2053 Transitions: 5300
Started: 3470 Finished: 2097 Transitions: 5400
Started: 3503 Finished: 2139 Transitions: 5500
Started: 3528 Finished: 2183 Transitions: 5600
Started: 3561 Finished: 2225 Transitions: 5700
Started: 3621 Finished: 2260 Transitions: 5800
Started: 3717 Finished: 2290 Transitions: 5900
Started: 3768 Finished: 2327 Transitions: 6000
Started: 3794 Finished: 2371 Transitions: 6100
Started: 3820 Finished: 2414 Transitions: 6200
Started: 3854 Finished: 2455 Transitions: 6300
Started: 3880 Finished: 2499 Transitions: 6400
Started: 3906 Finished: 2542 Transitions: 6500
Started: 3938 Finished: 2584 Transitions: 6600
Started: 3964 Finished: 2627 Transitions: 6700
Started: 3990 Finished: 2671 Transitions: 6800
Started: 4080 Finished: 2701 Transitions: 6900
Started: 4170 Finished: 2731 Transitions: 7000
Started: 4203 Finished: 2773 Transitions: 7100
Started: 4228 Finished: 2817 Transitions: 7200
Started: 4256 Finished: 2859 Transitions: 7300
Started: 4289 Finished: 2901 Transitions: 7400
Started: 4314 Finished: 2944 Transitions: 7500
Started: 4340 Finished: 2988 Transitions: 7600
Started: 4373 Finished: 3030 Transitions: 7700
Started: 4400 Finished: 3072 Transitions: 7800
Started: 4443 Finished: 3112 Transitions: 7900
Started: 4533 Finished: 3142 Transitions: 8000
Started: 4606 Finished: 3176 Transitions: 8100
Started: 4638 Finished: 3218 Transitions: 8200
Started: 4666 Finished: 3260 Transitions: 8300
Started: 4692 Finished: 3304 Transitions: 8400
Started: 4724 Finished: 3346 Transitions: 8500
Started: 4750 Finished: 3389 Transitions: 8600
Started: 4776 Finished: 3432 Transitions: 8700
Started: 4802 Finished: 3475 Transitions: 8800
Started: 4834 Finished: 3518 Transitions: 8900
Started: 4901 Finished: 3553 Transitions: 9000
Started: 4997 Finished: 3583 Transitions: 9100
Started: 5040 Finished: 3622 Transitions: 9200
Started: 5074 Finished: 3663 Transitions: 9300
Started: 5100 Finished: 3706 Transitions: 9400
Started: 5126 Finished: 3750 Transitions: 9500
Started: 5152 Finished: 3792 Transitions: 9600
Started: 5184 Finished: 3835 Transitions: 9700
Started: 5211 Finished: 3878 Transitions: 9800
Started: 5237 Finished: 3921 Transitions: 9900
Started: 5264 Finished: 3964 Transitions: 10000
Started: 5354 Finished: 3994 Transitions: 10100
Started: 5450 Finished: 4023 Transitions: 10200
Started: 5470 Finished: 4067 Transitions: 10300
Started: 5503 Finished: 4109 Transitions: 10400
Started: 5536 Finished: 4151 Transitions: 10500
Started: 5562 Finished: 4194 Transitions: 10600
Started: 5588 Finished: 4237 Transitions: 10700
Started: 5614 Finished: 4281 Transitions: 10800
Started: 5646 Finished: 4323 Transitions: 10900
Started: 5672 Finished: 4366 Transitions: 11000
Started: 5722 Finished: 4406 Transitions: 11100
Started: 5813 Finished: 4438 Transitions: 11200
Started: 5908 Finished: 4471 Transitions: 11300
Started: 6000 Finished: 4504 Transitions: 11400
Started: 6053 Finished: 4542 Transitions: 11500
Started: 6078 Finished: 4589 Transitions: 11600
Started: 6109 Finished: 4633 Transitions: 11700
Started: 6132 Finished: 4680 Transitions: 11800
Started: 6164 Finished: 4724 Transitions: 11900
Started: 6186 Finished: 4771 Transitions: 12000
Started: 6209 Finished: 4819 Transitions: 12100
Started: 6245 Finished: 4861 Transitions: 12200
Started: 6268 Finished: 4908 Transitions: 12300
Started: 6299 Finished: 4954 Transitions: 12400
Started: 6330 Finished: 4998 Transitions: 12500
Started: 6353 Finished: 5046 Transitions: 12600
Started: 6386 Finished: 5089 Transitions: 12700
Started: 6395 Finished: 5135 Transitions: 12800
Started: 6406 Finished: 5177 Transitions: 12900
Started: 6417 Finished: 5218 Transitions: 13000
Started: 6427 Finished: 5260 Transitions: 13100
Started: 6437 Finished: 5303 Transitions: 13200
Started: 6447 Finished: 5345 Transitions: 13300
Started: 6457 Finished: 5387 Transitions: 13400
Started: 6467 Finished: 5429 Transitions: 13500
Started: 6477 Finished: 5472 Transitions: 13600
Started: 6487 Finished: 5513 Transitions: 13700
Started: 6498 Finished: 5556 Transitions: 13800
Started: 6507 Finished: 5598 Transitions: 13900
Started: 6517 Finished: 5640 Transitions: 14000
Started: 6528 Finished: 5682 Transitions: 14100
Started: 6539 Finished: 5724 Transitions: 14200
Started: 6547 Finished: 5767 Transitions: 14300
Started: 6558 Finished: 5809 Transitions: 14400
Started: 6569 Finished: 5850 Transitions: 14500
Started: 6579 Finished: 5892 Transitions: 14600
Started: 6589 Finished: 5935 Transitions: 14700
Started: 6599 Finished: 5977 Transitions: 14800
Started: 6609 Finished: 6019 Transitions: 14900
Started: 6619 Finished: 6061 Transitions: 15000
Started: 6629 Finished: 6104 Transitions: 15100
Started: 6639 Finished: 6145 Transitions: 15200
Started: 6650 Finished: 6188 Transitions: 15300
Started: 6659 Finished: 6230 Transitions: 15400
Started: 6669 Finished: 6272 Transitions: 15500
Started: 6680 Finished: 6314 Transitions: 15600
Started: 6691 Finished: 6356 Transitions: 15700
Started: 6699 Finished: 6399 Transitions: 15800
Started: 6710 Finished: 6441 Transitions: 15900
Started: 6721 Finished: 6482 Transitions: 16000
Started: 6731 Finished: 6524 Transitions: 16100
Started: 6739 Finished: 6570 Transitions: 16200
Started: 6749 Finished: 6615 Transitions: 16300
Started: 6759 Finished: 6660 Transitions: 16400
Started: 6769 Finished: 6705 Transitions: 16500
Started: 6786 Finished: 6747 Transitions: 16600
Started: 6803 Finished: 6788 Transitions: 16700
Started: 6831 Finished: 6826 Transitions: 16800
Started: 6863 Finished: 6858 Transitions: 16900

Ready
Started: 6881 Finished: 6881 Transitions: 16961

SDD worked
true 
