Benchmark

LabelMeaning
SSolution {OPTIMUM FOUND or OPT | UNSATISFIABLE or UNSAT | UNKNOWN | Not available or N/A}
OBest solution found
TCPU time (TO for Time Out)
(out)(err)Standard output and standard error for each solver

ColorMeaning for Complete SolversMeaning for Incomplete Solvers
TextBest solver columnBest solver column
TextOptimal solution with the best CPU timeBest solution with the best CPU time
TextOptimal solution and finished within the Time OutBest solution without the best CPU time
TextOptimal solution and did not finish within the Time OutSolution found but not the best
TextTime OutTime Out
TextBuggy solutionBuggy solution

Instance file name Best solver CCEHC CCLS2015 Dist1 Dist2 ILP-2015-in WPM3-2015-in optiriss-def-i optiriss-sel-i
Rounded_BTWBNSL_AbaloneTWBound_4.wcnf O = 1564792348
T = 177.73		 O = 1566073639
T = 104.47
 O = N/A
T = TO
 O = 1576930853
T = 134.56
 O = 1564792348
T = 177.73
 O = N/A
T = TO
 O = 1567434057
T = 254.09
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Abalone_TWBound_2.wcnf O = 1550951435
T = 283.27		 O = 1574932165
T = 1.99
 O = N/A
T = TO
 O = 1604169952
T = 1.57
 O = 1617411018
T = 153.19
 O = N/A
T = TO
 O = 1550951435
T = 283.27
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Abalone_TWBound_3.wcnf O = 1561331049
T = 234.23		 O = 1561331049
T = 234.23
 O = N/A
T = TO
 O = 1571685054
T = 223.09
 O = 1572662069
T = 54.53
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Flag.BIC_TWBound_2.wcnf O = 288105658
T = 58.31		 O = 288189763
T = 83.56
 O = N/A
T = TO
 O = 288762616
T = 3.75
 O = 288105658
T = 58.31
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Flag.BIC_TWBound_3.wcnf O = 284103228
T = 254.37		 O = 288513671
T = 22.59
 O = N/A
T = TO
 O = 286793172
T = 126.72
 O = 285947711
T = 5.94
 O = N/A
T = TO
 O = 284103228
T = 254.37
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Flag.BIC_TWBound_4.wcnf O = 280876576
T = 253.71		 O = 286163151
T = 216.42
 O = N/A
T = TO
 O = 287929198
T = 167.31
 O = 284924885
T = 237.64
 O = N/A
T = TO
 O = 280876576
T = 253.71
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Heart.BIC_TWBound_2.wcnf O = 246570562
T = 192.73		 O = 246570562
T = 192.73
 O = N/A
T = TO
 O = 249708757
T = 17.80
 O = 249136501
T = 2.44
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Heart.BIC_TWBound_3.wcnf O = 248775056
T = 286.62		 O = 248775056
T = 286.62
 O = N/A
T = TO
 O = 251739398
T = 109.19
 O = 253526422
T = 240.13
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Heart.BIC_TWBound_4.wcnf O = 247336128
T = 253.17		 O = 250253026
T = 242.35
 O = N/A
T = TO
 O = 250265224
T = 57.68
 O = 252139448
T = 120.36
 O = N/A
T = TO
 O = 247336128
T = 253.17
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Hepatitis.BIC_TWBound2.wcnf O = 132308417
T = 283.61		 O = 134333264
T = 67.42
 O = N/A
T = TO
 O = 134694656
T = 3.11
 O = 134768133
T = 280.69
 O = N/A
T = TO
 O = 132308417
T = 283.61
 O = 143674420
T = 0.29
 O = 146031523
T = 0.11
Rounded_BTWBNSL_Hepatitis.BIC_TWBound3.wcnf O = 132327807
T = 283.16		 O = 133990684
T = 194.00
 O = N/A
T = TO
 O = 134873972
T = 263.35
 O = 134282649
T = 166.23
 O = N/A
T = TO
 O = 132327807
T = 283.16
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Hepatitis.BIC_TWBound4.wcnf O = 132258419
T = 284.03		 O = 134125561
T = 293.95
 O = N/A
T = TO
 O = 134508251
T = 127.33
 O = 135012741
T = 107.41
 O = N/A
T = TO
 O = 132258419
T = 284.03
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Horse.BIC_TWBound_2.wcnf O = 461982113
T = 57.80		 O = 461982113
T = 57.80
 O = N/A
T = TO
 O = 462617623
T = 96.98
 O = 462729649
T = 146.67
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Horse.BIC_TWBound_3.wcnf O = 463030866
T = 45.99		 O = 463030866
T = 45.99
 O = N/A
T = TO
 O = 463224028
T = 2.97
 O = 464850910
T = 68.89
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Horse.BIC_TWBound_4.wcnf O = 463500138
T = 15.89		 O = 464142666
T = 199.25
 O = N/A
T = TO
 O = 463500138
T = 15.89
 O = 464662269
T = 191.34
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Housing_TWBound_2.wcnf O = 347187761
T = 169.24		 O = 347187761
T = 169.24
 O = N/A
T = TO
 O = 371939991
T = 255.61
 O = 358020794
T = 186.99
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Housing_TWBound_3.wcnf O = 325183752
T = 253.86		 O = 340504727
T = 88.38
 O = N/A
T = TO
 O = 361567534
T = 192.70
 O = 357598688
T = 63.21
 O = N/A
T = TO
 O = 325183752
T = 253.86
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Housing_TWBound_4.wcnf O = 318233138
T = 283.52		 O = 337018091
T = 240.75
 O = N/A
T = TO
 O = 330270653
T = 59.14
 O = 337360942
T = 138.73
 O = N/A
T = TO
 O = 318233138
T = 283.52
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Voting_TWBound_2.wcnf O = 469383725
T = 69.29		 O = 469383725
T = 69.29
 O = N/A
T = TO
 O = 476728040
T = 280.92
 O = 475210101
T = 287.13
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Voting_TWBound_3.wcnf O = 468955963
T = 90.22		 O = 468955963
T = 90.22
 O = N/A
T = TO
 O = 475760512
T = 119.33
 O = 473359186
T = 251.80
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Voting_TWBound_4.wcnf O = 468198728
T = 190.16		 O = 468198728
T = 190.16
 O = N/A
T = TO
 O = 476093262
T = 13.01
 O = 476679773
T = 238.69
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Water_1000_1_2.scores_TWBound_2.wcnf O = 1326385127
T = 254.02		 O = 1385900357
T = 165.65
 O = N/A
T = TO
 O = 1466866741
T = 24.28
 O = 1443015192
T = 257.92
 O = N/A
T = TO
 O = 1326385127
T = 254.02
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Water_1000_1_2.scores_TWBound_3.wcnf O = 1326693250
T = 253.17		 O = 1364979742
T = 246.24
 O = N/A
T = TO
 O = 1461330188
T = 88.14
 O = 1448223474
T = 210.26
 O = N/A
T = TO
 O = 1326693250
T = 253.17
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Water_1000_1_2.scores_TWBound_4.wcnf O = 1326348592
T = 253.72		 O = 1389184286
T = 26.77
 O = N/A
T = TO
 O = 1418754402
T = 90.22
 O = 1424996098
T = 194.82
 O = N/A
T = TO
 O = 1326348592
T = 253.72
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Wine_TWBound_2.wcnf O = 127275779
T = 283.85		 O = 129664408
T = 9.80
 O = N/A
T = TO
 O = 142840662
T = 174.72
 O = 138923112
T = 0.67
 O = N/A
T = TO
 O = 127275779
T = 283.85
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Wine_TWBound_3.wcnf O = 127107911
T = 283.75		 O = 131372242
T = 30.47
 O = N/A
T = TO
 O = 141339613
T = 219.06
 O = 137391127
T = 21.41
 O = N/A
T = TO
 O = 127107911
T = 283.75
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Wine_TWBound_4.wcnf O = 127107911
T = 283.31		 O = 131149565
T = 198.77
 O = N/A
T = TO
 O = 138889999
T = 23.54
 O = 134992913
T = 66.97
 O = N/A
T = TO
 O = 127107911
T = 283.31
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_Zoo_TWBound2.wcnf O = 84773175
T = 65.19		 O = 89265052
T = 2.22
 O = N/A
T = TO
 O = 90847633
T = 18.38
 O = 90990226
T = 217.26
 O = N/A
T = TO
 O = N/A
T = TO
 O = 84773175
T = 65.19
 O = 114144661
T = 0.05
Rounded_BTWBNSL_Zoo_TWBound_3.wcnf O = 84773175
T = 72.47		 O = 88943424
T = 283.39
 O = N/A
T = TO
 O = 90245692
T = 272.27
 O = 91780800
T = 73.03
 O = N/A
T = TO
 O = N/A
T = TO
 O = 84773175
T = 72.47
 O = 110064633
T = 0.04
Rounded_BTWBNSL_Zoo_TWBound_4.wcnf O = 84773175
T = 65.76		 O = 87784082
T = 0.31
 O = N/A
T = TO
 O = 90115319
T = 166.64
 O = 89290920
T = 49.60
 O = N/A
T = TO
 O = N/A
T = TO
 O = 84773175
T = 65.76
 O = 104046677
T = 0.05
Rounded_BTWBNSL_adult15N_TWBound_2.wcnf O = 36225968802
T = 156.35		 O = 36225968802
T = 156.35
 O = N/A
T = TO
 O = 36324059644
T = 286.41
 O = 36676709923
T = 144.02
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_adult15N_TWBound_3.wcnf O = 35470522227
T = 253.98		 O = 36373140112
T = 95.90
 O = N/A
T = TO
 O = 36824242499
T = 36.64
 O = 36442282845
T = 245.79
 O = N/A
T = TO
 O = 35470522227
T = 253.98
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_adult15N_TWBound_4.wcnf O = 35499265152
T = 253.80		 O = 36537008843
T = 36.50
 O = N/A
T = TO
 O = 36585819608
T = 1.30
 O = 36964242305
T = 211.76
 O = N/A
T = TO
 O = 35499265152
T = 253.80
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_2.wcnf O = 138743973
T = 254.16		 O = 158529654
T = 152.65
 O = N/A
T = TO
 O = 169690850
T = 67.44
 O = 172280828
T = 231.88
 O = N/A
T = TO
 O = 138743973
T = 254.16
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_3.wcnf O = 139552606
T = 283.51		 O = 155809614
T = 12.33
 O = N/A
T = TO
 O = 171926882
T = 265.23
 O = 172532390
T = 4.91
 O = N/A
T = TO
 O = 139552606
T = 283.51
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_alarm_100_1_3.scores_TWBound_4.wcnf O = 140833665
T = 283.55		 O = 156256613
T = 149.27
 O = N/A
T = TO
 O = 168573461
T = 1.80
 O = 170851817
T = 222.83
 O = N/A
T = TO
 O = 140833665
T = 283.55
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_asia_10000_1_3.scores_TWBound_2.wcnf O = 2247208255
T = 47.13		 O = 2247538101
T = 165.89
 O = N/A
T = TO
 O = 2247317348
T = 278.75
 O = 2247208255
T = 47.13
 O = 2247208255
T = 222.76
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_asia_10000_1_3.scores_TWBound_3.wcnf O = 2247205740
T = 173.57		 O = 2247439695
T = 126.05
 O = N/A
T = TO
 O = 2247205760
T = 40.09
 O = 2247208255
T = 117.60
 O = 2247205740
T = 173.57
 O = 2247756899
T = 254.33
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_asia_10000_1_3.scores_TWBound_4.wcnf O = 2247205740
T = 63.74		 O = 2247494250
T = 154.95
 O = N/A
T = TO
 O = 2247205740
T = 63.74
 O = 2247208255
T = 191.25
 O = 2247205740
T = 231.13
 O = 2248583387
T = 254.32
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_asia_1000_1_3.scores_TWBound_2.wcnf O = 231945792
T = 47.62		 O = 232139171
T = 4.69
 O = N/A
T = TO
 O = 231971145
T = 34.83
 O = 231971145
T = 0.74
 O = 231945792
T = 47.62
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_asia_1000_1_3.scores_TWBound_3.wcnf O = 231945792
T = 78.07		 O = 232179571
T = 3.74
 O = N/A
T = TO
 O = 231971145
T = 198.69
 O = 232132234
T = 162.20
 O = 231945792
T = 78.07
 O = 231971154
T = 284.14
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_asia_1000_1_3.scores_TWBound_4.wcnf O = 231945792
T = 62.69		 O = 232179571
T = 28.42
 O = N/A
T = TO
 O = 231971145
T = 127.45
 O = 232386843
T = 7.12
 O = 231945792
T = 62.69
 O = 232283911
T = 283.66
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_asia_100_1_3.scores_TWBound_2.wcnf O = 24564427
T = 0.16		 O = 24564427
T = 0.80
 O = 24565894
T = 20.74
 O = 24564427
T = 0.56
 O = 24564427
T = 1.50
 O = 24564427
T = 7.94
 O = N/A
T = TO
 O = 24564427
T = 0.16
 O = 26878370
T = 0.18
Rounded_BTWBNSL_asia_100_1_3.scores_TWBound_3.wcnf O = 24564427
T = 0.27		 O = 24564427
T = 0.71
 O = 24564427
T = 66.91
 O = 24564427
T = 0.34
 O = 24564427
T = 3.16
 O = 24564427
T = 8.04
 O = N/A
T = TO
 O = 24564427
T = 0.27
 O = 26878370
T = 0.27
Rounded_BTWBNSL_asia_100_1_3.scores_TWBound_4.wcnf O = 24564427
T = 0.30		 O = 24564427
T = 0.80
 O = 24564427
T = 118.74
 O = 24564427
T = 1.23
 O = 24564427
T = 0.43
 O = 24564427
T = 6.88
 O = N/A
T = TO
 O = 24564427
T = 0.30
 O = 26878370
T = 0.43
Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_2.wcnf O = 55854024289
T = 283.90		 O = 58608644138
T = 249.58
 O = N/A
T = TO
 O = 63196623347
T = 3.58
 O = 61320295660
T = 2.83
 O = N/A
T = TO
 O = 55854024289
T = 283.90
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_3.wcnf O = 56413356972
T = 283.81		 O = 57183362983
T = 147.03
 O = N/A
T = TO
 O = 63576641064
T = 6.18
 O = 63818940437
T = 8.26
 O = N/A
T = TO
 O = 56413356972
T = 283.81
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_hailfinder_10000_1_3.scores_TWBound_4.wcnf O = 54751525589
T = 58.38		 O = 54751525589
T = 58.38
 O = N/A
T = TO
 O = 62667183140
T = 9.85
 O = 59655674691
T = 8.99
 O = N/A
T = TO
 O = 55068807112
T = 284.17
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_2.wcnf O = 5392408557
T = 284.02		 O = 5502178494
T = 149.14
 O = N/A
T = TO
 O = 6380894267
T = 3.13
 O = 6189826972
T = 118.54
 O = N/A
T = TO
 O = 5392408557
T = 284.02
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_3.wcnf O = 5393887282
T = 254.29		 O = 5445446372
T = 250.70
 O = N/A
T = TO
 O = 5999083355
T = 181.13
 O = 6095880577
T = 156.02
 O = N/A
T = TO
 O = 5393887282
T = 254.29
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_hailfinder_1000_1_3.scores_TWBound_4.wcnf O = 5385036909
T = 254.33		 O = 5604950123
T = 195.37
 O = N/A
T = TO
 O = 5893613571
T = 6.01
 O = 5896431082
T = 5.81
 O = N/A
T = TO
 O = 5385036909
T = 254.33
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_hailfinder_100_1_3.scores_TWBound_2.wcnf O = 602311914
T = 84.86		 O = 608560107
T = 31.39
 O = N/A
T = TO
 O = 622600505
T = 154.27
 O = 625097646
T = 89.59
 O = N/A
T = TO
 O = N/A
T = TO
 O = 602311914
T = 84.86
 O = 607070800
T = 1.40
Rounded_BTWBNSL_hailfinder_100_1_3.scores_TWBound_3.wcnf O = 607092843
T = 114.74		 O = 607092843
T = 114.74
 O = N/A
T = TO
 O = 621645029
T = 211.87
 O = 627935791
T = 109.56
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_hailfinder_100_1_3.scores_TWBound_4.wcnf O = 607778240
T = 207.33		 O = 607778240
T = 207.33
 O = N/A
T = TO
 O = 620773728
T = 72.67
 O = 622299779
T = 95.32
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_2.wcnf O = 1509199287
T = 253.49		 O = 1570159243
T = 1.63
 O = N/A
T = TO
 O = 1763090711
T = 1.13
 O = 1697788085
T = 225.58
 O = N/A
T = TO
 O = 1509199287
T = 253.49
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_3.wcnf O = 1482265518
T = 253.93		 O = 1559636766
T = 77.05
 O = N/A
T = TO
 O = 1809790254
T = 29.83
 O = 1623227260
T = 82.15
 O = N/A
T = TO
 O = 1482265518
T = 253.93
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_insurance_1000_1_3.scores_TWBound_4.wcnf O = 1483316217
T = 254.44		 O = 1578229756
T = 4.58
 O = N/A
T = TO
 O = 1766592617
T = 25.46
 O = 1592902864
T = 84.72
 O = N/A
T = TO
 O = 1483316217
T = 254.44
 O = N/A
T = TO
 O = N/A
T = TO
Rounded_BTWBNSL_insurance_100_1_3.scores_TWBound_2.wcnf O = 178167479
T = 136.72		 O = 178167479
T = 136.72
 O = N/A
T = TO
 O = 196086151
T = 239.69
 O = 198455371
T = 9.73
 O = N/A
T = TO
 O = N/A
T = TO
 O = 230619308
T = 0.20
 O = 230619308
T = 0.05
Rounded_BTWBNSL_insurance_100_1_3.scores_TWBound_3.wcnf O = 170629695
T = 254.17		 O = 177333765
T = 11.92
 O = N/A
T = TO
 O = 196905499
T = 102.60
 O = 195440172
T = 250.60
 O = N/A
T = TO
 O = 170629695
T = 254.17
 O = 230619308
T = 0.13
 O = 230619308
T = 0.05
Rounded_BTWBNSL_insurance_100_1_3.scores_TWBound_4.wcnf O = 178555225
T = 87.55		 O = 178555225
T = 87.55
 O = N/A
T = TO
 O = 184512641
T = 64.39
 O = 184615458
T = 258.77
 O = N/A
T = TO
 O = N/A
T = TO
 O = 225684059
T = 0.19
 O = 225684059
T = 0.09
Rounded_CorrelationClustering_BreastCancer_BINARY_N500_D0.200.wcnf O = 398413121
T = 283.58		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 406975187
T = 215.00
 O = N/A
T = TO
 O = 398413121
T = 283.58
 O = 408601044
T = 158.03
 O = 408269373
T = 168.85
Rounded_CorrelationClustering_Ecoli_BINARY_N200_D0.200.wcnf O = 8818146
T = 181.52		 O = 11005910
T = 13.39
 O = N/A
T = TO
 O = 8818146
T = 181.52
 O = 9337675
T = 46.59
 O = N/A
T = TO
 O = 10790516
T = 254.57
 O = 10164429
T = 138.82
 O = 9818795
T = 12.02
Rounded_CorrelationClustering_Ecoli_BINARY_N220_D0.200.wcnf O = 13891635
T = 111.06		 O = 15806836
T = 18.15
 O = N/A
T = TO
 O = 13891635
T = 111.06
 O = 14360505
T = 50.78
 O = N/A
T = TO
 O = 18376401
T = 254.31
 O = 14556437
T = 194.54
 O = 14412207
T = 10.52
Rounded_CorrelationClustering_Ecoli_BINARY_N240_D0.200.wcnf O = 18709090
T = 234.63		 O = 21434872
T = 257.28
 O = N/A
T = TO
 O = 18709090
T = 234.63
 O = 20175721
T = 38.86
 O = N/A
T = TO
 O = 23968035
T = 284.15
 O = 20325078
T = 142.23
 O = 20357148
T = 12.23
Rounded_CorrelationClustering_Ecoli_BINARY_N260_D0.200.wcnf O = 28215396
T = 109.34		 O = 29336260
T = 160.86
 O = N/A
T = TO
 O = 28215396
T = 109.34
 O = 28467162
T = 74.22
 O = N/A
T = TO
 O = 30956735
T = 283.74
 O = 29009450
T = 118.44
 O = 29132379
T = 11.70
Rounded_CorrelationClustering_Ecoli_BINARY_N280_D0.200.wcnf O = 31688517
T = 104.12		 O = 32867444
T = 93.95
 O = N/A
T = TO
 O = 31688517
T = 104.12
 O = 32267811
T = 113.57
 O = N/A
T = TO
 O = 34225116
T = 254.30
 O = 32466131
T = 174.62
 O = 32139129
T = 13.42
Rounded_CorrelationClustering_Ecoli_BINARY_N300_D0.200.wcnf O = 33464961
T = 264.09		 O = 34608729
T = 161.43
 O = N/A
T = TO
 O = 33464961
T = 264.09
 O = 33739490
T = 81.60
 O = N/A
T = TO
 O = 36249134
T = 283.93
 O = 34368578
T = 126.42
 O = 33843843
T = 15.93
Rounded_CorrelationClustering_Ionosphere_BINARY_N200_D0.200.wcnf O = 5160016
T = 41.04		 O = 7330503
T = 8.46
 O = N/A
T = TO
 O = 5160016
T = 41.04
 O = 5803249
T = 37.51
 O = N/A
T = TO
 O = 10424910
T = 284.10
 O = 21331210
T = 0.35
 O = 21331210
T = 0.20
Rounded_CorrelationClustering_Ionosphere_BINARY_N220_D0.200.wcnf O = 5818957
T = 106.66		 O = 8523105
T = 17.15
 O = N/A
T = TO
 O = 5818957
T = 106.66
 O = 6556040
T = 34.85
 O = N/A
T = TO
 O = 13702476
T = 283.29
 O = 26237311
T = 0.53
 O = 26237311
T = 0.23
Rounded_CorrelationClustering_Ionosphere_BINARY_N240_D0.200.wcnf O = 6927210
T = 143.26		 O = 8649707
T = 25.13
 O = N/A
T = TO
 O = 6927210
T = 143.26
 O = 7145584
T = 27.13
 O = N/A
T = TO
 O = 14399226
T = 283.81
 O = 33950483
T = 0.39
 O = 33950483
T = 0.30
Rounded_CorrelationClustering_Ionosphere_BINARY_N260_D0.200.wcnf O = 8037753
T = 200.27		 O = 10327718
T = 25.17
 O = N/A
T = TO
 O = 8037753
T = 200.27
 O = 8806755
T = 70.91
 O = N/A
T = TO
 O = 22570044
T = 283.64
 O = 33342469
T = 6.94
 O = 33498338
T = 6.42
Rounded_CorrelationClustering_Ionosphere_BINARY_N280_D0.200.wcnf O = 10582298
T = 71.70		 O = 10582298
T = 71.70
 O = N/A
T = TO
 O = 10883519
T = 200.64
 O = 28581895
T = 230.27
 O = N/A
T = TO
 O = 22525936
T = 283.78
 O = 33679892
T = 1.25
 O = 34165220
T = 0.74
Rounded_CorrelationClustering_Ionosphere_BINARY_N300_D0.200.wcnf O = 12474922
T = 62.04		 O = 12474922
T = 62.04
 O = N/A
T = TO
 O = 12844656
T = 261.92
 O = 13670501
T = 75.58
 O = N/A
T = TO
 O = 16695653
T = 253.90
 O = 36387018
T = 1.30
 O = 36970769
T = 0.95
Rounded_CorrelationClustering_Orl_BINARY_N200_D0.200.wcnf O = 2299099
T = 9.39		 O = 83746337
T = 248.98
 O = N/A
T = TO
 O = 85953728
T = 6.60
 O = 85009039
T = 104.27
 O = N/A
T = TO
 O = 2299099
T = 254.00
 O = 2299099
T = 9.39
 O = 89365522
