
*****************
New ms file ./ms 20 50 -s 80 -r 0.0 5000 

*****************
New processing of data generated by ./ms 20 50 -s 80 -r 0.0 5000 

5state20.20.1, 0
nodecount 64 edgecount 812 max permited edges  1026
12 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.2, 0
nodecount 88 edgecount 1195 max permited edges  1482
16 legal separators and 3 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.3, 0
nodecount 85 edgecount 1173 max permited edges  1425
19 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.4, 0
nodecount 95 edgecount 1443 max permited edges  1615
25 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  1 wallclock secs ( 0.00 usr  0.01 sys +  0.08 cusr  0.03 csys =  0.12 CPU)

5state20.20.5, 0
nodecount 91 edgecount 1404 max permited edges  1539
26 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.09 cusr  0.02 csys =  0.11 CPU)

5state20.20.6, 0
nodecount 89 edgecount 1195 max permited edges  1501
17 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.7, 0
nodecount 88 edgecount 1225 max permited edges  1482
19 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.06 cusr  0.02 csys =  0.09 CPU)

5state20.20.8, 0
nodecount 90 edgecount 1280 max permited edges  1520
20 legal separators and 2 illegal separators
5mppilp.8.lp must be solved
There are 4 crossing legal variables
There are 2 inequalities describing legal min seps crossing illegal min seps
There are 3 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.9, 0
nodecount 87 edgecount 1215 max permited edges  1463
21 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.10, 0
nodecount 78 edgecount 990 max permited edges  1292
14 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.11, 0
nodecount 91 edgecount 1350 max permited edges  1539
23 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.08 cusr  0.02 csys =  0.11 CPU)

5state20.20.12, 0
nodecount 93 edgecount 1397 max permited edges  1577
22 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.03 csys =  0.10 CPU)

5state20.20.13, 0
nodecount 84 edgecount 1191 max permited edges  1406
20 legal separators and 3 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  1 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.14, 0
nodecount 67 edgecount 868 max permited edges  1083
13 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.05 cusr  0.02 csys =  0.08 CPU)

5state20.20.15, 0
nodecount 82 edgecount 1095 max permited edges  1368
19 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.16, 0
nodecount 88 edgecount 1234 max permited edges  1482
16 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.17, 0
nodecount 85 edgecount 1195 max permited edges  1425
18 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.18, 0
nodecount 93 edgecount 1412 max permited edges  1577
25 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.08 cusr  0.02 csys =  0.11 CPU)

5state20.20.19, 0
nodecount 69 edgecount 854 max permited edges  1121
9 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.04 cusr  0.02 csys =  0.06 CPU)

5state20.20.20, 0
nodecount 87 edgecount 1209 max permited edges  1463
19 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.21, 0
nodecount 84 edgecount 1158 max permited edges  1406
14 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.22, 0
nodecount 89 edgecount 1207 max permited edges  1501
17 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  1 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.23, 0
nodecount 66 edgecount 841 max permited edges  1064
10 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.04 cusr  0.02 csys =  0.06 CPU)

5state20.20.24, 0
nodecount 56 edgecount 672 max permited edges  874
9 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.04 cusr  0.02 csys =  0.06 CPU)

5state20.20.25, 0
nodecount 85 edgecount 1276 max permited edges  1425
20 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.07 cusr  0.02 csys =  0.10 CPU)

5state20.20.26, 0
nodecount 93 edgecount 1404 max permited edges  1577
23 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.08 cusr  0.02 csys =  0.10 CPU)

5state20.20.27, 0
nodecount 87 edgecount 1268 max permited edges  1463
19 legal separators and 3 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.28, 0
nodecount 89 edgecount 1252 max permited edges  1501
22 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.03 csys =  0.10 CPU)

5state20.20.29, 0
nodecount 83 edgecount 1082 max permited edges  1387
18 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.05 cusr  0.02 csys =  0.08 CPU)

5state20.20.30, 0
nodecount 92 edgecount 1333 max permited edges  1558
23 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  1 wallclock secs ( 0.00 usr  0.00 sys +  0.08 cusr  0.02 csys =  0.10 CPU)

