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 CCLS Dist-r Dist HS-Greedy Naps-1.02-ms Optiriss6-in Ramp SC2016 SsMonteCarlo WPM3-2015-in dsat-wpm3-in-wpms dsat-wpm3-s-in-wpms
CSG140-140-46.wcnf O = 16960
T = 1.44
O = 25136
T = 127.77
O = 96222
T = 232.12
O = 55927
T = 4.01
O = 29074
T = 6.73
O = 101735
T = 1.61
O = N/A
T = TO
O = 16960
T = 7.50
O = 28202
T = 96.06
O = 62046
T = 124.43
O = N/A
T = TO
O = 16960
T = 1.44
O = 16960
T = 11.04
O = 16960
T = 1.67
CSG140-140-6.wcnf O = 54029
T = 17.62
O = 76257
T = 111.99
O = N/A
T = TO
O = 125645
T = 3.52
O = 86229
T = 4.54
O = 167782
T = 1.52
O = N/A
T = TO
O = 166847
T = 0.52
O = 98230
T = 293.33
O = 152277
T = 57.99
O = N/A
T = TO
O = 54029
T = 17.62
O = 54029
T = 30.90
O = 60678
T = 11.75
CSG150-150-55.wcnf O = 27533
T = 60.42
O = 45212
T = 43.20
O = N/A
T = TO
O = 86567
T = 5.45
O = 57893
T = 1.89
O = 130695
T = 1.78
O = N/A
T = TO
O = 139794
T = 0.65
O = 53822
T = 183.94
O = 95725
T = 140.07
O = N/A
T = TO
O = 27877
T = 13.51
O = 27533
T = 60.42
O = 27533
T = 84.99
CSG40-40-95.wcnf O = 8847
T = 0.02
O = 9070
T = 59.15
O = 12916
T = 118.86
O = 20262
T = 3.28
O = 19005
T = 278.55
O = 32599
T = 0.11
O = 8847
T = 0.72
O = 8847
T = 0.06
O = 12602
T = 164.66
O = 11147
T = 28.67
O = N/A
T = TO
O = 8847
T = 0.02
O = 8847
T = 8.17
O = 8847
T = 2.10
CSG60-60-88.wcnf O = 7714
T = 0.08
O = 8499
T = 187.59
O = 18589
T = 172.96
O = 34527
T = 0.56
O = 29218
T = 244.27
O = 49472
T = 0.13
O = 7714
T = 2.24
O = 7714
T = 0.13
O = 18008
T = 162.56
O = 18265
T = 59.51
O = 45180
T = 25.55
O = 7714
T = 0.08
O = 7714
T = 7.97
O = 7714
T = 0.38
CSGNaive140-140-0.wcnf O = 18185
T = 3.16
O = 26572
T = 210.64
O = 92439
T = 254.50
O = 65371
T = 5.10
O = 22692
T = 252.16
O = 99936
T = 3.30
O = N/A
T = TO
O = 150737
T = 0.54
O = 32976
T = 87.46
O = 71983
T = 49.33
O = N/A
T = TO
O = 18185
T = 4.24
O = 18185
T = 12.59
O = 18185
T = 3.16
CSGNaive140-140-6.wcnf O = 57892
T = 267.65
O = 75910
T = 145.83
O = N/A
T = TO
O = 126959
T = 209.36
O = 86096
T = 1.22
O = 166027
T = 3.41
O = N/A
T = TO
O = 206537
T = 0.52
O = 108390
T = 267.55
O = N/A
T = TO
O = N/A
T = TO
O = 59451
T = 53.33
O = 57892
T = 267.65
O = 67644
T = 19.00
CSGNaive150-150-55.wcnf O = 30495
T = 16.99
O = 43202
T = 229.21
O = N/A
T = TO
O = 90472
T = 11.00
O = 53842
T = 1.61
O = 134873
T = 3.72
O = N/A
T = TO
O = 178400
T = 0.66
O = 61809
T = 191.04
O = 122596
T = 41.63
O = N/A
T = TO
O = 30495
T = 37.65
O = N/A
T = TO
O = 30495
T = 16.99
CSGNaive60-60-53.wcnf O = 9829
T = 0.09
O = 9829
T = 99.92
O = 40795
T = 19.13
O = 38923
T = 0.81
O = 44017
T = 1.10
O = 56133
T = 1.05
O = 9829
T = 2.73
O = 9829
T = 0.23
O = 23849
T = 254.02
O = 29464
T = 66.99
O = 53685
T = 38.42
O = 9829
T = 0.09
O = 9829
T = 8.30
O = 9829
T = 0.44
CSGNaive70-70-91.wcnf O = 11177
T = 0.12
O = 11177
T = 27.07
O = 31702
T = 91.97
O = 31037
T = 1.07
O = 15517
T = 56.32
O = 51200
T = 1.09
O = N/A
T = TO
O = 11177
T = 0.41
O = 11177
T = 168.84
O = 13317
T = 129.71
O = 48793
T = 159.38
O = 11177
T = 0.12
O = 11177
T = 8.38
O = 11177
T = 0.30
cat_paths_60_130_0000.txt.wcnf O = 78708
T = 0.34
O = 78708
T = 1.02
O = 78708
T = 0.75
O = 78708
T = 0.68
O = 78708
T = 0.34
O = 78905
T = 0.86
O = 78708
T = 25.35
O = 78708
T = 39.29
O = 78708
T = 0.63
O = 78708
T = 0.81
O = 93442
T = 0.48
O = 78708
T = 12.40
O = 78708
T = 12.16
O = 78708
T = 14.21
cat_paths_60_130_0001.txt.wcnf O = 80743
T = 0.59
O = 80743
T = 1.16
O = 80743
T = 0.84
O = 80743
T = 0.59
O = 80743
T = 0.68
O = 81072
T = 0.83
O = 80743
T = 64.54
O = 80743
T = 112.35
O = 80743
T = 0.81
O = 80743
T = 0.79
O = 90676
T = 0.43
O = 80743
T = 17.41
O = 80743
T = 9.64
O = 80743
T = 39.07
cat_paths_60_130_0002.txt.wcnf O = 71385
T = 0.66
O = 71385
T = 1.43
O = 71385
T = 1.06
O = 71385
T = 0.78
O = 71385
T = 0.99
O = 71385
T = 0.69
O = 71385
T = 64.69
O = 72748
T = 4.89
O = 71385
T = 0.69
O = 71385
T = 0.66
O = 86431
T = 0.34
O = 71385
T = 1.86
O = 71385
T = 10.76
O = 71385
T = 6.66
cat_paths_60_130_0003.txt.wcnf O = 86981
T = 0.20
O = 86981
T = 1.50
O = 86981
T = 1.20
O = 86981
T = 0.90
O = 86981
T = 0.25
O = 86981
T = 0.68
O = 86981
T = 58.69
O = 89056
T = 4.44
O = 86981
T = 0.20
O = 86981
T = 0.68
O = 100040
T = 0.54
O = 86981
T = 10.14
O = 86981
T = 12.86
O = 86981
T = 19.12
cat_paths_60_140_0000.txt.wcnf O = 98394
T = 0.45
O = 98394
T = 1.27
O = 98394
T = 1.67
O = 98394
T = 0.45
O = 98394
T = 0.91
O = 98394
T = 0.80
O = 98394
T = 23.34
O = 98485
T = 197.55
O = 98394
T = 0.71
O = 98394
T = 0.81
O = 116861
T = 0.60
O = 98495
T = 20.74
O = 98394
T = 12.34
O = 98512
T = 20.05
cat_paths_60_140_0001.txt.wcnf O = 97718
T = 0.54
O = 97718
T = 1.42
O = 97718
T = 1.40
O = 97718
T = 0.86
O = 97718
T = 0.54
O = 97718
T = 0.77
O = N/A
T = TO
O = 98034
T = 20.47
O = 97718
T = 0.55
O = 97718
T = 0.97
O = 114050
T = 0.61
O = 97718
T = 9.58
O = 97718
T = 11.59
O = 97851
T = 29.61
cat_paths_60_140_0002.txt.wcnf O = 92818
T = 0.52
O = 92818
T = 0.84
O = 92818
T = 0.75
O = 92818
T = 1.47
O = 92818
T = 0.79
O = 92818
T = 0.52
O = 92818
T = 227.40
O = 93729
T = 192.28
O = 92818
T = 72.50
O = 92818
T = 1.11
O = 106668
T = 0.53
O = 92818
T = 11.91
O = 92818
T = 64.93
O = 92818
T = 16.60
cat_paths_60_140_0003.txt.wcnf O = 92696
T = 0.86
O = 92696
T = 1.94
O = 92696
T = 0.86
O = 92696
T = 1.14
O = 92696
T = 1.35
O = 92960
T = 0.75
O = N/A
T = TO
O = 93604
T = 69.64
O = 92696
T = 2.12
O = 92696
T = 1.61
O = 106481
T = 22.96
O = 92696
T = 150.35
O = 92696
T = 63.13
O = 92696
T = 42.32
cat_paths_60_150_0000.txt.wcnf O = 82179
T = 0.50
O = 82179
T = 1.46
O = 82179
T = 0.50
O = 82179
T = 0.80
O = 82179
T = 0.81
O = 82179
T = 1.20
O = N/A
T = TO
O = 83286
T = 194.45
O = 82179
T = 0.60
O = 82179
T = 0.80
O = 95741
T = 0.37
O = N/A
T = TO
O = 82179
T = 10.32
O = 82179
T = 20.85
cat_paths_60_150_0001.txt.wcnf O = 92299
T = 0.74
O = 92299
T = 0.93
O = 92299
T = 1.49
O = 92299
T = 1.57
O = 92299
T = 1.08
O = 92377
T = 0.59
O = N/A
T = TO
O = 94370
T = 3.60
O = 92299
T = 0.74
O = 92299
T = 0.82
O = 106065
T = 28.41
O = 92299
T = 18.62
O = 92299
T = 30.03
O = 92299
T = 54.99
cat_paths_60_150_0002.txt.wcnf O = 101547
T = 0.65
O = 101547
T = 2.25
O = 101547
T = 1.48
O = 101547
T = 1.24
O = 101547
T = 0.89
O = 101547
T = 1.49
O = 101547
T = 120.65
O = 101547
T = 160.76
O = 101547
T = 0.65
O = 101547
T = 1.50
O = 118705
T = 0.46
O = N/A
T = TO
O = 101547
T = 31.04
O = 101547
T = 26.55
cat_paths_60_150_0003.txt.wcnf O = 106294
T = 0.46
O = 106294
T = 1.20
O = 106294
T = 2.00
O = 106294
T = 1.16
O = 106294
T = 0.46
O = 106296
T = 0.82
O = N/A
T = TO
O = 109402
T = 12.77
O = 106294
T = 0.81
O = 106294
T = 0.85
O = 121936
T = 0.59
O = 106294
T = 80.62
O = 106294
T = 13.83
O = 106294
T = 44.60
cat_paths_60_160_0000.txt.wcnf O = 104199
T = 0.53
O = 104199
T = 1.35
O = 104199
T = 1.30
O = 104199
T = 1.07
O = 104199
T = 0.53
O = 104199
T = 2.31
O = N/A
T = TO
O = 105560
T = 193.81
O = 104199
T = 11.53
O = 104199
T = 1.02
O = 122367
T = 35.74
O = 104199
T = 16.49
O = 104199
T = 25.34
O = 104199
T = 14.41
cat_paths_60_160_0001.txt.wcnf O = 99297
T = 0.81
O = 99297
T = 1.72
O = 99297
T = 1.81
O = 99297
T = 3.23
O = 99297
T = 0.81
O = 99342
T = 1.22
O = N/A
T = TO
O = 100554
T = 27.72
O = 99331
T = 123.36
O = 99297
T = 1.94
O = 115070
T = 35.21
O = 99371
T = 17.81
O = 99342
T = 11.31
O = 99706
T = 19.60
cat_paths_60_160_0002.txt.wcnf O = 102352
T = 0.54
O = 102352
T = 1.33
O = 102352
T = 1.68
O = 102352
T = 0.54
O = 102352
T = 0.91
O = 102352
T = 4.74
O = N/A
T = TO
O = 106519
T = 3.53
O = 102352
T = 23.39
O = 102352
T = 1.02
O = 120391
T = 0.64
O = 102352
T = 117.87
O = 102800
T = 24.84
O = 103376
T = 21.07
cat_paths_60_160_0003.txt.wcnf O = 107262
T = 0.73
O = 107262
T = 1.61
O = 107262
T = 1.10
O = 107262
T = 1.06
O = 107262
T = 0.75
O = 107262
T = 0.91
O = N/A
T = TO
O = 108692
T = 5.24
O = 107262
T = 0.73
O = 107262
T = 1.08
O = 125145
T = 0.62
O = N/A
T = TO
O = 107403
T = 32.94
O = 107629
T = 22.50
cat_paths_60_170_0000.txt.wcnf O = 122170
T = 0.94
O = 122170
T = 1.70
O = 122170
T = 0.94
O = 122170
T = 1.17
O = 122170
T = 1.17
O = 122734
T = 0.72
O = N/A
T = TO
O = 124875
T = 111.45
O = 122170
T = 3.42
O = 122170
T = 1.05
O = 138352
T = 0.46
O = 122170
T = 120.75
O = 122170
T = 19.33
O = 122170
T = 54.61
cat_paths_60_170_0003.txt.wcnf O = 122748
T = 0.82
O = 122748
T = 1.93
O = 122748
T = 1.47
O = 122748
T = 1.22
O = 122748
T = 0.82
O = 122748
T = 0.86
O = N/A
T = TO
O = 125822
T = 7.00
O = 122748
T = 1.34
O = 122748
T = 0.99
O = 139292
T = 0.51
O = 122748
T = 15.08
O = 122748
T = 187.72
O = 122748
T = 15.26
cat_paths_60_170_0004.txt.wcnf O = 99105
T = 0.62
O = 99105
T = 1.76
O = 99105
T = 1.38
O = 99105
T = 12.86
O = 99105
T = 2.26
O = 99250
T = 4.94
O = N/A
T = TO
O = 101189
T = 4.67
O = 99143
T = 145.39
O = 99105
T = 0.62
O = 112866
T = 0.46
O = N/A
T = TO
O = 99105
T = 147.49
O = 99677
T = 23.69
cat_paths_60_170_0005.txt.wcnf O = 114493
T = 1.19
O = 114493
T = 2.25
O = 114493
T = 1.46
O = 114493
T = 2.40
O = 114493
T = 1.38
O = 114493
T = 1.54
O = N/A
T = TO
O = 118132
T = 172.84
O = 114493
T = 2.18
O = 114493
T = 1.19
O = 131878
T = 0.42
O = N/A
T = TO
O = 114493
T = 38.49
O = 114493
T = 162.50
cat_sched_60_160_0000.txt.wcnf O = 42672
T = 0.02
O = 42672
T = 0.76
O = 42672
T = 0.50
O = 42672
T = 0.02
O = 42672
T = 0.10
O = 42672
T = 0.07
O = 42672
T = 5.26
O = 42672
T = 1.99
O = 42672
T = 0.11
O = 42672
T = 0.42
O = 43725
T = 0.54
O = 42672
T = 0.08
O = 42672
T = 8.24
O = 42672
T = 5.11
cat_sched_60_160_0001.txt.wcnf O = 72012
T = 0.07
O = 72012
T = 0.50
O = 72012
T = 0.42
O = 72012
T = 0.07
O = 72012
T = 0.07
O = 72012
T = 0.13
O = 72012
T = 4.48
O = 72012
T = 4.52
O = 72012
T = 0.08
O = 72012
T = 0.35
O = N/A
T = TO
O = 72012
T = 0.10
O = 72012
T = 8.25
O = 72012
T = 5.13
cat_sched_60_160_0002.txt.wcnf O = 173386
T = 0.18
O = 173386
T = 0.34
O = 173386
T = 0.81
O = 173386
T = 0.22
O = 173386
T = 0.23
O = 173386
T = 0.53
O = 173386
T = 12.50
O = 173386
T = 4.28
O = 173386
T = 0.18
O = 173386
T = 0.50
O = 176596
T = 0.47
O = 173386
T = 0.24
O = 173386
T = 7.90
O = 173386
T = 5.18
cat_sched_60_160_0003.txt.wcnf O = 118883
T = 0.05
O = 118883
T = 0.33
O = 118883
T = 0.42
O = 118883
T = 0.21
O = 118883
T = 0.05
O = 118883
T = 0.13
O = 118883
T = 6.02
O = 118883
T = 5.06
O = 118883
T = 0.08
O = 118883
T = 0.37
O = 120267
T = 0.41
O = 118883
T = 0.09
O = 118883
T = 7.87
O = 118883
T = 5.11
cat_sched_60_170_0000.txt.wcnf O = 128737
T = 0.11
O = 128737
T = 0.43
O = 128737
T = 0.59
O = 128737
T = 0.14
O = 128737
T = 0.13
O = 128737
T = 0.19
O = 128737
T = 6.07
O = 128737
T = 5.33
O = 128737
T = 0.11
O = 128737
T = 0.36
O = 131129
T = 0.47
O = 128737
T = 0.18
O = 128737
T = 8.31
O = 128737
T = 5.59
cat_sched_60_170_0001.txt.wcnf O = 62218
T = 0.27
O = 62218
T = 0.64
O = 62218
T = 0.75
O = 62218
T = 0.27
O = 62218
T = 0.35
O = 62218
T = 0.27
O = 62218
T = 12.14
O = 62218
T = 6.87
O = 62218
T = 0.28
O = 62218
T = 0.42
O = 64951
T = 0.65
O = N/A
T = TO
O = N/A
T = TO
O = 62218
T = 6.33
cat_sched_60_170_0002.txt.wcnf O = 64664
T = 0.04
O = 64664
T = 0.38
O = 64664
T = 0.49
O = 64664
T = 0.10
O = 64664
T = 0.07
O = 64664
T = 0.12
O = 64664
T = 7.89
O = 64664
T = 10.62
O = 64664
T = 0.04
O = 64664
T = 0.35
O = 65245
T = 0.48
O = 64664
T = 0.11
O = 64664
T = 8.23
O = 64664
T = 5.15
cat_sched_60_170_0003.txt.wcnf O = 169415
T = 0.04
O = 169415
T = 0.56
O = 169415
T = 0.60
O = 169415
T = 0.04
O = 169415
T = 0.10
O = 169415
T = 0.10
O = 169415
T = 19.01
O = 169415
T = 8.70
O = 169415
T = 0.09
O = 169415
T = 0.42
O = 171189
T = 0.66
O = 169415
T = 0.13
O = 169415
T = 8.28
O = 169415
T = 5.19
cat_sched_60_180_0000.txt.wcnf O = 112247
T = 0.08
O = 112247
T = 0.46
O = 112247
T = 0.52
O = 112247
T = 0.11
O = 112247
T = 0.16
O = 112247
T = 0.16
O = 112247
T = 5.88
O = 112247
T = 6.90
O = 112247
T = 0.08
O = 112247
T = 0.42
O = 113955
T = 0.38
O = 112247
T = 0.76
O = 112247
T = 8.34
O = 112247
T = 5.33
cat_sched_60_180_0001.txt.wcnf O = 154599
T = 0.14
O = 154599
T = 0.69
O = 154599
T = 0.61
O = 154599
T = 0.32
O = 154599
T = 0.33
O = 154599
T = 0.40
O = 154599
T = 8.04
O = 154599
T = 2.60
O = 154599
T = 0.20
O = 154599
T = 0.42
O = 156660
T = 0.53
O = 154599
T = 0.14
O = 154599
T = 7.92
O = 154599
T = 5.23
cat_sched_60_180_0002.txt.wcnf O = 95338
T = 0.04
O = 95338
T = 0.49
O = 95338
T = 0.56
O = 95338
T = 0.07
O = 95338
T = 0.07
O = 95338
T = 0.04
O = 95338
T = 24.96
O = 95338
T = 14.49
O = 95338
T = 0.04
O = 95338
T = 0.35
O = 96155
T = 0.52
O = 95338
T = 0.18
O = 95338
T = 8.28
O = 95338
T = 5.27
cat_sched_60_180_0003.txt.wcnf O = 104416
T = 0.13
O = 104416
T = 0.57
O = 104416
T = 0.58
O = 104416
T = 0.22
O = 104416
T = 0.33
O = 104416
T = 0.18
O = 104416
T = 6.35
O = 104416
T = 6.62
O = 104416
T = 0.13
O = 104416
T = 0.40
O = 105500
T = 0.54
O = 104416
T = 0.15
O = 104416
T = 8.04
O = 104416
T = 5.05
cat_sched_60_190_0000.txt.wcnf O = 152878
T = 0.17
O = 152878
T = 0.60
O = 152878
T = 0.79
O = 152878
T = 0.27
O = 152878
T = 0.22
O = 152878
T = 0.23
O = 152878
T = 10.90
O = 152878
T = 6.55
O = 152878
T = 0.19
O = 152878
T = 0.69
O = 157903
T = 0.55
O = 152878
T = 0.17
O = 152878
T = 8.11
O = 152878
T = 5.25
cat_sched_60_190_0001.txt.wcnf O = 71645
T = 0.09
O = 71645
T = 0.56
O = 71645
T = 0.72
O = 71645
T = 0.14
O = 71645
T = 0.18
O = 71645
T = 0.18
O = 71645
T = 24.59
O = 71645
T = 6.10
O = 71645
T = 0.09
O = 71645
T = 0.40
O = 73804
T = 0.51
O = 71645
T = 0.21
O = 71645
T = 8.35
O = 71645
T = 5.05
cat_sched_60_190_0002.txt.wcnf O = 90463
T = 0.12
O = 90463
T = 1.02
O = 90463
T = 1.00
O = 90463
T = 0.35
O = 90463
T = 0.23
O = 90463
T = 0.31
O = 90463
T = 25.86
O = 90463
T = 4.90
O = 90463
T = 0.12
O = 90463
T = 0.39
O = N/A
T = TO
O = 90463
T = 0.33
O = 90463
T = 8.34
O = 90463
T = 4.78
cat_sched_60_190_0003.txt.wcnf O = 87812
T = 0.02
O = 87812
T = 0.57
O = 87812
T = 0.62
O = 87812
T = 0.07
O = 87812
T = 0.02
O = 87812
T = 0.03
O = 87812
T = 15.39
O = 87812
T = 5.01
O = 87812
T = 0.03
O = 87812
T = 0.41
O = 89182
T = 0.55
O = 87812
T = 0.12
O = 87812
T = 8.23
O = 87812
T = 5.13
cat_sched_60_200_0000.txt.wcnf O = 242832
T = 0.14
O = 242832
T = 0.51
O = 242832
T = 0.69
O = 242832
T = 0.20
O = 242832
T = 0.27
O = 242832
T = 0.14
O = 242832
T = 31.62
O = 242832
T = 8.28
O = 242832
T = 0.22
O = 242832
T = 0.58
O = N/A
T = TO
O = 242832
T = 0.20
O = 242832
T = 8.09
O = 242832
T = 5.28
cat_sched_60_200_0001.txt.wcnf O = 46823
T = 0.04
O = 46823
T = 0.68
O = 46823
T = 0.53
O = 46823
T = 0.18
O = 46823
T = 0.16
O = 46823
T = 0.10
O = 46823
T = 10.78
O = 46823
T = 4.74
O = 46823
T = 0.04
O = 46823
T = 0.34
O = 46948
T = 0.39
O = 46823
T = 0.13
O = 46823
T = 7.98
O = 46823
T = 5.07
cat_sched_60_200_0002.txt.wcnf O = 145851
T = 0.12
O = 145851
T = 0.52
O = 145851
T = 0.47
O = 145851
T = 0.15
O = 145851
T = 0.12
O = 145851
T = 0.15
O = 145851
T = 20.50
O = 145851
T = 4.31
O = 145851
T = 0.16
O = 145851
T = 0.36
O = 149012
T = 0.54
O = 145851
T = 0.18
O = 145851
T = 8.14
O = 145851
T = 3.79
cat_sched_60_200_0003.txt.wcnf O = 187411
T = 0.10
O = 187411
T = 0.77
O = 187411
T = 0.46
O = 187411
T = 0.10
O = 187411
T = 0.24
O = 187411
T = 0.12
O = 187411
T = 18.48
O = 187411
T = 3.28
O = 187411
T = 0.19
O = 187411
T = 0.41
O = 189747
T = 0.49
O = 187411
T = 0.16
O = 187411
T = 8.28
O = 187411
T = 5.18
causal_n5_i10_N1000_uai13_log_int.wcnf O = 75755143
T = 5.53
O = 273409871
T = 164.91
O = N/A
T = TO
O = 303345448
T = 1.85
O = 273409871
T = 219.06
O = 303345448
T = 1.35
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 = 75755143
T = 5.53
O = 75755143
T = 15.67
O = 75755143
T = 8.55
causal_n5_i10_N500_uai13_log_int.wcnf O = 75755143
T = 8.71
O = 274314268
T = 173.00
O = N/A
T = TO
O = 303345448
T = 1.82
O = 266094227
T = 49.87
O = 303345448
T = 1.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 = 122126140
T = 0.29
O = 75755143
T = 8.71
O = 75755143
T = 14.07
causal_n5_i5_N10000_uai13_log_int.wcnf O = 46030289
T = 20.41
O = 76941049
T = 103.56
O = N/A
T = TO
O = 88343799
T = 1.85
O = 88343799
T = 0.61
O = 88343799
T = 1.39
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 = 1041902634
T = 0.43
O = 46030289
T = 20.41
O = 47887161
T = 1.45
causal_n5_i5_N1000_uai13_log_int.wcnf O = 46619974
T = 8.50
O = 71012836
T = 215.65
O = N/A
T = TO
O = 88343799
T = 1.82
O = 88343799
T = 0.61
O = 88343799
T = 1.37
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 = 46619974
T = 8.50
O = 46619974
T = 14.50
O = 5480942874
T = 17.99
causal_n5_i5_N500_uai13_log_int.wcnf O = 46619974
T = 14.11
O = 85260430
T = 104.45
O = N/A
T = TO
O = 88343799
T = 1.81
O = 88343799
T = 0.62
O = 88343799
T = 1.34
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 = 47887161
T = 1.22
O = 47887161
T = 9.11
O = 46619974
T = 14.11
causal_n5_i9_N10000_uai13_log_int.wcnf O = 127884075
T = 1.56
O = 435823919
T = 3.21
O = N/A
T = TO
O = 435823919
T = 1.86
O = 271507774
T = 164.65
O = 435823919
T = 1.35
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 = 127884075
T = 1.56
O = 127884075
T = 9.68
O = 127884075
T = 23.94
causal_n5_i9_N1000_uai13_log_int.wcnf O = 127884075
T = 2.48
O = 435823919
T = 3.05
O = N/A
T = TO
O = 435823919
T = 1.82
O = 364613998
T = 246.58
O = 435823919
T = 1.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 = 127884075
T = 3.66
O = 127884075
T = 13.59
O = 127884075
T = 2.48
causal_n6_i10_N500_uai13_log_int.wcnf O = 259001056
T = 2.13
O = 1231246272
T = 108.99
O = N/A
T = TO
O = 1231246272
T = 55.71
O = 1231246272
T = 4.82
O = 1231246272
T = 33.94
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 = 259001056
T = 2.13
O = 2035732059
T = 20.59
O = 259001056
T = 24.43
causal_n6_i10_N500_uai14_log_int.wcnf O = 183312821
T = 8.39
O = 191416596
T = 139.00
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 1231246272
T = 0.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 = 183312821
T = 8.39
O = N/A
T = TO
O = 234167086
T = 10.24
causal_n6_i1_N10000_uai14_log_int.wcnf O = 1818379680
T = 19.47
O = 2424396412
T = 262.35
O = N/A
T = TO
O = N/A
T = TO
O = 6673350962
T = 128.44
O = 6673350962
T = 0.14
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 = 26990114392
T = 14.35
O = 1818379680
T = 19.47
O = 32104326682
T = 21.11
causal_n6_i2_N1000_uai13_log_int.wcnf O = 1469359521
T = 40.51
O = 6695431407
T = 101.55
O = N/A
T = TO
O = 6695431407
T = 54.38
O = 1469359521
T = 40.51
O = 6695431407
T = 35.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 = 5705034991
T = 192.11
O = N/A
T = TO
O = 5978440877
T = 1.47
causal_n6_i2_N500_uai13_log_int.wcnf O = 1469359521
T = 39.68
O = 6695431407
T = 102.38
O = N/A
T = TO
O = 6695431407
T = 55.28
O = 1469359521
T = 39.68
O = 6695431407
T = 34.82
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 = 14509110391
T = 3.55
O = N/A
T = TO
O = N/A
T = TO
causal_n6_i3_N10000_uai13_log_int.wcnf O = 20629755582
T = 266.56
O = 135774653430
T = 112.15
O = N/A
T = TO
O = 135774653430
T = 55.55
O = 63088259272
T = 2.00
O = 135774653430
T = 35.14
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 = 20629755582
T = 266.56
O = 259239651182
T = 56.20
O = 259239651182
T = 97.80
causal_n6_i5_N10000_uai13_log_int.wcnf O = 4590069811
T = 7.09
O = 4590069811
T = 107.64
O = N/A
T = TO
O = 4590069811
T = 56.62
O = 4590069811
T = 7.09
O = 4590069811
T = 34.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 = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
causal_n6_i5_N1000_uai13_log_int.wcnf O = 4590069811
T = 7.17
O = 4590069811
T = 103.32
O = N/A
T = TO
O = 4590069811
T = 56.46
O = 4590069811
T = 7.17
O = 4590069811
T = 33.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 = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
causal_n6_i5_N500_uai13_log_int.wcnf O = 355929820
T = 6.04
O = 4590069811
T = 99.64
O = N/A
T = TO
O = 4590069811
T = 55.80
O = 4590069811
T = 7.01
O = 4590069811
T = 33.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 = 355929820
T = 6.04
O = 355929820
T = 15.07
O = 13400579290
T = 1.50
causal_n6_i6_N1000_uai14_log_int.wcnf O = 141474783700
T = 48.36
O = 141474783700
T = 48.36
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 270064669700
T = 0.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 = 274772742700
T = 10.37
O = N/A
T = TO
O = 274772742700
T = 24.81
causal_n6_i7_N1000_uai14_log_int.wcnf O = 2145196059
T = 0.15
O = 2758768089
T = 8.22
O = N/A
T = TO
O = N/A
T = TO
O = 11673910889
T = 167.18
O = 11673910889
T = 0.12
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 = 2145196059
T = 0.15
O = 2145196059
T = 8.27
O = N/A
T = TO
causal_n6_i8_N1000_uai14_log_int.wcnf O = 19596713347
T = 6.16
O = 19596713347
T = 6.16
O = N/A
T = TO
O = N/A
T = TO
O = 131261115987
T = 165.16
O = 131261115987
T = 0.19
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 = 19596713347
T = 10.58
causal_n6_i9_N10000_uai14_log_int.wcnf O = 2269682914
T = 18.00
O = 2459221184
T = 193.53
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 5176868363
T = 0.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 = 20676910173
T = 18.10
O = 127626351013
T = 10.71
O = 2269682914
T = 18.00
causal_n7_i10_N10000_uai14_log_int.wcnf O = 8353056804
T = 13.22
O = 36506252968
T = 1.58
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 36506252968
T = 0.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 = 8353056804
T = 13.22
O = 8353056804
T = 28.30
O = N/A
T = TO
causal_n7_i10_N1000_uai14_log_int.wcnf O = 3680168204
T = 19.88
O = 36506252968
T = 1.56
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 36506252968
T = 0.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 = 3680168204
T = 19.88
O = 3680168204
T = 28.51
O = 68325981404
T = 10.89
causal_n7_i10_N500_uai14_log_int.wcnf O = 3339853404
T = 13.99
O = 36506252968
T = 1.79
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 36506252968
T = 0.88
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 = 20754645784
T = 10.83
O = 20754645784
T = 13.96
O = 3339853404
T = 13.99
causal_n7_i4_N10000_uai14_log_int.wcnf O = 52983280824
T = 245.86
O = 52983280824
T = 245.86
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 138415729550
T = 0.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 = 2986586891024
T = 0.38
O = N/A
T = TO
O = N/A
T = TO
causal_n7_i4_N1000_uai14_log_int.wcnf O = 60957882124
T = 126.64
O = 60957882124
T = 126.64
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 138415729550
T = 0.77
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 = 2860632279944
T = 16.79
O = N/A
T = TO
O = N/A
T = TO
causal_n7_i4_N500_uai14_log_int.wcnf O = 94315090824
T = 168.41
O = 94315090824
T = 168.41
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 138415729550
T = 0.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 = 3200091357744
T = 0.29
O = 1060694355160
T = 10.28
O = 1060694355160
T = 35.92
causal_n7_i5_N10000_uai14_log_int.wcnf O = 318021057485
T = 0.73
O = 318021057485
T = 1.65
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 318021057485
T = 0.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 = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
causal_n7_i5_N1000_uai14_log_int.wcnf O = 318021057485
T = 0.74
O = 318021057485
T = 2.26
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 318021057485
T = 0.74
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 = 326404567720
T = 19.87
O = N/A
T = TO
O = N/A
T = TO
causal_n7_i5_N500_uai14_log_int.wcnf O = 20711646820
T = 12.76
O = 318021057485
T = 1.89
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 318021057485
T = 0.88
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 = 20711646820
T = 12.76
O = N/A
T = TO
O = N/A
T = TO
causal_n7_i8_N10000_uai14_log_int.wcnf O = 11486104693
T = 7.01
O = 338718561611
T = 1.66
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 338718561611
T = 0.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 = 11486104693
T = 7.01
O = 11486104693
T = 14.10
O = 11486104693
T = 9.23
causal_n7_i8_N1000_uai14_log_int.wcnf O = 11486104693
T = 5.36
O = 338718561611
T = 1.97
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 338718561611
T = 0.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 = 11486104693
T = 5.36
O = 11486104693
T = 12.81
O = 11486104693
T = 9.61
causal_n7_i8_N500_uai14_log_int.wcnf O = 11486104693
T = 24.84
O = 338718561611
T = 1.65
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 338718561611
T = 0.79
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 = 11486104693
T = 24.84
O = 11486104693
T = 33.31
O = 623229203393
T = 10.10
causal_n7_i9_N10000_uai14_log_int.wcnf O = 77725684079
T = 12.93
O = 136899940680
T = 168.17
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 203110818080
T = 0.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 = 77725684079
T = 12.93
O = 77725684079
T = 19.87
O = N/A
T = TO
causal_n7_i9_N1000_uai14_log_int.wcnf O = 43638470640
T = 30.88
O = 136899940680
T = 84.06
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 203110818080
T = 0.79
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 = 43638470640
T = 39.22
O = 43638470640
T = 30.88
O = 1138904789740
T = 13.12
causal_n7_i9_N500_uai14_log_int.wcnf O = 77725684079
T = 9.76
O = 198275422080
T = 36.38
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 203110818080
T = 0.90
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 = 621984333909
T = 0.93
O = 77725684079
T = 19.55
O = 77725684079
T = 9.76
frb10-6-1.wcnf O = 50
T = 0.02
O = 50
T = 1.66
O = 50
T = 1.59
O = N/A
T = TO
O = N/A
T = TO
O = 50
T = 1.23
O = 50
T = 0.06
O = 50
T = 0.02
O = 50
T = 0.50
O = 50
T = 1.13
O = 50
T = 0.41
O = 50
T = 0.15
O = 50
T = 9.06
O = 50
T = 5.09
frb10-6-2.wcnf O = 50
T = 0.01
O = 50
T = 1.17
O = 50
T = 1.77
O = N/A
T = TO
O = N/A
T = TO
O = 50
T = 0.85
O = 50
T = 0.07
O = 50
T = 0.01
O = 50
T = 1.50
O = 50
T = 1.08
O = 50
T = 0.62
O = 50
T = 0.33
O = 50
T = 9.11
O = 50
T = 5.81
frb10-6-3.wcnf O = 50
T = 0.02
O = 50
T = 1.32
O = 50
T = 1.65
O = N/A
T = TO
O = N/A
T = TO
O = 51
T = 0.97
O = 50
T = 0.07
O = 50
T = 0.02
O = 50
T = 1.27
O = 50
T = 1.39
O = 50
T = 0.58
O = 50
T = 0.22
O = 50
T = 8.14
O = 50
T = 5.77
frb10-6-4.wcnf O = 50
T = 0.02
O = 50
T = 2.02
O = 50
T = 1.63
O = N/A
T = TO
O = N/A
T = TO
O = 50
T = 1.27
O = 50
T = 0.07
O = 50
T = 0.02
O = 50
T = 0.73
O = 50
T = 1.47
O = 50
T = 0.67
O = 50
T = 0.15
O = 50
T = 9.04
O = 50
T = 5.28
frb15-9-1.wcnf O = 120
T = 0.19
O = 120
T = 3.71
O = 120
T = 3.10
O = N/A
T = TO
O = N/A
T = TO
O = 120
T = 2.69
O = 120
T = 0.43
O = 120
T = 0.19
O = 120
T = 2.99
O = 120
T = 3.18
O = 120
T = 9.10
O = 120
T = 20.50
O = 120
T = 9.21
O = 120
T = 42.73
frb15-9-2.wcnf O = 120
T = 0.27
O = 120
T = 3.72
O = 120
T = 3.02
O = N/A
T = TO
O = N/A
T = TO
O = 121
T = 2.57
O = 120
T = 0.36
O = 120
T = 0.27
O = 120
T = 2.63
O = 120
T = 3.36
O = 120
T = 44.08
O = 120
T = 14.82
O = 120
T = 9.19
O = 120
T = 40.86
frb15-9-3.wcnf O = 120
T = 0.25
O = 120
T = 3.17
O = 120
T = 2.89
O = N/A
T = TO
O = N/A
T = TO
O = 121
T = 2.16
O = 120
T = 0.41
O = 120
T = 0.25
O = 120
T = 3.32
O = 120
T = 2.81
O = 120
T = 23.91
O = 120
T = 7.15
O = 120
T = 17.47
O = 120
T = 13.04
frb15-9-4.wcnf O = 120
T = 0.30
O = 120
T = 2.75
O = 120
T = 3.54
O = N/A
T = TO
O = N/A
T = TO
O = 120
T = 2.32
O = 120
T = 0.44
O = 120
T = 0.30
O = 120
T = 3.10
O = 120
T = 3.24
O = 120
T = 23.31
O = 120
T = 9.79
O = 120
T = 14.27
O = 120
T = 15.04
frb15-9-5.wcnf O = 120
T = 0.21
O = 120
T = 2.86
O = 120
T = 3.51
O = N/A
T = TO
O = N/A
T = TO
O = 122
T = 2.71
O = 120
T = 0.37
O = 120
T = 0.21
O = 120
T = 3.02
O = 120
T = 2.33
O = 120
T = 24.11
O = 120
T = 22.73
O = 120
T = 9.33
O = 120
T = 39.58
frb20-11-1.wcnf O = 200
T = 1.06
O = 200
T = 4.51
O = 200
T = 2.66
O = N/A
T = TO
O = N/A
T = TO
O = 201
T = 4.82
O = 200
T = 1.06
O = 200
T = 1.17
O = 200
T = 4.51
O = 200
T = 4.33
O = 202
T = 184.61
O = 205
T = 0.22
O = 200
T = 56.11
O = 200
T = 88.82
frb20-11-2.wcnf O = 200
T = 1.07
O = 200
T = 4.49
O = 200
T = 5.20
O = N/A
T = TO
O = N/A
T = TO
O = 202
T = 4.33
O = 200
T = 1.07
O = 200
T = 1.09
O = 200
T = 4.22
O = 200
T = 3.24
O = 202
T = 179.29
O = N/A
T = TO
O = 200
T = 54.21
O = 200
T = 76.13
frb20-11-3.wcnf O = 200
T = 1.09
O = 200
T = 4.74
O = 200
T = 4.77
O = N/A
T = TO
O = N/A
T = TO
O = 202
T = 4.55
O = 200
T = 1.15
O = 200
T = 1.09
O = 200
T = 4.40
O = 200
T = 2.41
O = 202
T = 80.38
O = N/A
T = TO
O = 200
T = 57.78
O = 200
T = 81.24
frb20-11-4.wcnf O = 200
T = 1.05
O = 200
T = 5.53
O = 200
T = 5.11
O = N/A
T = TO
O = N/A
T = TO
O = 200
T = 4.67
O = 200
T = 1.06
O = 200
T = 1.05
O = 200
T = 5.80
O = 200
T = 4.29
O = 203
T = 55.16
O = N/A
T = TO
O = 200
T = 64.26
O = 200
T = 84.12
frb20-11-5.wcnf O = 200
T = 1.20
O = 200
T = 4.58
O = 200
T = 4.95
O = N/A
T = TO
O = N/A
T = TO
O = 201
T = 4.89
O = 200
T = 1.20
O = 200
T = 1.25
O = 200
T = 3.57
O = 200
T = 3.45
O = 202
T = 63.99
O = 206
T = 0.10
O = 200
T = 190.15
O = 200
T = 163.89
frb25-13-1.wcnf O = 300
T = 4.81
O = 300
T = 7.44
O = 300
T = 8.01
O = N/A
T = TO
O = N/A
T = TO
O = 302
T = 6.13
O = 300
T = 5.37
O = 300
T = 12.73
O = 300
T = 5.50
O = 300
T = 4.81
O = 319
T = 0.58
O = N/A
T = TO
O = 301
T = 85.68
O = 300
T = 124.76
frb25-13-2.wcnf O = 300
T = 3.08
O = 300
T = 5.42
O = 300
T = 7.20
O = N/A
T = TO
O = N/A
T = TO
O = 302
T = 7.01
O = 300
T = 3.17
O = 300
T = 3.08
O = 300
T = 6.47
O = 300
T = 6.18
O = 321
T = 0.45
O = 308
T = 0.19
O = 301
T = 72.23
O = 301
T = 280.43
frb25-13-3.wcnf O = 300
T = 2.76
O = 300
T = 5.31
O = 300
T = 6.38
O = N/A
T = TO
O = N/A
T = TO
O = 302
T = 7.04
O = 300
T = 5.70
O = 300
T = 2.76
O = 300
T = 5.98
O = 300
T = 8.14
O = 320
T = 0.74
O = 308
T = 0.18
O = 301
T = 191.99
O = 300
T = 73.86
frb25-13-4.wcnf O = 300
T = 4.89
O = 300
T = 5.07
O = 300
T = 6.99
O = N/A
T = TO
O = N/A
T = TO
O = 301
T = 7.07
O = 300
T = 7.15
O = 300
T = 4.89
O = 300
T = 7.28
O = 300
T = 6.11
O = 319
T = 0.43
O = N/A
T = TO
O = 301
T = 57.59
O = 301
T = 82.14
frb25-13-5.wcnf O = 300
T = 3.53
O = 300
T = 8.97
O = 300
T = 7.78
O = N/A
T = TO
O = N/A
T = TO
O = 303
T = 8.04
O = 300
T = 3.53
O = 300
T = 4.67
O = 300
T = 7.82
O = 300
T = 5.10
O = 321
T = 0.56
O = N/A
T = TO
O = 300
T = 104.29
O = 301
T = 159.77
frb30-15-1.wcnf O = 420
T = 8.23
O = 420
T = 8.27
O = 420
T = 10.37
O = N/A
T = TO
O = N/A
T = TO
O = 423
T = 9.13
O = 420
T = 14.03
O = 420
T = 15.51
O = 420
T = 9.58
O = 420
T = 8.23
O = 1345
T = 0.54
O = N/A
T = TO
O = 422
T = 85.37
O = 421
T = 180.37
frb30-15-2.wcnf O = 420
T = 8.01
O = 420
T = 8.74
O = 420
T = 8.01
O = N/A
T = TO
O = N/A
T = TO
O = 423
T = 9.12
O = 420
T = 32.02
O = 420
T = 14.45
O = 420
T = 8.27
O = 420
T = 9.09
O = 894
T = 0.45
O = N/A
T = TO
O = 421
T = 67.39
O = 427
T = 22.91
frb30-15-3.wcnf O = 420
T = 6.91
O = 420
T = 9.87
O = 420
T = 6.91
O = N/A
T = TO
O = N/A
T = TO
O = 422
T = 10.61
O = 420
T = 19.47
O = 420
T = 14.68
O = 420
T = 34.50
O = 420
T = 8.81
O = 1343
T = 0.45
O = N/A
T = TO
O = 422
T = 70.54
O = 426
T = 22.50
frb30-15-4.wcnf O = 420
T = 7.97
O = 420
T = 7.97
O = 420
T = 9.85
O = N/A
T = TO
O = N/A
T = TO
O = 422
T = 9.69
O = 420
T = 11.25
O = 420
T = 11.54
O = 420
T = 10.03
O = 420
T = 10.14
O = 1344
T = 0.62
O = 428
T = 0.20
O = 422
T = 71.75
O = 420
T = 146.70
frb30-15-5.wcnf O = 420
T = 5.16
O = 420
T = 8.90
O = 420
T = 7.90
O = N/A
T = TO
O = N/A
T = TO
O = 423
T = 9.23
O = 420
T = 14.32
O = 420
T = 14.55
O = 420
T = 5.16
O = 420
T = 7.34
O = 1794
T = 0.52
O = N/A
T = TO
O = 423
T = 9.95
O = 423
T = 40.72
frb35-17-1.wcnf O = 560
T = 8.88
O = 560
T = 13.70
O = 560
T = 12.58
O = N/A
T = TO
O = N/A
T = TO
O = 563
T = 12.32
O = 560
T = 49.29
O = 571
T = 0.13
O = 560
T = 11.52
O = 560
T = 8.88
O = 566
T = 3.20
O = N/A
T = TO
O = 562
T = 148.76
O = 568
T = 24.35
frb35-17-2.wcnf O = 560
T = 12.40
O = 560
T = 13.00
O = 560
T = 12.40
O = N/A
T = TO
O = N/A
T = TO
O = 563
T = 7.45
O = N/A
T = TO
O = 560
T = 131.02
O = 560
T = 40.82
O = 560
T = 13.19
O = 565
T = 54.86
O = N/A
T = TO
O = 561
T = 200.61
O = 568
T = 21.31
frb35-17-3.wcnf O = 560
T = 10.09
O = 560
T = 10.78
O = 560
T = 13.01
O = N/A
T = TO
O = N/A
T = TO
O = 563
T = 11.49
O = 560
T = 59.62
O = 560
T = 37.76
O = 560
T = 10.09
O = 560
T = 10.72
O = 564
T = 13.96
O = N/A
T = TO
O = 563
T = 14.95
O = 569
T = 23.38
frb35-17-4.wcnf O = 560
T = 9.93
O = 560
T = 32.31
O = 560
T = 11.83
O = N/A
T = TO
O = N/A
T = TO
O = 563
T = 9.47
O = 560
T = 43.26
O = 560
T = 99.34
O = 560
T = 45.82
O = 560
T = 9.93
O = 565
T = 63.42
O = N/A
T = TO
O = 563
T = 44.01
O = 566
T = 1.96
frb35-17-5.wcnf O = 560
T = 10.29
O = 560
T = 12.69
O = 560
T = 13.36
O = N/A
T = TO
O = N/A
T = TO
O = 563
T = 11.69
O = N/A
T = TO
O = 560
T = 56.59
O = 560
T = 10.29
O = 560
T = 10.88
O = 565
T = 36.37
O = N/A
T = TO
O = 564
T = 23.78
O = 570
T = 1.98
frb40-19-1.wcnf O = 720
T = 12.25
O = 720
T = 15.30
O = 720
T = 16.28
O = N/A
T = TO
O = N/A
T = TO
O = 722
T = 16.82
O = N/A
T = TO
O = 720
T = 177.46
O = 720
T = 32.29
O = 720
T = 12.25
O = 728
T = 7.55
O = N/A
T = TO
O = 725
T = 13.83
O = 729
T = 22.87
frb40-19-2.wcnf O = 720
T = 13.56
O = 720
T = 24.25
O = 721
T = 19.05
O = N/A
T = TO
O = N/A
T = TO
O = 724
T = 18.31
O = N/A
T = TO
O = 732
T = 0.14
O = 721
T = 18.74
O = 720
T = 13.56
O = 727
T = 6.43
O = N/A
T = TO
O = 723
T = 25.23
O = 726
T = 41.49
frb40-19-3.wcnf O = 720
T = 7.98
O = 720
T = 7.98
O = 720
T = 55.01
O = N/A
T = TO
O = N/A
T = TO
O = 723
T = 9.75
O = N/A
T = TO
O = 735
T = 0.14
O = 720
T = 70.43
O = 720
T = 13.87
O = 728
T = 4.00
O = N/A
T = TO
O = 724
T = 101.70
O = 729
T = 23.16
frb40-19-4.wcnf O = 720
T = 14.17
O = 720
T = 44.22
O = 720
T = 19.98
O = N/A
T = TO
O = N/A
T = TO
O = 723
T = 17.13
O = N/A
T = TO
O = 734
T = 0.13
O = 720
T = 38.97
O = 720
T = 14.17
O = 727
T = 74.93
O = N/A
T = TO
O = 723
T = 270.98
O = 729
T = 48.27
frb40-19-5.wcnf O = 720
T = 12.64
O = 721
T = 15.68
O = 721
T = 14.07
O = N/A
T = TO
O = N/A
T = TO
O = 724
T = 13.65
O = N/A
T = TO
O = 720
T = 51.84
O = 721
T = 13.08
O = 720
T = 12.64
O = 727
T = 64.78
O = N/A
T = TO
O = 724
T = 23.35
O = 729
T = 23.41
driverlog02bc.wcsp.wcnf O = 2085
T = 0.49
O = 2085
T = 2.07
O = N/A
T = TO
O = 2085
T = 0.68
O = 2085
T = 66.76
O = 2615
T = 0.17
O = N/A
T = TO
O = 2085
T = 3.70
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 2085
T = 0.49
O = 2085
T = 8.72
O = 2085
T = 1.87
driverlog02c.wcsp.wcnf O = 2010
T = 0.20
O = 2010
T = 14.02
O = N/A
T = TO
O = 2010
T = 4.37
O = 2010
T = 0.65
O = 2090
T = 0.22
O = N/A
T = TO
O = 2010
T = 1.51
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 2010
T = 0.20
O = 2010
T = 8.33
O = 2010
T = 1.56
driverlog02cc.wcsp.wcnf O = 2428
T = 0.46
O = 2656
T = 41.21
O = N/A
T = TO
O = 2656
T = 211.85
O = 2656
T = 232.07
O = 3146
T = 0.54
O = N/A
T = TO
O = 2428
T = 0.46
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 2428
T = 5.67
O = 2428
T = 10.86
O = 2428
T = 6.87
driverlog04ac.wcsp.wcnf O = 1790
T = 0.03
O = 1790
T = 0.52
O = N/A
T = TO
O = 1790
T = 0.19
O = 1790
T = 0.18
O = 2420
T = 0.28
O = N/A
T = TO
O = 1790
T = 0.03
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 1790
T = 0.08
O = 1790
T = 8.23
O = 1790
T = 1.57
driverlog04bc.wcsp.wcnf O = 1921
T = 0.12
O = 1921
T = 0.52
O = N/A
T = TO
O = 1921
T = 0.53
O = 1921
T = 0.52
O = 3151
T = 0.07
O = N/A
T = TO
O = 1921
T = 0.43
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 1921
T = 0.12
O = 1921
T = 8.25
O = 1921
T = 1.53
driverlog04cc.wcsp.wcnf O = 2932
T = 0.27
O = 2932
T = 1.06
O = N/A
T = TO
O = 2932
T = 25.71
O = 2932
T = 0.27
O = 3724
T = 1.37
O = N/A
T = TO
O = 2932
T = 0.44
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 2932
T = 2.08
O = 2932
T = 10.43
O = 2932
T = 4.50
driverlog05ac.wcsp.wcnf O = 1350
T = 0.19
O = 1350
T = 8.00
O = N/A
T = TO
O = 1350
T = 8.89
O = 1350
T = 3.46
O = 3095
T = 0.17
O = N/A
T = TO
O = 1350
T = 1.07
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 1350
T = 0.19
O = 1350
T = 8.34
O = 1350
T = 0.40
driverlog05bc.wcsp.wcnf O = 1344
T = 0.45
O = 1438
T = 10.11
O = N/A
T = TO
O = 1344
T = 129.34
O = 1344
T = 0.70
O = 2816
T = 0.12
O = N/A
T = TO
O = 1344
T = 1.69
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 1344
T = 0.48
O = 1344
T = 8.63
O = 1344
T = 0.45
driverlog05c.wcsp.wcnf O = 1350
T = 0.20
O = 1350
T = 15.31
O = N/A
T = TO
O = 1350
T = 9.17
O = 1350
T = 3.42
O = 2895
T = 0.13
O = N/A
T = TO
O = 1350
T = 1.09
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 1350
T = 0.20
O = 1350
T = 8.33
O = 1350
T = 0.41
driverlog08ac.wcsp.wcnf O = 2220
T = 0.45
O = 2220
T = 2.68
O = N/A
T = TO
O = 2220
T = 1.22
O = 2220
T = 2.10
O = 2270
T = 0.66
O = N/A
T = TO
O = 2220
T = 2.68
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 2220
T = 0.45
O = 2220
T = 8.66
O = 2220
T = 0.70
driverlog08c.wcsp.wcnf O = 2220
T = 0.46
O = 2220
T = 5.09
O = N/A
T = TO
O = 2220
T = 1.35
O = 2220
T = 2.07
O = 2455
T = 0.44
O = N/A
T = TO
O = 2220
T = 2.66
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 2220
T = 0.46
O = 2220
T = 8.68
O = N/A
T = TO
driverlog08cc.wcsp.wcnf O = 4052
T = 2.32
O = 4052
T = 165.59
O = N/A
T = TO
O = 4052
T = 15.68
O = 4052
T = 19.08
O = 4578
T = 0.32
O = N/A
T = TO
O = 4052
T = 2.32
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
driverlog09.wcsp.wcnf O = 960
T = 0.22
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 = 960
T = 5.05
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 960
T = 0.22
O = 960
T = 8.39
O = N/A
T = TO
driverlogs03.wcsp.wcnf O = 1225
T = 0.03
O = 1225
T = 0.43
O = N/A
T = TO
O = 1225
T = 0.03
O = 1225
T = 0.22
O = 1585
T = 0.05
O = 1225
T = 1.20
O = 1225
T = 0.05
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 1225
T = 0.03
O = 1225
T = 8.18
O = 1225
T = 2.44
driverlogs06.wcsp.wcnf O = 1055
T = 0.03
O = 1055
T = 0.49
O = N/A
T = TO
O = 1055
T = 0.11
O = 1055
T = 0.08
O = 1335
T = 0.05
O = 1055
T = 1.25
O = 1055
T = 0.08
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 1055
T = 0.03
O = 1055
T = 8.18
O = 1055
T = 2.52
logistics01bc.wcsp.wcnf O = 8035
T = 0.01
O = 8035
T = 0.50
O = N/A
T = TO
O = 8035
T = 0.06
O = 8035
T = 0.09
O = 14385
T = 0.05
O = 8035
T = 0.12
O = 8035
T = 0.05
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 8035
T = 0.01
O = 8035
T = 8.18
O = 8035
T = 2.07
logistics01c.wcsp.wcnf O = 8865
T = 0.00
O = 8865
T = 0.61
O = N/A
T = TO
O = 8865
T = 0.21
O = 8865
T = 0.13
O = 15865
T = 0.05
O = 8865
T = 0.09
O = 8865
T = 0.04
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 8865
T = 0.00
O = 8865
T = 8.13
O = 8865
T = 2.06
logistics01cc.wcsp.wcnf O = 4282
T = 0.01
O = 4282
T = 0.47
O = N/A
T = TO
O = 4282
T = 0.16
O = 4282
T = 0.16
O = 4821
T = 0.05
O = 4282
T = 2.47
O = 4282
T = 0.09
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 4282
T = 0.01
O = 4282
T = 8.13
O = 4282
T = 2.03
satellite01ac.wcsp.wcnf O = 1530
T = 0.03
O = 1530
T = 0.52
O = N/A
T = TO
O = 1530
T = 0.03
O = 1530
T = 0.10
O = 1655
T = 0.05
O = 1530
T = 1.33
O = 1530
T = 0.08
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 1530
T = 0.03
O = 1530
T = 8.19
O = 1530
T = 2.12
satellite01bc.wcsp.wcnf O = 1827
T = 0.04
O = 1827
T = 0.58
O = N/A
T = TO
O = 1827
T = 0.04
O = 1827
T = 0.11
O = 1852
T = 0.05
O = 1827
T = 3.06
O = 1827
T = 0.10
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 1827
T = 0.06
O = 1827
T = 8.26
O = 1827
T = 2.04
satellite01cc.wcsp.wcnf O = 1530
T = 0.03
O = 1530
T = 0.48
O = N/A
T = TO
O = 1530
T = 0.08
O = 1530
T = 0.11
O = 1655
T = 0.06
O = 1530
T = 1.30
O = 1530
T = 0.09
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 1530
T = 0.03
O = 1530
T = 8.14
O = 1530
T = 2.19
satellite02ac.wcsp.wcnf O = 1611
T = 0.19
O = 1811
T = 144.86
O = N/A
T = TO
O = 1861
T = 137.68
O = 1611
T = 22.05
O = 2061
T = 0.40
O = N/A
T = TO
O = 1611
T = 0.19
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 1611
T = 0.33
O = 1611
T = 8.90
O = N/A
T = TO
satellite02bc.wcsp.wcnf O = 2289
T = 0.28
O = 2414
T = 80.87
O = N/A
T = TO
O = 2489
T = 113.68
O = 2289
T = 28.34
O = 2789
T = 0.53
O = N/A
T = TO
O = 2289
T = 9.56
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 2289
T = 0.28
O = 2289
T = 8.82
O = N/A
T = TO
zenotravel02ac.wcsp.wcnf O = 2485
T = 0.00
O = 2485
T = 0.44
O = N/A
T = TO
O = 2485
T = 0.15
O = 2485
T = 0.06
O = 2485
T = 0.06
O = 2485
T = 1.03
O = 2485
T = 0.03
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 2485
T = 0.00
O = 2485
T = 8.12
O = 2485
T = 2.15
zenotravel02bc.wcsp.wcnf O = 2335
T = 0.00
O = 2335
T = 0.63
O = N/A
T = TO
O = 2335
T = 0.13
O = 2335
T = 0.07
O = 3335
T = 0.05
O = 2335
T = 1.03
O = 2335
T = 0.04
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 2335
T = 0.00
O = 2335
T = 8.14
O = 2335
T = 2.55
zenotravel02c.wcsp.wcnf O = 2485
T = 0.00
O = 2485
T = 0.58
O = N/A
T = TO
O = 2485
T = 0.07
O = 2485
T = 0.10
O = 2485
T = 0.04
O = 2485
T = 1.06
O = 2485
T = 0.03
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 2485
T = 0.00
O = 2485
T = 8.15
O = 2485
T = 2.16
zenotravel02cc.wcsp.wcnf O = 742
T = 0.00
O = 742
T = 0.65
O = N/A
T = TO
O = 742
T = 0.18
O = 742
T = 0.09
O = 982
T = 0.04
O = 742
T = 0.72
O = 742
T = 0.11
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 742
T = 0.00
O = 742
T = 8.15
O = 742
T = 2.45
zenotravel04bc.wcsp.wcnf O = 4110
T = 0.03
O = 4110
T = 1.36
O = N/A
T = TO
O = 4110
T = 0.16
O = 4110
T = 0.54
O = 4210
T = 0.07
O = 4110
T = 4.43
O = 4110
T = 0.21
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 4110
T = 0.03
O = 4110
T = 8.18
O = 4110
T = 1.64
zenotravel04c.wcsp.wcnf O = 4270
T = 0.03
O = 4270
T = 1.41
O = N/A
T = TO
O = 4270
T = 0.27
O = 4270
T = 0.29
O = 6155
T = 0.09
O = 4270
T = 2.45
O = 4270
T = 0.19
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 4270
T = 0.03
O = 4270
T = 8.16
O = 4270
T = 2.76
zenotravel04cc.wcsp.wcnf O = 1599
T = 0.07
O = 1599
T = 1.51
O = N/A
T = TO
O = 1599
T = 0.23
O = 1599
T = 0.25
O = 2910
T = 0.07
O = 1599
T = 3.23
O = 1599
T = 0.65
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 1599
T = 0.07
O = 1599
T = 8.20
O = 1599
T = 1.61
cap101.wcsp.wcnf O = 8732110
T = 62.22
O = 9054930
T = 252.46
O = N/A
T = TO
O = 8732110
T = 62.22
O = 10787401
T = 125.78
O = 22525696
T = 0.04
O = N/A
T = TO
O = 19426160
T = 0.00
O = 10569834
T = 13.84
O = N/A
T = TO
O = N/A
T = TO
O = 12054669
T = 2.33
O = 12865793
T = 12.13
O = 11963314
T = 4.85
cap102.wcsp.wcnf O = 9377028
T = 103.12
O = 9377028
T = 103.12
O = N/A
T = TO
O = 9425641
T = 284.50
O = 11011399
T = 268.63
O = 23327990
T = 0.04
O = N/A
T = TO
O = 19476160
T = 0.00
O = 11346355
T = 171.54
O = N/A
T = TO
O = N/A
T = TO
O = 11583003
T = 8.47
O = N/A
T = TO
O = 12437737
T = 4.63
cap111.wcsp.wcnf O = 8925116
T = 244.58
O = 9211951
T = 42.11
O = N/A
T = TO
O = 8925116
T = 244.58
O = 11870081
T = 91.64
O = 23376145
T = 0.06
O = N/A
T = TO
O = 34569756
T = 0.00
O = 11105121
T = 151.82
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
cap112.wcsp.wcnf O = 9744114
T = 40.84
O = 9744114
T = 40.84
O = N/A
T = TO
O = 10128805
T = 11.01
O = 12343653
T = 174.74
O = 28320410
T = 0.06
O = N/A
T = TO
O = 34619756
T = 0.00
O = 11159000
T = 33.27
O = N/A
T = TO
O = N/A
T = TO
O = 12662200
T = 2.63
O = N/A
T = TO
O = N/A
T = TO
cap121.wcsp.wcnf O = 8925116
T = 242.57
O = 9241473
T = 263.45
O = N/A
T = TO
O = 8925116
T = 242.57
O = 11870081
T = 91.10
O = 24880969
T = 0.03
O = N/A
T = TO
O = 34569756
T = 0.00
O = 10743798
T = 224.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
cap122.wcsp.wcnf O = 9744114
T = 39.95
O = 9744114
T = 39.95
O = N/A
T = TO
O = 10128805
T = 11.36
O = 12343653
T = 175.68
O = 28320410
T = 0.05
O = N/A
T = TO
O = 34619756
T = 0.00
O = 11159000
T = 33.46
O = N/A
T = TO
O = N/A
T = TO
O = 12662200
T = 3.26
O = N/A
T = TO
O = N/A
T = TO
cap131.wcsp.wcnf O = 8925116
T = 244.48
O = 9456989
T = 213.74
O = N/A
T = TO
O = 8925116
T = 244.48
O = 11870081
T = 91.20
O = 24873551
T = 0.05
O = N/A
T = TO
O = 34569756
T = 0.00
O = 10743798
T = 225.22
O = N/A
T = TO
O = N/A
T = TO
O = 11889535
T = 3.18
O = N/A
T = TO
O = N/A
T = TO
cap132.wcsp.wcnf O = 9895701
T = 192.05
O = 9895701
T = 192.05
O = N/A
T = TO
O = 10128805
T = 11.58
O = 12343653
T = 175.34
O = 22779672
T = 0.05
O = N/A
T = TO
O = 34619756
T = 0.00
O = 11159000
T = 33.43
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
cap61.wcsp.wcnf O = 9370745
T = 6.68
O = 9861001
T = 28.98
O = 10721279
T = 69.33
O = 9612242
T = 105.61
O = 9557970
T = 282.18
O = 17383664
T = 0.05
O = N/A
T = TO
O = 19426160
T = 0.05
O = 11105421
T = 120.04
O = 10126501
T = 73.76
O = N/A
T = TO
O = 9370745
T = 6.68
O = N/A
T = TO
O = N/A
T = TO
cap62.wcsp.wcnf O = 10045151
T = 281.12
O = 10290671
T = 75.01
O = 11459798
T = 62.57
O = 10110590
T = 249.71
O = 10045151
T = 281.12
O = 18053606
T = 0.05
O = N/A
T = TO
O = 19476160
T = 0.05
O = 11299687
T = 175.01
O = 10716096
T = 25.02
O = N/A
T = TO
O = 12289094
T = 3.54
O = 10934965
T = 13.91
O = 11710346
T = 4.75
cap71.wcsp.wcnf O = 9370745
T = 12.06
O = 9672590
T = 289.10
O = 10721279
T = 70.07
O = 9612242
T = 105.89
O = 9557970
T = 283.62
O = 17403606
T = 0.06
O = N/A
T = TO
O = 19426160
T = 0.05
O = 11421488
T = 132.00
O = 10430431
T = 65.10
O = N/A
T = TO
O = 9370745
T = 12.06
O = N/A
T = TO
O = N/A
T = TO
cap72.wcsp.wcnf O = 9809081
T = 136.28
O = 10270080
T = 129.39
O = 11459798
T = 63.27
O = 10110590
T = 246.88
O = 10045151
T = 281.76
O = 18133664
T = 0.06
O = N/A
T = TO
O = 19476160
T = 0.17
O = 11254586
T = 218.34
O = 10655370
T = 55.80
O = N/A
T = TO
O = 9817973
T = 57.00
O = 9809081
T = 136.28
O = 11710346
T = 5.51
cap81.wcsp.wcnf O = 8732110
T = 62.23
O = 9057217
T = 249.15
O = N/A
T = TO
O = 8732110
T = 62.23
O = 10787401
T = 124.29
O = 21706348
T = 0.04
O = N/A
T = TO
O = N/A
T = TO
O = 10403117
T = 107.26
O = N/A
T = TO
O = N/A
T = TO
O = 12054669
T = 4.42
O = 12865793
T = 11.83
O = 11963314
T = 6.06
cap82.wcsp.wcnf O = 9425641
T = 279.02
O = 9483113
T = 118.53
O = N/A
T = TO
O = 9425641
T = 279.02
O = 11011399
T = 271.13
O = 18830233
T = 0.05
O = N/A
T = TO
O = 19476160
T = 0.00
O = 11518673
T = 228.06
O = N/A
T = TO
O = N/A
T = TO
O = 11583003
T = 7.11
O = N/A
T = TO
O = 12437737
T = 5.19
cap91.wcsp.wcnf O = 8732110
T = 61.68
O = 9046798
T = 260.03
O = N/A
T = TO
O = 8732110
T = 61.68
O = 10787401
T = 124.98
O = 21706348
T = 0.05
O = N/A
T = TO
O = 19426160
T = 0.00
O = 10403117
T = 105.41
O = N/A
T = TO
O = N/A
T = TO
O = 12054669
T = 3.10
O = 12865793
T = 10.62
O = 11963314
T = 5.72
cap92.wcsp.wcnf O = 9425641
T = 280.04
O = 9483113
T = 116.36
O = N/A
T = TO
O = 9425641
T = 280.04
O = 11011399
T = 267.09
O = 33405139
T = 0.05
O = N/A
T = TO
O = 19476160
T = 0.00
O = 10925686
T = 107.36
O = N/A
T = TO
O = N/A
T = TO
O = 11583003
T = 10.14
O = N/A
T = TO
O = 12437737
T = 5.44
warehouse0.wcsp.wcnf O = 328
T = 0.00
O = 328
T = 0.98
O = 328
T = 1.10
O = 328
T = 0.59
O = 328
T = 0.68
O = 522
T = 0.05
O = 328
T = 0.50
O = 328
T = 0.02
O = 328
T = 4.77
O = 328
T = 0.97
O = N/A
T = TO
O = 328
T = 0.00
O = 328
T = 8.13
O = 328
T = 3.71
warehouse1.wcsp.wcnf O = 730567
T = 2.89
O = 730567
T = 47.13
O = 737676
T = 11.92
O = 730567
T = 208.53
O = 730567
T = 3.79
O = 1574740
T = 0.06
O = N/A
T = TO
O = 730997
T = 4.07
O = 730997
T = 206.39
O = 730567
T = 2.89
O = N/A
T = TO
O = 730567
T = 7.95
O = 730567
T = 15.77
O = 730567
T = 15.82
normalized-mps-v2-20-10-bm23.opb.msat.wcnf O = 34
T = 0.91
O = N/A
T = TO
O = N/A
T = TO
O = 41
T = 37.96
O = 62
T = 127.10
O = N/A
T = TO
O = N/A
T = TO
O = 34
T = 10.36
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 34
T = 2.09
O = 34
T = 8.75
O = 34
T = 0.91
normalized-mps-v2-20-10-cracpb1.opb.msat.wcnf O = 22199
T = 12.45
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 = 22199
T = 65.61
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 22199
T = 12.45
O = N/A
T = TO
O = 68856
T = 17.07
normalized-mps-v2-20-10-l152lav.opb.msat.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
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
normalized-mps-v2-20-10-lp4l.opb.msat.wcnf O = 4102
T = 5.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 = N/A
T = TO
O = 4102
T = 5.09
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 4442
T = 2.52
O = 4192
T = 8.49
O = 4192
T = 0.44
normalized-mps-v2-20-10-lseu.opb.msat.wcnf O = 1120
T = 23.42
O = 2379
T = 153.29
O = N/A
T = TO
O = 2454
T = 66.42
O = 1519
T = 135.98
O = 3233
T = 0.43
O = N/A
T = TO
O = 1233
T = 14.43
O = 1661
T = 213.76
O = N/A
T = TO
O = N/A
T = TO
O = 1120
T = 23.42
O = 1120
T = 29.59
O = 1120
T = 57.25
normalized-mps-v2-20-10-mod008.opb.msat.wcnf O = 411
T = 179.49
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 12321
T = 248.95
O = N/A
T = TO
O = 411
T = 179.49
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 524
T = 63.55
O = N/A
T = TO
O = 423
T = 2.30
normalized-mps-v2-20-10-mod010.opb.msat.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
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
normalized-mps-v2-20-10-p0033.opb.msat.wcnf O = 3089
T = 0.05
O = 3089
T = 1.11
O = 3095
T = 97.88
O = 3089
T = 0.24
O = 3089
T = 0.18
O = 3597
T = 0.15
O = 3089
T = 0.33
O = 3089
T = 0.55
O = 3089
T = 2.08
O = 3089
T = 9.70
O = N/A
T = TO
O = 3089
T = 0.05
O = 3089
T = 8.23
O = 3089
T = 3.13
normalized-mps-v2-20-10-p0040.opb.msat.wcnf O = 62027
T = 0.01
O = 62027
T = 1.27
O = 62027
T = 0.98
O = 62027
T = 0.99
O = 62027
T = 1.04
O = 65717
T = 0.05
O = 62027
T = 1.58
O = 62027
T = 0.01
O = 62165
T = 12.80
O = 62027
T = 0.73
O = N/A
T = TO
O = 62027
T = 0.02
O = 62027
T = 8.12
O = 62027
T = 3.14
normalized-mps-v2-20-10-p0201.opb.msat.wcnf O = 1523
T = 21.04
O = 1834
T = 0.89
O = 1874
T = 145.78
O = 1716
T = 215.75
O = 1948
T = 204.34
O = 2634
T = 0.06
O = N/A
T = TO
O = 1815
T = 0.21
O = 1658
T = 46.70
O = 1683
T = 37.82
O = N/A
T = TO
O = 1523
T = 21.04
O = 1523
T = 22.02
O = 1523
T = 50.78
normalized-mps-v2-20-10-p0548.opb.msat.wcnf O = 41713
T = 226.61
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 = 55098
T = 4.95
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 41713
T = 226.61
O = 44703
T = 26.97
O = N/A
T = TO
normalized-mps-v2-20-10-sentoy.opb.msat.wcnf O = 5213
T = 20.96
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 = 7445
T = 0.52
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 5213
T = 20.96
O = 5820
T = 10.94
O = 5464
T = 1.20
ram_k3_n10.ra1.wcnf O = 232
T = 0.76
O = 232
T = 3.31
O = 232
T = 1.69
O = N/A
T = TO
O = N/A
T = TO
O = 478
T = 0.43
O = 232
T = 11.10
O = 23443
T = 1.61
O = 232
T = 0.76
O = 232
T = 1.15
O = 236
T = 5.69
O = 795
T = 1.77
O = 232
T = 9.15
O = 232
T = 23.50
ram_k3_n11.ra1.wcnf O = 318
T = 1.70
O = 318
T = 1.71
O = 318
T = 1.74
O = N/A
T = TO
O = N/A
T = TO
O = 824
T = 0.41
O = 318
T = 39.85
O = 1423
T = 3.27
O = 318
T = 2.54
O = 318
T = 1.70
O = 334
T = 2.13
O = 3716
T = 1.82
O = 318
T = 9.73
O = 318
T = 39.15
ram_k3_n12.ra1.wcnf O = 524
T = 1.50
O = 524
T = 2.19
O = 524
T = 1.88
O = N/A
T = TO
O = N/A
T = TO
O = 1915
T = 1.01
O = N/A
T = TO
O = 524
T = 25.07
O = 524
T = 2.11
O = 524
T = 1.50
O = 524
T = 79.28
O = 6140
T = 2.55
O = 524
T = 16.67
O = 524
T = 40.06
ram_k3_n13.ra1.wcnf O = 1417
T = 1.42
O = 1417
T = 3.13
O = 1417
T = 2.22
O = N/A
T = TO
O = N/A
T = TO
O = 2734
T = 0.87
O = N/A
T = TO
O = 1833
T = 169.03
O = 1417
T = 1.83
O = 1417
T = 1.42
O = 13701
T = 111.47
O = 10658
T = 230.17
O = 1417
T = 112.36
O = 1417
T = 140.89
ram_k3_n14.ra1.wcnf O = 3025
T = 1.61
O = 3025
T = 3.19
O = 3025
T = 2.56
O = N/A
T = TO
O = N/A
T = TO
O = 6346
T = 1.24
O = N/A
T = TO
O = 3351
T = 40.82
O = 3025
T = 1.61
O = 3025
T = 2.01
O = 25744
T = 101.10
O = 13381
T = 2.39
O = 3025
T = 16.15
O = 3025
T = 42.55
ram_k3_n15.ra1.wcnf O = 4884
T = 2.39
O = 4884
T = 4.45
O = 4884
T = 3.52
O = N/A
T = TO
O = N/A
T = TO
O = 8367
T = 1.47
O = N/A
T = TO
O = 5695
T = 121.46
O = 4884
T = 6.90
O = 4884
T = 2.39
O = 61225
T = 111.96
O = 21963
T = 0.12
O = 4922
T = 117.67
O = 5163
T = 40.05
ram_k3_n16.ra1.wcnf O = 7271
T = 1.98
O = 7271
T = 4.11
O = 7271
T = 3.53
O = N/A
T = TO
O = N/A
T = TO
O = 12615
T = 1.55
O = N/A
T = TO
O = 9331
T = 8.69
O = 7271
T = 4.57
O = 7271
T = 1.98
O = 80719
T = 128.57
O = 26440
T = 42.85
O = 7271
T = 207.61
O = 7271
T = 239.58
ram_k3_n17.ra1.wcnf O = 10372
T = 3.27
O = 10372
T = 4.75
O = 10372
T = 3.27
O = N/A
T = TO
O = N/A
T = TO
O = 15602
T = 1.93
O = N/A
T = TO
O = 14653
T = 4.87
O = 10372
T = 28.35
O = 10372
T = 3.44
O = 140603
T = 112.68
O = 35798
T = 232.17
O = 10372
T = 41.18
O = 11055
T = 50.11
ram_k3_n18.ra1.wcnf O = 15621
T = 2.57
O = 15621
T = 62.53
O = 15621
T = 6.91
O = N/A
T = TO
O = N/A
T = TO
O = 24999
T = 1.46
O = N/A
T = TO
O = 21498
T = 28.25
O = 15621
T = 130.01
O = 15621
T = 2.57
O = 177225
T = 220.14
O = 47684
T = 9.87
O = 17190
T = 70.93
O = 16970
T = 193.43
ram_k3_n19.ra1.wcnf O = 20665
T = 3.11
O = 20665
T = 55.81
O = 20665
T = 99.38
O = N/A
T = TO
O = N/A
T = TO
O = 30398
T = 2.50
O = N/A
T = TO
O = 28349
T = 33.55
O = 20665
T = 182.97
O = 20665
T = 3.11
O = 258339
T = 3.02
O = 52265
T = 87.27
O = 21896
T = 106.03
O = 21811
T = 245.38
ram_k3_n20.ra1.wcnf O = 23898
T = 7.07
O = 23898
T = 17.22
O = 23898
T = 129.63
O = N/A
T = TO
O = N/A
T = TO
O = 34113
T = 2.54
O = N/A
T = TO
O = 66979
T = 1.15
O = 24548
T = 210.27
O = 23898
T = 7.07
O = 309943
T = 2.40
O = 69334
T = 114.78
O = 25237
T = 53.79
O = 25816
T = 65.84
ram_k3_n9.ra1.wcnf O = 7
T = 0.31
O = 7
T = 1.03
O = 7
T = 0.58
O = N/A
T = TO
O = N/A
T = TO
O = 443
T = 0.48
O = 7
T = 1.47
O = 7
T = 0.31
O = 7
T = 0.42
O = 7
T = 0.71
O = 7
T = 0.95
O = 7
T = 1.04
O = 7
T = 8.57
O = 7
T = 5.19
ram_k4_n18.ra1.wcnf O = 273
T = 32.72
O = 399
T = 72.40
O = 408
T = 206.16
O = N/A
T = TO
O = N/A
T = TO
O = 2638
T = 1.53
O = N/A
T = TO
O = 891
T = 198.87
O = 511
T = 105.53
O = 273
T = 32.72
O = 523
T = 276.48
O = 27067
T = 0.10
O = 858
T = 231.00
O = 749
T = 265.59
ram_k4_n19.ra1.wcnf O = 942
T = 59.10
O = 1125
T = 21.19
O = 1286
T = 183.91
O = N/A
T = TO
O = N/A
T = TO
O = 4063
T = 2.41
O = N/A
T = TO
O = 2862
T = 32.10
O = 1497
T = 178.68
O = 942
T = 59.10
O = 5481
T = 272.76
O = 37526
T = 0.11
O = 2198
T = 71.48
O = 2493
T = 76.23
ram_k4_n20.ra1.wcnf O = 2729
T = 2.67
O = 3171
T = 113.09
O = 2975
T = 156.39
O = N/A
T = TO
O = N/A
T = TO
O = 9318
T = 2.21
O = N/A
T = TO
O = 6691
T = 206.47
O = 3565
T = 47.86
O = 2729
T = 2.67
O = 49214
T = 6.14
O = 47072
T = 0.11
O = 5036
T = 28.62
O = 4893
T = 105.37
random-net-200-1_network-1.net.wcnf O = 172132
T = 3.38
O = 183437
T = 104.44
O = 191027
T = 32.56
O = 213558
T = 90.96
O = 210234
T = 63.41
O = 178077
T = 7.25
O = N/A
T = TO
O = 172132
T = 3.38
O = 173681
T = 199.74
O = 187471
T = 6.84
O = 2570583
T = 0.57
O = N/A
T = TO
O = 172132
T = 22.10
O = 172132
T = 51.10
random-net-200-1_network-3.net.wcnf O = 189579
T = 239.72
O = 205260
T = 252.57
O = 214650
T = 175.50
O = 227870
T = 135.45
O = 224158
T = 129.85
O = 196893
T = 8.30
O = N/A
T = TO
O = 199364
T = 2.59
O = 189579
T = 239.72
O = 212967
T = 10.87
O = 3067689
T = 0.55
O = 216096
T = 30.58
O = N/A
T = TO
O = 221844
T = 22.96
random-net-200-1_network-4.net.wcnf O = 202191
T = 22.65
O = 221316
T = 62.29
O = 227844
T = 139.45
O = 236739
T = 54.94
O = 235830
T = 155.41
O = 211145
T = 9.03
O = N/A
T = TO
O = 213293
T = 186.39
O = 205256
T = 260.20
O = 225544
T = 23.54
O = 3062913
T = 0.53
O = 202191
T = 29.39
O = 202191
T = 29.50
O = 202191
T = 22.65
random-net-240-1_network-1.net.wcnf O = 224300
T = 42.89
O = 249943
T = 161.69
O = 258413
T = 267.63
O = 275738
T = 117.35
O = 272328
T = 169.25
O = 234901
T = 9.89
O = N/A
T = TO
O = 239365
T = 5.57
O = 227460
T = 287.82
O = 257418
T = 5.53
O = 3547736
T = 0.56
O = N/A
T = TO
O = 224300
T = 42.89
O = 224300
T = 65.03
random-net-240-1_network-2.net.wcnf O = 223250
T = 143.74
O = 246775
T = 40.83
O = 255205
T = 227.48
O = 275506
T = 78.72
O = 269840
T = 186.32
O = 229213
T = 10.30
O = N/A
T = TO
O = 230949
T = 178.52
O = 223250
T = 143.74
O = 252364
T = 14.32
O = 3377456
T = 0.66
O = N/A
T = TO
O = N/A
T = TO
O = 273812
T = 22.71
random-net-240-1_network-3.net.wcnf O = 213755
T = 9.06
O = 233747
T = 79.99
O = 243211
T = 262.65
O = 273156
T = 187.93
O = 262986
T = 119.76
O = 224304
T = 9.31
O = N/A
T = TO
O = 224157
T = 45.66
O = 216385
T = 207.74
O = 242094
T = 17.05
O = 3372757
T = 0.45
O = 213755
T = 9.06
O = 213755
T = 15.27
O = 213755
T = 15.90
random-net-240-1_network-4.net.wcnf O = 236120
T = 17.69
O = 258361
T = 260.41
O = 274635
T = 210.68
O = 285188
T = 69.63
O = 277647
T = 287.88
O = 243654
T = 6.61
O = N/A
T = TO
O = 247523
T = 11.47
O = 236120
T = 17.69
O = 267624
T = 21.30
O = 3841544
T = 0.63
O = 286188
T = 26.03
O = N/A
T = TO
O = 292191
T = 20.01
random-net-240-1_network-5.net.wcnf O = 227363
T = 46.13
O = 253201
T = 184.81
O = 260107
T = 84.51
O = 282891
T = 196.22
O = 276005
T = 22.23
O = 238278
T = 8.47
O = N/A
T = TO
O = 244471
T = 4.95
O = 231072
T = 139.07
O = 260331
T = 12.66
O = 3526256
T = 0.30
O = 282418
T = 20.01
O = 227363
T = 46.13
O = 227363
T = 68.23
random-net-280-1_network-2.net.wcnf O = 263706
T = 45.39
O = 290239
T = 290.04
O = 304062
T = 39.21
O = 334639
T = 278.21
O = 318483
T = 281.41
O = 271891
T = 10.94
O = N/A
T = TO
O = 283499
T = 2.49
O = 267114
T = 136.07
O = 298822
T = 25.33
O = 4200395
T = 0.53
O = 263706
T = 45.39
O = 263706
T = 48.38
O = 263706
T = 81.99
random-net-280-1_network-3.net.wcnf O = 257943
T = 82.70
O = 291204
T = 43.87
O = 301833
T = 31.35
O = 325270
T = 105.34
O = 315039
T = 205.39
O = 268589
T = 10.66
O = N/A
T = TO
O = 276833
T = 8.86
O = 263304
T = 12.22
O = 296239
T = 4.88
O = 4106748
T = 0.51
O = N/A
T = TO
O = 257943
T = 82.70
O = 257943
T = 127.15
random-net-280-1_network-4.net.wcnf O = 251789
T = 12.81
O = 279302
T = 113.25
O = 291157
T = 7.35
O = 322342
T = 30.65
O = 312667
T = 80.68
O = 263599
T = 11.07
O = N/A
T = TO
O = 268920
T = 6.11
O = 258284
T = 205.73
O = 287131
T = 7.12
O = 3939203
T = 0.45
O = 251789
T = 12.81
O = 251789
T = 18.04
O = 251789
T = 46.72
random-net-280-1_network-5.net.wcnf O = 254206
T = 21.05
O = 286650
T = 123.50
O = 294631
T = 8.30
O = 322765
T = 7.90
O = 314124
T = 185.16
O = 269588
T = 10.65
O = N/A
T = TO
O = 270985
T = 8.22
O = 259863
T = 76.94
O = 293914
T = 10.37
O = 3906874
T = 0.50
O = N/A
T = TO
O = 254206
T = 21.51
O = 254206
T = 21.05
random-net-300-1_network-1.net.wcnf O = 285555
T = 62.81
O = 331680
T = 76.52
O = 342833
T = 202.17
O = 356691
T = 181.46
O = 353324
T = 165.57
O = 296503
T = 13.14
O = N/A
T = TO
O = 306402
T = 39.82
O = 291075
T = 78.98
O = 340263
T = 25.29
O = 4656500
T = 0.50
O = 368177
T = 29.44
O = 285555
T = 62.81
O = 285555
T = 89.46
random-net-300-1_network-2.net.wcnf O = 293088
T = 47.26
O = 331234
T = 150.32
O = 335094
T = 224.72
O = 361918
T = 43.87
O = 356110
T = 28.44
O = 303532
T = 8.52
O = N/A
T = TO
O = 320525
T = 1.63
O = 295221
T = 11.01
O = 332243
T = 25.79
O = 4342433
T = 0.27
O = 318107
T = 25.34
O = 293088
T = 47.26
O = 293088
T = 66.59
random-net-300-1_network-3.net.wcnf O = 275934
T = 280.86
O = 310255
T = 236.62
O = 327836
T = 228.64
O = 350163
T = 259.95
O = 335652
T = 177.26
O = 281513
T = 10.06
O = N/A
T = TO
O = 288581
T = 11.83
O = 275934
T = 280.86
O = 323177
T = 24.38
O = 4264370
T = 0.40
O = 361972
T = 19.85
O = N/A
T = TO
O = 331330
T = 21.73
random-net-300-1_network-4.net.wcnf O = 284120
T = 20.56
O = 317172
T = 27.28
O = 326708
T = 277.02
O = 356036
T = 6.62
O = 351420
T = 38.78
O = 291757
T = 8.85
O = N/A
T = TO
O = 316988
T = 0.59
O = 288456
T = 234.02
O = 324353
T = 10.80
O = 4371437
T = 0.44
O = 284120
T = 20.56
O = 284120
T = 23.36
O = 284120
T = 51.54
random-net-300-1_network-5.net.wcnf O = 267307
T = 60.27
O = 309269
T = 91.60
O = 318603
T = 121.82
O = 340743
T = 113.98
O = 332239
T = 178.24
O = 279997
T = 9.47
O = N/A
T = TO
O = 284369
T = 14.69
O = 271750
T = 252.45
O = 319054
T = 23.32
O = 4042863
T = 0.45
O = 332771
T = 26.17
O = 267307
T = 60.27
O = 267307
T = 84.80
random-net-50-2_network-1.net.wcnf O = 48636
T = 7.52
O = 48737
T = 272.33
O = 48987
T = 242.03
O = 50577
T = 189.26
O = 50462
T = 225.70
O = 51295
T = 2.92
O = N/A
T = TO
O = 48636
T = 7.52
O = 48636
T = 39.67
O = 48636
T = 27.37
O = 963304
T = 181.56
O = 68057
T = 9.03
O = 49324
T = 125.33
O = 49344
T = 174.49
random-net-50-2_network-2.net.wcnf O = 43675
T = 3.50
O = 43782
T = 214.24
O = 44608
T = 249.52
O = 47392
T = 47.67
O = 46520
T = 243.12
O = 49470
T = 2.64
O = N/A
T = TO
O = 43675
T = 3.50
O = 43675
T = 9.86
O = 44039
T = 16.48
O = 1421320
T = 0.37
O = 55781
T = 18.69
O = 43675
T = 290.69
O = 44120
T = 45.66
random-net-50-2_network-3.net.wcnf O = 46924
T = 4.49
O = 47669
T = 237.60
O = 48038
T = 162.63
O = 48837
T = 77.38
O = 48422
T = 234.43
O = 50532
T = 1.72
O = N/A
T = TO
O = 46924
T = 4.49
O = 46924
T = 68.26
O = 47380
T = 26.66
O = 992017
T = 135.33
O = N/A
T = TO
O = 46924
T = 46.08
O = 46924
T = 73.90
random-net-50-2_network-4.net.wcnf O = 45279
T = 3.59
O = 46701
T = 108.03
O = 46961
T = 272.50
O = 47716
T = 177.29
O = 47760
T = 3.65
O = 46759
T = 1.80
O = N/A
T = TO
O = 45279
T = 3.59
O = 45279
T = 29.43
O = 45956
T = 22.97
O = 946026
T = 167.69
O = N/A
T = TO
O = 45279
T = 84.62
O = 45279
T = 132.09
random-net-50-2_network-5.net.wcnf O = 50309
T = 16.13
O = 51419
T = 152.58
O = 52212
T = 69.08
O = 54375
T = 198.44
O = 53407
T = 183.81
O = 52230
T = 1.84
O = N/A
T = TO
O = 50309
T = 16.13
O = 50440
T = 58.03
O = 50891
T = 67.33
O = 1741938
T = 0.47
O = N/A
T = TO
O = 52703
T = 197.72
O = 51804
T = 247.59
random-net-60-2_network-1.net.wcnf O = 53630
T = 3.10
O = 54523
T = 125.21
O = 55372
T = 182.45
O = 61256
T = 180.28
O = 60262
T = 8.75
O = 59854
T = 2.28
O = N/A
T = TO
O = 53630
T = 10.51
O = 53630
T = 3.10
O = 54483
T = 29.23
O = 1710807
T = 0.57
O = N/A
T = TO
O = 54980
T = 134.49
O = 55684
T = 113.21
random-net-60-2_network-2.net.wcnf O = 55787
T = 5.26
O = 57575
T = 52.14
O = 59499
T = 192.96
O = 64080
T = 231.10
O = 63108
T = 188.01
O = 64458
T = 2.73
O = N/A
T = TO
O = N/A
T = TO
O = 55787
T = 5.26
O = 57826
T = 31.54
O = 2003598
T = 0.49
O = N/A
T = TO
O = 57710
T = 19.87
O = 57672
T = 146.66
random-net-60-2_network-3.net.wcnf O = 57045
T = 5.58
O = 58032
T = 270.63
O = 59414
T = 197.61
O = 64428
T = 109.86
O = 64387
T = 131.69
O = 61034
T = 2.87
O = N/A
T = TO
O = 57045
T = 5.58
O = 57045
T = 275.88
O = 59391
T = 31.49
O = 1866025
T = 0.49
O = 94783
T = 3.26
O = 57045
T = 96.57
O = 57932
T = 127.34
random-net-60-2_network-4.net.wcnf O = 54951
T = 3.83
O = 55953
T = 195.67
O = 57556
T = 171.88
O = 59513
T = 119.34
O = 59198
T = 205.22
O = 56949
T = 2.96
O = N/A
T = TO
O = 54951
T = 3.83
O = 55175
T = 215.76
O = 56402
T = 23.49
O = 1512480
T = 0.54
O = 64295
T = 21.39
O = 54951
T = 32.07
O = 54951
T = 59.38
random-net-60-2_network-5.net.wcnf O = 56931
T = 10.22
O = 58436
T = 239.36
O = 60056
T = 85.96
O = 62889
T = 255.84
O = 61214
T = 53.58
O = 59090
T = 3.54
O = N/A
T = TO
O = 56931
T = 10.22
O = 57710
T = 264.81
O = 58853
T = 14.54
O = 1869992
T = 0.45
O = N/A
T = TO
O = 59920
T = 258.68
O = 62009
T = 73.79
random-net-80-2_network-1.net.wcnf O = 67550
T = 13.53
O = 70485
T = 25.09
O = 71718
T = 244.28
O = 77414
T = 102.63
O = 74593
T = 81.84
O = 71171
T = 3.27
O = N/A
T = TO
O = 67550
T = 13.53
O = 68378
T = 23.56
O = 69208
T = 76.65
O = 2234707
T = 0.54
O = N/A
T = TO
O = 72252
T = 35.22
O = 72530
T = 260.32
random-net-80-2_network-2.net.wcnf O = 73815
T = 142.89
O = 75247
T = 72.68
O = 79587
T = 195.85
O = 84947
T = 135.66
O = 83210
T = 230.73
O = 76779
T = 3.03
O = N/A
T = TO
O = 75187
T = 54.91
O = 73815
T = 142.89
O = 77854
T = 37.30
O = 2405413
T = 0.49
O = N/A
T = TO
O = 76458
T = 128.98
O = 76911
T = 141.86
random-net-80-2_network-3.net.wcnf O = 70391
T = 124.93
O = 72824
T = 190.66
O = 75244
T = 145.32
O = 81536
T = 152.02
O = 80536
T = 217.59
O = 74093
T = 4.24
O = N/A
T = TO
O = 73702
T = 1.76
O = 70391
T = 124.93
O = 73669
T = 61.37
O = 2387605
T = 0.55
O = N/A
T = TO
O = 75993
T = 234.60
O = 75767
T = 46.85
random-net-80-2_network-4.net.wcnf O = 78490
T = 49.92
O = 78607
T = 35.18
O = 81670
T = 176.88
O = 87976
T = 10.63
O = 86607
T = 232.50
O = 83428
T = 3.96
O = N/A
T = TO
O = 81597
T = 110.30
O = 78490
T = 49.92
O = 80041
T = 7.06
O = 2737264
T = 0.52
O = N/A
T = TO
O = 78920
T = 139.22
O = 78538
T = 230.49
random-net-80-2_network-5.net.wcnf O = 71287
T = 10.68
O = 75348
T = 21.60
O = 77659
T = 45.51
O = 83056
T = 268.47
O = 83010
T = 189.72
O = 77551
T = 3.66
O = N/A
T = TO
O = 71287
T = 10.68
O = 71808
T = 69.85
O = 74660
T = 3.76
O = 2095038
T = 0.49
O = N/A
T = TO
O = 73242
T = 290.21
O = 73557
T = 105.90
scp410_weighted.wcnf O = 519
T = 166.44
O = 519
T = 166.44
O = 560
T = 83.16
O = 584
T = 122.05
O = 596
T = 56.39
O = 980
T = 18.28
O = N/A
T = TO
O = 536
T = 0.59
O = 689
T = 260.86
O = 524
T = 15.24
O = 48300
T = 0.55
O = 533
T = 59.63
O = 529
T = 34.02
O = 535
T = 14.87
scp41_weighted.wcnf O = 429
T = 13.36
O = 433
T = 43.67
O = 477
T = 68.02
O = 567
T = 22.00
O = 513
T = 46.23
O = 683
T = 18.54
O = N/A
T = TO
O = 438
T = 1.73
O = 671
T = 267.35
O = 444
T = 37.70
O = 48210
T = 0.48
O = 429
T = 13.36
O = 429
T = 23.65
O = 429
T = 18.06
scp42_weighted.wcnf O = 526
T = 133.31
O = 526
T = 133.31
O = 550
T = 276.01
O = 644
T = 155.22
O = 589
T = 230.97
O = 778
T = 11.14
O = N/A
T = TO
O = 549
T = 41.00
O = 674
T = 261.31
O = 533
T = 21.09
O = 48050
T = 0.33
O = N/A
T = TO
O = N/A
T = TO
O = 545
T = 18.00
scp43_weighted.wcnf O = 529
T = 4.21
O = 530
T = 46.72
O = 561
T = 33.26
O = 611
T = 61.26
O = 583
T = 75.41
O = 716
T = 19.04
O = N/A
T = TO
O = 529
T = 4.21
O = 660
T = 20.03
O = 542
T = 14.73
O = 48339
T = 0.51
O = 536
T = 15.36
O = N/A
T = TO
O = 537
T = 12.54
scp44_weighted.wcnf O = 498
T = 46.26
O = 498
T = 46.26
O = 518
T = 160.04
O = 604
T = 59.69
O = 559
T = 150.63
O = 686
T = 19.42
O = N/A
T = TO
O = 530
T = 0.72
O = 658
T = 273.66
O = 503
T = 14.79
O = 47993
T = 0.57
O = 519
T = 39.02
O = N/A
T = TO
O = 518
T = 11.74
scp45_weighted.wcnf O = 512
T = 12.80
O = 536
T = 138.14
O = 541
T = 116.79
O = 626
T = 206.87
O = 559
T = 153.18
O = 806
T = 19.55
O = N/A
T = TO
O = 522
T = 0.72
O = 634
T = 62.68
O = 536
T = 30.13
O = 47999
T = 0.63
O = 512
T = 12.80
O = 512
T = 13.89
O = 512
T = 19.30
scp46_weighted.wcnf O = 571
T = 12.20
O = 571
T = 91.79
O = 592
T = 50.33
O = 691
T = 273.89
O = 618
T = 229.75
O = 820
T = 15.93
O = N/A
T = TO
O = 603
T = 0.34
O = 732
T = 151.14
O = 576
T = 39.13
O = 49416
T = 0.66
O = 571
T = 12.20
O = N/A
T = TO
O = 574
T = 15.32
scp47_weighted.wcnf O = 430
T = 3.79
O = 436
T = 151.33
O = 438
T = 143.63
O = 495
T = 171.99
O = 456
T = 89.66
O = 692
T = 19.44
O = N/A
T = TO
O = 438
T = 0.51
O = 530
T = 17.73
O = 433
T = 15.27
O = 47140
T = 0.71
O = 430
T = 3.79
O = 430
T = 11.08
O = 430
T = 7.94
scp48_weighted.wcnf O = 497
T = 64.45
O = 497
T = 64.45
O = 513
T = 48.59
O = 570
T = 46.63
O = 545
T = 86.49
O = 835
T = 22.15
O = N/A
T = TO
O = 544
T = 0.51
O = 640
T = 60.70
O = 498
T = 19.27
O = 50292
T = 0.42
O = 513
T = 0.11
O = N/A
T = TO
O = 513
T = 2.21
scp49_weighted.wcnf O = 650
T = 73.88
O = 650
T = 73.88
O = 700
T = 271.70
O = 807
T = 212.48
O = 746
T = 136.50
O = 927
T = 18.87
O = N/A
T = TO
O = 11071
T = 0.05
O = 857
T = 164.64
O = 656
T = 51.10
O = 50053
T = 0.61
O = 690
T = 40.41
O = N/A
T = TO
O = 720
T = 2.16
scp510_weighted.wcnf O = 265
T = 68.50
O = 271
T = 70.87
O = 324
T = 44.04
O = 402
T = 268.64
O = 420
T = 218.04
O = 373
T = 44.75
O = N/A
T = TO
O = 281
T = 0.32
O = 484
T = 225.15
O = N/A
T = TO
O = 99922
T = 0.62
O = 265
T = 68.50
O = 265
T = 75.17
O = 265
T = 106.94
scp51_weighted.wcnf O = 253
T = 289.10
O = 266
T = 37.98
O = 292
T = 105.17
O = 416
T = 47.82
O = 359
T = 43.71
O = 418
T = 27.10
O = N/A
T = TO
O = 277
T = 0.25
O = 374
T = 39.49
O = N/A
T = TO
O = 97881
T = 0.65
O = N/A
T = TO
O = 253
T = 289.10
O = 258
T = 16.07
scp52_weighted.wcnf O = 309
T = 143.53
O = 317
T = 102.43
O = 342
T = 46.96
O = 483
T = 225.11
O = 414
T = 272.89
O = 309
T = 143.53
O = N/A
T = TO
O = 329
T = 0.19
O = 506
T = 41.17
O = N/A
T = TO
O = 99697
T = 0.79
O = 324
T = 0.10
O = N/A
T = TO
O = 324
T = 2.19
scp53_weighted.wcnf O = 226
T = 0.45
O = 226
T = 37.90
O = 233
T = 217.63
O = 323
T = 273.13
O = 313
T = 106.70
O = 405
T = 32.20
O = N/A
T = TO
O = 226
T = 0.45
O = 359
T = 30.45
O = N/A
T = TO
O = 94910
T = 0.84
O = 226
T = 0.69
O = 226
T = 8.88
O = 226
T = 3.39
scp54_weighted.wcnf O = 242
T = 19.03
O = 253
T = 218.54
O = 281
T = 153.78
O = 340
T = 191.06
O = 360
T = 221.39
O = 277
T = 25.63
O = N/A
T = TO
O = 261
T = 0.26
O = 391
T = 35.54
O = 268
T = 39.71
O = 95684
T = 1.05
O = 242
T = 19.03
O = 242
T = 22.39
O = 242
T = 20.37
scp55_weighted.wcnf O = 211
T = 15.11
O = 216
T = 269.46
O = 225
T = 144.43
O = 355
T = 136.21
O = 314
T = 191.28
O = 287
T = 28.84
O = N/A
T = TO
O = 220
T = 0.41
O = 379
T = 293.02
O = N/A
T = TO
O = 98154
T = 0.79
O = 211
T = 15.11
O = 211
T = 21.83
O = 211
T = 16.87
scp56_weighted.wcnf O = 213
T = 55.84
O = 216
T = 41.95
O = 229
T = 49.95
O = 346
T = 52.20
O = 332
T = 102.92
O = 385
T = 35.19
O = N/A
T = TO
O = 223
T = 1.82
O = 377
T = 92.42
O = N/A
T = TO
O = 99617
T = 0.85
O = 213
T = 55.84
O = 213
T = 64.78
O = 213
T = 101.02
scp57_weighted.wcnf O = 307
T = 117.48
O = 307
T = 117.48
O = 324
T = 170.40
O = 468
T = 107.65
O = 423
T = 208.56
O = 491
T = 33.56
O = N/A
T = TO
O = 320
T = 0.46
O = 498
T = 78.16
O = 313
T = 29.63
O = 97532
T = 0.59
O = 312
T = 13.00
O = N/A
T = TO
O = 312
T = 16.41
scp58_weighted.wcnf O = 306
T = 103.28
O = 306
T = 103.28
O = 345
T = 272.44
O = 500
T = 195.53
O = 404
T = 48.83
O = 329
T = 43.16
O = N/A
T = TO
O = 326
T = 0.29
O = 488
T = 115.64
O = N/A
T = TO
O = 97857
T = 0.87
O = 319
T = 12.02
O = 324
T = 8.52
O = 317
T = 15.62
scp59_weighted.wcnf O = 279
T = 69.44
O = 288
T = 48.41
O = 308
T = 24.52
O = 401
T = 68.95
O = 408
T = 78.54
O = 405
T = 37.06
O = N/A
T = TO
O = 296
T = 0.66
O = 436
T = 130.08
O = N/A
T = TO
O = 97793
T = 0.65
O = 279
T = 89.41
O = 279
T = 69.44
O = 279
T = 101.89
scp61_weighted.wcnf O = 138
T = 125.64
O = 138
T = 125.64
O = 143
T = 24.30
O = 185
T = 128.21
O = 199
T = 285.95
O = 283
T = 11.70
O = N/A
T = TO
O = 156
T = 0.66
O = 202
T = 277.31
O = 143
T = 18.57
O = 48170
T = 0.46
O = 141
T = 269.81
O = N/A
T = TO
O = 154
T = 2.16
scp62_weighted.wcnf O = 148
T = 20.27
O = 148
T = 24.04
O = 149
T = 22.60
O = 201
T = 165.59
O = 196
T = 19.98
O = 182
T = 18.36
O = N/A
T = TO
O = 194
T = 0.13
O = 178
T = 155.60
O = 148
T = 20.27
O = 48017
T = 0.65
O = N/A
T = TO
O = N/A
T = TO
O = 154
T = 29.61
scp63_weighted.wcnf O = 145
T = 30.26
O = 145
T = 30.26
O = 152
T = 22.60
O = 183
T = 239.18
O = 203
T = 171.92
O = 165
T = 14.77
O = N/A
T = TO
O = 866
T = 0.10
O = 179
T = 27.00
O = 148
T = 21.32
O = 48345
T = 0.66
O = 160
T = 11.65
O = 145
T = 146.91
O = 148
T = 100.50
scp64_weighted.wcnf O = 132
T = 24.04
O = 132
T = 24.04
O = 143
T = 222.41
O = 181
T = 233.76
O = 197
T = 123.83
O = 226
T = 15.25
O = N/A
T = TO
O = 138
T = 0.21
O = 200
T = 14.02
O = 137
T = 21.12
O = 48364
T = 0.61
O = N/A
T = TO
O = N/A
T = TO
O = 141
T = 13.12
scp65_weighted.wcnf O = 161
T = 42.01
O = 161
T = 48.98
O = 168
T = 210.24
O = 212
T = 176.40
O = 231
T = 20.51
O = 187
T = 17.44
O = N/A
T = TO
O = 182
T = 0.48
O = 228
T = 274.26
O = 161
T = 42.01
O = 47823
T = 0.37
O = 174
T = 12.90
O = 179
T = 23.20
O = 172
T = 80.01
scpnre1_weighted.wcnf O = 29
T = 12.92
O = 29
T = 29.18
O = 33
T = 47.88
O = 62
T = 172.79
O = 172
T = 273.27
O = 29
T = 40.17
O = N/A
T = TO
O = 50
T = 1.08
O = N/A
T = TO
O = N/A
T = TO
O = 103
T = 39.44
O = 31
T = 0.16
O = 29
T = 12.92
O = 29
T = 42.78
scpnre2_weighted.wcnf O = 30
T = 137.72
O = 30
T = 137.72
O = 32
T = 273.48
O = 69
T = 29.50
O = 173
T = 87.17
O = 31
T = 36.21
O = N/A
T = TO
O = 166
T = 1.06
O = 73
T = 237.03
O = N/A
T = TO
O = 111
T = 28.35
O = N/A
T = TO
O = 31
T = 39.64
O = 32
T = 46.40
scpnre3_weighted.wcnf O = 27
T = 38.85
O = 27
T = 47.76
O = 29
T = 271.09
O = 62
T = 33.58
O = 153
T = 133.54
O = 27
T = 38.85
O = N/A
T = TO
O = 36
T = 1.09
O = N/A
T = TO
O = N/A
T = TO
O = 96
T = 35.90
O = 34
T = 0.16
O = 28
T = 118.29
O = 28
T = 155.96
scpnre4_weighted.wcnf O = 28
T = 31.82
O = 28
T = 31.82
O = 36
T = 109.36
O = 68
T = 43.22
O = 186
T = 133.52
O = 29
T = 36.05
O = N/A
T = TO
O = 54
T = 1.04
O = 100
T = 45.86
O = N/A
T = TO
O = 113
T = 39.81
O = 33
T = 0.15
O = 29
T = 76.70
O = 29
T = 101.56
scpnre5_weighted.wcnf O = 28
T = 38.73
O = 28
T = 53.80
O = 29
T = 109.80
O = 70
T = 44.33
O = 178
T = 176.72
O = 28
T = 38.73
O = N/A
T = TO
O = 31
T = 1.06
O = 56
T = 127.08
O = N/A
T = TO
O = 103
T = 28.42
O = 31
T = 0.11
O = 28
T = 122.92
O = 29
T = 109.97
scpnrf1_weighted.wcnf O = 14
T = 39.69
O = 14
T = 39.69
O = 14
T = 221.29
O = 17
T = 40.85
O = 63
T = 32.42
O = 14
T = 47.11
O = N/A
T = TO
O = 156
T = 1.75
O = N/A
T = TO
O = N/A
T = TO
O = 68
T = 40.36
O = 17
T = 0.10
O = 14
T = 47.96
O = 15
T = 43.25
scpnrf2_weighted.wcnf O = 15
T = 21.01
O = 15
T = 34.67
O = 15
T = 57.88
O = 17
T = 268.56
O = 67
T = 25.02
O = 15
T = 37.69
O = N/A
T = TO
O = 41
T = 1.76
O = N/A
T = TO
O = N/A
T = TO
O = 89
T = 37.30
O = 19
T = 0.14
O = 15
T = 21.01
O = 15
T = 93.89
scpnrf3_weighted.wcnf O = 14
T = 38.63
O = 14
T = 45.44
O = 15
T = 26.24
O = 16
T = 65.16
O = 70
T = 178.23
O = 14
T = 38.63
O = N/A
T = TO
O = 140
T = 1.71
O = N/A
T = TO
O = N/A
T = TO
O = 69
T = 39.58
O = 19
T = 0.18
O = 15
T = 120.63
O = 14
T = 270.52
scpnrf4_weighted.wcnf O = 14
T = 30.85
O = 14
T = 51.06
O = 14
T = 40.34
O = 16
T = 237.62
O = 74
T = 149.92
O = 14
T = 30.85
O = N/A
T = TO
O = 51
T = 1.75
O = N/A
T = TO
O = N/A
T = TO
O = 64
T = 37.15
O = 18
T = 0.14
O = 14
T = 192.87
O = 15
T = 42.02
scpnrf5_weighted.wcnf O = 13
T = 35.56
O = 13
T = 58.00
O = 14
T = 41.05
O = 16
T = 247.40
O = 62
T = 105.24
O = 13
T = 35.56
O = N/A
T = TO
O = 160
T = 1.70
O = N/A
T = TO
O = N/A
T = TO
O = 71
T = 37.93
O = 16
T = 0.12
O = 14
T = 11.83
O = 14
T = 40.84
scpnrg1_weighted.wcnf O = 185
T = 80.41
O = N/A
T = TO
O = 363
T = 250.16
O = 483
T = 56.66
O = 737
T = 177.01
O = 185
T = 80.41
O = N/A
T = TO
O = 241
T = 1.33
O = N/A
T = TO
O = N/A
T = TO
O = 726
T = 145.37
O = 198
T = 0.12
O = N/A
T = TO
O = 198
T = 0.45
scpnrg2_weighted.wcnf O = 161
T = 178.77
O = N/A
T = TO
O = 315
T = 136.37
O = 450
T = 76.12
O = 753
T = 122.05
O = 161
T = 178.77
O = N/A
T = TO
O = 209
T = 1.47
O = N/A
T = TO
O = N/A
T = TO
O = 638
T = 139.97
O = 169
T = 0.13
O = N/A
T = TO
O = N/A
T = TO
scpnrg3_weighted.wcnf O = 173
T = 43.00
O = N/A
T = TO
O = N/A
T = TO
O = 450
T = 58.59
O = 742
T = 113.61
O = 173
T = 43.00
O = N/A
T = TO
O = 242
T = 1.34
O = N/A
T = TO
O = N/A
T = TO
O = 686
T = 141.45
O = 181
T = 0.10
O = N/A
T = TO
O = N/A
T = TO
scpnrg4_weighted.wcnf O = 176
T = 228.52
O = N/A
T = TO
O = N/A
T = TO
O = 520
T = 79.69
O = 770
T = 26.77
O = 176
T = 228.52
O = N/A
T = TO
O = 218
T = 1.51
O = N/A
T = TO
O = N/A
T = TO
O = 707
T = 137.37
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
scpnrg5_weighted.wcnf O = 177
T = 117.43
O = N/A
T = TO
O = N/A
T = TO
O = 451
T = 73.15
O = 768
T = 256.90
O = 177
T = 117.43
O = N/A
T = TO
O = 211
T = 1.51
O = N/A
T = TO
O = N/A
T = TO
O = 670
T = 143.90
O = 192
T = 0.10
O = N/A
T = TO
O = N/A
T = TO
scpnrh1_weighted.wcnf O = 65
T = 53.10
O = N/A
T = TO
O = N/A
T = TO
O = 151
T = 44.41
O = 453
T = 20.43
O = 65
T = 53.10
O = N/A
T = TO
O = 75
T = 2.33
O = N/A
T = TO
O = N/A
T = TO
O = 346
T = 136.00
O = 73
T = 0.11
O = N/A
T = TO
O = 73
T = 0.48
scpnrh2_weighted.wcnf O = 65
T = 131.60
O = N/A
T = TO
O = N/A
T = TO
O = 137
T = 48.47
O = 478
T = 75.45
O = 65
T = 131.60
O = N/A
T = TO
O = 74
T = 2.32
O = N/A
T = TO
O = N/A
T = TO
O = 314
T = 153.02
O = 67
T = 0.14
O = N/A
T = TO
O = 67
T = 0.49
scpnrh3_weighted.wcnf O = 61
T = 141.37
O = N/A
T = TO
O = N/A
T = TO
O = 145
T = 83.99
O = 434
T = 281.77
O = 61
T = 141.37
O = N/A
T = TO
O = 70
T = 2.26
O = N/A
T = TO
O = N/A
T = TO
O = 252
T = 144.66
O = 69
T = 0.13
O = N/A
T = TO
O = 69
T = 0.46
scpnrh4_weighted.wcnf O = 59
T = 283.53
O = N/A
T = TO
O = N/A
T = TO
O = 132
T = 50.18
O = 443
T = 187.35
O = 59
T = 283.53
O = N/A
T = TO
O = 68
T = 2.22
O = N/A
T = TO
O = N/A
T = TO
O = 361
T = 139.68
O = 68
T = 0.13
O = N/A
T = TO
O = N/A
T = TO
scpnrh5_weighted.wcnf O = 56
T = 110.45
O = N/A
T = TO
O = 103
T = 289.45
O = 126
T = 49.12
O = 415
T = 145.06
O = 56
T = 110.45
O = N/A
T = TO
O = 66
T = 2.22
O = N/A
T = TO
O = N/A
T = TO
O = 362
T = 138.96
O = 64
T = 0.08
O = N/A
T = TO
O = 64
T = 0.33
instance1.wcnf O = 607
T = 0.12
O = 607
T = 19.13
O = N/A
T = TO
O = 707
T = 49.10
O = 706
T = 67.09
O = 1929
T = 0.02
O = 607
T = 0.33
O = 607
T = 0.33
O = 707
T = 188.09
O = 1006
T = 184.14
O = N/A
T = TO
O = 607
T = 0.12
O = 607
T = 8.32
O = 607
T = 5.01
instance10.wcnf O = 12469
T = 273.68
O = 13324
T = 234.29
O = N/A
T = TO
O = 18176
T = 253.28
O = 12469
T = 273.68
O = 21207
T = 71.59
O = N/A
T = TO
O = 19359
T = 5.65
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 17531
T = 4.99
O = N/A
T = TO
O = N/A
T = TO
instance11.wcnf O = 9150
T = 43.24
O = 13744
T = 290.89
O = N/A
T = TO
O = N/A
T = TO
O = 9150
T = 43.24
O = 28917
T = 20.54
O = N/A
T = TO
O = 39955
T = 1.74
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 12049
T = 3.33
O = N/A
T = TO
O = 12183
T = 3.42
instance12.wcnf O = 20323
T = 11.58
O = 36043
T = 293.93
O = N/A
T = TO
O = N/A
T = TO
O = 24103
T = 128.35
O = 43655
T = 108.62
O = N/A
T = TO
O = 54750
T = 5.73
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 20323
T = 11.58
O = N/A
T = TO
O = N/A
T = TO
instance2.wcnf O = 831
T = 3.00
O = 1130
T = 238.16
O = N/A
T = TO
O = 1718
T = 67.44
O = 831
T = 3.00
O = 3576
T = 0.05
O = N/A
T = TO
O = 840
T = 202.07
O = 2217
T = 293.51
O = N/A
T = TO
O = N/A
T = TO
O = 1971
T = 5.59
O = N/A
T = TO
O = 1955
T = 0.67
instance3.wcnf O = 1017
T = 111.15
O = 1413
T = 245.40
O = N/A
T = TO
O = 2716
T = 249.78
O = 1017
T = 111.15
O = 5697
T = 0.10
O = N/A
T = TO
O = 5805
T = 0.03
O = 2402
T = 31.24
O = N/A
T = TO
O = N/A
T = TO
O = 2672
T = 1.21
O = 2877
T = 8.51
O = 2564
T = 1.61
instance4.wcnf O = 1829
T = 109.79
O = 2117
T = 187.67
O = N/A
T = TO
O = 3237
T = 286.03
O = 1829
T = 109.79
O = 5107
T = 0.08
O = N/A
T = TO
O = 5827
T = 0.01
O = 2308
T = 228.49
O = N/A
T = TO
O = N/A
T = TO
O = 3490
T = 0.10
O = N/A
T = TO
O = 3922
T = 6.43
instance5.wcnf O = 1360
T = 146.47
O = 2476
T = 191.70
O = N/A
T = TO
O = 5088
T = 195.75
O = 1360
T = 146.47
O = 6650
T = 0.17
O = N/A
T = TO
O = 8075
T = 0.04
O = 3126
T = 179.52
O = N/A
T = TO
O = N/A
T = TO
O = 4569
T = 18.06
O = 4326
T = 9.21
O = N/A
T = TO
instance6.wcnf O = 2588
T = 176.86
O = 3870
T = 161.43
O = N/A
T = TO
O = 7011
T = 36.85
O = 2588
T = 176.86
O = 9689
T = 0.23
O = N/A
T = TO
O = 10089
T = 0.05
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 6050
T = 0.16
O = N/A
T = TO
O = N/A
T = TO
instance7.wcnf O = 1530
T = 196.93
O = 3217
T = 64.46
O = N/A
T = TO
O = 6898
T = 200.73
O = 1530
T = 196.93
O = 8950
T = 0.41
O = N/A
T = TO
O = 15242
T = 0.07
O = 4140
T = 230.79
O = N/A
T = TO
O = N/A
T = TO
O = 6629
T = 0.19
O = N/A
T = TO
O = N/A
T = TO
instance8.wcnf O = 7327
T = 231.88
O = 11476
T = 22.36
O = N/A
T = TO
O = N/A
T = TO
O = 7327
T = 231.88
O = 14892
T = 2.71
O = N/A
T = TO
O = 19222
T = 0.35
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 11352
T = 0.71
O = N/A
T = TO
O = N/A
T = TO
instance9.wcnf O = 6725
T = 27.74
O = 8899
T = 249.64
O = N/A
T = TO
O = 7743
T = 47.40
O = 6725
T = 27.74
O = 12945
T = 29.48
O = N/A
T = TO
O = 11931
T = 3.28
O = N/A
T = TO
O = N/A
T = TO
O = N/A
T = TO
O = 9695
T = 3.03
O = N/A
T = TO
O = N/A
T = TO
MANN_a27.clq.wcnf O = 2049
T = 0.41
O = 2049
T = 1.13
O = 2049
T = 1.07
O = N/A
T = TO
O = N/A
T = TO
O = 2049
T = 0.41
O = N/A
T = TO
O = 4720
T = 1.09
O = 2049
T = 0.88
O = 2049
T = 0.79
O = 2098
T = 58.43
O = 2094
T = 266.39
O = 2049
T = 8.95
O = 2049
T = 21.38
MANN_a45.clq.wcnf O = 2057
T = 0.62
O = 2057
T = 0.88
O = 2057
T = 0.74
O = N/A
T = TO
O = N/A
T = TO
O = 2057
T = 0.62
O = N/A
T = TO
O = 2233
T = 3.19
O = 2057
T = 0.82
O = 2057
T = 1.11
O = 2112
T = 10.84
O = 2102
T = 12.59
O = 2057
T = 8.58
O = 2057
T = 21.72
MANN_a81.clq.wcnf O = 1995
T = 0.43
O = 1995
T = 1.25
O = 1995
T = 0.95
O = N/A
T = TO
O = N/A
T = TO
O = 2018
T = 0.51
O = N/A
T = TO
O = 2083
T = 14.77
O = 1995
T = 0.43
O = 1995
T = 0.86
O = 2025
T = 97.67
O = 2037
T = 24.16
O = 1995
T = 8.28
O = 1995
T = 21.33
MANN_a9.clq.wcnf O = 2179
T = 0.66
O = 2179
T = 0.66
O = 2179
T = 1.82
O = N/A
T = TO
O = N/A
T = TO
O = 2185
T = 0.51
O = N/A
T = TO
O = 2358
T = 1.91
O = 2179
T = 0.69
O = 2179
T = 1.40
O = 2281
T = 46.81
O = 2256
T = 8.46
O = 2179
T = 8.04
O = 2179
T = 21.01
hamming10-2.clq.wcnf O = 1929
T = 0.84
O = 1929
T = 1.50
O = 1929
T = 0.84
O = N/A
T = TO
O = N/A
T = TO
O = 1993
T = 0.49
O = N/A
T = TO
O = 2147
T = 1.67
O = 1929
T = 0.95
O = 1929
T = 1.16
O = 1959
T = 25.09
O = N/A
T = TO
O = 1929
T = 8.62
O = 1929
T = 21.17
hamming10-4.clq.wcnf O = 1683
T = 0.82
O = 1683
T = 0.82
O = 1683
T = 1.46
O = N/A
T = TO
O = N/A
T = TO
O = 1696
T = 0.83
O = N/A
T = TO
O = 1819
T = 1.23
O = 1683
T = 1.00
O = 1683
T = 1.21
O = 1728
T = 102.35
O = 1722
T = 263.57
O = 1683
T = 8.70
O = 1683
T = 21.53
hamming6-2.clq.wcnf O = 4391
T = 0.83
O = 4391
T = 8.52
O = 4391
T = 1.50
O = N/A
T = TO
O = N/A
T = TO
O = 4434
T = 0.83
O = N/A
T = TO
O = 10088
T = 0.83
O = 4391
T = 0.83
O = 4391
T = 1.14
O = 4649
T = 35.93
O = 4563
T = 8.22
O = 4391
T = 8.45
O = 4391
T = 21.29
hamming6-4.clq.wcnf O = 1035
T = 1.46
O = 1134
T = 1.12
O = 1035
T = 1.54
O = N/A
T = TO
O = N/A
T = TO
O = 1126
T = 0.76
O = N/A
T = TO
O = 1801
T = 1.09
O = 1035
T = 1.59
O = 1035
T = 1.46
O = 1035
T = 1.47
O = 1205
T = 164.32
O = 1035
T = 8.50
O = 1035
T = 21.09
hamming8-2.clq.wcnf O = 2213
T = 0.64
O = 2213
T = 0.95
O = 2213
T = 0.97
O = N/A
T = TO
O = N/A
T = TO
O = 2225
T = 0.95
O = N/A
T = TO
O = 2327
T = 2.40
O = 2213
T = 0.64
O = 2213
T = 0.92
O = 2267
T = 6.41
O = 2242
T = 218.66
O = 2213
T = 8.71
O = 2213
T = 21.41
hamming8-4.clq.wcnf O = 917
T = 0.37
O = 917
T = 1.00
O = 917
T = 0.95
O = N/A
T = TO
O = N/A
T = TO
O = 958
T = 0.56
O = N/A
T = TO
O = 1216
T = 1.73
O = 917
T = 1.34
O = 917
T = 1.10
O = 917
T = 0.37
O = 1034
T = 28.87
O = 917
T = 8.44
O = 917
T = 20.97
johnson16-2-4.clq.wcnf O = 1170
T = 0.86
O = 1170
T = 1.46
O = 1170
T = 0.93
O = N/A
T = TO
O = N/A
T = TO
O = 1233
T = 0.71
O = N/A
T = TO
O = 1419
T = 1.45
O = 1170
T = 0.86
O = 1170
T = 1.07
O = 1248
T = 3.01
O = 1239
T = 169.23
O = 1170
T = 8.47
O = 1170
T = 21.23
johnson32-2-4.clq.wcnf O = 1788
T = 0.56
O = 1788
T = 1.13
O = 1788
T = 0.83
O = N/A
T = TO
O = N/A
T = TO
O = 1788
T = 0.56
O = N/A
T = TO
O = 1972
T = 1.72
O = 1788
T = 0.61
O = 1788
T = 1.37
O = 1825
T = 54.52
O = 1852
T = 13.68
O = 1788
T = 8.44
O = 1788
T = 21.39
johnson8-2-4.clq.wcnf O = 392
T = 0.32
O = 392
T = 0.95
O = 392
T = 0.73
O = N/A
T = TO
O = N/A
T = TO
O = 427
T = 0.16
O = N/A
T = TO
O = 392
T = 1.42
O = 392
T = 0.32
O = 392
T = 0.70
O = 392
T = 0.52
O = 392
T = 1.65
O = 392
T = 7.95
O = 392
T = 5.26
johnson8-4-4.clq.wcnf O = 4154
T = 1.31
O = 4191
T = 2.38
O = 4154
T = 1.82
O = N/A
T = TO
O = N/A
T = TO
O = 4154
T = 2.00
O = N/A
T = TO
O = 10254
T = 0.91
O = 4154
T = 1.31
O = 4154
T = 2.54
O = 4613
T = 16.75
O = 4427
T = 274.43
O = 4154
T = 8.64
O = 4154
T = 21.19
keller4.clq.wcnf O = 1133
T = 0.61
O = 1133
T = 0.98
O = 1133
T = 0.86
O = N/A
T = TO
O = N/A
T = TO
O = 1327
T = 0.72
O = N/A
T = TO
O = 1534
T = 1.61
O = 1133
T = 0.67
O = 1133
T = 1.58
O = 1133
T = 0.61
O = 1180
T = 241.22
O = 1133
T = 8.35
O = 1133
T = 21.14
keller5.clq.wcnf O = 1383
T = 0.71
O = 1383
T = 1.46
O = 1383
T = 0.71
O = N/A
T = TO
O = N/A
T = TO
O = 1416
T = 0.45
O = N/A
T = TO
O = 1506
T = 1.55
O = 1383
T = 0.72
O = 1383
T = 1.17
O = 1416
T = 83.26
O = 1460
T = 69.01
O = 1383
T = 9.03
O = 1383
T = 21.30
p_hat1000-1.clq.wcnf O = 248
T = 0.33
O = 248
T = 0.82
O = 248
T = 0.64
O = N/A
T = TO
O = N/A
T = TO
O = 251
T = 0.53
O = N/A
T = TO
O = 261
T = 2.33
O = 248
T = 0.33
O = 248
T = 1.43
O = 248
T = 1.01
O = 248
T = 4.05
O = 248
T = 8.43
O = 248
T = 8.23
p_hat1000-2.clq.wcnf O = 752
T = 0.38
O = 752
T = 1.33
O = 752
T = 1.14
O = N/A
T = TO
O = N/A
T = TO
O = 765
T = 0.48
O = N/A
T = TO
O = 873
T = 1.69
O = 752
T = 0.38
O = 752
T = 1.20
O = 760
T = 8.03
O = 763
T = 237.14
O = 752
T = 8.48
O = 752
T = 21.05
p_hat1000-3.clq.wcnf O = 1251
T = 0.30
O = 1251
T = 1.16
O = 1251
T = 0.92
O = N/A
T = TO
O = N/A
T = TO
O = 1251
T = 0.30
O = N/A
T = TO
O = 1390
T = 1.08
O = 1251
T = 0.61
O = 1251
T = 1.38
O = 1276
T = 70.81
O = 1314
T = 6.58
O = 1251
T = 8.68
O = 1251
T = 21.35
p_hat300-1.clq.wcnf O = 243
T = 0.82
O = 243
T = 0.82
O = 243
T = 1.22
O = N/A
T = TO
O = N/A
T = TO
O = 245
T = 0.62
O = N/A
T = TO
O = 263
T = 1.74
O = 243
T = 1.06
O = 243
T = 1.34
O = 243
T = 1.34
O = 243
T = 27.89
O = 243
T = 9.34
O = 243
T = 21.37
p_hat300-2.clq.wcnf O = 711
T = 0.68
O = 711
T = 1.55
O = 711
T = 1.23
O = N/A
T = TO
O = N/A
T = TO
O = 721
T = 0.40
O = N/A
T = TO
O = 812
T = 0.89
O = 711
T = 0.68
O = 711
T = 0.85
O = 711
T = 0.94
O = 725
T = 8.78
O = 711
T = 7.99
O = 711
T = 21.60
p_hat300-3.clq.wcnf O = 1439
T = 0.61
O = 1439
T = 0.72
O = 1439
T = 1.04
O = N/A
T = TO
O = N/A
T = TO
O = 1447
T = 0.59
O = N/A
T = TO
O = 1577
T = 1.47
O = 1439
T = 0.61
O = 1439
T = 1.00
O = 1507
T = 37.93
O = 1483
T = 68.43
O = 1439
T = 8.10
O = 1439
T = 21.76
p_hat500-1.clq.wcnf O = 395
T = 0.73
O = 395
T = 0.95
O = 395
T = 1.22
O = N/A
T = TO
O = N/A
T = TO
O = 428
T = 0.45
O = N/A
T = TO
O = 424
T = 3.28
O = 395
T = 0.73
O = 395
T = 0.82
O = 395
T = 1.14
O = 395
T = 154.62
O = 395
T = 8.33
O = 395
T = 21.23
p_hat500-2.clq.wcnf O = 931
T = 0.51
O = 931
T = 1.59
O = 931
T = 0.84
O = N/A
T = TO
O = N/A
T = TO
O = 931
T = 0.51
O = N/A
T = TO
O = 1015
T = 2.24
O = 931
T = 0.55
O = 931
T = 1.33
O = 941
T = 57.49
O = 937
T = 71.30
O = 931
T = 8.46
O = 931
T = 21.50
p_hat500-3.clq.wcnf O = 1501
T = 0.54
O = 1501
T = 1.42
O = 1501
T = 1.19
O = N/A
T = TO
O = N/A
T = TO
O = 1535
T = 0.52
O = N/A
T = TO
O = 1757
T = 1.76
O = 1501
T = 0.54
O = 1501
T = 1.12
O = 1517
T = 63.31
O = 1562
T = 12.41
O = 1501
T = 8.90
O = 1501
T = 21.25
p_hat700-1.clq.wcnf O = 329
T = 0.43
O = 329
T = 1.21
O = 329
T = 0.71
O = N/A
T = TO
O = N/A
T = TO
O = 329
T = 0.47
O = N/A
T = TO
O = 373
T = 87.27
O = 329
T = 0.43
O = 329
T = 1.16
O = 329
T = 1.36
O = 329
T = 135.19
O = 329
T = 8.84
O = 329
T = 21.25
p_hat700-2.clq.wcnf O = 834
T = 0.63
O = 834
T = 0.63
O = 834
T = 1.47
O = N/A
T = TO
O = N/A
T = TO
O = 847
T = 0.65
O = N/A
T = TO
O = 932
T = 1.03
O = 834
T = 0.77
O = 834
T = 0.85
O = 867
T = 15.28
O = 881
T = 6.09
O = 834
T = 8.58
O = 834
T = 21.60
p_hat700-3.clq.wcnf O = 1432
T = 0.96
O = 1432
T = 1.76
O = 1432
T = 1.28
O = N/A
T = TO
O = N/A
T = TO
O = 1476
T = 0.35
O = N/A
T = TO
O = 1655
T = 1.51
O = 1432
T = 0.96
O = 1432
T = 1.30
O = 1489
T = 16.98
O = 1472
T = 265.34
O = 1432
T = 8.62
O = 1432
T = 21.38
san1000.clq.wcnf O = 744
T = 0.42
O = 744
T = 0.68
O = 744
T = 0.88
O = N/A
T = TO
O = N/A
T = TO
O = 744
T = 0.61
O = N/A
T = TO
O = 818
T = 1.64
O = 744
T = 0.42
O = 744
T = 0.81
O = 757
T = 9.72
O = 781
T = 14.73
O = 744
T = 8.49
O = 744
T = 21.41
san200_0.7_1.clq.wcnf O = 1256
T = 0.61
O = 1256
T = 0.61
O = 1256
T = 0.66
O = N/A
T = TO
O = N/A
T = TO
O = 1256
T = 0.68
O = N/A
T = TO
O = 1479
T = 1.32
O = 1256
T = 0.72
O = 1256
T = 0.83
O = 1277
T = 93.37
O = 1279
T = 71.65
O = 1256
T = 8.33
O = 1256
T = 21.55
san200_0.7_2.clq.wcnf O = 1243
T = 0.54
O = 1243
T = 1.69
O = 1243
T = 1.14
O = N/A
T = TO
O = N/A
T = TO
O = 1275
T = 0.46
O = N/A
T = TO
O = 1304
T = 11.40
O = 1243
T = 0.54
O = 1243
T = 1.17
O = 1278
T = 50.05
O = 1259
T = 4.65
O = 1243
T = 8.63
O = 1243
T = 20.99
san200_0.9_1.clq.wcnf O = 1672
T = 0.47
O = 1672
T = 0.83
O = 1672
T = 0.81
O = N/A
T = TO
O = N/A
T = TO
O = 1683
T = 0.32
O = N/A
T = TO
O = 1792
T = 2.01
O = 1672
T = 0.47
O = 1672
T = 0.79
O = 1697
T = 51.86
O = 1687
T = 11.81
O = 1672
T = 8.59
O = 1672
T = 21.37
san200_0.9_2.clq.wcnf O = 1647
T = 0.81
O = 1647
T = 1.69
O = 1647
T = 1.05
O = N/A
T = TO
O = N/A
T = TO
O = 1654
T = 0.63
O = N/A
T = TO
O = 1828
T = 1.70
O = 1647
T = 1.08
O = 1647
T = 0.81
O = 1718
T = 103.59
O = 1669
T = 6.10
O = 1647
T = 8.80
O = 1647
T = 21.15
san200_0.9_3.clq.wcnf O = 1670
T = 0.69
O = 1670
T = 1.49
O = 1670
T = 1.66
O = N/A
T = TO
O = N/A
T = TO
O = 1686
T = 0.59
O = N/A
T = TO
O = 1834
T = 2.32
O = 1670
T = 0.69
O = 1670
T = 1.35
O = 1727
T = 57.32
O = 1703
T = 268.92
O = 1670
T = 8.06
O = 1670
T = 21.28
san400_0.5_1.clq.wcnf O = 718
T = 0.84
O = 718
T = 1.32
O = 718
T = 1.95
O = N/A
T = TO
O = N/A
T = TO
O = 718
T = 0.84
O = N/A
T = TO
O = 778
T = 5.47
O = 718
T = 1.06
O = 718
T = 1.09
O = 718
T = 0.91
O = 718
T = 7.40
O = 718
T = 7.73
O = 718
T = 8.39
san400_0.7_1.clq.wcnf O = 1258
T = 0.55
O = 1258
T = 0.91
O = 1258
T = 0.91
O = N/A
T = TO
O = N/A
T = TO
O = 1261
T = 0.79
O = N/A
T = TO
O = 1374
T = 1.45
O = 1258
T = 0.55
O = 1258
T = 1.34
O = 1293
T = 99.99
O = 1299
T = 29.07
O = 1258
T = 8.26
O = 1258
T = 21.35
san400_0.7_2.clq.wcnf O = 1237
T = 0.51
O = 1237
T = 0.85
O = 1237
T = 1.92
O = N/A
T = TO
O = N/A
T = TO
O = 1335
T = 0.38
O = N/A
T = TO
O = 1398
T = 1.50
O = 1237
T = 0.51
O = 1237
T = 1.01
O = 1247
T = 77.37
O = 1289
T = 24.37
O = 1237
T = 7.63
O = 1237
T = 21.66
san400_0.7_3.clq.wcnf O = 1201
T = 0.59
O = 1201
T = 0.83
O = 1201
T = 1.23
O = N/A
T = TO
O = N/A
T = TO
O = 1201
T = 0.59
O = N/A
T = TO
O = 1390
T = 1.68
O = 1201
T = 0.86
O = 1201
T = 0.93
O = 1240
T = 49.59
O = 1226
T = 53.33
O = 1201
T = 7.97
O = 1201
T = 21.35
san400_0.9_1.clq.wcnf O = 1604
T = 0.42
O = 1604
T = 1.87
O = 1604
T = 0.80
O = N/A
T = TO
O = N/A
T = TO
O = 1610
T = 0.81
O = N/A
T = TO
O = 1774
T = 1.81
O = 1604
T = 0.42
O = 1604
T = 1.13
O = 1624
T = 101.94
O = 1627
T = 4.28
O = 1604
T = 8.15
O = 1604
T = 21.43
sanr200_0.7.clq.wcnf O = 1171
T = 0.46
O = 1171
T = 1.10
O = 1171
T = 0.92
O = N/A
T = TO
O = N/A
T = TO
O = 1218
T = 0.50
O = N/A
T = TO
O = 1424
T = 1.68
O = 1171
T = 0.46
O = 1171
T = 1.04
O = 1248
T = 60.95
O = 1183
T = 169.29
O = 1171
T = 8.82
O = 1171
T = 21.50
sanr200_0.9.clq.wcnf O = 1610
T = 0.54
O = 1610
T = 1.06
O = 1610
T = 1.21
O = N/A
T = TO
O = N/A
T = TO
O = 1619
T = 0.59
O = N/A
T = TO
O = 1730
T = 2.07
O = 1610
T = 0.54
O = 1610
T = 1.32
O = 1643
T = 20.63
O = 1670
T = 3.70
O = 1610
T = 8.64
O = 1610
T = 21.45
sanr400_0.5.clq.wcnf O = 763
T = 0.65
O = 763
T = 1.38
O = 763
T = 1.18
O = N/A
T = TO
O = N/A
T = TO
O = 841
T = 0.25
O = N/A
T = TO
O = 902
T = 2.04
O = 763
T = 0.65
O = 763
T = 1.01
O = 763
T = 0.70
O = 788
T = 220.16
O = 763
T = 8.56
O = 763
T = 21.21
sanr400_0.7.clq.wcnf O = 1198
T = 0.73
O = 1198
T = 0.98
O = 1198
T = 1.14
O = N/A
T = TO
O = N/A
T = TO
O = 1250
T = 0.38
O = N/A
T = TO
O = 1384
T = 2.03
O = 1198
T = 0.78
O = 1198
T = 0.73
O = 1230
T = 43.44
O = 1267
T = 219.92
O = 1198
T = 8.54
O = 1198
T = 21.70
t3g3-5555.spn.wcnf O = 1100610
T = 0.18
O = 1100610
T = 1.27
O = 1100610
T = 0.80
O = N/A
T = TO
O = N/A
T = TO
O = 1100610
T = 0.18
O = 1100610
T = 46.01
O = 1100610
T = 3.52
O = 1100610
T = 0.52
O = 1100610
T = 1.07
O = 2282213
T = 191.23
O = 1100610
T = 2.12
O = 1100610
T = 8.46
O = N/A
T = TO
t4g3-6666.spn.wcnf O = 2275606
T = 1.48
O = 2275606
T = 2.15
O = 2275606
T = 1.48
O = N/A
T = TO
O = N/A
T = TO
O = 2982887
T = 0.97
O = N/A
T = TO
O = 2547106
T = 25.32
O = 2275606
T = 1.60
O = 2275606
T = 1.99
O = 6028792
T = 0.49
O = N/A
T = TO
O = 2275606
T = 9.08
O = 2275606
T = 27.02
t5g3-7777.spn.wcnf O = 4241951
T = 2.04
O = 4241951
T = 2.04
O = 4241951
T = 2.16
O = N/A
T = TO
O = N/A
T = TO
O = 5362926
T = 1.81
O = N/A
T = TO
O = 4810653
T = 4.73
O = 4241951
T = 2.46
O = 4241951
T = 3.73
O = 12864296
T = 0.51
O = 4665320
T = 16.49
O = 4241951
T = 8.93
O = 4329357
T = 26.58
t6g3-8888.spn.wcnf O = 7844119
T = 3.27
O = 7844119
T = 132.83
O = 7844119
T = 29.22
O = N/A
T = TO
O = N/A
T = TO
O = 10065024
T = 3.44
O = N/A
T = TO
O = 9731629
T = 1.98
O = 7844119
T = 3.27
O = 7844119
T = 5.34
O = 23953139
T = 0.57
O = N/A
T = TO
O = 7888666
T = 26.91
O = 9513971
T = 23.24
t7g3-9999.spn.wcnf O = 11954769
T = 7.59
O = 12168196
T = 44.72
O = 12213760
T = 90.44
O = N/A
T = TO
O = N/A
T = TO
O = 14501598
T = 5.66
O = N/A
T = TO
O = 14265314
T = 111.91
O = 11954769
T = 7.59
O = 12056132
T = 21.51
O = 37566250
T = 0.51
O = N/A
T = TO
O = 11954769
T = 18.16
O = 14011383
T = 26.74