T = 0.18
Rounded_CorrelationClustering_Orl_BINARY_N220_D0.200.wcnf O = 2815388
T = 11.55		 O = 105754240
T = 203.33
 O = N/A
T = TO
 O = 108104806
T = 136.44
 O = 106209934
T = 64.77
 O = N/A
T = TO
 O = N/A
T = TO
 O = 2815388
T = 11.55
 O = 111761559
T = 0.26
Rounded_CorrelationClustering_Orl_BINARY_N240_D0.200.wcnf O = 3163500
T = 253.32		 O = 119498422
T = 216.09
 O = N/A
T = TO
 O = 121230777
T = 11.89
 O = 121298819
T = 8.94
 O = N/A
T = TO
 O = 3163500
T = 253.32
 O = 126095528
T = 0.24
 O = 126095528
T = 0.20
Rounded_CorrelationClustering_Orl_BINARY_N260_D0.200.wcnf O = 3573067
T = 41.55		 O = 128258922
T = 283.29
 O = N/A
T = TO
 O = 129379308
T = 9.43
 O = 127187607
T = 79.22
 O = N/A
T = TO
 O = 3608369
T = 284.05
 O = 3573067
T = 41.55
 O = 132082801
T = 0.24
Rounded_CorrelationClustering_Orl_BINARY_N280_D0.200.wcnf O = 3742421
T = 212.80		 O = 152281293
T = 291.69
 O = N/A
T = TO
 O = 152201993
T = 8.49
 O = 152599097
T = 281.17
 O = N/A
T = TO
 O = 3752909
T = 283.66
 O = 3742421
T = 212.80
 O = 155922975
T = 0.27
Rounded_CorrelationClustering_Orl_BINARY_N300_D0.200.wcnf O = 4355327
T = 253.59		 O = 182710211
T = 294.07
 O = N/A
T = TO
 O = 176206598
T = 177.13
 O = 180836459
T = 9.48
 O = N/A
T = TO
 O = 4355327
T = 253.59
 O = 4537630
T = 78.27
 O = 185469339
T = 0.35
Rounded_CorrelationClustering_Orl_BINARY_N320_D0.200.wcnf O = 4644269
T = 240.35		 O = 210741961
T = 294.17
 O = N/A
T = TO
 O = 210018014
T = 13.88
 O = 208736411
T = 241.87
 O = N/A
T = TO
 O = 4934985
T = 283.85
 O = 4644269
T = 240.35
 O = 213667812
T = 0.40
Rounded_CorrelationClustering_Orl_BINARY_N340_D0.200.wcnf O = 4742918
T = 253.80		 O = 279694035
T = 293.20
 O = N/A
T = TO
 O = 275969844
T = 24.76
 O = 276673305
T = 27.63
 O = N/A
T = TO
 O = 4742918
T = 253.80
 O = 6203090
T = 174.93
 O = 6628307
T = 30.54
Rounded_CorrelationClustering_Protein1_BINARY_N200.wcnf O = 10198803
T = 54.59		 O = 11191820
T = 60.32
 O = N/A
T = TO
 O = 86649020
T = 3.75
 O = 84339359
T = 3.69
 O = N/A
T = TO
 O = N/A
T = TO
 O = 10198803
T = 54.59
 O = 10990204
T = 0.20
Rounded_CorrelationClustering_Protein1_BINARY_N220.wcnf O = 11450117
T = 18.97		 O = 12248926
T = 190.55
 O = N/A
T = TO
 O = 103399851
T = 5.02
 O = 37007486
T = 62.28
 O = N/A
T = TO
 O = N/A
T = TO
 O = 11450117
T = 18.97
 O = 12357772
T = 0.21
Rounded_CorrelationClustering_Protein1_BINARY_N240.wcnf O = 13307241
T = 21.06		 O = 15121733
T = 294.58
 O = N/A
T = TO
 O = 120476926
T = 13.40
 O = 66860086
T = 69.02
 O = N/A
T = TO
 O = N/A
T = TO
 O = 13307241
T = 21.06
 O = 14136356
T = 0.47
Rounded_CorrelationClustering_Protein1_BINARY_N260.wcnf O = 15316305
T = 32.32		 O = 123831581
T = 289.57
 O = N/A
T = TO
 O = 144712714
T = 4.07
 O = 142038982
T = 24.12
 O = N/A
T = TO
 O = N/A
T = TO
 O = 15316305
T = 32.32
 O = 16179114
T = 0.48
Rounded_CorrelationClustering_Protein1_BINARY_N280.wcnf O = 16922223
T = 103.60		 O = 154272630
T = 294.78
 O = N/A
T = TO
 O = 169353171
T = 14.54
 O = 168428528
T = 28.45
 O = N/A
T = TO
 O = N/A
T = TO
 O = 16922223
T = 103.60
 O = 18478519
T = 0.42
Rounded_CorrelationClustering_Protein1_BINARY_N300.wcnf O = 18632233
T = 260.42		 O = 168404466
T = 294.47
 O = N/A
T = TO
 O = 181195529
T = 4.21
 O = 181100741
T = 223.93
 O = N/A
T = TO
 O = N/A
T = TO
 O = 18632233
T = 260.42
 O = 19833622
T = 0.98
Rounded_CorrelationClustering_Protein1_BINARY_N320.wcnf O = 21599505
T = 79.07		 O = 186404076
T = 295.13
 O = N/A
T = TO
 O = 195196747
T = 29.23
 O = 191620551
T = 94.54
 O = N/A
T = TO
 O = N/A
T = TO
 O = 21599505
T = 79.07
 O = 21923687
T = 0.58
Rounded_CorrelationClustering_Protein1_BINARY_N340.wcnf O = 27159207
T = 90.87		 O = 226566998
T = 286.02
 O = N/A
T = TO
 O = 232569547
T = 39.06
 O = 233344997
T = 91.06
 O = N/A
T = TO
 O = N/A
T = TO
 O = 27159207
T = 90.87
 O = 27760307
T = 0.77
Rounded_CorrelationClustering_Protein1_BINARY_N360.wcnf O = 28598282
T = 119.66		 O = 241148154
T = 280.50
 O = N/A
T = TO
 O = 249214961
T = 41.03
 O = 250061188
T = 262.08
 O = N/A
T = TO
 O = N/A
T = TO
 O = 28598282
T = 119.66
 O = 29430309
T = 0.75
Rounded_CorrelationClustering_Protein1_BINARY_N380.wcnf O = 32353800
T = 196.73		 O = 265890401
T = 290.23
 O = N/A
T = TO
 O = 265024821
T = 73.59
 O = 268355640
T = 36.02
 O = N/A
T = TO
 O = N/A
T = TO
 O = 32353800
T = 196.73
 O = 34028984
T = 0.77
Rounded_CorrelationClustering_Protein1_BINARY_N400.wcnf O = 35895945
T = 0.98		 O = 281521019
T = 281.82
 O = N/A
T = TO
 O = 290381466
T = 38.27
 O = 290551822
T = 92.62
 O = N/A
T = TO
 O = 175196894
T = 253.64
 O = 35895945
T = 0.98
 O = 36923474
T = 0.67
Rounded_CorrelationClustering_Protein1_TRANSITIVE_N150.wcnf O = 5099274
T = 42.17		 O = 33917874
T = 128.37
 O = N/A
T = TO
 O = 37204038
T = 251.04
 O = 48038925
T = 2.61
 O = N/A
T = TO
 O = 5099274
T = 42.17
 O = 5110142
T = 240.09
 O = 5491948
T = 1.69
Rounded_CorrelationClustering_Protein1_TRANSITIVE_N170.wcnf O = 7813864
T = 232.08		 O = 53235053
T = 35.96
 O = N/A
T = TO
 O = 54122031
T = 143.48
 O = 65970289
T = 3.51
 O = N/A
T = TO
 O = N/A
T = TO
 O = 7813864
T = 232.08
 O = 7957317
T = 3.31
Rounded_CorrelationClustering_Protein1_TRANSITIVE_N190.wcnf O = 9193695
T = 215.59		 O = 57890512
T = 45.06
 O = N/A
T = TO
 O = 60371667
T = 130.18
 O = 73911192
T = 4.00
 O = N/A
T = TO
 O = N/A
T = TO
 O = 9193695
T = 215.59
 O = 9242473
T = 4.91
Rounded_CorrelationClustering_Protein1_TRANSITIVE_N210.wcnf O = 10993582
T = 253.45		 O = 77326842
T = 161.39
 O = N/A
T = TO
 O = 81072242
T = 240.76
 O = 94607531
T = 75.67
 O = N/A
T = TO
 O = 10993582
T = 253.45
 O = 11261354
T = 156.45
 O = 11201912
T = 6.79
Rounded_CorrelationClustering_Protein1_TRANSITIVE_N230.wcnf O = 12364134
T = 254.05		 O = 94647995
T = 85.93
 O = N/A
T = TO
 O = 94398804
T = 217.28
 O = 111898052
T = 7.36
 O = N/A
T = TO
 O = 12364134
T = 254.05
 O = 12616399
T = 154.26
 O = 12446758
T = 103.45
Rounded_CorrelationClustering_Protein1_TRANSITIVE_N250.wcnf O = 14244377
T = 253.87		 O = 112811882
T = 104.52
 O = N/A
T = TO
 O = 118374187
T = 203.70
 O = 133850031
T = 8.92
 O = N/A
T = TO
 O = 14244377
T = 253.87
 O = 14482810
T = 272.91
 O = 14477206
T = 25.70
Rounded_CorrelationClustering_Protein1_TRANSITIVE_N270.wcnf O = 15946942
T = 31.75		 O = 131966264
T = 217.28
 O = N/A
T = TO
 O = 135363146
T = 143.54
 O = 152886272
T = 11.50
 O = N/A
T = TO
 O = 23646192
T = 253.55
 O = 16324085
T = 226.89
 O = 15946942
T = 31.75
Rounded_CorrelationClustering_Protein1_TRANSITIVE_N290.wcnf O = 17967905
T = 195.49		 O = 147621336
T = 187.90
 O = N/A
T = TO
 O = N/A
T = TO
 O = 174882885
T = 15.52
 O = N/A
T = TO
 O = 38841261
T = 253.47
 O = 18922688
T = 9.72
 O = 17967905
T = 195.49
Rounded_CorrelationClustering_Protein1_UNARY_N150.wcnf O = 5445147
T = 166.36		 O = 6335214
T = 72.26
 O = N/A
T = TO
 O = 21802146
T = 215.37
 O = 37611652
T = 147.80
 O = N/A
T = TO
 O = N/A
T = TO
 O = 5445147
T = 166.36
 O = 7326687
T = 1.28
Rounded_CorrelationClustering_Protein1_UNARY_N170.wcnf O = 8289850
T = 228.80		 O = 10008696
T = 292.42
 O = N/A
T = TO
 O = 40977677
T = 232.94
 O = 55867855
T = 89.15
 O = N/A
T = TO
 O = N/A
T = TO
 O = 8289850
T = 228.80
 O = 10389686
T = 2.33
Rounded_CorrelationClustering_Protein1_UNARY_N190.wcnf O = 11625094
T = 298.63		 O = 62165944
T = 293.47
 O = N/A
T = TO
 O = 44239496
T = 238.01
 O = 63165648
T = 204.92
 O = N/A
T = TO
 O = N/A
T = TO
 O = 11625094
T = 298.63
 O = 13273655
T = 3.57
Rounded_CorrelationClustering_Protein1_UNARY_N210.wcnf O = 12999750
T = 296.84		 O = N/A
T = TO
 O = N/A
T = TO
 O = 84724156
T = 252.30
 O = 83536674
T = 233.25
 O = N/A
T = TO
 O = N/A
T = TO
 O = 12999750
T = 296.84
 O = 13578092
T = 4.81
Rounded_CorrelationClustering_Protein1_UNARY_N230.wcnf O = 16334313
T = 275.60		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 99636191
T = 257.78
 O = N/A
T = TO
 O = N/A
T = TO
 O = 16334313
T = 275.60
 O = 16341753
T = 6.16
Rounded_CorrelationClustering_Protein1_UNARY_N250.wcnf O = 17054022
T = 9.42		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 17054022
T = 9.42
 O = 17919241
T = 5.99
Rounded_CorrelationClustering_Protein1_UNARY_N270.wcnf O = 20469842
T = 151.73		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 132082140
T = 253.82
 O = 20469842
T = 151.73
 O = 23811580
T = 4.76
Rounded_CorrelationClustering_Protein1_UNARY_N290.wcnf O = 23391353
T = 117.81		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 110740704
T = 253.67
 O = 23391353
T = 117.81
 O = 24409157
T = 17.28
Rounded_CorrelationClustering_Protein2_BINARY_N200.wcnf O = 12893600
T = 29.77		 O = 14072033
T = 180.79
 O = N/A
T = TO
 O = 99453708
T = 5.54
 O = 77962826
T = 268.58
 O = N/A
T = TO
 O = N/A
T = TO
 O = 12893600
T = 29.77
 O = 13594092
T = 0.29
Rounded_CorrelationClustering_Protein2_BINARY_N220.wcnf O = 13950400
T = 16.86		 O = 15819326
T = 236.08
 O = N/A
T = TO
 O = 125139192
T = 5.79
 O = 86267391
T = 75.31
 O = N/A
T = TO
 O = N/A
T = TO
 O = 13950400
T = 16.86
 O = 14648030
T = 0.53
Rounded_CorrelationClustering_Protein2_BINARY_N240.wcnf O = 16817791
T = 21.20		 O = 126672424
T = 281.02
 O = N/A
T = TO
 O = 103946660
T = 229.59
 O = 146129625
T = 32.80
 O = N/A
T = TO
 O = N/A
T = TO
 O = 16817791
T = 21.20
 O = 16965105
T = 0.30
Rounded_CorrelationClustering_Protein2_BINARY_N260.wcnf O = 18618630
T = 23.84		 O = 170935149
T = 283.42
 O = N/A
T = TO
 O = 176191193
T = 7.85
 O = 172170943
T = 15.58
 O = N/A
T = TO
 O = N/A
T = TO
 O = 18618630
T = 23.84
 O = 19248935
T = 0.56
Rounded_CorrelationClustering_Protein2_BINARY_N280.wcnf O = 20881523
T = 57.19		 O = 193999104
T = 289.41
 O = N/A
T = TO
 O = 204433811
T = 27.49
 O = 203645773
T = 262.06
 O = N/A
T = TO
 O = N/A
T = TO
 O = 20881523
T = 57.19
 O = 203291382
T = 0.38
Rounded_CorrelationClustering_Protein2_BINARY_N300.wcnf O = 23678805
T = 65.01		 O = 224199778
T = 294.41
 O = N/A
T = TO
 O = 211951355
T = 149.12
 O = 227007822
T = 287.37
 O = N/A
T = TO
 O = N/A
T = TO
 O = 23678805
T = 65.01
 O = 23878706
T = 0.63
Rounded_CorrelationClustering_Protein2_BINARY_N320.wcnf O = 29784332
T = 41.77		 O = 251878482
T = 295.27
 O = N/A
T = TO
 O = 256517906
T = 15.09
 O = 255827284
T = 38.03
 O = N/A
T = TO
 O = N/A
T = TO
 O = 29784332
T = 41.77
 O = 30029744
T = 0.67
Rounded_CorrelationClustering_Protein2_BINARY_N340.wcnf O = 33162231
T = 55.77		 O = 286316454
T = 293.47
 O = N/A
T = TO
 O = 286245719
T = 25.11
 O = 285420655
T = 42.44
 O = N/A
T = TO
 O = N/A
T = TO
 O = 33162231
T = 55.77
 O = 33335293
T = 0.72
Rounded_CorrelationClustering_Protein2_BINARY_N360.wcnf O = 35967241
T = 58.92		 O = 303472671
T = 295.71
 O = N/A
T = TO
 O = 298845247
T = 63.10
 O = 306558141
T = 115.30
 O = N/A
T = TO
 O = N/A
T = TO
 O = 35967241
T = 58.92
 O = 36406209
T = 0.75
Rounded_CorrelationClustering_Protein2_BINARY_N380.wcnf O = 39404050
T = 148.97		 O = 337144258
T = 293.49
 O = N/A
T = TO
 O = 334829818
T = 75.07
 O = 334180316
T = 120.26
 O = N/A
T = TO
 O = N/A
T = TO
 O = 39404050
T = 148.97
 O = 39516122
T = 0.95
Rounded_CorrelationClustering_Protein2_BINARY_N400.wcnf O = 42873309
T = 0.92		 O = 365695132
T = 292.02
 O = N/A
T = TO
 O = 363684263
T = 150.78
 O = 363587308
T = 92.05
 O = N/A
T = TO
 O = N/A
T = TO
 O = 42873309
T = 5.80
 O = 42873309
T = 0.92
Rounded_CorrelationClustering_Protein2_TRANSITIVE_N100.wcnf O = 3913145
T = 5.26		 O = 14348725
T = 265.92
 O = 21079586
T = 284.94
 O = 16240698
T = 216.64
 O = 23950222
T = 0.83
 O = 3913145
T = 5.26
 O = 3913145
T = 14.10
 O = 3936405
T = 25.59
 O = 4077833
T = 2.61
Rounded_CorrelationClustering_Protein2_TRANSITIVE_N120.wcnf O = 5072948
T = 10.29		 O = 19657292
T = 130.46
 O = 27676927
T = 273.92
 O = 23040875
T = 30.60
 O = 33147863
T = 1.04
 O = 5072948
T = 10.29
 O = N/A
T = TO
 O = 5122437
T = 70.85
 O = 5115113
T = 1.24
Rounded_CorrelationClustering_Protein2_TRANSITIVE_N140.wcnf O = 6128514
T = 17.74		 O = 32250886
T = 59.44
 O = N/A
T = TO
 O = 33930429
T = 246.53
 O = 45712053
T = 2.18
 O = 6128514
T = 17.74
 O = 6269020
T = 254.14
 O = 6174954
T = 86.11
 O = 6174576
T = 2.25
Rounded_CorrelationClustering_Protein2_TRANSITIVE_N160.wcnf O = 7712921
T = 2.83		 O = 48222138
T = 53.89
 O = N/A
T = TO
 O = 49485871
T = 280.73
 O = 65201169
T = 2.86
 O = N/A
T = TO
 O = N/A
T = TO
 O = 7713299
T = 71.78
 O = 7712921
T = 2.83
Rounded_CorrelationClustering_Protein2_TRANSITIVE_N180.wcnf O = 10981486
T = 4.58		 O = 69964230
T = 260.45
 O = N/A
T = TO
 O = 75577789
T = 255.69
 O = 86712076
T = 4.27
 O = N/A
T = TO
 O = 11248109
T = 254.03
 O = 11060570
T = 94.06
 O = 10981486
T = 4.58
Rounded_CorrelationClustering_Protein2_TRANSITIVE_N200.wcnf O = 12801380
T = 254.20		 O = 83589442
T = 145.70
 O = N/A
T = TO
 O = 86993991
T = 276.55
 O = 101418724
T = 4.70
 O = N/A
T = TO
 O = 12801380
T = 254.20
 O = 12888382
T = 248.27
 O = 12888382
T = 12.82
Rounded_CorrelationClustering_Protein2_TRANSITIVE_N220.wcnf O = 13945182
T = 17.38		 O = 101347456
T = 243.95
 O = N/A
T = TO
 O = 108305043
T = 282.25
 O = 122567836
T = 7.03
 O = N/A
T = TO
 O = 14113873
T = 253.87
 O = 14501265
T = 74.90
 O = 13945182
T = 17.38
Rounded_CorrelationClustering_Protein2_TRANSITIVE_N240.wcnf O = 16447614
T = 282.09		 O = 125975753
T = 162.81
 O = N/A
T = TO
 O = 132151216
T = 278.80
 O = 146351384
T = 8.92
 O = N/A
T = TO
 O = 17519429
T = 253.94
 O = 16447614
T = 282.09
 O = 16492839
T = 14.33
Rounded_CorrelationClustering_Protein2_TRANSITIVE_N260.wcnf O = 18181168
T = 15.15		 O = 150773702
T = 143.50
 O = N/A
T = TO
 O = 152615380
T = 280.22
 O = 172181041
T = 11.70
 O = N/A
T = TO
 O = 23680657
T = 253.37
 O = 18618630
T = 236.95
 O = 18181168
T = 15.15
Rounded_CorrelationClustering_Protein2_UNARY_N100.wcnf O = 4039251
T = 32.35		 O = 4572841
T = 10.32
 O = N/A
T = TO
 O = 5601172
T = 263.16
 O = 16040461
T = 255.71
 O = N/A
T = TO
 O = 11737948
T = 254.03
 O = 4039251
T = 32.35
 O = 4993454
T = 0.36
Rounded_CorrelationClustering_Protein2_UNARY_N120.wcnf O = 5151351
T = 55.53		 O = 6225936
T = 35.76
 O = N/A
T = TO
 O = 10527696
T = 67.89
 O = 23880876
T = 210.01
 O = N/A
T = TO
 O = N/A
T = TO
 O = 5151351
T = 55.53
 O = 6826782
T = 2.71
Rounded_CorrelationClustering_Protein2_UNARY_N140.wcnf O = 6205354
T = 165.58		 O = 7506696
T = 146.35
 O = N/A
T = TO
 O = 13526720
T = 263.58
 O = 34049177
T = 281.73
 O = N/A
T = TO
 O = N/A
T = TO
 O = 6205354
T = 165.58
 O = 8690466
T = 24.31
Rounded_CorrelationClustering_Protein2_UNARY_N160.wcnf O = 7887236
T = 213.97		 O = 8896115
T = 192.19
 O = N/A
T = TO
 O = 29786493
T = 283.09
 O = 51608789
T = 78.02
 O = N/A
T = TO
 O = N/A
T = TO
 O = 7887236
T = 213.97
 O = 11904284
T = 193.29
Rounded_CorrelationClustering_Protein2_UNARY_N180.wcnf O = 11835335
T = 188.01		 O = 81265577
T = 294.88
 O = N/A
T = TO
 O = 52244815
T = 241.86
 O = 77227387
T = 193.40
 O = N/A
T = TO
 O = 50570319
T = 254.31
 O = 11835335
T = 188.01
 O = 13794933
T = 5.45
Rounded_CorrelationClustering_Protein2_UNARY_N200.wcnf O = 14144892
T = 289.30		 O = N/A
T = TO
 O = N/A
T = TO
 O = 78588744
T = 244.62
 O = 88728883
T = 194.58
 O = N/A
T = TO
 O = N/A
T = TO
 O = 14144892
T = 289.30
 O = 14890675
T = 2.54
Rounded_CorrelationClustering_Protein2_UNARY_N220.wcnf O = 15920787
T = 152.61		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 110640160
T = 230.87
 O = N/A
T = TO
 O = N/A
T = TO
 O = 15920787
T = 152.61
 O = 20344257
T = 2.64
Rounded_CorrelationClustering_Protein2_UNARY_N240.wcnf O = 19853260
T = 33.40		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 19853260
T = 33.40
 O = 22486681
T = 3.83
Rounded_CorrelationClustering_Protein2_UNARY_N260.wcnf O = 20990742
T = 5.02		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 144833624
T = 254.13
 O = 20990742
T = 7.57
 O = 20990742
T = 5.02
Rounded_CorrelationClustering_Protein3_BINARY_N200.wcnf O = 13230084
T = 204.09		 O = 14199381
T = 268.45
 O = N/A
T = TO
 O = 107865361
T = 3.78
 O = 99019867
T = 288.17
 O = N/A
T = TO
 O = N/A
T = TO
 O = 13230084
T = 204.09
 O = 13725687
T = 0.27
Rounded_CorrelationClustering_Protein3_BINARY_N220.wcnf O = 14782717
T = 242.23		 O = 16237410
T = 285.99
 O = N/A
T = TO
 O = 120224776
T = 11.30
 O = 115439402
T = 244.11
 O = N/A
T = TO
 O = N/A
T = TO
 O = 14782717
T = 242.23
 O = 118811234
T = 0.17
Rounded_CorrelationClustering_Protein3_BINARY_N240.wcnf O = 16213542
T = 15.08		 O = 126161541
T = 295.91
 O = N/A