5state20.20.31, 0
nodecount 79 edgecount 1076 max permited edges  1311
18 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.32, 0
nodecount 80 edgecount 1091 max permited edges  1330
18 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.05 cusr  0.02 csys =  0.08 CPU)

5state20.20.33, 0
nodecount 92 edgecount 1364 max permited edges  1558
23 legal separators and 2 illegal separators
5mppilp.33.lp must be solved
There are 4 crossing legal variables
There are 2 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.08 cusr  0.02 csys =  0.10 CPU)

5state20.20.34, 0
nodecount 84 edgecount 1131 max permited edges  1406
13 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.35, 0
nodecount 82 edgecount 1169 max permited edges  1368
19 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.36, 0
nodecount 92 edgecount 1256 max permited edges  1558
20 legal separators and 3 illegal separators
5mppilp.36.lp must be solved
There are 4 crossing legal variables
There are 3 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.07 cusr  0.02 csys =  0.10 CPU)

5state20.20.37, 0
nodecount 90 edgecount 1310 max permited edges  1520
21 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.03 csys =  0.10 CPU)

5state20.20.38, 0
nodecount 91 edgecount 1283 max permited edges  1539
18 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.39, 0
nodecount 83 edgecount 1158 max permited edges  1387
21 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  1 wallclock secs ( 0.00 usr  0.01 sys +  0.07 cusr  0.02 csys =  0.10 CPU)

5state20.20.40, 0
nodecount 88 edgecount 1263 max permited edges  1482
19 legal separators and 1 illegal separators
5mppilp.40.lp must be solved
There are 3 crossing legal variables
There are 1 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.41, 0
nodecount 71 edgecount 909 max permited edges  1159
12 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.42, 0
nodecount 59 edgecount 706 max permited edges  931
8 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.04 cusr  0.02 csys =  0.06 CPU)

5state20.20.43, 0
nodecount 64 edgecount 797 max permited edges  1026
10 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.05 cusr  0.02 csys =  0.08 CPU)

5state20.20.44, 0
nodecount 94 edgecount 1426 max permited edges  1596
22 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.08 cusr  0.02 csys =  0.10 CPU)

5state20.20.45, 0
nodecount 79 edgecount 1044 max permited edges  1311
16 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.46, 0
nodecount 92 edgecount 1385 max permited edges  1558
20 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.07 cusr  0.02 csys =  0.10 CPU)

5state20.20.47, 0
nodecount 93 edgecount 1267 max permited edges  1577
21 legal separators and 1 illegal separators
5mppilp.47.lp must be solved
There are 5 crossing legal variables
There are 1 inequalities describing legal min seps crossing illegal min seps
There are 6 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.48, 0
nodecount 95 edgecount 1387 max permited edges  1615
22 legal separators and 4 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  1 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.49, 0
nodecount 90 edgecount 1312 max permited edges  1520
23 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.08 cusr  0.02 csys =  0.10 CPU)

5state20.20.50, 0
nodecount 88 edgecount 1198 max permited edges  1482
19 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.06 cusr  0.02 csys =  0.09 CPU)

*****************
New processing of data generated by ./ms 20 50 -s 80 -r 0.0 5000 

5state20.20.1, 0.1
nodecount 62 edgecount 760 max permited edges  988
12 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.04 cusr  0.02 csys =  0.06 CPU)

5state20.20.2, 0.1
nodecount 86 edgecount 1126 max permited edges  1444
16 legal separators and 8 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.06 cusr  0.02 csys =  0.09 CPU)

5state20.20.3, 0.1
nodecount 82 edgecount 1091 max permited edges  1368
18 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.4, 0.1
nodecount 92 edgecount 1323 max permited edges  1558
26 legal separators and 2 illegal separators
5mppilp.4.lp must be solved
There are 4 crossing legal variables
There are 2 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  1 wallclock secs ( 0.00 usr  0.00 sys +  0.08 cusr  0.02 csys =  0.10 CPU)

5state20.20.5, 0.1
nodecount 86 edgecount 1226 max permited edges  1444
29 legal separators and 4 illegal separators
5mppilp.5.lp must be solved
There are 7 crossing legal variables
There are 4 inequalities describing legal min seps crossing illegal min seps
There are 3 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.08 cusr  0.03 csys =  0.11 CPU)

