AlgorithmOrderTr.YNFTO
AProVE 07AProVE 07AProVE 07899 [2.7]224 [2.1]18 [20.0]217
AProVE MAXAProVE MAXAProVE MAX916 [2.8]224 [2.2]18 [20.3]200

ExampleAProVE 07AProVE MAX
YES2.28YES2.69
YES1.35YES1.27
YES1.78YES1.67
YES1.12YES1.14
YES1.20YES1.31
YES1.16YES1.09
YES1.57YES1.55
YES1.61YES1.63
YES1.36YES1.39
YES1.61YES1.88
YES1.25YES1.27
YES1.21YES1.14
YES1.32YES1.33
YES1.03YES1.03
YES0.98YES0.97
YES0.97YES0.92
YES0.98YES1.08
YES1.20YES1.32
YES1.09YES1.09
YES1.05YES0.97
YES0.98YES0.99
YES1.31YES1.36
YES1.14YES1.19
YES1.66YES1.46
YES1.28YES1.44
YES1.72YES1.65
YES1.28YES1.16
YES1.25YES1.33
YES1.06YES1.09
YES1.04YES1.09
YES1.26YES1.31
YES1.36YES1.35
YES0.98YES0.97
YES1.05YES1.04
YES1.03YES1.03
YES0.99YES1.02
YES1.60YES1.60
YES1.58YES1.66
YES1.90YES2.03
YES1.28YES1.25
YES1.68YES1.61
YES1.44YES1.38
YES1.77YES1.55
YES1.43YES1.38
YES1.38YES1.74
YES1.62YES2.01
YES1.55YES1.45
YES0.93YES1.04
YES1.50YES1.51
YES1.90YES1.96
YES4.36YES4.46
YES35.31YES35.73
YES12.90YES13.68
YES1.84YES1.66
YES1.09YES1.09
YES1.15YES1.09
YES1.45YES1.73
YES1.77YES1.95
YES1.31YES1.32
YES2.06YES2.45
YES1.67YES1.86
YES1.08YES1.21
YES1.18YES1.26
YES26.02YES26.14
YES3.08YES3.30
YES8.21YES8.06
YES1.30YES1.54
YES16.58YES14.23
YES21.27YES21.39
YES1.94YES1.94
YES2.00YES1.95
YES1.26YES1.32
YES1.20YES1.19
YES1.04YES1.04
YES1.15YES1.08
YES2.00YES2.03
YES1.78YES1.79
YES1.68YES1.78
YES3.84YES3.86
KILLED60.00KILLED60.00
YES1.57YES1.61
YES13.00YES13.03
YES12.60YES12.62
YES2.10YES2.17
YES14.43YES14.25
YES1.54YES1.60
YES1.60YES1.62
YES14.15YES18.13
YES1.28YES1.32
YES3.38YES3.35
YES8.09YES8.31
YES1.48YES1.54
YES1.48YES1.44
YES1.37YES1.43
YES12.30YES12.93
YES2.32YES2.28
YES3.23YES3.24
YES1.44YES1.41
YES3.69YES3.40
YES1.14YES1.11
YES1.19YES1.20
YES1.07YES1.14
NO1.48NO1.47
YES2.28YES2.28
YES1.20YES1.20
YES1.01YES1.03
YES2.00YES1.97
YES1.43YES1.44
YES1.83YES1.82
YES1.56YES1.62
YES1.27YES1.39
YES1.20YES1.25
YES1.20YES1.19
YES1.50YES1.50
YES1.36YES1.39
YES1.42YES1.38
YES1.16YES1.16
YES1.92YES1.91
YES1.32YES1.35
KILLED60.00KILLED60.00
YES6.59YES6.61
YES1.40YES1.66
YES1.54YES1.63
YES1.49YES1.60
YES1.99YES1.93
YES2.34YES2.21
YES3.23YES3.08
YES2.51YES2.87
YES1.49YES1.50
YES2.04YES1.84
YES1.55YES1.64
YES1.72YES1.99
YES1.38YES1.32
YES1.79YES1.71
YES1.36YES1.33
YES1.87YES1.96
YES1.84YES1.92
YES2.33YES2.38
YES1.44YES1.50
YES1.37YES1.39
YES1.32YES1.31
YES3.42YES3.24
YES2.42YES2.56
YES2.16YES2.22
YES2.12YES1.94
MAYBE0.80MAYBE0.86
YES1.42YES1.42
YES1.38YES1.39
YES1.44YES1.48
YES2.03YES2.00
YES1.50YES1.61
YES7.12YES7.31
YES1.56YES1.55
YES1.44YES1.44
YES1.50YES1.55
YES1.64YES1.67
YES2.29YES2.56
YES1.82YES2.39
MAYBE52.96MAYBE54.08
YES1.49YES1.60
KILLED60.00KILLED60.00
YES1.35YES1.64
YES2.72YES2.63
YES1.60YES1.77
MAYBE0.85MAYBE0.81
YES1.05YES1.08
YES0.92YES0.92
YES0.92YES0.97
YES1.03YES0.97
YES0.92YES0.97
YES1.15YES1.15
YES1.09YES1.04
YES1.32YES1.26
YES1.21YES1.16
YES7.67YES7.39
YES1.10YES1.10
YES1.04YES1.07
YES1.28YES1.27
YES1.14YES1.20
YES1.03YES1.15
YES1.09YES1.08
YES1.75YES2.00
YES1.09YES1.10
YES1.21YES1.25
MAYBE38.94MAYBE38.57
YES1.45YES1.44
YES10.15YES9.59
YES1.70YES1.73
KILLED60.00KILLED60.00
MAYBE33.34MAYBE32.58
YES1.51YES2.08
YES1.54YES1.95
YES13.34YES13.55
YES1.62YES1.68
KILLED60.00KILLED60.00
YES1.44YES1.43
KILLED60.00KILLED60.00
NO1.49NO1.49
YES1.09YES1.13
NO1.60NO1.74
YES1.20YES1.15
YES1.10YES1.08
YES1.20YES1.15
YES1.15YES1.20
YES1.32YES1.38
YES21.58YES21.74
YES19.98YES19.78
YES1.26YES1.37
YES1.42YES1.32
YES1.14YES1.22
YES1.08YES1.07
YES1.28YES1.28
YES1.02YES1.03
YES1.02YES1.03
YES1.14YES1.08
YES1.31YES1.22
YES1.17YES1.15
YES1.02YES1.11
YES1.11YES1.18
YES1.02YES1.03
YES1.08YES1.14
YES1.28YES1.21
YES1.12YES1.15
YES1.25YES1.20
KILLED60.00KILLED60.00
YES1.52YES1.79
YES1.44YES1.45
NO5.83NO6.67
YES1.35YES1.37
YES1.14YES1.20
NO1.97NO2.20
YES1.07YES1.09
NO2.57NO3.00
NO1.62NO1.62
YES1.42YES1.39
YES1.08YES1.03
NO3.82NO4.28
NO2.48NO2.36
YES1.33YES1.34
YES1.23YES1.26
YES1.55YES1.53
YES1.18YES1.20
YES1.26YES1.28
YES1.08YES1.11
YES1.56YES1.67
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
YES1.31YES1.39
YES1.14YES1.19
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
YES1.13YES1.14
KILLED60.00YES27.31
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO1.34NO1.10
NO1.04NO1.02
NO1.12NO1.05
NO1.05NO1.06
NO1.03NO1.10
NO1.18NO1.18
NO1.12NO1.41
YES1.78YES1.70
YES1.54YES1.69
YES1.35YES1.39
YES1.54YES1.68
YES1.13YES1.43
YES3.14YES3.12
YES1.03YES1.03
YES1.11YES1.08
YES1.29YES1.26
YES3.55YES3.63
YES1.11YES1.11
YES1.06YES1.09
YES1.31YES1.36
YES1.39YES1.60
YES1.36YES1.39
YES1.13YES1.14
YES1.32YES1.46
YES1.13YES1.14
YES1.25YES1.31
YES1.08YES1.08
MAYBE15.29MAYBE15.77
KILLED60.00KILLED60.00
YES12.23YES2.25
YES1.11YES1.08
YES1.05YES1.08
YES1.03YES1.02
YES1.03YES1.08
YES1.08YES1.08
NO1.48NO1.44
NO3.44NO3.54
NO1.22NO1.29
NO1.28NO1.35
NO1.32NO1.33
NO1.33NO1.35
NO1.15NO1.42
KILLED60.00KILLED60.00
YES0.93YES0.98
YES0.98YES0.94
YES1.03YES0.98
YES1.08YES1.11
YES1.22YES1.38
YES1.08YES1.04
YES1.83YES1.96
YES1.14YES1.21
YES1.22YES1.22
YES1.82YES1.83
NO1.44NO1.43
YES1.32YES1.37
YES6.67YES6.66
YES9.54YES9.43
YES2.94YES3.19
YES2.79YES3.04
YES1.05YES1.08
YES1.50YES1.42
YES1.25YES1.27
YES2.64YES2.33
YES2.36YES1.97
YES1.25YES1.28
YES1.14YES1.15
NO1.16NO1.22
NO1.21NO1.26
NO1.28NO1.35
NO1.16NO1.17
NO1.54NO1.56
NO1.16NO1.18
NO1.22NO1.21
NO1.14NO1.22
NO1.44NO1.57
YES1.15YES1.09
NO1.66NO1.66
NO1.56NO1.56
NO1.56NO1.62
NO1.62NO1.63
NO1.72NO1.69
NO1.34NO1.45
NO1.15NO1.15
NO1.56NO1.66
NO1.16NO1.17
NO1.26NO1.32
NO1.67NO1.72
NO1.66NO1.67
NO1.65NO1.55
NO1.73NO1.68
NO1.94NO2.06
NO4.64NO5.24
NO1.71NO1.79
NO1.77NO1.65
NO1.59NO1.58
NO1.42NO1.50
YES1.14YES1.22
NO1.46NO1.51
NO1.67NO1.72
NO1.67NO1.67
NO1.99NO1.98
NO1.56NO1.68
NO1.19NO1.13
NO1.55NO1.61
NO1.56NO1.61
NO1.25NO1.39
NO1.85NO1.92
NO1.72NO1.66
NO1.21NO1.16
NO1.61NO1.72
NO1.56NO1.62
NO2.36NO2.22
NO1.67NO1.75
NO1.22NO1.22
KILLED60.00KILLED60.00
NO1.16NO1.17
NO1.20NO1.24
NO1.90NO1.92
NO1.24NO1.45
NO3.23NO3.35
NO13.84NO14.89
YES1.20YES1.20
NO1.42NO1.47
NO1.15NO1.16
NO1.73NO1.76
YES1.03YES0.97
YES1.14YES1.25
YES1.03YES1.12
YES1.25YES1.25
YES1.36YES1.33
YES1.61YES1.38
YES1.83YES1.72
YES1.66YES1.44
YES0.96YES1.04
YES1.20YES1.32
YES1.09YES1.09
YES1.05YES1.08
YES0.97YES0.98
YES1.39YES1.67
YES2.19YES2.63
YES1.02YES1.03
YES1.06YES1.09
YES1.11YES1.05
YES0.98YES0.98
YES1.25YES1.26
YES1.13YES1.10
YES1.78YES1.86
YES1.32YES1.34
YES1.78YES1.84
YES2.54YES2.41
YES1.19YES1.25
YES1.14YES1.15
YES2.90YES2.97
YES1.48YES1.48
YES1.42YES1.53
MAYBE15.20MAYBE15.55
YES1.64YES1.86
YES2.01YES1.99
YES2.05YES2.40
YES2.90YES3.02
YES1.47YES1.49
YES1.55YES1.61
YES1.53YES1.59
KILLED60.00KILLED60.00
YES1.62YES1.66
YES4.48YES4.80
YES2.36YES2.34
YES1.61YES1.61
KILLED60.00KILLED60.00
YES3.13YES3.16
YES2.07YES2.94
YES2.20YES2.98
YES1.86YES2.00
YES9.64YES8.35
YES1.54YES1.81
YES2.07YES1.99
YES1.72YES1.81
YES1.44YES1.54
YES2.20YES2.22
YES1.66YES1.63
YES2.33YES2.32
YES1.39YES1.45
YES1.89YES1.87
YES1.75YES1.81
YES1.90YES1.96
YES1.50YES1.72
YES1.87YES1.98
YES2.20YES2.42
YES1.99YES1.86
YES3.24YES2.66
YES1.57YES1.64
YES13.65YES13.30
YES1.45YES1.49
YES4.14YES3.73
YES3.73YES3.61
YES1.69YES1.86
YES8.95YES8.88
YES1.57YES1.69
YES2.48YES2.86
YES1.72YES1.86
YES2.54YES2.57
YES3.14YES3.13
YES1.39YES1.44
YES3.24YES3.07
YES2.57YES2.39
YES3.05YES3.45
YES1.89YES2.02
YES1.76YES1.86
KILLED60.00KILLED60.00
YES2.46YES2.75
YES1.61YES1.65
YES1.72YES1.65
YES1.59YES1.75
KILLED60.00KILLED60.00
YES1.47YES1.54
KILLED60.00KILLED60.00
YES17.02YES17.28
KILLED60.00KILLED60.00
YES4.47YES4.90
YES2.62YES2.58
YES3.97YES4.11
YES37.71YES42.27
YES2.59YES3.12
YES7.11YES7.32
KILLED60.00KILLED60.00
YES1.90YES2.04
YES2.86YES2.29
KILLED60.00KILLED60.00
YES1.65YES1.67
KILLED60.00YES3.56
KILLED60.00YES4.33
KILLED60.00YES4.28
KILLED60.00YES3.61
KILLED60.00YES4.22
KILLED60.00KILLED60.00
KILLED60.00YES3.42
KILLED60.00YES4.12
KILLED60.00YES5.09
KILLED60.00YES5.10
YES2.80YES2.51
YES3.30YES3.08
YES29.37YES27.32
YES1.94YES1.90
YES1.91YES2.06
KILLED60.00YES8.29
YES9.66YES16.41
KILLED60.00KILLED60.00
NO1.15NO1.25
YES9.82YES12.12
YES1.56YES1.77
YES1.06YES1.14
YES1.15YES1.19
YES7.46YES7.44
MAYBE8.36MAYBE8.68
YES1.79YES1.84
YES1.61YES1.64
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO1.66NO1.77
NO1.50NO1.54
KILLED60.00KILLED60.00
MAYBE3.04MAYBE3.30
MAYBE4.04MAYBE4.04
MAYBE2.85MAYBE3.04
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00YES2.59
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
YES1.79YES1.93
YES3.03YES2.92
YES1.43YES1.43
YES4.54YES4.44
YES1.82YES1.95
YES8.03YES7.96
YES2.18YES2.45
YES1.84YES1.86
YES2.48YES2.36
YES2.45YES2.58
YES3.96YES3.99
YES3.77YES3.99
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
YES1.63YES1.54
MAYBE55.16MAYBE55.77
YES1.75YES1.83
YES1.89YES1.90
YES1.46YES1.39
YES1.54YES1.54
YES1.65YES1.64
YES1.58YES1.60
YES1.70YES1.82
YES1.21YES1.20
YES7.91YES7.94
YES1.59YES1.73
YES1.89YES1.91
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
YES1.84YES1.68
YES1.14YES1.14
YES1.08YES1.09
YES1.07YES1.08
YES1.04YES1.04
NO2.06NO1.96
YES1.14YES1.08
YES1.09YES1.13
YES1.15YES1.20
YES1.03YES1.04
YES1.30YES1.33
YES1.04YES1.15
YES1.14YES1.14
YES1.24YES1.26
YES1.16YES1.20
YES1.10YES1.09
YES1.09YES1.13
YES1.08YES1.08
YES1.10YES1.08
YES1.20YES1.14
YES1.08YES1.09
YES1.12YES1.10
YES1.18YES1.15
YES1.15YES1.20
YES1.03YES1.03
YES1.13YES1.14
YES1.34YES1.23
YES1.20YES1.20
YES1.03YES1.03
YES1.12YES1.14
YES1.16YES1.14
YES1.04YES1.08
YES1.23YES1.27
YES1.14YES1.14
YES1.27YES1.36
YES1.09YES1.08
YES1.05YES1.10
YES1.04YES1.08
YES1.03YES1.09
YES1.37YES1.29
YES1.10YES1.14
YES1.10YES1.12
YES1.15YES1.15
YES1.15YES1.20
YES1.28YES1.25
YES1.14YES1.14
YES0.97YES0.97
YES0.92YES1.03
YES0.98YES0.98
YES0.98YES1.03
YES0.97YES0.95
YES1.08YES1.10
YES1.33YES1.30
YES1.07YES1.09
YES1.04YES1.07
YES1.08YES1.09
YES1.04YES1.05
YES1.01YES1.04
YES1.13YES1.14
YES1.01YES1.01
YES1.09YES1.12
YES1.19YES1.19
YES1.04YES1.09
YES1.90YES2.67
YES1.09YES1.11
YES1.01YES1.04
YES1.09YES1.14
NO1.45NO1.67
YES1.03YES1.02
YES1.04YES1.04
YES1.08YES1.12
YES1.08YES1.15
YES1.09YES1.07
YES1.09YES1.15
YES1.14YES1.18
YES1.19YES1.14
YES1.10YES1.04
YES1.26YES1.20
YES1.65YES1.59
YES1.08YES1.07
YES1.03YES1.08
YES1.09YES1.14
YES1.14YES1.08
YES1.10YES1.11
YES1.08YES1.08
YES1.38YES1.64
YES1.03YES1.10
YES1.26YES1.26
YES1.25YES1.28
YES1.20YES1.20
YES1.22YES1.21
YES1.38YES1.45
YES1.08YES1.13
YES1.84YES1.83
YES0.91YES0.97
NO1.08NO1.12
YES0.97YES0.98
YES0.98YES0.97
YES0.92YES0.92
YES1.08YES1.12
YES1.03YES1.08
NO2.94NO3.26
YES1.09YES1.10
YES1.14YES1.09
YES1.20YES1.20
YES0.97YES0.97
YES1.03YES1.03
YES0.98YES1.01
YES2.21YES2.21
YES1.04YES1.02
NO1.27NO1.44
YES0.99YES1.04
YES1.21YES1.28
YES1.07YES1.15
YES1.09YES1.09
NO2.67NO4.80
YES1.04YES1.03
YES1.08YES1.02
YES1.14YES1.14
YES1.17YES1.19
YES1.31YES1.21
YES1.38YES1.50
YES1.03YES1.02
KILLED60.00KILLED60.00
YES1.19YES1.25
YES1.62YES1.49
YES1.09YES1.06
YES9.38YES9.53
KILLED60.00KILLED60.00
YES1.99YES2.14
YES1.81YES1.75
YES1.73YES1.88
YES8.78YES8.64
YES2.29YES2.63
YES9.73YES9.48
NO1.90NO1.79
YES2.36YES2.46
YES8.60YES8.87
YES1.08YES1.10
YES17.54YES17.88
YES1.87YES2.03
KILLED60.00KILLED60.00
YES1.23YES1.36
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.91NO0.97
YES1.23YES1.18
YES1.70YES1.77
YES1.09YES1.16
YES1.78YES2.06
YES2.58YES3.07
NO0.92NO0.91
YES1.15YES1.12
KILLED60.00KILLED60.00
NO2.30NO2.53
YES1.31YES1.44
YES2.63YES3.21
NO1.22NO1.22
NO1.50NO1.58
KILLED60.00KILLED60.00
NO1.56NO1.61
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO1.32NO1.40
NO1.46NO1.55
YES1.17YES1.18
YES0.98YES1.04
YES0.99YES0.99
YES0.97YES0.99
NO1.05NO1.06
YES0.96YES0.98
YES3.15YES3.27
KILLED60.00YES2.72
YES1.42YES1.43
YES3.08YES6.55
NO0.93NO0.92
YES1.27YES1.21
YES36.41YES36.42
YES1.03YES1.03
YES1.10YES1.14
YES1.47YES1.63
NO1.15NO1.11
YES1.03YES1.10
YES1.20YES1.28
YES0.98YES1.02
YES0.98YES1.03
YES1.10YES1.13
YES1.03YES0.97
YES0.97YES0.98
YES3.19YES3.20
KILLED60.00KILLED60.00
YES1.27YES1.25
YES3.54YES3.27
NO1.57NO1.61
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.91NO0.95
NO1.41NO1.41
YES26.43YES25.99
NO1.22NO1.22
NO2.75NO2.71
KILLED60.00KILLED60.00
NO1.24NO1.12
NO1.37NO1.33
KILLED60.00KILLED60.00
YES2.03YES1.76
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.92NO0.92
YES1.12YES1.21
YES2.85YES3.01
NO2.11NO2.15
YES1.97YES2.13
YES3.80YES4.73
NO0.93NO0.93
NO2.04NO2.14
YES4.15YES4.13
NO1.19NO1.26
YES0.98YES0.98
YES1.32YES1.42
NO1.17NO1.15
NO1.23NO1.34
YES1.27YES1.19
YES0.97YES0.99
YES0.97YES0.98
YES1.85YES1.92
YES0.91YES0.97
YES1.03YES0.96
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO5.42NO6.24
KILLED60.00KILLED60.00
NO1.08NO1.13
KILLED60.00KILLED60.00
YES24.77YES24.54
NO1.26NO1.32
NO1.43NO1.50
NO3.36NO3.87
NO1.06NO1.11
NO1.28NO1.38
YES0.98YES1.02
YES1.92YES1.95
YES0.98YES1.04
YES4.25YES4.88
YES0.98YES0.97
YES1.03YES0.98
YES4.01YES4.02
KILLED60.00KILLED60.00
YES2.30YES2.54
YES8.06YES8.97
YES1.15YES1.15
KILLED60.00YES6.02
YES4.14YES4.30
YES2.00YES1.50
YES2.97YES3.20
YES7.38YES6.73
YES1.15YES1.19
YES1.20YES1.19
YES3.38YES3.56
YES1.91YES3.02
YES1.66YES2.05
YES4.51YES9.02
YES1.08YES1.10
YES1.43YES1.43
KILLED60.00KILLED60.00
YES1.10YES1.13
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.92NO0.98
YES1.09YES1.10
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.98NO0.95
KILLED60.00KILLED60.00
YES3.52YES3.60
KILLED60.00KILLED60.00
YES3.38YES4.50
YES6.14YES6.97
YES1.10YES1.19
NO1.54NO1.61
YES1.28YES1.38
NO2.25NO2.46
YES1.25YES1.44
YES1.66YES1.87
YES0.91YES0.97
NO1.39NO1.65
YES2.29YES2.39
YES1.33YES1.33
YES1.49YES1.44
YES3.09YES3.10
YES0.97YES0.97
YES1.26YES1.26
KILLED60.00KILLED60.00
YES2.25YES2.33
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.93NO0.96
YES1.39YES1.25
KILLED60.00KILLED60.00
YES1.09YES1.09
KILLED60.00YES2.98
KILLED60.00KILLED60.00
NO0.92NO0.97
YES1.08YES1.08
YES1.91YES1.56
YES1.15YES1.08
YES1.22YES1.17
YES1.37YES1.43
NO0.91NO0.91
YES1.09YES1.09
YES3.05YES3.20
KILLED60.00KILLED60.00
YES2.85YES3.19
YES5.27YES7.28
NO0.92NO0.92
YES1.45YES1.44
KILLED60.00KILLED60.00
NO6.48NO5.18
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.91NO0.92
NO6.15NO6.50
KILLED60.00KILLED60.00
YES1.14YES1.15
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.91NO0.92
YES1.20YES1.15
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.92NO0.97
KILLED60.00KILLED60.00
YES5.06YES5.39
NO4.49NO4.92
YES3.19YES2.90
YES10.21YES10.41
NO0.91NO0.92
NO2.38NO2.52
YES1.73YES1.89
YES1.28YES1.27
YES1.31YES1.32
YES2.70YES2.40
NO0.91NO0.91
YES1.15YES1.09
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.93NO0.93
NO8.87NO9.13
YES1.78YES1.93
YES1.15YES1.10
YES2.37YES2.29
YES6.05YES5.55
NO0.93NO0.92
YES1.09YES1.14
YES1.29YES1.50
NO1.20NO1.33
YES0.97YES0.97
YES0.98YES1.04
YES0.92YES0.98
NO1.22NO1.21
YES2.41YES2.46
YES1.88YES1.87
YES1.76YES1.69
YES2.57YES3.32
YES1.03YES1.10
YES1.28YES1.26
KILLED60.00KILLED60.00
YES1.41YES1.49
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.93NO0.92
YES1.14YES1.19
KILLED60.00KILLED60.00
YES1.15YES1.20
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.89NO0.91
YES1.13YES1.19
YES3.22YES3.45
KILLED60.00KILLED60.00
YES3.47YES3.64
YES3.76YES4.76
YES1.21YES1.14
YES1.73YES1.89
KILLED60.00KILLED60.00
NO1.19NO1.16
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO1.16NO1.16
NO1.14NO1.22
YES18.70YES19.32
NO1.28NO1.43
YES1.23YES1.29
YES1.66YES1.78
NO1.12NO1.15
NO1.27NO1.37
KILLED60.00KILLED60.00
YES1.27YES1.26
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.97NO0.93
YES1.24YES1.25
YES0.97YES0.98
YES0.96YES1.00
YES0.98YES1.05
YES2.96YES2.50
YES0.91YES0.98
NO1.21NO1.22
YES3.29YES3.49
NO3.96NO3.93
YES2.35YES2.29
YES3.73YES3.98
NO0.97NO0.92
NO2.59NO2.81
YES3.14YES2.95
NO4.23NO4.47
YES1.77YES1.67
YES4.72YES4.85
NO0.92NO0.92
NO2.47NO2.71
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.91NO0.98
NO2.69NO3.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.91NO0.91
NO1.66NO1.72
YES2.28YES2.34
YES1.33YES1.33
YES1.51YES1.60
YES3.86YES4.00
YES0.96YES1.04
YES1.16YES1.14
YES4.57YES4.75
YES1.53YES1.77
YES3.29YES3.71
YES5.96YES7.18
YES1.22YES1.27
YES1.32YES1.21
KILLED60.00KILLED60.00
YES1.17YES1.19
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.93NO0.98
YES1.20YES1.21
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
YES8.58YES8.11
KILLED60.00KILLED60.00
NO0.94NO1.04
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
YES9.98YES10.79
KILLED60.00KILLED60.00
NO0.94NO0.97
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO10.85NO10.45
YES2.18YES2.25
KILLED60.00KILLED60.00
NO0.93NO0.97
KILLED60.00KILLED60.00
NO11.15NO11.82
YES2.83YES2.73
YES15.96YES17.87
NO0.92NO0.92
NO7.26NO7.89
NO10.52NO10.52
KILLED60.00KILLED60.00
NO1.49NO1.48
NO1.78NO1.72
NO5.97NO6.78
NO0.92NO0.91
KILLED60.00KILLED60.00
NO1.72NO1.78
NO2.47NO2.60
KILLED60.00KILLED60.00
NO0.93NO0.92
NO1.71NO1.91
NO1.50NO1.41
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.94NO0.98
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO1.03NO1.06
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.99NO0.98
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.93NO0.98
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
YES1.57YES1.50
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.93NO0.98
KILLED60.00KILLED60.00
YES1.90YES1.77
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.98NO0.94
YES2.07YES1.89
YES1.23YES1.28
YES9.76YES9.74
YES6.16YES7.38
KILLED60.00KILLED60.00
YES12.72YES12.45
NO0.93NO0.97
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.94NO0.96
KILLED60.00KILLED60.00
YES7.08YES8.31
YES5.16YES5.85
YES3.18YES3.22
YES3.86YES4.22
YES5.70YES6.37
NO0.92NO0.92
KILLED60.00KILLED60.00
YES3.96YES4.38
YES6.30YES6.80
KILLED60.00KILLED60.00
NO0.93NO0.92
YES3.76YES3.88
YES2.91YES3.20
YES2.87YES3.09
YES1.08YES1.14
YES2.32YES2.41
YES3.58YES3.37
NO0.92NO0.91
KILLED60.00KILLED60.00
YES1.26YES1.30
YES3.37YES3.46
YES7.32YES7.84
NO0.91NO0.91
YES1.32YES1.30
YES1.21YES1.19
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.98NO0.94
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.98NO0.96
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO0.93NO0.93
KILLED60.00KILLED60.00
NO17.25NO18.91
YES7.56YES6.78
KILLED60.00KILLED60.00
NO0.93NO0.94
NO14.28NO15.97
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
NO1.90NO1.98
NO2.81NO2.82
NO13.40NO14.99
NO0.93NO0.91
KILLED60.00KILLED60.00
NO2.43NO2.53
NO6.83NO5.98
KILLED60.00KILLED60.00
NO0.96NO0.91
NO2.25NO2.35
NO1.78NO1.88
YES11.14YES11.34
YES6.17YES5.66
YES9.33YES10.88
YES50.11YES42.44
NO0.92NO0.93
KILLED60.00KILLED60.00
YES5.65YES5.34
YES9.88YES13.61
KILLED60.00KILLED60.00
NO19.10NO20.65
YES4.67YES5.78
YES3.29YES3.72
YES2.61YES2.69
YES1.83YES1.83
YES2.16YES2.27
YES2.34YES2.36
NO0.92NO0.92
YES4.30YES4.28
YES1.91YES1.84
YES2.18YES2.24
YES3.24YES3.28
NO3.71NO3.83
YES1.83YES1.78
YES2.07YES2.09
YES1.66YES1.67
YES1.09YES1.10
YES1.53YES1.48
YES1.45YES1.55
NO0.97NO0.92
YES1.76YES1.89
YES1.14YES1.19
YES1.66YES1.57
YES1.56YES1.49
YES1.08YES1.15
YES1.20YES1.13
YES1.06YES1.09
YES5.86YES5.65
YES3.53YES3.96
YES4.04YES7.84
YES17.16YES19.60
NO0.96NO0.97
KILLED60.00KILLED60.00
YES7.57YES7.71
YES4.20YES4.66
YES38.95YES39.90
NO0.92NO0.97
YES7.22YES7.19
YES5.65YES5.32
YES3.35YES3.41
YES2.23YES2.58
YES3.10YES3.53
YES6.95YES6.42
NO0.90NO0.93
KILLED60.00KILLED60.00
YES2.17YES2.30
YES2.85YES2.76
YES11.47YES11.74
NO0.91NO0.91
YES1.87YES1.89
YES2.79YES2.91
YES1.83YES1.90
YES1.09YES1.09
YES1.38YES1.36
YES1.62YES1.66
NO0.92NO0.92
YES1.72YES1.72
YES1.23YES1.26
YES1.46YES1.47
YES1.75YES1.74
NO0.91NO0.92
YES1.26YES1.22
YES1.03YES1.06
YES1.02YES0.99
YES0.96YES0.98
KILLED60.00KILLED60.00
KILLED60.00KILLED60.00
YES1.15YES1.20
YES1.02YES1.04
KILLED60.00KILLED60.00
YES1.12YES1.20
YES1.66YES1.72
YES1.08YES1.06
YES1.31YES1.42
YES1.59YES1.53
YES2.68YES2.73
YES1.29YES1.26
YES1.12YES1.09
YES1.30YES1.32
YES0.96YES0.96
YES1.39YES1.46
YES0.98YES1.02
YES1.08YES1.09
YES1.28YES1.27
YES1.04YES1.11
YES1.16YES1.24
YES1.09YES1.03
YES15.31YES15.87
YES14.79YES15.61
YES1.32YES1.36
YES1.43YES1.49
YES8.32YES8.35
MAYBE19.59MAYBE19.08
NO1.60NO1.73
MAYBE32.51MAYBE34.21
MAYBE15.46MAYBE15.91
NO1.46NO1.56
MAYBE16.89MAYBE16.72
NO1.54NO1.62
MAYBE15.96MAYBE16.69
KILLED60.00KILLED60.00
NO1.86NO2.13
YES1.14YES1.20
YES1.17YES1.20
YES9.02YES8.83
YES2.06YES1.83
YES1.99YES2.00
YES1.11YES1.14
YES1.12YES1.08
YES1.09YES1.15
YES1.08YES1.17
YES1.18YES1.10
YES1.10YES1.14
YES1.09YES1.14
YES1.08YES1.14
YES1.21YES1.20
YES1.10YES1.12
YES1.08YES1.08
YES1.33YES1.30
YES1.10YES1.07
YES1.16YES1.24
YES1.10YES1.09
YES1.15YES1.14
YES1.08YES1.19
YES1.16YES1.13
YES1.14YES1.14
YES1.09YES1.20
YES1.14YES1.14
YES1.16YES1.09
YES1.15YES1.19
YES1.16YES1.13
YES1.14YES1.15
YES1.15YES1.15
YES1.09YES1.09
YES1.14YES1.19
YES1.15YES1.14
YES1.10YES1.22
YES1.15YES1.19
YES1.09YES1.19
YES1.18YES1.14
YES1.03YES1.09
YES1.34YES1.35
YES1.09YES1.09
YES1.15YES1.08
YES1.09YES1.14
YES1.09YES1.20
YES1.14YES1.08
YES1.15YES1.08
YES1.14YES1.20
YES1.04YES1.03
YES1.08YES1.02
YES1.20YES1.25
YES1.18YES1.20
YES2.86YES3.11
YES1.37YES1.31
YES1.14YES1.08
YES1.28YES1.25
YES1.14YES1.15
YES1.56YES1.66
YES1.20YES1.25
KILLED60.00YES3.63
KILLED60.00YES1.80
YES1.33YES1.39
YES1.43YES1.38
YES1.21YES1.22
YES1.20YES1.20
YES1.14YES1.14
YES1.14YES1.15
KILLED60.00KILLED60.00
YES1.14YES1.13
YES15.38YES15.91
KILLED60.00KILLED60.00
YES19.38YES19.03
YES18.38YES18.19
YES1.15YES1.14
YES1.33YES1.34
YES1.23YES1.33
YES2.11YES2.10
YES8.74YES8.39
YES1.72YES1.90
YES1.24YES1.26
YES1.49YES1.55
KILLED60.00KILLED60.00
YES1.84YES2.02
YES1.71YES1.76
MAYBE28.62MAYBE29.10
YES3.22YES3.79
KILLED60.00KILLED60.00
YES1.33YES1.37