T = TO
 O = 142686431
T = 7.27
 O = 88263318
T = 90.65
 O = N/A
T = TO
 O = N/A
T = TO
 O = 16213542
T = 15.08
 O = 16872837
T = 0.42
Rounded_CorrelationClustering_Protein3_BINARY_N260.wcnf O = 18464568
T = 57.83		 O = 162395941
T = 293.32
 O = N/A
T = TO
 O = 169092150
T = 25.04
 O = 168211650
T = 45.21
 O = N/A
T = TO
 O = N/A
T = TO
 O = 18464568
T = 57.83
 O = 18956687
T = 0.37
Rounded_CorrelationClustering_Protein3_BINARY_N280.wcnf O = 21122422
T = 76.62		 O = 190968262
T = 289.22
 O = N/A
T = TO
 O = 188626173
T = 102.66
 O = 194669476
T = 146.79
 O = N/A
T = TO
 O = N/A
T = TO
 O = 21122422
T = 76.62
 O = 22019057
T = 0.46
Rounded_CorrelationClustering_Protein3_BINARY_N300.wcnf O = 25126238
T = 140.98		 O = 218630411
T = 290.70
 O = N/A
T = TO
 O = 222830387
T = 42.02
 O = 223907202
T = 276.90
 O = N/A
T = TO
 O = N/A
T = TO
 O = 25126238
T = 140.98
 O = 26451146
T = 0.58
Rounded_CorrelationClustering_Protein3_BINARY_N320.wcnf O = 32924417
T = 185.23		 O = 251126736
T = 277.76
 O = N/A
T = TO
 O = 250407006
T = 30.29
 O = 249700664
T = 106.88
 O = N/A
T = TO
 O = 113383069
T = 284.31
 O = 32924417
T = 185.23
 O = 33856588
T = 0.59
Rounded_CorrelationClustering_Protein3_BINARY_N340.wcnf O = 36276755
T = 128.78		 O = 285419936
T = 294.47
 O = N/A
T = TO
 O = 284313728
T = 64.34
 O = 282124164
T = 246.03
 O = N/A
T = TO
 O = 128119095
T = 254.36
 O = 36276755
T = 128.78
 O = 36335231
T = 0.79
Rounded_CorrelationClustering_Protein3_BINARY_N360.wcnf O = 39822162
T = 0.58		 O = 306941075
T = 288.19
 O = N/A
T = TO
 O = 300578370
T = 76.99
 O = 300849898
T = 85.37
 O = N/A
T = TO
 O = N/A
T = TO
 O = 39822162
T = 0.68
 O = 39822162
T = 0.58
Rounded_CorrelationClustering_Protein3_BINARY_N380.wcnf O = 47325852
T = 0.75		 O = 332604792
T = 295.45
 O = N/A
T = TO
 O = 328279734
T = 139.63
 O = 327379887
T = 264.41
 O = N/A
T = TO
 O = 166998485
T = 254.23
 O = 47623255
T = 0.75
 O = 47325852
T = 0.75
Rounded_CorrelationClustering_Protein3_BINARY_N400.wcnf O = 48209334
T = 0.79		 O = 357015947
T = 284.49
 O = N/A
T = TO
 O = 350466049
T = 68.03
 O = 349971772
T = 79.15
 O = N/A
T = TO
 O = 190562676
T = 254.24
 O = 48209334
T = 0.85
 O = 48209334
T = 0.79
Rounded_CorrelationClustering_Protein3_TRANSITIVE_N200.wcnf O = 13240567
T = 202.46		 O = 86864884
T = 141.53
 O = N/A
T = TO
 O = 90559079
T = 283.94
 O = 105868646
T = 4.79
 O = N/A
T = TO
 O = 13283417
T = 253.86
 O = 13240567
T = 202.46
 O = 13531304
T = 2.01
Rounded_CorrelationClustering_Protein3_TRANSITIVE_N220.wcnf O = 14477183
T = 253.92		 O = 97124201
T = 190.23
 O = N/A
T = TO
 O = 102439188
T = 251.69
 O = 118621181
T = 7.08
 O = N/A
T = TO
 O = 14477183
T = 253.92
 O = 14544097
T = 267.56
 O = 15138023
T = 2.78
Rounded_CorrelationClustering_Protein3_TRANSITIVE_N240.wcnf O = 16163684
T = 131.29		 O = 119386427
T = 293.02
 O = N/A
T = TO
 O = 123932279
T = 280.79
 O = 141798540
T = 10.09
 O = N/A
T = TO
 O = 17310150
T = 254.39
 O = 16163684
T = 131.29
 O = 16868935
T = 4.82
Rounded_CorrelationClustering_Protein3_TRANSITIVE_N260.wcnf O = 18585956
T = 170.19		 O = 144659175
T = 242.04
 O = N/A
T = TO
 O = 149882660
T = 261.72
 O = 166021963
T = 10.28
 O = N/A
T = TO
 O = 21781831
T = 254.47
 O = 18585956
T = 170.19
 O = 174821736
T = 3.35
Rounded_CorrelationClustering_Protein3_TRANSITIVE_N280.wcnf O = 21252669
T = 249.96		 O = 167419086
T = 231.69
 O = N/A
T = TO
 O = N/A
T = TO
 O = 189729094
T = 13.06
 O = N/A
T = TO
 O = 34683224
T = 284.13
 O = 21252669
T = 249.96
 O = 21521564
T = 22.14
Rounded_CorrelationClustering_Protein3_TRANSITIVE_N300.wcnf O = 25702771
T = 279.92		 O = 195163794
T = 251.42
 O = N/A
T = TO
 O = N/A
T = TO
 O = 218943261
T = 19.44
 O = N/A
T = TO
 O = 80251452
T = 254.41
 O = 25702771
T = 279.92
 O = 26223967
T = 6.70
Rounded_CorrelationClustering_Protein3_UNARY_N200.wcnf O = 15411836
T = 280.01		 O = N/A
T = TO
 O = N/A
T = TO
 O = 95168668
T = 278.51
 O = 94171219
T = 275.58
 O = N/A
T = TO
 O = N/A
T = TO
 O = 15411836
T = 280.01
 O = 18374571
T = 2.73
Rounded_CorrelationClustering_Protein3_UNARY_N220.wcnf O = 17920539
T = 140.40		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 104296081
T = 194.52
 O = N/A
T = TO
 O = 72407332
T = 254.41
 O = 17920539
T = 140.40
 O = 18715757
T = 7.99
Rounded_CorrelationClustering_Protein3_UNARY_N240.wcnf O = 19783851
T = 12.76		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 117966230
T = 254.14
 O = 144272224
T = 2.29
 O = 19783851
T = 12.76
Rounded_CorrelationClustering_Protein3_UNARY_N260.wcnf O = 21835518
T = 36.09		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 126736254
T = 254.10
 O = 21835518
T = 36.09
 O = 26337541
T = 23.52
Rounded_CorrelationClustering_Protein3_UNARY_N280.wcnf O = 25518922
T = 7.11		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 155654208
T = 253.63
 O = 25518922
T = 7.11
 O = 25922188
T = 6.39
Rounded_CorrelationClustering_Protein3_UNARY_N300.wcnf O = 31381264
T = 9.63		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 178951891
T = 254.42
 O = 31381264
T = 9.63
 O = 32103651
T = 6.91
Rounded_CorrelationClustering_Protein4_BINARY_N200.wcnf O = 4852470
T = 261.02		 O = 4852470
T = 261.02
 O = N/A
T = TO
 O = 60370601
T = 16.76
 O = 27440811
T = 275.15
 O = N/A
T = TO
 O = N/A
T = TO
 O = 5206767
T = 70.21
 O = 5529642
T = 1.79
Rounded_CorrelationClustering_Protein4_BINARY_N220.wcnf O = 6453673
T = 82.03		 O = 6453673
T = 82.03
 O = N/A
T = TO
 O = 72317896
T = 3.19
 O = 70286804
T = 63.74
 O = N/A
T = TO
 O = N/A
T = TO
 O = 6598927
T = 43.58
 O = 7052119
T = 7.69
Rounded_CorrelationClustering_Protein4_BINARY_N240.wcnf O = 8395325
T = 86.12		 O = 8707496
T = 138.05
 O = N/A
T = TO
 O = 88704838
T = 4.54
 O = 85205719
T = 153.33
 O = N/A
T = TO
 O = 16237610
T = 253.84
 O = 8395325
T = 86.12
 O = 9225513
T = 1.48
Rounded_CorrelationClustering_Protein4_BINARY_N260.wcnf O = 10747395
T = 85.02		 O = 11442869
T = 188.50
 O = N/A
T = TO
 O = 98641093
T = 3.59
 O = 98715881
T = 152.16
 O = N/A
T = TO
 O = 20075174
T = 254.52
 O = 10747395
T = 85.02
 O = 11898189
T = 0.25
Rounded_CorrelationClustering_Protein4_BINARY_N280.wcnf O = 13074091
T = 5.44		 O = 79442438
T = 295.59
 O = N/A
T = TO
 O = 113578957
T = 3.24
 O = 112807309
T = 221.77
 O = N/A
T = TO
 O = 27472279
T = 253.62
 O = 13074091
T = 5.44
 O = 14401045
T = 1.66
Rounded_CorrelationClustering_Protein4_BINARY_N300.wcnf O = 14487557
T = 38.97		 O = 92537034
T = 295.84
 O = N/A
T = TO
 O = 125376952
T = 2.42
 O = 122955631
T = 273.41
 O = N/A
T = TO
 O = 43451689
T = 253.89
 O = 14487557
T = 38.97
 O = 14965423
T = 0.30
Rounded_CorrelationClustering_Protein4_BINARY_N320.wcnf O = 15445478
T = 8.72		 O = 97384243
T = 295.93
 O = N/A
T = TO
 O = 137506619
T = 2.60
 O = 135928577
T = 234.84
 O = N/A
T = TO
 O = N/A
T = TO
 O = 15445478
T = 8.72
 O = 16017094
T = 2.00
Rounded_CorrelationClustering_Protein4_BINARY_N340.wcnf O = 17713833
T = 3.05		 O = 122865434
T = 295.13
 O = N/A
T = TO
 O = 146112787
T = 2.52
 O = 142786669
T = 283.86
 O = N/A
T = TO
 O = 37941919
T = 254.39
 O = 17905158
T = 7.35
 O = 17713833
T = 3.05
Rounded_CorrelationClustering_Protein4_BINARY_N360.wcnf O = 18954693
T = 7.97		 O = 147918435
T = 286.39
 O = N/A
T = TO
 O = 158952245
T = 3.54
 O = 156908720
T = 27.09
 O = N/A
T = TO
 O = 68460687
T = 253.53
 O = 18954693
T = 7.97
 O = 20360510
T = 2.24
Rounded_CorrelationClustering_Protein4_BINARY_N380.wcnf O = 20386080
T = 103.18		 O = 170201151
T = 293.86
 O = N/A
T = TO
 O = 179970346
T = 3.32
 O = 178659110
T = 261.48
 O = N/A
T = TO
 O = 52888042
T = 254.20
 O = 20386080
T = 103.18
 O = 22601221
T = 2.10
Rounded_CorrelationClustering_Protein4_BINARY_N400.wcnf O = 21895900
T = 99.28		 O = 180286967
T = 290.61
 O = N/A
T = TO
 O = 186929968
T = 14.78
 O = 186533407
T = 155.74
 O = N/A
T = TO
 O = 61030120
T = 253.88
 O = 21895900
T = 99.28
 O = 23550001
T = 0.60
Rounded_CorrelationClustering_Protein4_TRANSITIVE_N150.wcnf O = 2350701
T = 20.09		 O = 18589740
T = 190.49
 O = 29114425
T = 253.74
 O = 23903827
T = 251.56
 O = 35183525
T = 2.31
 O = 2350701
T = 20.09
 O = 2350701
T = 254.39
 O = 2444810
T = 115.95
 O = 2956139
T = 2.81
Rounded_CorrelationClustering_Protein4_TRANSITIVE_N170.wcnf O = 3102746
T = 254.34		 O = 28038177
T = 110.39
 O = N/A
T = TO
 O = 32697785
T = 137.12
 O = 45129981
T = 2.79
 O = N/A
T = TO
 O = 3102746
T = 254.34
 O = 3663016
T = 128.43
 O = 3939346
T = 2.17
Rounded_CorrelationClustering_Protein4_TRANSITIVE_N190.wcnf O = 3694489
T = 254.10		 O = 36799939
T = 112.53
 O = N/A
T = TO
 O = 40807137
T = 199.71
 O = 54406791
T = 4.12
 O = N/A
T = TO
 O = 3694489
T = 254.10
 O = 4480329
T = 121.38
 O = 4566695
T = 4.51
Rounded_CorrelationClustering_Protein4_TRANSITIVE_N210.wcnf O = 4285955
T = 253.62		 O = 50416144
T = 135.29
 O = N/A
T = TO
 O = 54676639
T = 263.67
 O = 69746765
T = 5.69
 O = N/A
T = TO
 O = 4285955
T = 253.62
 O = 4975281
T = 226.23
 O = 5447737
T = 7.04
Rounded_CorrelationClustering_Protein4_TRANSITIVE_N230.wcnf O = 5718067
T = 254.37		 O = 62382382
T = 58.47
 O = N/A
T = TO
 O = 67124977
T = 165.55
 O = 81894418
T = 6.92
 O = N/A
T = TO
 O = 5718067
T = 254.37
 O = 6406435
T = 283.07
 O = 7570657
T = 5.40
Rounded_CorrelationClustering_Protein4_TRANSITIVE_N250.wcnf O = 8631862
T = 254.54		 O = 66813850
T = 214.41
 O = N/A
T = TO
 O = 72960087
T = 275.83
 O = 89999205
T = 9.18
 O = N/A
T = TO
 O = 8631862
T = 254.54
 O = 9178714
T = 214.69
 O = 9846408
T = 16.30
Rounded_CorrelationClustering_Protein4_UNARY_N150.wcnf O = 3311550
T = 15.22		 O = 3836601
T = 45.48
 O = N/A
T = TO
 O = 3925380
T = 28.92
 O = 22541244
T = 40.91
 O = N/A
T = TO
 O = N/A
T = TO
 O = 3311550
T = 15.22
 O = 4309064
T = 157.72
Rounded_CorrelationClustering_Protein4_UNARY_N170.wcnf O = 4405139
T = 108.75		 O = 4455674
T = 219.14
 O = N/A
T = TO
 O = 5182379
T = 254.71
 O = 31279507
T = 40.01
 O = N/A
T = TO
 O = N/A
T = TO
 O = 4405139
T = 108.75
 O = 5906461
T = 24.16
Rounded_CorrelationClustering_Protein4_UNARY_N190.wcnf O = 5007050
T = 68.89		 O = 5181815
T = 282.78
 O = N/A
T = TO
 O = 6800412
T = 150.75
 O = 39817226
T = 270.28
 O = N/A
T = TO
 O = 30293791
T = 253.97
 O = 5007050
T = 68.89
 O = 7195255
T = 56.75
Rounded_CorrelationClustering_Protein4_UNARY_N210.wcnf O = 6089645
T = 99.66		 O = N/A
T = TO
 O = N/A
T = TO
 O = 32849197
T = 214.77
 O = 55385821
T = 99.62
 O = N/A
T = TO
 O = 27939077
T = 253.55
 O = 6089645
T = 99.66
 O = 9311034
T = 1.56
Rounded_CorrelationClustering_Protein4_UNARY_N230.wcnf O = 8755108
T = 102.33		 O = N/A
T = TO
 O = N/A
T = TO
 O = 45275871
T = 247.46
 O = 69170071
T = 208.75
 O = N/A
T = TO
 O = 27080881
T = 254.60
 O = 8755108
T = 102.33
 O = 11574286
T = 2.89
Rounded_CorrelationClustering_Protein4_UNARY_N250.wcnf O = 12386904
T = 26.22		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 76358277
T = 256.78
 O = N/A
T = TO
 O = 29819830
T = 254.01
 O = 12386904
T = 26.22
 O = 14867196
T = 6.02
Rounded_CorrelationClustering_Vowel_BINARY_N700_D0.200.wcnf O = 87973399
T = 254.52		 O = N/A
T = TO
 O = N/A
T = TO
 O = 120932462
T = 272.12
 O = 119344199
T = 247.15
 O = N/A
T = TO
 O = 87973399
T = 254.52
 O = 140955851
T = 1.95
 O = 140955851
T = 4.84
Rounded_CorrelationClustering_Vowel_BINARY_N720_D0.200.wcnf O = 98675112
T = 254.52		 O = N/A
T = TO
 O = N/A
T = TO
 O = 126028341
T = 287.66
 O = 125443663
T = 182.31
 O = N/A
T = TO
 O = 98675112
T = 254.52
 O = N/A
T = TO
 O = 151867182
T = 3.41
Rounded_CorrelationClustering_Vowel_BINARY_N740_D0.200.wcnf O = 103361998
T = 284.42		 O = N/A
T = TO
 O = N/A
T = TO
 O = 130198899
T = 286.21
 O = 129775888
T = 285.66
 O = N/A
T = TO
 O = 103361998
T = 284.42
 O = N/A
T = TO
 O = 154844127
T = 3.67
Rounded_CorrelationClustering_Vowel_BINARY_N760_D0.200.wcnf O = 95571732
T = 254.35		 O = N/A
T = TO
 O = N/A
T = TO
 O = 133864409
T = 257.04
 O = 132335000
T = 251.96
 O = N/A
T = TO
 O = 95571732
T = 254.35
 O = 153391266
T = 1.94
 O = 153391266
T = 3.07
Rounded_CorrelationClustering_Vowel_BINARY_N780_D0.200.wcnf O = 106121408
T = 254.45		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 133900897
T = 275.59
 O = N/A
T = TO
 O = 106121408
T = 254.45
 O = 153647803
T = 2.24
 O = 153647803
T = 2.04
Rounded_CorrelationClustering_Vowel_BINARY_N800_D0.200.wcnf O = 102806040
T = 253.31		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 138748231
T = 270.12
 O = N/A
T = TO
 O = 102806040
T = 253.31
 O = 150936595
T = 2.54
 O = N/A
T = TO
ped2.B.recomb1-0.01-1.wcnf O = 7
T = 0.35		 O = 7
T = 50.33
 O = 7
T = 37.12
 O = 7
T = 34.90
 O = 7
T = 21.51
 O = 7
T = 13.47
 O = 7
T = 0.36
 O = 7
T = 0.35
 O = 7
T = 0.37
ped2.B.recomb1-0.01-2.wcnf O = 7
T = 0.36		 O = 7
T = 64.26
 O = 1750
T = 155.57
 O = 7
T = 31.70
 O = 7
T = 29.42
 O = 7
T = 21.01
 O = 7
T = 0.36
 O = 7
T = 0.38
 O = 7
T = 0.38
ped2.B.recomb1-0.01-3.wcnf O = 6
T = 0.33		 O = 6
T = 42.26
 O = 6
T = 29.88
 O = 6
T = 31.98
 O = 6
T = 17.61
 O = 6
T = 13.12
 O = 6
T = 0.37
 O = 6
T = 0.33
 O = 6
T = 0.34
ped2.B.recomb1-0.01-4.wcnf O = 7
T = 0.31		 O = 7
T = 51.40
 O = 3493
T = 232.51
 O = 7
T = 37.70
 O = 7
T = 22.56
 O = 7
T = 26.62
 O = 7
T = 0.37
 O = 7
T = 0.31
 O = 7
T = 0.42
ped2.B.recomb1-0.01-5.wcnf O = 7
T = 0.36		 O = 7
T = 60.00
 O = 7
T = 244.08
 O = 7
T = 29.41
 O = 7
T = 30.15
 O = 7
T = 13.28
 O = 7
T = 0.41
 O = 7
T = 0.36
 O = 7
T = 0.37
ped2.B.recomb1-0.10-10.wcnf O = 6
T = 0.40		 O = 6
T = 60.91
 O = 6
T = 160.35
 O = 6
T = 32.45
 O = 6
T = 31.00
 O = 6
T = 82.85
 O = 6
T = 0.42
 O = 6
T = 0.40
 O = 6
T = 0.42
ped2.B.recomb1-0.10-6.wcnf O = 7
T = 0.43		 O = 7
T = 45.43
 O = 7
T = 15.95
 O = 7
T = 32.07
 O = 7
T = 21.57
 O = 7
T = 207.97
 O = 7
T = 0.54
 O = 7
T = 0.43
 O = 7
T = 0.51
ped2.B.recomb1-0.10-7.wcnf O = 588
T = 0.52		 O = 588
T = 47.88
 O = 1169
T = 57.79
 O = 588
T = 36.22
 O = 588
T = 22.70
 O = N/A
T = TO
 O = 588
T = 0.60
 O = 588
T = 0.56
 O = 588
T = 0.52
ped2.B.recomb1-0.10-8.wcnf O = 589
T = 0.46		 O = 589
T = 35.82
 O = 1751
T = 273.34
 O = 589
T = 34.73
 O = 589
T = 27.68
 O = 589
T = 171.45
 O = 589
T = 0.49
 O = 589
T = 0.46
 O = 589
T = 0.50
ped2.B.recomb1-0.10-9.wcnf O = 7
T = 0.47		 O = 7
T = 55.99
 O = 1750
T = 30.07
 O = 7
T = 28.31
 O = 7
T = 16.08
 O = 7
T = 64.31
 O = 7
T = 0.49
 O = 7
T = 0.47
 O = 7
T = 0.50
ped2.B.recomb1-0.20-11.wcnf O = 7
T = 0.63		 O = 7
T = 52.61
 O = 588
T = 29.80
 O = 7
T = 28.18
 O = 7
T = 17.00
 O = N/A
T = TO
 O = 7
T = 0.84
 O = 7
T = 0.63
 O = 7
T = 0.74
ped2.B.recomb1-0.20-12.wcnf O = 7
T = 0.62		 O = 7
T = 51.70
 O = 1750
T = 148.18
 O = 7
T = 33.96
 O = 7
T = 17.96
 O = N/A
T = TO
 O = 7
T = 0.76
 O = 7
T = 0.62
 O = 7
T = 0.67
ped2.B.recomb1-0.20-13.wcnf O = 7
T = 0.49		 O = 7
T = 53.42
 O = 588
T = 17.26
 O = 7
T = 27.20
 O = 7
T = 25.59
 O = N/A
T = TO
 O = 7
T = 0.88
 O = 7
T = 0.59
 O = 7
T = 0.49
ped2.B.recomb1-0.20-14.wcnf O = 7
T = 0.57		 O = 7
T = 50.30
 O = 3493
T = 278.70
 O = 7
T = 31.37
 O = 7
T = 16.60
 O = N/A
T = TO
 O = 7
T = 0.69
 O = 7
T = 0.57
 O = 7
T = 0.58
ped2.B.recomb1-0.20-15.wcnf O = 7
T = 0.76		 O = 7
T = 51.56
 O = 1169
T = 264.22
 O = 7
T = 32.74
 O = 7
T = 19.04
 O = N/A
T = TO
 O = 7
T = 0.82
 O = 7
T = 0.77
 O = 7
T = 0.76
ped2.G.recomb1-0.01-1.wcnf O = 6430
T = 1.75		 O = N/A
T = TO
 O = N/A
T = TO
 O = 13409
T = 100.48
 O = N/A
T = TO
 O = N/A
T = TO
 O = 6430
T = 3.99
 O = 6430
T = 1.75
 O = 6430
T = 2.86
ped2.G.recomb1-0.01-2.wcnf O = 4686
T = 1.41		 O = N/A
T = TO
 O = N/A
T = TO
 O = 14570
T = 70.79
 O = 9339
T = 261.56
 O = N/A
T = TO
 O = 4686
T = 3.19
 O = 4686
T = 1.41
 O = 4686
T = 2.60
ped2.G.recomb1-0.01-3.wcnf O = 5266
T = 1.33		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 5266
T = 2.46
 O = 5266
T = 1.33
 O = 5266