5state20.20.6, 0.1
nodecount 87 edgecount 1110 max permited edges  1463
19 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.06 cusr  0.02 csys =  0.09 CPU)

5state20.20.7, 0.1
nodecount 83 edgecount 1093 max permited edges  1387
18 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.8, 0.1
nodecount 89 edgecount 1228 max permited edges  1501
23 legal separators and 2 illegal separators
5mppilp.8.lp must be solved
There are 4 crossing legal variables
There are 2 inequalities describing legal min seps crossing illegal min seps
There are 3 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.9, 0.1
nodecount 85 edgecount 1118 max permited edges  1425
23 legal separators and 1 illegal separators
5mppilp.9.lp must be solved
There are 3 crossing legal variables
There are 1 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.06 cusr  0.02 csys =  0.09 CPU)

5state20.20.10, 0.1
nodecount 77 edgecount 925 max permited edges  1273
14 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.11, 0.1
nodecount 87 edgecount 1213 max permited edges  1463
23 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.12, 0.1
nodecount 86 edgecount 1231 max permited edges  1444
23 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.13, 0.1
nodecount 80 edgecount 1073 max permited edges  1330
19 legal separators and 4 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  1 wallclock secs ( 0.00 usr  0.01 sys +  0.05 cusr  0.02 csys =  0.08 CPU)

5state20.20.14, 0.1
nodecount 66 edgecount 821 max permited edges  1064
14 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.15, 0.1
nodecount 80 edgecount 1029 max permited edges  1330
18 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.16, 0.1
nodecount 87 edgecount 1157 max permited edges  1463
17 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.06 cusr  0.02 csys =  0.09 CPU)

5state20.20.17, 0.1
nodecount 81 edgecount 1081 max permited edges  1349
20 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.01 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.09 CPU)

5state20.20.18, 0.1
nodecount 90 edgecount 1272 max permited edges  1520
24 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.19, 0.1
nodecount 66 edgecount 787 max permited edges  1064
9 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.04 cusr  0.02 csys =  0.06 CPU)

5state20.20.20, 0.1
nodecount 85 edgecount 1142 max permited edges  1425
17 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.05 cusr  0.02 csys =  0.08 CPU)

5state20.20.21, 0.1
nodecount 82 edgecount 1073 max permited edges  1368
17 legal separators and 2 illegal separators
5mppilp.21.lp must be solved
There are 5 crossing legal variables
There are 2 inequalities describing legal min seps crossing illegal min seps
There are 2 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.22, 0.1
nodecount 81 edgecount 1021 max permited edges  1349
19 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.23, 0.1
nodecount 65 edgecount 779 max permited edges  1045
12 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  1 wallclock secs ( 0.00 usr  0.01 sys +  0.04 cusr  0.02 csys =  0.07 CPU)

5state20.20.24, 0.1
nodecount 54 edgecount 629 max permited edges  836
7 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.04 cusr  0.02 csys =  0.06 CPU)

5state20.20.25, 0.1
nodecount 83 edgecount 1174 max permited edges  1387
22 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.26, 0.1
nodecount 89 edgecount 1232 max permited edges  1501
25 legal separators and 5 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.03 csys =  0.10 CPU)

5state20.20.27, 0.1
nodecount 84 edgecount 1118 max permited edges  1406
20 legal separators and 3 illegal separators
5mppilp.27.lp must be solved
There are 4 crossing legal variables
There are 3 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.06 cusr  0.02 csys =  0.09 CPU)

5state20.20.28, 0.1
nodecount 85 edgecount 1109 max permited edges  1425
21 legal separators and 1 illegal separators
5mppilp.28.lp must be solved
There are 3 crossing legal variables
There are 1 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.29, 0.1
nodecount 83 edgecount 1044 max permited edges  1387
17 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.30, 0.1
nodecount 87 edgecount 1174 max permited edges  1463
22 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.07 cusr  0.02 csys =  0.10 CPU)

