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 (243)
synthesis coverage: missing/unverified L2 part-1
synthesis coverage: missing evaluation uk:asp/2005/16#section-1
synthesis coverage: missing evaluation uk:asp/2005/16#section-2
synthesis coverage: missing evaluation uk:asp/2005/16#section-3
synthesis coverage: missing evaluation uk:asp/2005/16#section-4
synthesis coverage: missing/unverified L2 part-2
synthesis coverage: missing evaluation uk:asp/2005/16#section-5
synthesis coverage: missing evaluation uk:asp/2005/16#section-6
synthesis coverage: missing evaluation uk:asp/2005/16#section-7
synthesis coverage: missing evaluation uk:asp/2005/16#section-8
synthesis coverage: missing evaluation uk:asp/2005/16#section-9
synthesis coverage: missing evaluation uk:asp/2005/16#section-9A
synthesis coverage: missing evaluation uk:asp/2005/16#section-9B
synthesis coverage: missing evaluation uk:asp/2005/16#section-10
synthesis coverage: missing evaluation uk:asp/2005/16#section-11
synthesis coverage: missing evaluation uk:asp/2005/16#section-12
synthesis coverage: missing evaluation uk:asp/2005/16#section-12A
synthesis coverage: missing evaluation uk:asp/2005/16#section-13
synthesis coverage: missing evaluation uk:asp/2005/16#section-14
synthesis coverage: missing evaluation uk:asp/2005/16#section-15
synthesis coverage: missing evaluation uk:asp/2005/16#section-16
synthesis coverage: missing/unverified L2 part-3
synthesis coverage: missing evaluation uk:asp/2005/16#section-17
synthesis coverage: missing evaluation uk:asp/2005/16#section-18
synthesis coverage: missing evaluation uk:asp/2005/16#section-19
synthesis coverage: missing evaluation uk:asp/2005/16#section-20
synthesis coverage: missing evaluation uk:asp/2005/16#section-21
synthesis coverage: missing evaluation uk:asp/2005/16#section-22
synthesis coverage: missing evaluation uk:asp/2005/16#section-23
synthesis coverage: missing evaluation uk:asp/2005/16#section-24
synthesis coverage: missing evaluation uk:asp/2005/16#section-24A
synthesis coverage: missing evaluation uk:asp/2005/16#section-25
synthesis coverage: missing evaluation uk:asp/2005/16#section-26
synthesis coverage: missing evaluation uk:asp/2005/16#section-27
synthesis coverage: missing evaluation uk:asp/2005/16#section-27A
synthesis coverage: missing evaluation uk:asp/2005/16#section-28
synthesis coverage: missing evaluation uk:asp/2005/16#section-29
synthesis coverage: missing evaluation uk:asp/2005/16#section-30
synthesis coverage: missing evaluation uk:asp/2005/16#section-31
synthesis coverage: missing evaluation uk:asp/2005/16#section-32
synthesis coverage: missing evaluation uk:asp/2005/16#section-33
synthesis coverage: missing evaluation uk:asp/2005/16#section-34
synthesis coverage: missing evaluation uk:asp/2005/16#section-35
synthesis coverage: missing evaluation uk:asp/2005/16#section-36
synthesis coverage: missing evaluation uk:asp/2005/16#section-37
synthesis coverage: missing evaluation uk:asp/2005/16#section-38
synthesis coverage: missing evaluation uk:asp/2005/16#section-39
synthesis coverage: missing evaluation uk:asp/2005/16#section-39A
synthesis coverage: missing evaluation uk:asp/2005/16#section-39B
synthesis coverage: missing evaluation uk:asp/2005/16#section-40
synthesis coverage: missing evaluation uk:asp/2005/16#section-40A
synthesis coverage: missing evaluation uk:asp/2005/16#section-41
synthesis coverage: missing/unverified L2 part-3
synthesis coverage: missing evaluation uk:asp/2005/16#section-42
synthesis coverage: missing evaluation uk:asp/2005/16#section-43
synthesis coverage: missing evaluation uk:asp/2005/16#section-44
synthesis coverage: missing evaluation uk:asp/2005/16#section-45
synthesis coverage: missing evaluation uk:asp/2005/16#section-46
synthesis coverage: missing evaluation uk:asp/2005/16#section-47
synthesis coverage: missing evaluation uk:asp/2005/16#section-48
synthesis coverage: missing evaluation uk:asp/2005/16#section-49
synthesis coverage: missing evaluation uk:asp/2005/16#section-50
synthesis coverage: missing evaluation uk:asp/2005/16#section-51
synthesis coverage: missing evaluation uk:asp/2005/16#section-52
synthesis coverage: missing evaluation uk:asp/2005/16#section-53
synthesis coverage: missing evaluation uk:asp/2005/16#section-54
synthesis coverage: missing evaluation uk:asp/2005/16#section-55
synthesis coverage: missing/unverified L2 part-4
synthesis coverage: missing evaluation uk:asp/2005/16#section-56
synthesis coverage: missing evaluation uk:asp/2005/16#section-57
synthesis coverage: missing evaluation uk:asp/2005/16#section-58
synthesis coverage: missing evaluation uk:asp/2005/16#section-59
synthesis coverage: missing evaluation uk:asp/2005/16#section-60
synthesis coverage: missing evaluation uk:asp/2005/16#section-61
synthesis coverage: missing/unverified L2 part-5
synthesis coverage: missing evaluation uk:asp/2005/16#section-62
synthesis coverage: missing evaluation uk:asp/2005/16#section-63
synthesis coverage: missing evaluation uk:asp/2005/16#section-64
synthesis coverage: missing evaluation uk:asp/2005/16#section-65
synthesis coverage: missing evaluation uk:asp/2005/16#section-66
synthesis coverage: missing evaluation uk:asp/2005/16#section-67
synthesis coverage: missing evaluation uk:asp/2005/16#section-68
synthesis coverage: missing evaluation uk:asp/2005/16#section-69
synthesis coverage: missing evaluation uk:asp/2005/16#section-70
synthesis coverage: missing evaluation uk:asp/2005/16#section-70A
synthesis coverage: missing/unverified L2 part-6
synthesis coverage: missing evaluation uk:asp/2005/16#section-71
synthesis coverage: missing evaluation uk:asp/2005/16#section-72
synthesis coverage: missing evaluation uk:asp/2005/16#section-73
synthesis coverage: missing evaluation uk:asp/2005/16#section-73A
synthesis coverage: missing evaluation uk:asp/2005/16#section-74
synthesis coverage: missing evaluation uk:asp/2005/16#section-75
synthesis coverage: missing evaluation uk:asp/2005/16#section-76
synthesis coverage: missing evaluation uk:asp/2005/16#section-77
synthesis coverage: missing evaluation uk:asp/2005/16#section-78
synthesis coverage: missing evaluation uk:asp/2005/16#section-79
synthesis coverage: missing evaluation uk:asp/2005/16#section-80
synthesis coverage: missing evaluation uk:asp/2005/16#section-81
synthesis coverage: missing evaluation uk:asp/2005/16#section-82
synthesis coverage: missing evaluation uk:asp/2005/16#section-83
synthesis coverage: missing evaluation uk:asp/2005/16#section-84
synthesis coverage: missing evaluation uk:asp/2005/16#section-84A
synthesis coverage: missing evaluation uk:asp/2005/16#section-84B
synthesis coverage: missing evaluation uk:asp/2005/16#section-85
synthesis coverage: missing evaluation uk:asp/2005/16#section-86
synthesis coverage: missing evaluation uk:asp/2005/16#section-87
synthesis coverage: missing evaluation uk:asp/2005/16#section-88
synthesis coverage: missing evaluation uk:asp/2005/16#section-89
synthesis coverage: missing evaluation uk:asp/2005/16#section-90
synthesis coverage: missing evaluation uk:asp/2005/16#section-91
synthesis coverage: missing evaluation uk:asp/2005/16#section-92
synthesis coverage: missing evaluation uk:asp/2005/16#section-93
synthesis coverage: missing/unverified L2 part-7
synthesis coverage: missing evaluation uk:asp/2005/16#section-94
synthesis coverage: missing evaluation uk:asp/2005/16#section-95
synthesis coverage: missing evaluation uk:asp/2005/16#section-96
synthesis coverage: missing evaluation uk:asp/2005/16#section-97
synthesis coverage: missing evaluation uk:asp/2005/16#section-98
synthesis coverage: missing evaluation uk:asp/2005/16#section-99
synthesis coverage: missing evaluation uk:asp/2005/16#section-100
synthesis coverage: missing evaluation uk:asp/2005/16#section-101
synthesis coverage: missing/unverified L2 part-8
synthesis coverage: missing evaluation uk:asp/2005/16#section-102
synthesis coverage: missing evaluation uk:asp/2005/16#section-103
synthesis coverage: missing evaluation uk:asp/2005/16#section-104
synthesis coverage: missing evaluation uk:asp/2005/16#section-104A
synthesis coverage: missing evaluation uk:asp/2005/16#section-104B
synthesis coverage: missing evaluation uk:asp/2005/16#section-105
synthesis coverage: missing evaluation uk:asp/2005/16#section-106
synthesis coverage: missing evaluation uk:asp/2005/16#section-107
synthesis coverage: missing evaluation uk:asp/2005/16#section-108
synthesis coverage: missing evaluation uk:asp/2005/16#section-109
synthesis coverage: missing evaluation uk:asp/2005/16#section-110
synthesis coverage: missing evaluation uk:asp/2005/16#section-111
synthesis coverage: missing evaluation uk:asp/2005/16#section-112
synthesis coverage: missing evaluation uk:asp/2005/16#section-113
synthesis coverage: missing evaluation uk:asp/2005/16#section-114
synthesis coverage: missing evaluation uk:asp/2005/16#section-115
synthesis coverage: missing evaluation uk:asp/2005/16#section-116
synthesis coverage: missing evaluation uk:asp/2005/16#section-117
synthesis coverage: missing evaluation uk:asp/2005/16#section-118
synthesis coverage: missing evaluation uk:asp/2005/16#section-119
synthesis coverage: missing evaluation uk:asp/2005/16#section-120
synthesis coverage: missing evaluation uk:asp/2005/16#section-121
synthesis coverage: missing evaluation uk:asp/2005/16#section-122
synthesis coverage: missing/unverified L2 part-9
synthesis coverage: missing evaluation uk:asp/2005/16#section-123
synthesis coverage: missing evaluation uk:asp/2005/16#section-124
synthesis coverage: missing evaluation uk:asp/2005/16#section-125
synthesis coverage: missing evaluation uk:asp/2005/16#section-126
synthesis coverage: missing evaluation uk:asp/2005/16#section-127
synthesis coverage: missing evaluation uk:asp/2005/16#section-128
synthesis coverage: missing evaluation uk:asp/2005/16#section-129
synthesis coverage: missing evaluation uk:asp/2005/16#section-130
synthesis coverage: missing evaluation uk:asp/2005/16#section-131
synthesis coverage: missing evaluation uk:asp/2005/16#section-132
synthesis coverage: missing evaluation uk:asp/2005/16#section-133
synthesis coverage: missing evaluation uk:asp/2005/16#section-133A
synthesis coverage: missing evaluation uk:asp/2005/16#section-134
synthesis coverage: missing evaluation uk:asp/2005/16#section-134A
synthesis coverage: missing evaluation uk:asp/2005/16#section-135
synthesis coverage: missing evaluation uk:asp/2005/16#section-136
synthesis coverage: missing evaluation uk:asp/2005/16#section-137
synthesis coverage: missing evaluation uk:asp/2005/16#section-138
synthesis coverage: missing evaluation uk:asp/2005/16#section-139
synthesis coverage: missing evaluation uk:asp/2005/16#section-140
synthesis coverage: missing evaluation uk:asp/2005/16#section-141
synthesis coverage: missing evaluation uk:asp/2005/16#section-141A
synthesis coverage: missing evaluation uk:asp/2005/16#section-141B
synthesis coverage: missing evaluation uk:asp/2005/16#section-142
synthesis coverage: missing evaluation uk:asp/2005/16#section-143
synthesis coverage: missing evaluation uk:asp/2005/16#section-144
synthesis coverage: missing evaluation uk:asp/2005/16#section-145
synthesis coverage: missing evaluation uk:asp/2005/16#section-146
synthesis coverage: missing evaluation uk:asp/2005/16#section-147
synthesis coverage: missing evaluation uk:asp/2005/16#section-148
synthesis coverage: missing/unverified L2 part-9
synthesis coverage: missing evaluation uk:asp/2005/16#section-149
synthesis coverage: missing evaluation uk:asp/2005/16#section-150
synthesis coverage: missing/unverified L2 schedule-1
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-1-paragraph-1
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-1-paragraph-2
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-1-paragraph-3
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-1-paragraph-4
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-1-paragraph-5
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-1-paragraph-6
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-1-paragraph-7
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-1-paragraph-8
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-1-paragraph-9
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-1-paragraph-10
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-1-paragraph-11
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-1-paragraph-12
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-1-paragraph-13
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-1-paragraph-14
synthesis coverage: missing/unverified L2 schedule-2
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-2-paragraph-1
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-2-paragraph-2
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-2-paragraph-3
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-2-paragraph-4
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-2-paragraph-5
synthesis coverage: missing/unverified L2 schedule-3
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-3-paragraph-1
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-3-paragraph-2
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-3-paragraph-3
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-3-paragraph-4
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-3-paragraph-5
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-3-paragraph-6
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-3-paragraph-6A
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-3-paragraph-6B
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-3-paragraph-7
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-3-paragraph-7A
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-3-paragraph-8
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-3-paragraph-9
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-3-paragraph-9A
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-3-paragraph-10
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-3-paragraph-11
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-3-paragraph-12
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-3-paragraph-13
synthesis coverage: missing/unverified L2 schedule-4
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-4-paragraph-1
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-4-paragraph-2
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-4-paragraph-3
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-4-paragraph-4
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-4-paragraph-5
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-4-paragraph-5A
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-4-paragraph-5B
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-4-paragraph-6
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-4-paragraph-6A
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-4-paragraph-7
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-4-paragraph-8
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-4-paragraph-9
synthesis coverage: missing/unverified L2 schedule-6
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-6-paragraph-1
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-6-paragraph-2
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-6-paragraph-3
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-6-paragraph-4
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-6-paragraph-5
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-6-paragraph-6
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-6-paragraph-7
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-6-paragraph-8
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-6-paragraph-9
synthesis coverage: missing evaluation uk:asp/2005/16#schedule-6-paragraph-10
Instrument tier unavailable