T = 1.86
ped2.G.recomb1-0.01-4.wcnf O = 7009
T = 1.88		 O = 17475
T = 263.92
 O = N/A
T = TO
 O = 13986
T = 146.74
 O = 11660
T = 239.99
 O = N/A
T = TO
 O = 7009
T = 3.06
 O = 7009
T = 1.88
 O = 7009
T = 2.39
ped2.G.recomb1-0.01-5.wcnf O = 3521
T = 1.25		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 5847
T = 269.43
 O = N/A
T = TO
 O = 3521
T = 2.26
 O = 3521
T = 1.25
 O = 3521
T = 1.91
ped2.G.recomb1-0.10-10.wcnf O = 2358
T = 1.57		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 2358
T = 3.61
 O = 2358
T = 1.57
 O = 2358
T = 3.05
ped2.G.recomb1-0.10-6.wcnf O = 5845
T = 1.88		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 8172
T = 256.18
 O = N/A
T = TO
 O = 5845
T = 4.16
 O = 5845
T = 1.88
 O = 5845
T = 2.97
ped2.G.recomb1-0.10-7.wcnf O = 3522
T = 3.13		 O = N/A
T = TO
 O = N/A
T = TO
 O = 5847
T = 284.67
 O = N/A
T = TO
 O = N/A
T = TO
 O = 3522
T = 7.23
 O = 3522
T = 3.13
 O = 3522
T = 4.74
ped2.G.recomb1-0.10-8.wcnf O = 8175
T = 2.26		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 8175
T = 5.19
 O = 8175
T = 2.26
 O = 8175
T = 3.87
ped2.G.recomb1-0.10-9.wcnf O = 4105
T = 1.75		 O = N/A
T = TO
 O = N/A
T = TO
 O = 12826
T = 267.51
 O = N/A
T = TO
 O = N/A
T = TO
 O = 4105
T = 4.06
 O = 4105
T = 1.75
 O = 4105
T = 2.95
ped2.G.recomb1-0.20-11.wcnf O = 4103
T = 3.91		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 15156
T = 248.55
 O = N/A
T = TO
 O = 4103
T = 10.04
 O = 4103
T = 3.91
 O = 4103
T = 9.73
ped2.G.recomb1-0.20-12.wcnf O = 8175
T = 3.86		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 8175
T = 8.95
 O = 8175
T = 3.86
 O = 8175
T = 9.03
ped2.G.recomb1-0.20-13.wcnf O = 6430
T = 3.74		 O = N/A
T = TO
 O = N/A
T = TO
 O = 25043
T = 121.92
 O = 24470
T = 270.86
 O = N/A
T = TO
 O = 6430
T = 7.33
 O = 6430
T = 3.74
 O = 6430
T = 7.12
ped2.G.recomb1-0.20-14.wcnf O = 5267
T = 3.63		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 5267
T = 7.43
 O = 5267
T = 3.63
 O = 5267
T = 6.73
ped2.G.recomb1-0.20-15.wcnf O = 5265
T = 3.45		 O = 23865
T = 258.08
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 5265
T = 8.47
 O = 5265
T = 3.45
 O = 5265
T = 5.01
ped2.G.recomb10-0.01-1.wcnf O = 58202
T = 5.68		 O = N/A
T = TO
 O = N/A
T = TO
 O = 123309
T = 169.19
 O = N/A
T = TO
 O = N/A
T = TO
 O = 58202
T = 17.30
 O = 58202
T = 5.68
 O = 58202
T = 104.21
ped2.G.recomb10-0.01-2.wcnf O = 46566
T = 4.52		 O = N/A
T = TO
 O = N/A
T = TO
 O = 81454
T = 246.50
 O = 81448
T = 288.61
 O = N/A
T = TO
 O = 46566
T = 13.72
 O = 46566
T = 4.52
 O = 46566
T = 12.16
ped2.G.recomb10-0.01-3.wcnf O = 47737
T = 3.92		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 47737
T = 15.89
 O = 47737
T = 3.92
 O = 47737
T = 8.82
ped2.G.recomb10-0.01-4.wcnf O = 58784
T = 5.45		 O = 121554
T = 270.01
 O = N/A
T = TO
 O = 111115
T = 212.55
 O = N/A
T = TO
 O = N/A
T = TO
 O = 58784
T = 16.84
 O = 58784
T = 5.45
 O = 58784
T = 37.50
ped2.G.recomb10-0.01-5.wcnf O = 59945
T = 6.34		 O = N/A
T = TO
 O = N/A
T = TO
 O = 108774
T = 109.62
 O = N/A
T = TO
 O = N/A
T = TO
 O = 59945
T = 17.89
 O = 59945
T = 6.34
 O = 59945
T = 84.33
ped2.G.recomb10-0.10-10.wcnf O = 57616
T = 8.35		 O = N/A
T = TO
 O = N/A
T = TO
 O = 112269
T = 279.93
 O = N/A
T = TO
 O = N/A
T = TO
 O = 57616
T = 36.41
 O = 57616
T = 8.35
 O = 57616
T = 77.06
ped2.G.recomb10-0.10-6.wcnf O = 47155
T = 4.55		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 47155
T = 12.44
 O = 47155
T = 4.55
 O = 47155
T = 10.98
ped2.G.recomb10-0.10-7.wcnf O = 52383
T = 9.71		 O = N/A
T = TO
 O = N/A
T = TO
 O = 111679
T = 281.22
 O = 104709
T = 286.91
 O = N/A
T = TO
 O = 52383
T = 31.58
 O = 52383
T = 9.71
 O = 52383
T = 230.41
ped2.G.recomb10-0.10-8.wcnf O = 55874
T = 7.17		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 55874
T = 20.12
 O = 55874
T = 7.17
 O = 55874
T = 47.10
ped2.G.recomb10-0.10-9.wcnf O = 47741
T = 4.39		 O = N/A
T = TO
 O = N/A
T = TO
 O = 95418
T = 211.95
 O = N/A
T = TO
 O = N/A
T = TO
 O = 47741
T = 20.14
 O = 47741
T = 4.39
 O = 47741
T = 24.49
ped2.G.recomb10-0.20-11.wcnf O = 50240
T = 254.48		 O = N/A
T = TO
 O = N/A
T = TO
 O = 123323
T = 210.01
 O = 107059
T = 268.19
 O = N/A
T = TO
 O = 50240
T = 254.48
 O = 350551
T = 1.72
 O = 1355024
T = 1.41
ped2.G.recomb10-0.20-12.wcnf O = 54713
T = 10.32		 O = N/A
T = TO
 O = N/A
T = TO
 O = 124491
T = 146.91
 O = 102980
T = 284.35
 O = N/A
T = TO
 O = 54713
T = 53.94
 O = 54713
T = 10.32
 O = 54877
T = 3.49
ped2.G.recomb10-0.20-13.wcnf O = 40755
T = 257.76		 O = N/A
T = TO
 O = N/A
T = TO
 O = 105289
T = 274.29
 O = N/A
T = TO
 O = N/A
T = TO
 O = 40908
T = 284.06
 O = 40755
T = 257.76
 O = 1223128
T = 1.84
ped2.G.recomb10-0.20-14.wcnf O = 41339
T = 6.89		 O = 108184
T = 251.24
 O = N/A
T = TO
 O = 103552
T = 249.45
 O = N/A
T = TO
 O = N/A
T = TO
 O = 41339
T = 30.70
 O = 41339
T = 6.89
 O = 41456
T = 3.14
ped2.G.recomb10-0.20-15.wcnf O = 47725
T = 26.86		 O = N/A
T = TO
 O = N/A
T = TO
 O = 130301
T = 79.16
 O = N/A
T = TO
 O = N/A
T = TO
 O = 47725
T = 79.82
 O = 47725
T = 26.86
 O = 1276006
T = 1.35
ped2.G.recomb5-0.01-1.wcnf O = 29116
T = 2.92		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 29116
T = 7.07
 O = 29116
T = 2.92
 O = 29116
T = 6.10
ped2.G.recomb5-0.01-2.wcnf O = 34935
T = 3.37		 O = N/A
T = TO
 O = N/A
T = TO
 O = 77379
T = 112.53
 O = N/A
T = TO
 O = N/A
T = TO
 O = 34935
T = 9.85
 O = 34935
T = 3.37
 O = 34935
T = 7.69
ped2.G.recomb5-0.01-3.wcnf O = 31442
T = 2.79		 O = N/A
T = TO
 O = N/A
T = TO
 O = 60510
T = 223.25
 O = N/A
T = TO
 O = N/A
T = TO
 O = 31442
T = 6.16
 O = 31442
T = 2.79
 O = 31442
T = 4.76
ped2.G.recomb5-0.01-4.wcnf O = 21555
T = 2.03		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 21555
T = 4.85
 O = 21555
T = 2.03
 O = 21555
T = 3.32
ped2.G.recomb5-0.01-5.wcnf O = 25054
T = 2.36		 O = N/A
T = TO
 O = N/A
T = TO
 O = 50056
T = 264.56
 O = N/A
T = TO
 O = N/A
T = TO
 O = 25054
T = 4.92
 O = 25054
T = 2.36
 O = 25054
T = 3.95
ped2.G.recomb5-0.10-10.wcnf O = 25042
T = 3.24		 O = 63985
T = 258.34
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 25042
T = 9.24
 O = 25042
T = 3.24
 O = 25042
T = 6.17
ped2.G.recomb5-0.10-6.wcnf O = 27380
T = 3.29		 O = 62850
T = 246.19
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 27380
T = 9.55
 O = 27380
T = 3.29
 O = 27380
T = 8.24
ped2.G.recomb5-0.10-7.wcnf O = 25626
T = 3.83		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 25626
T = 12.27
 O = 25626
T = 3.83
 O = 25626
T = 12.25
ped2.G.recomb5-0.10-8.wcnf O = 25048
T = 3.57		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 25048
T = 12.69
 O = 25048
T = 3.57
 O = 25048
T = 54.95
ped2.G.recomb5-0.10-9.wcnf O = 31445
T = 4.35		 O = 80856
T = 277.45
 O = N/A
T = TO
 O = 77374
T = 268.38
 O = N/A
T = TO
 O = N/A
T = TO
 O = 31445
T = 16.11
 O = 31445
T = 4.35
 O = 31445
T = 10.91
ped2.G.recomb5-0.20-11.wcnf O = 29122
T = 17.56		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 75651
T = 281.92
 O = N/A
T = TO
 O = 29122
T = 89.75
 O = 29122
T = 17.56
 O = 29258
T = 3.04
ped2.G.recomb5-0.20-12.wcnf O = 20972
T = 5.02		 O = 67474
T = 262.17
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 20972
T = 18.40
 O = 20972
T = 5.02
 O = 20972
T = 42.52
ped2.G.recomb5-0.20-13.wcnf O = 30286
T = 32.48		 O = N/A
T = TO
 O = N/A
T = TO
 O = 90177
T = 141.11
 O = N/A
T = TO
 O = N/A
T = TO
 O = 30286
T = 147.16
 O = 30286
T = 32.48
 O = 1294011
T = 1.44
ped2.G.recomb5-0.20-14.wcnf O = 20976
T = 7.31		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 20976
T = 21.56
 O = 20976
T = 7.31
 O = 20976
T = 34.81
ped2.G.recomb5-0.20-15.wcnf O = 25045
T = 4.25		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 25045
T = 13.70
 O = 25045
T = 4.25
 O = 25045
T = 10.45
ped3.D.recomb10-0.20-11.wcnf O = 690
T = 0.48		 O = 690
T = 23.46
 O = 690
T = 4.37
 O = 690
T = 20.92
 O = 690
T = 11.39
 O = N/A
T = TO
 O = 690
T = 1.13
 O = 690
T = 0.48
 O = 690
T = 0.70
ped3.D.recomb10-0.20-12.wcnf O = 349
T = 0.22		 O = 349
T = 24.87
 O = 349
T = 17.99
 O = 349
T = 18.74
 O = 349
T = 11.86
 O = 349
T = 203.77
 O = 349
T = 0.33
 O = 349
T = 0.22
 O = 349
T = 0.25
ped3.D.recomb10-0.20-13.wcnf O = 350
T = 0.80		 O = 350
T = 35.36
 O = 350
T = 5.52
 O = 350
T = 11.52
 O = 350
T = 11.50
 O = N/A
T = TO
 O = 350
T = 0.87
 O = 350
T = 0.80
 O = 350
T = 1.30
ped3.D.recomb10-0.20-14.wcnf O = 7
T = 0.29		 O = 7
T = 24.77
 O = 7
T = 9.58
 O = 7
T = 17.33
 O = 7
T = 8.47
 O = N/A
T = TO
 O = 7
T = 0.40
 O = 7
T = 0.29
 O = 7
T = 0.47
ped3.D.recomb10-0.20-15.wcnf O = 689
T = 1.53		 O = 689
T = 11.60
 O = 689
T = 110.87
 O = 689
T = 10.58
 O = 689
T = 8.39
 O = N/A
T = TO
 O = 689
T = 1.53
 O = 689
T = 7.02
 O = 689
T = 4.40
ped3.E.recomb10-0.20-11.wcnf O = 9588
T = 1.30		 O = N/A
T = TO
 O = N/A
T = TO
 O = 13351
T = 36.57
 O = 13689
T = 198.98
 O = N/A
T = TO
 O = 9588
T = 2.97
 O = 9588
T = 1.30
 O = 9588
T = 2.55
ped3.E.recomb10-0.20-12.wcnf O = 9927
T = 2.91		 O = N/A
T = TO
 O = N/A
T = TO
 O = 12669
T = 274.93
 O = 13011
T = 151.76
 O = N/A
T = TO
 O = 9927
T = 4.62
 O = 9927
T = 2.91
 O = 9927
T = 18.96
ped3.E.recomb10-0.20-13.wcnf O = 8559
T = 1.15		 O = N/A
T = TO
 O = N/A
T = TO
 O = 11295
T = 68.64
 O = 9936
T = 253.93
 O = N/A
T = TO
 O = 8559
T = 3.04
 O = 8559
T = 1.15
 O = 8559
T = 3.00
ped3.E.recomb10-0.20-14.wcnf O = 8555
T = 5.66		 O = N/A
T = TO
 O = N/A
T = TO
 O = 11297
T = 275.39
 O = 10278
T = 268.60
 O = N/A
T = TO
 O = 8555
T = 13.32
 O = 8555
T = 5.66
 O = 8555
T = 116.71
ped3.E.recomb10-0.20-15.wcnf O = 3781
T = 2.04		 O = N/A
T = TO
 O = N/A
T = TO
 O = 4123
T = 173.19
 O = 3784
T = 129.31
 O = N/A
T = TO
 O = 3781
T = 3.99
 O = 3781
T = 2.04
 O = 3781
T = 4.20
ped3.F.recomb10-0.01-1.wcnf O = 6853
T = 0.49		 O = N/A
T = TO
 O = N/A
T = TO
 O = 6858
T = 118.39
 O = 6855
T = 220.10
 O = N/A
T = TO
 O = 6853
T = 0.94
 O = 6853
T = 0.49
 O = 6853
T = 0.91
ped3.F.recomb10-0.01-2.wcnf O = 8900
T = 0.52		 O = N/A
T = TO
 O = N/A
T = TO
 O = 9587
T = 185.87
 O = 9245
T = 228.39
 O = N/A
T = TO
 O = 8900
T = 0.88
 O = 8900
T = 0.52
 O = 8900
T = 0.72
ped3.F.recomb10-0.01-3.wcnf O = 7193
T = 0.45		 O = N/A
T = TO
 O = N/A
T = TO
 O = 7195
T = 240.63
 O = 7535
T = 38.83
 O = N/A
T = TO
 O = 7193
T = 0.98
 O = 7193
T = 0.45
 O = 7193
T = 0.72
ped3.F.recomb10-0.01-4.wcnf O = 5483
T = 0.58		 O = N/A
T = TO
 O = 12989
T = 29.88
 O = 5485
T = 41.37
 O = 5483
T = 104.08
 O = N/A
T = TO
 O = 5483
T = 0.99
 O = 5483
T = 0.58
 O = 5483
T = 0.86
ped3.F.recomb10-0.01-5.wcnf O = 7540
T = 0.68		 O = N/A
T = TO
 O = N/A
T = TO
 O = 7882
T = 145.42
 O = 7541
T = 34.50
 O = N/A
T = TO
 O = 7540
T = 0.97
 O = 7540
T = 0.68
 O = 7540
T = 0.70
ped3.F.recomb10-0.10-10.wcnf O = 7537
T = 1.04		 O = N/A
T = TO
 O = N/A
T = TO
 O = 8566
T = 114.76
 O = 7883
T = 119.81
 O = N/A
T = TO
 O = 7537
T = 2.00
 O = 7537
T = 1.04
 O = 7537
T = 3.01
ped3.F.recomb10-0.10-6.wcnf O = 6517
T = 0.69		 O = N/A
T = TO
 O = N/A
T = TO
 O = 6862
T = 65.68
 O = 6522
T = 289.06
 O = N/A
T = TO
 O = 6517
T = 1.31
 O = 6517
T = 0.69
 O = 6517
T = 0.94
ped3.F.recomb10-0.10-7.wcnf O = 8905
T = 1.14		 O = 12323
T = 261.29
 O = N/A
T = TO
 O = 8916
T = 235.46
 O = 8913
T = 115.13
 O = N/A
T = TO
 O = 8905
T = 1.70
 O = 8905
T = 1.14
 O = 8905
T = 1.61
ped3.F.recomb10-0.10-8.wcnf O = 9245
T = 1.36		 O = N/A
T = TO
 O = N/A
T = TO
 O = 11647
T = 154.68
 O = 11310
T = 39.81
 O = N/A
T = TO
 O = 9245
T = 5.99
 O = 9245
T = 1.36
 O = 9245
T = 12.69
ped3.F.recomb10-0.10-9.wcnf O = 5488
T = 1.04		 O = 8905
T = 281.06
 O = N/A
T = TO
 O = 6513
T = 150.30
 O = 6171
T = 32.81
 O = N/A
T = TO
 O = 5488
T = 1.71
 O = 5488
T = 1.04
 O = 5488
T = 9.72
ped3.F.recomb10-0.20-11.wcnf O = 4807
T = 1.29		 O = N/A
T = TO
 O = N/A
T = TO
 O = 5153
T = 182.26
 O = 5150
T = 86.83
 O = N/A
T = TO
 O = 4807
T = 3.04
 O = 4807
T = 1.29
 O = 4807
T = 4.88
ped3.F.recomb10-0.20-12.wcnf O = 5840
T = 5.40		 O = N/A
T = TO
 O = N/A
T = TO
 O = 8235
T = 43.59
 O = 7209
T = 163.34
 O = N/A
T = TO
 O = 5840
T = 11.95
 O = 5840
T = 5.40
 O = 5840
T = 26.38
ped3.F.recomb10-0.20-13.wcnf O = 2412
T = 1.09		 O = N/A
T = TO
 O = N/A
T = TO
 O = 2417
T = 252.22
 O = 2414
T = 174.96
 O = N/A
T = TO
 O = 2412
T = 1.80
 O = 2412
T = 1.09
 O = 2412
T = 1.76
ped3.F.recomb10-0.20-14.wcnf O = 5482
T = 2.39		 O = N/A
T = TO
 O = N/A
T = TO
 O = 6174
T = 33.61
 O = 6170
T = 177.68
 O = N/A
T = TO
 O = 5482
T = 5.24
 O = 5482
T = 2.39
 O = 5482
T = 15.12
ped3.F.recomb10-0.20-15.wcnf O = 4123
T = 1.07		 O = N/A
T = TO
 O = N/A
T = TO
 O = 5148
T = 86.09
 O = 4467
T = 221.42
 O = N/A
T = TO
 O = 4123
T = 2.09
 O = 4123
T = 1.07
 O = 4123
T = 1.32
ped3.G.recomb10-0.01-1.wcnf O = 15748
T = 1.40		 O = N/A
T = TO
 O = N/A
T = TO
 O = 19856
T = 177.81
 O = 18488
T = 222.81
 O = N/A
T = TO
 O = 15748
T = 3.85
 O = 15748
T = 1.40
 O = 15748
T = 4.41
ped3.G.recomb10-0.01-2.wcnf O = 16784
T = 1.15		 O = N/A
T = TO
 O = N/A
T = TO
 O = 20884
T = 149.64
 O = 21226
T = 283.32
 O = N/A
T = TO
 O = 16784
T = 3.23
 O = 16784
T = 1.15
 O = 16784
T = 2.13
ped3.G.recomb10-0.01-3.wcnf O = 15414
T = 1.47		 O = N/A
T = TO
 O = N/A
T = TO
 O = 21561
T = 180.22
 O = 19855
T = 212.40
 O = N/A
T = TO
 O = 15414
T = 4.55
 O = 15414
T = 1.47
 O = 15414
T = 2.62
ped3.G.recomb10-0.01-4.wcnf O = 17444
T = 1.52		 O = N/A
T = TO
 O = N/A
T = TO
 O = 25303
T = 64.95
 O = 23263
T = 84.14
 O = N/A
T = TO
 O = 17444
T = 6.27
 O = 17444
T = 1.52
 O = 17444
T = 7.48
ped3.G.recomb10-0.01-5.wcnf O = 14043
T = 1.48		 O = N/A
T = TO
 O = N/A
T = TO
 O = 18143
T = 52.06
 O = 15069
T = 245.68
 O = N/A
T = TO
 O = 14043
T = 4.08
 O = 14043
T = 1.48
 O = 14043
T = 3.66
ped3.G.recomb10-0.10-10.wcnf O = 18485
T = 3.58		 O = N/A
T = TO
 O = N/A
T = TO
 O = 26338
T = 216.31
 O = 25318
T = 175.32
 O = N/A
T = TO
 O = 18485
T = 9.33
 O = 18485
T = 3.58
 O = 18485
T = 44.57
ped3.G.recomb10-0.10-6.wcnf O = 17460
T = 1.63		 O = N/A
T = TO
 O = N/A
T = TO
 O = 28399
T = 111.63
 O = 24293
T = 211.98
 O = N/A
T = TO
 O = 17460
T = 5.96
 O = 17460
T = 1.63
 O = 17460
T = 5.49
ped3.G.recomb10-0.10-7.wcnf O = 16092
T = 1.54		 O = N/A
T = TO
 O = N/A
T = TO
 O = 23273
T = 240.10
 O = 20537
T = 52.50
 O = N/A
T = TO
 O = 16092
T = 4.89
 O = 16092
T = 1.54
 O = 16092
T = 4.56
ped3.G.recomb10-0.10-8.wcnf O = 15072
T = 1.17		 O = N/A
T = TO
 O = N/A
T = TO
 O = 25658
T = 173.61
 O = 18830
T = 71.76
 O = N/A
T = TO
 O = 15072
T = 4.51
 O = 15072
T = 1.17
 O = 15072
T = 3.47
ped3.G.recomb10-0.10-9.wcnf O = 15407
T = 1.78		 O = N/A
T = TO
 O = N/A
T = TO
 O = 24972
T = 109.82
 O = 21560
T = 255.93
 O = N/A
T = TO
 O = 15407
T = 6.78
 O = 15407
T = 1.78
 O = 15407
T = 5.33
ped3.G.recomb10-0.20-11.wcnf O = 15170
T = 1.09		 O = N/A
T = TO
 O = N/A
T = TO
 O = 24643
T = 40.24
 O = 22941
T = 260.41
 O = N/A
T = TO
 O = 15176
T = 283.92
 O = 75507
T = 0.62
 O = 15170
T = 1.09
ped3.G.recomb10-0.20-12.wcnf O = 13027
T = 133.43		 O = N/A
T = TO
 O = N/A
T = TO
 O = 23959
T = 134.37
 O = 20545
T = 219.93
 O = N/A
T = TO
 O = 13027
T = 150.46
 O = 13027
T = 133.43
 O = 13094
T = 0.98
ped3.G.recomb10-0.20-13.wcnf O = 17465
T = 11.15		 O = N/A
T = TO
 O = N/A
T = TO
 O = 37970
T = 221.14
 O = 29440
T = 179.01
 O = N/A
