Algorithm
Order
Tr.
Y
N
F
TO
AProVE 07
AProVE 07
AProVE 07
899 [2.7]
224 [2.1]
18 [20.0]
217
AProVE MAX
AProVE MAX
AProVE MAX
916 [2.8]
224 [2.2]
18 [20.3]
200
Example
AProVE 07
AProVE MAX
YES
2.28
YES
2.69
YES
1.35
YES
1.27
YES
1.78
YES
1.67
YES
1.12
YES
1.14
YES
1.20
YES
1.31
YES
1.16
YES
1.09
YES
1.57
YES
1.55
YES
1.61
YES
1.63
YES
1.36
YES
1.39
YES
1.61
YES
1.88
YES
1.25
YES
1.27
YES
1.21
YES
1.14
YES
1.32
YES
1.33
YES
1.03
YES
1.03
YES
0.98
YES
0.97
YES
0.97
YES
0.92
YES
0.98
YES
1.08
YES
1.20
YES
1.32
YES
1.09
YES
1.09
YES
1.05
YES
0.97
YES
0.98
YES
0.99
YES
1.31
YES
1.36
YES
1.14
YES
1.19
YES
1.66
YES
1.46
YES
1.28
YES
1.44
YES
1.72
YES
1.65
YES
1.28
YES
1.16
YES
1.25
YES
1.33
YES
1.06
YES
1.09
YES
1.04
YES
1.09
YES
1.26
YES
1.31
YES
1.36
YES
1.35
YES
0.98
YES
0.97
YES
1.05
YES
1.04
YES
1.03
YES
1.03
YES
0.99
YES
1.02
YES
1.60
YES
1.60
YES
1.58
YES
1.66
YES
1.90
YES
2.03
YES
1.28
YES
1.25
YES
1.68
YES
1.61
YES
1.44
YES
1.38
YES
1.77
YES
1.55
YES
1.43
YES
1.38
YES
1.38
YES
1.74
YES
1.62
YES
2.01
YES
1.55
YES
1.45
YES
0.93
YES
1.04
YES
1.50
YES
1.51
YES
1.90
YES
1.96
YES
4.36
YES
4.46
YES
35.31
YES
35.73
YES
12.90
YES
13.68
YES
1.84
YES
1.66
YES
1.09
YES
1.09
YES
1.15
YES
1.09
YES
1.45
YES
1.73
YES
1.77
YES
1.95
YES
1.31
YES
1.32
YES
2.06
YES
2.45
YES
1.67
YES
1.86
YES
1.08
YES
1.21
YES
1.18
YES
1.26
YES
26.02
YES
26.14
YES
3.08
YES
3.30
YES
8.21
YES
8.06
YES
1.30
YES
1.54
YES
16.58
YES
14.23
YES
21.27
YES
21.39
YES
1.94
YES
1.94
YES
2.00
YES
1.95
YES
1.26
YES
1.32
YES
1.20
YES
1.19
YES
1.04
YES
1.04
YES
1.15
YES
1.08
YES
2.00
YES
2.03
YES
1.78
YES
1.79
YES
1.68
YES
1.78
YES
3.84
YES
3.86
KILLED
60.00
KILLED
60.00
YES
1.57
YES
1.61
YES
13.00
YES
13.03
YES
12.60
YES
12.62
YES
2.10
YES
2.17
YES
14.43
YES
14.25
YES
1.54
YES
1.60
YES
1.60
YES
1.62
YES
14.15
YES
18.13
YES
1.28
YES
1.32
YES
3.38
YES
3.35
YES
8.09
YES
8.31
YES
1.48
YES
1.54
YES
1.48
YES
1.44
YES
1.37
YES
1.43
YES
12.30
YES
12.93
YES
2.32
YES
2.28
YES
3.23
YES
3.24
YES
1.44
YES
1.41
YES
3.69
YES
3.40
YES
1.14
YES
1.11
YES
1.19
YES
1.20
YES
1.07
YES
1.14
NO
1.48
NO
1.47
YES
2.28
YES
2.28
YES
1.20
YES
1.20
YES
1.01
YES
1.03
YES
2.00
YES
1.97
YES
1.43
YES
1.44
YES
1.83
YES
1.82
YES
1.56
YES
1.62
YES
1.27
YES
1.39
YES
1.20
YES
1.25
YES
1.20
YES
1.19
YES
1.50
YES
1.50
YES
1.36
YES
1.39
YES
1.42
YES
1.38
YES
1.16
YES
1.16
YES
1.92
YES
1.91
YES
1.32
YES
1.35
KILLED
60.00
KILLED
60.00
YES
6.59
YES
6.61
YES
1.40
YES
1.66
YES
1.54
YES
1.63
YES
1.49
YES
1.60
YES
1.99
YES
1.93
YES
2.34
YES
2.21
YES
3.23
YES
3.08
YES
2.51
YES
2.87
YES
1.49
YES
1.50
YES
2.04
YES
1.84
YES
1.55
YES
1.64
YES
1.72
YES
1.99
YES
1.38
YES
1.32
YES
1.79
YES
1.71
YES
1.36
YES
1.33
YES
1.87
YES
1.96
YES
1.84
YES
1.92
YES
2.33
YES
2.38
YES
1.44
YES
1.50
YES
1.37
YES
1.39
YES
1.32
YES
1.31
YES
3.42
YES
3.24
YES
2.42
YES
2.56
YES
2.16
YES
2.22
YES
2.12
YES
1.94
MAYBE
0.80
MAYBE
0.86
YES
1.42
YES
1.42
YES
1.38
YES
1.39
YES
1.44
YES
1.48
YES
2.03
YES
2.00
YES
1.50
YES
1.61
YES
7.12
YES
7.31
YES
1.56
YES
1.55
YES
1.44
YES
1.44
YES
1.50
YES
1.55
YES
1.64
YES
1.67
YES
2.29
YES
2.56
YES
1.82
YES
2.39
MAYBE
52.96
MAYBE
54.08
YES
1.49
YES
1.60
KILLED
60.00
KILLED
60.00
YES
1.35
YES
1.64
YES
2.72
YES
2.63
YES
1.60
YES
1.77
MAYBE
0.85
MAYBE
0.81
YES
1.05
YES
1.08
YES
0.92
YES
0.92
YES
0.92
YES
0.97
YES
1.03
YES
0.97
YES
0.92
YES
0.97
YES
1.15
YES
1.15
YES
1.09
YES
1.04
YES
1.32
YES
1.26
YES
1.21
YES
1.16
YES
7.67
YES
7.39
YES
1.10
YES
1.10
YES
1.04
YES
1.07
YES
1.28
YES
1.27
YES
1.14
YES
1.20
YES
1.03
YES
1.15
YES
1.09
YES
1.08
YES
1.75
YES
2.00
YES
1.09
YES
1.10
YES
1.21
YES
1.25
MAYBE
38.94
MAYBE
38.57
YES
1.45
YES
1.44
YES
10.15
YES
9.59
YES
1.70
YES
1.73
KILLED
60.00
KILLED
60.00
MAYBE
33.34
MAYBE
32.58
YES
1.51
YES
2.08
YES
1.54
YES
1.95
YES
13.34
YES
13.55
YES
1.62
YES
1.68
KILLED
60.00
KILLED
60.00
YES
1.44
YES
1.43
KILLED
60.00
KILLED
60.00
NO
1.49
NO
1.49
YES
1.09
YES
1.13
NO
1.60
NO
1.74
YES
1.20
YES
1.15
YES
1.10
YES
1.08
YES
1.20
YES
1.15
YES
1.15
YES
1.20
YES
1.32
YES
1.38
YES
21.58
YES
21.74
YES
19.98
YES
19.78
YES
1.26
YES
1.37
YES
1.42
YES
1.32
YES
1.14
YES
1.22
YES
1.08
YES
1.07
YES
1.28
YES
1.28
YES
1.02
YES
1.03
YES
1.02
YES
1.03
YES
1.14
YES
1.08
YES
1.31
YES
1.22
YES
1.17
YES
1.15
YES
1.02
YES
1.11
YES
1.11
YES
1.18
YES
1.02
YES
1.03
YES
1.08
YES
1.14
YES
1.28
YES
1.21
YES
1.12
YES
1.15
YES
1.25
YES
1.20
KILLED
60.00
KILLED
60.00
YES
1.52
YES
1.79
YES
1.44
YES
1.45
NO
5.83
NO
6.67
YES
1.35
YES
1.37
YES
1.14
YES
1.20
NO
1.97
NO
2.20
YES
1.07
YES
1.09
NO
2.57
NO
3.00
NO
1.62
NO
1.62
YES
1.42
YES
1.39
YES
1.08
YES
1.03
NO
3.82
NO
4.28
NO
2.48
NO
2.36
YES
1.33
YES
1.34
YES
1.23
YES
1.26
YES
1.55
YES
1.53
YES
1.18
YES
1.20
YES
1.26
YES
1.28
YES
1.08
YES
1.11
YES
1.56
YES
1.67
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
YES
1.31
YES
1.39
YES
1.14
YES
1.19
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
YES
1.13
YES
1.14
KILLED
60.00
YES
27.31
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
1.34
NO
1.10
NO
1.04
NO
1.02
NO
1.12
NO
1.05
NO
1.05
NO
1.06
NO
1.03
NO
1.10
NO
1.18
NO
1.18
NO
1.12
NO
1.41
YES
1.78
YES
1.70
YES
1.54
YES
1.69
YES
1.35
YES
1.39
YES
1.54
YES
1.68
YES
1.13
YES
1.43
YES
3.14
YES
3.12
YES
1.03
YES
1.03
YES
1.11
YES
1.08
YES
1.29
YES
1.26
YES
3.55
YES
3.63
YES
1.11
YES
1.11
YES
1.06
YES
1.09
YES
1.31
YES
1.36
YES
1.39
YES
1.60
YES
1.36
YES
1.39
YES
1.13
YES
1.14
YES
1.32
YES
1.46
YES
1.13
YES
1.14
YES
1.25
YES
1.31
YES
1.08
YES
1.08
MAYBE
15.29
MAYBE
15.77
KILLED
60.00
KILLED
60.00
YES
12.23
YES
2.25
YES
1.11
YES
1.08
YES
1.05
YES
1.08
YES
1.03
YES
1.02
YES
1.03
YES
1.08
YES
1.08
YES
1.08
NO
1.48
NO
1.44
NO
3.44
NO
3.54
NO
1.22
NO
1.29
NO
1.28
NO
1.35
NO
1.32
NO
1.33
NO
1.33
NO
1.35
NO
1.15
NO
1.42
KILLED
60.00
KILLED
60.00
YES
0.93
YES
0.98
YES
0.98
YES
0.94
YES
1.03
YES
0.98
YES
1.08
YES
1.11
YES
1.22
YES
1.38
YES
1.08
YES
1.04
YES
1.83
YES
1.96
YES
1.14
YES
1.21
YES
1.22
YES
1.22
YES
1.82
YES
1.83
NO
1.44
NO
1.43
YES
1.32
YES
1.37
YES
6.67
YES
6.66
YES
9.54
YES
9.43
YES
2.94
YES
3.19
YES
2.79
YES
3.04
YES
1.05
YES
1.08
YES
1.50
YES
1.42
YES
1.25
YES
1.27
YES
2.64
YES
2.33
YES
2.36
YES
1.97
YES
1.25
YES
1.28
YES
1.14
YES
1.15
NO
1.16
NO
1.22
NO
1.21
NO
1.26
NO
1.28
NO
1.35
NO
1.16
NO
1.17
NO
1.54
NO
1.56
NO
1.16
NO
1.18
NO
1.22
NO
1.21
NO
1.14
NO
1.22
NO
1.44
NO
1.57
YES
1.15
YES
1.09
NO
1.66
NO
1.66
NO
1.56
NO
1.56
NO
1.56
NO
1.62
NO
1.62
NO
1.63
NO
1.72
NO
1.69
NO
1.34
NO
1.45
NO
1.15
NO
1.15
NO
1.56
NO
1.66
NO
1.16
NO
1.17
NO
1.26
NO
1.32
NO
1.67
NO
1.72
NO
1.66
NO
1.67
NO
1.65
NO
1.55
NO
1.73
NO
1.68
NO
1.94
NO
2.06
NO
4.64
NO
5.24
NO
1.71
NO
1.79
NO
1.77
NO
1.65
NO
1.59
NO
1.58
NO
1.42
NO
1.50
YES
1.14
YES
1.22
NO
1.46
NO
1.51
NO
1.67
NO
1.72
NO
1.67
NO
1.67
NO
1.99
NO
1.98
NO
1.56
NO
1.68
NO
1.19
NO
1.13
NO
1.55
NO
1.61
NO
1.56
NO
1.61
NO
1.25
NO
1.39
NO
1.85
NO
1.92
NO
1.72
NO
1.66
NO
1.21
NO
1.16
NO
1.61
NO
1.72
NO
1.56
NO
1.62
NO
2.36
NO
2.22
NO
1.67
NO
1.75
NO
1.22
NO
1.22
KILLED
60.00
KILLED
60.00
NO
1.16
NO
1.17
NO
1.20
NO
1.24
NO
1.90
NO
1.92
NO
1.24
NO
1.45
NO
3.23
NO
3.35
NO
13.84
NO
14.89
YES
1.20
YES
1.20
NO
1.42
NO
1.47
NO
1.15
NO
1.16
NO
1.73
NO
1.76
YES
1.03
YES
0.97
YES
1.14
YES
1.25
YES
1.03
YES
1.12
YES
1.25
YES
1.25
YES
1.36
YES
1.33
YES
1.61
YES
1.38
YES
1.83
YES
1.72
YES
1.66
YES
1.44
YES
0.96
YES
1.04
YES
1.20
YES
1.32
YES
1.09
YES
1.09
YES
1.05
YES
1.08
YES
0.97
YES
0.98
YES
1.39
YES
1.67
YES
2.19
YES
2.63
YES
1.02
YES
1.03
YES
1.06
YES
1.09
YES
1.11
YES
1.05
YES
0.98
YES
0.98
YES
1.25
YES
1.26
YES
1.13
YES
1.10
YES
1.78
YES
1.86
YES
1.32
YES
1.34
YES
1.78
YES
1.84
YES
2.54
YES
2.41
YES
1.19
YES
1.25
YES
1.14
YES
1.15
YES
2.90
YES
2.97
YES
1.48
YES
1.48
YES
1.42
YES
1.53
MAYBE
15.20
MAYBE
15.55
YES
1.64
YES
1.86
YES
2.01
YES
1.99
YES
2.05
YES
2.40
YES
2.90
YES
3.02
YES
1.47
YES
1.49
YES
1.55
YES
1.61
YES
1.53
YES
1.59
KILLED
60.00
KILLED
60.00
YES
1.62
YES
1.66
YES
4.48
YES
4.80
YES
2.36
YES
2.34
YES
1.61
YES
1.61
KILLED
60.00
KILLED
60.00
YES
3.13
YES
3.16
YES
2.07
YES
2.94
YES
2.20
YES
2.98
YES
1.86
YES
2.00
YES
9.64
YES
8.35
YES
1.54
YES
1.81
YES
2.07
YES
1.99
YES
1.72
YES
1.81
YES
1.44
YES
1.54
YES
2.20
YES
2.22
YES
1.66
YES
1.63
YES
2.33
YES
2.32
YES
1.39
YES
1.45
YES
1.89
YES
1.87
YES
1.75
YES
1.81
YES
1.90
YES
1.96
YES
1.50
YES
1.72
YES
1.87
YES
1.98
YES
2.20
YES
2.42
YES
1.99
YES
1.86
YES
3.24
YES
2.66
YES
1.57
YES
1.64
YES
13.65
YES
13.30
YES
1.45
YES
1.49
YES
4.14
YES
3.73
YES
3.73
YES
3.61
YES
1.69
YES
1.86
YES
8.95
YES
8.88
YES
1.57
YES
1.69
YES
2.48
YES
2.86
YES
1.72
YES
1.86
YES
2.54
YES
2.57
YES
3.14
YES
3.13
YES
1.39
YES
1.44
YES
3.24
YES
3.07
YES
2.57
YES
2.39
YES
3.05
YES
3.45
YES
1.89
YES
2.02
YES
1.76
YES
1.86
KILLED
60.00
KILLED
60.00
YES
2.46
YES
2.75
YES
1.61
YES
1.65
YES
1.72
YES
1.65
YES
1.59
YES
1.75
KILLED
60.00
KILLED
60.00
YES
1.47
YES
1.54
KILLED
60.00
KILLED
60.00
YES
17.02
YES
17.28
KILLED
60.00
KILLED
60.00
YES
4.47
YES
4.90
YES
2.62
YES
2.58
YES
3.97
YES
4.11
YES
37.71
YES
42.27
YES
2.59
YES
3.12
YES
7.11
YES
7.32
KILLED
60.00
KILLED
60.00
YES
1.90
YES
2.04
YES
2.86
YES
2.29
KILLED
60.00
KILLED
60.00
YES
1.65
YES
1.67
KILLED
60.00
YES
3.56
KILLED
60.00
YES
4.33
KILLED
60.00
YES
4.28
KILLED
60.00
YES
3.61
KILLED
60.00
YES
4.22
KILLED
60.00
KILLED
60.00
KILLED
60.00
YES
3.42
KILLED
60.00
YES
4.12
KILLED
60.00
YES
5.09
KILLED
60.00
YES
5.10
YES
2.80
YES
2.51
YES
3.30
YES
3.08
YES
29.37
YES
27.32
YES
1.94
YES
1.90
YES
1.91
YES
2.06
KILLED
60.00
YES
8.29
YES
9.66
YES
16.41
KILLED
60.00
KILLED
60.00
NO
1.15
NO
1.25
YES
9.82
YES
12.12
YES
1.56
YES
1.77
YES
1.06
YES
1.14
YES
1.15
YES
1.19
YES
7.46
YES
7.44
MAYBE
8.36
MAYBE
8.68
YES
1.79
YES
1.84
YES
1.61
YES
1.64
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
1.66
NO
1.77
NO
1.50
NO
1.54
KILLED
60.00
KILLED
60.00
MAYBE
3.04
MAYBE
3.30
MAYBE
4.04
MAYBE
4.04
MAYBE
2.85
MAYBE
3.04
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
YES
2.59
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
YES
1.79
YES
1.93
YES
3.03
YES
2.92
YES
1.43
YES
1.43
YES
4.54
YES
4.44
YES
1.82
YES
1.95
YES
8.03
YES
7.96
YES
2.18
YES
2.45
YES
1.84
YES
1.86
YES
2.48
YES
2.36
YES
2.45
YES
2.58
YES
3.96
YES
3.99
YES
3.77
YES
3.99
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
YES
1.63
YES
1.54
MAYBE
55.16
MAYBE
55.77
YES
1.75
YES
1.83
YES
1.89
YES
1.90
YES
1.46
YES
1.39
YES
1.54
YES
1.54
YES
1.65
YES
1.64
YES
1.58
YES
1.60
YES
1.70
YES
1.82
YES
1.21
YES
1.20
YES
7.91
YES
7.94
YES
1.59
YES
1.73
YES
1.89
YES
1.91
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
YES
1.84
YES
1.68
YES
1.14
YES
1.14
YES
1.08
YES
1.09
YES
1.07
YES
1.08
YES
1.04
YES
1.04
NO
2.06
NO
1.96
YES
1.14
YES
1.08
YES
1.09
YES
1.13
YES
1.15
YES
1.20
YES
1.03
YES
1.04
YES
1.30
YES
1.33
YES
1.04
YES
1.15
YES
1.14
YES
1.14
YES
1.24
YES
1.26
YES
1.16
YES
1.20
YES
1.10
YES
1.09
YES
1.09
YES
1.13
YES
1.08
YES
1.08
YES
1.10
YES
1.08
YES
1.20
YES
1.14
YES
1.08
YES
1.09
YES
1.12
YES
1.10
YES
1.18
YES
1.15
YES
1.15
YES
1.20
YES
1.03
YES
1.03
YES
1.13
YES
1.14
YES
1.34
YES
1.23
YES
1.20
YES
1.20
YES
1.03
YES
1.03
YES
1.12
YES
1.14
YES
1.16
YES
1.14
YES
1.04
YES
1.08
YES
1.23
YES
1.27
YES
1.14
YES
1.14
YES
1.27
YES
1.36
YES
1.09
YES
1.08
YES
1.05
YES
1.10
YES
1.04
YES
1.08
YES
1.03
YES
1.09
YES
1.37
YES
1.29
YES
1.10
YES
1.14
YES
1.10
YES
1.12
YES
1.15
YES
1.15
YES
1.15
YES
1.20
YES
1.28
YES
1.25
YES
1.14
YES
1.14
YES
0.97
YES
0.97
YES
0.92
YES
1.03
YES
0.98
YES
0.98
YES
0.98
YES
1.03
YES
0.97
YES
0.95
YES
1.08
YES
1.10
YES
1.33
YES
1.30
YES
1.07
YES
1.09
YES
1.04
YES
1.07
YES
1.08
YES
1.09
YES
1.04
YES
1.05
YES
1.01
YES
1.04
YES
1.13
YES
1.14
YES
1.01
YES
1.01
YES
1.09
YES
1.12
YES
1.19
YES
1.19
YES
1.04
YES
1.09
YES
1.90
YES
2.67
YES
1.09
YES
1.11
YES
1.01
YES
1.04
YES
1.09
YES
1.14
NO
1.45
NO
1.67
YES
1.03
YES
1.02
YES
1.04
YES
1.04
YES
1.08
YES
1.12
YES
1.08
YES
1.15
YES
1.09
YES
1.07
YES
1.09
YES
1.15
YES
1.14
YES
1.18
YES
1.19
YES
1.14
YES
1.10
YES
1.04
YES
1.26
YES
1.20
YES
1.65
YES
1.59
YES
1.08
YES
1.07
YES
1.03
YES
1.08
YES
1.09
YES
1.14
YES
1.14
YES
1.08
YES
1.10
YES
1.11
YES
1.08
YES
1.08
YES
1.38
YES
1.64
YES
1.03
YES
1.10
YES
1.26
YES
1.26
YES
1.25
YES
1.28
YES
1.20
YES
1.20
YES
1.22
YES
1.21
YES
1.38
YES
1.45
YES
1.08
YES
1.13
YES
1.84
YES
1.83
YES
0.91
YES
0.97
NO
1.08
NO
1.12
YES
0.97
YES
0.98
YES
0.98
YES
0.97
YES
0.92
YES
0.92
YES
1.08
YES
1.12
YES
1.03
YES
1.08
NO
2.94
NO
3.26
YES
1.09
YES
1.10
YES
1.14
YES
1.09
YES
1.20
YES
1.20
YES
0.97
YES
0.97
YES
1.03
YES
1.03
YES
0.98
YES
1.01
YES
2.21
YES
2.21
YES
1.04
YES
1.02
NO
1.27
NO
1.44
YES
0.99
YES
1.04
YES
1.21
YES
1.28
YES
1.07
YES
1.15
YES
1.09
YES
1.09
NO
2.67
NO
4.80
YES
1.04
YES
1.03
YES
1.08
YES
1.02
YES
1.14
YES
1.14
YES
1.17
YES
1.19
YES
1.31
YES
1.21
YES
1.38
YES
1.50
YES
1.03
YES
1.02
KILLED
60.00
KILLED
60.00
YES
1.19
YES
1.25
YES
1.62
YES
1.49
YES
1.09
YES
1.06
YES
9.38
YES
9.53
KILLED
60.00
KILLED
60.00
YES
1.99
YES
2.14
YES
1.81
YES
1.75
YES
1.73
YES
1.88
YES
8.78
YES
8.64
YES
2.29
YES
2.63
YES
9.73
YES
9.48
NO
1.90
NO
1.79
YES
2.36
YES
2.46
YES
8.60
YES
8.87
YES
1.08
YES
1.10
YES
17.54
YES
17.88
YES
1.87
YES
2.03
KILLED
60.00
KILLED
60.00
YES
1.23
YES
1.36
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.91
NO
0.97
YES
1.23
YES
1.18
YES
1.70
YES
1.77
YES
1.09
YES
1.16
YES
1.78
YES
2.06
YES
2.58
YES
3.07
NO
0.92
NO
0.91
YES
1.15
YES
1.12
KILLED
60.00
KILLED
60.00
NO
2.30
NO
2.53
YES
1.31
YES
1.44
YES
2.63
YES
3.21
NO
1.22
NO
1.22
NO
1.50
NO
1.58
KILLED
60.00
KILLED
60.00
NO
1.56
NO
1.61
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
1.32
NO
1.40
NO
1.46
NO
1.55
YES
1.17
YES
1.18
YES
0.98
YES
1.04
YES
0.99
YES
0.99
YES
0.97
YES
0.99
NO
1.05
NO
1.06
YES
0.96
YES
0.98
YES
3.15
YES
3.27
KILLED
60.00
YES
2.72
YES
1.42
YES
1.43
YES
3.08
YES
6.55
NO
0.93
NO
0.92
YES
1.27
YES
1.21
YES
36.41
YES
36.42
YES
1.03
YES
1.03
YES
1.10
YES
1.14
YES
1.47
YES
1.63
NO
1.15
NO
1.11
YES
1.03
YES
1.10
YES
1.20
YES
1.28
YES
0.98
YES
1.02
YES
0.98
YES
1.03
YES
1.10
YES
1.13
YES
1.03
YES
0.97
YES
0.97
YES
0.98
YES
3.19
YES
3.20
KILLED
60.00
KILLED
60.00
YES
1.27
YES
1.25
YES
3.54
YES
3.27
NO
1.57
NO
1.61
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.91
NO
0.95
NO
1.41
NO
1.41
YES
26.43
YES
25.99
NO
1.22
NO
1.22
NO
2.75
NO
2.71
KILLED
60.00
KILLED
60.00
NO
1.24
NO
1.12
NO
1.37
NO
1.33
KILLED
60.00
KILLED
60.00
YES
2.03
YES
1.76
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.92
NO
0.92
YES
1.12
YES
1.21
YES
2.85
YES
3.01
NO
2.11
NO
2.15
YES
1.97
YES
2.13
YES
3.80
YES
4.73
NO
0.93
NO
0.93
NO
2.04
NO
2.14
YES
4.15
YES
4.13
NO
1.19
NO
1.26
YES
0.98
YES
0.98
YES
1.32
YES
1.42
NO
1.17
NO
1.15
NO
1.23
NO
1.34
YES
1.27
YES
1.19
YES
0.97
YES
0.99
YES
0.97
YES
0.98
YES
1.85
YES
1.92
YES
0.91
YES
0.97
YES
1.03
YES
0.96
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
5.42
NO
6.24
KILLED
60.00
KILLED
60.00
NO
1.08
NO
1.13
KILLED
60.00
KILLED
60.00
YES
24.77
YES
24.54
NO
1.26
NO
1.32
NO
1.43
NO
1.50
NO
3.36
NO
3.87
NO
1.06
NO
1.11
NO
1.28
NO
1.38
YES
0.98
YES
1.02
YES
1.92
YES
1.95
YES
0.98
YES
1.04
YES
4.25
YES
4.88
YES
0.98
YES
0.97
YES
1.03
YES
0.98
YES
4.01
YES
4.02
KILLED
60.00
KILLED
60.00
YES
2.30
YES
2.54
YES
8.06
YES
8.97
YES
1.15
YES
1.15
KILLED
60.00
YES
6.02
YES
4.14
YES
4.30
YES
2.00
YES
1.50
YES
2.97
YES
3.20
YES
7.38
YES
6.73
YES
1.15
YES
1.19
YES
1.20
YES
1.19
YES
3.38
YES
3.56
YES
1.91
YES
3.02
YES
1.66
YES
2.05
YES
4.51
YES
9.02
YES
1.08
YES
1.10
YES
1.43
YES
1.43
KILLED
60.00
KILLED
60.00
YES
1.10
YES
1.13
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.92
NO
0.98
YES
1.09
YES
1.10
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.98
NO
0.95
KILLED
60.00
KILLED
60.00
YES
3.52
YES
3.60
KILLED
60.00
KILLED
60.00
YES
3.38
YES
4.50
YES
6.14
YES
6.97
YES
1.10
YES
1.19
NO
1.54
NO
1.61
YES
1.28
YES
1.38
NO
2.25
NO
2.46
YES
1.25
YES
1.44
YES
1.66
YES
1.87
YES
0.91
YES
0.97
NO
1.39
NO
1.65
YES
2.29
YES
2.39
YES
1.33
YES
1.33
YES
1.49
YES
1.44
YES
3.09
YES
3.10
YES
0.97
YES
0.97
YES
1.26
YES
1.26
KILLED
60.00
KILLED
60.00
YES
2.25
YES
2.33
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.93
NO
0.96
YES
1.39
YES
1.25
KILLED
60.00
KILLED
60.00
YES
1.09
YES
1.09
KILLED
60.00
YES
2.98
KILLED
60.00
KILLED
60.00
NO
0.92
NO
0.97
YES
1.08
YES
1.08
YES
1.91
YES
1.56
YES
1.15
YES
1.08
YES
1.22
YES
1.17
YES
1.37
YES
1.43
NO
0.91
NO
0.91
YES
1.09
YES
1.09
YES
3.05
YES
3.20
KILLED
60.00
KILLED
60.00
YES
2.85
YES
3.19
YES
5.27
YES
7.28
NO
0.92
NO
0.92
YES
1.45
YES
1.44
KILLED
60.00
KILLED
60.00
NO
6.48
NO
5.18
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.91
NO
0.92
NO
6.15
NO
6.50
KILLED
60.00
KILLED
60.00
YES
1.14
YES
1.15
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.91
NO
0.92
YES
1.20
YES
1.15
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.92
NO
0.97
KILLED
60.00
KILLED
60.00
YES
5.06
YES
5.39
NO
4.49
NO
4.92
YES
3.19
YES
2.90
YES
10.21
YES
10.41
NO
0.91
NO
0.92
NO
2.38
NO
2.52
YES
1.73
YES
1.89
YES
1.28
YES
1.27
YES
1.31
YES
1.32
YES
2.70
YES
2.40
NO
0.91
NO
0.91
YES
1.15
YES
1.09
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.93
NO
0.93
NO
8.87
NO
9.13
YES
1.78
YES
1.93
YES
1.15
YES
1.10
YES
2.37
YES
2.29
YES
6.05
YES
5.55
NO
0.93
NO
0.92
YES
1.09
YES
1.14
YES
1.29
YES
1.50
NO
1.20
NO
1.33
YES
0.97
YES
0.97
YES
0.98
YES
1.04
YES
0.92
YES
0.98
NO
1.22
NO
1.21
YES
2.41
YES
2.46
YES
1.88
YES
1.87
YES
1.76
YES
1.69
YES
2.57
YES
3.32
YES
1.03
YES
1.10
YES
1.28
YES
1.26
KILLED
60.00
KILLED
60.00
YES
1.41
YES
1.49
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.93
NO
0.92
YES
1.14
YES
1.19
KILLED
60.00
KILLED
60.00
YES
1.15
YES
1.20
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.89
NO
0.91
YES
1.13
YES
1.19
YES
3.22
YES
3.45
KILLED
60.00
KILLED
60.00
YES
3.47
YES
3.64
YES
3.76
YES
4.76
YES
1.21
YES
1.14
YES
1.73
YES
1.89
KILLED
60.00
KILLED
60.00
NO
1.19
NO
1.16
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
1.16
NO
1.16
NO
1.14
NO
1.22
YES
18.70
YES
19.32
NO
1.28
NO
1.43
YES
1.23
YES
1.29
YES
1.66
YES
1.78
NO
1.12
NO
1.15
NO
1.27
NO
1.37
KILLED
60.00
KILLED
60.00
YES
1.27
YES
1.26
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.97
NO
0.93
YES
1.24
YES
1.25
YES
0.97
YES
0.98
YES
0.96
YES
1.00
YES
0.98
YES
1.05
YES
2.96
YES
2.50
YES
0.91
YES
0.98
NO
1.21
NO
1.22
YES
3.29
YES
3.49
NO
3.96
NO
3.93
YES
2.35
YES
2.29
YES
3.73
YES
3.98
NO
0.97
NO
0.92
NO
2.59
NO
2.81
YES
3.14
YES
2.95
NO
4.23
NO
4.47
YES
1.77
YES
1.67
YES
4.72
YES
4.85
NO
0.92
NO
0.92
NO
2.47
NO
2.71
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.91
NO
0.98
NO
2.69
NO
3.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.91
NO
0.91
NO
1.66
NO
1.72
YES
2.28
YES
2.34
YES
1.33
YES
1.33
YES
1.51
YES
1.60
YES
3.86
YES
4.00
YES
0.96
YES
1.04
YES
1.16
YES
1.14
YES
4.57
YES
4.75
YES
1.53
YES
1.77
YES
3.29
YES
3.71
YES
5.96
YES
7.18
YES
1.22
YES
1.27
YES
1.32
YES
1.21
KILLED
60.00
KILLED
60.00
YES
1.17
YES
1.19
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.93
NO
0.98
YES
1.20
YES
1.21
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
YES
8.58
YES
8.11
KILLED
60.00
KILLED
60.00
NO
0.94
NO
1.04
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
YES
9.98
YES
10.79
KILLED
60.00
KILLED
60.00
NO
0.94
NO
0.97
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
10.85
NO
10.45
YES
2.18
YES
2.25
KILLED
60.00
KILLED
60.00
NO
0.93
NO
0.97
KILLED
60.00
KILLED
60.00
NO
11.15
NO
11.82
YES
2.83
YES
2.73
YES
15.96
YES
17.87
NO
0.92
NO
0.92
NO
7.26
NO
7.89
NO
10.52
NO
10.52
KILLED
60.00
KILLED
60.00
NO
1.49
NO
1.48
NO
1.78
NO
1.72
NO
5.97
NO
6.78
NO
0.92
NO
0.91
KILLED
60.00
KILLED
60.00
NO
1.72
NO
1.78
NO
2.47
NO
2.60
KILLED
60.00
KILLED
60.00
NO
0.93
NO
0.92
NO
1.71
NO
1.91
NO
1.50
NO
1.41
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.94
NO
0.98
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
1.03
NO
1.06
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.99
NO
0.98
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.93
NO
0.98
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
YES
1.57
YES
1.50
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.93
NO
0.98
KILLED
60.00
KILLED
60.00
YES
1.90
YES
1.77
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.98
NO
0.94
YES
2.07
YES
1.89
YES
1.23
YES
1.28
YES
9.76
YES
9.74
YES
6.16
YES
7.38
KILLED
60.00
KILLED
60.00
YES
12.72
YES
12.45
NO
0.93
NO
0.97
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.94
NO
0.96
KILLED
60.00
KILLED
60.00
YES
7.08
YES
8.31
YES
5.16
YES
5.85
YES
3.18
YES
3.22
YES
3.86
YES
4.22
YES
5.70
YES
6.37
NO
0.92
NO
0.92
KILLED
60.00
KILLED
60.00
YES
3.96
YES
4.38
YES
6.30
YES
6.80
KILLED
60.00
KILLED
60.00
NO
0.93
NO
0.92
YES
3.76
YES
3.88
YES
2.91
YES
3.20
YES
2.87
YES
3.09
YES
1.08
YES
1.14
YES
2.32
YES
2.41
YES
3.58
YES
3.37
NO
0.92
NO
0.91
KILLED
60.00
KILLED
60.00
YES
1.26
YES
1.30
YES
3.37
YES
3.46
YES
7.32
YES
7.84
NO
0.91
NO
0.91
YES
1.32
YES
1.30
YES
1.21
YES
1.19
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.98
NO
0.94
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.98
NO
0.96
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
0.93
NO
0.93
KILLED
60.00
KILLED
60.00
NO
17.25
NO
18.91
YES
7.56
YES
6.78
KILLED
60.00
KILLED
60.00
NO
0.93
NO
0.94
NO
14.28
NO
15.97
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
NO
1.90
NO
1.98
NO
2.81
NO
2.82
NO
13.40
NO
14.99
NO
0.93
NO
0.91
KILLED
60.00
KILLED
60.00
NO
2.43
NO
2.53
NO
6.83
NO
5.98
KILLED
60.00
KILLED
60.00
NO
0.96
NO
0.91
NO
2.25
NO
2.35
NO
1.78
NO
1.88
YES
11.14
YES
11.34
YES
6.17
YES
5.66
YES
9.33
YES
10.88
YES
50.11
YES
42.44
NO
0.92
NO
0.93
KILLED
60.00
KILLED
60.00
YES
5.65
YES
5.34
YES
9.88
YES
13.61
KILLED
60.00
KILLED
60.00
NO
19.10
NO
20.65
YES
4.67
YES
5.78
YES
3.29
YES
3.72
YES
2.61
YES
2.69
YES
1.83
YES
1.83
YES
2.16
YES
2.27
YES
2.34
YES
2.36
NO
0.92
NO
0.92
YES
4.30
YES
4.28
YES
1.91
YES
1.84
YES
2.18
YES
2.24
YES
3.24
YES
3.28
NO
3.71
NO
3.83
YES
1.83
YES
1.78
YES
2.07
YES
2.09
YES
1.66
YES
1.67
YES
1.09
YES
1.10
YES
1.53
YES
1.48
YES
1.45
YES
1.55
NO
0.97
NO
0.92
YES
1.76
YES
1.89
YES
1.14
YES
1.19
YES
1.66
YES
1.57
YES
1.56
YES
1.49
YES
1.08
YES
1.15
YES
1.20
YES
1.13
YES
1.06
YES
1.09
YES
5.86
YES
5.65
YES
3.53
YES
3.96
YES
4.04
YES
7.84
YES
17.16
YES
19.60
NO
0.96
NO
0.97
KILLED
60.00
KILLED
60.00
YES
7.57
YES
7.71
YES
4.20
YES
4.66
YES
38.95
YES
39.90
NO
0.92
NO
0.97
YES
7.22
YES
7.19
YES
5.65
YES
5.32
YES
3.35
YES
3.41
YES
2.23
YES
2.58
YES
3.10
YES
3.53
YES
6.95
YES
6.42
NO
0.90
NO
0.93
KILLED
60.00
KILLED
60.00
YES
2.17
YES
2.30
YES
2.85
YES
2.76
YES
11.47
YES
11.74
NO
0.91
NO
0.91
YES
1.87
YES
1.89
YES
2.79
YES
2.91
YES
1.83
YES
1.90
YES
1.09
YES
1.09
YES
1.38
YES
1.36
YES
1.62
YES
1.66
NO
0.92
NO
0.92
YES
1.72
YES
1.72
YES
1.23
YES
1.26
YES
1.46
YES
1.47
YES
1.75
YES
1.74
NO
0.91
NO
0.92
YES
1.26
YES
1.22
YES
1.03
YES
1.06
YES
1.02
YES
0.99
YES
0.96
YES
0.98
KILLED
60.00
KILLED
60.00
KILLED
60.00
KILLED
60.00
YES
1.15
YES
1.20
YES
1.02
YES
1.04
KILLED
60.00
KILLED
60.00
YES
1.12
YES
1.20
YES
1.66
YES
1.72
YES
1.08
YES
1.06
YES
1.31
YES
1.42
YES
1.59
YES
1.53
YES
2.68
YES
2.73
YES
1.29
YES
1.26
YES
1.12
YES
1.09
YES
1.30
YES
1.32
YES
0.96
YES
0.96
YES
1.39
YES
1.46
YES
0.98
YES
1.02
YES
1.08
YES
1.09
YES
1.28
YES
1.27
YES
1.04
YES
1.11
YES
1.16
YES
1.24
YES
1.09
YES
1.03
YES
15.31
YES
15.87
YES
14.79
YES
15.61
YES
1.32
YES
1.36
YES
1.43
YES
1.49
YES
8.32
YES
8.35
MAYBE
19.59
MAYBE
19.08
NO
1.60
NO
1.73
MAYBE
32.51
MAYBE
34.21
MAYBE
15.46
MAYBE
15.91
NO
1.46
NO
1.56
MAYBE
16.89
MAYBE
16.72
NO
1.54
NO
1.62
MAYBE
15.96
MAYBE
16.69
KILLED
60.00
KILLED
60.00
NO
1.86
NO
2.13
YES
1.14
YES
1.20
YES
1.17
YES
1.20
YES
9.02
YES
8.83
YES
2.06
YES
1.83
YES
1.99
YES
2.00
YES
1.11
YES
1.14
YES
1.12
YES
1.08
YES
1.09
YES
1.15
YES
1.08
YES
1.17
YES
1.18
YES
1.10
YES
1.10
YES
1.14
YES
1.09
YES
1.14
YES
1.08
YES
1.14
YES
1.21
YES
1.20
YES
1.10
YES
1.12
YES
1.08
YES
1.08
YES
1.33
YES
1.30
YES
1.10
YES
1.07
YES
1.16
YES
1.24
YES
1.10
YES
1.09
YES
1.15
YES
1.14
YES
1.08
YES
1.19
YES
1.16
YES
1.13
YES
1.14
YES
1.14
YES
1.09
YES
1.20
YES
1.14
YES
1.14
YES
1.16
YES
1.09
YES
1.15
YES
1.19
YES
1.16
YES
1.13
YES
1.14
YES
1.15
YES
1.15
YES
1.15
YES
1.09
YES
1.09
YES
1.14
YES
1.19
YES
1.15
YES
1.14
YES
1.10
YES
1.22
YES
1.15
YES
1.19
YES
1.09
YES
1.19
YES
1.18
YES
1.14
YES
1.03
YES
1.09
YES
1.34
YES
1.35
YES
1.09
YES
1.09
YES
1.15
YES
1.08
YES
1.09
YES
1.14
YES
1.09
YES
1.20
YES
1.14
YES
1.08
YES
1.15
YES
1.08
YES
1.14
YES
1.20
YES
1.04
YES
1.03
YES
1.08
YES
1.02
YES
1.20
YES
1.25
YES
1.18
YES
1.20
YES
2.86
YES
3.11
YES
1.37
YES
1.31
YES
1.14
YES
1.08
YES
1.28
YES
1.25
YES
1.14
YES
1.15
YES
1.56
YES
1.66
YES
1.20
YES
1.25
KILLED
60.00
YES
3.63
KILLED
60.00
YES
1.80
YES
1.33
YES
1.39
YES
1.43
YES
1.38
YES
1.21
YES
1.22
YES
1.20
YES
1.20
YES
1.14
YES
1.14
YES
1.14
YES
1.15
KILLED
60.00
KILLED
60.00
YES
1.14
YES
1.13
YES
15.38
YES
15.91
KILLED
60.00
KILLED
60.00
YES
19.38
YES
19.03
YES
18.38
YES
18.19
YES
1.15
YES
1.14
YES
1.33
YES
1.34
YES
1.23
YES
1.33
YES
2.11
YES
2.10
YES
8.74
YES
8.39
YES
1.72
YES
1.90
YES
1.24
YES
1.26
YES
1.49
YES
1.55
KILLED
60.00
KILLED
60.00
YES
1.84
YES
2.02
YES
1.71
YES
1.76
MAYBE
28.62
MAYBE
29.10
YES
3.22
YES
3.79
KILLED
60.00
KILLED
60.00
YES
1.33
YES
1.37