5state20.20.31, 0.1
nodecount 77 edgecount 988 max permited edges  1273
16 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.32, 0.1
nodecount 77 edgecount 955 max permited edges  1273
17 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.05 cusr  0.02 csys =  0.07 CPU)

5state20.20.33, 0.1
nodecount 89 edgecount 1224 max permited edges  1501
23 legal separators and 4 illegal separators
5mppilp.33.lp must be solved
There are 6 crossing legal variables
There are 4 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  1 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.34, 0.1
nodecount 80 edgecount 1036 max permited edges  1330
15 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.05 cusr  0.02 csys =  0.08 CPU)

5state20.20.35, 0.1
nodecount 79 edgecount 1075 max permited edges  1311
19 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.36, 0.1
nodecount 88 edgecount 1141 max permited edges  1482
20 legal separators and 3 illegal separators
5mppilp.36.lp must be solved
There are 5 crossing legal variables
There are 3 inequalities describing legal min seps crossing illegal min seps
There are 3 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.37, 0.1
nodecount 87 edgecount 1218 max permited edges  1463
22 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.01 usr  0.01 sys +  0.06 cusr  0.03 csys =  0.11 CPU)

5state20.20.38, 0.1
nodecount 87 edgecount 1146 max permited edges  1463
21 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.39, 0.1
nodecount 77 edgecount 962 max permited edges  1273
20 legal separators and 1 illegal separators
5mppilp.39.lp must be solved
There are 3 crossing legal variables
There are 1 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.40, 0.1
nodecount 87 edgecount 1203 max permited edges  1463
21 legal separators and 3 illegal separators
5mppilp.40.lp must be solved
There are 4 crossing legal variables
There are 3 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.41, 0.1
nodecount 69 edgecount 857 max permited edges  1121
13 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.05 cusr  0.02 csys =  0.08 CPU)

5state20.20.42, 0.1
nodecount 59 edgecount 696 max permited edges  931
9 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  1 wallclock secs ( 0.00 usr  0.00 sys +  0.04 cusr  0.02 csys =  0.06 CPU)

5state20.20.43, 0.1
nodecount 64 edgecount 769 max permited edges  1026
12 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.04 cusr  0.02 csys =  0.06 CPU)

5state20.20.44, 0.1
nodecount 91 edgecount 1299 max permited edges  1539
25 legal separators and 1 illegal separators
5mppilp.44.lp must be solved
There are 3 crossing legal variables
There are 1 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.08 cusr  0.02 csys =  0.10 CPU)

5state20.20.45, 0.1
nodecount 78 edgecount 994 max permited edges  1292
18 legal separators and 0 illegal separators
Automatic PP solution by Cor 2 since there are no illegal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.05 cusr  0.02 csys =  0.08 CPU)

5state20.20.46, 0.1
nodecount 87 edgecount 1236 max permited edges  1463
23 legal separators and 3 illegal separators
5mppilp.46.lp must be solved
There are 6 crossing legal variables
There are 3 inequalities describing legal min seps crossing illegal min seps
There are 1 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.47, 0.1
nodecount 89 edgecount 1146 max permited edges  1501
23 legal separators and 2 illegal separators
5mppilp.47.lp must be solved
There are 6 crossing legal variables
There are 2 inequalities describing legal min seps crossing illegal min seps
There are 6 pairs of crossing legal min seps
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)

5state20.20.48, 0.1
nodecount 90 edgecount 1248 max permited edges  1520
23 legal separators and 4 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.01 sys +  0.07 cusr  0.03 csys =  0.11 CPU)

5state20.20.49, 0.1
nodecount 88 edgecount 1226 max permited edges  1482
22 legal separators and 2 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.07 cusr  0.02 csys =  0.09 CPU)

5state20.20.50, 0.1
nodecount 86 edgecount 1118 max permited edges  1444
20 legal separators and 1 illegal separators
Automatic PP solution by Cor 3 since every illegal min sep is crossed by a legal
	 min sep, and there is no pair of crossing legal min. seps. 
Time used is  0 wallclock secs ( 0.00 usr  0.00 sys +  0.06 cusr  0.02 csys =  0.08 CPU)
END