T = TO
 O = 17465
T = 31.57
 O = 17465
T = 11.15
 O = 17465
T = 211.68
ped3.G.recomb10-0.20-14.wcnf O = 11990
T = 9.13		 O = N/A
T = TO
 O = N/A
T = TO
 O = 24972
T = 65.67
 O = 21217
T = 100.99
 O = N/A
T = TO
 O = 11990
T = 17.53
 O = 11990
T = 9.13
 O = 12070
T = 1.43
ped3.G.recomb10-0.20-15.wcnf O = 15408
T = 2.94		 O = N/A
T = TO
 O = N/A
T = TO
 O = 27704
T = 102.82
 O = 24641
T = 85.07
 O = N/A
T = TO
 O = 15408
T = 9.98
 O = 15408
T = 2.94
 O = 15408
T = 144.76
BrazilInstance1.xml.wcnf O = 54
T = 176.56		 O = N/A
T = TO
 O = N/A
T = TO
 O = 120
T = 54.71
 O = 125
T = 28.77
 O = N/A
T = TO
 O = 74
T = 283.88
 O = 57
T = 229.82
 O = 54
T = 176.56
BrazilInstance2.xml.wcnf O = 81
T = 0.16		 O = N/A
T = TO
 O = N/A
T = TO
 O = 223
T = 172.22
 O = 253
T = 88.30
 O = N/A
T = TO
 O = 103
T = 284.26
 O = 81
T = 0.74
 O = 81
T = 0.16
BrazilInstance4.xml.wcnf O = 161
T = 284.52		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 161
T = 284.52
 O = 318
T = 2.04
 O = 318
T = 0.37
BrazilInstance5.xml.wcnf O = 141
T = 284.50		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 141
T = 284.50
 O = 161
T = 14.74
 O = 146
T = 2.13
BrazilInstance6.xml.wcnf O = 198
T = 284.71		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 198
T = 284.71
 O = 204
T = 22.20
 O = 204
T = 25.57
BrazilInstance7.xml.wcnf O = 263
T = 238.15		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 263
T = 284.70
 O = 263
T = 238.15
 O = 263
T = 266.58
FinlandArtificialSchool.xml.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
FinlandCollege.xml.wcnf O = 1286
T = 208.29		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1288
T = 284.64
 O = 1362
T = 189.47
 O = 1286
T = 208.29
FinlandHighSchool.xml.wcnf O = 631
T = 54.13		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 842
T = 284.50
 O = 631
T = 54.13
 O = 686
T = 16.64
FinlandSecondarySchool.xml.wcnf O = 711
T = 17.98		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 875
T = 284.37
 O = 711
T = 17.98
 O = 714
T = 2.42
GreeceThirdHighSchoolPatras2010.xml.wcnf O = 1114
T = 284.67		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 1114
T = 284.67
 O = 1612
T = 20.48
 O = 1146
T = 152.65
ItalyInstance1.xml.wcnf O = 45
T = 5.84		 O = 1506
T = 22.13
 O = N/A
T = TO
 O = 851
T = 125.54
 O = 761
T = 24.82
 O = N/A
T = TO
 O = 48
T = 284.18
 O = 45
T = 5.84
 O = 53
T = 1.74
ItalyInstance4.xml.wcnf O = 1240
T = 18.10		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 20222
T = 47.55
 O = N/A
T = TO
 O = 1708
T = 284.48
 O = 1240
T = 19.05
 O = 1240
T = 18.10
SouthAfricaLewitt2009.xml.wcnf O = 82
T = 284.54		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 82
T = 284.54
 O = 89
T = 11.68
 O = 89
T = 12.29
103c9978-5408-11df-9bc1-00163e7a6f5e_l1.wcnf O = 3795246
T = 0.18		 O = 3808731
T = 76.74
 O = N/A
T = TO
 O = 3808351
T = 146.45
 O = 3809541
T = 26.00
 O = 3795246
T = 0.18
 O = 3795246
T = 3.18
 O = 3795246
T = 11.78
 O = 3795246
T = 2.47
1aabfc32-d491-11df-9a24-00163e3d3b7c_l2.wcnf O = 8272324
T = 0.62		 O = 8471977
T = 189.32
 O = N/A
T = TO
 O = 8485483
T = 183.10
 O = 8483532
T = 197.65
 O = 8272324
T = 0.62
 O = 8272324
T = 23.57
 O = 8343389
T = 130.99
 O = 8272324
T = 37.86
26f3d4cc-d470-11df-9e6c-00163e3d3b7c_l2.wcnf O = 8270956
T = 0.54		 O = 8474772
T = 224.86
 O = N/A
T = TO
 O = 8447984
T = 7.01
 O = 8469719
T = 252.74
 O = 8270956
T = 0.54
 O = 8270956
T = 20.27
 O = 8547034
T = 85.56
 O = 8270956
T = 31.17
29180036-5408-11df-9f57-00163e7a6f5e_l1.wcnf O = 3795246
T = 0.14		 O = 3811118
T = 10.70
 O = N/A
T = TO
 O = 3808254
T = 265.23
 O = 3809541
T = 27.55
 O = 3795246
T = 0.14
 O = 3795246
T = 3.14
 O = 3795246
T = 12.75
 O = 3795246
T = 2.42
29180036-5408-11df-9f57-00163e7a6f5e_l2.wcnf O = 3795246
T = 0.14		 O = 3809490
T = 111.12
 O = N/A
T = TO
 O = 3806859
T = 108.51
 O = 3807602
T = 248.76
 O = 3795246
T = 0.14
 O = 3795246
T = 3.17
 O = 3795246
T = 12.33
 O = 3795246
T = 2.24
2c3aece6-c8b2-11df-a040-00163e3d3b7c_l1.wcnf O = 8559789
T = 0.56		 O = 8688918
T = 247.23
 O = N/A
T = TO
 O = 8657479
T = 88.76
 O = 8657181
T = 191.00
 O = 8559789
T = 0.56
 O = 8559789
T = 16.86
 O = 8559789
T = 143.54
 O = 8559789
T = 19.75
2c3aece6-c8b2-11df-a040-00163e3d3b7c_l2.wcnf O = 8559789
T = 0.62		 O = 8672461
T = 27.93
 O = N/A
T = TO
 O = 8656803
T = 68.75
 O = 8665241
T = 236.48
 O = 8559789
T = 0.62
 O = 8559789
T = 17.80
 O = 8596125
T = 145.43
 O = 8559789
T = 23.65
3e4f8550-0b33-11df-942d-00163e1d94dc_l1.wcnf O = 44124
T = 0.30		 O = 44360
T = 87.29
 O = N/A
T = TO
 O = 44544
T = 281.50
 O = 44960
T = 125.75
 O = 44124
T = 0.37
 O = 44124
T = 0.88
 O = 44124
T = 0.64
 O = 44124
T = 0.30
3e4f8550-0b33-11df-942d-00163e1d94dc_l2.wcnf O = 44124
T = 0.33		 O = 44360
T = 84.66
 O = N/A
T = TO
 O = 44544
T = 277.11
 O = 44960
T = 126.47
 O = 44124
T = 0.40
 O = 44124
T = 0.88
 O = 44124
T = 0.59
 O = 44124
T = 0.33
4a69cf16-c731-11df-9182-00163e3d3b7c_l1.wcnf O = 186592
T = 0.13		 O = 188456
T = 97.87
 O = N/A
T = TO
 O = 189169
T = 83.99
 O = 228031
T = 142.56
 O = 186592
T = 0.13
 O = 186592
T = 0.22
 O = 186592
T = 0.57
 O = 186592
T = 0.38
4a69cf16-c731-11df-9182-00163e3d3b7c_l2.wcnf O = 8010285
T = 1.03		 O = 8224753
T = 209.24
 O = N/A
T = TO
 O = 8200413
T = 189.47
 O = 8229580
T = 176.02
 O = 8010285
T = 1.03
 O = 8010285
T = 29.40
 O = 8175092
T = 115.87
 O = 8010285
T = 47.72
4ede8d96-c17a-11df-a7c5-00163e3d3b7c_l1.wcnf O = 173280
T = 0.10		 O = 174224
T = 277.68
 O = N/A
T = TO
 O = 173947
T = 202.54
 O = 174028
T = 216.59
 O = 173280
T = 0.10
 O = 173280
T = 0.19
 O = 173280
T = 0.68
 O = 173280
T = 0.18
5698a62c-c731-11df-9bb9-00163e3d3b7c_l1.wcnf O = 186592
T = 0.14		 O = 188456
T = 99.21
 O = N/A
T = TO
 O = 189169
T = 83.24
 O = 228031
T = 142.76
 O = 186592
T = 0.14
 O = 186592
T = 0.22
 O = 186592
T = 0.58
 O = 186592
T = 0.36
56ae4afa-0b33-11df-8a2b-00163e1d94dc_l1.wcnf O = 49972
T = 0.16		 O = 50356
T = 67.61
 O = N/A
T = TO
 O = 50456
T = 118.49
 O = 50872
T = 163.78
 O = 49972
T = 0.16
 O = 49972
T = 0.20
 O = 49972
T = 0.59
 O = 49972
T = 0.18
56e31304-c17a-11df-b070-00163e3d3b7c_l1.wcnf O = 173280
T = 0.09		 O = 174224
T = 281.06
 O = N/A
T = TO
 O = 173947
T = 206.20
 O = 174028
T = 216.52
 O = 173280
T = 0.09
 O = 173280
T = 0.19
 O = 173280
T = 0.77
 O = 173280
T = 0.20
6b0d1da0-c730-11df-a7c5-00163e3d3b7c_l1.wcnf O = 186592
T = 0.15		 O = 189488
T = 19.56
 O = N/A
T = TO
 O = 189105
T = 278.00
 O = 227947
T = 180.15
 O = 186592
T = 0.15
 O = 186592
T = 0.25
 O = 186592
T = 0.61
 O = 186592
T = 0.42
7bf50d1c-9b1b-11df-8b50-00163e46d37a_l1.wcnf O = 1924238
T = 0.25		 O = 1944864
T = 76.17
 O = N/A
T = TO
 O = 1943742
T = 235.55
 O = 1950371
T = 245.31
 O = 1924238
T = 0.25
 O = 1924238
T = 2.02
 O = 1924238
T = 13.54
 O = 1924238
T = 3.11
7bf50d1c-9b1b-11df-8b50-00163e46d37a_l2.wcnf O = 1924238
T = 0.22		 O = 1947395
T = 181.87
 O = N/A
T = TO
 O = 1944859
T = 31.45
 O = 1949845
T = 258.19
 O = 1924238
T = 0.22
 O = 1924238
T = 1.91
 O = 1924238
T = 14.11
 O = 1924238
T = 2.93
7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l1.wcnf O = 558796
T = 0.05		 O = 559412
T = 159.69
 O = N/A
T = TO
 O = 559188
T = 91.12
 O = 559144
T = 145.74
 O = 558796
T = 0.05
 O = 558796
T = 0.16
 O = 558796
T = 0.35
 O = 558796
T = 0.12
7f80e4f0-4fe9-11e0-acd7-00163e1e087d_l2.wcnf O = 7177328
T = 0.34		 O = 7207767
T = 240.62
 O = N/A
T = TO
 O = 7198970
T = 270.45
 O = 7203020
T = 177.30
 O = 7177328
T = 0.34
 O = 7177328
T = 9.37
 O = 7177328
T = 49.37
 O = 7177328
T = 10.50
80cfe9a6-9b1b-11df-965e-00163e46d37a_l1.wcnf O = 1924238
T = 0.21		 O = 1944864
T = 77.36
 O = N/A
T = TO
 O = 1943742
T = 191.02
 O = 1950371
T = 239.21
 O = 1924238
T = 0.21
 O = 1924238
T = 1.92
 O = 1924238
T = 13.74
 O = 1924238
T = 2.70
80e3fda2-9501-11e0-8001-00163e1e087d_l2.wcnf O = 2145528
T = 0.20		 O = 2160534
T = 122.40
 O = N/A
T = TO
 O = 2158550
T = 100.04
 O = 2159905
T = 99.77
 O = 2145528
T = 0.20
 O = 2145528
T = 1.68
 O = 2145528
T = 10.24
 O = 2145528
T = 2.12
8222799a-9af8-11df-8b50-00163e46d37a_l1.wcnf O = 1924238
T = 0.24		 O = 1944324
T = 233.49
 O = N/A
T = TO
 O = 1942618
T = 199.83
 O = 1947245
T = 277.58
 O = 1924238
T = 0.24
 O = 1924238
T = 1.92
 O = 1924238
T = 13.94
 O = 1924238
T = 3.02
8222799a-9af8-11df-8b50-00163e46d37a_l2.wcnf O = 1924238
T = 0.23		 O = 1945084
T = 183.03
 O = N/A
T = TO
 O = 1943960
T = 101.42
 O = 1944779
T = 239.38
 O = 1924238
T = 0.23
 O = 1924238
T = 1.98
 O = 1924238
T = 13.88
 O = 1924238
T = 2.95
8680dd8a-8600-11e0-b285-00163e1e087d_l2.wcnf O = 8289698
T = 0.90		 O = 8421131
T = 106.24
 O = N/A
T = TO
 O = 8384672
T = 48.35
 O = 8367136
T = 125.07
 O = 8289698
T = 0.90
 O = 8289698
T = 18.15
 O = 8289698
T = 153.66
 O = 8289698
T = 28.00
8afdd89e-51b8-11e0-acd7-00163e1e087d_l1.wcnf O = 558676
T = 0.05		 O = 559536
T = 30.30
 O = N/A
T = TO
 O = 559164
T = 272.76
 O = 559084
T = 38.22
 O = 558676
T = 0.05
 O = 558676
T = 0.13
 O = 558676
T = 0.33
 O = 558676
T = 0.13
8b0e7c16-bab4-11e0-a883-00163e1e087d_l2.wcnf O = 8707698
T = 1.02		 O = 8848381
T = 38.89
 O = N/A
T = TO
 O = 8835237
T = 176.83
 O = 8847797
T = 146.98
 O = 8707698
T = 1.02
 O = 8707698
T = 21.48
 O = 8759461
T = 144.58
 O = 8707698
T = 34.74
978532fa-c730-11df-b070-00163e3d3b7c_l1.wcnf O = 186592
T = 0.13		 O = 189200
T = 25.22
 O = N/A
T = TO
 O = 189105
T = 275.79
 O = 227947
T = 180.97
 O = 186592
T = 0.13
 O = 186592
T = 0.25
 O = 186592
T = 0.62
 O = 186592
T = 0.43
a754ac72-95cc-11e0-9181-00163e1e087d_l2.wcnf O = 2145528
T = 0.18		 O = 2157632
T = 262.95
 O = N/A
T = TO
 O = 2158550
T = 103.10
 O = 2159905
T = 97.67
 O = 2145528
T = 0.18
 O = 2145528
T = 1.73
 O = 2145528
T = 9.62
 O = 2145528
T = 2.30
ab9005be-bacc-11e0-b0f6-00163e1e087d_l1.wcnf O = 84964
T = 0.01		 O = 85092
T = 42.62
 O = 123668
T = 54.53
 O = 85196
T = 176.66
 O = 122940
T = 286.73
 O = 84964
T = 0.04
 O = 84964
T = 0.02
 O = 84964
T = 0.05
 O = 84964
T = 0.01
ab9005be-bacc-11e0-b0f6-00163e1e087d_l2.wcnf O = 8707698
T = 1.00		 O = 8848381
T = 39.18
 O = N/A
T = TO
 O = 8835237
T = 173.61
 O = 8847797
T = 172.65
 O = 8707698
T = 1.00
 O = 8707698
T = 23.29
 O = 8751077
T = 143.47
 O = 8707698
T = 34.77
b2540c52-51b7-11e0-aa4f-00163e1e087d_l1.wcnf O = 558676
T = 0.06		 O = 559536
T = 30.50
 O = N/A
T = TO
 O = 559164
T = 271.22
 O = 559084
T = 38.16
 O = 558676
T = 0.06
 O = 558676
T = 0.14
 O = 558676
T = 0.34
 O = 558676
T = 0.15
bccf69ae-db9e-11df-9a24-00163e3d3b7c_l1.wcnf O = 4569599
T = 0.30		 O = 4599312
T = 66.73
 O = N/A
T = TO
 O = 4591075
T = 12.79
 O = 4587617
T = 90.48
 O = 4569599
T = 0.30
 O = 4569599
T = 6.79
 O = 4569599
T = 32.99
 O = 4569599
T = 6.34
c2164c84-b015-11df-8b50-00163e46d37a_l1.wcnf O = 4502340
T = 0.09		 O = 4502340
T = 101.46
 O = N/A
T = TO
 O = 4502340
T = 1.59
 O = 4502344
T = 146.68
 O = 4502340
T = 0.09
 O = 4502340
T = 2.93
 O = 4502340
T = 8.82
 O = 4502340
T = 2.35
c2164c84-b015-11df-8b50-00163e46d37a_l2.wcnf O = 4502340
T = 0.11		 O = 4502340
T = 71.12
 O = N/A
T = TO
 O = 4502340
T = 1.15
 O = 4502344
T = 79.15
 O = 4502340
T = 0.11
 O = 4502340
T = 2.92
 O = 4502340
T = 9.26
 O = 4502340
T = 2.44
ca8f656c-db9e-11df-b9cf-00163e3d3b7c_l2.wcnf O = 4569599
T = 0.28		 O = 4596043
T = 124.88
 O = N/A
T = TO
 O = 4589730
T = 269.91
 O = 4590673
T = 200.08
 O = 4569599
T = 0.28
 O = 4569599
T = 6.42
 O = 4569599
T = 33.20
 O = 4569599
T = 6.47
caefdef6-3477-11e0-84ef-00163e3d3b7c_l1.wcnf O = 4692906
T = 0.25		 O = 4715538
T = 119.58
 O = N/A
T = TO
 O = 4708710
T = 106.27
 O = 4710710
T = 239.09
 O = 4692906
T = 0.25
 O = 4692906
T = 5.02
 O = 4692906
T = 16.98
 O = 4692906
T = 4.07
caefdef6-3477-11e0-84ef-00163e3d3b7c_l2.wcnf O = 4692906
T = 0.27		 O = 4710318
T = 177.20
 O = N/A
T = TO
 O = 4712560
T = 83.07
 O = 4710842
T = 211.56
 O = 4692906
T = 0.27
 O = 4692906
T = 5.03
 O = 4692906
T = 17.13
 O = 4692906
T = 4.10
cff22854-9512-11e0-8001-00163e1e087d_l2.wcnf O = 2145528
T = 0.18		 O = 2159623
T = 54.86
 O = N/A
T = TO
 O = 2158550
T = 107.02
 O = 2159905
T = 97.20
 O = 2145528
T = 0.18
 O = 2145528
T = 1.77
 O = 2145528
T = 10.58
 O = 2145528
T = 2.39
d023d256-3477-11e0-bdb2-00163e3d3b7c_l1.wcnf O = 4692906
T = 0.21		 O = 4715538
T = 115.75
 O = N/A
T = TO
 O = 4708710
T = 93.23
 O = 4709794
T = 289.04
 O = 4692906
T = 0.21
 O = 4692906
T = 5.06
 O = 4692906
T = 17.36
 O = 4692906
T = 4.14
d023d256-3477-11e0-bdb2-00163e3d3b7c_l2.wcnf O = 4692906
T = 0.20		 O = 4710318
T = 176.83
 O = N/A
T = TO
 O = 4712560
T = 80.07
 O = 4710842
T = 235.14
 O = 4692906
T = 0.20
 O = 4692906
T = 4.92
 O = 4692906
T = 17.83
 O = 4692906
T = 4.06
d0cc7514-c730-11df-a040-00163e3d3b7c_l1.wcnf O = 186592
T = 0.13		 O = 188644
T = 7.60
 O = N/A
T = TO
 O = 189169
T = 83.36
 O = 228031
T = 141.85
 O = 186592
T = 0.13
 O = 186592
T = 0.22
 O = 186592
T = 0.59
 O = 186592
T = 0.32
d5026b8e-3477-11e0-986e-00163e3d3b7c_l1.wcnf O = 4692906
T = 0.22		 O = 4712990
T = 235.62
 O = N/A
T = TO
 O = 4708710
T = 91.21
 O = 4710710
T = 260.67
 O = 4692906
T = 0.22
 O = 4692906
T = 5.00
 O = 4692906
T = 17.19
 O = 4692906
T = 4.40
dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l1.wcnf O = 4692906
T = 0.23		 O = 4715538
T = 119.72
 O = N/A
T = TO
 O = 4708710
T = 106.76
 O = 4710710
T = 244.81
 O = 4692906
T = 0.23
 O = 4692906
T = 5.00
 O = 4692906
T = 17.53
 O = 4692906
T = 4.34
dba3a3fe-3477-11e0-9e6c-00163e3d3b7c_l2.wcnf O = 4692906
T = 0.23		 O = 4710318
T = 174.97
 O = N/A
T = TO
 O = 4712560
T = 64.89
 O = 4710842
T = 212.57
 O = 4692906
T = 0.23
 O = 4692906
T = 5.05
 O = 4692906
T = 16.31
 O = 4692906
T = 4.04
deb285a6-db9e-11df-8f4f-00163e3d3b7c_l2.wcnf O = 4569599
T = 0.33		 O = 4597440
T = 68.49
 O = N/A
T = TO
 O = 4589730
T = 277.35
 O = 4590673
T = 185.23
 O = 4569599
T = 0.33
 O = 4569599
T = 6.53
 O = 4569599
T = 31.79
 O = 4569599
T = 6.59
e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l1.wcnf O = 3814579
T = 0.13		 O = 3818742
T = 30.54
 O = 3827727
T = 282.19
 O = 3818698
T = 15.36
 O = 3818367
T = 68.29
 O = 3814579
T = 0.13
 O = 3814579
T = 2.90
 O = 3814579
T = 10.01
 O = 3814579
T = 1.78
e0bd67a6-56d0-11df-b11f-00163e7a6f5e_l2.wcnf O = 3814579
T = 0.11		 O = 3820239
T = 178.38
 O = 3830490
T = 290.02
 O = 3818586
T = 155.46
 O = 3818035
T = 264.69
 O = 3814579
T = 0.11
 O = 3814579
T = 2.83
 O = 3814579
T = 9.86
 O = 3814579
T = 1.83
e2f6303a-4fe9-11e0-aa4f-00163e1e087d_l1.wcnf O = 558796
T = 0.06		 O = 559268
T = 132.55
 O = N/A
T = TO
 O = 559168
T = 90.28
 O = 559108
T = 44.89
 O = 558796
T = 0.06
 O = 558796
T = 0.17
 O = 558796
T = 0.36
 O = 558796
T = 0.12
e381ba7e-a192-11e0-8647-00163e1e087d_l2.wcnf O = 2145528
T = 0.21		 O = 2160832
T = 28.45
 O = N/A
T = TO
 O = 2158550
T = 104.34
 O = 2159905
T = 93.48
 O = 2145528
T = 0.21
 O = 2145528
T = 1.72
 O = 2145528
T = 10.20
 O = 2145528
T = 2.15
e599f3fc-360e-11e0-986e-00163e3d3b7c_l1.wcnf O = 4661351
T = 0.20		 O = 4675685
T = 159.14
 O = N/A
T = TO
 O = 4671975
T = 72.78
 O = 4669455
T = 66.76
 O = 4661351
T = 0.20
 O = 4661351
T = 4.47
 O = 4661351
T = 14.93
 O = 4661351
T = 3.93
e69a0e36-9ef1-11df-9d4a-00163e46d37a_l1.wcnf O = 93956
T = 0.09		 O = 94752
T = 279.17
 O = N/A
T = TO
 O = 95709
T = 180.28
 O = 124852
T = 1.27
 O = 93956
T = 0.09
 O = 93956
T = 0.15
 O = 93956
T = 0.36
 O = 93956
T = 0.20
ec32fc68-7254-11e0-8436-00163e1e087d_l1.wcnf O = 4535367
T = 0.23		 O = 4541337
T = 142.04
 O = N/A
