Starting CSP compiler
 Ready
/Started: 395 Finished: 35 Transitions: 100
Started: 495 Finished: 68 Transitions: 200
Started: 588 Finished: 101 Transitions: 300
Started: 687 Finished: 135 Transitions: 400
Started: 793 Finished: 168 Transitions: 500
Started: 886 Finished: 201 Transitions: 600
Started: 985 Finished: 235 Transitions: 700
Started: 1085 Finished: 268 Transitions: 800
Started: 1178 Finished: 301 Transitions: 900
Started: 1277 Finished: 335 Transitions: 1000
Started: 1377 Finished: 368 Transitions: 1100
Started: 1470 Finished: 401 Transitions: 1200
Started: 1569 Finished: 435 Transitions: 1300
Started: 1672 Finished: 468 Transitions: 1400
Started: 1768 Finished: 501 Transitions: 1500
Started: 1867 Finished: 535 Transitions: 1600
Started: 1961 Finished: 568 Transitions: 1700
Started: 2060 Finished: 601 Transitions: 1800
Started: 2159 Finished: 635 Transitions: 1900
Started: 2253 Finished: 668 Transitions: 2000
Started: 2352 Finished: 701 Transitions: 2100
Started: 2451 Finished: 735 Transitions: 2200
Started: 2551 Finished: 768 Transitions: 2300
Started: 2650 Finished: 801 Transitions: 2400
Started: 2749 Finished: 835 Transitions: 2500
Started: 2843 Finished: 868 Transitions: 2600
Started: 2942 Finished: 901 Transitions: 2700
Started: 3038 Finished: 935 Transitions: 2800
Started: 3135 Finished: 968 Transitions: 2900
Started: 3234 Finished: 1001 Transitions: 3000
Started: 3327 Finished: 1035 Transitions: 3100
Started: 3433 Finished: 1068 Transitions: 3200
Started: 3532 Finished: 1101 Transitions: 3300
Started: 3625 Finished: 1135 Transitions: 3400
Started: 3725 Finished: 1168 Transitions: 3500
Started: 3824 Finished: 1201 Transitions: 3600
Started: 3917 Finished: 1235 Transitions: 3700
Started: 4017 Finished: 1268 Transitions: 3800
Started: 4116 Finished: 1301 Transitions: 3900
Started: 4293 Finished: 1341 Transitions: 4000
Started: 4377 Finished: 1384 Transitions: 4100
Started: 4430 Finished: 1428 Transitions: 4200
Started: 4461 Finished: 1474 Transitions: 4300
Started: 4492 Finished: 1519 Transitions: 4400
Started: 4523 Finished: 1565 Transitions: 4500
Started: 4554 Finished: 1611 Transitions: 4600
Started: 4594 Finished: 1657 Transitions: 4700
Started: 4625 Finished: 1702 Transitions: 4800
Started: 4692 Finished: 1737 Transitions: 4900
Started: 4784 Finished: 1769 Transitions: 5000
Started: 4868 Finished: 1812 Transitions: 5100
Started: 4952 Finished: 1854 Transitions: 5200
Started: 4983 Finished: 1900 Transitions: 5300
Started: 5014 Finished: 1945 Transitions: 5400
Started: 5045 Finished: 1991 Transitions: 5500
Started: 5076 Finished: 2037 Transitions: 5600
Started: 5116 Finished: 2083 Transitions: 5700
Started: 5147 Finished: 2128 Transitions: 5800
Started: 5177 Finished: 2172 Transitions: 5900
Started: 5203 Finished: 2215 Transitions: 6000
Started: 5228 Finished: 2259 Transitions: 6100
Started: 5261 Finished: 2301 Transitions: 6200
Started: 5288 Finished: 2343 Transitions: 6300
Started: 5314 Finished: 2387 Transitions: 6400
Started: 5346 Finished: 2429 Transitions: 6500
Started: 5413 Finished: 2464 Transitions: 6600
Started: 5509 Finished: 2494 Transitions: 6700
Started: 5599 Finished: 2524 Transitions: 6800
Started: 5642 Finished: 2562 Transitions: 6900
Started: 5674 Finished: 2605 Transitions: 7000
Started: 5701 Finished: 2648 Transitions: 7100
Started: 5727 Finished: 2691 Transitions: 7200
Started: 5760 Finished: 2733 Transitions: 7300
Started: 5780 Finished: 2777 Transitions: 7400
Started: 5813 Finished: 2819 Transitions: 7500
Started: 5838 Finished: 2863 Transitions: 7600
Started: 5871 Finished: 2905 Transitions: 7700
Started: 5898 Finished: 2947 Transitions: 7800
Started: 5924 Finished: 2991 Transitions: 7900
Started: 5956 Finished: 3033 Transitions: 8000
Started: 5982 Finished: 3076 Transitions: 8100
Started: 6058 Finished: 3109 Transitions: 8200
Started: 6154 Finished: 3139 Transitions: 8300
Started: 6244 Finished: 3169 Transitions: 8400
Started: 6284 Finished: 3209 Transitions: 8500
Started: 6311 Finished: 3252 Transitions: 8600
Started: 6337 Finished: 3295 Transitions: 8700
Started: 6370 Finished: 3337 Transitions: 8800
Started: 6396 Finished: 3380 Transitions: 8900
Started: 6423 Finished: 3423 Transitions: 9000
Started: 6448 Finished: 3467 Transitions: 9100
Started: 6481 Finished: 3509 Transitions: 9200
Started: 6508 Finished: 3551 Transitions: 9300
Started: 6534 Finished: 3595 Transitions: 9400
Started: 6566 Finished: 3637 Transitions: 9500
Started: 6592 Finished: 3680 Transitions: 9600
Started: 6618 Finished: 3724 Transitions: 9700
Started: 6708 Finished: 3754 Transitions: 9800
Started: 6804 Finished: 3784 Transitions: 9900
Started: 6894 Finished: 3814 Transitions: 10000
Started: 6921 Finished: 3856 Transitions: 10100
Started: 6947 Finished: 3899 Transitions: 10200
Started: 6980 Finished: 3941 Transitions: 10300
Started: 7006 Finished: 3984 Transitions: 10400
Started: 7039 Finished: 4027 Transitions: 10500
Started: 7066 Finished: 4069 Transitions: 10600
Started: 7091 Finished: 4113 Transitions: 10700
Started: 7118 Finished: 4155 Transitions: 10800
Started: 7144 Finished: 4199 Transitions: 10900
Started: 7176 Finished: 4241 Transitions: 11000
Started: 7202 Finished: 4284 Transitions: 11100
Started: 7234 Finished: 4327 Transitions: 11200
Started: 7263 Finished: 4369 Transitions: 11300
Started: 7353 Finished: 4399 Transitions: 11400
Started: 7449 Finished: 4429 Transitions: 11500
Started: 7532 Finished: 4460 Transitions: 11600
Started: 7557 Finished: 4503 Transitions: 11700
Started: 7590 Finished: 4545 Transitions: 11800
Started: 7616 Finished: 4588 Transitions: 11900
Started: 7642 Finished: 4631 Transitions: 12000
Started: 7676 Finished: 4673 Transitions: 12100
Started: 7702 Finished: 4716 Transitions: 12200
Started: 7728 Finished: 4759 Transitions: 12300
Started: 7754 Finished: 4803 Transitions: 12400
Started: 7786 Finished: 4845 Transitions: 12500
Started: 7812 Finished: 4888 Transitions: 12600
Started: 7844 Finished: 4931 Transitions: 12700
Started: 7871 Finished: 4974 Transitions: 12800
Started: 7914 Finished: 5013 Transitions: 12900
Started: 8004 Finished: 5043 Transitions: 13000
Started: 8100 Finished: 5073 Transitions: 13100
Started: 8167 Finished: 5107 Transitions: 13200
Started: 8200 Finished: 5149 Transitions: 13300
Started: 8226 Finished: 5192 Transitions: 13400
Started: 8252 Finished: 5235 Transitions: 13500
Started: 8286 Finished: 5277 Transitions: 13600
Started: 8312 Finished: 5320 Transitions: 13700
Started: 8338 Finished: 5363 Transitions: 13800
Started: 8364 Finished: 5407 Transitions: 13900
Started: 8396 Finished: 5449 Transitions: 14000
Started: 8422 Finished: 5492 Transitions: 14100
Started: 8454 Finished: 5535 Transitions: 14200
Started: 8481 Finished: 5578 Transitions: 14300
Started: 8507 Finished: 5621 Transitions: 14400
Started: 8565 Finished: 5658 Transitions: 14500
Started: 8655 Finished: 5688 Transitions: 14600
Started: 8751 Finished: 5718 Transitions: 14700
Started: 8810 Finished: 5753 Transitions: 14800
Started: 8836 Finished: 5796 Transitions: 14900
Started: 8862 Finished: 5839 Transitions: 15000
Started: 8888 Finished: 5883 Transitions: 15100
Started: 8922 Finished: 5924 Transitions: 15200
Started: 8948 Finished: 5967 Transitions: 15300
Started: 8980 Finished: 6010 Transitions: 15400
Started: 9006 Finished: 6053 Transitions: 15500
Started: 9032 Finished: 6096 Transitions: 15600
Started: 9064 Finished: 6139 Transitions: 15700
Started: 9091 Finished: 6182 Transitions: 15800
Started: 9117 Finished: 6225 Transitions: 15900
Started: 9150 Finished: 6267 Transitions: 16000
Started: 9210 Finished: 6303 Transitions: 16100
Started: 9300 Finished: 6333 Transitions: 16200
Started: 9396 Finished: 6363 Transitions: 16300
Started: 9446 Finished: 6400 Transitions: 16400
Started: 9472 Finished: 6443 Transitions: 16500
Started: 9504 Finished: 6486 Transitions: 16600
Started: 9532 Finished: 6528 Transitions: 16700
Started: 9558 Finished: 6571 Transitions: 16800
Started: 9590 Finished: 6614 Transitions: 16900
Started: 9616 Finished: 6658 Transitions: 17000
Started: 9642 Finished: 6700 Transitions: 17100
Started: 9674 Finished: 6743 Transitions: 17200
Started: 9701 Finished: 6786 Transitions: 17300
Started: 9727 Finished: 6829 Transitions: 17400
Started: 9760 Finished: 6871 Transitions: 17500
Started: 9786 Finished: 6914 Transitions: 17600
Started: 9860 Finished: 6948 Transitions: 17700
Started: 9950 Finished: 6978 Transitions: 17800
Started: 10046 Finished: 7008 Transitions: 17900
Started: 10082 Finished: 7047 Transitions: 18000
Started: 10114 Finished: 7090 Transitions: 18100
Started: 10147 Finished: 7133 Transitions: 18200
Started: 10168 Finished: 7175 Transitions: 18300
Started: 10200 Finished: 7218 Transitions: 18400
Started: 10226 Finished: 7262 Transitions: 18500
Started: 10252 Finished: 7304 Transitions: 18600
Started: 10284 Finished: 7347 Transitions: 18700
Started: 10311 Finished: 7390 Transitions: 18800
Started: 10337 Finished: 7433 Transitions: 18900
Started: 10370 Finished: 7475 Transitions: 19000
Started: 10396 Finished: 7518 Transitions: 19100
Started: 10422 Finished: 7561 Transitions: 19200
Started: 10505 Finished: 7593 Transitions: 19300
Started: 10595 Finished: 7623 Transitions: 19400
Started: 10691 Finished: 7653 Transitions: 19500
Started: 10724 Finished: 7694 Transitions: 19600
Started: 10750 Finished: 7738 Transitions: 19700
Started: 10778 Finished: 7779 Transitions: 19800
Started: 10810 Finished: 7822 Transitions: 19900
Started: 10836 Finished: 7866 Transitions: 20000
Started: 10869 Finished: 7908 Transitions: 20100
Started: 10894 Finished: 7951 Transitions: 20200
Started: 10921 Finished: 7994 Transitions: 20300
Started: 10947 Finished: 8037 Transitions: 20400
Started: 10980 Finished: 8079 Transitions: 20500
Started: 11006 Finished: 8122 Transitions: 20600
Started: 11032 Finished: 8165 Transitions: 20700
Started: 11066 Finished: 8207 Transitions: 20800
Started: 11156 Finished: 8237 Transitions: 20900
Started: 11246 Finished: 8267 Transitions: 21000
Started: 11334 Finished: 8299 Transitions: 21100
Started: 11360 Finished: 8342 Transitions: 21200
Started: 11394 Finished: 8383 Transitions: 21300
Started: 11420 Finished: 8426 Transitions: 21400
Started: 11446 Finished: 8470 Transitions: 21500
Started: 11479 Finished: 8512 Transitions: 21600
Started: 11506 Finished: 8554 Transitions: 21700
Started: 11531 Finished: 8598 Transitions: 21800
Started: 11557 Finished: 8641 Transitions: 21900
Started: 11590 Finished: 8683 Transitions: 22000
Started: 11616 Finished: 8726 Transitions: 22100
Started: 11642 Finished: 8769 Transitions: 22200
Started: 11674 Finished: 8812 Transitions: 22300
Started: 11717 Finished: 8852 Transitions: 22400
Started: 11807 Finished: 8882 Transitions: 22500
Started: 11897 Finished: 8912 Transitions: 22600
Started: 11970 Finished: 8946 Transitions: 22700
Started: 11997 Finished: 8988 Transitions: 22800
Started: 12030 Finished: 9030 Transitions: 22900
Started: 12056 Finished: 9074 Transitions: 23000
Started: 12089 Finished: 9116 Transitions: 23100
Started: 12116 Finished: 9158 Transitions: 23200
Started: 12142 Finished: 9202 Transitions: 23300
Started: 12167 Finished: 9245 Transitions: 23400
Started: 12200 Finished: 9287 Transitions: 23500
Started: 12226 Finished: 9330 Transitions: 23600
Started: 12252 Finished: 9373 Transitions: 23700
Started: 12284 Finished: 9416 Transitions: 23800
Started: 12310 Finished: 9460 Transitions: 23900
Started: 12362 Finished: 9497 Transitions: 24000
Started: 12452 Finished: 9527 Transitions: 24100
Started: 12542 Finished: 9557 Transitions: 24200
Started: 12613 Finished: 9592 Transitions: 24300
Started: 12640 Finished: 9634 Transitions: 24400
Started: 12666 Finished: 9678 Transitions: 24500
Started: 12699 Finished: 9720 Transitions: 24600
Started: 12726 Finished: 9762 Transitions: 24700
Started: 12752 Finished: 9806 Transitions: 24800
Started: 12784 Finished: 9848 Transitions: 24900
Started: 12810 Finished: 9891 Transitions: 25000
Started: 12836 Finished: 9934 Transitions: 25100
Started: 12862 Finished: 9977 Transitions: 25200
Started: 12894 Finished: 10020 Transitions: 25300
Started: 12920 Finished: 10064 Transitions: 25400
Started: 12953 Finished: 10106 Transitions: 25500
Started: 13011 Finished: 10143 Transitions: 25600
Started: 13102 Finished: 10177 Transitions: 25700
Started: 13198 Finished: 10209 Transitions: 25800
Started: 13288 Finished: 10242 Transitions: 25900
Started: 13385 Finished: 10275 Transitions: 26000
Started: 13470 Finished: 10310 Transitions: 26100
Started: 13502 Finished: 10352 Transitions: 26200
Started: 13533 Finished: 10396 Transitions: 26300
Started: 13556 Finished: 10444 Transitions: 26400
Started: 13588 Finished: 10487 Transitions: 26500
Started: 13610 Finished: 10534 Transitions: 26600
Started: 13646 Finished: 10576 Transitions: 26700
Started: 13666 Finished: 10625 Transitions: 26800
Started: 13700 Finished: 10668 Transitions: 26900
Started: 13730 Finished: 10714 Transitions: 27000
Started: 13754 Finished: 10761 Transitions: 27100
Started: 13777 Finished: 10808 Transitions: 27200
Started: 13809 Finished: 10851 Transitions: 27300
Started: 13831 Finished: 10900 Transitions: 27400
Started: 13867 Finished: 10943 Transitions: 27500
Started: 13890 Finished: 10990 Transitions: 27600
Started: 13921 Finished: 11035 Transitions: 27700
Started: 13952 Finished: 11079 Transitions: 27800
Started: 13975 Finished: 11126 Transitions: 27900
Started: 14007 Finished: 11170 Transitions: 28000
Started: 14017 Finished: 11216 Transitions: 28100
Started: 14028 Finished: 11258 Transitions: 28200
Started: 14039 Finished: 11300 Transitions: 28300
Started: 14049 Finished: 11342 Transitions: 28400
Started: 14059 Finished: 11385 Transitions: 28500
Started: 14069 Finished: 11426 Transitions: 28600
Started: 14079 Finished: 11468 Transitions: 28700
Started: 14089 Finished: 11511 Transitions: 28800
Started: 14101 Finished: 11553 Transitions: 28900
Started: 14111 Finished: 11595 Transitions: 29000
Started: 14121 Finished: 11637 Transitions: 29100
Started: 14131 Finished: 11679 Transitions: 29200
Started: 14141 Finished: 11722 Transitions: 29300
Started: 14151 Finished: 11763 Transitions: 29400
Started: 14162 Finished: 11806 Transitions: 29500
Started: 14173 Finished: 11848 Transitions: 29600
Started: 14183 Finished: 11890 Transitions: 29700
Started: 14192 Finished: 11932 Transitions: 29800
Started: 14203 Finished: 11974 Transitions: 29900
Started: 14213 Finished: 12016 Transitions: 30000
Started: 14223 Finished: 12059 Transitions: 30100
Started: 14234 Finished: 12101 Transitions: 30200
Started: 14243 Finished: 12142 Transitions: 30300
Started: 14253 Finished: 12185 Transitions: 30400
Started: 14265 Finished: 12227 Transitions: 30500
Started: 14275 Finished: 12269 Transitions: 30600
Started: 14285 Finished: 12311 Transitions: 30700
Started: 14295 Finished: 12354 Transitions: 30800
Started: 14305 Finished: 12396 Transitions: 30900
Started: 14315 Finished: 12437 Transitions: 31000
Started: 14326 Finished: 12480 Transitions: 31100
Started: 14337 Finished: 12522 Transitions: 31200
Started: 14347 Finished: 12564 Transitions: 31300
Started: 14357 Finished: 12606 Transitions: 31400
Started: 14367 Finished: 12648 Transitions: 31500
Started: 14377 Finished: 12690 Transitions: 31600
Started: 14387 Finished: 12733 Transitions: 31700
Started: 14398 Finished: 12775 Transitions: 31800
Started: 14409 Finished: 12816 Transitions: 31900
Started: 14417 Finished: 12859 Transitions: 32000
Started: 14429 Finished: 12901 Transitions: 32100
Started: 14439 Finished: 12943 Transitions: 32200
Started: 14449 Finished: 12985 Transitions: 32300
Started: 14459 Finished: 13028 Transitions: 32400
Started: 14471 Finished: 13069 Transitions: 32500
Started: 14479 Finished: 13111 Transitions: 32600
Started: 14490 Finished: 13154 Transitions: 32700
Started: 14501 Finished: 13196 Transitions: 32800
Started: 14511 Finished: 13238 Transitions: 32900
Started: 14521 Finished: 13280 Transitions: 33000
Started: 14532 Finished: 13322 Transitions: 33100
Started: 14541 Finished: 13364 Transitions: 33200
Started: 14551 Finished: 13407 Transitions: 33300
Started: 14562 Finished: 13449 Transitions: 33400
Started: 14573 Finished: 13490 Transitions: 33500
Started: 14583 Finished: 13532 Transitions: 33600
Started: 14593 Finished: 13575 Transitions: 33700
Started: 14603 Finished: 13617 Transitions: 33800
Started: 14613 Finished: 13659 Transitions: 33900
Started: 14623 Finished: 13702 Transitions: 34000
Started: 14635 Finished: 13743 Transitions: 34100
Started: 14645 Finished: 13786 Transitions: 34200
Started: 14654 Finished: 13828 Transitions: 34300
Started: 14665 Finished: 13870 Transitions: 34400
Started: 14675 Finished: 13912 Transitions: 34500
Started: 14685 Finished: 13954 Transitions: 34600
Started: 14696 Finished: 13996 Transitions: 34700
Started: 14707 Finished: 14038 Transitions: 34800
Started: 14715 Finished: 14081 Transitions: 34900
Started: 14726 Finished: 14123 Transitions: 35000
Started: 14737 Finished: 14164 Transitions: 35100
Started: 14747 Finished: 14206 Transitions: 35200
Started: 14757 Finished: 14249 Transitions: 35300
Started: 14767 Finished: 14291 Transitions: 35400
Started: 14777 Finished: 14333 Transitions: 35500
Started: 14787 Finished: 14376 Transitions: 35600
Started: 14799 Finished: 14417 Transitions: 35700
Started: 14809 Finished: 14460 Transitions: 35800
Started: 14819 Finished: 14501 Transitions: 35900
Started: 14828 Finished: 14546 Transitions: 36000
Started: 14838 Finished: 14591 Transitions: 36100
Started: 14848 Finished: 14636 Transitions: 36200
Started: 14858 Finished: 14681 Transitions: 36300
Started: 14868 Finished: 14726 Transitions: 36400
Started: 14878 Finished: 14771 Transitions: 36500
Started: 14892 Finished: 14814 Transitions: 36600
Started: 14909 Finished: 14855 Transitions: 36700
Started: 14925 Finished: 14897 Transitions: 36800
Started: 14941 Finished: 14939 Transitions: 36900
Started: 14977 Finished: 14972 Transitions: 37000
Started: 15011 Finished: 15006 Transitions: 37100
Started: 15043 Finished: 15038 Transitions: 37200
Started: 15077 Finished: 15072 Transitions: 37300
Started: 15109 Finished: 15106 Transitions: 37400

Ready
Started: 15121 Finished: 15121 Transitions: 37441

java.io.IOException: Bad file format
	at Deadlock.Proc.read(Proc.java:29)
	at Deadlock.Network.read(Network.java:83)
	at Deadlock.CommandLine.main(CommandLine.java:14)
Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 0
	at Deadlock.Sorting.Purge(Sorting.java:44)
	at Deadlock.NetworkAnalyser.CommunicationGraph(NetworkAnalyser.java:92)
	at Deadlock.NetworkAnalyser.StatePairs(NetworkAnalyser.java:103)
	at Deadlock.NetworkAnalyser.SDD(NetworkAnalyser.java:118)
	at Deadlock.Network.useSDD(Network.java:185)
	at Deadlock.CommandLine.main(CommandLine.java:21)
false 
