0 of 0 parts have a verified summary.
L1 unavailable for current verification: the overall summary needs every part verified. Provisions and the verified summaries remain readable.
Verification findings (297)
synthesis coverage: missing/unverified L2 part-1
synthesis coverage: missing evaluation uk:asp/2012/5#section-1
synthesis coverage: missing evaluation uk:asp/2012/5#section-2
synthesis coverage: missing evaluation uk:asp/2012/5#section-3
synthesis coverage: missing evaluation uk:asp/2012/5#section-4
synthesis coverage: missing evaluation uk:asp/2012/5#section-5
synthesis coverage: missing evaluation uk:asp/2012/5#section-6
synthesis coverage: missing evaluation uk:asp/2012/5#section-7
synthesis coverage: missing evaluation uk:asp/2012/5#section-8
synthesis coverage: missing evaluation uk:asp/2012/5#section-9
synthesis coverage: missing evaluation uk:asp/2012/5#section-10
synthesis coverage: missing evaluation uk:asp/2012/5#section-11
synthesis coverage: missing evaluation uk:asp/2012/5#section-12
synthesis coverage: missing evaluation uk:asp/2012/5#section-13
synthesis coverage: missing evaluation uk:asp/2012/5#section-14
synthesis coverage: missing evaluation uk:asp/2012/5#section-15
synthesis coverage: missing evaluation uk:asp/2012/5#section-16
synthesis coverage: missing evaluation uk:asp/2012/5#section-17
synthesis coverage: missing evaluation uk:asp/2012/5#section-18
synthesis coverage: missing evaluation uk:asp/2012/5#section-19
synthesis coverage: missing evaluation uk:asp/2012/5#section-20
synthesis coverage: missing/unverified L2 part-2
synthesis coverage: missing evaluation uk:asp/2012/5#section-21
synthesis coverage: missing evaluation uk:asp/2012/5#section-22
synthesis coverage: missing evaluation uk:asp/2012/5#section-23
synthesis coverage: missing evaluation uk:asp/2012/5#section-24
synthesis coverage: missing evaluation uk:asp/2012/5#section-25
synthesis coverage: missing evaluation uk:asp/2012/5#section-26
synthesis coverage: missing evaluation uk:asp/2012/5#section-27
synthesis coverage: missing evaluation uk:asp/2012/5#section-28
synthesis coverage: missing evaluation uk:asp/2012/5#section-29
synthesis coverage: missing evaluation uk:asp/2012/5#section-30
synthesis coverage: missing evaluation uk:asp/2012/5#section-31
synthesis coverage: missing evaluation uk:asp/2012/5#section-32
synthesis coverage: missing evaluation uk:asp/2012/5#section-33
synthesis coverage: missing evaluation uk:asp/2012/5#section-34
synthesis coverage: missing evaluation uk:asp/2012/5#section-35
synthesis coverage: missing evaluation uk:asp/2012/5#section-36
synthesis coverage: missing evaluation uk:asp/2012/5#section-37
synthesis coverage: missing evaluation uk:asp/2012/5#section-38
synthesis coverage: missing evaluation uk:asp/2012/5#section-39
synthesis coverage: missing evaluation uk:asp/2012/5#section-40
synthesis coverage: missing evaluation uk:asp/2012/5#section-41
synthesis coverage: missing evaluation uk:asp/2012/5#section-42
synthesis coverage: missing evaluation uk:asp/2012/5#section-43
synthesis coverage: missing evaluation uk:asp/2012/5#section-44
synthesis coverage: missing evaluation uk:asp/2012/5#section-45
synthesis coverage: missing evaluation uk:asp/2012/5#section-46
synthesis coverage: missing evaluation uk:asp/2012/5#section-47
synthesis coverage: missing evaluation uk:asp/2012/5#section-48
synthesis coverage: missing/unverified L2 part-3
synthesis coverage: missing evaluation uk:asp/2012/5#section-49
synthesis coverage: missing evaluation uk:asp/2012/5#section-50
synthesis coverage: missing evaluation uk:asp/2012/5#section-51
synthesis coverage: missing evaluation uk:asp/2012/5#section-52
synthesis coverage: missing evaluation uk:asp/2012/5#section-53
synthesis coverage: missing evaluation uk:asp/2012/5#section-54
synthesis coverage: missing evaluation uk:asp/2012/5#section-55
synthesis coverage: missing/unverified L2 part-4
synthesis coverage: missing evaluation uk:asp/2012/5#section-56
synthesis coverage: missing evaluation uk:asp/2012/5#section-57
synthesis coverage: missing evaluation uk:asp/2012/5#section-58
synthesis coverage: missing evaluation uk:asp/2012/5#section-59
synthesis coverage: missing evaluation uk:asp/2012/5#section-60
synthesis coverage: missing evaluation uk:asp/2012/5#section-61
synthesis coverage: missing evaluation uk:asp/2012/5#section-62
synthesis coverage: missing evaluation uk:asp/2012/5#section-63
synthesis coverage: missing evaluation uk:asp/2012/5#section-64
synthesis coverage: missing/unverified L2 part-5
synthesis coverage: missing evaluation uk:asp/2012/5#section-65
synthesis coverage: missing evaluation uk:asp/2012/5#section-66
synthesis coverage: missing/unverified L2 part-6
synthesis coverage: missing evaluation uk:asp/2012/5#section-67
synthesis coverage: missing evaluation uk:asp/2012/5#section-68
synthesis coverage: missing evaluation uk:asp/2012/5#section-69
synthesis coverage: missing evaluation uk:asp/2012/5#section-70
synthesis coverage: missing evaluation uk:asp/2012/5#section-71
synthesis coverage: missing evaluation uk:asp/2012/5#section-72
synthesis coverage: missing/unverified L2 part-7
synthesis coverage: missing evaluation uk:asp/2012/5#section-73
synthesis coverage: missing evaluation uk:asp/2012/5#section-74
synthesis coverage: missing evaluation uk:asp/2012/5#section-75
synthesis coverage: missing evaluation uk:asp/2012/5#section-76
synthesis coverage: missing evaluation uk:asp/2012/5#section-77
synthesis coverage: missing evaluation uk:asp/2012/5#section-78
synthesis coverage: missing evaluation uk:asp/2012/5#section-79
synthesis coverage: missing/unverified L2 part-8
synthesis coverage: missing evaluation uk:asp/2012/5#section-80
synthesis coverage: missing evaluation uk:asp/2012/5#section-81
synthesis coverage: missing evaluation uk:asp/2012/5#section-82
synthesis coverage: missing evaluation uk:asp/2012/5#section-83
synthesis coverage: missing evaluation uk:asp/2012/5#section-84
synthesis coverage: missing evaluation uk:asp/2012/5#section-85
synthesis coverage: missing/unverified L2 part-9
synthesis coverage: missing evaluation uk:asp/2012/5#section-86
synthesis coverage: missing evaluation uk:asp/2012/5#section-87
synthesis coverage: missing evaluation uk:asp/2012/5#section-88
synthesis coverage: missing evaluation uk:asp/2012/5#section-89
synthesis coverage: missing evaluation uk:asp/2012/5#section-90
synthesis coverage: missing evaluation uk:asp/2012/5#section-91
synthesis coverage: missing evaluation uk:asp/2012/5#section-92
synthesis coverage: missing evaluation uk:asp/2012/5#section-93
synthesis coverage: missing evaluation uk:asp/2012/5#section-94
synthesis coverage: missing evaluation uk:asp/2012/5#section-95
synthesis coverage: missing/unverified L2 part-10
synthesis coverage: missing evaluation uk:asp/2012/5#section-96
synthesis coverage: missing evaluation uk:asp/2012/5#section-97
synthesis coverage: missing evaluation uk:asp/2012/5#section-98
synthesis coverage: missing evaluation uk:asp/2012/5#section-99
synthesis coverage: missing evaluation uk:asp/2012/5#section-100
synthesis coverage: missing/unverified L2 part-11
synthesis coverage: missing evaluation uk:asp/2012/5#section-101
synthesis coverage: missing evaluation uk:asp/2012/5#section-102
synthesis coverage: missing evaluation uk:asp/2012/5#section-103
synthesis coverage: missing evaluation uk:asp/2012/5#section-104
synthesis coverage: missing evaluation uk:asp/2012/5#section-105
synthesis coverage: missing evaluation uk:asp/2012/5#section-106
synthesis coverage: missing evaluation uk:asp/2012/5#section-107
synthesis coverage: missing evaluation uk:asp/2012/5#section-108
synthesis coverage: missing evaluation uk:asp/2012/5#section-109
synthesis coverage: missing evaluation uk:asp/2012/5#section-110
synthesis coverage: missing evaluation uk:asp/2012/5#section-111
synthesis coverage: missing evaluation uk:asp/2012/5#section-112
synthesis coverage: missing evaluation uk:asp/2012/5#section-112A
synthesis coverage: missing evaluation uk:asp/2012/5#section-113
synthesis coverage: missing evaluation uk:asp/2012/5#section-114
synthesis coverage: missing evaluation uk:asp/2012/5#section-115
synthesis coverage: missing evaluation uk:asp/2012/5#section-116
synthesis coverage: missing evaluation uk:asp/2012/5#section-117
synthesis coverage: missing evaluation uk:asp/2012/5#section-118
synthesis coverage: missing evaluation uk:asp/2012/5#section-119
synthesis coverage: missing evaluation uk:asp/2012/5#section-120
synthesis coverage: missing evaluation uk:asp/2012/5#section-121
synthesis coverage: missing evaluation uk:asp/2012/5#section-122
synthesis coverage: missing evaluation uk:asp/2012/5#section-123
synthesis coverage: missing evaluation uk:asp/2012/5#section-124
synthesis coverage: missing/unverified L2 schedule-1
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1-paragraph-1
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1-paragraph-2
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1-paragraph-3
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1-paragraph-4
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1-paragraph-5
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1-paragraph-6
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1-paragraph-7
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1-paragraph-8
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1-paragraph-9
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1-paragraph-10
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1-paragraph-11
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1-paragraph-12
synthesis coverage: missing/unverified L2 schedule-1A
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1A-paragraph-1
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1A-paragraph-2
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1A-paragraph-3
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1A-paragraph-4
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1A-paragraph-5
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1A-paragraph-6
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1A-paragraph-7
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1A-paragraph-8
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-1A-paragraph-9
synthesis coverage: missing/unverified L2 schedule-2
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-1
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-2
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-3
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-4
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-5
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-6
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-7
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-8
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-9
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-10
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-11
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-12
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-13
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-14
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-15
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-16
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-17
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-18
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-19
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-20
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-21
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-22
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-2-paragraph-23
synthesis coverage: missing/unverified L2 schedule-3
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-1
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-2
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-3
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-4
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-5
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-6
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-7
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-8
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-9
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-10
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-11
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-12
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-13
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-14
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-15
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-16
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-17
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-18
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-19
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-20
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-21
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-22
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-23
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-24
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-25
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-26
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-3-paragraph-27
synthesis coverage: missing/unverified L2 schedule-4
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-1
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-2
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-3
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-4
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-5
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-6
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-7
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-8
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-9
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-10
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-11
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-11A
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-11B
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-12
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-13
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-14
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-15
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-16
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-17
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-18
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-19
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-20
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-21
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-22
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-23
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-24
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-4-paragraph-25
synthesis coverage: missing/unverified L2 schedule-5
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-1
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-2
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-3
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-4
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-5
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-6
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-7
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-8
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-9
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-10
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-11
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-12
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-13
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-14
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-15
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-16
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-17
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-18
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-19
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-20
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-21
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-22
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-23
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-24
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-25
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-26
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-27
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-28
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-29
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-30
synthesis coverage: missing/unverified L2 schedule-5
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-31
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-32
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-33
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-34
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-35
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-36
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-37
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-38
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-39
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-40
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-41
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-42
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-43
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-44
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-45
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-46
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-47
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-48
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-49
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-50
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-51
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-52
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-53
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-54
synthesis coverage: missing evaluation uk:asp/2012/5#schedule-5-paragraph-55
Instrument tier unavailable