T = TO
 O = 4541111
T = 16.34
 O = 4540325
T = 170.30
 O = 4535367
T = 0.23
 O = 4535367
T = 4.51
 O = 4535367
T = 17.55
 O = 4535367
T = 6.28
eeee44ce-5407-11df-b11f-00163e7a6f5e_l1.wcnf O = 3795246
T = 0.16		 O = 3811170
T = 157.69
 O = N/A
T = TO
 O = 3808254
T = 242.70
 O = 3809541
T = 26.21
 O = 3795246
T = 0.16
 O = 3795246
T = 3.23
 O = 3795246
T = 12.11
 O = 3795246
T = 2.49
eeee44ce-5407-11df-b11f-00163e7a6f5e_l2.wcnf O = 3795246
T = 0.16		 O = 3812187
T = 12.72
 O = N/A
T = TO
 O = 3806859
T = 122.26
 O = 3807602
T = 236.18
 O = 3795246
T = 0.16
 O = 3795246
T = 3.14
 O = 3795246
T = 12.87
 O = 3795246
T = 2.46
f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c_l1.wcnf O = 4661351
T = 0.20		 O = 4677905
T = 96.97
 O = N/A
T = TO
 O = 4671975
T = 69.85
 O = 4669455
T = 69.23
 O = 4661351
T = 0.20
 O = 4661351
T = 4.45
 O = 4661351
T = 15.58
 O = 4661351
T = 3.93
fa3d0fb2-db9e-11df-a0ec-00163e3d3b7c_l1.wcnf O = 4569599
T = 0.25		 O = 4597912
T = 236.58
 O = N/A
T = TO
 O = 4591075
T = 13.30
 O = 4587617
T = 107.72
 O = 4569599
T = 0.25
 O = 4569599
T = 6.61
 O = 4569599
T = 34.46
 O = 4569599
T = 5.92
ff4a1d84-d490-11df-9e6c-00163e3d3b7c_l1.wcnf O = 181519
T = 0.04		 O = 182987
T = 275.80
 O = N/A
T = TO
 O = 182791
T = 254.86
 O = 183691
T = 240.93
 O = 181519
T = 0.04
 O = 181519
T = 0.11
 O = 181519
T = 0.81
 O = 181519
T = 0.15
rand116_l2.wcnf O = 1831176
T = 0.95		 O = 1865875
T = 242.14
 O = N/A
T = TO
 O = 1867181
T = 165.53
 O = 1874085
T = 252.27
 O = 1831176
T = 0.95
 O = 1831176
T = 3.69
 O = 1834533
T = 109.40
 O = 1831176
T = 9.67
rand118_l2.wcnf O = 1626135
T = 1.26		 O = 1708996
T = 118.78
 O = N/A
T = TO
 O = 1722262
T = 250.00
 O = 1717385
T = 72.99
 O = 1626135
T = 1.26
 O = 1626135
T = 9.79
 O = 1626135
T = 130.83
 O = 1658414
T = 7.49
rand131_l2.wcnf O = 1833970
T = 2.37		 O = 1894373
T = 269.47
 O = N/A
T = TO
 O = 1903175
T = 67.41
 O = 1900258
T = 211.99
 O = 1833970
T = 2.37
 O = 1833970
T = 53.27
 O = 1853548
T = 116.15
 O = 1859966
T = 33.88
rand172_l1.wcnf O = 334686
T = 0.74		 O = 348723
T = 14.03
 O = N/A
T = TO
 O = 350281
T = 77.20
 O = 357113
T = 277.01
 O = 334686
T = 0.74
 O = 334686
T = 2.60
 O = 334686
T = 7.81
 O = 354631
T = 0.21
rand179_l1.wcnf O = 493118
T = 0.81		 O = 511561
T = 240.96
 O = N/A
T = TO
 O = 510393
T = 9.70
 O = 513102
T = 68.41
 O = 493118
T = 0.81
 O = 493118
T = 58.84
 O = 497422
T = 261.41
 O = 493446
T = 14.29
rand196_l1.wcnf O = 428433
T = 0.62		 O = 446069
T = 134.63
 O = N/A
T = TO
 O = 446592
T = 32.35
 O = 449221
T = 229.05
 O = 428433
T = 0.62
 O = 428433
T = 1.42
 O = 428433
T = 4.67
 O = 428433
T = 36.62
rand196_l2.wcnf O = 2285302
T = 1.61		 O = 2424560
T = 148.58
 O = N/A
T = TO
 O = 2416637
T = 171.42
 O = 2414050
T = 217.56
 O = 2285302
T = 1.61
 O = 2285302
T = 14.09
 O = 2396849
T = 51.45
 O = 2703590
T = 0.15
rand208_l1.wcnf O = 823487
T = 0.68		 O = 849133
T = 105.44
 O = N/A
T = TO
 O = 850868
T = 145.16
 O = 861927
T = 247.92
 O = 823487
T = 0.68
 O = 823487
T = 1.49
 O = 823487
T = 7.17
 O = 839269
T = 0.71
rand208_l2.wcnf O = 2165646
T = 2.17		 O = 2259458
T = 115.42
 O = N/A
T = TO
 O = 2252016
T = 54.13
 O = 2265191
T = 240.77
 O = 2165646
T = 2.17
 O = 2165646
T = 10.89
 O = 2165646
T = 135.82
 O = 2186690
T = 10.89
rand213_l2.wcnf O = 1840856
T = 0.38		 O = 1863471
T = 11.00
 O = N/A
T = TO
 O = 1861056
T = 230.09
 O = 1870244
T = 85.12
 O = 1840856
T = 0.38
 O = 1840856
T = 2.42
 O = 1840856
T = 39.02
 O = 1840856
T = 6.31
rand220_l2.wcnf O = 1999645
T = 1.96		 O = 2052544
T = 161.85
 O = N/A
T = TO
 O = 2060588
T = 224.35
 O = 2066021
T = 48.48
 O = 1999645
T = 1.96
 O = 1999807
T = 254.45
 O = 2056486
T = 63.98
 O = 2414214
T = 0.11
rand242_l1.wcnf O = 314568
T = 0.50		 O = 323626
T = 253.27
 O = N/A
T = TO
 O = 330332
T = 6.57
 O = 319552
T = 266.97
 O = 314568
T = 0.50
 O = 314568
T = 0.85
 O = 314568
T = 2.10
 O = 314568
T = 0.97
rand293_l1.wcnf O = 406647
T = 1.35		 O = 426366
T = 107.86
 O = N/A
T = TO
 O = 436982
T = 174.41
 O = 451919
T = 82.47
 O = 406647
T = 1.35
 O = 406647
T = 20.51
 O = 406647
T = 10.80
 O = 424427
T = 15.43
rand307_l2.wcnf O = 1820365
T = 0.50		 O = 1844483
T = 10.75
 O = N/A
T = TO
 O = 1844647
T = 172.70
 O = 1844019
T = 193.10
 O = 1820365
T = 0.50
 O = 1820365
T = 2.57
 O = 1820365
T = 34.79
 O = 1820365
T = 6.11
rand308_l2.wcnf O = 2063604
T = 0.81		 O = 2130574
T = 185.92
 O = N/A
T = TO
 O = 2118256
T = 18.87
 O = 2127064
T = 236.67
 O = 2063604
T = 0.81
 O = 2063604
T = 6.05
 O = 2063604
T = 57.90
 O = 2063604
T = 10.73
rand30_l1.wcnf O = 531473
T = 0.40		 O = 546473
T = 260.57
 O = N/A
T = TO
 O = 548459
T = 284.16
 O = 559968
T = 289.27
 O = 531473
T = 0.40
 O = 531473
T = 4.87
 O = 531473
T = 5.24
 O = 555121
T = 9.12
rand377_l2.wcnf O = 1927695
T = 0.83		 O = 1970736
T = 120.06
 O = N/A
T = TO
 O = 1970230
T = 190.68
 O = 1971080
T = 283.40
 O = 1927695
T = 0.83
 O = 1927695
T = 4.14
 O = 1927695
T = 47.24
 O = 1927695
T = 8.72
rand381_l1.wcnf O = 191002
T = 0.11		 O = 199225
T = 30.94
 O = N/A
T = TO
 O = 198746
T = 123.99
 O = 200662
T = 184.40
 O = 191002
T = 0.11
 O = 191002
T = 3.17
 O = 191002
T = 1.25
 O = 191002
T = 2.43
rand393_l1.wcnf O = 231003
T = 0.19		 O = 237473
T = 29.66
 O = N/A
T = TO
 O = 236327
T = 120.34
 O = 236001
T = 5.12
 O = 231003
T = 0.19
 O = 231003
T = 0.50
 O = 231003
T = 1.02
 O = 231003
T = 0.86
rand425_l1.wcnf O = 358529
T = 0.80		 O = 378201
T = 248.97
 O = N/A
T = TO
 O = 385786
T = 263.88
 O = 382630
T = 220.62
 O = 358529
T = 0.80
 O = 358529
T = 10.48
 O = 358529
T = 7.62
 O = 376860
T = 85.98
rand446_l1.wcnf O = 302906
T = 0.31		 O = 313944
T = 285.10
 O = N/A
T = TO
 O = 317805
T = 84.22
 O = 315280
T = 201.63
 O = 302906
T = 0.31
 O = 302906
T = 0.67
 O = 302906
T = 2.27
 O = 302906
T = 35.69
rand491_l2.wcnf O = 1868458
T = 2.56		 O = 1926959
T = 154.22
 O = N/A
T = TO
 O = 1932268
T = 232.84
 O = 1950424
T = 180.37
 O = 1868458
T = 2.56
 O = 1868458
T = 7.75
 O = 1880591
T = 123.32
 O = 1873368
T = 26.25
rand507_l1.wcnf O = 318754
T = 0.26		 O = 324273
T = 62.44
 O = N/A
T = TO
 O = 327849
T = 121.53
 O = 326517
T = 222.91
 O = 318754
T = 0.26
 O = 318754
T = 0.67
 O = 318754
T = 2.01
 O = 318754
T = 0.86
rand507_l2.wcnf O = 2005769
T = 0.83		 O = 2061814
T = 49.81
 O = N/A
T = TO
 O = 2060967
T = 216.05
 O = 2063852
T = 282.99
 O = 2005769
T = 0.83
 O = 2005769
T = 5.78
 O = 2005769
T = 56.73
 O = 2005769
T = 10.54
rand547_l2.wcnf O = 1947661
T = 1.21		 O = 2005794
T = 261.41
 O = N/A
T = TO
 O = 2016456
T = 213.47
 O = 2015944
T = 220.03
 O = 1947661
T = 1.21
 O = 1947661
T = 6.42
 O = 1947661
T = 117.76
 O = 1992126
T = 3.19
rand583_l2.wcnf O = 1853126
T = 0.47		 O = 1865386
T = 109.60
 O = N/A
T = TO
 O = 1861883
T = 149.50
 O = 1868436
T = 168.80
 O = 1853126
T = 0.47
 O = 1853126
T = 1.96
 O = 1853126
T = 40.24
 O = 1853126
T = 4.53
rand653_l2.wcnf O = 1851319
T = 0.65		 O = 1888271
T = 157.03
 O = N/A
T = TO
 O = 1880424
T = 176.96
 O = 1888410
T = 191.33
 O = 1851319
T = 0.65
 O = 1851319
T = 3.52
 O = 1851319
T = 46.72
 O = 1851319
T = 7.85
rand695_l1.wcnf O = 298793
T = 0.13		 O = 304224
T = 91.34
 O = N/A
T = TO
 O = 304271
T = 21.40
 O = 307986
T = 108.97
 O = 298793
T = 0.13
 O = 298793
T = 0.58
 O = 298793
T = 1.05
 O = 298793
T = 0.40
rand717_l2.wcnf O = 2205487
T = 1.57		 O = 2360359
T = 56.17
 O = N/A
T = TO
 O = 2357681
T = 262.11
 O = 2393356
T = 254.34
 O = 2205487
T = 1.57
 O = 2205487
T = 20.10
 O = 2249487
T = 138.43
 O = 2205487
T = 28.00
rand752_l1.wcnf O = 322481
T = 0.81		 O = 333004
T = 90.36
 O = N/A
T = TO
 O = 339155
T = 193.19
 O = 342413
T = 214.88
 O = 322481
T = 0.81
 O = 322481
T = 13.47
 O = 322481
T = 5.11
 O = 324193
T = 5.55
rand83_l1.wcnf O = 389009
T = 0.37		 O = 403059
T = 248.62
 O = N/A
T = TO
 O = 412285
T = 62.44
 O = 408981
T = 249.82
 O = 389009
T = 0.37
 O = 389009
T = 1.58
 O = 389009
T = 4.53
 O = 490935
T = 0.04
rand83_l2.wcnf O = 1821233
T = 1.65		 O = 1871479
T = 158.13
 O = N/A
T = TO
 O = 1886073
T = 262.27
 O = 1899973
T = 272.43
 O = 1821233
T = 1.65
 O = 1821233
T = 6.70
 O = 1821233
T = 124.29
 O = 1841428
T = 8.59
rand869_l1.wcnf O = 336103
T = 0.71		 O = 350848
T = 207.52
 O = N/A
T = TO
 O = 347483
T = 127.65
 O = 348498
T = 274.60
 O = 336103
T = 0.71
 O = 336103
T = 97.99
 O = 341334
T = 2.21
 O = 417135
T = 0.03
rand874_l1.wcnf O = 583602
T = 0.98		 O = 620387
T = 277.14
 O = N/A
T = TO
 O = 616621
T = 47.06
 O = 624407
T = 46.94
 O = 583602
T = 0.98
 O = 583602
T = 4.76
 O = 592276
T = 6.97
 O = 721353
T = 0.04
rand892_l1.wcnf O = 224702
T = 0.20		 O = 231657
T = 49.53
 O = N/A
T = TO
 O = 231785
T = 146.47
 O = 230761
T = 227.17
 O = 224702
T = 0.20
 O = 224702
T = 0.33
 O = 224702
T = 1.30
 O = 224702
T = 0.38
rand892_l2.wcnf O = 1930149
T = 1.23		 O = 1978443
T = 85.94
 O = N/A
T = TO
 O = 1968573
T = 49.59
 O = 1973892
T = 136.63
 O = 1930149
T = 1.23
 O = 1930149
T = 7.12
 O = 1930149
T = 51.17
 O = 1930149
T = 9.48
rand929_l2.wcnf O = 1934382
T = 0.69		 O = 1971370
T = 234.72
 O = N/A
T = TO
 O = 1968615
T = 94.46
 O = 1972548
T = 287.09
 O = 1934382
T = 0.69
 O = 1934382
T = 4.77
 O = 1934382
T = 47.25
 O = 1934382
T = 8.99
rand954_l1.wcnf O = 273463
T = 0.23		 O = 281264
T = 72.15
 O = N/A
T = TO
 O = 282751
T = 62.42
 O = 281143
T = 66.76
 O = 273463
T = 0.23
 O = 273463
T = 0.61
 O = 273463
T = 2.19
 O = 273463
T = 0.60
rand981_l2.wcnf O = 1878056
T = 1.72		 O = 1915779
T = 218.93
 O = N/A
T = TO
 O = 1929151
T = 22.13
 O = 1933470
T = 79.92
 O = 1878056
T = 1.72
 O = 1878056
T = 5.29
 O = 1889010
T = 109.23
 O = 1894216
T = 7.46
rand984_l1.wcnf O = 345082
T = 0.28		 O = 362106
T = 290.79
 O = N/A
T = TO
 O = 373969
T = 81.80
 O = 367202
T = 109.18
 O = 345082
T = 0.28
 O = 345082
T = 2.54
 O = 345302
T = 182.17
 O = 355760
T = 0.23
rand984_l2.wcnf O = 1466588
T = 1.77		 O = 1557466
T = 260.64
 O = N/A
T = TO
 O = 1556945
T = 278.09
 O = 1562789
T = 190.78
 O = 1466588
T = 1.77
 O = 1466588
T = 146.64
 O = 1485422
T = 141.77
 O = 1555038
T = 2.54
WCNF_pathways_p01.wcnf O = 2
T = 0.00		 O = 2
T = 0.64
 O = 2
T = 0.52
 O = 3
T = 0.18
 O = 6
T = 0.07
 O = 2
T = 0.40
 O = 2
T = 0.00
 O = 2
T = 0.00
 O = 2
T = 0.00
WCNF_pathways_p02.wcnf O = 3
T = 0.00		 O = 3
T = 0.69
 O = 3
T = 0.56
 O = 4
T = 0.20
 O = 4
T = 0.16
 O = 3
T = 2.07
 O = 3
T = 0.00
 O = 3
T = 0.01
 O = 3
T = 0.00
WCNF_pathways_p03.wcnf O = 30
T = 0.01		 O = 30
T = 0.70
 O = 30
T = 0.47
 O = 37
T = 0.31
 O = 30
T = 0.27
 O = 30
T = 7.52
 O = 30
T = 0.01
 O = 30
T = 0.03
 O = 30
T = 0.01
WCNF_pathways_p04.wcnf O = 20
T = 0.01		 O = 20
T = 0.80
 O = 20
T = 0.54
 O = 45
T = 1.21
 O = 20
T = 92.15
 O = 20
T = 6.74
 O = 20
T = 0.01
 O = 20
T = 0.03
 O = 20
T = 0.01
WCNF_pathways_p05.wcnf O = 60
T = 0.35		 O = 60
T = 7.53
 O = N/A
T = TO
 O = 95
T = 3.88
 O = 78
T = 154.71
 O = N/A
T = TO
 O = 60
T = 0.36
 O = 60
T = 0.35
 O = 60
T = 0.40
WCNF_pathways_p06.wcnf O = 64
T = 8.05		 O = 90
T = 148.00
 O = N/A
T = TO
 O = 169
T = 254.14
 O = 129
T = 218.43
 O = N/A
T = TO
 O = 64
T = 9.37
 O = 64
T = 8.05
 O = 64
T = 137.73
WCNF_pathways_p07.wcnf O = 115
T = 3.77		 O = 128
T = 45.32
 O = N/A
T = TO
 O = 285
T = 0.79
 O = 125
T = 141.64
 O = N/A
T = TO
 O = 115
T = 3.77
 O = 115
T = 21.57
 O = 365
T = 0.08
WCNF_pathways_p08.wcnf O = 182
T = 2.91		 O = 206
T = 1.48
 O = N/A
T = TO
 O = 862
T = 74.41
 O = 232
T = 109.12
 O = N/A
T = TO
 O = 182
T = 2.91
 O = 182
T = 16.21
 O = 822
T = 0.07
WCNF_pathways_p09.wcnf O = 157
T = 0.34		 O = 157
T = 71.52
 O = N/A
T = TO
 O = 207
T = 282.76
 O = 157
T = 120.09
 O = N/A
T = TO
 O = 157
T = 0.34
 O = 157
T = 0.72
 O = 167
T = 0.20
WCNF_pathways_p10.wcnf O = 129
T = 7.50		 O = 164
T = 261.39
 O = N/A
T = TO
 O = 338
T = 17.70
 O = 168
T = 206.54
 O = N/A
T = TO
 O = 129
T = 7.50
 O = 129
T = 14.15
 O = 698
T = 0.07
WCNF_pathways_p11.wcnf O = 118
T = 0.10		 O = 118
T = 172.25
 O = N/A
T = TO
 O = 215
T = 80.52
 O = 125
T = 57.56
 O = 118
T = 284.08
 O = 118
T = 0.13
 O = 118
T = 0.14
 O = 118
T = 0.10
WCNF_pathways_p12.wcnf O = 188
T = 0.65		 O = 188
T = 279.93
 O = N/A
T = TO
 O = 398
T = 44.11
 O = 188
T = 242.61
 O = N/A
T = TO
 O = 188
T = 0.65
 O = 188
T = 1.56
 O = 198
T = 11.48
WCNF_pathways_p14.wcnf O = 207
T = 1.38		 O = 207
T = 223.82
 O = N/A
T = TO
 O = 517
T = 95.70
 O = 207
T = 174.68
 O = N/A
T = TO
 O = 207
T = 1.38
 O = 207
T = 2.33
 O = 1147
T = 0.06
WCNF_pathways_p16.wcnf O = 257
T = 284.56		 O = 281
T = 99.05
 O = N/A
T = TO
 O = 937
T = 268.27
 O = 297
T = 118.21
 O = N/A
T = TO
 O = 257
T = 284.56
 O = 267
T = 28.24
 O = 1507
T = 0.08
WCNF_pathways_p17.wcnf O = 223
T = 41.83		 O = 242
T = 250.34
 O = N/A
T = TO
 O = 473
T = 171.84
 O = 423
T = 241.87
 O = N/A
T = TO
 O = 223
T = 41.83
 O = 223
T = 247.40
 O = 1233
T = 0.12
WCNF_pathways_p18.wcnf O = 228
T = 0.14		 O = 228
T = 45.66
 O = N/A
T = TO
 O = 868
T = 70.67
 O = 238
T = 136.26
 O = N/A
T = TO
 O = 228
T = 0.22
 O = 228
T = 0.33
 O = 228
T = 0.14
WCNF_pathways_p20.wcnf O = 247
T = 2.02		 O = 258
T = 115.35
 O = N/A
T = TO
 O = 727
T = 110.38
 O = 297
T = 64.76
 O = N/A
T = TO
 O = 247
T = 2.02
 O = 247
T = 18.27
 O = 1577
T = 0.09
WCNF_storage_p01.wcnf O = 3
T = 0.00		 O = 3
T = 0.57
 O = 3
T = 0.67
 O = 5
T = 0.13
 O = 5
T = 0.13
 O = 3
T = 0.10
 O = 3
T = 0.00
 O = 3
T = 0.00
 O = 3
T = 0.00
WCNF_storage_p02.wcnf O = 5
T = 0.30		 O = 6
T = 2.53
 O = 8
T = 10.75
 O = 9
T = 0.37
 O = 6
T = 19.95
 O = 5
T = 299.20
 O = 5
T = 0.34
 O = 5
T = 0.42
 O = 5
T = 0.30
WCNF_storage_p03.wcnf O = 18
T = 11.37		 O = 26
T = 13.67
 O = N/A
T = TO
 O = 38
T = 48.06
 O = 33
T = 44.60
 O = N/A
T = TO
 O = 18
T = 15.02
 O = 18
T = 19.30
 O = 18
T = 11.37
WCNF_storage_p04.wcnf O = 38
T = 0.37		 O = 38
T = 194.35
 O = N/A
T = TO
 O = 50
T = 4.63
 O = 45
T = 117.71
 O = N/A
T = TO
 O = 38
T = 0.37
 O = 38
T = 0.95
 O = 38
T = 1.25
WCNF_storage_p05.wcnf O = 107
T = 0.42		 O = 124
T = 6.92
 O = N/A
T = TO
 O = 133
T = 8.80
 O = 124
T = 208.25
 O = N/A
T = TO
 O = 107
T = 0.42
 O = 107
T = 1.29
 O = 107
T = 0.67
WCNF_storage_p06.wcnf O = 173
T = 0.35		 O = 179
T = 190.53
 O = N/A
T = TO
 O = 210
T = 225.04
 O = 181
T = 193.28
 O = N/A
T = TO
 O = 173
T = 0.35
 O = 173
T = 1.12
 O = 173
T = 0.73
WCNF_storage_p07.wcnf O = 277
T = 5.88		 O = 330
T = 12.13
 O = N/A
T = TO
 O = 353
T = 61.95
 O = 330
T = 44.30
 O = N/A
T = TO
 O = 277
T = 5.88
 O = 277
T = 25.45
 O = 11128
T = 0.18
WCNF_trucks_p01.wcnf O = 0
T = 0.05		 O = 11
T = 52.94
 O = N/A
T = TO
 O = 21
T = 1.58
 O = 16
T = 197.07
 O = 0
T = 66.39
 O = 0
T = 0.06
 O = 0
T = 0.12
 O = 0
T = 0.05
WCNF_trucks_p02.wcnf O = 0
T = 2.29		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 0
T = 2.29
 O = 0
T = 2.39
 O = 0
T = 2.76
WCNF_trucks_p03.wcnf O = 0
T = 2.78		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 0
T = 2.78
 O = 0
T = 3.14
 O = 0
T = 3.62
WCNF_trucks_p04.wcnf O = 0
T = 3.36		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 0
T = 3.36
 O = 0
T = 14.57
 O = 0
T = 7.17
WCNF_trucks_p05.wcnf O = 0
T = 19.08		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 0
T = 45.56
 O = 2
T = 288.44
 O = 0
T = 19.08
bf2030fvcons.wcnf O = 3316
T = 254.62		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 3316
T = 254.62
 O = 3732
T = 258.74
 O = 4684
T = 1.58
bf2030fvslack.wcnf O = 336309
T = 12.49		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 349072
T = 254.65
 O = 336309
T = 12.49
 O = 336309
T = 17.06
d4.wcnf O = 8295
T = 254.60		 O = 13905
T = 241.50
 O = N/A
T = TO
 O = N/A
T = TO
 O = 10718
T = 243.85
 O = N/A
T = TO
 O = 8295
T = 254.60
 O = 8396
T = 9.48
 O = 8899
T = 19.43
dp43.wcnf O = 47
T = 7.19		 O = N/A
T = TO
 O = N/A
T = TO
 O = 440
T = 178.81
 O = 584
T = 64.03
 O = N/A
T = TO
 O = 47
T = 11.55
 O = 47
T = 7.19
 O = 47
T = 7.68
f2030.wcnf O = 5122
T = 254.44		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 5122
T = 254.44
 O = 11851
T = 1.82
 O = 11851
T = 1.50
p15.wcnf O = 5
T = 4.51		 O = 11
T = 104.55
 O = N/A
T = TO
 O = 20
T = 201.05
 O = 12
T = 274.02
 O = N/A
T = TO
 O = 5
T = 5.52
 O = 5
T = 8.76
 O = 5
T = 4.51
pesp_18Min.wcnf O = 1119
T = 268.54		 O = 1929
T = 266.71
 O = N/A
T = TO
 O = 1405
T = 282.47
 O = 1119
T = 268.54
 O = N/A
T = TO
 O = 1356
T = 254.56
 O = N/A
T = TO
 O = 3802
T = 1.27
pesp_5min.wcnf O = 169
T = 177.09		 O = 194
T = 143.75
 O = N/A
T = TO
 O = 169
T = 177.09
 O = 263
T = 197.79
 O = N/A
T = TO
 O = 381
T = 254.66
 O = 1020
T = 0.87
 O = 1084
T = 0.71
r11.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 86599401
T = 254.47
 O = N/A
T = TO
 O = N/A
T = TO
we.wcnf O = 7358
T = 35.80		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 8295
T = 284.51
 O = 7358
T = 35.80
 O = 8286
T = 42.60
wg2.wcnf O = 139
T = 135.78		 O = 208
T = 102.68
 O = N/A
T = TO
 O = 139
T = 135.78
 O = 180
T = 100.96
 O = N/A
T = TO
 O = 609
T = 284.56
 O = 988
T = 3.17
 O = 988
T = 2.96
comp01.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
comp02.wcnf O = 184
T = 255.79		 O = 1301
T = 142.85
 O = N/A
T = TO
 O = 208
T = 92.39
 O = 184
T = 255.79
 O = N/A
T = TO
 O = 308
T = 284.51
 O = 546
T = 1.07
 O = 546
T = 0.95
comp03.wcnf O = 212
T = 275.66		 O = 605
T = 293.43
 O = N/A
T = TO
 O = 221
T = 260.36
 O = 212
T = 275.66
 O = N/A
T = TO
 O = 550
T = 284.42
 O = 564
T = 0.57
 O = 564
T = 0.73
comp04.wcnf O = 35
T = 2.80		 O = 1116
T = 56.19
 O = N/A
T = TO
 O = 209
T = 161.47
 O = 152
T = 92.10
 O = N/A
T = TO
 O = 35
T = 2.86
 O = 35
T = 5.14
 O = 35
T = 2.80
comp05.wcnf O = 815
T = 177.26		 O = 1080
T = 190.22
 O = N/A
T = TO
 O = 815
T = 177.26
 O = 898
T = 72.31
 O = N/A
T = TO
 O = 1011
T = 254.39
 O = 1465
T = 0.77
 O = 1535
T = 1.43
comp06.wcnf O = 27
T = 267.26		 O = N/A
T = TO
 O = N/A
T = TO
 O = 706
T = 172.10
 O = 502
T = 87.37
 O = N/A
T = TO
 O = 27
T = 267.26
 O = 636
T = 1.04
 O = 636
T = 1.52
comp07.wcnf O = 698
T = 284.39		 O = N/A
T = TO
 O = N/A
T = TO
 O = 2130
T = 265.40
 O = 1022
T = 152.27
 O = N/A
T = TO
 O = 698
T = 284.39
 O = 700
T = 2.58
 O = 700
T = 2.27
comp08.wcnf O = 37
T = 2.50		 O = N/A
T = TO
 O = N/A
T = TO
 O = 336
T = 225.38
 O = 230
T = 104.40
 O = N/A
T = TO
 O = 37
T = 5.64
 O = 37
T = 5.68
 O = 37
T = 2.50
comp09.wcnf O = 226
T = 162.33		 O = 743
T = 178.36
 O = N/A
T = TO
 O = 258
T = 205.19
 O = 226
T = 162.33
 O = N/A
T = TO
 O = 264
T = 284.58
 O = 636
T = 0.91
 O = 636
T = 1.10
comp10.wcnf O = 4
T = 115.84		 O = N/A
T = TO
 O = N/A
T = TO
 O = 778
T = 114.12
 O = 534
T = 40.28
 O = N/A
T = TO
 O = 4
T = 199.80
 O = 4
T = 170.83
 O = 4
T = 115.84
comp12.wcnf O = 936
T = 245.96		 O = 1672
T = 265.09
 O = N/A
T = TO
 O = 950
T = 266.39
 O = 936
T = 245.96
 O = N/A
T = TO
 O = 1135
T = 284.46
 O = 1668
T = 0.57
 O = 1668
T = 0.74
comp13.wcnf O = 59
T = 9.85		 O = 1416
T = 233.23
 O = N/A
T = TO
 O = 324
T = 122.75
 O = 263
T = 166.29
 O = N/A
T = TO
 O = 59
T = 9.85
 O = 59
T = 164.68
 O = 558
T = 1.21
comp14.wcnf O = 51
T = 10.70		 O = 1433
T = 129.09
 O = N/A
T = TO
 O = 215
T = 180.73
 O = 153
T = 115.87
 O = N/A
T = TO
 O = 51
T = 10.70
 O = 51
T = 109.15
 O = 536
T = 1.20
comp15.wcnf O = 212
T = 279.00		 O = 623
T = 169.89
 O = N/A
T = TO
 O = 232
T = 171.59
 O = 212
T = 279.00
 O = N/A
T = TO
 O = 550
T = 284.62
 O = 564
T = 0.53
 O = 564
T = 1.01
comp16.wcnf O = 18
T = 6.94		 O = N/A
T = TO
 O = N/A
T = TO
 O = 368
T = 135.80
 O = 263
T = 218.20
 O = N/A
T = TO
 O = 18
T = 6.94
 O = 18
T = 9.00
 O = 18
T = 17.61
comp17.wcnf O = 56
T = 192.85		 O = N/A
T = TO
 O = N/A
T = TO
 O = 692
T = 70.14
 O = 502
T = 82.59
 O = N/A
T = TO
 O = 56
T = 192.85
 O = 578
T = 1.25
 O = 578
T = 1.46
comp18.wcnf O = 164
T = 189.40		 O = 519
T = 127.30
 O = N/A
T = TO
 O = 164
T = 189.40
 O = 169
T = 57.87
 O = N/A
T = TO
 O = 315
T = 284.56
 O = 524
T = 0.24
 O = 524
T = 0.25
comp19.wcnf O = 57
T = 83.59		 O = 1006
T = 269.68
 O = N/A
T = TO
 O = 226
T = 162.97
 O = 185
T = 171.21
 O = N/A
T = TO
 O = 57
T = 83.59
 O = 524
T = 0.74
 O = 524
T = 0.79
comp20.wcnf O = 658
T = 284.66		 O = N/A
T = TO
 O = N/A
T = TO
 O = 1661
T = 51.35
 O = 832
T = 63.64
 O = N/A
T = TO
 O = 658
T = 284.66
 O = 662
T = 5.62
 O = 662
T = 5.70
comp21.wcnf O = 316
T = 182.17		 O = 1335
T = 284.81
 O = N/A
T = TO
 O = 387
T = 210.13
 O = 316
T = 182.17
 O = N/A
T = TO
 O = 577
T = 284.29
 O = 702
T = 0.97
 O = 702
T = 0.96
dds1.wcnf O = 48
T = 63.46		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 467
T = 238.74
 O = N/A
T = TO
 O = 48
T = 79.80
 O = 48
T = 88.88
 O = 48
T = 63.46
dds4.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
test1.wcnf O = N/A
T = TO		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
test2.wcnf O = 16
T = 58.11		 O = N/A
T = TO
 O = N/A
T = TO
 O = 292
T = 265.01
 O = 200
T = 10.48
 O = N/A
T = TO
 O = 200
T = 284.47
 O = 16
T = 173.45
 O = 16
T = 58.11
test3.wcnf O = 331
T = 125.45		 O = N/A
T = TO
 O = N/A
T = TO
 O = 474
T = 218.67
 O = 331
T = 125.45
 O = N/A
T = TO
 O = 395
T = 284.51
 O = 387
T = 1.81
 O = 367
T = 3.58
test4.wcnf O = 496
T = 81.21		 O = N/A
T = TO
 O = N/A
T = TO
 O = N/A
T = TO
 O = 506
T = 211.28
 O = N/A
T = TO
 O = N/A
T = TO
 O = 496
T = 81.21
 O = 496
T = 89.53
mancoosi-test-i1000d0u98-0.wcnf O = 107076495
T = 0.60		 O = 1173891406
T = 9.45
 O = N/A
T = TO
 O = 2225535445
T = 0.47
 O = 1835280218
T = 0.54
 O = 107076495
T = 0.60
 O = 107076495
T = 2.78
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-1.wcnf O = 122084953
T = 0.63		 O = 1353901613
T = 10.08
 O = N/A
T = TO
 O = 2075560308
T = 0.48
 O = 2000554540
T = 0.38
 O = 122084953
T = 0.63
 O = 122084953
T = 3.17
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-10.wcnf O = 152083527
T = 0.64		 O = 1023589155
T = 12.35
 O = N/A
T = TO
 O = 1985255296
T = 1.21
 O = 1955438330
T = 1.38
 O = 152083527
T = 0.64
 O = 152083527
T = 3.09
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-11.wcnf O = 122139402
T = 0.41		 O = 1249103710
T = 12.26
 O = N/A
T = TO
 O = 2270978609
T = 0.36
 O = 1970428650
T = 0.41
 O = 122139402
T = 0.64
 O = 122139402
T = 0.41
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-12.wcnf O = 77077761
T = 0.35		 O = 978654805
T = 11.41
 O = N/A
T = TO
 O = 1789982373
T = 0.50
 O = 1910394957
T = 0.59
 O = 77077761
T = 0.63
 O = 77077761
T = 0.35
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-13.wcnf O = 182245730
T = 0.75		 O = 1248806307
T = 30.10
 O = N/A
T = TO
 O = 1880178230
T = 0.42
 O = 1775191932
T = 1.40
 O = 182245730
T = 0.75
 O = 182245730
T = 2.67
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-14.wcnf O = 137147806
T = 0.59		 O = 1128738945
T = 12.51
 O = N/A
T = TO
 O = 1865169818
T = 1.00
 O = 1820199074
T = 0.73
 O = 137147806
T = 0.59
 O = 137147806
T = 2.58
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-15.wcnf O = 92031744
T = 0.62		 O = N/A
T = TO
 O = N/A
T = TO
 O = 2165574474
T = 0.41
 O = 2090750420
T = 0.58
 O = 92031744
T = 0.62
 O = 92031744
T = 2.85
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-16.wcnf O = 137075245
T = 0.39		 O = 1309039904
T = 23.92
 O = N/A
T = TO
 O = 1910122483
T = 0.59
 O = 1865278930
T = 0.40
 O = 137075245
T = 0.63
 O = 137075245
T = 0.39
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-17.wcnf O = 152192544
T = 0.63		 O = 1234015965
T = 16.34
 O = N/A
T = TO
 O = 2015562902
T = 0.46
 O = 2060751660
T = 0.67
 O = 152192544
T = 0.63
 O = 152192544
T = 2.64
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-18.wcnf O = 152228825
T = 0.64		 O = 1279046892
T = 16.63
 O = N/A
T = TO
 O = 1940357292
T = 0.60
 O = 1730148602
T = 0.41
 O = 152228825
T = 0.64
 O = 152228825
T = 2.23
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-19.wcnf O = 92049939
T = 0.63		 O = 1113712392
T = 19.98
 O = N/A
T = TO
 O = 1880359977
T = 0.72
 O = 1730221290
T = 0.49
 O = 92049939
T = 0.63
 O = 92049939
T = 2.99
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-2.wcnf O = 77059701
T = 0.72		 O = 1143625579
T = 25.77
 O = N/A
T = TO
 O = 2060406519
T = 0.45
 O = 1925421563
T = 0.73
 O = 77059701
T = 0.72
 O = 77059701
T = 3.24
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-20.wcnf O = 122103131
T = 0.61		 O = 1294031468
T = 19.78
 O = N/A
T = TO
 O = 1940302847
T = 0.60
 O = 1925439788
T = 0.41
 O = 122103131
T = 0.61
 O = 122103131
T = 3.32
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-21.wcnf O = 77041487
T = 0.75		 O = 1248988036
T = 10.39
 O = N/A
T = TO
 O = 2195972871
T = 0.44
 O = 2075651107
T = 0.38
 O = 77041487
T = 0.75
 O = 77041487
T = 3.37
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-22.wcnf O = 92086312
T = 0.61		 O = 1579427646
T = 18.86
 O = N/A
T = TO
 O = 2090477847
T = 0.44
 O = 1940411831
T = 0.60
 O = 92086312
T = 0.61
 O = 92086312
T = 3.25
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-23.wcnf O = 62014822
T = 0.60		 O = N/A
T = TO
 O = N/A
T = TO
 O = 1910558438
T = 0.75
 O = 1820253521
T = 0.88
 O = 62014822
T = 0.60
 O = 62014822
T = 2.42
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-24.wcnf O = 167273676
T = 0.63		 O = 1249102947
T = 25.84
 O = N/A
T = TO
 O = 2165647093
T = 0.63
 O = 1865242511
T = 0.77
 O = 167273676
T = 0.63
 O = 167273676
T = 2.65
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-3.wcnf O = 91959146
T = 0.58		 O = 1248902113
T = 20.81
 O = N/A
T = TO
 O = 2120476492
T = 1.43
 O = 2120621845
T = 0.53
 O = 91959146
T = 0.58
 O = 91959146
T = 3.41
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-4.wcnf O = 122175781
T = 0.57		 O = 1219080203
T = 16.17
 O = N/A
T = TO
 O = 1850161446
T = 0.71
 O = 2000699873
T = 0.60
 O = 122175781
T = 0.57
 O = 122175781
T = 3.39
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-5.wcnf O = 107058295
T = 0.62		 O = 933502355
T = 24.07
 O = N/A
T = TO
 O = 2075596558
T = 0.66
 O = 1955420157
T = 0.79
 O = 107058295
T = 0.62
 O = 107058295
T = 2.59
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-6.wcnf O = 137093314
T = 0.57		 O = 1399095893
T = 12.55
 O = N/A
T = TO
 O = 1775264731
T = 0.44
 O = 1790236772
T = 0.43
 O = 137093314
T = 0.57
 O = 137093314
T = 2.70
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-7.wcnf O = 92104395
T = 0.66		 O = 1309039870
T = 17.29
 O = N/A
T = TO
 O = 1940230142
T = 0.77
 O = 1940629877
T = 0.71
 O = 92104395
T = 0.66
 O = 92104395
T = 3.17
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-8.wcnf O = 137057008
T = 0.63		 O = 1173873238
T = 20.57
 O = N/A
T = TO
 O = 2060406498
T = 0.50
 O = 1985473418
T = 0.65
 O = 137057008
T = 0.63
 O = 137057008
T = 2.96
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i1000d0u98-9.wcnf O = 167164758
T = 0.68		 O = 1023661878
T = 20.58
 O = N/A
T = TO
 O = 2015344902
T = 0.48
 O = 2120549181
T = 1.06
 O = 167164758
T = 0.68
 O = 167164758
T = 3.59
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-25.wcnf O = 332548069
T = 0.65		 O = 1759910332
T = 21.33
 O = N/A
T = TO
 O = 3141756844
T = 237.56
 O = 3217726484
T = 1.25
 O = 332548069
T = 0.65
 O = 332548069
T = 3.18
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-26.wcnf O = 287486453
T = 0.70		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3126839311
T = 112.68
 O = 3051688201
T = 277.02
 O = 287486453
T = 0.70
 O = 287486453
T = 3.68
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-27.wcnf O = 317557787
T = 0.60		 O = 1399290394
T = 24.96
 O = N/A
T = TO
 O = 3096840617
T = 207.86
 O = 3096767930
T = 57.86
 O = 317557787
T = 0.60
 O = 317557787
T = 3.38
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-28.wcnf O = 287468289
T = 0.60		 O = 1699803984
T = 22.97
 O = N/A
T = TO
 O = 3111740022
T = 116.69
 O = 3126802938
T = 272.07
 O = 287468289
T = 0.60
 O = 287468289
T = 3.49
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-29.wcnf O = 287595465
T = 0.67		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3051688159
T = 181.86
 O = 3051760844
T = 48.85
 O = 287595465
T = 0.67
 O = 287595465
T = 3.33
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-30.wcnf O = 212317206
T = 0.69		 O = N/A
T = TO
 O = N/A
T = TO
 O = 2886541044
T = 81.55
 O = 2961564956
T = 1.64
 O = 212317206
T = 0.69
 O = 212317206
T = 3.52
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-31.wcnf O = 302513031
T = 0.61		 O = 1579609432
T = 28.52
 O = N/A
T = TO
 O = 3081795836
T = 189.77
 O = 3036879589
T = 110.03
 O = 302513031
T = 0.61
 O = 302513031
T = 3.17
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-32.wcnf O = 362510376
T = 0.68		 O = 1429289018
T = 24.43
 O = N/A
T = TO
 O = 2961583152
T = 80.39
 O = 3006626566
T = 77.34
 O = 362510376
T = 0.68
 O = 362510376
T = 3.15
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-33.wcnf O = 332529839
T = 0.67		 O = 1970246173
T = 88.12
 O = N/A
T = TO
 O = 3111885364
T = 2.43
 O = 2932021310
T = 0.59
 O = 332529839
T = 0.67
 O = 332529839
T = 3.09
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-34.wcnf O = 317430597
T = 0.71		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3066769263
T = 261.91
 O = 3187109171
T = 275.50
 O = 317430597
T = 0.71
 O = 317430597
T = 3.06
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-35.wcnf O = 377591501
T = 0.66		 O = 1925220963
T = 18.89
 O = N/A
T = TO
 O = 3217053319
T = 282.44
 O = 3277105176
T = 1.52
 O = 377591501
T = 0.66
 O = 377591501
T = 4.30
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-36.wcnf O = 332566184
T = 0.63		 O = 1549574416
T = 31.72
 O = N/A
T = TO
 O = 3021634994
T = 108.06
 O = 2902095361
T = 0.87
 O = 332566184
T = 0.63
 O = 332566184
T = 0.74
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-37.wcnf O = 362510425
T = 0.61		 O = 1639752188
T = 18.30
 O = N/A
T = TO
 O = 3382236821
T = 260.07
 O = 3367264733
T = 15.81
 O = 362510425
T = 0.61
 O = 362510425
T = 3.80
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-38.wcnf O = 332620777
T = 0.63		 O = 1504531022
T = 28.70
 O = N/A
T = TO
 O = 3096822472
T = 165.28
 O = 3187018337
T = 281.70
 O = 332620777
T = 0.63
 O = 332620777
T = 2.70
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-39.wcnf O = 347556415
T = 0.68		 O = 1759819385
T = 158.67
 O = N/A
T = TO
 O = 2826398291
T = 4.14
 O = 2841388543
T = 11.30
 O = 347556415
T = 0.68
 O = 347556415
T = 3.13
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-40.wcnf O = 182372912
T = 0.50		 O = 1204053680
T = 21.87
 O = N/A
T = TO
 O = 2826180292
T = 18.96
 O = 2856287968
T = 36.77
 O = 182372912
T = 0.65
 O = 182372912
T = 0.50
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-41.wcnf O = 317594172
T = 0.67		 O = 1669823470
T = 19.15
 O = N/A
T = TO
 O = 3171828191
T = 138.77
 O = 3187072831
T = 36.43
 O = 317594172
T = 0.67
 O = 317594172
T = 3.81
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-42.wcnf O = 317503223
T = 0.65		 O = 1925093695
T = 15.11
 O = N/A
T = TO
 O = 3036643367
T = 94.82
 O = 3006608362
T = 250.89
 O = 317503223
T = 0.65
 O = 317503223
T = 2.93
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-43.wcnf O = 242370348
T = 0.70		 O = 1985272848
T = 24.01
 O = N/A
T = TO
 O = 3262151270
T = 35.54
 O = 3292040913
T = 149.15
 O = 242370348
T = 0.70
 O = 242370348
T = 3.67
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-44.wcnf O = 212353462
T = 0.67		 O = N/A
T = TO
 O = N/A
T = TO
 O = 2916467020
T = 225.71
 O = 2901458605
T = 159.24
 O = 212353462
T = 0.67
 O = 212353462
T = 3.17
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-45.wcnf O = 182318477
T = 0.60		 O = 1955128742
T = 89.57
 O = N/A
T = TO
 O = 3051542787
T = 51.89
 O = 3081505134
T = 81.82
 O = 182318477
T = 0.60
 O = 182318477
T = 3.32
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-46.wcnf O = 362601234
T = 0.66		 O = 1910158069
T = 19.03
 O = N/A
T = TO
 O = 3382327628
T = 209.06
 O = 3337302382
T = 15.46
 O = 362601234
T = 0.66
 O = 362601234
T = 3.39
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-47.wcnf O = 287486426
T = 0.78		 O = 1684831884
T = 26.32
 O = N/A
T = TO
 O = 2946574712
T = 53.73
 O = 2976537048
T = 62.67
 O = 287486426
T = 0.88
 O = 287486426
T = 0.78
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-48.wcnf O = 332693445
T = 0.70		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3096913288
T = 83.00
 O = 3112103423
T = 19.94
 O = 332693445
T = 0.70
 O = 332693445
T = 3.88
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i2000d0u98-49.wcnf O = 212353539
T = 0.64		 O = 1759928511
T = 30.68
 O = N/A
T = TO
 O = 3051706356
T = 169.30
 O = 3111939877
T = 191.76
 O = 212353539
T = 0.64
 O = 212353539
T = 2.13
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-50.wcnf O = 422725765
T = 0.65		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3172082606
T = 22.84
 O = 3337320573
T = 12.62
 O = 422725765
T = 0.65
 O = 422725765
T = 3.50
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-51.wcnf O = 573028153
T = 0.71		 O = 2120657568
T = 18.27
 O = N/A
T = TO
 O = 3878150658
T = 234.08
 O = 3728048302
T = 9.41
 O = 573028153
T = 0.71
 O = 573028153
T = 2.59
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-52.wcnf O = 618125983
T = 0.66		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3412417214
T = 19.03
 O = 3502576737
T = 59.71
 O = 618125983
T = 0.66
 O = 618125983
T = 4.00
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-53.wcnf O = 573137017
T = 0.64		 O = 1880341114
T = 22.25
 O = N/A
T = TO
 O = 3307303750
T = 150.12
 O = 3412417206
T = 84.69
 O = 573137017
T = 0.64
 O = 573137017
T = 3.48
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-54.wcnf O = 573137062
T = 0.67		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3623007515
T = 268.23
 O = 3592736304
T = 6.00
 O = 573137062
T = 0.67
 O = 573137062
T = 3.97
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-55.wcnf O = 528002690
T = 0.64		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3141938521
T = 224.72
 O = 3111885358
T = 256.96
 O = 528002690
T = 0.64
 O = 528002690
T = 3.40
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-56.wcnf O = 482868432
T = 0.63		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3457496964
T = 260.36
 O = 3532793432
T = 59.59
 O = 482868432
T = 0.63
 O = 482868432
T = 3.65
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-57.wcnf O = 437806858
T = 0.70		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3277341432
T = 247.29
 O = 3217053355
T = 114.25
 O = 437806858
T = 0.70
 O = 437806858
T = 3.61
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-58.wcnf O = 527911930
T = 0.69		 O = 1684850086
T = 25.12
 O = N/A
T = TO
 O = 3292222640
T = 100.34
 O = 3367355604
T = 7.70
 O = 527911930
T = 0.69
 O = 527911930
T = 3.64
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-59.wcnf O = 588054583
T = 0.66		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3637743385
T = 256.74
 O = 3652878990
T = 125.90
 O = 588054583
T = 0.66
 O = 588054583
T = 4.04
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-60.wcnf O = 648142779
T = 0.74		 O = 2000390283
T = 33.58
 O = N/A
T = TO
 O = 3532702575
T = 277.43
 O = 3607671996
T = 98.74
 O = 648142779
T = 0.74
 O = 648142779
T = 3.65
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-61.wcnf O = 558019587
T = 0.67		 O = 2090386351
T = 20.23
 O = N/A
T = TO
 O = 3607799228
T = 142.26
 O = 3622880316
T = 146.13
 O = 558019587
T = 0.67
 O = 558019587
T = 4.31
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-62.wcnf O = 527930109
T = 0.69		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3637943248
T = 287.30
 O = 3607744731
T = 113.31
 O = 527930109
T = 0.69
 O = 527930109
T = 2.14
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-63.wcnf O = 512957980
T = 0.63		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3487586478
T = 179.14
 O = 3592699935
T = 45.90
 O = 512957980
T = 0.63
 O = 512957980
T = 3.69
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-64.wcnf O = 572991690
T = 0.73		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3532502741
T = 169.57
 O = 3592609090
T = 31.31
 O = 572991690
T = 0.73
 O = 572991690
T = 3.84
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-65.wcnf O = 603062985
T = 0.67		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3412435356
T = 30.24
 O = 3352329001
T = 23.10
 O = 603062985
T = 0.67
 O = 603062985
T = 3.25
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-66.wcnf O = 512939800
T = 0.68		 O = 2165664603
T = 34.45
 O = N/A
T = TO
 O = 3457533308
T = 246.23
 O = 3532702589
T = 35.28
 O = 512939800
T = 0.68
 O = 512939800
T = 3.65
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-67.wcnf O = 542902120
T = 0.77		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3502558571
T = 216.56
 O = 3397354273
T = 151.82
 O = 542902120
T = 0.77
 O = 542902120
T = 3.46
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-68.wcnf O = 497931412
T = 0.65		 O = 2000426658
T = 18.77
 O = N/A
T = TO
 O = 3472614389
T = 5.05
 O = 3472487217
T = 173.75
 O = 497931412
T = 0.65
 O = 497931412
T = 1.28
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-69.wcnf O = 663114835
T = 0.66		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3517421630
T = 126.73
 O = 3532557244
T = 153.94
 O = 663114835
T = 0.66
 O = 663114835
T = 3.46
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-70.wcnf O = 512958012
T = 0.79		 O = 2030552464
T = 20.74
 O = N/A
T = TO
 O = 3487441121
T = 224.06
 O = 3517566985
T = 258.65
 O = 512958012
T = 0.79
 O = 512958012
T = 3.57
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-71.wcnf O = 467969155
T = 0.67		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3758192309
T = 248.83
 O = 3758083283
T = 275.21
 O = 467969155
T = 0.67
 O = 467969155
T = 3.94
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-72.wcnf O = 527857381
T = 0.69		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3352383522
T = 59.22
 O = 3457406121
T = 135.42
 O = 527857381
T = 0.69
 O = 527857381
T = 3.62
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-73.wcnf O = 527875592
T = 0.73		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3397336124
T = 130.46
 O = 3412380874
T = 131.18
 O = 527875592
T = 0.73
 O = 527875592
T = 3.85
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i3000d0u98-74.wcnf O = 588109173
T = 0.78		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3667832896
T = 11.20
 O = 3743074857
T = 47.66
 O = 588109173
T = 0.78
 O = 588109173
T = 4.93
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-75.wcnf O = 828534617
T = 0.79		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3742965844
T = 53.08
 O = 3863269403
T = 8.09
 O = 828534617
T = 0.79
 O = 828534617
T = 4.77
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-76.wcnf O = 738411504
T = 0.68		 O = 2736584219
T = 24.63
 O = N/A
T = TO
 O = 4073659861
T = 226.04
 O = 4133548182
T = 10.29
 O = 738411504
T = 0.68
 O = 738411504
T = 6.30
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-77.wcnf O = 843651993
T = 0.69		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3878259672
T = 15.14
 O = 3863178574
T = 204.79
 O = 843651993
T = 0.69
 O = 843651993
T = 3.84
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-78.wcnf O = 873559793
T = 0.70		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3893322614
T = 74.34
 O = 3923284933
T = 226.99
 O = 873559793
T = 0.70
 O = 873559793
T = 4.16
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-79.wcnf O = 753510586
T = 0.71		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3592772661
T = 151.12
 O = 3803144909
T = 59.64
 O = 753510586
T = 0.71
 O = 753510586
T = 4.02
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-80.wcnf O = 828516449
T = 0.70		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3998672283
T = 33.77
 O = 4043534003
T = 167.26
 O = 828516449
T = 0.70
 O = 828516449
T = 5.08
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-81.wcnf O = 1038888656
T = 0.72		 O = N/A
T = TO
 O = N/A
T = TO
 O = 4103694875
T = 136.29
 O = 4163728549
T = 39.21
 O = 1038888656
T = 0.72
 O = 1038888656
T = 4.07
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-82.wcnf O = 918784858
T = 0.72		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3803308408
T = 79.85
 O = 3788263655
T = 136.55
 O = 918784858
T = 0.72
 O = 918784858
T = 4.43
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-83.wcnf O = 843633917
T = 0.74		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3878441417
T = 171.04
 O = 3983554847
T = 22.26
 O = 843633917
T = 0.74
 O = 843633917
T = 4.54
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-84.wcnf O = 858696784
T = 0.72		 O = N/A
T = TO
 O = N/A
T = TO
 O = 4253997096
T = 188.37
 O = 4329002853
T = 17.22
 O = 858696784
T = 0.72
 O = 858696784
T = 4.11
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-85.wcnf O = 723330351
T = 0.72		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3998345231
T = 36.32
 O = 3938493241
T = 179.85
 O = 723330351
T = 0.72
 O = 723330351
T = 2.92
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-86.wcnf O = 918694091
T = 0.80		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3908149340
T = 192.68
 O = 3908294670
T = 14.58
 O = 918694091
T = 0.80
 O = 918694091
T = 4.10
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-87.wcnf O = 873596159
T = 0.77		 O = N/A
T = TO
 O = N/A
T = TO
 O = 4118739601
T = 53.40
 O = 4193908881
T = 25.62
 O = 873596159
T = 0.77
 O = 873596159
T = 5.20
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-88.wcnf O = 738338700
T = 0.71		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3998454216
T = 92.14
 O = 3908367365
T = 236.09
 O = 738338700
T = 0.71
 O = 738338700
T = 4.30
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-89.wcnf O = 738429492
T = 0.67		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3758028802
T = 283.82
 O = 3682986698
T = 43.33
 O = 738429492
T = 0.67
 O = 738429492
T = 3.92
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-90.wcnf O = 603172104
T = 0.70		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3532648099
T = 70.34
 O = 3547801880
T = 47.22
 O = 603172104
T = 0.70
 O = 603172104
T = 4.38
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-91.wcnf O = 798517708
T = 0.71		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3953501655
T = 127.17
 O = 3863287614
T = 220.24
 O = 798517708
T = 0.71
 O = 798517708
T = 3.53
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-92.wcnf O = 723402933
T = 0.73		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3637598014
T = 203.50
 O = 3547638359
T = 219.39
 O = 723402933
T = 0.73
 O = 723402933
T = 5.18
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-93.wcnf O = 678268636
T = 0.70		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3713112570
T = 235.43
 O = 3683059404
T = 9.69
 O = 678268636
T = 0.70
 O = 678268636
T = 3.73
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-94.wcnf O = 843524790
T = 0.66		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3847988446
T = 214.02
 O = 3818098805
T = 208.28
 O = 843524790
T = 0.66
 O = 843524790
T = 3.82
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-95.wcnf O = 843579317
T = 0.69		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3938347875
T = 247.60
 O = 4058633283
T = 95.58
 O = 843579317
T = 0.69
 O = 843579317
T = 5.16
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-96.wcnf O = 828461902
T = 0.68		 O = N/A
T = TO
 O = N/A
T = TO
 O = 4088722789
T = 133.03
 O = 3893358961
T = 120.11
 O = 828461902
T = 0.68
 O = 828461902
T = 4.32
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-97.wcnf O = 903703891
T = 0.73		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3833107239
T = 210.75
 O = 3787991110
T = 116.32
 O = 903703891
T = 0.73
 O = 903703891
T = 4.38
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-98.wcnf O = 828443727
T = 0.67		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3893340808
T = 27.80
 O = 4133838886
T = 244.49
 O = 828443727
T = 0.67
 O = 828443727
T = 3.92
 O = N/A
T = TO
 O = N/A
T = TO
mancoosi-test-i4000d0u98-99.wcnf O = 768391869
T = 0.64		 O = N/A
T = TO
 O = N/A
T = TO
 O = 3773109883
T = 108.13
 O = 3833125365
T = 212.69
 O = 768391869
T = 0.64
 O = 768391869
T = 4.81
 O = N/A
T = TO
 O = N/A
T = TO
1401.wcsp.dir.wcnf O = 459106
T = 180.92		 O = 494111
T = 206.73
 O = 483102
T = 35.62
 O = 483110
T = 96.01
 O = 479103
T = 18.59
 O = 459106
T = 180.92
 O = N/A
T = TO
 O = 495091
T = 0.32
 O = 495091
T = 0.03
1403.wcsp.dir.wcnf O = 473271
T = 284.63		 O = 494259
T = 207.70
 O = N/A
T = TO
 O = 484263
T = 223.08
 O = 475253
T = 181.95
 O = N/A
T = TO
 O = 473271
T = 284.63
 O = N/A
T = TO
 O = 495243
T = 0.03
1405.wcsp.dir.wcnf O = 483451
T = 245.31		 O = 493448
T = 41.28
 O = N/A
T = TO
 O = 487457
T = 55.56
 O = 483451
T = 245.31
 O = N/A
T = TO
 O = 489453
T = 254.64
 O = 495419
T = 0.04
 O = 495419
T = 0.02
1407.wcsp.dir.wcnf O = 481633
T = 284.68		 O = 493625
T = 161.96
 O = N/A
T = TO
 O = 488629
T = 57.35
 O = 483631
T = 143.95
 O = N/A
T = TO
 O = 481633
T = 284.68
 O = 495582
T = 0.04
 O = 495582
T = 0.03
1502.wcsp.dir.wcnf O = 28042
T = 0.00		 O = 28042
T = 2.14
 O = 28042
T = 1.22
 O = 28044
T = 1.23
 O = 28042
T = 0.84
 O = 28042
T = 0.01
 O = 28042
T = 0.00
 O = 28042
T = 0.01
 O = 28042
T = 0.00
1504.wcsp.dir.wcnf O = 161287
T = 1.52		 O = 167315
T = 20.40
 O = 163302
T = 223.11
 O = 165305
T = 275.20
 O = 161304
T = 216.37
 O = 161287
T = 8.89
 O = 161287
T = 1.52
 O = 161287
T = 23.14
 O = 161287
T = 209.05
1506.wcsp.dir.wcnf O = 376570
T = 239.96		 O = 385566
T = 194.22
 O = N/A
T = TO
 O = 382573
T = 106.80
 O = 376570
T = 239.96
 O = N/A
T = TO
 O = N/A
T = TO
 O = 394529
T = 0.04
 O = 394529
T = 0.03
28.wcsp.dir.wcnf O = 270105
T = 0.22		 O = 272105
T = 34.81
 O = 271115
T = 32.28
 O = 271110
T = 21.86
 O = 271105
T = 87.38
 O = 270105
T = 0.22
 O = N/A
T = TO
 O = 275105
T = 0.39
 O = 275105
T = 0.52
29.wcsp.dir.wcnf O = 8059
T = 0.00		 O = 8059
T = 0.93
 O = 8059
T = 1.07
 O = 8059
T = 0.63
 O = 8059
T = 0.22
 O = 8059
T = 0.01
 O = 8059
T = 0.01
 O = 8059
T = 0.04
 O = 8059
T = 0.00
404.wcsp.dir.wcnf O = 114
T = 0.03		 O = 114
T = 2.25
 O = 114
T = 0.55
 O = 114
T = 0.57
 O = 114
T = 0.60
 O = 114
T = 0.03
 O = 114
T = 0.03
 O = 114
T = 0.13
 O = 114
T = 0.09
408.wcsp.dir.wcnf O = 6228
T = 0.17		 O = 6232
T = 138.14
 O = 6228
T = 0.99
 O = 6229
T = 3.93
 O = 6230
T = 86.55
 O = 6228
T = 0.27
 O = 6228
T = 0.17
 O = 6228
T = 16.92
 O = 6228
T = 58.26
412.wcsp.dir.wcnf O = 32381
T = 0.42		 O = 34407
T = 105.72
 O = 33404
T = 91.36
 O = 32403
T = 124.81
 O = 32396
T = 86.33
 O = 32381
T = 0.42
 O = 32381
T = 0.59
 O = 32381
T = 15.18
 O = 32381
T = 36.93
414.wcsp.dir.wcnf O = 38478
T = 0.73		 O = 43501
T = 178.12
 O = 42501
T = 238.34
 O = 40501
T = 26.88
 O = 41487
T = 112.44
 O = 38478
T = 1.28
 O = 38478
T = 0.73
 O = 38478
T = 32.56
 O = 38478
T = 262.74
42.wcsp.dir.wcnf O = 155050
T = 0.06		 O = 155050
T = 29.72
 O = 155050
T = 17.85
 O = 155050
T = 85.23
 O = 155050
T = 4.67
 O = 155050
T = 0.06
 O = 155050
T = 0.58
 O = 155050
T = 90.50
 O = 155050
T = 19.93
5.wcsp.dir.wcnf O = 261
T = 0.91		 O = 275
T = 14.53
 O = 269
T = 1.07
 O = 271
T = 141.87
 O = 268
T = 160.83
 O = 261
T = 0.91
 O = 261
T = 22.65
 O = 268
T = 0.45
 O = N/A
T = TO
503.wcsp.dir.wcnf O = 11113
T = 0.01		 O = 11114
T = 7.52
 O = 11113
T = 1.03
 O = 11113
T = 2.00
 O = 11114
T = 203.08
 O = 11113
T = 0.04
 O = 11113
T = 0.02
 O = 11113
T = 0.04
 O = 11113
T = 0.01
505.wcsp.dir.wcnf O = 21253
T = 0.13		 O = 21272
T = 112.72
 O = 21262
T = 158.68
 O = 21261
T = 40.37
 O = 21261
T = 103.33
 O = 21253
T = 0.13
 O = 21253
T = 0.16
 O = 21253
T = 0.50
 O = 21253
T = 0.44
507.wcsp.dir.wcnf O = 27390
T = 0.49		 O = 28435
T = 252.39
 O = 27420
T = 180.78
 O = 27415
T = 113.30
 O = 27411
T = 228.26
 O = 27390
T = 0.49
 O = 27390
T = 0.78
 O = 27390
T = 14.90
 O = 27390
T = 19.31
509.wcsp.dir.wcnf O = 36446
T = 0.67		 O = 38470
T = 171.65
 O = 38472
T = 116.70
 O = 38464
T = 248.23
 O = 37468
T = 87.23
 O = 36446
T = 0.67
 O = 36446
T = 0.74
 O = 36446
T = 70.32
 O = 36446
T = 119.50
54.wcsp.dir.wcnf O = 37
T = 0.00		 O = 37
T = 1.36
 O = 37
T = 0.97
 O = 38
T = 0.47
 O = 38
T = 1.33
 O = 37
T = 0.01
 O = 37
T = 0.00
 O = 37
T = 0.02
 O = 37
T = 0.01
8.wcsp.dir.wcnf O = 2
T = 0.00		 O = 2
T = 0.82
 O = 2
T = 0.62
 O = 2
T = 0.28
 O = 2
T = 0.32
 O = 2
T = 0.00
 O = 2
T = 0.00
 O = 2
T = 0.00
 O = 2
T = 0.00
1401.wcsp.log.wcnf O = 461102
T = 275.03		 O = 461102
T = 275.03
 O = 470095
T = 35.74
 O = 475096
T = 5.23
 O = 474103
T = 147.09
 O = N/A
T = TO
 O = N/A
T = TO
 O = 505093
T = 0.63
 O = 505093
T = 0.52
1403.wcsp.log.wcnf O = 461249
T = 90.40		 O = 461249
T = 90.40
 O = 470242
T = 189.53
 O = 478246
T = 264.06
 O = 475248
T = 214.50
 O = N/A
T = TO
 O = 499269
T = 284.71
 O = 515248
T = 0.28
 O = 515248
T = 0.05
1405.wcsp.log.wcnf O = 461433
T = 11.72		 O = 461433
T = 11.72
 O = 471425
T = 172.79
 O = 477434
T = 149.89
 O = 475432
T = 120.28
 O = N/A
T = TO
 O = 495457
T = 284.14
 O = 518437
T = 0.49
 O = 518437
T = 0.04
1407.wcsp.log.wcnf O = 463591
T = 192.27		 O = 463591
T = 192.27
 O = 471591
T = 98.82
 O = 478596
T = 261.50
 O = 474589
T = 255.30
 O = N/A
T = TO
 O = N/A
T = TO
 O = 508601
T = 0.36
 O = 508601
T = 0.07
1502.wcsp.log.wcnf O = 28042
T = 0.00		 O = 28042
T = 2.46
 O = 28042
T = 2.33
 O = 28042
T = 2.83
 O = 28042
T = 184.96
 O = 28042
T = 0.04
 O = 28042
T = 0.00
 O = 28042
T = 0.01
 O = 28042
T = 0.00
1504.wcsp.log.wcnf O = 161287
T = 11.15		 O = 161306
T = 17.72
 O = 162298
T = 270.54
 O = 162301
T = 154.18
 O = 161297
T = 126.48
 O = N/A
T = TO
 O = 161287
T = 11.15
 O = 161287
T = 83.91
 O = 161331
T = 1.70
1506.wcsp.log.wcnf O = 357547
T = 264.37		 O = 357547
T = 264.37
 O = 368550
T = 266.80
 O = 368536
T = 74.01
 O = 363537
T = 206.06
 O = N/A
T = TO
 O = 400577
T = 284.76
 O = 405553
T = 0.18
 O = 405553
T = 0.03
28.wcsp.log.wcnf O = 270105
T = 1.28		 O = 270105
T = 9.24
 O = 270105
T = 1.28
 O = 270105
T = 9.36
 O = 270105
T = 2.05
 O = N/A
T = TO
 O = 277105
T = 284.40
 O = 281105
T = 0.48
 O = 281105
T = 0.73
29.wcsp.log.wcnf O = 8059
T = 0.01		 O = 8059
T = 1.08
 O = 8059
T = 1.19
 O = 8059
T = 4.93
 O = 8059
T = 2.22
 O = 8059
T = 0.40
 O = 8059
T = 0.01
 O = 8059
T = 0.05
 O = 8059
T = 0.06
404.wcsp.log.wcnf O = 114
T = 0.03		 O = 114
T = 1.12
 O = 114
T = 1.07
 O = 117
T = 0.53
 O = 117
T = 132.46
 O = 114
T = 0.64
 O = 114
T = 0.03
 O = 114
T = 0.19
 O = 114
T = 0.17
408.wcsp.log.wcnf O = 6228
T = 1.88		 O = 6228
T = 6.06
 O = 6228
T = 1.88
 O = 6232
T = 13.14
 O = 6232
T = 51.52
 O = N/A
T = TO
 O = 6228
T = 8.43
 O = 6239
T = 2.27
 O = 6238
T = 2.54
412.wcsp.log.wcnf O = 32381
T = 6.08		 O = 32381
T = 278.81
 O = 32385
T = 135.38
 O = 32387
T = 19.23
 O = 32387
T = 52.71
 O = N/A
T = TO
 O = 32381
T = 6.08
 O = 32392
T = 2.10
 O = 32394
T = 1.80
414.wcsp.log.wcnf O = 38478
T = 24.29		 O = 38482
T = 58.73
 O = 38490
T = 131.88
 O = 38486
T = 94.38
 O = 38486
T = 51.42
 O = N/A
T = TO
 O = 38478
T = 24.29
 O = 38491
T = 5.72
 O = N/A
T = TO
42.wcsp.log.wcnf O = 155050
T = 0.51		 O = 155050
T = 2.11
 O = 155050
T = 1.15
 O = 155050
T = 2.22
 O = 155050
T = 0.51
 O = N/A
T = TO
 O = 155050
T = 11.08
 O = 171048
T = 0.53
 O = 171048
T = 0.49
5.wcsp.log.wcnf O = 263
T = 7.97		 O = 263
T = 7.97
 O = 269
T = 203.36
 O = 271
T = 1.31
 O = 270
T = 230.34
 O = N/A
T = TO
 O = N/A
T = TO
 O = 277
T = 0.57
 O = 282
T = 0.53
503.wcsp.log.wcnf O = 11113
T = 0.01		 O = 11113
T = 2.13
 O = 11113
T = 1.43
 O = 11115
T = 20.51
 O = 11115
T = 1.70
 O = 11113
T = 1.76
 O = 11113
T = 0.02
 O = 11113
T = 0.05
 O = 11113
T = 0.01
505.wcsp.log.wcnf O = 21253
T = 2.00		 O = 21253
T = 2.00
 O = 21254
T = 31.74
 O = 22253
T = 26.78
 O = 22253
T = 87.25
 O = N/A
T = TO
 O = 21253
T = 2.55
 O = 21253
T = 21.94
 O = 21269
T = 1.53
507.wcsp.log.wcnf O = 27390
T = 2.07		 O = 27390
T = 2.07
 O = 27396
T = 21.39
 O = 27398
T = 13.82
 O = 27396
T = 136.41
 O = N/A
T = TO
 O = 27390
T = 13.81
 O = 27405
T = 2.49
 O = N/A
T = TO
509.wcsp.log.wcnf O = 36446
T = 1.91		 O = 36447
T = 223.27
 O = 36459
T = 28.22
 O = 36457
T = 227.45
 O = 36457
T = 71.35
 O = N/A
T = TO
 O = 36446
T = 1.91
 O = 36458
T = 2.92
 O = N/A
T = TO
54.wcsp.log.wcnf O = 37
T = 0.02		 O = 37
T = 1.00
 O = 37
T = 1.16
 O = 37
T = 0.51
 O = 37
T = 0.44
 O = 37
T = 0.40
 O = 37
T = 0.02
 O = 37
T = 0.09
 O = 37
T = 0.03
8.wcsp.log.wcnf O = 2
T = 0.00		 O = 2
T = 0.68
 O = 2
T = 0.68
 O = 2
T = 0.23
 O = 2
T = 0.07
 O = 2
T = 0.00
 O = 2
T = 0.00
 O = 2
T = 0.00
 O = 2
T = 0.00