TermCOMP 2008: TRS Standard Certifying

benchmark AProVE-A3PAT AProVE-CERT AProVE-COLOR cime3 matchbox
tpdb-8.0/TRS/AG01/#3.10.xml UNCERTIFIED 23230 UNCERTIFIED 24317 UNCERTIFIED 32812 UNCERTIFIED 47536 UNCERTIFIED 60207
tpdb-8.0/TRS/AG01/#3.12.xml UNCERTIFIED 3245 UNCERTIFIED 3214 UNCERTIFIED 2533 UNCERTIFIED 225 UNCERTIFIED 1100
tpdb-8.0/TRS/AG01/#3.13.xml UNCERTIFIED 8901 UNCERTIFIED 10209 UNCERTIFIED 18080 UNCERTIFIED 17648 UNCERTIFIED 60209
tpdb-8.0/TRS/AG01/#3.15.xml UNCERTIFIED 2724 UNCERTIFIED 2255 UNCERTIFIED 2063 UNCERTIFIED 166 UNCERTIFIED 213
tpdb-8.0/TRS/AG01/#3.16.xml UNCERTIFIED 2610 UNCERTIFIED 2351 UNCERTIFIED 2061 UNCERTIFIED 175 UNCERTIFIED 60285
tpdb-8.0/TRS/AG01/#3.17a.xml UNCERTIFIED 10860 UNCERTIFIED 6908 UNCERTIFIED 5722 UNCERTIFIED 531 UNCERTIFIED 1657
tpdb-8.0/TRS/AG01/#3.17.xml UNCERTIFIED 8311 UNCERTIFIED 6684 UNCERTIFIED 7141 UNCERTIFIED 417 UNCERTIFIED 1211
tpdb-8.0/TRS/AG01/#3.18.xml UNCERTIFIED 2585 UNCERTIFIED 25371 UNCERTIFIED 27147 UNCERTIFIED 260 UNCERTIFIED 60245
tpdb-8.0/TRS/AG01/#3.19.xml UNCERTIFIED 3194 UNCERTIFIED 57679 UNCERTIFIED 25587 UNCERTIFIED 270 UNCERTIFIED 60259
tpdb-8.0/TRS/AG01/#3.1.xml UNCERTIFIED 2534 UNCERTIFIED 2974 UNCERTIFIED 3398 UNCERTIFIED 178 UNCERTIFIED 3705
tpdb-8.0/TRS/AG01/#3.21.xml UNCERTIFIED 2126 UNCERTIFIED 2517 UNCERTIFIED 2813 UNCERTIFIED 2633 UNCERTIFIED 60216
tpdb-8.0/TRS/AG01/#3.22.xml UNCERTIFIED 2969 UNCERTIFIED 3539 UNCERTIFIED 9579 UNCERTIFIED 13851 UNCERTIFIED 60246
tpdb-8.0/TRS/AG01/#3.23.xml UNCERTIFIED 2221 UNCERTIFIED 2328 UNCERTIFIED 2381 UNCERTIFIED 137 UNCERTIFIED 1060
tpdb-8.0/TRS/AG01/#3.24.xml UNCERTIFIED 2112 UNCERTIFIED 2349 UNCERTIFIED 2403 UNCERTIFIED 141 UNCERTIFIED 273
tpdb-8.0/TRS/AG01/#3.26.xml UNCERTIFIED 2042 UNCERTIFIED 2337 UNCERTIFIED 2678 UNCERTIFIED 172 UNCERTIFIED 337
tpdb-8.0/TRS/AG01/#3.29.xml UNCERTIFIED 1978 UNCERTIFIED 1978 UNCERTIFIED 1849 UNCERTIFIED 128 UNCERTIFIED 221
tpdb-8.0/TRS/AG01/#3.2.xml UNCERTIFIED 2650 UNCERTIFIED 3162 UNCERTIFIED 3760 UNCERTIFIED 193 UNCERTIFIED 5333
tpdb-8.0/TRS/AG01/#3.31.xml UNCERTIFIED 2066 UNCERTIFIED 2345 UNCERTIFIED 3031 UNCERTIFIED 148 UNCERTIFIED 418
tpdb-8.0/TRS/AG01/#3.33.xml UNCERTIFIED 1675 UNCERTIFIED 1978 UNCERTIFIED 4113 UNCERTIFIED 113 UNCERTIFIED 990
tpdb-8.0/TRS/AG01/#3.35.xml UNCERTIFIED 2031 UNCERTIFIED 2566 UNCERTIFIED 2336 UNCERTIFIED 141 UNCERTIFIED 268
tpdb-8.0/TRS/AG01/#3.36.xml UNCERTIFIED 3033 UNCERTIFIED 3274 UNCERTIFIED 3000 UNCERTIFIED 193 UNCERTIFIED 814
tpdb-8.0/TRS/AG01/#3.37.xml UNCERTIFIED 2133 UNCERTIFIED 2706 UNCERTIFIED 2739 UNCERTIFIED 353 UNCERTIFIED 581
tpdb-8.0/TRS/AG01/#3.38.xml UNCERTIFIED 2989 UNCERTIFIED 3900 UNCERTIFIED 3757 UNCERTIFIED 224 UNCERTIFIED 6817
tpdb-8.0/TRS/AG01/#3.39.xml UNCERTIFIED 6394 UNCERTIFIED 7034 UNCERTIFIED 12142 UNCERTIFIED 7580 UNCERTIFIED 20775
tpdb-8.0/TRS/AG01/#3.40.xml UNCERTIFIED 60246 UNCERTIFIED 59343 UNCERTIFIED 47174 UNCERTIFIED 60304 UNCERTIFIED 60229
tpdb-8.0/TRS/AG01/#3.41.xml UNCERTIFIED 2481 UNCERTIFIED 2771 UNCERTIFIED 2360 UNCERTIFIED 422 UNCERTIFIED 645
tpdb-8.0/TRS/AG01/#3.42.xml UNCERTIFIED 4446 UNCERTIFIED 4040 UNCERTIFIED 3016 UNCERTIFIED 738 UNCERTIFIED 3053
tpdb-8.0/TRS/AG01/#3.47.xml UNCERTIFIED 2375 UNCERTIFIED 2654 UNCERTIFIED 2594 UNCERTIFIED 168 UNCERTIFIED 484
tpdb-8.0/TRS/AG01/#3.48.xml UNCERTIFIED 4618 UNCERTIFIED 5705 UNCERTIFIED 5855 UNCERTIFIED 269 UNCERTIFIED 10750
tpdb-8.0/TRS/AG01/#3.49.xml UNCERTIFIED 3498 UNCERTIFIED 3232 UNCERTIFIED 2757 UNCERTIFIED 7615 UNCERTIFIED 588
tpdb-8.0/TRS/AG01/#3.4.xml UNCERTIFIED 3985 UNCERTIFIED 5041 UNCERTIFIED 4187 UNCERTIFIED 250 UNCERTIFIED 9348
tpdb-8.0/TRS/AG01/#3.51.xml UNCERTIFIED 2481 UNCERTIFIED 2885 UNCERTIFIED 6725 UNCERTIFIED 170 UNCERTIFIED 942
tpdb-8.0/TRS/AG01/#3.52.xml UNCERTIFIED 2062 UNCERTIFIED 2552 UNCERTIFIED 2931 UNCERTIFIED 138 UNCERTIFIED 2059
tpdb-8.0/TRS/AG01/#3.53a.xml UNCERTIFIED 1982 UNCERTIFIED 2133 UNCERTIFIED 1908 UNCERTIFIED 128 UNCERTIFIED 300
tpdb-8.0/TRS/AG01/#3.53b.xml UNCERTIFIED 2058 UNCERTIFIED 2528 UNCERTIFIED 2815 UNCERTIFIED 142 UNCERTIFIED 2443
tpdb-8.0/TRS/AG01/#3.53.xml UNCERTIFIED 10556 UNCERTIFIED 13847 UNCERTIFIED 12497 UNCERTIFIED 816 UNCERTIFIED 36508
tpdb-8.0/TRS/AG01/#3.54.xml UNCERTIFIED 2490 UNCERTIFIED 2727 UNCERTIFIED 2565 UNCERTIFIED 177 UNCERTIFIED 673
tpdb-8.0/TRS/AG01/#3.55.xml UNCERTIFIED 21167 UNCERTIFIED 60268 UNCERTIFIED 60332 UNCERTIFIED 51428 UNCERTIFIED 60218
tpdb-8.0/TRS/AG01/#3.56.xml UNCERTIFIED 3484 UNCERTIFIED 3261 UNCERTIFIED 2891 UNCERTIFIED 606 UNCERTIFIED 1123
tpdb-8.0/TRS/AG01/#3.57.xml UNCERTIFIED 15559 UNCERTIFIED 17105 UNCERTIFIED 18297 UNCERTIFIED 680 UNCERTIFIED 60212
tpdb-8.0/TRS/AG01/#3.5a.xml UNCERTIFIED 3916 UNCERTIFIED 5305 UNCERTIFIED 4566 UNCERTIFIED 302 UNCERTIFIED 16384
tpdb-8.0/TRS/AG01/#3.5b.xml UNCERTIFIED 4421 UNCERTIFIED 5769 UNCERTIFIED 10694 UNCERTIFIED 367 UNCERTIFIED 16473
tpdb-8.0/TRS/AG01/#3.5.xml UNCERTIFIED 4443 UNCERTIFIED 3693 UNCERTIFIED 3105 UNCERTIFIED 298 UNCERTIFIED 12861
tpdb-8.0/TRS/AG01/#3.6a.xml UNCERTIFIED 4090 UNCERTIFIED 4627 UNCERTIFIED 5187 UNCERTIFIED 314 UNCERTIFIED 16363
tpdb-8.0/TRS/AG01/#3.6b.xml UNCERTIFIED 4228 UNCERTIFIED 5469 UNCERTIFIED 7373 UNCERTIFIED 370 UNCERTIFIED 20319
tpdb-8.0/TRS/AG01/#3.6.xml UNCERTIFIED 4058 UNCERTIFIED 5436 UNCERTIFIED 4849 UNCERTIFIED 324 UNCERTIFIED 18669
tpdb-8.0/TRS/AG01/#3.7.xml UNCERTIFIED 2520 UNCERTIFIED 2696 UNCERTIFIED 2446 UNCERTIFIED 175 UNCERTIFIED 361
tpdb-8.0/TRS/AG01/#3.8a.xml UNCERTIFIED 5063 UNCERTIFIED 4808 UNCERTIFIED 16392 UNCERTIFIED 353 UNCERTIFIED 9902
tpdb-8.0/TRS/AG01/#3.8b.xml UNCERTIFIED 8602 UNCERTIFIED 9890 UNCERTIFIED 19451 UNCERTIFIED 500 UNCERTIFIED 20030
tpdb-8.0/TRS/AG01/#4.30c.xml UNCERTIFIED 3398 UNCERTIFIED 12170 UNCERTIFIED 13743 UNCERTIFIED 6326 UNCERTIFIED 60291
tpdb-8.0/TRS/AotoYamada_05/001.xml UNCERTIFIED 1473 UNCERTIFIED 3655 UNCERTIFIED 3774 UNCERTIFIED 1945 UNCERTIFIED 60207
tpdb-8.0/TRS/AotoYamada_05/002.xml UNCERTIFIED 5499 UNCERTIFIED 6780 UNCERTIFIED 10360 UNCERTIFIED 20692 UNCERTIFIED 60247
tpdb-8.0/TRS/AotoYamada_05/003.xml UNCERTIFIED 2423 UNCERTIFIED 11181 UNCERTIFIED 9256 UNCERTIFIED 12287 UNCERTIFIED 60209
tpdb-8.0/TRS/AotoYamada_05/004.xml UNCERTIFIED 2292 UNCERTIFIED 7588 UNCERTIFIED 6762 UNCERTIFIED 6743 UNCERTIFIED 60252
tpdb-8.0/TRS/AotoYamada_05/005.xml UNCERTIFIED 2426 UNCERTIFIED 2473 UNCERTIFIED 2221 UNCERTIFIED 156 UNCERTIFIED 248
tpdb-8.0/TRS/AotoYamada_05/006.xml UNCERTIFIED 3137 UNCERTIFIED 20329 UNCERTIFIED 17464 UNCERTIFIED 60203 UNCERTIFIED 60212
tpdb-8.0/TRS/AotoYamada_05/007.xml UNCERTIFIED 2222 UNCERTIFIED 13777 UNCERTIFIED 15874 UNCERTIFIED 8305 UNCERTIFIED 60253
tpdb-8.0/TRS/AotoYamada_05/009.xml UNCERTIFIED 3425 UNCERTIFIED 3834 UNCERTIFIED 5362 UNCERTIFIED 34755 UNCERTIFIED 60253
tpdb-8.0/TRS/AotoYamada_05/010.xml UNCERTIFIED 2707 UNCERTIFIED 8614 UNCERTIFIED 7910 UNCERTIFIED 37666 UNCERTIFIED 60202
tpdb-8.0/TRS/AotoYamada_05/011.xml UNCERTIFIED 2155 UNCERTIFIED 14843 UNCERTIFIED 16803 UNCERTIFIED 14010 UNCERTIFIED 60233
tpdb-8.0/TRS/AotoYamada_05/012.xml UNCERTIFIED 3149 UNCERTIFIED 3594 UNCERTIFIED 4199 UNCERTIFIED 33171 UNCERTIFIED 60276
tpdb-8.0/TRS/AotoYamada_05/013.xml UNCERTIFIED 2383 UNCERTIFIED 6477 UNCERTIFIED 6582 UNCERTIFIED 35496 UNCERTIFIED 60202
tpdb-8.0/TRS/AotoYamada_05/014.xml UNCERTIFIED 2518 UNCERTIFIED 8686 UNCERTIFIED 7450 UNCERTIFIED 25301 UNCERTIFIED 60203
tpdb-8.0/TRS/AotoYamada_05/015.xml UNCERTIFIED 2695 UNCERTIFIED 13243 UNCERTIFIED 13007 UNCERTIFIED 58651 UNCERTIFIED 60217
tpdb-8.0/TRS/AotoYamada_05/016.xml UNCERTIFIED 2834 UNCERTIFIED 21990 UNCERTIFIED 30680 UNCERTIFIED 34352 UNCERTIFIED 60225
tpdb-8.0/TRS/AotoYamada_05/017.xml UNCERTIFIED 2048 UNCERTIFIED 1984 UNCERTIFIED 1889 UNCERTIFIED 130 UNCERTIFIED 122
tpdb-8.0/TRS/AotoYamada_05/019.xml UNCERTIFIED 1305 UNCERTIFIED 2701 UNCERTIFIED 2499 UNCERTIFIED 1992 UNCERTIFIED 60277
tpdb-8.0/TRS/AotoYamada_05/020.xml UNCERTIFIED 2027 UNCERTIFIED 4884 UNCERTIFIED 4563 UNCERTIFIED 15228 UNCERTIFIED 60194
tpdb-8.0/TRS/AotoYamada_05/021.xml UNCERTIFIED 2531 UNCERTIFIED 24587 UNCERTIFIED 18519 UNCERTIFIED 60201 UNCERTIFIED 60202
tpdb-8.0/TRS/AotoYamada_05/022.xml UNCERTIFIED 3378 UNCERTIFIED 11987 UNCERTIFIED 15790 UNCERTIFIED 41049 UNCERTIFIED 60240
tpdb-8.0/TRS/AotoYamada_05/023.xml UNCERTIFIED 2078 UNCERTIFIED 2288 UNCERTIFIED 2118 UNCERTIFIED 142 UNCERTIFIED 255
tpdb-8.0/TRS/AotoYamada_05/024.xml UNCERTIFIED 2935 UNCERTIFIED 3349 UNCERTIFIED 3134 UNCERTIFIED 10190 UNCERTIFIED 60248
tpdb-8.0/TRS/AotoYamada_05/025.xml UNCERTIFIED 1884 UNCERTIFIED 2089 UNCERTIFIED 1855 UNCERTIFIED 123 UNCERTIFIED 124
tpdb-8.0/TRS/AotoYamada_05/026.xml UNCERTIFIED 1967 UNCERTIFIED 5036 UNCERTIFIED 4011 UNCERTIFIED 9708 UNCERTIFIED 60220
tpdb-8.0/TRS/AotoYamada_05/027.xml UNCERTIFIED 2063 UNCERTIFIED 17833 UNCERTIFIED 17231 UNCERTIFIED 20054 UNCERTIFIED 60257
tpdb-8.0/TRS/AotoYamada_05/028.xml UNCERTIFIED 2206 UNCERTIFIED 35859 UNCERTIFIED 60262 UNCERTIFIED 53234 UNCERTIFIED 60264
tpdb-8.0/TRS/AotoYamada_05/Ex1SimplyTyped.xml UNCERTIFIED 3814 UNCERTIFIED 4225 UNCERTIFIED 6614 UNCERTIFIED 6835 UNCERTIFIED 60283
tpdb-8.0/TRS/AotoYamada_05/Ex5TermProof.xml UNCERTIFIED 2509 UNCERTIFIED 17998 UNCERTIFIED 12527 UNCERTIFIED 25596 UNCERTIFIED 60200
tpdb-8.0/TRS/Applicative_05/BTreeMember.xml UNCERTIFIED 14041 UNCERTIFIED 17088 UNCERTIFIED 21768 UNCERTIFIED 60202 UNCERTIFIED 60201
tpdb-8.0/TRS/Applicative_05/Ex10Functional.xml UNCERTIFIED 4009 UNCERTIFIED 51894 UNCERTIFIED 60367 UNCERTIFIED 60197 UNCERTIFIED 60198
tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml UNCERTIFIED 2058 UNCERTIFIED 2129 UNCERTIFIED 1952 UNCERTIFIED 140 UNCERTIFIED 125
tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml UNCERTIFIED 1522 UNCERTIFIED 3701 UNCERTIFIED 3171 UNCERTIFIED 5608 UNCERTIFIED 60205
tpdb-8.0/TRS/Applicative_05/Ex2PrimRec.xml UNCERTIFIED 1623 UNCERTIFIED 9940 UNCERTIFIED 8374 UNCERTIFIED 3879 UNCERTIFIED 60267
tpdb-8.0/TRS/Applicative_05/Ex3Lists.xml UNCERTIFIED 2701 UNCERTIFIED 19968 UNCERTIFIED 11994 UNCERTIFIED 55861 UNCERTIFIED 60200
tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml UNCERTIFIED 2469 UNCERTIFIED 2859 UNCERTIFIED 3027 UNCERTIFIED 16003 UNCERTIFIED 60294
tpdb-8.0/TRS/Applicative_05/Ex5Folding.xml UNCERTIFIED 2561 UNCERTIFIED 20323 UNCERTIFIED 24812 UNCERTIFIED 25196 UNCERTIFIED 60200
tpdb-8.0/TRS/Applicative_05/Ex5Sorting.xml UNCERTIFIED 5107 UNCERTIFIED 57872 UNCERTIFIED 52136 UNCERTIFIED 60198 UNCERTIFIED 60205
tpdb-8.0/TRS/Applicative_05/Ex6_11.xml UNCERTIFIED 2413 UNCERTIFIED 2765 UNCERTIFIED 3404 UNCERTIFIED 58803 UNCERTIFIED 33053
tpdb-8.0/TRS/Applicative_05/Ex6Folding.xml UNCERTIFIED 2109 UNCERTIFIED 9872 UNCERTIFIED 10057 UNCERTIFIED 17188 UNCERTIFIED 60210
tpdb-8.0/TRS/Applicative_05/Ex6Recursor.xml UNCERTIFIED 1630 UNCERTIFIED 20034 UNCERTIFIED 14498 UNCERTIFIED 7746 UNCERTIFIED 60249
tpdb-8.0/TRS/Applicative_05/Ex7_9.xml UNCERTIFIED 6892 UNCERTIFIED 32651 UNCERTIFIED 17145 UNCERTIFIED 60207 UNCERTIFIED 60206
tpdb-8.0/TRS/Applicative_05/Ex7OrdinalRec.xml UNCERTIFIED 2964 UNCERTIFIED 37501 UNCERTIFIED 29461 UNCERTIFIED 60211 UNCERTIFIED 60208
tpdb-8.0/TRS/Applicative_05/Ex7Sorting.xml UNCERTIFIED 4938 UNCERTIFIED 48374 UNCERTIFIED 54018 UNCERTIFIED 60203 UNCERTIFIED 60203
tpdb-8.0/TRS/Applicative_05/Ex8Polymorphic.xml UNCERTIFIED 2217 UNCERTIFIED 10298 UNCERTIFIED 10515 UNCERTIFIED 34789 UNCERTIFIED 60226
tpdb-8.0/TRS/Applicative_05/Ex9Maps.xml UNCERTIFIED 4067 UNCERTIFIED 60228 UNCERTIFIED 60285 UNCERTIFIED 60254 UNCERTIFIED 60211
tpdb-8.0/TRS/Applicative_05/Hamming.xml UNCERTIFIED 60330 UNCERTIFIED 60279 UNCERTIFIED 60448 UNCERTIFIED 60214 UNCERTIFIED 60199
tpdb-8.0/TRS/Applicative_05/mapDivMinusHard.xml UNCERTIFIED 2716 UNCERTIFIED 22995 UNCERTIFIED 22778 UNCERTIFIED 46295 UNCERTIFIED 60235
tpdb-8.0/TRS/Applicative_05/mapDivMinus.xml UNCERTIFIED 2556 UNCERTIFIED 11796 UNCERTIFIED 11424 UNCERTIFIED 32985 UNCERTIFIED 60227
tpdb-8.0/TRS/Applicative_05/nonTermF.xml UNCERTIFIED 1904 UNCERTIFIED 57843 UNCERTIFIED 35009 UNCERTIFIED 28747 UNCERTIFIED 60222
tpdb-8.0/TRS/Applicative_05/ReverseLastInit.xml UNCERTIFIED 4725 UNCERTIFIED 2890 UNCERTIFIED 2758 UNCERTIFIED 8804 UNCERTIFIED 373
tpdb-8.0/TRS/Applicative_05/TakeDropWhile.xml UNCERTIFIED 2770 UNCERTIFIED 34403 UNCERTIFIED 14285 UNCERTIFIED 60224 UNCERTIFIED 60203
tpdb-8.0/TRS/Applicative_05/termMonTypes.xml UNCERTIFIED 1770 UNCERTIFIED 4010 UNCERTIFIED 3946 UNCERTIFIED 1180 UNCERTIFIED 60199
tpdb-8.0/TRS/Applicative_05/TreeFlatten.xml UNCERTIFIED 2895 UNCERTIFIED 31322 UNCERTIFIED 31299 UNCERTIFIED 60199 UNCERTIFIED 60207
tpdb-8.0/TRS/Applicative_05/TreeHeight.xml UNCERTIFIED 2832 UNCERTIFIED 36122 UNCERTIFIED 31673 UNCERTIFIED 44356 UNCERTIFIED 60199
tpdb-8.0/TRS/Applicative_05/TreeLevels.xml UNCERTIFIED 3876 UNCERTIFIED 29514 UNCERTIFIED 19874 UNCERTIFIED 60203 UNCERTIFIED 60206
tpdb-8.0/TRS/Applicative_05/TreeMap.xml UNCERTIFIED 2398 UNCERTIFIED 60237 UNCERTIFIED 47309 UNCERTIFIED 48023 UNCERTIFIED 60251
tpdb-8.0/TRS/Applicative_05/TreeSize.xml UNCERTIFIED 3920 UNCERTIFIED 23175 UNCERTIFIED 24576 UNCERTIFIED 39496 UNCERTIFIED 60241
tpdb-8.0/TRS/Applicative_05/TypeEx1.xml UNCERTIFIED 2254 UNCERTIFIED 3067 UNCERTIFIED 3242 UNCERTIFIED 4120 UNCERTIFIED 15507
tpdb-8.0/TRS/Applicative_05/TypeEx3.xml UNCERTIFIED 4831 UNCERTIFIED 10096 UNCERTIFIED 12667 UNCERTIFIED 60230 UNCERTIFIED 60254
tpdb-8.0/TRS/Applicative_05/TypeEx5.xml UNCERTIFIED 1197 UNCERTIFIED 1701 UNCERTIFIED 1646 UNCERTIFIED 93 UNCERTIFIED 60197
tpdb-8.0/TRS/Applicative_first_order_05/01.xml UNCERTIFIED 3547 UNCERTIFIED 43939 UNCERTIFIED 60269 UNCERTIFIED 60208 UNCERTIFIED 60204
tpdb-8.0/TRS/Applicative_first_order_05/02.xml UNCERTIFIED 3402 UNCERTIFIED 44909 UNCERTIFIED 46714 UNCERTIFIED 60218 UNCERTIFIED 60203
tpdb-8.0/TRS/Applicative_first_order_05/06.xml UNCERTIFIED 4455 UNCERTIFIED 56527 UNCERTIFIED 52166 UNCERTIFIED 60199 UNCERTIFIED 60240
tpdb-8.0/TRS/Applicative_first_order_05/08.xml UNCERTIFIED 4704 UNCERTIFIED 12782 UNCERTIFIED 13548 UNCERTIFIED 60203 UNCERTIFIED 60208
tpdb-8.0/TRS/Applicative_first_order_05/11.xml UNCERTIFIED 60323 UNCERTIFIED 60273 UNCERTIFIED 60373 UNCERTIFIED 60221 UNCERTIFIED 60199
tpdb-8.0/TRS/Applicative_first_order_05/12.xml UNCERTIFIED 4642 UNCERTIFIED 16520 UNCERTIFIED 15372 UNCERTIFIED 60208 UNCERTIFIED 60213
tpdb-8.0/TRS/Applicative_first_order_05/13.xml UNCERTIFIED 4622 UNCERTIFIED 15910 UNCERTIFIED 16808 UNCERTIFIED 60223 UNCERTIFIED 60202
tpdb-8.0/TRS/Applicative_first_order_05/17.xml UNCERTIFIED 4362 UNCERTIFIED 18819 UNCERTIFIED 13227 UNCERTIFIED 60200 UNCERTIFIED 60203
tpdb-8.0/TRS/Applicative_first_order_05/18.xml UNCERTIFIED 3630 UNCERTIFIED 56430 UNCERTIFIED 51793 UNCERTIFIED 60212 UNCERTIFIED 60200
tpdb-8.0/TRS/Applicative_first_order_05/21.xml UNCERTIFIED 4727 UNCERTIFIED 25636 UNCERTIFIED 21766 UNCERTIFIED 60207 UNCERTIFIED 60209
tpdb-8.0/TRS/Applicative_first_order_05/29.xml UNCERTIFIED 4178 UNCERTIFIED 60236 UNCERTIFIED 54273 UNCERTIFIED 60209 UNCERTIFIED 60203
tpdb-8.0/TRS/Applicative_first_order_05/30.xml UNCERTIFIED 5657 UNCERTIFIED 60239 UNCERTIFIED 60297 UNCERTIFIED 60212 UNCERTIFIED 60206
tpdb-8.0/TRS/Applicative_first_order_05/#3.10.xml UNCERTIFIED 9862 UNCERTIFIED 53095 UNCERTIFIED 56549 UNCERTIFIED 60203 UNCERTIFIED 60200
tpdb-8.0/TRS/Applicative_first_order_05/#3.13.xml UNCERTIFIED 12749 UNCERTIFIED 60228 UNCERTIFIED 60355 UNCERTIFIED 60218 UNCERTIFIED 60203
tpdb-8.0/TRS/Applicative_first_order_05/#3.16.xml UNCERTIFIED 3792 UNCERTIFIED 10387 UNCERTIFIED 16946 UNCERTIFIED 60203 UNCERTIFIED 60205
tpdb-8.0/TRS/Applicative_first_order_05/#3.18.xml UNCERTIFIED 6314 UNCERTIFIED 15669 UNCERTIFIED 15678 UNCERTIFIED 60205 UNCERTIFIED 60201
tpdb-8.0/TRS/Applicative_first_order_05/31.xml UNCERTIFIED 4807 UNCERTIFIED 20595 UNCERTIFIED 19879 UNCERTIFIED 60213 UNCERTIFIED 60199
tpdb-8.0/TRS/Applicative_first_order_05/#3.22.xml UNCERTIFIED 6176 UNCERTIFIED 31099 UNCERTIFIED 30355 UNCERTIFIED 60204 UNCERTIFIED 60205
tpdb-8.0/TRS/Applicative_first_order_05/#3.25.xml UNCERTIFIED 4505 UNCERTIFIED 60230 UNCERTIFIED 55144 UNCERTIFIED 60209 UNCERTIFIED 60223
tpdb-8.0/TRS/Applicative_first_order_05/#3.27.xml UNCERTIFIED 3630 UNCERTIFIED 58772 UNCERTIFIED 60270 UNCERTIFIED 60197 UNCERTIFIED 60216
tpdb-8.0/TRS/Applicative_first_order_05/#3.2.xml UNCERTIFIED 3853 UNCERTIFIED 13713 UNCERTIFIED 18947 UNCERTIFIED 60200 UNCERTIFIED 60206
tpdb-8.0/TRS/Applicative_first_order_05/#3.32.xml UNCERTIFIED 3373 UNCERTIFIED 60226 UNCERTIFIED 60282 UNCERTIFIED 60193 UNCERTIFIED 60202
tpdb-8.0/TRS/Applicative_first_order_05/#3.36.xml UNCERTIFIED 4152 UNCERTIFIED 18936 UNCERTIFIED 19915 UNCERTIFIED 60202 UNCERTIFIED 60201
tpdb-8.0/TRS/Applicative_first_order_05/#3.38.xml UNCERTIFIED 4582 UNCERTIFIED 15281 UNCERTIFIED 22657 UNCERTIFIED 60201 UNCERTIFIED 60207
tpdb-8.0/TRS/Applicative_first_order_05/33.xml UNCERTIFIED 6683 UNCERTIFIED 60242 UNCERTIFIED 60334 UNCERTIFIED 60197 UNCERTIFIED 60200
tpdb-8.0/TRS/Applicative_first_order_05/#3.40.xml UNCERTIFIED 5710 UNCERTIFIED 49350 UNCERTIFIED 56336 UNCERTIFIED 60206 UNCERTIFIED 60202
tpdb-8.0/TRS/Applicative_first_order_05/#3.45.xml UNCERTIFIED 7645 UNCERTIFIED 60230 UNCERTIFIED 57194 UNCERTIFIED 60200 UNCERTIFIED 60201
tpdb-8.0/TRS/Applicative_first_order_05/#3.48.xml UNCERTIFIED 7873 UNCERTIFIED 36139 UNCERTIFIED 49591 UNCERTIFIED 60212 UNCERTIFIED 60206
tpdb-8.0/TRS/Applicative_first_order_05/#3.52.xml UNCERTIFIED 4040 UNCERTIFIED 32351 UNCERTIFIED 36052 UNCERTIFIED 60217 UNCERTIFIED 60202
tpdb-8.0/TRS/Applicative_first_order_05/#3.55.xml UNCERTIFIED 7691 UNCERTIFIED 60229 UNCERTIFIED 41952 UNCERTIFIED 60201 UNCERTIFIED 60203
tpdb-8.0/TRS/Applicative_first_order_05/#3.57.xml UNCERTIFIED 7219 UNCERTIFIED 40055 UNCERTIFIED 35600 UNCERTIFIED 60210 UNCERTIFIED 60236
tpdb-8.0/TRS/Applicative_first_order_05/#3.6.xml UNCERTIFIED 5609 UNCERTIFIED 25600 UNCERTIFIED 24473 UNCERTIFIED 60208 UNCERTIFIED 60204
tpdb-8.0/TRS/Applicative_first_order_05/#3.8.xml UNCERTIFIED 4921 UNCERTIFIED 59112 UNCERTIFIED 47316 UNCERTIFIED 60195 UNCERTIFIED 60232
tpdb-8.0/TRS/Applicative_first_order_05/hydra.xml UNCERTIFIED 4205 UNCERTIFIED 60244 UNCERTIFIED 60296 UNCERTIFIED 60195 UNCERTIFIED 60216
tpdb-8.0/TRS/Applicative_first_order_05/minsort.xml UNCERTIFIED 7963 UNCERTIFIED 18244 UNCERTIFIED 22568 UNCERTIFIED 60209 UNCERTIFIED 60213
tpdb-8.0/TRS/Applicative_first_order_05/motivation.xml UNCERTIFIED 3764 UNCERTIFIED 20288 UNCERTIFIED 19097 UNCERTIFIED 60211 UNCERTIFIED 60210
tpdb-8.0/TRS/Applicative_first_order_05/perfect2.xml UNCERTIFIED 42338 UNCERTIFIED 60300 UNCERTIFIED 60401 UNCERTIFIED 60216 UNCERTIFIED 60208
tpdb-8.0/TRS/Applicative_first_order_05/perfect.xml UNCERTIFIED 32115 UNCERTIFIED 60301 UNCERTIFIED 60428 UNCERTIFIED 60210 UNCERTIFIED 60205
tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml UNCERTIFIED 60398 UNCERTIFIED 60254 UNCERTIFIED 60447 UNCERTIFIED 60225 UNCERTIFIED 60211
tpdb-8.0/TRS/AProVE_04/AAECC.xml UNCERTIFIED 23726 UNCERTIFIED 60237 UNCERTIFIED 60325 UNCERTIFIED 60242 UNCERTIFIED 60210
tpdb-8.0/TRS/AProVE_04/fac.xml UNCERTIFIED 4570 UNCERTIFIED 60237 UNCERTIFIED 60270 UNCERTIFIED 3688 UNCERTIFIED 60228
tpdb-8.0/TRS/AProVE_04/forward_instantiation2.xml UNCERTIFIED 1249 UNCERTIFIED 1765 UNCERTIFIED 1760 UNCERTIFIED 529 UNCERTIFIED 60201
tpdb-8.0/TRS/AProVE_04/forward_instantiation.xml UNCERTIFIED 1249 UNCERTIFIED 1877 UNCERTIFIED 1742 UNCERTIFIED 506 UNCERTIFIED 60194
tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml UNCERTIFIED 3338 UNCERTIFIED 30651 UNCERTIFIED 24612 UNCERTIFIED 3532 UNCERTIFIED 60198
tpdb-8.0/TRS/AProVE_04/IJCAR_18.xml UNCERTIFIED 10552 UNCERTIFIED 60293 UNCERTIFIED 60324 UNCERTIFIED 22324 UNCERTIFIED 60205
tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml UNCERTIFIED 1817 UNCERTIFIED 60249 UNCERTIFIED 60245 UNCERTIFIED 2673 UNCERTIFIED 60288
tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml UNCERTIFIED 12010 UNCERTIFIED 60265 UNCERTIFIED 60346 UNCERTIFIED 17278 UNCERTIFIED 60207
tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml UNCERTIFIED 12698 UNCERTIFIED 60264 UNCERTIFIED 60319 UNCERTIFIED 16173 UNCERTIFIED 60202
tpdb-8.0/TRS/AProVE_04/improved_usable2.xml UNCERTIFIED 2337 UNCERTIFIED 2772 UNCERTIFIED 3331 UNCERTIFIED 213 UNCERTIFIED 5217
tpdb-8.0/TRS/AProVE_04/improved_usable.xml UNCERTIFIED 2535 UNCERTIFIED 2993 UNCERTIFIED 3918 UNCERTIFIED 218 UNCERTIFIED 5402
tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml UNCERTIFIED 60276 UNCERTIFIED 60344 UNCERTIFIED 60331 UNCERTIFIED 47260 UNCERTIFIED 60207
tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml UNCERTIFIED 10207 UNCERTIFIED 10601 UNCERTIFIED 14358 UNCERTIFIED 5544 UNCERTIFIED 60204
tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml UNCERTIFIED 4189 UNCERTIFIED 8146 UNCERTIFIED 6957 UNCERTIFIED 19319 UNCERTIFIED 2087
tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml UNCERTIFIED 3433 UNCERTIFIED 3160 UNCERTIFIED 2898 UNCERTIFIED 5680 UNCERTIFIED 948
tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml UNCERTIFIED 60255 UNCERTIFIED 11671 UNCERTIFIED 11034 UNCERTIFIED 60310 UNCERTIFIED 3177
tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml UNCERTIFIED 8536 UNCERTIFIED 60261 UNCERTIFIED 60332 UNCERTIFIED 60291 UNCERTIFIED 60251
tpdb-8.0/TRS/AProVE_04/Liveness8.xml UNCERTIFIED 15863 UNCERTIFIED 5756 UNCERTIFIED 5925 UNCERTIFIED 5253 UNCERTIFIED 3672
tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml UNCERTIFIED 25551 UNCERTIFIED 24100 UNCERTIFIED 22335 UNCERTIFIED 39410 UNCERTIFIED 2586
tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml UNCERTIFIED 60257 UNCERTIFIED 3423 UNCERTIFIED 3352 UNCERTIFIED 31087 UNCERTIFIED 1460
tpdb-8.0/TRS/AProVE_04/rta1.xml UNCERTIFIED 2564 UNCERTIFIED 52368 UNCERTIFIED 60261 UNCERTIFIED 12978 UNCERTIFIED 60239
tpdb-8.0/TRS/AProVE_04/rta2.xml UNCERTIFIED 1922 UNCERTIFIED 2019 UNCERTIFIED 1859 UNCERTIFIED 131 UNCERTIFIED 221
tpdb-8.0/TRS/AProVE_04/rta3.xml UNCERTIFIED 2026 UNCERTIFIED 10718 UNCERTIFIED 11713 UNCERTIFIED 6947 UNCERTIFIED 60248
tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml UNCERTIFIED 60834 UNCERTIFIED 61275 UNCERTIFIED 60323 UNCERTIFIED 32025 UNCERTIFIED 60237
tpdb-8.0/TRS/AProVE_06/div_notTermin.xml UNCERTIFIED 60758 UNCERTIFIED 61297 UNCERTIFIED 60335 UNCERTIFIED 36108 UNCERTIFIED 60201
tpdb-8.0/TRS/AProVE_06/factorial1.xml UNCERTIFIED 5165 UNCERTIFIED 60256 UNCERTIFIED 60289 UNCERTIFIED 10777 UNCERTIFIED 60220
tpdb-8.0/TRS/AProVE_06/factorial2.xml UNCERTIFIED 7066 UNCERTIFIED 35058 UNCERTIFIED 36769 UNCERTIFIED 6828 UNCERTIFIED 60236
tpdb-8.0/TRS/AProVE_06/identity.xml UNCERTIFIED 2821 UNCERTIFIED 60238 UNCERTIFIED 60278 UNCERTIFIED 5313 UNCERTIFIED 60273
tpdb-8.0/TRS/AProVE_06/logarithm.xml UNCERTIFIED 30971 UNCERTIFIED 60263 UNCERTIFIED 60302 UNCERTIFIED 60278 UNCERTIFIED 60233
tpdb-8.0/TRS/AProVE_06/mapHard.xml UNCERTIFIED 4720 UNCERTIFIED 9670 UNCERTIFIED 9770 UNCERTIFIED 52415 UNCERTIFIED 60205
tpdb-8.0/TRS/AProVE_06/modulo.xml UNCERTIFIED 5152 UNCERTIFIED 17831 UNCERTIFIED 15848 UNCERTIFIED 2654 UNCERTIFIED 60215
tpdb-8.0/TRS/AProVE_06/nonterm.xml UNCERTIFIED 60307 UNCERTIFIED 60352 UNCERTIFIED 60364 UNCERTIFIED 31020 UNCERTIFIED 60292
tpdb-8.0/TRS/AProVE_06/quicksort.xml UNCERTIFIED 37933 UNCERTIFIED 60267 UNCERTIFIED 60331 UNCERTIFIED 38604 UNCERTIFIED 60204
tpdb-8.0/TRS/AProVE_06/quot.xml UNCERTIFIED 3614 UNCERTIFIED 60236 UNCERTIFIED 60270 UNCERTIFIED 2619 UNCERTIFIED 60248
tpdb-8.0/TRS/AProVE_06/sizeChange.xml UNCERTIFIED 2161 UNCERTIFIED 16472 UNCERTIFIED 11014 UNCERTIFIED 4309 UNCERTIFIED 60234
tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml UNCERTIFIED 4826 UNCERTIFIED 60237 UNCERTIFIED 60270 UNCERTIFIED 2246 UNCERTIFIED 60256
tpdb-8.0/TRS/AProVE_06/tower.xml UNCERTIFIED 7003 UNCERTIFIED 60271 UNCERTIFIED 60309 UNCERTIFIED 6600 UNCERTIFIED 60207
tpdb-8.0/TRS/AProVE_07/kabasci01.xml UNCERTIFIED 52106 UNCERTIFIED 51393 UNCERTIFIED 41607 UNCERTIFIED 55463 UNCERTIFIED 60206
tpdb-8.0/TRS/AProVE_07/kabasci02.xml UNCERTIFIED 15223 UNCERTIFIED 60239 UNCERTIFIED 60423 UNCERTIFIED 60198 UNCERTIFIED 60215
tpdb-8.0/TRS/AProVE_07/kabasci03.xml UNCERTIFIED 47702 UNCERTIFIED 60234 UNCERTIFIED 60301 UNCERTIFIED 60245 UNCERTIFIED 60202
tpdb-8.0/TRS/AProVE_07/kabasci04.xml UNCERTIFIED 8106 UNCERTIFIED 60227 UNCERTIFIED 60276 UNCERTIFIED 25867 UNCERTIFIED 60211
tpdb-8.0/TRS/AProVE_07/kabasci05.xml UNCERTIFIED 9931 UNCERTIFIED 60313 UNCERTIFIED 60357 UNCERTIFIED 10063 UNCERTIFIED 60231
tpdb-8.0/TRS/AProVE_07/kabasci06.xml UNCERTIFIED 5175 UNCERTIFIED 17361 UNCERTIFIED 16096 UNCERTIFIED 60206 UNCERTIFIED 60205
tpdb-8.0/TRS/AProVE_07/otto01.xml UNCERTIFIED 60318 UNCERTIFIED 60256 UNCERTIFIED 60335 UNCERTIFIED 11831 UNCERTIFIED 60201
tpdb-8.0/TRS/AProVE_07/otto02.xml UNCERTIFIED 11280 UNCERTIFIED 60258 UNCERTIFIED 60435 UNCERTIFIED 3784 UNCERTIFIED 60204
tpdb-8.0/TRS/AProVE_07/otto03.xml UNCERTIFIED 2362 UNCERTIFIED 5268 UNCERTIFIED 6837 UNCERTIFIED 2237 UNCERTIFIED 60294
tpdb-8.0/TRS/AProVE_07/otto04.xml UNCERTIFIED 12204 UNCERTIFIED 60235 UNCERTIFIED 60283 UNCERTIFIED 5781 UNCERTIFIED 60258
tpdb-8.0/TRS/AProVE_07/otto05.xml UNCERTIFIED 3764 UNCERTIFIED 60226 UNCERTIFIED 60273 UNCERTIFIED 6500 UNCERTIFIED 60242
tpdb-8.0/TRS/AProVE_07/otto06.xml UNCERTIFIED 41716 UNCERTIFIED 60262 UNCERTIFIED 60303 UNCERTIFIED 38752 UNCERTIFIED 60248
tpdb-8.0/TRS/AProVE_07/otto07.xml UNCERTIFIED 2655 UNCERTIFIED 60236 UNCERTIFIED 60255 UNCERTIFIED 1754 UNCERTIFIED 60289
tpdb-8.0/TRS/AProVE_07/otto08.xml UNCERTIFIED 6291 UNCERTIFIED 15682 UNCERTIFIED 18129 UNCERTIFIED 7228 UNCERTIFIED 60201
tpdb-8.0/TRS/AProVE_07/otto09.xml UNCERTIFIED 8115 UNCERTIFIED 30864 UNCERTIFIED 31093 UNCERTIFIED 5527 UNCERTIFIED 60278
tpdb-8.0/TRS/AProVE_07/otto10.xml UNCERTIFIED 10411 UNCERTIFIED 60231 UNCERTIFIED 60280 UNCERTIFIED 21919 UNCERTIFIED 60202
tpdb-8.0/TRS/AProVE_07/otto11.xml UNCERTIFIED 3510 UNCERTIFIED 34398 UNCERTIFIED 31135 UNCERTIFIED 2651 UNCERTIFIED 60233
tpdb-8.0/TRS/AProVE_07/otto12.xml UNCERTIFIED 9143 UNCERTIFIED 52691 UNCERTIFIED 58681 UNCERTIFIED 8090 UNCERTIFIED 60267
tpdb-8.0/TRS/AProVE_07/otto13.xml UNCERTIFIED 8822 UNCERTIFIED 20431 UNCERTIFIED 25979 UNCERTIFIED 6191 UNCERTIFIED 60227
tpdb-8.0/TRS/AProVE_07/thiemann01.xml UNCERTIFIED 4036 UNCERTIFIED 18414 UNCERTIFIED 27424 UNCERTIFIED 7874 UNCERTIFIED 60267
tpdb-8.0/TRS/AProVE_07/thiemann02.xml UNCERTIFIED 29567 UNCERTIFIED 60266 UNCERTIFIED 60307 UNCERTIFIED 60228 UNCERTIFIED 60208
tpdb-8.0/TRS/AProVE_07/thiemann03.xml UNCERTIFIED 5309 UNCERTIFIED 60229 UNCERTIFIED 60313 UNCERTIFIED 7789 UNCERTIFIED 60236
tpdb-8.0/TRS/AProVE_07/thiemann04.xml UNCERTIFIED 60248 UNCERTIFIED 60261 UNCERTIFIED 60315 UNCERTIFIED 60206 UNCERTIFIED 60242
tpdb-8.0/TRS/AProVE_07/thiemann05.xml UNCERTIFIED 2761 UNCERTIFIED 12303 UNCERTIFIED 13462 UNCERTIFIED 11522 UNCERTIFIED 60230
tpdb-8.0/TRS/AProVE_07/thiemann06.xml UNCERTIFIED 20059 UNCERTIFIED 60243 UNCERTIFIED 60274 UNCERTIFIED 60252 UNCERTIFIED 60251
tpdb-8.0/TRS/AProVE_07/thiemann07.xml UNCERTIFIED 12771 UNCERTIFIED 60235 UNCERTIFIED 60281 UNCERTIFIED 50366 UNCERTIFIED 60231
tpdb-8.0/TRS/AProVE_07/thiemann08.xml UNCERTIFIED 3252 UNCERTIFIED 30690 UNCERTIFIED 29787 UNCERTIFIED 2365 UNCERTIFIED 59547
tpdb-8.0/TRS/AProVE_07/thiemann09.xml UNCERTIFIED 8381 UNCERTIFIED 60235 UNCERTIFIED 60283 UNCERTIFIED 5465 UNCERTIFIED 60204
tpdb-8.0/TRS/AProVE_07/thiemann10.xml UNCERTIFIED 3524 UNCERTIFIED 10529 UNCERTIFIED 9214 UNCERTIFIED 10093 UNCERTIFIED 19178
tpdb-8.0/TRS/AProVE_07/thiemann11.xml UNCERTIFIED 9371 UNCERTIFIED 60229 UNCERTIFIED 60272 UNCERTIFIED 45412 UNCERTIFIED 60251
tpdb-8.0/TRS/AProVE_07/thiemann12.xml UNCERTIFIED 5110 UNCERTIFIED 9942 UNCERTIFIED 10140 UNCERTIFIED 14460 UNCERTIFIED 24154
tpdb-8.0/TRS/AProVE_07/thiemann13.xml UNCERTIFIED 9533 UNCERTIFIED 60255 UNCERTIFIED 60329 UNCERTIFIED 60248 UNCERTIFIED 60205
tpdb-8.0/TRS/AProVE_07/thiemann14.xml UNCERTIFIED 7160 UNCERTIFIED 60261 UNCERTIFIED 60295 UNCERTIFIED 46756 UNCERTIFIED 60273
tpdb-8.0/TRS/AProVE_07/thiemann15.xml UNCERTIFIED 3694 UNCERTIFIED 11323 UNCERTIFIED 10270 UNCERTIFIED 5095 UNCERTIFIED 15895
tpdb-8.0/TRS/AProVE_07/thiemann16.xml UNCERTIFIED 9803 UNCERTIFIED 60416 UNCERTIFIED 60328 UNCERTIFIED 20231 UNCERTIFIED 60199
tpdb-8.0/TRS/AProVE_07/thiemann17.xml UNCERTIFIED 7561 UNCERTIFIED 60249 UNCERTIFIED 60291 UNCERTIFIED 60274 UNCERTIFIED 60276
tpdb-8.0/TRS/AProVE_07/thiemann18.xml UNCERTIFIED 15543 UNCERTIFIED 32064 UNCERTIFIED 30630 UNCERTIFIED 60250 UNCERTIFIED 60209
tpdb-8.0/TRS/AProVE_07/thiemann19.xml UNCERTIFIED 14543 UNCERTIFIED 60241 UNCERTIFIED 60283 UNCERTIFIED 47185 UNCERTIFIED 60249
tpdb-8.0/TRS/AProVE_07/thiemann20.xml UNCERTIFIED 3810 UNCERTIFIED 46439 UNCERTIFIED 32552 UNCERTIFIED 4701 UNCERTIFIED 60284
tpdb-8.0/TRS/AProVE_07/thiemann21.xml UNCERTIFIED 33971 UNCERTIFIED 60265 UNCERTIFIED 60338 UNCERTIFIED 44848 UNCERTIFIED 60202
tpdb-8.0/TRS/AProVE_07/thiemann22.xml UNCERTIFIED 7509 UNCERTIFIED 60263 UNCERTIFIED 60304 UNCERTIFIED 29119 UNCERTIFIED 60267
tpdb-8.0/TRS/AProVE_07/thiemann23.xml UNCERTIFIED 60239 UNCERTIFIED 60247 UNCERTIFIED 60262 UNCERTIFIED 46935 UNCERTIFIED 60289
tpdb-8.0/TRS/AProVE_07/thiemann24.xml UNCERTIFIED 5652 UNCERTIFIED 33479 UNCERTIFIED 39828 UNCERTIFIED 4123 UNCERTIFIED 60267
tpdb-8.0/TRS/AProVE_07/thiemann25.xml UNCERTIFIED 3813 UNCERTIFIED 26840 UNCERTIFIED 24398 UNCERTIFIED 2784 UNCERTIFIED 60230
tpdb-8.0/TRS/AProVE_07/thiemann26.xml UNCERTIFIED 4527 UNCERTIFIED 60228 UNCERTIFIED 46321 UNCERTIFIED 6929 UNCERTIFIED 60241
tpdb-8.0/TRS/AProVE_07/thiemann27.xml UNCERTIFIED 2296 UNCERTIFIED 4618 UNCERTIFIED 4879 UNCERTIFIED 1542 UNCERTIFIED 60247
tpdb-8.0/TRS/AProVE_07/thiemann28.xml UNCERTIFIED 4195 UNCERTIFIED 60234 UNCERTIFIED 60265 UNCERTIFIED 5159 UNCERTIFIED 60247
tpdb-8.0/TRS/AProVE_07/thiemann29.xml UNCERTIFIED 10917 UNCERTIFIED 60263 UNCERTIFIED 60316 UNCERTIFIED 20274 UNCERTIFIED 60214
tpdb-8.0/TRS/AProVE_07/thiemann30.xml UNCERTIFIED 21329 UNCERTIFIED 60230 UNCERTIFIED 60346 UNCERTIFIED 43819 UNCERTIFIED 60202
tpdb-8.0/TRS/AProVE_07/thiemann31.xml UNCERTIFIED 5281 UNCERTIFIED 37279 UNCERTIFIED 56670 UNCERTIFIED 20123 UNCERTIFIED 60252
tpdb-8.0/TRS/AProVE_07/thiemann32.xml UNCERTIFIED 60304 UNCERTIFIED 60314 UNCERTIFIED 60308 UNCERTIFIED 60205 UNCERTIFIED 60210
tpdb-8.0/TRS/AProVE_07/thiemann33.xml UNCERTIFIED 60261 UNCERTIFIED 60287 UNCERTIFIED 60291 UNCERTIFIED 35294 UNCERTIFIED 60244
tpdb-8.0/TRS/AProVE_07/thiemann34.xml UNCERTIFIED 3405 UNCERTIFIED 14143 UNCERTIFIED 16522 UNCERTIFIED 23585 UNCERTIFIED 60241
tpdb-8.0/TRS/AProVE_07/thiemann35.xml UNCERTIFIED 8257 UNCERTIFIED 30321 UNCERTIFIED 29998 UNCERTIFIED 60221 UNCERTIFIED 60208
tpdb-8.0/TRS/AProVE_07/thiemann36.xml UNCERTIFIED 7208 UNCERTIFIED 46957 UNCERTIFIED 60272 UNCERTIFIED 23618 UNCERTIFIED 60281
tpdb-8.0/TRS/AProVE_07/thiemann37.xml UNCERTIFIED 60256 UNCERTIFIED 60261 UNCERTIFIED 60283 UNCERTIFIED 39726 UNCERTIFIED 60229
tpdb-8.0/TRS/AProVE_07/thiemann38.xml UNCERTIFIED 6544 UNCERTIFIED 60232 UNCERTIFIED 60309 UNCERTIFIED 11693 UNCERTIFIED 60243
tpdb-8.0/TRS/AProVE_07/thiemann39.xml UNCERTIFIED 4565 UNCERTIFIED 22934 UNCERTIFIED 20266 UNCERTIFIED 60213 UNCERTIFIED 60207
tpdb-8.0/TRS/AProVE_07/thiemann40.xml UNCERTIFIED 1379 UNCERTIFIED 5070 UNCERTIFIED 6118 UNCERTIFIED 1464 UNCERTIFIED 60269
tpdb-8.0/TRS/AProVE_07/thiemann41.xml UNCERTIFIED 10809 UNCERTIFIED 60233 UNCERTIFIED 60271 UNCERTIFIED 9316 UNCERTIFIED 60282
tpdb-8.0/TRS/AProVE_07/wiehe01.xml UNCERTIFIED 60524 UNCERTIFIED 60265 UNCERTIFIED 60367 UNCERTIFIED 46101 UNCERTIFIED 60230
tpdb-8.0/TRS/AProVE_07/wiehe02.xml UNCERTIFIED 60398 UNCERTIFIED 60311 UNCERTIFIED 60415 UNCERTIFIED 60250 UNCERTIFIED 60204
tpdb-8.0/TRS/AProVE_07/wiehe03.xml UNCERTIFIED 60398 UNCERTIFIED 60328 UNCERTIFIED 60442 UNCERTIFIED 60230 UNCERTIFIED 60202
tpdb-8.0/TRS/AProVE_07/wiehe05.xml UNCERTIFIED 60477 UNCERTIFIED 60354 UNCERTIFIED 60449 UNCERTIFIED 57594 UNCERTIFIED 60205
tpdb-8.0/TRS/AProVE_07/wiehe06.xml UNCERTIFIED 60455 UNCERTIFIED 60317 UNCERTIFIED 60403 UNCERTIFIED 46117 UNCERTIFIED 60239
tpdb-8.0/TRS/AProVE_07/wiehe07.xml UNCERTIFIED 60458 UNCERTIFIED 60325 UNCERTIFIED 60365 UNCERTIFIED 60214 UNCERTIFIED 60207
tpdb-8.0/TRS/AProVE_07/wiehe08.xml UNCERTIFIED 60545 UNCERTIFIED 60400 UNCERTIFIED 60320 UNCERTIFIED 59108 UNCERTIFIED 60207
tpdb-8.0/TRS/AProVE_07/wiehe09.xml UNCERTIFIED 60457 UNCERTIFIED 60363 UNCERTIFIED 60399 UNCERTIFIED 58752 UNCERTIFIED 60207
tpdb-8.0/TRS/AProVE_07/wiehe11.xml UNCERTIFIED 60457 UNCERTIFIED 60307 UNCERTIFIED 60395 UNCERTIFIED 54419 UNCERTIFIED 60217
tpdb-8.0/TRS/AProVE_07/wiehe12.xml UNCERTIFIED 60748 UNCERTIFIED 60306 UNCERTIFIED 60387 UNCERTIFIED 60212 UNCERTIFIED 60206
tpdb-8.0/TRS/AProVE_08/id_inc.xml UNCERTIFIED 7171 UNCERTIFIED 60254 UNCERTIFIED 60301 UNCERTIFIED 60269 UNCERTIFIED 31164
tpdb-8.0/TRS/AProVE_08/log.xml UNCERTIFIED 9717 UNCERTIFIED 60253 UNCERTIFIED 60308 UNCERTIFIED 36317 UNCERTIFIED 60227
tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml UNCERTIFIED 10584 UNCERTIFIED 60255 UNCERTIFIED 60326 UNCERTIFIED 36411 UNCERTIFIED 60202
tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml UNCERTIFIED 15941 UNCERTIFIED 60243 UNCERTIFIED 60278 UNCERTIFIED 36241 UNCERTIFIED 60249
tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml UNCERTIFIED 10288 UNCERTIFIED 60262 UNCERTIFIED 60338 UNCERTIFIED 17662 UNCERTIFIED 60295
tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml UNCERTIFIED 60671 UNCERTIFIED 60553 UNCERTIFIED 60331 UNCERTIFIED 55994 UNCERTIFIED 60236
tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml UNCERTIFIED 13808 UNCERTIFIED 60263 UNCERTIFIED 60312 UNCERTIFIED 38290 UNCERTIFIED 60200
tpdb-8.0/TRS/AProVE_08/round_nonterm.xml UNCERTIFIED 1544 UNCERTIFIED 3279 UNCERTIFIED 2878 UNCERTIFIED 96 UNCERTIFIED 60200
tpdb-8.0/TRS/AProVE_08/round.xml UNCERTIFIED 1576 UNCERTIFIED 3804 UNCERTIFIED 3020 UNCERTIFIED 99 UNCERTIFIED 60203
tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml UNCERTIFIED 2216 UNCERTIFIED 47907 UNCERTIFIED 55397 UNCERTIFIED 3217 UNCERTIFIED 60279
tpdb-8.0/TRS/Beerendonk_07/10.xml UNCERTIFIED 4762 UNCERTIFIED 17479 UNCERTIFIED 16744 UNCERTIFIED 9320 UNCERTIFIED 37719
tpdb-8.0/TRS/Beerendonk_07/11.xml UNCERTIFIED 3564 UNCERTIFIED 12064 UNCERTIFIED 11669 UNCERTIFIED 6157 UNCERTIFIED 60234
tpdb-8.0/TRS/Beerendonk_07/12.xml UNCERTIFIED 2255 UNCERTIFIED 7214 UNCERTIFIED 6978 UNCERTIFIED 3658 UNCERTIFIED 60287
tpdb-8.0/TRS/Beerendonk_07/13.xml UNCERTIFIED 2418 UNCERTIFIED 7167 UNCERTIFIED 8282 UNCERTIFIED 3455 UNCERTIFIED 60271
tpdb-8.0/TRS/Beerendonk_07/14.xml UNCERTIFIED 3336 UNCERTIFIED 12087 UNCERTIFIED 11793 UNCERTIFIED 4466 UNCERTIFIED 60231
tpdb-8.0/TRS/Beerendonk_07/15.xml UNCERTIFIED 4908 UNCERTIFIED 30037 UNCERTIFIED 38319 UNCERTIFIED 60238 UNCERTIFIED 60252
tpdb-8.0/TRS/Beerendonk_07/16.xml UNCERTIFIED 6194 UNCERTIFIED 60233 UNCERTIFIED 36887 UNCERTIFIED 53682 UNCERTIFIED 60251
tpdb-8.0/TRS/Beerendonk_07/17.xml UNCERTIFIED 6725 UNCERTIFIED 27788 UNCERTIFIED 22522 UNCERTIFIED 54782 UNCERTIFIED 60220
tpdb-8.0/TRS/Beerendonk_07/18.xml UNCERTIFIED 4126 UNCERTIFIED 60223 UNCERTIFIED 60267 UNCERTIFIED 60244 UNCERTIFIED 60220
tpdb-8.0/TRS/Beerendonk_07/19.xml UNCERTIFIED 5554 UNCERTIFIED 60230 UNCERTIFIED 60311 UNCERTIFIED 60259 UNCERTIFIED 60230
tpdb-8.0/TRS/Beerendonk_07/1.xml UNCERTIFIED 1593 UNCERTIFIED 5229 UNCERTIFIED 5134 UNCERTIFIED 655 UNCERTIFIED 6865
tpdb-8.0/TRS/Beerendonk_07/20.xml UNCERTIFIED 4460 UNCERTIFIED 22869 UNCERTIFIED 34606 UNCERTIFIED 26778 UNCERTIFIED 60245
tpdb-8.0/TRS/Beerendonk_07/21.xml UNCERTIFIED 5074 UNCERTIFIED 24756 UNCERTIFIED 28735 UNCERTIFIED 18932 UNCERTIFIED 60241
tpdb-8.0/TRS/Beerendonk_07/22.xml UNCERTIFIED 2359 UNCERTIFIED 10690 UNCERTIFIED 9812 UNCERTIFIED 3821 UNCERTIFIED 20037
tpdb-8.0/TRS/Beerendonk_07/23.xml UNCERTIFIED 2552 UNCERTIFIED 9630 UNCERTIFIED 10610 UNCERTIFIED 3136 UNCERTIFIED 20912
tpdb-8.0/TRS/Beerendonk_07/24.xml UNCERTIFIED 4148 UNCERTIFIED 60229 UNCERTIFIED 60272 UNCERTIFIED 60238 UNCERTIFIED 60253
tpdb-8.0/TRS/Beerendonk_07/2.xml UNCERTIFIED 1707 UNCERTIFIED 6598 UNCERTIFIED 6053 UNCERTIFIED 841 UNCERTIFIED 8565
tpdb-8.0/TRS/Beerendonk_07/3.xml UNCERTIFIED 2174 UNCERTIFIED 5449 UNCERTIFIED 5408 UNCERTIFIED 702 UNCERTIFIED 60198
tpdb-8.0/TRS/Beerendonk_07/4.xml UNCERTIFIED 1513 UNCERTIFIED 3757 UNCERTIFIED 3403 UNCERTIFIED 507 UNCERTIFIED 60273
tpdb-8.0/TRS/Beerendonk_07/5.xml UNCERTIFIED 2236 UNCERTIFIED 6358 UNCERTIFIED 6159 UNCERTIFIED 13653 UNCERTIFIED 13301
tpdb-8.0/TRS/Beerendonk_07/6.xml UNCERTIFIED 1581 UNCERTIFIED 4723 UNCERTIFIED 4294 UNCERTIFIED 668 UNCERTIFIED 5842
tpdb-8.0/TRS/Beerendonk_07/7.xml UNCERTIFIED 1742 UNCERTIFIED 6780 UNCERTIFIED 6371 UNCERTIFIED 3685 UNCERTIFIED 8905
tpdb-8.0/TRS/Beerendonk_07/8.xml UNCERTIFIED 2545 UNCERTIFIED 8564 UNCERTIFIED 7703 UNCERTIFIED 18185 UNCERTIFIED 14378
tpdb-8.0/TRS/Beerendonk_07/9.xml UNCERTIFIED 3326 UNCERTIFIED 7996 UNCERTIFIED 7550 UNCERTIFIED 4840 UNCERTIFIED 16321
tpdb-8.0/TRS/CiME_04/ack_prolog.xml UNCERTIFIED 3004 UNCERTIFIED 3429 UNCERTIFIED 4847 UNCERTIFIED 15926 UNCERTIFIED 9852
tpdb-8.0/TRS/CiME_04/append-hard.xml UNCERTIFIED 1501 UNCERTIFIED 9210 UNCERTIFIED 8826 UNCERTIFIED 1269 UNCERTIFIED 60207
tpdb-8.0/TRS/CiME_04/append-wrong.xml UNCERTIFIED 1471 UNCERTIFIED 13007 UNCERTIFIED 14271 UNCERTIFIED 1693 UNCERTIFIED 60248
tpdb-8.0/TRS/CiME_04/append.xml UNCERTIFIED 2145 UNCERTIFIED 2509 UNCERTIFIED 3241 UNCERTIFIED 162 UNCERTIFIED 2584
tpdb-8.0/TRS/CiME_04/big.xml UNCERTIFIED 60409 UNCERTIFIED 60246 UNCERTIFIED 60717 UNCERTIFIED 54764 UNCERTIFIED 60204
tpdb-8.0/TRS/CiME_04/boolean_rings.xml UNCERTIFIED 2459 UNCERTIFIED 3079 UNCERTIFIED 6204 UNCERTIFIED 486 UNCERTIFIED 16893
tpdb-8.0/TRS/CiME_04/dpqs.xml UNCERTIFIED 1683 UNCERTIFIED 2038 UNCERTIFIED 4301 UNCERTIFIED 113 UNCERTIFIED 690
tpdb-8.0/TRS/CiME_04/fact-hard.xml UNCERTIFIED 6087 UNCERTIFIED 60234 UNCERTIFIED 60261 UNCERTIFIED 24551 UNCERTIFIED 60258
tpdb-8.0/TRS/CiME_04/filliatre2.xml UNCERTIFIED 5072 UNCERTIFIED 4219 UNCERTIFIED 3875 UNCERTIFIED 9038 UNCERTIFIED 3092
tpdb-8.0/TRS/CiME_04/filliatre3.xml UNCERTIFIED 6468 UNCERTIFIED 5474 UNCERTIFIED 4673 UNCERTIFIED 12905 UNCERTIFIED 37066
tpdb-8.0/TRS/CiME_04/filliatre.xml UNCERTIFIED 4500 UNCERTIFIED 4130 UNCERTIFIED 3380 UNCERTIFIED 290 UNCERTIFIED 1106
tpdb-8.0/TRS/CiME_04/intersect.xml UNCERTIFIED 10602 UNCERTIFIED 12728 UNCERTIFIED 11811 UNCERTIFIED 41123 UNCERTIFIED 60207
tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml UNCERTIFIED 13595 UNCERTIFIED 4960 UNCERTIFIED 3735 UNCERTIFIED 647 UNCERTIFIED 60207
tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml UNCERTIFIED 6014 UNCERTIFIED 3842 UNCERTIFIED 2885 UNCERTIFIED 428 UNCERTIFIED 60236
tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml UNCERTIFIED 12450 UNCERTIFIED 60235 UNCERTIFIED 60287 UNCERTIFIED 12845 UNCERTIFIED 60202
tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml UNCERTIFIED 10713 UNCERTIFIED 3560 UNCERTIFIED 2860 UNCERTIFIED 6520 UNCERTIFIED 60199
tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml UNCERTIFIED 7011 UNCERTIFIED 3098 UNCERTIFIED 2519 UNCERTIFIED 3682 UNCERTIFIED 60225
tpdb-8.0/TRS/CiME_04/list-sum-prod.xml UNCERTIFIED 4777 UNCERTIFIED 3304 UNCERTIFIED 2538 UNCERTIFIED 379 UNCERTIFIED 60249
tpdb-8.0/TRS/CiME_04/log2.xml UNCERTIFIED 19810 UNCERTIFIED 11293 UNCERTIFIED 10213 UNCERTIFIED 31575 UNCERTIFIED 9644
tpdb-8.0/TRS/CiME_04/lse.xml UNCERTIFIED 14506 UNCERTIFIED 60242 UNCERTIFIED 60306 UNCERTIFIED 60194 UNCERTIFIED 60204
tpdb-8.0/TRS/CiME_04/maude2.xml UNCERTIFIED 51895 UNCERTIFIED 60263 UNCERTIFIED 60343 UNCERTIFIED 43455 UNCERTIFIED 60206
tpdb-8.0/TRS/CiME_04/mucrl1.xml UNCERTIFIED 60463 UNCERTIFIED 60547 UNCERTIFIED 60356 UNCERTIFIED 60209 UNCERTIFIED 60200
tpdb-8.0/TRS/CiME_04/ternary-hard.xml UNCERTIFIED 10372 UNCERTIFIED 60231 UNCERTIFIED 60324 UNCERTIFIED 20285 UNCERTIFIED 60196
tpdb-8.0/TRS/CiME_04/ternary.xml UNCERTIFIED 14420 UNCERTIFIED 7628 UNCERTIFIED 6200 UNCERTIFIED 10815 UNCERTIFIED 60199
tpdb-8.0/TRS/CiME_04/tree.xml UNCERTIFIED 60202 UNCERTIFIED 17527 UNCERTIFIED 17891 UNCERTIFIED 60248 UNCERTIFIED 17251
tpdb-8.0/TRS/Der95/01.xml UNCERTIFIED 1662 UNCERTIFIED 1998 UNCERTIFIED 2087 UNCERTIFIED 105 UNCERTIFIED 149
tpdb-8.0/TRS/Der95/02.xml UNCERTIFIED 1673 UNCERTIFIED 1990 UNCERTIFIED 1997 UNCERTIFIED 104 UNCERTIFIED 133
tpdb-8.0/TRS/Der95/03.xml UNCERTIFIED 1622 UNCERTIFIED 1917 UNCERTIFIED 2024 UNCERTIFIED 102 UNCERTIFIED 143
tpdb-8.0/TRS/Der95/04.xml UNCERTIFIED 1968 UNCERTIFIED 2415 UNCERTIFIED 2343 UNCERTIFIED 130 UNCERTIFIED 125
tpdb-8.0/TRS/Der95/06.xml UNCERTIFIED 1883 UNCERTIFIED 2413 UNCERTIFIED 2399 UNCERTIFIED 127 UNCERTIFIED 229
tpdb-8.0/TRS/Der95/07.xml UNCERTIFIED 2229 UNCERTIFIED 2689 UNCERTIFIED 2997 UNCERTIFIED 150 UNCERTIFIED 473
tpdb-8.0/TRS/Der95/08.xml UNCERTIFIED 2412 UNCERTIFIED 2752 UNCERTIFIED 3893 UNCERTIFIED 176 UNCERTIFIED 20258
tpdb-8.0/TRS/Der95/09.xml UNCERTIFIED 1973 UNCERTIFIED 1983 UNCERTIFIED 1849 UNCERTIFIED 132 UNCERTIFIED 196
tpdb-8.0/TRS/Der95/11.xml UNCERTIFIED 8890 UNCERTIFIED 60349 UNCERTIFIED 60355 UNCERTIFIED 294 UNCERTIFIED 60205
tpdb-8.0/TRS/Der95/12.xml UNCERTIFIED 2159 UNCERTIFIED 60231 UNCERTIFIED 60258 UNCERTIFIED 2302 UNCERTIFIED 60238
tpdb-8.0/TRS/Der95/13.xml UNCERTIFIED 3139 UNCERTIFIED 4476 UNCERTIFIED 7236 UNCERTIFIED 3540 UNCERTIFIED 60243
tpdb-8.0/TRS/Der95/17.xml UNCERTIFIED 2694 UNCERTIFIED 2345 UNCERTIFIED 2108 UNCERTIFIED 174 UNCERTIFIED 563
tpdb-8.0/TRS/Der95/18.xml UNCERTIFIED 1946 UNCERTIFIED 2314 UNCERTIFIED 2440 UNCERTIFIED 130 UNCERTIFIED 1289
tpdb-8.0/TRS/Der95/20.xml UNCERTIFIED 3032 UNCERTIFIED 3194 UNCERTIFIED 3194 UNCERTIFIED 184 UNCERTIFIED 535
tpdb-8.0/TRS/Der95/21.xml UNCERTIFIED 2303 UNCERTIFIED 18958 UNCERTIFIED 14871 UNCERTIFIED 1693 UNCERTIFIED 60296
tpdb-8.0/TRS/Der95/27.xml UNCERTIFIED 2033 UNCERTIFIED 2191 UNCERTIFIED 2011 UNCERTIFIED 133 UNCERTIFIED 231
tpdb-8.0/TRS/Der95/28.xml UNCERTIFIED 2096 UNCERTIFIED 2486 UNCERTIFIED 6211 UNCERTIFIED 141 UNCERTIFIED 60285
tpdb-8.0/TRS/Der95/30.xml UNCERTIFIED 2401 UNCERTIFIED 2885 UNCERTIFIED 9568 UNCERTIFIED 170 UNCERTIFIED 60237
tpdb-8.0/TRS/Der95/31.xml UNCERTIFIED 2393 UNCERTIFIED 2789 UNCERTIFIED 4063 UNCERTIFIED 165 UNCERTIFIED 60281
tpdb-8.0/TRS/Der95/32.xml UNCERTIFIED 3574 UNCERTIFIED 4402 UNCERTIFIED 5890 UNCERTIFIED 621 UNCERTIFIED 10326
tpdb-8.0/TRS/Der95/33.xml UNCERTIFIED 25339 UNCERTIFIED 60248 UNCERTIFIED 60294 UNCERTIFIED 31560 UNCERTIFIED 60245
tpdb-8.0/TRS/Endrullis_06/direct.xml UNCERTIFIED 2966 UNCERTIFIED 2705 UNCERTIFIED 2548 UNCERTIFIED 1999 UNCERTIFIED 13846
tpdb-8.0/TRS/Endrullis_06/labeling.xml UNCERTIFIED 1330 UNCERTIFIED 2582 UNCERTIFIED 2519 UNCERTIFIED 897 UNCERTIFIED 60216
tpdb-8.0/TRS/Endrullis_06/linear1.xml UNCERTIFIED 4529 UNCERTIFIED 4943 UNCERTIFIED 8053 UNCERTIFIED 34636 UNCERTIFIED 9048
tpdb-8.0/TRS/Endrullis_06/linear2.xml UNCERTIFIED 7143 UNCERTIFIED 6305 UNCERTIFIED 15931 UNCERTIFIED 53882 UNCERTIFIED 14151
tpdb-8.0/TRS/Endrullis_06/pair2hard.xml UNCERTIFIED 4160 UNCERTIFIED 4680 UNCERTIFIED 9698 UNCERTIFIED 52718 UNCERTIFIED 8542
tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml UNCERTIFIED 3528 UNCERTIFIED 4179 UNCERTIFIED 5824 UNCERTIFIED 1024 UNCERTIFIED 4508
tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml UNCERTIFIED 3143 UNCERTIFIED 5203 UNCERTIFIED 5296 UNCERTIFIED 9443 UNCERTIFIED 60252
tpdb-8.0/TRS/Endrullis_06/pair3hard.xml UNCERTIFIED 4244 UNCERTIFIED 8319 UNCERTIFIED 8329 UNCERTIFIED 1873 UNCERTIFIED 60297
tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml UNCERTIFIED 3635 UNCERTIFIED 4148 UNCERTIFIED 10106 UNCERTIFIED 5705 UNCERTIFIED 6699
tpdb-8.0/TRS/Endrullis_06/pair3swap.xml UNCERTIFIED 4613 UNCERTIFIED 4675 UNCERTIFIED 10984 UNCERTIFIED 19189 UNCERTIFIED 5791
tpdb-8.0/TRS/Endrullis_06/quadruple1.xml UNCERTIFIED 2945 UNCERTIFIED 3223 UNCERTIFIED 8542 UNCERTIFIED 6693 UNCERTIFIED 6544
tpdb-8.0/TRS/Endrullis_06/quadruple2.xml UNCERTIFIED 3569 UNCERTIFIED 2851 UNCERTIFIED 2766 UNCERTIFIED 8135 UNCERTIFIED 5686
tpdb-8.0/TRS/GTSSK07/cade01.xml UNCERTIFIED 2611 UNCERTIFIED 60227 UNCERTIFIED 60241 UNCERTIFIED 1437 UNCERTIFIED 60279
tpdb-8.0/TRS/GTSSK07/cade03.xml UNCERTIFIED 2997 UNCERTIFIED 60225 UNCERTIFIED 60251 UNCERTIFIED 2222 UNCERTIFIED 60285
tpdb-8.0/TRS/GTSSK07/cade04t.xml UNCERTIFIED 1665 UNCERTIFIED 14896 UNCERTIFIED 13605 UNCERTIFIED 1213 UNCERTIFIED 60246
tpdb-8.0/TRS/GTSSK07/cade05t.xml UNCERTIFIED 21505 UNCERTIFIED 60227 UNCERTIFIED 60277 UNCERTIFIED 7368 UNCERTIFIED 60245
tpdb-8.0/TRS/GTSSK07/cade06.xml UNCERTIFIED 3159 UNCERTIFIED 9561 UNCERTIFIED 10315 UNCERTIFIED 2200 UNCERTIFIED 60267
tpdb-8.0/TRS/GTSSK07/cade07.xml UNCERTIFIED 2253 UNCERTIFIED 11049 UNCERTIFIED 6929 UNCERTIFIED 3243 UNCERTIFIED 60276
tpdb-8.0/TRS/GTSSK07/cade08.xml UNCERTIFIED 3093 UNCERTIFIED 7442 UNCERTIFIED 9681 UNCERTIFIED 2824 UNCERTIFIED 60253
tpdb-8.0/TRS/GTSSK07/cade09.xml UNCERTIFIED 3271 UNCERTIFIED 46558 UNCERTIFIED 43526 UNCERTIFIED 7461 UNCERTIFIED 60243
tpdb-8.0/TRS/GTSSK07/cade10.xml UNCERTIFIED 2702 UNCERTIFIED 11984 UNCERTIFIED 15469 UNCERTIFIED 3037 UNCERTIFIED 60234
tpdb-8.0/TRS/GTSSK07/cade11.xml UNCERTIFIED 1731 UNCERTIFIED 5870 UNCERTIFIED 5121 UNCERTIFIED 1398 UNCERTIFIED 60276
tpdb-8.0/TRS/GTSSK07/cade12t.xml UNCERTIFIED 13552 UNCERTIFIED 60240 UNCERTIFIED 59580 UNCERTIFIED 37342 UNCERTIFIED 60276
tpdb-8.0/TRS/GTSSK07/cade13t.xml UNCERTIFIED 4979 UNCERTIFIED 34552 UNCERTIFIED 33782 UNCERTIFIED 6146 UNCERTIFIED 60259
tpdb-8.0/TRS/GTSSK07/cade14.xml UNCERTIFIED 6220 UNCERTIFIED 60235 UNCERTIFIED 60286 UNCERTIFIED 10394 UNCERTIFIED 60243
tpdb-8.0/TRS/GTSSK07/cade15.xml UNCERTIFIED 11253 UNCERTIFIED 60231 UNCERTIFIED 60292 UNCERTIFIED 51117 UNCERTIFIED 60210
tpdb-8.0/TRS/GTSSK07/cade16.xml UNCERTIFIED 3374 UNCERTIFIED 9861 UNCERTIFIED 12060 UNCERTIFIED 3491 UNCERTIFIED 60247
tpdb-8.0/TRS/GTSSK07/cade17.xml UNCERTIFIED 13977 UNCERTIFIED 60259 UNCERTIFIED 60312 UNCERTIFIED 54197 UNCERTIFIED 60236
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml UNCERTIFIED 988 UNCERTIFIED 1629 UNCERTIFIED 1418 UNCERTIFIED 89 UNCERTIFIED 60196
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml UNCERTIFIED 933 UNCERTIFIED 1591 UNCERTIFIED 1491 UNCERTIFIED 94 UNCERTIFIED 60196
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml UNCERTIFIED 985 UNCERTIFIED 1658 UNCERTIFIED 1456 UNCERTIFIED 91 UNCERTIFIED 60199
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml UNCERTIFIED 982 UNCERTIFIED 1955 UNCERTIFIED 1835 UNCERTIFIED 91 UNCERTIFIED 60196
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml UNCERTIFIED 988 UNCERTIFIED 1962 UNCERTIFIED 1837 UNCERTIFIED 92 UNCERTIFIED 60200
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml UNCERTIFIED 1096 UNCERTIFIED 1703 UNCERTIFIED 1536 UNCERTIFIED 157 UNCERTIFIED 60198
tpdb-8.0/TRS/HirokawaMiddeldorp_04/n008.xml UNCERTIFIED 983 UNCERTIFIED 1765 UNCERTIFIED 1582 UNCERTIFIED 86 UNCERTIFIED 60218
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t000.xml UNCERTIFIED 7178 UNCERTIFIED 5193 UNCERTIFIED 4401 UNCERTIFIED 491 UNCERTIFIED 949
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml UNCERTIFIED 17751 UNCERTIFIED 18469 UNCERTIFIED 28099 UNCERTIFIED 2722 UNCERTIFIED 44253
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t002.xml UNCERTIFIED 4864 UNCERTIFIED 28309 UNCERTIFIED 27023 UNCERTIFIED 2774 UNCERTIFIED 60204
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml UNCERTIFIED 8549 UNCERTIFIED 6194 UNCERTIFIED 15038 UNCERTIFIED 401 UNCERTIFIED 27350
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml UNCERTIFIED 5444 UNCERTIFIED 15802 UNCERTIFIED 12111 UNCERTIFIED 49034 UNCERTIFIED 3146
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t005.xml UNCERTIFIED 23869 UNCERTIFIED 9356 UNCERTIFIED 7935 UNCERTIFIED 23044 UNCERTIFIED 60200
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t006.xml UNCERTIFIED 2057 UNCERTIFIED 2136 UNCERTIFIED 1896 UNCERTIFIED 133 UNCERTIFIED 125
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml UNCERTIFIED 1655 UNCERTIFIED 1982 UNCERTIFIED 2462 UNCERTIFIED 103 UNCERTIFIED 250
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t008.xml UNCERTIFIED 2818 UNCERTIFIED 3753 UNCERTIFIED 6467 UNCERTIFIED 7219 UNCERTIFIED 2247
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml UNCERTIFIED 60327 UNCERTIFIED 60539 UNCERTIFIED 60362 UNCERTIFIED 60269 UNCERTIFIED 60203
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml UNCERTIFIED 1638 UNCERTIFIED 2087 UNCERTIFIED 2206 UNCERTIFIED 97 UNCERTIFIED 231
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml UNCERTIFIED 2024 UNCERTIFIED 2180 UNCERTIFIED 2012 UNCERTIFIED 140 UNCERTIFIED 215
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml UNCERTIFIED 3621 UNCERTIFIED 4423 UNCERTIFIED 6034 UNCERTIFIED 257 UNCERTIFIED 873
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml UNCERTIFIED 2944 UNCERTIFIED 3154 UNCERTIFIED 2693 UNCERTIFIED 210 UNCERTIFIED 875
tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml UNCERTIFIED 4150 UNCERTIFIED 5463 UNCERTIFIED 8678 UNCERTIFIED 303 UNCERTIFIED 13678
tpdb-8.0/TRS/Mixed_CTRS/quick.xml UNCERTIFIED 5772 UNCERTIFIED 7828 UNCERTIFIED 14400 UNCERTIFIED 495 UNCERTIFIED 60196
tpdb-8.0/TRS/Mixed_TRS/1.xml UNCERTIFIED 2988 UNCERTIFIED 3412 UNCERTIFIED 3909 UNCERTIFIED 1198 UNCERTIFIED 4842
tpdb-8.0/TRS/Mixed_TRS/2.xml UNCERTIFIED 2738 UNCERTIFIED 3260 UNCERTIFIED 3967 UNCERTIFIED 757 UNCERTIFIED 3194
tpdb-8.0/TRS/Mixed_TRS/3.xml UNCERTIFIED 1274 UNCERTIFIED 3683 UNCERTIFIED 3453 UNCERTIFIED 11158 UNCERTIFIED 2619
tpdb-8.0/TRS/Mixed_TRS/4.xml UNCERTIFIED 1615 UNCERTIFIED 19285 UNCERTIFIED 14292 UNCERTIFIED 34219 UNCERTIFIED 60284
tpdb-8.0/TRS/Mixed_TRS/5.xml UNCERTIFIED 2428 UNCERTIFIED 2750 UNCERTIFIED 2909 UNCERTIFIED 269 UNCERTIFIED 2141
tpdb-8.0/TRS/Mixed_TRS/6.xml UNCERTIFIED 1643 UNCERTIFIED 4677 UNCERTIFIED 4030 UNCERTIFIED 3064 UNCERTIFIED 60284
tpdb-8.0/TRS/Mixed_TRS/7.xml UNCERTIFIED 1934 UNCERTIFIED 13473 UNCERTIFIED 12897 UNCERTIFIED 17380 UNCERTIFIED 60244
tpdb-8.0/TRS/Mixed_TRS/beans.xml UNCERTIFIED 60277 UNCERTIFIED 60317 UNCERTIFIED 60308 UNCERTIFIED 37705 UNCERTIFIED 60253
tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml UNCERTIFIED 9308 UNCERTIFIED 6975 UNCERTIFIED 7083 UNCERTIFIED 60241 UNCERTIFIED 60207
tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml UNCERTIFIED 11128 UNCERTIFIED 28181 UNCERTIFIED 35308 UNCERTIFIED 26602 UNCERTIFIED 60208
tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml UNCERTIFIED 8467 UNCERTIFIED 8837 UNCERTIFIED 13435 UNCERTIFIED 30777 UNCERTIFIED 27118
tpdb-8.0/TRS/Mixed_TRS/gcd.xml UNCERTIFIED 4334 UNCERTIFIED 7552 UNCERTIFIED 8850 UNCERTIFIED 363 UNCERTIFIED 13062
tpdb-8.0/TRS/Mixed_TRS/hydra.xml UNCERTIFIED 2329 UNCERTIFIED 2152 UNCERTIFIED 2064 UNCERTIFIED 171 UNCERTIFIED 4871
tpdb-8.0/TRS/Mixed_TRS/hydra-Zantema06.xml UNCERTIFIED 10651 UNCERTIFIED 60241 UNCERTIFIED 60276 UNCERTIFIED 32598 UNCERTIFIED 60262
tpdb-8.0/TRS/Mixed_TRS/jones1.xml UNCERTIFIED 2049 UNCERTIFIED 2300 UNCERTIFIED 2052 UNCERTIFIED 147 UNCERTIFIED 207
tpdb-8.0/TRS/Mixed_TRS/jones2.xml UNCERTIFIED 1429 UNCERTIFIED 4447 UNCERTIFIED 4220 UNCERTIFIED 353 UNCERTIFIED 424
tpdb-8.0/TRS/Mixed_TRS/jones4.xml UNCERTIFIED 2054 UNCERTIFIED 2160 UNCERTIFIED 1920 UNCERTIFIED 138 UNCERTIFIED 136
tpdb-8.0/TRS/Mixed_TRS/jones5.xml UNCERTIFIED 2057 UNCERTIFIED 2130 UNCERTIFIED 2000 UNCERTIFIED 135 UNCERTIFIED 262
tpdb-8.0/TRS/Mixed_TRS/jones6.xml UNCERTIFIED 2445 UNCERTIFIED 2258 UNCERTIFIED 2106 UNCERTIFIED 176 UNCERTIFIED 366
tpdb-8.0/TRS/Mixed_TRS/minsort.xml UNCERTIFIED 10710 UNCERTIFIED 60263 UNCERTIFIED 60307 UNCERTIFIED 5690 UNCERTIFIED 60202
tpdb-8.0/TRS/Mixed_TRS/motivation.xml UNCERTIFIED 2108 UNCERTIFIED 2580 UNCERTIFIED 2379 UNCERTIFIED 137 UNCERTIFIED 567
tpdb-8.0/TRS/Mixed_TRS/perfect2.xml UNCERTIFIED 8211 UNCERTIFIED 7001 UNCERTIFIED 20055 UNCERTIFIED 395 UNCERTIFIED 28499
tpdb-8.0/TRS/Mixed_TRS/perfect.xml UNCERTIFIED 2799 UNCERTIFIED 3192 UNCERTIFIED 14569 UNCERTIFIED 218 UNCERTIFIED 9465
tpdb-8.0/TRS/Mixed_TRS/test1.xml UNCERTIFIED 2478 UNCERTIFIED 2298 UNCERTIFIED 2289 UNCERTIFIED 286 UNCERTIFIED 228
tpdb-8.0/TRS/Mixed_TRS/while2.xml UNCERTIFIED 1595 UNCERTIFIED 60242 UNCERTIFIED 55182 UNCERTIFIED 2295 UNCERTIFIED 60233
tpdb-8.0/TRS/Mixed_TRS/while.xml UNCERTIFIED 1532 UNCERTIFIED 4556 UNCERTIFIED 4323 UNCERTIFIED 534 UNCERTIFIED 60247
tpdb-8.0/TRS/Rubio_04/aoto.xml UNCERTIFIED 2620 UNCERTIFIED 3203 UNCERTIFIED 3575 UNCERTIFIED 659 UNCERTIFIED 323
tpdb-8.0/TRS/Rubio_04/bintrees.xml UNCERTIFIED 2456 UNCERTIFIED 2307 UNCERTIFIED 2057 UNCERTIFIED 190 UNCERTIFIED 245
tpdb-8.0/TRS/Rubio_04/bn122.xml UNCERTIFIED 2384 UNCERTIFIED 2263 UNCERTIFIED 2003 UNCERTIFIED 165 UNCERTIFIED 368
tpdb-8.0/TRS/Rubio_04/bn129.xml UNCERTIFIED 2654 UNCERTIFIED 3348 UNCERTIFIED 3316 UNCERTIFIED 1459 UNCERTIFIED 1583
tpdb-8.0/TRS/Rubio_04/division.xml UNCERTIFIED 4265 UNCERTIFIED 5184 UNCERTIFIED 4255 UNCERTIFIED 318 UNCERTIFIED 12690
tpdb-8.0/TRS/Rubio_04/elimdupl.xml UNCERTIFIED 4367 UNCERTIFIED 6181 UNCERTIFIED 8413 UNCERTIFIED 325 UNCERTIFIED 15048
tpdb-8.0/TRS/Rubio_04/enno.xml UNCERTIFIED 8616 UNCERTIFIED 10246 UNCERTIFIED 11407 UNCERTIFIED 512 UNCERTIFIED 32770
tpdb-8.0/TRS/Rubio_04/gcd.xml UNCERTIFIED 4647 UNCERTIFIED 6665 UNCERTIFIED 4763 UNCERTIFIED 329 UNCERTIFIED 20565
tpdb-8.0/TRS/Rubio_04/gmnp.xml UNCERTIFIED 2154 UNCERTIFIED 2656 UNCERTIFIED 3387 UNCERTIFIED 153 UNCERTIFIED 963
tpdb-8.0/TRS/Rubio_04/gm.xml UNCERTIFIED 2893 UNCERTIFIED 3178 UNCERTIFIED 2984 UNCERTIFIED 194 UNCERTIFIED 5258
tpdb-8.0/TRS/Rubio_04/koen.xml UNCERTIFIED 2386 UNCERTIFIED 2249 UNCERTIFIED 2057 UNCERTIFIED 164 UNCERTIFIED 132
tpdb-8.0/TRS/Rubio_04/lescanne.xml UNCERTIFIED 2278 UNCERTIFIED 2177 UNCERTIFIED 2164 UNCERTIFIED 154 UNCERTIFIED 356
tpdb-8.0/TRS/Rubio_04/lindau.xml UNCERTIFIED 2611 UNCERTIFIED 3390 UNCERTIFIED 4157 UNCERTIFIED 1636 UNCERTIFIED 464
tpdb-8.0/TRS/Rubio_04/logarquot.xml UNCERTIFIED 4339 UNCERTIFIED 4709 UNCERTIFIED 14930 UNCERTIFIED 313 UNCERTIFIED 8324
tpdb-8.0/TRS/Rubio_04/ma96.xml UNCERTIFIED 60385 UNCERTIFIED 60408 UNCERTIFIED 60435 UNCERTIFIED 60218 UNCERTIFIED 60202
tpdb-8.0/TRS/Rubio_04/mfp90b.xml UNCERTIFIED 1992 UNCERTIFIED 2189 UNCERTIFIED 1903 UNCERTIFIED 137 UNCERTIFIED 127
tpdb-8.0/TRS/Rubio_04/mfp95.xml UNCERTIFIED 1652 UNCERTIFIED 1891 UNCERTIFIED 2052 UNCERTIFIED 105 UNCERTIFIED 269
tpdb-8.0/TRS/Rubio_04/nestrec.xml UNCERTIFIED 2034 UNCERTIFIED 2327 UNCERTIFIED 3312 UNCERTIFIED 140 UNCERTIFIED 360
tpdb-8.0/TRS/Rubio_04/p266.xml UNCERTIFIED 1620 UNCERTIFIED 2030 UNCERTIFIED 3199 UNCERTIFIED 107 UNCERTIFIED 322
tpdb-8.0/TRS/Rubio_04/polo2.xml UNCERTIFIED 5745 UNCERTIFIED 5375 UNCERTIFIED 60280 UNCERTIFIED 293 UNCERTIFIED 60213
tpdb-8.0/TRS/Rubio_04/prov.xml UNCERTIFIED 2454 UNCERTIFIED 2572 UNCERTIFIED 2573 UNCERTIFIED 156 UNCERTIFIED 3235
tpdb-8.0/TRS/Rubio_04/quick.xml UNCERTIFIED 17865 UNCERTIFIED 60253 UNCERTIFIED 60328 UNCERTIFIED 44270 UNCERTIFIED 60200
tpdb-8.0/TRS/Rubio_04/quotminus.xml UNCERTIFIED 4143 UNCERTIFIED 4780 UNCERTIFIED 4805 UNCERTIFIED 272 UNCERTIFIED 10350
tpdb-8.0/TRS/Rubio_04/revlist.xml UNCERTIFIED 3215 UNCERTIFIED 3906 UNCERTIFIED 4471 UNCERTIFIED 251 UNCERTIFIED 8297
tpdb-8.0/TRS/Rubio_04/selsort.xml UNCERTIFIED 35309 UNCERTIFIED 49783 UNCERTIFIED 47520 UNCERTIFIED 47498 UNCERTIFIED 60204
tpdb-8.0/TRS/Rubio_04/test4.xml UNCERTIFIED 2277 UNCERTIFIED 2352 UNCERTIFIED 2239 UNCERTIFIED 265 UNCERTIFIED 337
tpdb-8.0/TRS/Rubio_04/test829.xml UNCERTIFIED 2251 UNCERTIFIED 2250 UNCERTIFIED 2049 UNCERTIFIED 147 UNCERTIFIED 233
tpdb-8.0/TRS/Rubio_04/wst99.xml UNCERTIFIED 7063 UNCERTIFIED 9612 UNCERTIFIED 20105 UNCERTIFIED 19896 UNCERTIFIED 43866
tpdb-8.0/TRS/Secret_05_TRS/aprove1.xml UNCERTIFIED 4434 UNCERTIFIED 15786 UNCERTIFIED 10910 UNCERTIFIED 52512 UNCERTIFIED 60198
tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml UNCERTIFIED 5436 UNCERTIFIED 60264 UNCERTIFIED 60299 UNCERTIFIED 10321 UNCERTIFIED 60244
tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml UNCERTIFIED 11164 UNCERTIFIED 16322 UNCERTIFIED 13016 UNCERTIFIED 2831 UNCERTIFIED 60196
tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml UNCERTIFIED 4999 UNCERTIFIED 60226 UNCERTIFIED 60267 UNCERTIFIED 2159 UNCERTIFIED 60242
tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml UNCERTIFIED 11026 UNCERTIFIED 60256 UNCERTIFIED 60294 UNCERTIFIED 16456 UNCERTIFIED 60201
tpdb-8.0/TRS/Secret_05_TRS/cime1.xml UNCERTIFIED 60405 UNCERTIFIED 60614 UNCERTIFIED 60535 UNCERTIFIED 60218 UNCERTIFIED 60197
tpdb-8.0/TRS/Secret_05_TRS/cime2.xml UNCERTIFIED 4525 UNCERTIFIED 4553 UNCERTIFIED 5696 UNCERTIFIED 16912 UNCERTIFIED 60203
tpdb-8.0/TRS/Secret_05_TRS/cime3.xml UNCERTIFIED 5286 UNCERTIFIED 60225 UNCERTIFIED 60288 UNCERTIFIED 32971 UNCERTIFIED 60251
tpdb-8.0/TRS/Secret_05_TRS/cime4.xml UNCERTIFIED 1271 UNCERTIFIED 3433 UNCERTIFIED 3237 UNCERTIFIED 582 UNCERTIFIED 60199
tpdb-8.0/TRS/Secret_05_TRS/cime5.xml UNCERTIFIED 38702 UNCERTIFIED 49792 UNCERTIFIED 60412 UNCERTIFIED 46113 UNCERTIFIED 60199
tpdb-8.0/TRS/Secret_05_TRS/matchbox1.xml UNCERTIFIED 1227 UNCERTIFIED 2173 UNCERTIFIED 1963 UNCERTIFIED 649 UNCERTIFIED 60202
tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml UNCERTIFIED 2217 UNCERTIFIED 2635 UNCERTIFIED 3402 UNCERTIFIED 266 UNCERTIFIED 2527
tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml UNCERTIFIED 19323 UNCERTIFIED 60231 UNCERTIFIED 60252 UNCERTIFIED 46623 UNCERTIFIED 60293
tpdb-8.0/TRS/Secret_05_TRS/teparla2.xml UNCERTIFIED 11639 UNCERTIFIED 60232 UNCERTIFIED 60247 UNCERTIFIED 55535 UNCERTIFIED 60272
tpdb-8.0/TRS/Secret_05_TRS/teparla3.xml UNCERTIFIED 3544 UNCERTIFIED 60229 UNCERTIFIED 60249 UNCERTIFIED 56598 UNCERTIFIED 60279
tpdb-8.0/TRS/Secret_05_TRS/tpa1.xml UNCERTIFIED 9984 UNCERTIFIED 14465 UNCERTIFIED 21448 UNCERTIFIED 25430 UNCERTIFIED 60196
tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml UNCERTIFIED 4056 UNCERTIFIED 13322 UNCERTIFIED 11592 UNCERTIFIED 24878 UNCERTIFIED 23806
tpdb-8.0/TRS/Secret_05_TRS/tpa3.xml UNCERTIFIED 13340 UNCERTIFIED 52261 UNCERTIFIED 47705 UNCERTIFIED 11278 UNCERTIFIED 60214
tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml UNCERTIFIED 39896 UNCERTIFIED 60228 UNCERTIFIED 60344 UNCERTIFIED 15954 UNCERTIFIED 60215
tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml UNCERTIFIED 7261 UNCERTIFIED 60255 UNCERTIFIED 60306 UNCERTIFIED 50396 UNCERTIFIED 60238
tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml UNCERTIFIED 1634 UNCERTIFIED 4664 UNCERTIFIED 4741 UNCERTIFIED 659 UNCERTIFIED 60248
tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml UNCERTIFIED 1087 UNCERTIFIED 2087 UNCERTIFIED 1941 UNCERTIFIED 414 UNCERTIFIED 60189
tpdb-8.0/TRS/Secret_06_TRS/10.xml UNCERTIFIED 5162 UNCERTIFIED 4514 UNCERTIFIED 9486 UNCERTIFIED 40825 UNCERTIFIED 13691
tpdb-8.0/TRS/Secret_06_TRS/2.xml UNCERTIFIED 4138 UNCERTIFIED 3389 UNCERTIFIED 3131 UNCERTIFIED 60301 UNCERTIFIED 727
tpdb-8.0/TRS/Secret_06_TRS/3.xml UNCERTIFIED 20027 UNCERTIFIED 60227 UNCERTIFIED 60272 UNCERTIFIED 60284 UNCERTIFIED 60247
tpdb-8.0/TRS/Secret_06_TRS/4.xml UNCERTIFIED 3361 UNCERTIFIED 3674 UNCERTIFIED 6122 UNCERTIFIED 17190 UNCERTIFIED 4093
tpdb-8.0/TRS/Secret_06_TRS/5.xml UNCERTIFIED 4609 UNCERTIFIED 14285 UNCERTIFIED 7920 UNCERTIFIED 53475 UNCERTIFIED 4353
tpdb-8.0/TRS/Secret_06_TRS/6.xml UNCERTIFIED 5098 UNCERTIFIED 3215 UNCERTIFIED 2799 UNCERTIFIED 3247 UNCERTIFIED 644
tpdb-8.0/TRS/Secret_06_TRS/7.xml UNCERTIFIED 3073 UNCERTIFIED 2605 UNCERTIFIED 2335 UNCERTIFIED 3914 UNCERTIFIED 2653
tpdb-8.0/TRS/Secret_06_TRS/8.xml UNCERTIFIED 4257 UNCERTIFIED 3352 UNCERTIFIED 2865 UNCERTIFIED 7233 UNCERTIFIED 522
tpdb-8.0/TRS/Secret_06_TRS/9.xml UNCERTIFIED 3949 UNCERTIFIED 2875 UNCERTIFIED 2649 UNCERTIFIED 1348 UNCERTIFIED 5942
tpdb-8.0/TRS/Secret_06_TRS/addList.xml UNCERTIFIED 60486 UNCERTIFIED 60281 UNCERTIFIED 60348 UNCERTIFIED 35211 UNCERTIFIED 60198
tpdb-8.0/TRS/Secret_06_TRS/cime1.xml UNCERTIFIED 4105 UNCERTIFIED 28043 UNCERTIFIED 38176 UNCERTIFIED 4432 UNCERTIFIED 60205
tpdb-8.0/TRS/Secret_06_TRS/divExp.xml UNCERTIFIED 3364 UNCERTIFIED 16617 UNCERTIFIED 17354 UNCERTIFIED 2982 UNCERTIFIED 60203
tpdb-8.0/TRS/Secret_06_TRS/division.xml UNCERTIFIED 4367 UNCERTIFIED 60249 UNCERTIFIED 60268 UNCERTIFIED 6133 UNCERTIFIED 60289
tpdb-8.0/TRS/Secret_06_TRS/double.xml UNCERTIFIED 5442 UNCERTIFIED 54732 UNCERTIFIED 57110 UNCERTIFIED 5805 UNCERTIFIED 60233
tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml UNCERTIFIED 4672 UNCERTIFIED 4805 UNCERTIFIED 16774 UNCERTIFIED 1992 UNCERTIFIED 11987
tpdb-8.0/TRS/Secret_06_TRS/gen-14.xml UNCERTIFIED 3872 UNCERTIFIED 6431 UNCERTIFIED 13778 UNCERTIFIED 7884 UNCERTIFIED 20292
tpdb-8.0/TRS/Secret_06_TRS/gen-15.xml UNCERTIFIED 3723 UNCERTIFIED 4778 UNCERTIFIED 10533 UNCERTIFIED 1278 UNCERTIFIED 13328
tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml UNCERTIFIED 5093 UNCERTIFIED 5968 UNCERTIFIED 9318 UNCERTIFIED 3940 UNCERTIFIED 17290
tpdb-8.0/TRS/Secret_06_TRS/gen-18.xml UNCERTIFIED 2396 UNCERTIFIED 14332 UNCERTIFIED 12082 UNCERTIFIED 689 UNCERTIFIED 15485
tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml UNCERTIFIED 4584 UNCERTIFIED 3377 UNCERTIFIED 3210 UNCERTIFIED 1043 UNCERTIFIED 789
tpdb-8.0/TRS/Secret_06_TRS/gen-22.xml UNCERTIFIED 9533 UNCERTIFIED 10339 UNCERTIFIED 20420 UNCERTIFIED 6934 UNCERTIFIED 22501
tpdb-8.0/TRS/Secret_06_TRS/gen-25.xml UNCERTIFIED 7091 UNCERTIFIED 6852 UNCERTIFIED 34133 UNCERTIFIED 8491 UNCERTIFIED 32616
tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml UNCERTIFIED 2057 UNCERTIFIED 11073 UNCERTIFIED 12304 UNCERTIFIED 31482 UNCERTIFIED 18302
tpdb-8.0/TRS/Secret_06_TRS/gen-9.xml UNCERTIFIED 2771 UNCERTIFIED 15787 UNCERTIFIED 13915 UNCERTIFIED 2763 UNCERTIFIED 16303
tpdb-8.0/TRS/Secret_06_TRS/logarithm.xml UNCERTIFIED 10834 UNCERTIFIED 60264 UNCERTIFIED 60282 UNCERTIFIED 38494 UNCERTIFIED 60286
tpdb-8.0/TRS/Secret_06_TRS/nrOfNodes.xml UNCERTIFIED 60309 UNCERTIFIED 60262 UNCERTIFIED 60299 UNCERTIFIED 60237 UNCERTIFIED 60253
tpdb-8.0/TRS/Secret_06_TRS/reverse.xml UNCERTIFIED 7049 UNCERTIFIED 60229 UNCERTIFIED 60310 UNCERTIFIED 6202 UNCERTIFIED 60260
tpdb-8.0/TRS/Secret_06_TRS/sumList.xml UNCERTIFIED 60260 UNCERTIFIED 60289 UNCERTIFIED 60305 UNCERTIFIED 34723 UNCERTIFIED 60201
tpdb-8.0/TRS/Secret_06_TRS/times.xml UNCERTIFIED 13392 UNCERTIFIED 60255 UNCERTIFIED 60334 UNCERTIFIED 5624 UNCERTIFIED 60195
tpdb-8.0/TRS/Secret_06_TRS/toList.xml UNCERTIFIED 60375 UNCERTIFIED 60322 UNCERTIFIED 60353 UNCERTIFIED 60259 UNCERTIFIED 60208
tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml UNCERTIFIED 1314 UNCERTIFIED 3667 UNCERTIFIED 3751 UNCERTIFIED 458 UNCERTIFIED 60195
tpdb-8.0/TRS/Secret_06_TRS/tpa02.xml UNCERTIFIED 1317 UNCERTIFIED 4323 UNCERTIFIED 4227 UNCERTIFIED 483 UNCERTIFIED 60193
tpdb-8.0/TRS/Secret_06_TRS/tpa03.xml UNCERTIFIED 1329 UNCERTIFIED 4758 UNCERTIFIED 4692 UNCERTIFIED 473 UNCERTIFIED 60193
tpdb-8.0/TRS/Secret_06_TRS/tpa04.xml UNCERTIFIED 60247 UNCERTIFIED 60284 UNCERTIFIED 60308 UNCERTIFIED 38086 UNCERTIFIED 60219
tpdb-8.0/TRS/Secret_06_TRS/tpa05.xml UNCERTIFIED 60540 UNCERTIFIED 60282 UNCERTIFIED 60291 UNCERTIFIED 39907 UNCERTIFIED 60228
tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml UNCERTIFIED 60545 UNCERTIFIED 60573 UNCERTIFIED 60363 UNCERTIFIED 47459 UNCERTIFIED 60242
tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml UNCERTIFIED 6125 UNCERTIFIED 20951 UNCERTIFIED 18101 UNCERTIFIED 10729 UNCERTIFIED 60224
tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml UNCERTIFIED 60382 UNCERTIFIED 60304 UNCERTIFIED 60287 UNCERTIFIED 31494 UNCERTIFIED 60231
tpdb-8.0/TRS/Secret_06_TRS/tpa09.xml UNCERTIFIED 60468 UNCERTIFIED 60272 UNCERTIFIED 60344 UNCERTIFIED 31388 UNCERTIFIED 60202
tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml UNCERTIFIED 15841 UNCERTIFIED 48836 UNCERTIFIED 50086 UNCERTIFIED 19740 UNCERTIFIED 60201
tpdb-8.0/TRS/Secret_07_SRS/dj.xml UNCERTIFIED 2170 UNCERTIFIED 2858 UNCERTIFIED 5003 UNCERTIFIED 156 UNCERTIFIED 349
tpdb-8.0/TRS/Secret_07_SRS/num-530.xml UNCERTIFIED 60301 UNCERTIFIED 60367 UNCERTIFIED 60538 UNCERTIFIED 60289 UNCERTIFIED 60283
tpdb-8.0/TRS/Secret_07_TRS/1.xml UNCERTIFIED 3693 UNCERTIFIED 60232 UNCERTIFIED 60273 UNCERTIFIED 38455 UNCERTIFIED 60277
tpdb-8.0/TRS/Secret_07_TRS/2.xml UNCERTIFIED 7026 UNCERTIFIED 27594 UNCERTIFIED 30154 UNCERTIFIED 30510 UNCERTIFIED 60260
tpdb-8.0/TRS/Secret_07_TRS/3.xml UNCERTIFIED 23979 UNCERTIFIED 60239 UNCERTIFIED 60304 UNCERTIFIED 60280 UNCERTIFIED 60211
tpdb-8.0/TRS/Secret_07_TRS/4.xml UNCERTIFIED 7606 UNCERTIFIED 60247 UNCERTIFIED 60288 UNCERTIFIED 42226 UNCERTIFIED 60228
tpdb-8.0/TRS/Secret_07_TRS/5.xml UNCERTIFIED 60302 UNCERTIFIED 60337 UNCERTIFIED 60350 UNCERTIFIED 9816 UNCERTIFIED 60267
tpdb-8.0/TRS/Secret_07_TRS/7.xml UNCERTIFIED 11674 UNCERTIFIED 60233 UNCERTIFIED 60266 UNCERTIFIED 60265 UNCERTIFIED 60251
tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml UNCERTIFIED 13895 UNCERTIFIED 60255 UNCERTIFIED 60323 UNCERTIFIED 20389 UNCERTIFIED 60198
tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml UNCERTIFIED 16296 UNCERTIFIED 60472 UNCERTIFIED 60341 UNCERTIFIED 18161 UNCERTIFIED 60205
tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml UNCERTIFIED 60325 UNCERTIFIED 60312 UNCERTIFIED 60339 UNCERTIFIED 60231 UNCERTIFIED 60204
tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml UNCERTIFIED 16653 UNCERTIFIED 60235 UNCERTIFIED 60300 UNCERTIFIED 37596 UNCERTIFIED 60211
tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml UNCERTIFIED 9049 UNCERTIFIED 55708 UNCERTIFIED 51377 UNCERTIFIED 18095 UNCERTIFIED 60225
tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml UNCERTIFIED 17346 UNCERTIFIED 60265 UNCERTIFIED 60325 UNCERTIFIED 27030 UNCERTIFIED 60274
tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml UNCERTIFIED 5467 UNCERTIFIED 60230 UNCERTIFIED 60320 UNCERTIFIED 17817 UNCERTIFIED 60194
tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml UNCERTIFIED 24165 UNCERTIFIED 48455 UNCERTIFIED 56194 UNCERTIFIED 53230 UNCERTIFIED 60216
tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml UNCERTIFIED 16907 UNCERTIFIED 60226 UNCERTIFIED 60279 UNCERTIFIED 25953 UNCERTIFIED 60216
tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml UNCERTIFIED 12515 UNCERTIFIED 48273 UNCERTIFIED 56187 UNCERTIFIED 40867 UNCERTIFIED 60200
tpdb-8.0/TRS/Secret_07_TRS/secret1.xml UNCERTIFIED 14032 UNCERTIFIED 60259 UNCERTIFIED 60327 UNCERTIFIED 465 UNCERTIFIED 60218
tpdb-8.0/TRS/Secret_07_TRS/secret2.xml UNCERTIFIED 6116 UNCERTIFIED 60239 UNCERTIFIED 60268 UNCERTIFIED 380 UNCERTIFIED 60232
tpdb-8.0/TRS/Secret_07_TRS/secret3.xml UNCERTIFIED 7487 UNCERTIFIED 7719 UNCERTIFIED 60253 UNCERTIFIED 337 UNCERTIFIED 60230
tpdb-8.0/TRS/Secret_07_TRS/secret4.xml UNCERTIFIED 9360 UNCERTIFIED 60235 UNCERTIFIED 60270 UNCERTIFIED 520 UNCERTIFIED 60249
tpdb-8.0/TRS/Secret_07_TRS/secret5.xml UNCERTIFIED 10691 UNCERTIFIED 60232 UNCERTIFIED 60262 UNCERTIFIED 4554 UNCERTIFIED 60234
tpdb-8.0/TRS/SK90/2.01.xml UNCERTIFIED 2648 UNCERTIFIED 2550 UNCERTIFIED 2223 UNCERTIFIED 173 UNCERTIFIED 595
tpdb-8.0/TRS/SK90/2.02.xml UNCERTIFIED 2562 UNCERTIFIED 2281 UNCERTIFIED 2059 UNCERTIFIED 683 UNCERTIFIED 197
tpdb-8.0/TRS/SK90/2.03.xml UNCERTIFIED 2366 UNCERTIFIED 2192 UNCERTIFIED 2050 UNCERTIFIED 140 UNCERTIFIED 390
tpdb-8.0/TRS/SK90/2.04.xml UNCERTIFIED 2217 UNCERTIFIED 2144 UNCERTIFIED 1948 UNCERTIFIED 152 UNCERTIFIED 198
tpdb-8.0/TRS/SK90/2.05.xml UNCERTIFIED 3732 UNCERTIFIED 16653 UNCERTIFIED 26232 UNCERTIFIED 26444 UNCERTIFIED 60262
tpdb-8.0/TRS/SK90/2.06.xml UNCERTIFIED 3474 UNCERTIFIED 2147 UNCERTIFIED 2061 UNCERTIFIED 156 UNCERTIFIED 237
tpdb-8.0/TRS/SK90/2.07.xml UNCERTIFIED 2171 UNCERTIFIED 2621 UNCERTIFIED 3862 UNCERTIFIED 156 UNCERTIFIED 60240
tpdb-8.0/TRS/SK90/2.08.xml UNCERTIFIED 3090 UNCERTIFIED 3778 UNCERTIFIED 7193 UNCERTIFIED 228 UNCERTIFIED 10726
tpdb-8.0/TRS/SK90/2.09.xml UNCERTIFIED 1995 UNCERTIFIED 2194 UNCERTIFIED 1948 UNCERTIFIED 134 UNCERTIFIED 300
tpdb-8.0/TRS/SK90/2.10.xml UNCERTIFIED 2211 UNCERTIFIED 2455 UNCERTIFIED 2345 UNCERTIFIED 176 UNCERTIFIED 563
tpdb-8.0/TRS/SK90/2.11.xml UNCERTIFIED 2224 UNCERTIFIED 2176 UNCERTIFIED 2016 UNCERTIFIED 158 UNCERTIFIED 239
tpdb-8.0/TRS/SK90/2.12.xml UNCERTIFIED 3522 UNCERTIFIED 2922 UNCERTIFIED 2335 UNCERTIFIED 261 UNCERTIFIED 60242
tpdb-8.0/TRS/SK90/2.13.xml UNCERTIFIED 2474 UNCERTIFIED 2768 UNCERTIFIED 2235 UNCERTIFIED 170 UNCERTIFIED 834
tpdb-8.0/TRS/SK90/2.14.xml UNCERTIFIED 3328 UNCERTIFIED 2826 UNCERTIFIED 2117 UNCERTIFIED 228 UNCERTIFIED 473
tpdb-8.0/TRS/SK90/2.15.xml UNCERTIFIED 2106 UNCERTIFIED 2461 UNCERTIFIED 3049 UNCERTIFIED 151 UNCERTIFIED 748
tpdb-8.0/TRS/SK90/2.16.xml UNCERTIFIED 1718 UNCERTIFIED 9696 UNCERTIFIED 10915 UNCERTIFIED 210 UNCERTIFIED 60252
tpdb-8.0/TRS/SK90/2.17.xml UNCERTIFIED 2869 UNCERTIFIED 2317 UNCERTIFIED 2059 UNCERTIFIED 182 UNCERTIFIED 551
tpdb-8.0/TRS/SK90/2.18.xml UNCERTIFIED 2376 UNCERTIFIED 2258 UNCERTIFIED 2062 UNCERTIFIED 164 UNCERTIFIED 60237
tpdb-8.0/TRS/SK90/2.19.xml UNCERTIFIED 2493 UNCERTIFIED 11051 UNCERTIFIED 12677 UNCERTIFIED 247 UNCERTIFIED 60243
tpdb-8.0/TRS/SK90/2.20.xml UNCERTIFIED 2171 UNCERTIFIED 2203 UNCERTIFIED 2072 UNCERTIFIED 158 UNCERTIFIED 659
tpdb-8.0/TRS/SK90/2.21.xml UNCERTIFIED 2110 UNCERTIFIED 2634 UNCERTIFIED 2840 UNCERTIFIED 151 UNCERTIFIED 1158
tpdb-8.0/TRS/SK90/2.22.xml UNCERTIFIED 3093 UNCERTIFIED 3551 UNCERTIFIED 3165 UNCERTIFIED 220 UNCERTIFIED 5793
tpdb-8.0/TRS/SK90/2.23.xml UNCERTIFIED 2758 UNCERTIFIED 22985 UNCERTIFIED 25157 UNCERTIFIED 316 UNCERTIFIED 60245
tpdb-8.0/TRS/SK90/2.24.xml UNCERTIFIED 2107 UNCERTIFIED 2270 UNCERTIFIED 2076 UNCERTIFIED 145 UNCERTIFIED 628
tpdb-8.0/TRS/SK90/2.25.xml UNCERTIFIED 1958 UNCERTIFIED 10397 UNCERTIFIED 10657 UNCERTIFIED 189 UNCERTIFIED 60242
tpdb-8.0/TRS/SK90/2.26.xml UNCERTIFIED 3862 UNCERTIFIED 33355 UNCERTIFIED 43595 UNCERTIFIED 334 UNCERTIFIED 60222
tpdb-8.0/TRS/SK90/2.27.xml UNCERTIFIED 4817 UNCERTIFIED 4362 UNCERTIFIED 3847 UNCERTIFIED 261 UNCERTIFIED 3213
tpdb-8.0/TRS/SK90/2.28.xml UNCERTIFIED 2093 UNCERTIFIED 2137 UNCERTIFIED 2196 UNCERTIFIED 138 UNCERTIFIED 212
tpdb-8.0/TRS/SK90/2.29.xml UNCERTIFIED 2617 UNCERTIFIED 3310 UNCERTIFIED 4702 UNCERTIFIED 211 UNCERTIFIED 5935
tpdb-8.0/TRS/SK90/2.30.xml UNCERTIFIED 1650 UNCERTIFIED 1926 UNCERTIFIED 2009 UNCERTIFIED 104 UNCERTIFIED 302
tpdb-8.0/TRS/SK90/2.31.xml UNCERTIFIED 2462 UNCERTIFIED 2380 UNCERTIFIED 2119 UNCERTIFIED 181 UNCERTIFIED 387
tpdb-8.0/TRS/SK90/2.32.xml UNCERTIFIED 1728 UNCERTIFIED 2057 UNCERTIFIED 2173 UNCERTIFIED 118 UNCERTIFIED 812
tpdb-8.0/TRS/SK90/2.33.xml UNCERTIFIED 2231 UNCERTIFIED 2234 UNCERTIFIED 1958 UNCERTIFIED 141 UNCERTIFIED 324
tpdb-8.0/TRS/SK90/2.34.xml UNCERTIFIED 2262 UNCERTIFIED 2473 UNCERTIFIED 2336 UNCERTIFIED 169 UNCERTIFIED 402
tpdb-8.0/TRS/SK90/2.35.xml UNCERTIFIED 2104 UNCERTIFIED 2665 UNCERTIFIED 2124 UNCERTIFIED 154 UNCERTIFIED 586
tpdb-8.0/TRS/SK90/2.36.xml UNCERTIFIED 2330 UNCERTIFIED 2081 UNCERTIFIED 1952 UNCERTIFIED 145 UNCERTIFIED 208
tpdb-8.0/TRS/SK90/2.37.xml UNCERTIFIED 2060 UNCERTIFIED 2138 UNCERTIFIED 1960 UNCERTIFIED 153 UNCERTIFIED 261
tpdb-8.0/TRS/SK90/2.38.xml UNCERTIFIED 2284 UNCERTIFIED 2147 UNCERTIFIED 2056 UNCERTIFIED 144 UNCERTIFIED 382
tpdb-8.0/TRS/SK90/2.39.xml UNCERTIFIED 2463 UNCERTIFIED 2809 UNCERTIFIED 2439 UNCERTIFIED 196 UNCERTIFIED 650
tpdb-8.0/TRS/SK90/2.40.xml UNCERTIFIED 2193 UNCERTIFIED 2292 UNCERTIFIED 2073 UNCERTIFIED 163 UNCERTIFIED 2964
tpdb-8.0/TRS/SK90/2.41.xml UNCERTIFIED 3461 UNCERTIFIED 2547 UNCERTIFIED 2264 UNCERTIFIED 222 UNCERTIFIED 305
tpdb-8.0/TRS/SK90/2.42.xml UNCERTIFIED 4062 UNCERTIFIED 3052 UNCERTIFIED 2437 UNCERTIFIED 252 UNCERTIFIED 1044
tpdb-8.0/TRS/SK90/2.43.xml UNCERTIFIED 4165 UNCERTIFIED 4561 UNCERTIFIED 5900 UNCERTIFIED 247 UNCERTIFIED 7558
tpdb-8.0/TRS/SK90/2.44.xml UNCERTIFIED 2701 UNCERTIFIED 3321 UNCERTIFIED 6815 UNCERTIFIED 217 UNCERTIFIED 2952
tpdb-8.0/TRS/SK90/2.45.xml UNCERTIFIED 3152 UNCERTIFIED 3727 UNCERTIFIED 9210 UNCERTIFIED 224 UNCERTIFIED 4310
tpdb-8.0/TRS/SK90/2.46.xml UNCERTIFIED 2093 UNCERTIFIED 2524 UNCERTIFIED 2229 UNCERTIFIED 137 UNCERTIFIED 240
tpdb-8.0/TRS/SK90/2.47.xml UNCERTIFIED 1867 UNCERTIFIED 2261 UNCERTIFIED 2360 UNCERTIFIED 130 UNCERTIFIED 196
tpdb-8.0/TRS/SK90/2.48.xml UNCERTIFIED 1673 UNCERTIFIED 1922 UNCERTIFIED 3001 UNCERTIFIED 108 UNCERTIFIED 148
tpdb-8.0/TRS/SK90/2.49.xml UNCERTIFIED 3052 UNCERTIFIED 3042 UNCERTIFIED 3175 UNCERTIFIED 246 UNCERTIFIED 149
tpdb-8.0/TRS/SK90/2.50.xml UNCERTIFIED 1880 UNCERTIFIED 2205 UNCERTIFIED 2064 UNCERTIFIED 122 UNCERTIFIED 206
tpdb-8.0/TRS/SK90/2.51.xml UNCERTIFIED 2104 UNCERTIFIED 2608 UNCERTIFIED 60238 UNCERTIFIED 147 UNCERTIFIED 60242
tpdb-8.0/TRS/SK90/2.52.xml UNCERTIFIED 6734 UNCERTIFIED 43241 UNCERTIFIED 54501 UNCERTIFIED 456 UNCERTIFIED 60242
tpdb-8.0/TRS/SK90/2.53.xml UNCERTIFIED 2034 UNCERTIFIED 2253 UNCERTIFIED 2068 UNCERTIFIED 136 UNCERTIFIED 291
tpdb-8.0/TRS/SK90/2.54.xml UNCERTIFIED 1933 UNCERTIFIED 2134 UNCERTIFIED 1998 UNCERTIFIED 130 UNCERTIFIED 195
tpdb-8.0/TRS/SK90/2.55.xml UNCERTIFIED 1937 UNCERTIFIED 2141 UNCERTIFIED 2001 UNCERTIFIED 136 UNCERTIFIED 216
tpdb-8.0/TRS/SK90/2.56.xml UNCERTIFIED 1666 UNCERTIFIED 1948 UNCERTIFIED 1951 UNCERTIFIED 110 UNCERTIFIED 133
tpdb-8.0/TRS/SK90/2.57.xml UNCERTIFIED 1655 UNCERTIFIED 1997 UNCERTIFIED 2057 UNCERTIFIED 114 UNCERTIFIED 288
tpdb-8.0/TRS/SK90/2.58.xml UNCERTIFIED 1672 UNCERTIFIED 1927 UNCERTIFIED 2007 UNCERTIFIED 158 UNCERTIFIED 356
tpdb-8.0/TRS/SK90/2.59.xml UNCERTIFIED 1986 UNCERTIFIED 2326 UNCERTIFIED 2393 UNCERTIFIED 126 UNCERTIFIED 1195
tpdb-8.0/TRS/SK90/2.60.xml UNCERTIFIED 1685 UNCERTIFIED 1982 UNCERTIFIED 2065 UNCERTIFIED 107 UNCERTIFIED 306
tpdb-8.0/TRS/SK90/2.61.xml UNCERTIFIED 3373 UNCERTIFIED 2866 UNCERTIFIED 2604 UNCERTIFIED 280 UNCERTIFIED 207
tpdb-8.0/TRS/SK90/4.01.xml UNCERTIFIED 1667 UNCERTIFIED 1986 UNCERTIFIED 2010 UNCERTIFIED 103 UNCERTIFIED 135
tpdb-8.0/TRS/SK90/4.02.xml UNCERTIFIED 4236 UNCERTIFIED 5295 UNCERTIFIED 5205 UNCERTIFIED 16645 UNCERTIFIED 60231
tpdb-8.0/TRS/SK90/4.03.xml UNCERTIFIED 3269 UNCERTIFIED 3893 UNCERTIFIED 4218 UNCERTIFIED 198 UNCERTIFIED 60234
tpdb-8.0/TRS/SK90/4.04.xml UNCERTIFIED 2073 UNCERTIFIED 2185 UNCERTIFIED 2012 UNCERTIFIED 139 UNCERTIFIED 229
tpdb-8.0/TRS/SK90/4.05.xml UNCERTIFIED 2283 UNCERTIFIED 2715 UNCERTIFIED 2733 UNCERTIFIED 141 UNCERTIFIED 60246
tpdb-8.0/TRS/SK90/4.06.xml UNCERTIFIED 1768 UNCERTIFIED 9659 UNCERTIFIED 11394 UNCERTIFIED 2060 UNCERTIFIED 60275
tpdb-8.0/TRS/SK90/4.07.xml UNCERTIFIED 2078 UNCERTIFIED 2135 UNCERTIFIED 1999 UNCERTIFIED 138 UNCERTIFIED 215
tpdb-8.0/TRS/SK90/4.08.xml UNCERTIFIED 1983 UNCERTIFIED 2081 UNCERTIFIED 1896 UNCERTIFIED 122 UNCERTIFIED 212
tpdb-8.0/TRS/SK90/4.09.xml UNCERTIFIED 2473 UNCERTIFIED 3263 UNCERTIFIED 4084 UNCERTIFIED 186 UNCERTIFIED 60254
tpdb-8.0/TRS/SK90/4.10.xml UNCERTIFIED 2911 UNCERTIFIED 3599 UNCERTIFIED 3873 UNCERTIFIED 170 UNCERTIFIED 60283
tpdb-8.0/TRS/SK90/4.11.xml UNCERTIFIED 2239 UNCERTIFIED 2096 UNCERTIFIED 1905 UNCERTIFIED 147 UNCERTIFIED 234
tpdb-8.0/TRS/SK90/4.12.xml UNCERTIFIED 2173 UNCERTIFIED 2190 UNCERTIFIED 2121 UNCERTIFIED 145 UNCERTIFIED 315
tpdb-8.0/TRS/SK90/4.13.xml UNCERTIFIED 3174 UNCERTIFIED 3392 UNCERTIFIED 5918 UNCERTIFIED 883 UNCERTIFIED 5457
tpdb-8.0/TRS/SK90/4.14.xml UNCERTIFIED 3515 UNCERTIFIED 3439 UNCERTIFIED 2885 UNCERTIFIED 272 UNCERTIFIED 60261
tpdb-8.0/TRS/SK90/4.15.xml UNCERTIFIED 1922 UNCERTIFIED 2179 UNCERTIFIED 2017 UNCERTIFIED 123 UNCERTIFIED 211
tpdb-8.0/TRS/SK90/4.16.xml UNCERTIFIED 2567 UNCERTIFIED 2786 UNCERTIFIED 2551 UNCERTIFIED 178 UNCERTIFIED 434
tpdb-8.0/TRS/SK90/4.17.xml UNCERTIFIED 3047 UNCERTIFIED 2698 UNCERTIFIED 2437 UNCERTIFIED 538 UNCERTIFIED 5181
tpdb-8.0/TRS/SK90/4.18.xml UNCERTIFIED 1685 UNCERTIFIED 1958 UNCERTIFIED 3520 UNCERTIFIED 129 UNCERTIFIED 3311
tpdb-8.0/TRS/SK90/4.19.xml UNCERTIFIED 2516 UNCERTIFIED 2181 UNCERTIFIED 1915 UNCERTIFIED 146 UNCERTIFIED 130
tpdb-8.0/TRS/SK90/4.20.xml UNCERTIFIED 2224 UNCERTIFIED 2809 UNCERTIFIED 5785 UNCERTIFIED 165 UNCERTIFIED 5825
tpdb-8.0/TRS/SK90/4.21.xml UNCERTIFIED 2839 UNCERTIFIED 3173 UNCERTIFIED 3044 UNCERTIFIED 185 UNCERTIFIED 60279
tpdb-8.0/TRS/SK90/4.22.xml UNCERTIFIED 1696 UNCERTIFIED 60246 UNCERTIFIED 60272 UNCERTIFIED 186 UNCERTIFIED 60242
tpdb-8.0/TRS/SK90/4.23.xml UNCERTIFIED 2295 UNCERTIFIED 2547 UNCERTIFIED 6290 UNCERTIFIED 145 UNCERTIFIED 60244
tpdb-8.0/TRS/SK90/4.24.xml UNCERTIFIED 2426 UNCERTIFIED 20605 UNCERTIFIED 18445 UNCERTIFIED 8849 UNCERTIFIED 44275
tpdb-8.0/TRS/SK90/4.25.xml UNCERTIFIED 2109 UNCERTIFIED 2255 UNCERTIFIED 2055 UNCERTIFIED 135 UNCERTIFIED 385
tpdb-8.0/TRS/SK90/4.26.xml UNCERTIFIED 3052 UNCERTIFIED 3196 UNCERTIFIED 2802 UNCERTIFIED 191 UNCERTIFIED 594
tpdb-8.0/TRS/SK90/4.27.xml UNCERTIFIED 60249 UNCERTIFIED 3340 UNCERTIFIED 2970 UNCERTIFIED 30988 UNCERTIFIED 1360
tpdb-8.0/TRS/SK90/4.28.xml UNCERTIFIED 5869 UNCERTIFIED 3479 UNCERTIFIED 2813 UNCERTIFIED 494 UNCERTIFIED 14490
tpdb-8.0/TRS/SK90/4.29.xml UNCERTIFIED 2261 UNCERTIFIED 2191 UNCERTIFIED 2011 UNCERTIFIED 160 UNCERTIFIED 416
tpdb-8.0/TRS/SK90/4.30.xml UNCERTIFIED 4984 UNCERTIFIED 3459 UNCERTIFIED 3002 UNCERTIFIED 1434 UNCERTIFIED 1255
tpdb-8.0/TRS/SK90/4.31.xml UNCERTIFIED 2935 UNCERTIFIED 3288 UNCERTIFIED 2889 UNCERTIFIED 214 UNCERTIFIED 4686
tpdb-8.0/TRS/SK90/4.32.xml UNCERTIFIED 1788 UNCERTIFIED 6186 UNCERTIFIED 5773 UNCERTIFIED 16660 UNCERTIFIED 969
tpdb-8.0/TRS/SK90/4.33.xml UNCERTIFIED 1939 UNCERTIFIED 2238 UNCERTIFIED 2268 UNCERTIFIED 133 UNCERTIFIED 130
tpdb-8.0/TRS/SK90/4.34.xml UNCERTIFIED 1398 UNCERTIFIED 60274 UNCERTIFIED 60291 UNCERTIFIED 6667 UNCERTIFIED 60248
tpdb-8.0/TRS/SK90/4.35.xml UNCERTIFIED 1642 UNCERTIFIED 2005 UNCERTIFIED 2342 UNCERTIFIED 103 UNCERTIFIED 268
tpdb-8.0/TRS/SK90/4.36.xml UNCERTIFIED 1678 UNCERTIFIED 1959 UNCERTIFIED 2279 UNCERTIFIED 103 UNCERTIFIED 270
tpdb-8.0/TRS/SK90/4.37.xml UNCERTIFIED 1590 UNCERTIFIED 1981 UNCERTIFIED 2073 UNCERTIFIED 100 UNCERTIFIED 128
tpdb-8.0/TRS/SK90/4.38.xml UNCERTIFIED 2556 UNCERTIFIED 2501 UNCERTIFIED 2114 UNCERTIFIED 145 UNCERTIFIED 361
tpdb-8.0/TRS/SK90/4.39.xml UNCERTIFIED 2108 UNCERTIFIED 2081 UNCERTIFIED 1952 UNCERTIFIED 141 UNCERTIFIED 228
tpdb-8.0/TRS/SK90/4.40.xml UNCERTIFIED 1368 UNCERTIFIED 3114 UNCERTIFIED 3281 UNCERTIFIED 1988 UNCERTIFIED 60205
tpdb-8.0/TRS/SK90/4.41.xml UNCERTIFIED 1940 UNCERTIFIED 2327 UNCERTIFIED 2182 UNCERTIFIED 129 UNCERTIFIED 1355
tpdb-8.0/TRS/SK90/4.42.xml UNCERTIFIED 2125 UNCERTIFIED 60066 UNCERTIFIED 60255 UNCERTIFIED 6040 UNCERTIFIED 60282
tpdb-8.0/TRS/SK90/4.43.xml UNCERTIFIED 3830 UNCERTIFIED 3383 UNCERTIFIED 2623 UNCERTIFIED 253 UNCERTIFIED 569
tpdb-8.0/TRS/SK90/4.44.xml UNCERTIFIED 2505 UNCERTIFIED 3037 UNCERTIFIED 3252 UNCERTIFIED 159 UNCERTIFIED 340
tpdb-8.0/TRS/SK90/4.45.xml UNCERTIFIED 1941 UNCERTIFIED 2022 UNCERTIFIED 1852 UNCERTIFIED 123 UNCERTIFIED 128
tpdb-8.0/TRS/SK90/4.46.xml UNCERTIFIED 1674 UNCERTIFIED 1975 UNCERTIFIED 2220 UNCERTIFIED 104 UNCERTIFIED 235
tpdb-8.0/TRS/SK90/4.47.xml UNCERTIFIED 1693 UNCERTIFIED 2038 UNCERTIFIED 2962 UNCERTIFIED 136 UNCERTIFIED 597
tpdb-8.0/TRS/SK90/4.48.xml UNCERTIFIED 2043 UNCERTIFIED 2181 UNCERTIFIED 2014 UNCERTIFIED 136 UNCERTIFIED 132
tpdb-8.0/TRS/SK90/4.49.xml UNCERTIFIED 1318 UNCERTIFIED 2821 UNCERTIFIED 2818 UNCERTIFIED 522 UNCERTIFIED 60205
tpdb-8.0/TRS/SK90/4.50.xml UNCERTIFIED 1143 UNCERTIFIED 1594 UNCERTIFIED 1464 UNCERTIFIED 165 UNCERTIFIED 60202
tpdb-8.0/TRS/SK90/4.51.xml UNCERTIFIED 2486 UNCERTIFIED 2696 UNCERTIFIED 2568 UNCERTIFIED 300 UNCERTIFIED 440
tpdb-8.0/TRS/SK90/4.52.xml UNCERTIFIED 3211 UNCERTIFIED 2705 UNCERTIFIED 2498 UNCERTIFIED 190 UNCERTIFIED 668
tpdb-8.0/TRS/SK90/4.53.xml UNCERTIFIED 2605 UNCERTIFIED 2734 UNCERTIFIED 7749 UNCERTIFIED 170 UNCERTIFIED 13344
tpdb-8.0/TRS/SK90/4.54.xml UNCERTIFIED 2285 UNCERTIFIED 60265 UNCERTIFIED 60259 UNCERTIFIED 60278 UNCERTIFIED 60287
tpdb-8.0/TRS/SK90/4.55.xml UNCERTIFIED 1035 UNCERTIFIED 1761 UNCERTIFIED 1467 UNCERTIFIED 91 UNCERTIFIED 60200
tpdb-8.0/TRS/SK90/4.56.xml UNCERTIFIED 1675 UNCERTIFIED 2009 UNCERTIFIED 2011 UNCERTIFIED 109 UNCERTIFIED 270
tpdb-8.0/TRS/SK90/4.57.xml UNCERTIFIED 1793 UNCERTIFIED 2076 UNCERTIFIED 16577 UNCERTIFIED 155 UNCERTIFIED 19963
tpdb-8.0/TRS/SK90/4.59.xml UNCERTIFIED 5541 UNCERTIFIED 4509 UNCERTIFIED 3685 UNCERTIFIED 349 UNCERTIFIED 10553
tpdb-8.0/TRS/SK90/4.60.xml UNCERTIFIED 4902 UNCERTIFIED 5888 UNCERTIFIED 5174 UNCERTIFIED 356 UNCERTIFIED 11224
tpdb-8.0/TRS/SK90/4.61.xml UNCERTIFIED 60581 UNCERTIFIED 60379 UNCERTIFIED 60399 UNCERTIFIED 46827 UNCERTIFIED 60210
tpdb-8.0/TRS/Strategy_removed_AG01/#4.12a.xml UNCERTIFIED 1198 UNCERTIFIED 1923 UNCERTIFIED 1597 UNCERTIFIED 501 UNCERTIFIED 60194
tpdb-8.0/TRS/Strategy_removed_AG01/#4.13.xml UNCERTIFIED 1188 UNCERTIFIED 1769 UNCERTIFIED 1579 UNCERTIFIED 217 UNCERTIFIED 60198
tpdb-8.0/TRS/Strategy_removed_AG01/#4.14.xml UNCERTIFIED 1529 UNCERTIFIED 3211 UNCERTIFIED 2910 UNCERTIFIED 542 UNCERTIFIED 60267
tpdb-8.0/TRS/Strategy_removed_AG01/#4.15.xml UNCERTIFIED 2117 UNCERTIFIED 5873 UNCERTIFIED 4264 UNCERTIFIED 699 UNCERTIFIED 60291
tpdb-8.0/TRS/Strategy_removed_AG01/#4.16.xml UNCERTIFIED 1210 UNCERTIFIED 2530 UNCERTIFIED 2171 UNCERTIFIED 207 UNCERTIFIED 60198
tpdb-8.0/TRS/Strategy_removed_AG01/#4.17.xml UNCERTIFIED 8283 UNCERTIFIED 60236 UNCERTIFIED 60250 UNCERTIFIED 30889 UNCERTIFIED 60248
tpdb-8.0/TRS/Strategy_removed_AG01/#4.18.xml UNCERTIFIED 60279 UNCERTIFIED 60994 UNCERTIFIED 60526 UNCERTIFIED 59122 UNCERTIFIED 60247
tpdb-8.0/TRS/Strategy_removed_AG01/#4.19.xml UNCERTIFIED 2006 UNCERTIFIED 3324 UNCERTIFIED 3768 UNCERTIFIED 1671 UNCERTIFIED 60199
tpdb-8.0/TRS/Strategy_removed_AG01/#4.20a.xml UNCERTIFIED 2224 UNCERTIFIED 2827 UNCERTIFIED 2873 UNCERTIFIED 159 UNCERTIFIED 415
tpdb-8.0/TRS/Strategy_removed_AG01/#4.20.xml UNCERTIFIED 1924 UNCERTIFIED 2282 UNCERTIFIED 2242 UNCERTIFIED 130 UNCERTIFIED 278
tpdb-8.0/TRS/Strategy_removed_AG01/#4.21.xml UNCERTIFIED 2553 UNCERTIFIED 2648 UNCERTIFIED 3247 UNCERTIFIED 158 UNCERTIFIED 640
tpdb-8.0/TRS/Strategy_removed_AG01/#4.22.xml UNCERTIFIED 1662 UNCERTIFIED 8415 UNCERTIFIED 15609 UNCERTIFIED 5498 UNCERTIFIED 60247
tpdb-8.0/TRS/Strategy_removed_AG01/#4.23.xml UNCERTIFIED 2707 UNCERTIFIED 21898 UNCERTIFIED 18281 UNCERTIFIED 10635 UNCERTIFIED 60254
tpdb-8.0/TRS/Strategy_removed_AG01/#4.25.xml UNCERTIFIED 1140 UNCERTIFIED 1921 UNCERTIFIED 1805 UNCERTIFIED 90 UNCERTIFIED 60203
tpdb-8.0/TRS/Strategy_removed_AG01/#4.26.xml UNCERTIFIED 2567 UNCERTIFIED 8110 UNCERTIFIED 8890 UNCERTIFIED 1672 UNCERTIFIED 12163
tpdb-8.0/TRS/Strategy_removed_AG01/#4.27.xml UNCERTIFIED 4021 UNCERTIFIED 5013 UNCERTIFIED 7410 UNCERTIFIED 1041 UNCERTIFIED 14792
tpdb-8.0/TRS/Strategy_removed_AG01/#4.28.xml UNCERTIFIED 2647 UNCERTIFIED 3475 UNCERTIFIED 5634 UNCERTIFIED 4219 UNCERTIFIED 2228
tpdb-8.0/TRS/Strategy_removed_AG01/#4.29.xml UNCERTIFIED 6877 UNCERTIFIED 60263 UNCERTIFIED 60299 UNCERTIFIED 43882 UNCERTIFIED 60231
tpdb-8.0/TRS/Strategy_removed_AG01/#4.2.xml UNCERTIFIED 1579 UNCERTIFIED 3915 UNCERTIFIED 3655 UNCERTIFIED 1345 UNCERTIFIED 60276
tpdb-8.0/TRS/Strategy_removed_AG01/#4.30a.xml UNCERTIFIED 3827 UNCERTIFIED 60234 UNCERTIFIED 60260 UNCERTIFIED 30173 UNCERTIFIED 60274
tpdb-8.0/TRS/Strategy_removed_AG01/#4.30b.xml UNCERTIFIED 3425 UNCERTIFIED 13089 UNCERTIFIED 8204 UNCERTIFIED 3544 UNCERTIFIED 60261
tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml UNCERTIFIED 3294 UNCERTIFIED 12309 UNCERTIFIED 13767 UNCERTIFIED 6206 UNCERTIFIED 60258
tpdb-8.0/TRS/Strategy_removed_AG01/#4.30.xml UNCERTIFIED 5476 UNCERTIFIED 60232 UNCERTIFIED 60256 UNCERTIFIED 4938 UNCERTIFIED 60239
tpdb-8.0/TRS/Strategy_removed_AG01/#4.32.xml UNCERTIFIED 2494 UNCERTIFIED 2783 UNCERTIFIED 2701 UNCERTIFIED 180 UNCERTIFIED 500
tpdb-8.0/TRS/Strategy_removed_AG01/#4.33.xml UNCERTIFIED 4830 UNCERTIFIED 5203 UNCERTIFIED 2949 UNCERTIFIED 1206 UNCERTIFIED 2081
tpdb-8.0/TRS/Strategy_removed_AG01/#4.34.xml UNCERTIFIED 3433 UNCERTIFIED 3894 UNCERTIFIED 4703 UNCERTIFIED 627 UNCERTIFIED 2802
tpdb-8.0/TRS/Strategy_removed_AG01/#4.35.xml UNCERTIFIED 60414 UNCERTIFIED 60467 UNCERTIFIED 60409 UNCERTIFIED 60224 UNCERTIFIED 60204
tpdb-8.0/TRS/Strategy_removed_AG01/#4.36.xml UNCERTIFIED 20891 UNCERTIFIED 22964 UNCERTIFIED 23153 UNCERTIFIED 38588 UNCERTIFIED 60206
tpdb-8.0/TRS/Strategy_removed_AG01/#4.37a.xml UNCERTIFIED 3352 UNCERTIFIED 3354 UNCERTIFIED 2685 UNCERTIFIED 222 UNCERTIFIED 578
tpdb-8.0/TRS/Strategy_removed_AG01/#4.37.xml UNCERTIFIED 2602 UNCERTIFIED 2767 UNCERTIFIED 2644 UNCERTIFIED 223 UNCERTIFIED 576
tpdb-8.0/TRS/Strategy_removed_AG01/#4.3.xml UNCERTIFIED 1100 UNCERTIFIED 1799 UNCERTIFIED 1526 UNCERTIFIED 175 UNCERTIFIED 60225
tpdb-8.0/TRS/Strategy_removed_AG01/#4.4.xml UNCERTIFIED 1271 UNCERTIFIED 2662 UNCERTIFIED 2753 UNCERTIFIED 322 UNCERTIFIED 60200
tpdb-8.0/TRS/Strategy_removed_AG01/#4.7.xml UNCERTIFIED 3274 UNCERTIFIED 60237 UNCERTIFIED 60249 UNCERTIFIED 24144 UNCERTIFIED 60292
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_AEL03.xml UNCERTIFIED 5248 UNCERTIFIED 13470 UNCERTIFIED 10476 UNCERTIFIED 341 UNCERTIFIED 60248
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml UNCERTIFIED 1260 UNCERTIFIED 2119 UNCERTIFIED 2106 UNCERTIFIED 91 UNCERTIFIED 60201
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex14_AEGL02.xml UNCERTIFIED 1429 UNCERTIFIED 2924 UNCERTIFIED 2465 UNCERTIFIED 98 UNCERTIFIED 60265
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex15_Luc98.xml UNCERTIFIED 2439 UNCERTIFIED 5433 UNCERTIFIED 4915 UNCERTIFIED 164 UNCERTIFIED 60198
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GL02a.xml UNCERTIFIED 2853 UNCERTIFIED 60261 UNCERTIFIED 60269 UNCERTIFIED 2578 UNCERTIFIED 60248
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM03.xml UNCERTIFIED 2005 UNCERTIFIED 7931 UNCERTIFIED 9589 UNCERTIFIED 99 UNCERTIFIED 60286
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM99.xml UNCERTIFIED 1142 UNCERTIFIED 1662 UNCERTIFIED 1472 UNCERTIFIED 171 UNCERTIFIED 60219
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml UNCERTIFIED 2048 UNCERTIFIED 60231 UNCERTIFIED 60245 UNCERTIFIED 97 UNCERTIFIED 60263
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Zan97.xml UNCERTIFIED 1090 UNCERTIFIED 2858 UNCERTIFIED 2929 UNCERTIFIED 347 UNCERTIFIED 60200
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex24_GM04.xml UNCERTIFIED 1140 UNCERTIFIED 1689 UNCERTIFIED 1508 UNCERTIFIED 181 UNCERTIFIED 60195
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex26_Luc03b.xml UNCERTIFIED 5815 UNCERTIFIED 36424 UNCERTIFIED 37702 UNCERTIFIED 100 UNCERTIFIED 60295
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex2_Luc03b.xml UNCERTIFIED 2831 UNCERTIFIED 13578 UNCERTIFIED 22804 UNCERTIFIED 3049 UNCERTIFIED 60240
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml UNCERTIFIED 1486 UNCERTIFIED 35090 UNCERTIFIED 19731 UNCERTIFIED 92 UNCERTIFIED 60260
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_2_Luc97.xml UNCERTIFIED 4558 UNCERTIFIED 60230 UNCERTIFIED 60268 UNCERTIFIED 1209 UNCERTIFIED 60234
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml UNCERTIFIED 3744 UNCERTIFIED 28566 UNCERTIFIED 25518 UNCERTIFIED 99 UNCERTIFIED 60281
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml UNCERTIFIED 1316 UNCERTIFIED 2263 UNCERTIFIED 2140 UNCERTIFIED 114 UNCERTIFIED 60197
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml UNCERTIFIED 1312 UNCERTIFIED 2634 UNCERTIFIED 2415 UNCERTIFIED 4806 UNCERTIFIED 60197
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml UNCERTIFIED 5704 UNCERTIFIED 60240 UNCERTIFIED 60267 UNCERTIFIED 101 UNCERTIFIED 60235
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml UNCERTIFIED 1483 UNCERTIFIED 2755 UNCERTIFIED 2841 UNCERTIFIED 91 UNCERTIFIED 60196
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml UNCERTIFIED 1034 UNCERTIFIED 1386 UNCERTIFIED 1199 UNCERTIFIED 90 UNCERTIFIED 60204
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml UNCERTIFIED 4012 UNCERTIFIED 5587 UNCERTIFIED 5523 UNCERTIFIED 292 UNCERTIFIED 12859
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_Zan97.xml UNCERTIFIED 2230 UNCERTIFIED 60223 UNCERTIFIED 60239 UNCERTIFIED 92 UNCERTIFIED 60276
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_7_Luc97.xml UNCERTIFIED 11506 UNCERTIFIED 60242 UNCERTIFIED 60306 UNCERTIFIED 4524 UNCERTIFIED 60198
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_Zan97.xml UNCERTIFIED 1146 UNCERTIFIED 1911 UNCERTIFIED 2020 UNCERTIFIED 94 UNCERTIFIED 60195
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_15_AEL02.xml UNCERTIFIED 15481 UNCERTIFIED 60262 UNCERTIFIED 60308 UNCERTIFIED 12530 UNCERTIFIED 60199
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml UNCERTIFIED 1263 UNCERTIFIED 3771 UNCERTIFIED 4011 UNCERTIFIED 94 UNCERTIFIED 60199
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml UNCERTIFIED 1034 UNCERTIFIED 2779 UNCERTIFIED 2586 UNCERTIFIED 89 UNCERTIFIED 60202
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_Luc98.xml UNCERTIFIED 1533 UNCERTIFIED 2957 UNCERTIFIED 2580 UNCERTIFIED 117 UNCERTIFIED 60191
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex7_BLR02.xml UNCERTIFIED 2303 UNCERTIFIED 60227 UNCERTIFIED 60250 UNCERTIFIED 102 UNCERTIFIED 60234
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex8_BLR02.xml UNCERTIFIED 2718 UNCERTIFIED 15927 UNCERTIFIED 15720 UNCERTIFIED 121 UNCERTIFIED 60278
tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex9_BLR02.xml UNCERTIFIED 5071 UNCERTIFIED 60235 UNCERTIFIED 60267 UNCERTIFIED 8886 UNCERTIFIED 60211
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml UNCERTIFIED 5539 UNCERTIFIED 23882 UNCERTIFIED 17373 UNCERTIFIED 6826 UNCERTIFIED 60222
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExConc_Zan97.xml UNCERTIFIED 984 UNCERTIFIED 2270 UNCERTIFIED 2293 UNCERTIFIED 89 UNCERTIFIED 60193
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM01.xml UNCERTIFIED 1855 UNCERTIFIED 6241 UNCERTIFIED 5208 UNCERTIFIED 737 UNCERTIFIED 60230
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.xml UNCERTIFIED 1764 UNCERTIFIED 5801 UNCERTIFIED 4282 UNCERTIFIED 92 UNCERTIFIED 60237
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM99.xml UNCERTIFIED 8009 UNCERTIFIED 60230 UNCERTIFIED 60274 UNCERTIFIED 122 UNCERTIFIED 60207
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_Zan97.xml UNCERTIFIED 3017 UNCERTIFIED 12684 UNCERTIFIED 15722 UNCERTIFIED 107 UNCERTIFIED 60240
tpdb-8.0/TRS/Strategy_removed_mixed_05/bn111.xml UNCERTIFIED 1245 UNCERTIFIED 2454 UNCERTIFIED 2317 UNCERTIFIED 796 UNCERTIFIED 60278
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex1.xml UNCERTIFIED 1274 UNCERTIFIED 3049 UNCERTIFIED 2980 UNCERTIFIED 88 UNCERTIFIED 60201
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml UNCERTIFIED 1199 UNCERTIFIED 2331 UNCERTIFIED 2102 UNCERTIFIED 91 UNCERTIFIED 60204
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex3.xml UNCERTIFIED 1374 UNCERTIFIED 3407 UNCERTIFIED 3090 UNCERTIFIED 120 UNCERTIFIED 60203
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml UNCERTIFIED 1086 UNCERTIFIED 3813 UNCERTIFIED 4104 UNCERTIFIED 308 UNCERTIFIED 14455
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex5.xml UNCERTIFIED 1033 UNCERTIFIED 2962 UNCERTIFIED 3201 UNCERTIFIED 88 UNCERTIFIED 60202
tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml UNCERTIFIED 1316 UNCERTIFIED 3314 UNCERTIFIED 4190 UNCERTIFIED 386 UNCERTIFIED 60203
tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml UNCERTIFIED 8507 UNCERTIFIED 60234 UNCERTIFIED 60279 UNCERTIFIED 103 UNCERTIFIED 60238
tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml UNCERTIFIED 1194 UNCERTIFIED 1810 UNCERTIFIED 1674 UNCERTIFIED 93 UNCERTIFIED 60201
tpdb-8.0/TRS/Strategy_removed_mixed_05/muladd.xml UNCERTIFIED 1308 UNCERTIFIED 3639 UNCERTIFIED 3678 UNCERTIFIED 4896 UNCERTIFIED 60194
tpdb-8.0/TRS/Strategy_removed_mixed_05/n001.xml UNCERTIFIED 1807 UNCERTIFIED 9077 UNCERTIFIED 7966 UNCERTIFIED 17235 UNCERTIFIED 60196
tpdb-8.0/TRS/Strategy_removed_mixed_05/test10.xml UNCERTIFIED 1576 UNCERTIFIED 4453 UNCERTIFIED 5050 UNCERTIFIED 1069 UNCERTIFIED 60199
tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml UNCERTIFIED 1164 UNCERTIFIED 2239 UNCERTIFIED 2125 UNCERTIFIED 301 UNCERTIFIED 60197
tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml UNCERTIFIED 1525 UNCERTIFIED 3406 UNCERTIFIED 3289 UNCERTIFIED 513 UNCERTIFIED 60199
tpdb-8.0/TRS/Strategy_removed_mixed_05/test77.xml UNCERTIFIED 1581 UNCERTIFIED 4494 UNCERTIFIED 4448 UNCERTIFIED 554 UNCERTIFIED 60194
tpdb-8.0/TRS/Strategy_removed_mixed_05/test830.xml UNCERTIFIED 3103 UNCERTIFIED 2924 UNCERTIFIED 2247 UNCERTIFIED 211 UNCERTIFIED 349
tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml UNCERTIFIED 1249 UNCERTIFIED 1889 UNCERTIFIED 1691 UNCERTIFIED 536 UNCERTIFIED 60195
tpdb-8.0/TRS/Strategy_removed_mixed_05/toyama.xml UNCERTIFIED 1137 UNCERTIFIED 1713 UNCERTIFIED 1547 UNCERTIFIED 183 UNCERTIFIED 60196
tpdb-8.0/TRS/Strategy_removed_mixed_05/tricky1.xml UNCERTIFIED 2909 UNCERTIFIED 3623 UNCERTIFIED 8626 UNCERTIFIED 182 UNCERTIFIED 10230
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_C.xml UNCERTIFIED 60513 UNCERTIFIED 60567 UNCERTIFIED 60462 UNCERTIFIED 60280 UNCERTIFIED 60210
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_FR.xml UNCERTIFIED 12537 UNCERTIFIED 14538 UNCERTIFIED 16009 UNCERTIFIED 666 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_GM.xml UNCERTIFIED 9317 UNCERTIFIED 60272 UNCERTIFIED 60319 UNCERTIFIED 60213 UNCERTIFIED 60212
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml UNCERTIFIED 60473 UNCERTIFIED 60491 UNCERTIFIED 60515 UNCERTIFIED 60240 UNCERTIFIED 60205
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml UNCERTIFIED 876 UNCERTIFIED 1180 UNCERTIFIED 900 UNCERTIFIED 87 UNCERTIFIED 2610
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_Z.xml UNCERTIFIED 5832 UNCERTIFIED 9115 UNCERTIFIED 11316 UNCERTIFIED 555 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_C.xml UNCERTIFIED 35391 UNCERTIFIED 4502 UNCERTIFIED 4233 UNCERTIFIED 725 UNCERTIFIED 7523
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml UNCERTIFIED 3535 UNCERTIFIED 4106 UNCERTIFIED 8413 UNCERTIFIED 174 UNCERTIFIED 18861
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml UNCERTIFIED 4552 UNCERTIFIED 5914 UNCERTIFIED 10925 UNCERTIFIED 776 UNCERTIFIED 14879
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml UNCERTIFIED 27581 UNCERTIFIED 5681 UNCERTIFIED 4838 UNCERTIFIED 18325 UNCERTIFIED 3582
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_L.xml UNCERTIFIED 861 UNCERTIFIED 1162 UNCERTIFIED 887 UNCERTIFIED 88 UNCERTIFIED 194
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml UNCERTIFIED 1672 UNCERTIFIED 2002 UNCERTIFIED 2399 UNCERTIFIED 115 UNCERTIFIED 872
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_C.xml UNCERTIFIED 28727 UNCERTIFIED 33019 UNCERTIFIED 27305 UNCERTIFIED 6444 UNCERTIFIED 60201
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_FR.xml UNCERTIFIED 4653 UNCERTIFIED 60257 UNCERTIFIED 60299 UNCERTIFIED 3482 UNCERTIFIED 60285
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_GM.xml UNCERTIFIED 4058 UNCERTIFIED 6259 UNCERTIFIED 7764 UNCERTIFIED 740 UNCERTIFIED 16303
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_iGM.xml UNCERTIFIED 23585 UNCERTIFIED 8245 UNCERTIFIED 6157 UNCERTIFIED 2317 UNCERTIFIED 2751
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_L.xml UNCERTIFIED 1000 UNCERTIFIED 1923 UNCERTIFIED 1749 UNCERTIFIED 257 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_Z.xml UNCERTIFIED 1531 UNCERTIFIED 60230 UNCERTIFIED 60275 UNCERTIFIED 2431 UNCERTIFIED 60240
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_C.xml UNCERTIFIED 60292 UNCERTIFIED 60347 UNCERTIFIED 60378 UNCERTIFIED 48097 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_FR.xml UNCERTIFIED 1304 UNCERTIFIED 2542 UNCERTIFIED 2476 UNCERTIFIED 1008 UNCERTIFIED 60194
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_GM.xml UNCERTIFIED 2596 UNCERTIFIED 4865 UNCERTIFIED 4430 UNCERTIFIED 3603 UNCERTIFIED 60281
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_iGM.xml UNCERTIFIED 12391 UNCERTIFIED 60260 UNCERTIFIED 60345 UNCERTIFIED 60281 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_L.xml UNCERTIFIED 1193 UNCERTIFIED 2589 UNCERTIFIED 2896 UNCERTIFIED 586 UNCERTIFIED 60200
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_C.xml UNCERTIFIED 7785 UNCERTIFIED 10716 UNCERTIFIED 7267 UNCERTIFIED 2072 UNCERTIFIED 3786
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml UNCERTIFIED 2160 UNCERTIFIED 2904 UNCERTIFIED 4122 UNCERTIFIED 152 UNCERTIFIED 699
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_GM.xml UNCERTIFIED 2058 UNCERTIFIED 2603 UNCERTIFIED 3506 UNCERTIFIED 150 UNCERTIFIED 433
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_iGM.xml UNCERTIFIED 4814 UNCERTIFIED 5163 UNCERTIFIED 4768 UNCERTIFIED 1232 UNCERTIFIED 810
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_L.xml UNCERTIFIED 984 UNCERTIFIED 1440 UNCERTIFIED 1208 UNCERTIFIED 296 UNCERTIFIED 6476
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml UNCERTIFIED 1688 UNCERTIFIED 2053 UNCERTIFIED 3660 UNCERTIFIED 113 UNCERTIFIED 459
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_C.xml UNCERTIFIED 60208 UNCERTIFIED 18894 UNCERTIFIED 36102 UNCERTIFIED 34705 UNCERTIFIED 60202
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_FR.xml UNCERTIFIED 9814 UNCERTIFIED 23931 UNCERTIFIED 24781 UNCERTIFIED 60296 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_GM.xml UNCERTIFIED 4874 UNCERTIFIED 4057 UNCERTIFIED 3580 UNCERTIFIED 302 UNCERTIFIED 5230
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_iGM.xml UNCERTIFIED 33716 UNCERTIFIED 27679 UNCERTIFIED 35473 UNCERTIFIED 1495 UNCERTIFIED 60207
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_L.xml UNCERTIFIED 879 UNCERTIFIED 1179 UNCERTIFIED 900 UNCERTIFIED 91 UNCERTIFIED 494
tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_Z.xml UNCERTIFIED 6612 UNCERTIFIED 8325 UNCERTIFIED 14268 UNCERTIFIED 3093 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml UNCERTIFIED 60270 UNCERTIFIED 60335 UNCERTIFIED 60345 UNCERTIFIED 46574 UNCERTIFIED 60261
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_FR.xml UNCERTIFIED 1648 UNCERTIFIED 1979 UNCERTIFIED 1442 UNCERTIFIED 88 UNCERTIFIED 60190
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml UNCERTIFIED 2094 UNCERTIFIED 2582 UNCERTIFIED 1468 UNCERTIFIED 109 UNCERTIFIED 60191
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_iGM.xml UNCERTIFIED 2708 UNCERTIFIED 8713 UNCERTIFIED 7757 UNCERTIFIED 2329 UNCERTIFIED 60197
tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_L.xml UNCERTIFIED 983 UNCERTIFIED 1792 UNCERTIFIED 1589 UNCERTIFIED 95 UNCERTIFIED 60198
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_C.xml UNCERTIFIED 7318 UNCERTIFIED 9282 UNCERTIFIED 8478 UNCERTIFIED 1589 UNCERTIFIED 2007
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml UNCERTIFIED 2062 UNCERTIFIED 2560 UNCERTIFIED 2545 UNCERTIFIED 145 UNCERTIFIED 236
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml UNCERTIFIED 2087 UNCERTIFIED 2489 UNCERTIFIED 3245 UNCERTIFIED 151 UNCERTIFIED 393
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_iGM.xml UNCERTIFIED 3512 UNCERTIFIED 4399 UNCERTIFIED 7518 UNCERTIFIED 281 UNCERTIFIED 2331
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_L.xml UNCERTIFIED 1666 UNCERTIFIED 1999 UNCERTIFIED 2025 UNCERTIFIED 104 UNCERTIFIED 119
tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_Z.xml UNCERTIFIED 1685 UNCERTIFIED 2191 UNCERTIFIED 2705 UNCERTIFIED 109 UNCERTIFIED 130
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_C.xml UNCERTIFIED 45722 UNCERTIFIED 43491 UNCERTIFIED 44245 UNCERTIFIED 44422 UNCERTIFIED 60198
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_FR.xml UNCERTIFIED 53425 UNCERTIFIED 60285 UNCERTIFIED 60352 UNCERTIFIED 33094 UNCERTIFIED 60238
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_GM.xml UNCERTIFIED 4940 UNCERTIFIED 5161 UNCERTIFIED 5438 UNCERTIFIED 328 UNCERTIFIED 26162
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_iGM.xml UNCERTIFIED 45569 UNCERTIFIED 10566 UNCERTIFIED 8162 UNCERTIFIED 4378 UNCERTIFIED 60277
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_L.xml UNCERTIFIED 1040 UNCERTIFIED 1486 UNCERTIFIED 1253 UNCERTIFIED 91 UNCERTIFIED 60198
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_Z.xml UNCERTIFIED 60263 UNCERTIFIED 60353 UNCERTIFIED 60339 UNCERTIFIED 32447 UNCERTIFIED 60195
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_C.xml UNCERTIFIED 60391 UNCERTIFIED 60671 UNCERTIFIED 60466 UNCERTIFIED 55115 UNCERTIFIED 60210
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_FR.xml UNCERTIFIED 6145 UNCERTIFIED 60261 UNCERTIFIED 60331 UNCERTIFIED 32456 UNCERTIFIED 60217
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_GM.xml UNCERTIFIED 8701 UNCERTIFIED 60264 UNCERTIFIED 60311 UNCERTIFIED 60214 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_iGM.xml UNCERTIFIED 60778 UNCERTIFIED 60482 UNCERTIFIED 60950 UNCERTIFIED 60258 UNCERTIFIED 60207
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_L.xml UNCERTIFIED 840 UNCERTIFIED 1181 UNCERTIFIED 904 UNCERTIFIED 89 UNCERTIFIED 514
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_Z.xml UNCERTIFIED 2410 UNCERTIFIED 49750 UNCERTIFIED 60272 UNCERTIFIED 120 UNCERTIFIED 60242
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_C.xml UNCERTIFIED 60267 UNCERTIFIED 60335 UNCERTIFIED 60331 UNCERTIFIED 47015 UNCERTIFIED 60202
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_FR.xml UNCERTIFIED 1138 UNCERTIFIED 2541 UNCERTIFIED 2336 UNCERTIFIED 234 UNCERTIFIED 60190
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_GM.xml UNCERTIFIED 1944 UNCERTIFIED 5462 UNCERTIFIED 5293 UNCERTIFIED 1232 UNCERTIFIED 60288
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_iGM.xml UNCERTIFIED 3531 UNCERTIFIED 13037 UNCERTIFIED 12543 UNCERTIFIED 15611 UNCERTIFIED 60244
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_L.xml UNCERTIFIED 987 UNCERTIFIED 1755 UNCERTIFIED 1576 UNCERTIFIED 92 UNCERTIFIED 979
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_C.xml UNCERTIFIED 60318 UNCERTIFIED 60356 UNCERTIFIED 60361 UNCERTIFIED 52271 UNCERTIFIED 60200
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_FR.xml UNCERTIFIED 4650 UNCERTIFIED 60262 UNCERTIFIED 60299 UNCERTIFIED 18964 UNCERTIFIED 60290
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_GM.xml UNCERTIFIED 4864 UNCERTIFIED 60252 UNCERTIFIED 60339 UNCERTIFIED 60207 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_iGM.xml UNCERTIFIED 60464 UNCERTIFIED 60887 UNCERTIFIED 60368 UNCERTIFIED 60296 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml UNCERTIFIED 846 UNCERTIFIED 1174 UNCERTIFIED 901 UNCERTIFIED 90 UNCERTIFIED 794
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_Z.xml UNCERTIFIED 7149 UNCERTIFIED 60239 UNCERTIFIED 60273 UNCERTIFIED 29743 UNCERTIFIED 60295
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml UNCERTIFIED 60314 UNCERTIFIED 25017 UNCERTIFIED 9797 UNCERTIFIED 51289 UNCERTIFIED 60200
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_FR.xml UNCERTIFIED 1839 UNCERTIFIED 60245 UNCERTIFIED 60271 UNCERTIFIED 7094 UNCERTIFIED 60287
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml UNCERTIFIED 8631 UNCERTIFIED 5421 UNCERTIFIED 5928 UNCERTIFIED 60263 UNCERTIFIED 4394
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_iGM.xml UNCERTIFIED 60320 UNCERTIFIED 32634 UNCERTIFIED 17475 UNCERTIFIED 60301 UNCERTIFIED 60213
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml UNCERTIFIED 870 UNCERTIFIED 1154 UNCERTIFIED 902 UNCERTIFIED 90 UNCERTIFIED 60198
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_Z.xml UNCERTIFIED 2031 UNCERTIFIED 40733 UNCERTIFIED 30740 UNCERTIFIED 96 UNCERTIFIED 60252
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_C.xml UNCERTIFIED 5023 UNCERTIFIED 6238 UNCERTIFIED 7652 UNCERTIFIED 4898 UNCERTIFIED 1647
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_FR.xml UNCERTIFIED 1205 UNCERTIFIED 6435 UNCERTIFIED 6149 UNCERTIFIED 657 UNCERTIFIED 60287
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml UNCERTIFIED 2108 UNCERTIFIED 2597 UNCERTIFIED 2861 UNCERTIFIED 157 UNCERTIFIED 151
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_iGM.xml UNCERTIFIED 4084 UNCERTIFIED 5125 UNCERTIFIED 4274 UNCERTIFIED 545 UNCERTIFIED 1282
tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_L.xml UNCERTIFIED 982 UNCERTIFIED 1605 UNCERTIFIED 1422 UNCERTIFIED 176 UNCERTIFIED 13406
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_C.xml UNCERTIFIED 11160 UNCERTIFIED 14232 UNCERTIFIED 11649 UNCERTIFIED 4022 UNCERTIFIED 4142
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml UNCERTIFIED 2565 UNCERTIFIED 3045 UNCERTIFIED 3254 UNCERTIFIED 165 UNCERTIFIED 404
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_GM.xml UNCERTIFIED 2179 UNCERTIFIED 2791 UNCERTIFIED 4104 UNCERTIFIED 156 UNCERTIFIED 404
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_iGM.xml UNCERTIFIED 6481 UNCERTIFIED 7612 UNCERTIFIED 23985 UNCERTIFIED 398 UNCERTIFIED 4513
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_L.xml UNCERTIFIED 1555 UNCERTIFIED 1991 UNCERTIFIED 2066 UNCERTIFIED 108 UNCERTIFIED 122
tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_Z.xml UNCERTIFIED 1645 UNCERTIFIED 2117 UNCERTIFIED 3214 UNCERTIFIED 108 UNCERTIFIED 132
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_C.xml UNCERTIFIED 60290 UNCERTIFIED 60344 UNCERTIFIED 60356 UNCERTIFIED 47220 UNCERTIFIED 60284
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_FR.xml UNCERTIFIED 1588 UNCERTIFIED 4583 UNCERTIFIED 3974 UNCERTIFIED 604 UNCERTIFIED 60200
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_GM.xml UNCERTIFIED 1557 UNCERTIFIED 4775 UNCERTIFIED 4293 UNCERTIFIED 497 UNCERTIFIED 60196
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_iGM.xml UNCERTIFIED 4665 UNCERTIFIED 10740 UNCERTIFIED 10768 UNCERTIFIED 3843 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_L.xml UNCERTIFIED 983 UNCERTIFIED 1643 UNCERTIFIED 1524 UNCERTIFIED 91 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_Z.xml UNCERTIFIED 1274 UNCERTIFIED 4044 UNCERTIFIED 3866 UNCERTIFIED 548 UNCERTIFIED 60199
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_C.xml UNCERTIFIED 8466 UNCERTIFIED 10469 UNCERTIFIED 13772 UNCERTIFIED 36097 UNCERTIFIED 3490
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_FR.xml UNCERTIFIED 1191 UNCERTIFIED 2241 UNCERTIFIED 2094 UNCERTIFIED 347 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_GM.xml UNCERTIFIED 1626 UNCERTIFIED 2208 UNCERTIFIED 2034 UNCERTIFIED 537 UNCERTIFIED 60200
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_iGM.xml UNCERTIFIED 60264 UNCERTIFIED 60340 UNCERTIFIED 60324 UNCERTIFIED 60313 UNCERTIFIED 60244
tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_L.xml UNCERTIFIED 984 UNCERTIFIED 2108 UNCERTIFIED 1988 UNCERTIFIED 93 UNCERTIFIED 60205
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_C.xml UNCERTIFIED 21002 UNCERTIFIED 15253 UNCERTIFIED 10356 UNCERTIFIED 840 UNCERTIFIED 4668
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_FR.xml UNCERTIFIED 2721 UNCERTIFIED 3324 UNCERTIFIED 5719 UNCERTIFIED 198 UNCERTIFIED 995
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_GM.xml UNCERTIFIED 2991 UNCERTIFIED 3999 UNCERTIFIED 5527 UNCERTIFIED 189 UNCERTIFIED 649
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_iGM.xml UNCERTIFIED 15015 UNCERTIFIED 16192 UNCERTIFIED 22026 UNCERTIFIED 610 UNCERTIFIED 4745
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_L.xml UNCERTIFIED 1630 UNCERTIFIED 1981 UNCERTIFIED 2136 UNCERTIFIED 108 UNCERTIFIED 130
tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_Z.xml UNCERTIFIED 2290 UNCERTIFIED 2896 UNCERTIFIED 4291 UNCERTIFIED 181 UNCERTIFIED 158
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_C.xml UNCERTIFIED 60455 UNCERTIFIED 60231 UNCERTIFIED 44624 UNCERTIFIED 51116 UNCERTIFIED 60216
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml UNCERTIFIED 5895 UNCERTIFIED 60271 UNCERTIFIED 60318 UNCERTIFIED 60245 UNCERTIFIED 60219
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_GM.xml UNCERTIFIED 6515 UNCERTIFIED 7438 UNCERTIFIED 16250 UNCERTIFIED 3514 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_iGM.xml UNCERTIFIED 60667 UNCERTIFIED 43614 UNCERTIFIED 46051 UNCERTIFIED 8000 UNCERTIFIED 60212
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml UNCERTIFIED 1686 UNCERTIFIED 2015 UNCERTIFIED 2191 UNCERTIFIED 112 UNCERTIFIED 180
tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_Z.xml UNCERTIFIED 59860 UNCERTIFIED 60345 UNCERTIFIED 60349 UNCERTIFIED 60290 UNCERTIFIED 60216
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml UNCERTIFIED 60526 UNCERTIFIED 60270 UNCERTIFIED 60480 UNCERTIFIED 51388 UNCERTIFIED 60210
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_FR.xml UNCERTIFIED 9562 UNCERTIFIED 52677 UNCERTIFIED 60272 UNCERTIFIED 2965 UNCERTIFIED 60212
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_GM.xml UNCERTIFIED 14007 UNCERTIFIED 60263 UNCERTIFIED 60333 UNCERTIFIED 15928 UNCERTIFIED 60211
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_iGM.xml UNCERTIFIED 60371 UNCERTIFIED 60333 UNCERTIFIED 60424 UNCERTIFIED 25177 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_L.xml UNCERTIFIED 2810 UNCERTIFIED 17980 UNCERTIFIED 15387 UNCERTIFIED 292 UNCERTIFIED 60263
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_Z.xml UNCERTIFIED 6169 UNCERTIFIED 8831 UNCERTIFIED 39294 UNCERTIFIED 566 UNCERTIFIED 60250
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_C.xml UNCERTIFIED 60589 UNCERTIFIED 12149 UNCERTIFIED 8944 UNCERTIFIED 27384 UNCERTIFIED 60214
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_FR.xml UNCERTIFIED 8019 UNCERTIFIED 9040 UNCERTIFIED 15174 UNCERTIFIED 286 UNCERTIFIED 32711
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_GM.xml UNCERTIFIED 3434 UNCERTIFIED 4069 UNCERTIFIED 8293 UNCERTIFIED 274 UNCERTIFIED 33234
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_iGM.xml UNCERTIFIED 37766 UNCERTIFIED 21211 UNCERTIFIED 24604 UNCERTIFIED 1198 UNCERTIFIED 60214
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_L.xml UNCERTIFIED 1653 UNCERTIFIED 1974 UNCERTIFIED 2012 UNCERTIFIED 105 UNCERTIFIED 155
tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_Z.xml UNCERTIFIED 3089 UNCERTIFIED 3283 UNCERTIFIED 3041 UNCERTIFIED 247 UNCERTIFIED 3245
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_C.xml UNCERTIFIED 60299 UNCERTIFIED 60342 UNCERTIFIED 60342 UNCERTIFIED 50030 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml UNCERTIFIED 3083 UNCERTIFIED 60257 UNCERTIFIED 60291 UNCERTIFIED 221 UNCERTIFIED 60237
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml UNCERTIFIED 2883 UNCERTIFIED 60264 UNCERTIFIED 60326 UNCERTIFIED 60210 UNCERTIFIED 60218
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml UNCERTIFIED 60291 UNCERTIFIED 60454 UNCERTIFIED 60344 UNCERTIFIED 60312 UNCERTIFIED 60211
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_L.xml UNCERTIFIED 867 UNCERTIFIED 1169 UNCERTIFIED 897 UNCERTIFIED 86 UNCERTIFIED 652
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml UNCERTIFIED 3119 UNCERTIFIED 60248 UNCERTIFIED 60256 UNCERTIFIED 162 UNCERTIFIED 60263
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_C.xml UNCERTIFIED 60416 UNCERTIFIED 60584 UNCERTIFIED 60400 UNCERTIFIED 60290 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_FR.xml UNCERTIFIED 3882 UNCERTIFIED 60417 UNCERTIFIED 60313 UNCERTIFIED 60231 UNCERTIFIED 60209
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_GM.xml UNCERTIFIED 2895 UNCERTIFIED 60261 UNCERTIFIED 60342 UNCERTIFIED 60209 UNCERTIFIED 60215
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_iGM.xml UNCERTIFIED 60407 UNCERTIFIED 61296 UNCERTIFIED 60369 UNCERTIFIED 60290 UNCERTIFIED 60201
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml UNCERTIFIED 848 UNCERTIFIED 1171 UNCERTIFIED 902 UNCERTIFIED 86 UNCERTIFIED 491
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_Z.xml UNCERTIFIED 3431 UNCERTIFIED 60258 UNCERTIFIED 60309 UNCERTIFIED 60240 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml UNCERTIFIED 60219 UNCERTIFIED 35884 UNCERTIFIED 43349 UNCERTIFIED 34853 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml UNCERTIFIED 3633 UNCERTIFIED 60254 UNCERTIFIED 60308 UNCERTIFIED 60254 UNCERTIFIED 60202
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml UNCERTIFIED 6659 UNCERTIFIED 7850 UNCERTIFIED 10711 UNCERTIFIED 319 UNCERTIFIED 60212
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml UNCERTIFIED 59075 UNCERTIFIED 38076 UNCERTIFIED 30989 UNCERTIFIED 1366 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml UNCERTIFIED 1646 UNCERTIFIED 1951 UNCERTIFIED 2169 UNCERTIFIED 108 UNCERTIFIED 151
tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml UNCERTIFIED 3741 UNCERTIFIED 60237 UNCERTIFIED 60278 UNCERTIFIED 103 UNCERTIFIED 60243
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_C.xml UNCERTIFIED 9007 UNCERTIFIED 3985 UNCERTIFIED 3541 UNCERTIFIED 508 UNCERTIFIED 2282
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml UNCERTIFIED 1582 UNCERTIFIED 7324 UNCERTIFIED 7995 UNCERTIFIED 9911 UNCERTIFIED 60217
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml UNCERTIFIED 3009 UNCERTIFIED 3187 UNCERTIFIED 3398 UNCERTIFIED 201 UNCERTIFIED 6031
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml UNCERTIFIED 6053 UNCERTIFIED 3867 UNCERTIFIED 2917 UNCERTIFIED 291 UNCERTIFIED 1728
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml UNCERTIFIED 1874 UNCERTIFIED 2197 UNCERTIFIED 2012 UNCERTIFIED 120 UNCERTIFIED 123
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml UNCERTIFIED 1488 UNCERTIFIED 3790 UNCERTIFIED 3390 UNCERTIFIED 2655 UNCERTIFIED 60296
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml UNCERTIFIED 34642 UNCERTIFIED 8486 UNCERTIFIED 21678 UNCERTIFIED 30694 UNCERTIFIED 60211
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml UNCERTIFIED 2956 UNCERTIFIED 3342 UNCERTIFIED 2954 UNCERTIFIED 226 UNCERTIFIED 743
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml UNCERTIFIED 3830 UNCERTIFIED 3958 UNCERTIFIED 3217 UNCERTIFIED 618 UNCERTIFIED 1359
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml UNCERTIFIED 22406 UNCERTIFIED 21135 UNCERTIFIED 15834 UNCERTIFIED 21138 UNCERTIFIED 5843
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml UNCERTIFIED 2372 UNCERTIFIED 2684 UNCERTIFIED 2610 UNCERTIFIED 145 UNCERTIFIED 324
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml UNCERTIFIED 2510 UNCERTIFIED 2796 UNCERTIFIED 2696 UNCERTIFIED 171 UNCERTIFIED 277
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml UNCERTIFIED 60448 UNCERTIFIED 60866 UNCERTIFIED 60460 UNCERTIFIED 60291 UNCERTIFIED 60215
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml UNCERTIFIED 10426 UNCERTIFIED 60279 UNCERTIFIED 60336 UNCERTIFIED 24708 UNCERTIFIED 60200
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml UNCERTIFIED 12054 UNCERTIFIED 60221 UNCERTIFIED 60330 UNCERTIFIED 60290 UNCERTIFIED 60222
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml UNCERTIFIED 61244 UNCERTIFIED 61137 UNCERTIFIED 60420 UNCERTIFIED 60289 UNCERTIFIED 60209
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml UNCERTIFIED 878 UNCERTIFIED 1147 UNCERTIFIED 919 UNCERTIFIED 91 UNCERTIFIED 1342
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml UNCERTIFIED 27757 UNCERTIFIED 60262 UNCERTIFIED 60325 UNCERTIFIED 32973 UNCERTIFIED 60205
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml UNCERTIFIED 60332 UNCERTIFIED 60338 UNCERTIFIED 60368 UNCERTIFIED 49823 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml UNCERTIFIED 3315 UNCERTIFIED 4033 UNCERTIFIED 3785 UNCERTIFIED 220 UNCERTIFIED 9159
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml UNCERTIFIED 2779 UNCERTIFIED 26223 UNCERTIFIED 29192 UNCERTIFIED 60206 UNCERTIFIED 55666
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml UNCERTIFIED 50111 UNCERTIFIED 36799 UNCERTIFIED 60389 UNCERTIFIED 60300 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml UNCERTIFIED 871 UNCERTIFIED 1117 UNCERTIFIED 888 UNCERTIFIED 89 UNCERTIFIED 634
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml UNCERTIFIED 2226 UNCERTIFIED 2542 UNCERTIFIED 2937 UNCERTIFIED 161 UNCERTIFIED 10824
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml UNCERTIFIED 13814 UNCERTIFIED 6278 UNCERTIFIED 6276 UNCERTIFIED 38045 UNCERTIFIED 3979
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml UNCERTIFIED 1649 UNCERTIFIED 1977 UNCERTIFIED 2066 UNCERTIFIED 109 UNCERTIFIED 137
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml UNCERTIFIED 2746 UNCERTIFIED 2810 UNCERTIFIED 2114 UNCERTIFIED 165 UNCERTIFIED 742
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml UNCERTIFIED 7653 UNCERTIFIED 5554 UNCERTIFIED 4241 UNCERTIFIED 1220 UNCERTIFIED 2564
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml UNCERTIFIED 834 UNCERTIFIED 1156 UNCERTIFIED 889 UNCERTIFIED 90 UNCERTIFIED 204
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_C.xml UNCERTIFIED 60362 UNCERTIFIED 60627 UNCERTIFIED 60466 UNCERTIFIED 60297 UNCERTIFIED 60218
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_FR.xml UNCERTIFIED 60246 UNCERTIFIED 60312 UNCERTIFIED 60353 UNCERTIFIED 60294 UNCERTIFIED 60209
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_GM.xml UNCERTIFIED 7337 UNCERTIFIED 6558 UNCERTIFIED 10343 UNCERTIFIED 4767 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_iGM.xml UNCERTIFIED 51504 UNCERTIFIED 55743 UNCERTIFIED 47148 UNCERTIFIED 1374 UNCERTIFIED 60215
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml UNCERTIFIED 882 UNCERTIFIED 1150 UNCERTIFIED 886 UNCERTIFIED 87 UNCERTIFIED 492
tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_Z.xml UNCERTIFIED 7756 UNCERTIFIED 9138 UNCERTIFIED 24465 UNCERTIFIED 411 UNCERTIFIED 36185
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_C.xml UNCERTIFIED 60498 UNCERTIFIED 60812 UNCERTIFIED 60456 UNCERTIFIED 60264 UNCERTIFIED 60210
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_FR.xml UNCERTIFIED 21506 UNCERTIFIED 60265 UNCERTIFIED 60407 UNCERTIFIED 60234 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_GM.xml UNCERTIFIED 60330 UNCERTIFIED 60352 UNCERTIFIED 60409 UNCERTIFIED 60278 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml UNCERTIFIED 60460 UNCERTIFIED 60669 UNCERTIFIED 60484 UNCERTIFIED 60260 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_L.xml UNCERTIFIED 863 UNCERTIFIED 1213 UNCERTIFIED 894 UNCERTIFIED 89 UNCERTIFIED 575
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_Z.xml UNCERTIFIED 17029 UNCERTIFIED 60252 UNCERTIFIED 60375 UNCERTIFIED 34239 UNCERTIFIED 60205
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_C.xml UNCERTIFIED 60337 UNCERTIFIED 60348 UNCERTIFIED 60377 UNCERTIFIED 52911 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml UNCERTIFIED 4004 UNCERTIFIED 60269 UNCERTIFIED 60288 UNCERTIFIED 310 UNCERTIFIED 60260
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_GM.xml UNCERTIFIED 3507 UNCERTIFIED 60259 UNCERTIFIED 60332 UNCERTIFIED 60209 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_iGM.xml UNCERTIFIED 60456 UNCERTIFIED 60957 UNCERTIFIED 60372 UNCERTIFIED 60296 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_L.xml UNCERTIFIED 868 UNCERTIFIED 1163 UNCERTIFIED 901 UNCERTIFIED 87 UNCERTIFIED 852
tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_Z.xml UNCERTIFIED 3051 UNCERTIFIED 60238 UNCERTIFIED 60257 UNCERTIFIED 224 UNCERTIFIED 60238
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_C.xml UNCERTIFIED 60518 UNCERTIFIED 60465 UNCERTIFIED 60486 UNCERTIFIED 60266 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_FR.xml UNCERTIFIED 13582 UNCERTIFIED 60265 UNCERTIFIED 60349 UNCERTIFIED 31879 UNCERTIFIED 60201
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml UNCERTIFIED 6103 UNCERTIFIED 60267 UNCERTIFIED 60297 UNCERTIFIED 60223 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml UNCERTIFIED 60561 UNCERTIFIED 60328 UNCERTIFIED 60505 UNCERTIFIED 60254 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml UNCERTIFIED 886 UNCERTIFIED 1180 UNCERTIFIED 904 UNCERTIFIED 94 UNCERTIFIED 896
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_Z.xml UNCERTIFIED 13614 UNCERTIFIED 60265 UNCERTIFIED 60316 UNCERTIFIED 34127 UNCERTIFIED 60218
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_C.xml UNCERTIFIED 60645 UNCERTIFIED 38436 UNCERTIFIED 36704 UNCERTIFIED 60285 UNCERTIFIED 60211
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_FR.xml UNCERTIFIED 6518 UNCERTIFIED 60246 UNCERTIFIED 60343 UNCERTIFIED 60246 UNCERTIFIED 60287
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_GM.xml UNCERTIFIED 20744 UNCERTIFIED 6911 UNCERTIFIED 6569 UNCERTIFIED 60248 UNCERTIFIED 60214
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml UNCERTIFIED 60433 UNCERTIFIED 37253 UNCERTIFIED 33436 UNCERTIFIED 60279 UNCERTIFIED 60221
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_L.xml UNCERTIFIED 883 UNCERTIFIED 1167 UNCERTIFIED 888 UNCERTIFIED 89 UNCERTIFIED 60196
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_Z.xml UNCERTIFIED 5842 UNCERTIFIED 43733 UNCERTIFIED 48366 UNCERTIFIED 18910 UNCERTIFIED 60282
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_C.xml UNCERTIFIED 60287 UNCERTIFIED 11803 UNCERTIFIED 10141 UNCERTIFIED 48083 UNCERTIFIED 6887
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml UNCERTIFIED 2221 UNCERTIFIED 2435 UNCERTIFIED 2192 UNCERTIFIED 164 UNCERTIFIED 315
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_GM.xml UNCERTIFIED 2762 UNCERTIFIED 2941 UNCERTIFIED 2674 UNCERTIFIED 22555 UNCERTIFIED 1071
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_iGM.xml UNCERTIFIED 19777 UNCERTIFIED 6191 UNCERTIFIED 7304 UNCERTIFIED 56087 UNCERTIFIED 3353
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_L.xml UNCERTIFIED 871 UNCERTIFIED 1109 UNCERTIFIED 889 UNCERTIFIED 89 UNCERTIFIED 60199
tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml UNCERTIFIED 2118 UNCERTIFIED 2466 UNCERTIFIED 2114 UNCERTIFIED 155 UNCERTIFIED 148
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_C.xml UNCERTIFIED 60454 UNCERTIFIED 60499 UNCERTIFIED 60918 UNCERTIFIED 60272 UNCERTIFIED 60207
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_FR.xml UNCERTIFIED 48529 UNCERTIFIED 60255 UNCERTIFIED 60351 UNCERTIFIED 18983 UNCERTIFIED 60196
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_GM.xml UNCERTIFIED 16191 UNCERTIFIED 60260 UNCERTIFIED 60327 UNCERTIFIED 60272 UNCERTIFIED 60226
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml UNCERTIFIED 60641 UNCERTIFIED 60309 UNCERTIFIED 60466 UNCERTIFIED 60244 UNCERTIFIED 60207
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml UNCERTIFIED 846 UNCERTIFIED 1161 UNCERTIFIED 897 UNCERTIFIED 89 UNCERTIFIED 955
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_Z.xml UNCERTIFIED 60338 UNCERTIFIED 60361 UNCERTIFIED 60348 UNCERTIFIED 17472 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml UNCERTIFIED 43956 UNCERTIFIED 6012 UNCERTIFIED 5167 UNCERTIFIED 1074 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml UNCERTIFIED 3106 UNCERTIFIED 3742 UNCERTIFIED 9812 UNCERTIFIED 488 UNCERTIFIED 19934
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml UNCERTIFIED 7664 UNCERTIFIED 10455 UNCERTIFIED 16795 UNCERTIFIED 10161 UNCERTIFIED 41143
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml UNCERTIFIED 60461 UNCERTIFIED 60446 UNCERTIFIED 60419 UNCERTIFIED 60291 UNCERTIFIED 60210
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_L.xml UNCERTIFIED 859 UNCERTIFIED 1155 UNCERTIFIED 908 UNCERTIFIED 91 UNCERTIFIED 698
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml UNCERTIFIED 1689 UNCERTIFIED 2003 UNCERTIFIED 4650 UNCERTIFIED 110 UNCERTIFIED 1487
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_C.xml UNCERTIFIED 4941 UNCERTIFIED 6818 UNCERTIFIED 4675 UNCERTIFIED 1754 UNCERTIFIED 1562
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_FR.xml UNCERTIFIED 1301 UNCERTIFIED 5038 UNCERTIFIED 4871 UNCERTIFIED 1125 UNCERTIFIED 60278
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml UNCERTIFIED 1676 UNCERTIFIED 2027 UNCERTIFIED 2808 UNCERTIFIED 110 UNCERTIFIED 137
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml UNCERTIFIED 3198 UNCERTIFIED 4145 UNCERTIFIED 5050 UNCERTIFIED 259 UNCERTIFIED 1406
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_L.xml UNCERTIFIED 1746 UNCERTIFIED 1939 UNCERTIFIED 2043 UNCERTIFIED 100 UNCERTIFIED 128
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_C.xml UNCERTIFIED 39059 UNCERTIFIED 10227 UNCERTIFIED 9704 UNCERTIFIED 5217 UNCERTIFIED 60210
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_FR.xml UNCERTIFIED 3409 UNCERTIFIED 3878 UNCERTIFIED 7709 UNCERTIFIED 1394 UNCERTIFIED 12880
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_GM.xml UNCERTIFIED 2887 UNCERTIFIED 4042 UNCERTIFIED 3159 UNCERTIFIED 208 UNCERTIFIED 14225
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_iGM.xml UNCERTIFIED 16351 UNCERTIFIED 8365 UNCERTIFIED 6456 UNCERTIFIED 615 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml UNCERTIFIED 1640 UNCERTIFIED 1955 UNCERTIFIED 1962 UNCERTIFIED 103 UNCERTIFIED 131
tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml UNCERTIFIED 2407 UNCERTIFIED 2582 UNCERTIFIED 2343 UNCERTIFIED 182 UNCERTIFIED 980
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_C.xml UNCERTIFIED 60385 UNCERTIFIED 60421 UNCERTIFIED 60413 UNCERTIFIED 56749 UNCERTIFIED 60207
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_FR.xml UNCERTIFIED 3995 UNCERTIFIED 60262 UNCERTIFIED 60340 UNCERTIFIED 20959 UNCERTIFIED 60228
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_GM.xml UNCERTIFIED 5825 UNCERTIFIED 60380 UNCERTIFIED 60375 UNCERTIFIED 60216 UNCERTIFIED 60215
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_iGM.xml UNCERTIFIED 60895 UNCERTIFIED 61117 UNCERTIFIED 60411 UNCERTIFIED 60289 UNCERTIFIED 60207
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml UNCERTIFIED 879 UNCERTIFIED 1156 UNCERTIFIED 889 UNCERTIFIED 93 UNCERTIFIED 878
tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_Z.xml UNCERTIFIED 5723 UNCERTIFIED 60252 UNCERTIFIED 60291 UNCERTIFIED 283 UNCERTIFIED 60245
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_C.xml UNCERTIFIED 60794 UNCERTIFIED 60652 UNCERTIFIED 60428 UNCERTIFIED 57095 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_FR.xml UNCERTIFIED 4208 UNCERTIFIED 60266 UNCERTIFIED 60327 UNCERTIFIED 364 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_GM.xml UNCERTIFIED 5417 UNCERTIFIED 60258 UNCERTIFIED 60481 UNCERTIFIED 60199 UNCERTIFIED 60214
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_iGM.xml UNCERTIFIED 60460 UNCERTIFIED 60888 UNCERTIFIED 60400 UNCERTIFIED 60290 UNCERTIFIED 60210
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_L.xml UNCERTIFIED 839 UNCERTIFIED 1172 UNCERTIFIED 891 UNCERTIFIED 89 UNCERTIFIED 1275
tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_Z.xml UNCERTIFIED 2340 UNCERTIFIED 60237 UNCERTIFIED 60266 UNCERTIFIED 251 UNCERTIFIED 60240
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_C.xml UNCERTIFIED 60233 UNCERTIFIED 39149 UNCERTIFIED 41923 UNCERTIFIED 42643 UNCERTIFIED 60205
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_FR.xml UNCERTIFIED 4282 UNCERTIFIED 38853 UNCERTIFIED 60340 UNCERTIFIED 60246 UNCERTIFIED 60219
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_GM.xml UNCERTIFIED 7381 UNCERTIFIED 7767 UNCERTIFIED 14036 UNCERTIFIED 3350 UNCERTIFIED 60212
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_iGM.xml UNCERTIFIED 51569 UNCERTIFIED 51581 UNCERTIFIED 40592 UNCERTIFIED 60274 UNCERTIFIED 60210
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_L.xml UNCERTIFIED 1673 UNCERTIFIED 1966 UNCERTIFIED 2132 UNCERTIFIED 106 UNCERTIFIED 150
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_Z.xml UNCERTIFIED 4732 UNCERTIFIED 6067 UNCERTIFIED 12174 UNCERTIFIED 17886 UNCERTIFIED 25362
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_C.xml UNCERTIFIED 60282 UNCERTIFIED 60348 UNCERTIFIED 60318 UNCERTIFIED 47179 UNCERTIFIED 60249
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_FR.xml UNCERTIFIED 1145 UNCERTIFIED 2374 UNCERTIFIED 1899 UNCERTIFIED 213 UNCERTIFIED 60211
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml UNCERTIFIED 1466 UNCERTIFIED 10436 UNCERTIFIED 12682 UNCERTIFIED 5369 UNCERTIFIED 60270
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_iGM.xml UNCERTIFIED 3042 UNCERTIFIED 22938 UNCERTIFIED 18045 UNCERTIFIED 8965 UNCERTIFIED 60214
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_L.xml UNCERTIFIED 983 UNCERTIFIED 1575 UNCERTIFIED 1346 UNCERTIFIED 151 UNCERTIFIED 60199
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_C.xml UNCERTIFIED 7535 UNCERTIFIED 5309 UNCERTIFIED 3887 UNCERTIFIED 1262 UNCERTIFIED 2948
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_FR.xml UNCERTIFIED 1259 UNCERTIFIED 4278 UNCERTIFIED 4068 UNCERTIFIED 497 UNCERTIFIED 60283
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml UNCERTIFIED 2509 UNCERTIFIED 2431 UNCERTIFIED 2154 UNCERTIFIED 187 UNCERTIFIED 413
tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_iGM.xml UNCERTIFIED 5020 UNCERTIFIED 3948 UNCERTIFIED 4138 UNCERTIFIED 1156 UNCERTIFIED 2193
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_C.xml UNCERTIFIED 60449 UNCERTIFIED 60469 UNCERTIFIED 60443 UNCERTIFIED 60257 UNCERTIFIED 60207
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml UNCERTIFIED 13413 UNCERTIFIED 14550 UNCERTIFIED 18530 UNCERTIFIED 20224 UNCERTIFIED 60251
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml UNCERTIFIED 13217 UNCERTIFIED 60266 UNCERTIFIED 60346 UNCERTIFIED 60228 UNCERTIFIED 60222
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml UNCERTIFIED 60448 UNCERTIFIED 60352 UNCERTIFIED 60501 UNCERTIFIED 60232 UNCERTIFIED 60205
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_L.xml UNCERTIFIED 854 UNCERTIFIED 1168 UNCERTIFIED 875 UNCERTIFIED 87 UNCERTIFIED 3371
tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml UNCERTIFIED 7713 UNCERTIFIED 8523 UNCERTIFIED 19168 UNCERTIFIED 18302 UNCERTIFIED 60213
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_C.xml UNCERTIFIED 10114 UNCERTIFIED 12615 UNCERTIFIED 8734 UNCERTIFIED 525 UNCERTIFIED 2918
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_FR.xml UNCERTIFIED 2208 UNCERTIFIED 3081 UNCERTIFIED 3532 UNCERTIFIED 147 UNCERTIFIED 407
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml UNCERTIFIED 2261 UNCERTIFIED 2718 UNCERTIFIED 3402 UNCERTIFIED 145 UNCERTIFIED 545
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_iGM.xml UNCERTIFIED 5300 UNCERTIFIED 8203 UNCERTIFIED 9979 UNCERTIFIED 321 UNCERTIFIED 2987
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_L.xml UNCERTIFIED 1636 UNCERTIFIED 1902 UNCERTIFIED 2008 UNCERTIFIED 101 UNCERTIFIED 122
tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_Z.xml UNCERTIFIED 1036 UNCERTIFIED 3000 UNCERTIFIED 2867 UNCERTIFIED 91 UNCERTIFIED 60193
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml UNCERTIFIED 60330 UNCERTIFIED 48106 UNCERTIFIED 35782 UNCERTIFIED 60230 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_FR.xml UNCERTIFIED 10827 UNCERTIFIED 60261 UNCERTIFIED 60305 UNCERTIFIED 60290 UNCERTIFIED 60267
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_GM.xml UNCERTIFIED 13765 UNCERTIFIED 7409 UNCERTIFIED 8658 UNCERTIFIED 60273 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_iGM.xml UNCERTIFIED 60357 UNCERTIFIED 28105 UNCERTIFIED 23807 UNCERTIFIED 60282 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml UNCERTIFIED 877 UNCERTIFIED 1152 UNCERTIFIED 902 UNCERTIFIED 89 UNCERTIFIED 60198
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_Z.xml UNCERTIFIED 29346 UNCERTIFIED 60294 UNCERTIFIED 60322 UNCERTIFIED 60303 UNCERTIFIED 60253
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml UNCERTIFIED 60314 UNCERTIFIED 12967 UNCERTIFIED 10851 UNCERTIFIED 52713 UNCERTIFIED 60210
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_FR.xml UNCERTIFIED 22828 UNCERTIFIED 60278 UNCERTIFIED 60314 UNCERTIFIED 60259 UNCERTIFIED 60247
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_GM.xml UNCERTIFIED 5299 UNCERTIFIED 3949 UNCERTIFIED 3681 UNCERTIFIED 410 UNCERTIFIED 1836
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_iGM.xml UNCERTIFIED 60318 UNCERTIFIED 29960 UNCERTIFIED 20149 UNCERTIFIED 60287 UNCERTIFIED 60210
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_L.xml UNCERTIFIED 872 UNCERTIFIED 1125 UNCERTIFIED 893 UNCERTIFIED 86 UNCERTIFIED 470
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_Z.xml UNCERTIFIED 32798 UNCERTIFIED 60290 UNCERTIFIED 60333 UNCERTIFIED 60264 UNCERTIFIED 60248
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_C.xml UNCERTIFIED 61427 UNCERTIFIED 60258 UNCERTIFIED 60540 UNCERTIFIED 60258 UNCERTIFIED 60209
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_FR.xml UNCERTIFIED 25986 UNCERTIFIED 60270 UNCERTIFIED 60344 UNCERTIFIED 60256 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_GM.xml UNCERTIFIED 51194 UNCERTIFIED 60258 UNCERTIFIED 60359 UNCERTIFIED 60272 UNCERTIFIED 60211
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_iGM.xml UNCERTIFIED 60540 UNCERTIFIED 60421 UNCERTIFIED 60514 UNCERTIFIED 60223 UNCERTIFIED 60200
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_L.xml UNCERTIFIED 850 UNCERTIFIED 1122 UNCERTIFIED 896 UNCERTIFIED 91 UNCERTIFIED 856
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_Z.xml UNCERTIFIED 57030 UNCERTIFIED 60296 UNCERTIFIED 60290 UNCERTIFIED 60334 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_C.xml UNCERTIFIED 60445 UNCERTIFIED 60331 UNCERTIFIED 60458 UNCERTIFIED 60281 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_FR.xml UNCERTIFIED 5952 UNCERTIFIED 60256 UNCERTIFIED 60345 UNCERTIFIED 40087 UNCERTIFIED 60205
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_GM.xml UNCERTIFIED 8567 UNCERTIFIED 60247 UNCERTIFIED 60319 UNCERTIFIED 60203 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_iGM.xml UNCERTIFIED 60611 UNCERTIFIED 61093 UNCERTIFIED 60441 UNCERTIFIED 60256 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml UNCERTIFIED 874 UNCERTIFIED 1184 UNCERTIFIED 892 UNCERTIFIED 89 UNCERTIFIED 534
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_Z.xml UNCERTIFIED 3571 UNCERTIFIED 22535 UNCERTIFIED 21756 UNCERTIFIED 118 UNCERTIFIED 60229
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml UNCERTIFIED 31160 UNCERTIFIED 31748 UNCERTIFIED 7988 UNCERTIFIED 22262 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_FR.xml UNCERTIFIED 2971 UNCERTIFIED 2938 UNCERTIFIED 2825 UNCERTIFIED 667 UNCERTIFIED 907
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml UNCERTIFIED 4093 UNCERTIFIED 4101 UNCERTIFIED 3407 UNCERTIFIED 1112 UNCERTIFIED 1257
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_iGM.xml UNCERTIFIED 20183 UNCERTIFIED 10197 UNCERTIFIED 18669 UNCERTIFIED 45476 UNCERTIFIED 4851
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_L.xml UNCERTIFIED 2339 UNCERTIFIED 2549 UNCERTIFIED 2464 UNCERTIFIED 336 UNCERTIFIED 249
tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_Z.xml UNCERTIFIED 2441 UNCERTIFIED 2798 UNCERTIFIED 2589 UNCERTIFIED 455 UNCERTIFIED 292
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml UNCERTIFIED 60435 UNCERTIFIED 60606 UNCERTIFIED 60551 UNCERTIFIED 46526 UNCERTIFIED 60212
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml UNCERTIFIED 13234 UNCERTIFIED 60236 UNCERTIFIED 60293 UNCERTIFIED 4756 UNCERTIFIED 60224
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml UNCERTIFIED 16605 UNCERTIFIED 60261 UNCERTIFIED 60323 UNCERTIFIED 60245 UNCERTIFIED 60219
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml UNCERTIFIED 60385 UNCERTIFIED 60478 UNCERTIFIED 60452 UNCERTIFIED 27437 UNCERTIFIED 60210
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml UNCERTIFIED 4435 UNCERTIFIED 26939 UNCERTIFIED 41661 UNCERTIFIED 402 UNCERTIFIED 60296
tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml UNCERTIFIED 8167 UNCERTIFIED 59327 UNCERTIFIED 60267 UNCERTIFIED 987 UNCERTIFIED 60223
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml UNCERTIFIED 60460 UNCERTIFIED 60530 UNCERTIFIED 60429 UNCERTIFIED 60277 UNCERTIFIED 60216
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml UNCERTIFIED 5243 UNCERTIFIED 60263 UNCERTIFIED 60327 UNCERTIFIED 794 UNCERTIFIED 60251
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml UNCERTIFIED 13130 UNCERTIFIED 60263 UNCERTIFIED 60333 UNCERTIFIED 60257 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml UNCERTIFIED 60443 UNCERTIFIED 60721 UNCERTIFIED 60553 UNCERTIFIED 60270 UNCERTIFIED 60202
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml UNCERTIFIED 852 UNCERTIFIED 1145 UNCERTIFIED 854 UNCERTIFIED 91 UNCERTIFIED 1441
tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml UNCERTIFIED 30072 UNCERTIFIED 60261 UNCERTIFIED 60290 UNCERTIFIED 251 UNCERTIFIED 60197
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_C.xml UNCERTIFIED 60461 UNCERTIFIED 60243 UNCERTIFIED 60412 UNCERTIFIED 60267 UNCERTIFIED 60207
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml UNCERTIFIED 60386 UNCERTIFIED 60281 UNCERTIFIED 60580 UNCERTIFIED 60256 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_GM.xml UNCERTIFIED 48472 UNCERTIFIED 53696 UNCERTIFIED 60432 UNCERTIFIED 60262 UNCERTIFIED 60209
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml UNCERTIFIED 60687 UNCERTIFIED 60260 UNCERTIFIED 60433 UNCERTIFIED 60214 UNCERTIFIED 60218
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml UNCERTIFIED 832 UNCERTIFIED 1204 UNCERTIFIED 899 UNCERTIFIED 85 UNCERTIFIED 973
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml UNCERTIFIED 60471 UNCERTIFIED 60250 UNCERTIFIED 60384 UNCERTIFIED 60245 UNCERTIFIED 60210
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml UNCERTIFIED 60425 UNCERTIFIED 60279 UNCERTIFIED 60958 UNCERTIFIED 60263 UNCERTIFIED 60220
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml UNCERTIFIED 60634 UNCERTIFIED 60474 UNCERTIFIED 60795 UNCERTIFIED 60267 UNCERTIFIED 60205
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml UNCERTIFIED 60448 UNCERTIFIED 60252 UNCERTIFIED 60496 UNCERTIFIED 60208 UNCERTIFIED 60212
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml UNCERTIFIED 837 UNCERTIFIED 1215 UNCERTIFIED 894 UNCERTIFIED 88 UNCERTIFIED 821
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml UNCERTIFIED 49909 UNCERTIFIED 60264 UNCERTIFIED 61030 UNCERTIFIED 60262 UNCERTIFIED 60217
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml UNCERTIFIED 60358 UNCERTIFIED 60275 UNCERTIFIED 61146 UNCERTIFIED 60257 UNCERTIFIED 60200
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml UNCERTIFIED 60442 UNCERTIFIED 60411 UNCERTIFIED 60369 UNCERTIFIED 60288 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml UNCERTIFIED 60299 UNCERTIFIED 60258 UNCERTIFIED 60311 UNCERTIFIED 60273 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml UNCERTIFIED 14848 UNCERTIFIED 6347 UNCERTIFIED 5157 UNCERTIFIED 30847 UNCERTIFIED 60209
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml UNCERTIFIED 60356 UNCERTIFIED 60297 UNCERTIFIED 60179 UNCERTIFIED 60273 UNCERTIFIED 60211
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml UNCERTIFIED 877 UNCERTIFIED 1141 UNCERTIFIED 899 UNCERTIFIED 88 UNCERTIFIED 510
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml UNCERTIFIED 60608 UNCERTIFIED 60322 UNCERTIFIED 60491 UNCERTIFIED 60267 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml UNCERTIFIED 13938 UNCERTIFIED 60251 UNCERTIFIED 60330 UNCERTIFIED 41079 UNCERTIFIED 60251
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml UNCERTIFIED 30583 UNCERTIFIED 23305 UNCERTIFIED 20305 UNCERTIFIED 21540 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml UNCERTIFIED 60481 UNCERTIFIED 60248 UNCERTIFIED 60485 UNCERTIFIED 60243 UNCERTIFIED 60200
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml UNCERTIFIED 847 UNCERTIFIED 1186 UNCERTIFIED 879 UNCERTIFIED 88 UNCERTIFIED 911
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml UNCERTIFIED 11481 UNCERTIFIED 60251 UNCERTIFIED 60285 UNCERTIFIED 39203 UNCERTIFIED 60249
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml UNCERTIFIED 36643 UNCERTIFIED 60260 UNCERTIFIED 60317 UNCERTIFIED 60272 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml UNCERTIFIED 60315 UNCERTIFIED 60355 UNCERTIFIED 60403 UNCERTIFIED 49326 UNCERTIFIED 60198
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml UNCERTIFIED 1251 UNCERTIFIED 60231 UNCERTIFIED 60251 UNCERTIFIED 768 UNCERTIFIED 60280
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml UNCERTIFIED 16794 UNCERTIFIED 60260 UNCERTIFIED 60278 UNCERTIFIED 35506 UNCERTIFIED 60280
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml UNCERTIFIED 60292 UNCERTIFIED 60275 UNCERTIFIED 60319 UNCERTIFIED 60289 UNCERTIFIED 60277
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml UNCERTIFIED 870 UNCERTIFIED 1179 UNCERTIFIED 887 UNCERTIFIED 85 UNCERTIFIED 471
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml UNCERTIFIED 60340 UNCERTIFIED 60347 UNCERTIFIED 60355 UNCERTIFIED 50707 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml UNCERTIFIED 1596 UNCERTIFIED 60234 UNCERTIFIED 60248 UNCERTIFIED 9031 UNCERTIFIED 60275
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml UNCERTIFIED 16226 UNCERTIFIED 60260 UNCERTIFIED 60287 UNCERTIFIED 60271 UNCERTIFIED 60285
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml UNCERTIFIED 60297 UNCERTIFIED 60342 UNCERTIFIED 60372 UNCERTIFIED 60311 UNCERTIFIED 60207
tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml UNCERTIFIED 856 UNCERTIFIED 1167 UNCERTIFIED 915 UNCERTIFIED 90 UNCERTIFIED 497
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_C.xml UNCERTIFIED 60620 UNCERTIFIED 60258 UNCERTIFIED 60603 UNCERTIFIED 60216 UNCERTIFIED 60218
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml UNCERTIFIED 60415 UNCERTIFIED 60386 UNCERTIFIED 61025 UNCERTIFIED 60213 UNCERTIFIED 60205
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml UNCERTIFIED 60444 UNCERTIFIED 60288 UNCERTIFIED 60474 UNCERTIFIED 60206 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml UNCERTIFIED 60456 UNCERTIFIED 60251 UNCERTIFIED 60559 UNCERTIFIED 60210 UNCERTIFIED 60207
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_L.xml UNCERTIFIED 847 UNCERTIFIED 1174 UNCERTIFIED 944 UNCERTIFIED 90 UNCERTIFIED 1425
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_C.xml UNCERTIFIED 60555 UNCERTIFIED 60244 UNCERTIFIED 60567 UNCERTIFIED 60213 UNCERTIFIED 60210
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml UNCERTIFIED 60434 UNCERTIFIED 60265 UNCERTIFIED 60500 UNCERTIFIED 60227 UNCERTIFIED 60205
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml UNCERTIFIED 60457 UNCERTIFIED 60253 UNCERTIFIED 60508 UNCERTIFIED 60215 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml UNCERTIFIED 61168 UNCERTIFIED 60247 UNCERTIFIED 60518 UNCERTIFIED 60215 UNCERTIFIED 60202
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml UNCERTIFIED 890 UNCERTIFIED 1171 UNCERTIFIED 943 UNCERTIFIED 93 UNCERTIFIED 2242
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml UNCERTIFIED 60469 UNCERTIFIED 60277 UNCERTIFIED 60461 UNCERTIFIED 60226 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml UNCERTIFIED 60420 UNCERTIFIED 60309 UNCERTIFIED 60402 UNCERTIFIED 60217 UNCERTIFIED 60214
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml UNCERTIFIED 60477 UNCERTIFIED 60249 UNCERTIFIED 60611 UNCERTIFIED 60237 UNCERTIFIED 60205
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml UNCERTIFIED 60306 UNCERTIFIED 60428 UNCERTIFIED 60523 UNCERTIFIED 60214 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml UNCERTIFIED 51157 UNCERTIFIED 60343 UNCERTIFIED 60490 UNCERTIFIED 60226 UNCERTIFIED 60201
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml UNCERTIFIED 60455 UNCERTIFIED 60456 UNCERTIFIED 60700 UNCERTIFIED 60210 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml UNCERTIFIED 869 UNCERTIFIED 1177 UNCERTIFIED 882 UNCERTIFIED 86 UNCERTIFIED 716
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml UNCERTIFIED 60467 UNCERTIFIED 60389 UNCERTIFIED 60357 UNCERTIFIED 60246 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml UNCERTIFIED 34602 UNCERTIFIED 60378 UNCERTIFIED 60738 UNCERTIFIED 60211 UNCERTIFIED 60207
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml UNCERTIFIED 60365 UNCERTIFIED 60421 UNCERTIFIED 60586 UNCERTIFIED 60236 UNCERTIFIED 60205
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml UNCERTIFIED 60467 UNCERTIFIED 60281 UNCERTIFIED 60452 UNCERTIFIED 60215 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml UNCERTIFIED 841 UNCERTIFIED 1173 UNCERTIFIED 901 UNCERTIFIED 89 UNCERTIFIED 984
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml UNCERTIFIED 31823 UNCERTIFIED 60267 UNCERTIFIED 60562 UNCERTIFIED 60211 UNCERTIFIED 60201
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml UNCERTIFIED 60281 UNCERTIFIED 60332 UNCERTIFIED 60478 UNCERTIFIED 60215 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml UNCERTIFIED 60488 UNCERTIFIED 60240 UNCERTIFIED 60469 UNCERTIFIED 60254 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml UNCERTIFIED 5293 UNCERTIFIED 60301 UNCERTIFIED 60328 UNCERTIFIED 35993 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml UNCERTIFIED 16740 UNCERTIFIED 60257 UNCERTIFIED 60345 UNCERTIFIED 60215 UNCERTIFIED 60216
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml UNCERTIFIED 60686 UNCERTIFIED 60250 UNCERTIFIED 60444 UNCERTIFIED 60260 UNCERTIFIED 60201
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml UNCERTIFIED 874 UNCERTIFIED 1152 UNCERTIFIED 896 UNCERTIFIED 89 UNCERTIFIED 894
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml UNCERTIFIED 60592 UNCERTIFIED 60249 UNCERTIFIED 60401 UNCERTIFIED 60268 UNCERTIFIED 60207
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml UNCERTIFIED 9814 UNCERTIFIED 60265 UNCERTIFIED 60352 UNCERTIFIED 60211 UNCERTIFIED 60211
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml UNCERTIFIED 33573 UNCERTIFIED 60268 UNCERTIFIED 60435 UNCERTIFIED 60243 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml UNCERTIFIED 60459 UNCERTIFIED 60414 UNCERTIFIED 60461 UNCERTIFIED 60229 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml UNCERTIFIED 849 UNCERTIFIED 1175 UNCERTIFIED 880 UNCERTIFIED 91 UNCERTIFIED 700
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml UNCERTIFIED 6087 UNCERTIFIED 60258 UNCERTIFIED 60335 UNCERTIFIED 60232 UNCERTIFIED 60209
tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml UNCERTIFIED 3027 UNCERTIFIED 60255 UNCERTIFIED 60317 UNCERTIFIED 44742 UNCERTIFIED 60201
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_C.xml UNCERTIFIED 60519 UNCERTIFIED 60326 UNCERTIFIED 60630 UNCERTIFIED 60242 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_FR.xml UNCERTIFIED 49760 UNCERTIFIED 60327 UNCERTIFIED 60391 UNCERTIFIED 60222 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_GM.xml UNCERTIFIED 36312 UNCERTIFIED 60279 UNCERTIFIED 60395 UNCERTIFIED 60260 UNCERTIFIED 60200
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_iGM.xml UNCERTIFIED 60572 UNCERTIFIED 60252 UNCERTIFIED 60663 UNCERTIFIED 60212 UNCERTIFIED 60202
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml UNCERTIFIED 854 UNCERTIFIED 1190 UNCERTIFIED 910 UNCERTIFIED 92 UNCERTIFIED 637
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_C.xml UNCERTIFIED 60490 UNCERTIFIED 60450 UNCERTIFIED 60425 UNCERTIFIED 60239 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_FR.xml UNCERTIFIED 29389 UNCERTIFIED 34180 UNCERTIFIED 60465 UNCERTIFIED 60250 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_GM.xml UNCERTIFIED 60650 UNCERTIFIED 60247 UNCERTIFIED 60483 UNCERTIFIED 60254 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_noand_iGM.xml UNCERTIFIED 60482 UNCERTIFIED 60484 UNCERTIFIED 60471 UNCERTIFIED 60207 UNCERTIFIED 60210
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_L.xml UNCERTIFIED 874 UNCERTIFIED 1171 UNCERTIFIED 893 UNCERTIFIED 89 UNCERTIFIED 1180
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_Z.xml UNCERTIFIED 31976 UNCERTIFIED 32162 UNCERTIFIED 60454 UNCERTIFIED 60233 UNCERTIFIED 60222
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_Z.xml UNCERTIFIED 38824 UNCERTIFIED 60297 UNCERTIFIED 60452 UNCERTIFIED 60207 UNCERTIFIED 60210
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_C.xml UNCERTIFIED 60459 UNCERTIFIED 60478 UNCERTIFIED 60514 UNCERTIFIED 60273 UNCERTIFIED 60214
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_FR.xml UNCERTIFIED 6174 UNCERTIFIED 60312 UNCERTIFIED 60320 UNCERTIFIED 60199 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_GM.xml UNCERTIFIED 11416 UNCERTIFIED 60268 UNCERTIFIED 60349 UNCERTIFIED 60212 UNCERTIFIED 60209
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_iGM.xml UNCERTIFIED 60476 UNCERTIFIED 60822 UNCERTIFIED 60458 UNCERTIFIED 60261 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_L.xml UNCERTIFIED 837 UNCERTIFIED 1117 UNCERTIFIED 892 UNCERTIFIED 91 UNCERTIFIED 555
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml UNCERTIFIED 60478 UNCERTIFIED 60504 UNCERTIFIED 60522 UNCERTIFIED 60291 UNCERTIFIED 60213
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml UNCERTIFIED 8584 UNCERTIFIED 9373 UNCERTIFIED 30967 UNCERTIFIED 60222 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml UNCERTIFIED 37553 UNCERTIFIED 60281 UNCERTIFIED 60443 UNCERTIFIED 60226 UNCERTIFIED 60216
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml UNCERTIFIED 60509 UNCERTIFIED 60741 UNCERTIFIED 60490 UNCERTIFIED 60259 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml UNCERTIFIED 1027 UNCERTIFIED 1142 UNCERTIFIED 844 UNCERTIFIED 90 UNCERTIFIED 615
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml UNCERTIFIED 12185 UNCERTIFIED 14100 UNCERTIFIED 41256 UNCERTIFIED 60219 UNCERTIFIED 60207
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_Z.xml UNCERTIFIED 5885 UNCERTIFIED 60238 UNCERTIFIED 60338 UNCERTIFIED 60201 UNCERTIFIED 60209
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_C.xml UNCERTIFIED 60314 UNCERTIFIED 10473 UNCERTIFIED 8335 UNCERTIFIED 34864 UNCERTIFIED 60207
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_FR.xml UNCERTIFIED 2389 UNCERTIFIED 2289 UNCERTIFIED 2065 UNCERTIFIED 191 UNCERTIFIED 60243
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_GM.xml UNCERTIFIED 3347 UNCERTIFIED 3722 UNCERTIFIED 3547 UNCERTIFIED 2556 UNCERTIFIED 60199
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_iGM.xml UNCERTIFIED 60400 UNCERTIFIED 8210 UNCERTIFIED 5732 UNCERTIFIED 60303 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_L.xml UNCERTIFIED 879 UNCERTIFIED 1195 UNCERTIFIED 901 UNCERTIFIED 92 UNCERTIFIED 494
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml UNCERTIFIED 60403 UNCERTIFIED 34686 UNCERTIFIED 29358 UNCERTIFIED 59030 UNCERTIFIED 60210
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml UNCERTIFIED 3836 UNCERTIFIED 3402 UNCERTIFIED 3239 UNCERTIFIED 27400 UNCERTIFIED 60285
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml UNCERTIFIED 7819 UNCERTIFIED 6692 UNCERTIFIED 7548 UNCERTIFIED 60207 UNCERTIFIED 60219
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml UNCERTIFIED 61159 UNCERTIFIED 34543 UNCERTIFIED 38460 UNCERTIFIED 60246 UNCERTIFIED 60205
tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml UNCERTIFIED 874 UNCERTIFIED 1135 UNCERTIFIED 901 UNCERTIFIED 88 UNCERTIFIED 515
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_C.xml UNCERTIFIED 60507 UNCERTIFIED 60254 UNCERTIFIED 60427 UNCERTIFIED 60220 UNCERTIFIED 60210
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_FR.xml UNCERTIFIED 60533 UNCERTIFIED 60599 UNCERTIFIED 60395 UNCERTIFIED 60212 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_GM.xml UNCERTIFIED 60445 UNCERTIFIED 61036 UNCERTIFIED 60444 UNCERTIFIED 60210 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_iGM.xml UNCERTIFIED 60559 UNCERTIFIED 60389 UNCERTIFIED 60636 UNCERTIFIED 60222 UNCERTIFIED 60209
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_L.xml UNCERTIFIED 870 UNCERTIFIED 1177 UNCERTIFIED 888 UNCERTIFIED 86 UNCERTIFIED 776
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_C.xml UNCERTIFIED 60458 UNCERTIFIED 60248 UNCERTIFIED 60504 UNCERTIFIED 60241 UNCERTIFIED 60205
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml UNCERTIFIED 60483 UNCERTIFIED 60426 UNCERTIFIED 60806 UNCERTIFIED 60217 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml UNCERTIFIED 60450 UNCERTIFIED 60388 UNCERTIFIED 60455 UNCERTIFIED 60263 UNCERTIFIED 60199
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml UNCERTIFIED 60517 UNCERTIFIED 60243 UNCERTIFIED 60478 UNCERTIFIED 60208 UNCERTIFIED 60199
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_L.xml UNCERTIFIED 883 UNCERTIFIED 1170 UNCERTIFIED 887 UNCERTIFIED 87 UNCERTIFIED 1300
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml UNCERTIFIED 60609 UNCERTIFIED 60385 UNCERTIFIED 60412 UNCERTIFIED 60235 UNCERTIFIED 60211
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_Z.xml UNCERTIFIED 60494 UNCERTIFIED 60264 UNCERTIFIED 60576 UNCERTIFIED 60221 UNCERTIFIED 60213
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_C.xml UNCERTIFIED 60489 UNCERTIFIED 60257 UNCERTIFIED 60748 UNCERTIFIED 60260 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_FR.xml UNCERTIFIED 60302 UNCERTIFIED 60348 UNCERTIFIED 60428 UNCERTIFIED 60246 UNCERTIFIED 60214
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_GM.xml UNCERTIFIED 60379 UNCERTIFIED 60421 UNCERTIFIED 60383 UNCERTIFIED 60270 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml UNCERTIFIED 60614 UNCERTIFIED 60704 UNCERTIFIED 60471 UNCERTIFIED 60234 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml UNCERTIFIED 855 UNCERTIFIED 1164 UNCERTIFIED 885 UNCERTIFIED 87 UNCERTIFIED 554
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml UNCERTIFIED 60655 UNCERTIFIED 60250 UNCERTIFIED 60771 UNCERTIFIED 60257 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml UNCERTIFIED 22716 UNCERTIFIED 60293 UNCERTIFIED 60677 UNCERTIFIED 60242 UNCERTIFIED 60213
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml UNCERTIFIED 57912 UNCERTIFIED 60786 UNCERTIFIED 60427 UNCERTIFIED 60279 UNCERTIFIED 60211
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml UNCERTIFIED 60474 UNCERTIFIED 60982 UNCERTIFIED 60464 UNCERTIFIED 60240 UNCERTIFIED 60209
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml UNCERTIFIED 850 UNCERTIFIED 1175 UNCERTIFIED 887 UNCERTIFIED 93 UNCERTIFIED 657
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml UNCERTIFIED 18023 UNCERTIFIED 60373 UNCERTIFIED 60459 UNCERTIFIED 60260 UNCERTIFIED 60212
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_Z.xml UNCERTIFIED 60307 UNCERTIFIED 60380 UNCERTIFIED 60416 UNCERTIFIED 60280 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_C.xml UNCERTIFIED 60331 UNCERTIFIED 60362 UNCERTIFIED 60348 UNCERTIFIED 51323 UNCERTIFIED 60211
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_FR.xml UNCERTIFIED 2108 UNCERTIFIED 60234 UNCERTIFIED 60288 UNCERTIFIED 1730 UNCERTIFIED 60233
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_GM.xml UNCERTIFIED 21171 UNCERTIFIED 60257 UNCERTIFIED 60306 UNCERTIFIED 55551 UNCERTIFIED 60249
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml UNCERTIFIED 60330 UNCERTIFIED 60354 UNCERTIFIED 60415 UNCERTIFIED 60276 UNCERTIFIED 60201
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml UNCERTIFIED 846 UNCERTIFIED 1148 UNCERTIFIED 895 UNCERTIFIED 87 UNCERTIFIED 809
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml UNCERTIFIED 60454 UNCERTIFIED 60612 UNCERTIFIED 60410 UNCERTIFIED 60288 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml UNCERTIFIED 4591 UNCERTIFIED 60242 UNCERTIFIED 60298 UNCERTIFIED 27987 UNCERTIFIED 60226
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml UNCERTIFIED 33957 UNCERTIFIED 60263 UNCERTIFIED 60361 UNCERTIFIED 60261 UNCERTIFIED 60223
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml UNCERTIFIED 60404 UNCERTIFIED 60501 UNCERTIFIED 60489 UNCERTIFIED 60249 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml UNCERTIFIED 882 UNCERTIFIED 1168 UNCERTIFIED 898 UNCERTIFIED 88 UNCERTIFIED 514
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml UNCERTIFIED 4191 UNCERTIFIED 60241 UNCERTIFIED 60265 UNCERTIFIED 27578 UNCERTIFIED 60235
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_Z.xml UNCERTIFIED 2128 UNCERTIFIED 60228 UNCERTIFIED 60273 UNCERTIFIED 1526 UNCERTIFIED 60243
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_C.xml UNCERTIFIED 60519 UNCERTIFIED 60249 UNCERTIFIED 60646 UNCERTIFIED 60259 UNCERTIFIED 60212
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_FR.xml UNCERTIFIED 34378 UNCERTIFIED 40108 UNCERTIFIED 59298 UNCERTIFIED 23560 UNCERTIFIED 60210
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_GM.xml UNCERTIFIED 44337 UNCERTIFIED 48617 UNCERTIFIED 60433 UNCERTIFIED 60231 UNCERTIFIED 60209
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_iGM.xml UNCERTIFIED 60762 UNCERTIFIED 60590 UNCERTIFIED 60412 UNCERTIFIED 60247 UNCERTIFIED 60209
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml UNCERTIFIED 846 UNCERTIFIED 1182 UNCERTIFIED 890 UNCERTIFIED 90 UNCERTIFIED 759
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_C.xml UNCERTIFIED 60452 UNCERTIFIED 60256 UNCERTIFIED 60319 UNCERTIFIED 60241 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml UNCERTIFIED 60254 UNCERTIFIED 60243 UNCERTIFIED 61034 UNCERTIFIED 30858 UNCERTIFIED 60209
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_GM.xml UNCERTIFIED 60319 UNCERTIFIED 60495 UNCERTIFIED 60461 UNCERTIFIED 60263 UNCERTIFIED 60211
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_iGM.xml UNCERTIFIED 60479 UNCERTIFIED 60319 UNCERTIFIED 60418 UNCERTIFIED 60215 UNCERTIFIED 60213
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml UNCERTIFIED 11754 UNCERTIFIED 60236 UNCERTIFIED 60306 UNCERTIFIED 60203 UNCERTIFIED 60247
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_Z.xml UNCERTIFIED 55768 UNCERTIFIED 60277 UNCERTIFIED 60441 UNCERTIFIED 27304 UNCERTIFIED 60212
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_Z.xml UNCERTIFIED 38060 UNCERTIFIED 41931 UNCERTIFIED 60860 UNCERTIFIED 2127 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_C.xml UNCERTIFIED 60528 UNCERTIFIED 12217 UNCERTIFIED 10024 UNCERTIFIED 45397 UNCERTIFIED 60214
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml UNCERTIFIED 8004 UNCERTIFIED 5817 UNCERTIFIED 5122 UNCERTIFIED 536 UNCERTIFIED 60211
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_GM.xml UNCERTIFIED 9845 UNCERTIFIED 4605 UNCERTIFIED 4577 UNCERTIFIED 428 UNCERTIFIED 60205
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml UNCERTIFIED 60517 UNCERTIFIED 7373 UNCERTIFIED 7060 UNCERTIFIED 60270 UNCERTIFIED 60232
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml UNCERTIFIED 879 UNCERTIFIED 1140 UNCERTIFIED 907 UNCERTIFIED 93 UNCERTIFIED 538
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml UNCERTIFIED 60473 UNCERTIFIED 60255 UNCERTIFIED 54247 UNCERTIFIED 60260 UNCERTIFIED 60212
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml UNCERTIFIED 17090 UNCERTIFIED 5558 UNCERTIFIED 4833 UNCERTIFIED 1074 UNCERTIFIED 60212
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml UNCERTIFIED 24839 UNCERTIFIED 12831 UNCERTIFIED 23079 UNCERTIFIED 1215 UNCERTIFIED 60209
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml UNCERTIFIED 60492 UNCERTIFIED 60307 UNCERTIFIED 60597 UNCERTIFIED 60262 UNCERTIFIED 60213
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml UNCERTIFIED 2608 UNCERTIFIED 7476 UNCERTIFIED 7902 UNCERTIFIED 43633 UNCERTIFIED 60283
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml UNCERTIFIED 15854 UNCERTIFIED 9337 UNCERTIFIED 7027 UNCERTIFIED 797 UNCERTIFIED 60216
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_Z.xml UNCERTIFIED 6183 UNCERTIFIED 5100 UNCERTIFIED 4527 UNCERTIFIED 522 UNCERTIFIED 60211
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_C.xml UNCERTIFIED 25809 UNCERTIFIED 8076 UNCERTIFIED 7207 UNCERTIFIED 3885 UNCERTIFIED 60207
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_FR.xml UNCERTIFIED 2079 UNCERTIFIED 2350 UNCERTIFIED 2161 UNCERTIFIED 146 UNCERTIFIED 251
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_GM.xml UNCERTIFIED 3750 UNCERTIFIED 3546 UNCERTIFIED 2923 UNCERTIFIED 241 UNCERTIFIED 1127
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml UNCERTIFIED 15606 UNCERTIFIED 5778 UNCERTIFIED 4071 UNCERTIFIED 57427 UNCERTIFIED 2965
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_L.xml UNCERTIFIED 871 UNCERTIFIED 1188 UNCERTIFIED 890 UNCERTIFIED 90 UNCERTIFIED 494
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml UNCERTIFIED 37281 UNCERTIFIED 7519 UNCERTIFIED 7040 UNCERTIFIED 2807 UNCERTIFIED 60209
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml UNCERTIFIED 2111 UNCERTIFIED 2508 UNCERTIFIED 2122 UNCERTIFIED 151 UNCERTIFIED 289
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml UNCERTIFIED 5069 UNCERTIFIED 3927 UNCERTIFIED 3440 UNCERTIFIED 254 UNCERTIFIED 1461
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml UNCERTIFIED 20697 UNCERTIFIED 5028 UNCERTIFIED 4601 UNCERTIFIED 54393 UNCERTIFIED 2409
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml UNCERTIFIED 2120 UNCERTIFIED 2358 UNCERTIFIED 2056 UNCERTIFIED 147 UNCERTIFIED 254
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_C.xml UNCERTIFIED 60531 UNCERTIFIED 60382 UNCERTIFIED 60464 UNCERTIFIED 60265 UNCERTIFIED 60212
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_FR.xml UNCERTIFIED 11675 UNCERTIFIED 11816 UNCERTIFIED 30225 UNCERTIFIED 54757 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_GM.xml UNCERTIFIED 19026 UNCERTIFIED 20296 UNCERTIFIED 42700 UNCERTIFIED 60274 UNCERTIFIED 60217
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_iGM.xml UNCERTIFIED 60454 UNCERTIFIED 60494 UNCERTIFIED 60505 UNCERTIFIED 60281 UNCERTIFIED 60211
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_L.xml UNCERTIFIED 846 UNCERTIFIED 1200 UNCERTIFIED 882 UNCERTIFIED 86 UNCERTIFIED 573
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_C.xml UNCERTIFIED 60472 UNCERTIFIED 60685 UNCERTIFIED 60456 UNCERTIFIED 60263 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_FR.xml UNCERTIFIED 18685 UNCERTIFIED 16315 UNCERTIFIED 31814 UNCERTIFIED 27299 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_GM.xml UNCERTIFIED 44505 UNCERTIFIED 51138 UNCERTIFIED 59293 UNCERTIFIED 60269 UNCERTIFIED 60200
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_iGM.xml UNCERTIFIED 60467 UNCERTIFIED 60531 UNCERTIFIED 60462 UNCERTIFIED 60249 UNCERTIFIED 60205
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml UNCERTIFIED 876 UNCERTIFIED 1180 UNCERTIFIED 899 UNCERTIFIED 89 UNCERTIFIED 676
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_Z.xml UNCERTIFIED 12034 UNCERTIFIED 11056 UNCERTIFIED 45512 UNCERTIFIED 48073 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_Z.xml UNCERTIFIED 9971 UNCERTIFIED 10787 UNCERTIFIED 30838 UNCERTIFIED 28911 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_C.xml UNCERTIFIED 60337 UNCERTIFIED 60698 UNCERTIFIED 60432 UNCERTIFIED 55666 UNCERTIFIED 60199
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_FR.xml UNCERTIFIED 3763 UNCERTIFIED 4763 UNCERTIFIED 11438 UNCERTIFIED 320 UNCERTIFIED 60202
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_GM.xml UNCERTIFIED 10453 UNCERTIFIED 12306 UNCERTIFIED 14958 UNCERTIFIED 10700 UNCERTIFIED 60205
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_iGM.xml UNCERTIFIED 60372 UNCERTIFIED 60411 UNCERTIFIED 60624 UNCERTIFIED 60284 UNCERTIFIED 60205
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_L.xml UNCERTIFIED 872 UNCERTIFIED 1167 UNCERTIFIED 905 UNCERTIFIED 92 UNCERTIFIED 518
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_C.xml UNCERTIFIED 60754 UNCERTIFIED 60347 UNCERTIFIED 60448 UNCERTIFIED 60275 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml UNCERTIFIED 5626 UNCERTIFIED 7331 UNCERTIFIED 16555 UNCERTIFIED 352 UNCERTIFIED 60205
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml UNCERTIFIED 13549 UNCERTIFIED 17685 UNCERTIFIED 24229 UNCERTIFIED 13202 UNCERTIFIED 60210
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml UNCERTIFIED 60673 UNCERTIFIED 60251 UNCERTIFIED 55725 UNCERTIFIED 60236 UNCERTIFIED 60204
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_L.xml UNCERTIFIED 841 UNCERTIFIED 1163 UNCERTIFIED 886 UNCERTIFIED 89 UNCERTIFIED 855
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml UNCERTIFIED 7360 UNCERTIFIED 6760 UNCERTIFIED 18025 UNCERTIFIED 330 UNCERTIFIED 60206
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_Z.xml UNCERTIFIED 3708 UNCERTIFIED 4410 UNCERTIFIED 9091 UNCERTIFIED 310 UNCERTIFIED 60203
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_C.xml UNCERTIFIED 22564 UNCERTIFIED 7117 UNCERTIFIED 5306 UNCERTIFIED 3034 UNCERTIFIED 60215
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_FR.xml UNCERTIFIED 1991 UNCERTIFIED 2131 UNCERTIFIED 2056 UNCERTIFIED 137 UNCERTIFIED 244
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_GM.xml UNCERTIFIED 3552 UNCERTIFIED 2835 UNCERTIFIED 2607 UNCERTIFIED 209 UNCERTIFIED 1043
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_iGM.xml UNCERTIFIED 14471 UNCERTIFIED 4960 UNCERTIFIED 3570 UNCERTIFIED 461 UNCERTIFIED 2472
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml UNCERTIFIED 882 UNCERTIFIED 1105 UNCERTIFIED 898 UNCERTIFIED 86 UNCERTIFIED 470
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_C.xml UNCERTIFIED 33873 UNCERTIFIED 11094 UNCERTIFIED 8997 UNCERTIFIED 50907 UNCERTIFIED 60208
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml UNCERTIFIED 2382 UNCERTIFIED 2661 UNCERTIFIED 2505 UNCERTIFIED 182 UNCERTIFIED 344
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml UNCERTIFIED 3320 UNCERTIFIED 3695 UNCERTIFIED 3619 UNCERTIFIED 255 UNCERTIFIED 2083
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml UNCERTIFIED 28606 UNCERTIFIED 6992 UNCERTIFIED 5674 UNCERTIFIED 5919 UNCERTIFIED 60213
tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml UNCERTIFIED 850 UNCERTIFIED 1187 UNCERTIFIED 885 UNCERTIFIED 88 UNCERTIFIED 471
tpdb-8.0/TRS/Various_04/02.xml UNCERTIFIED 1137 UNCERTIFIED 1711 UNCERTIFIED 1534 UNCERTIFIED 185 UNCERTIFIED 60219
tpdb-8.0/TRS/Various_04/03.xml UNCERTIFIED 1203 UNCERTIFIED 2315 UNCERTIFIED 2145 UNCERTIFIED 255 UNCERTIFIED 60197
tpdb-8.0/TRS/Various_04/04.xml UNCERTIFIED 18902 UNCERTIFIED 32741 UNCERTIFIED 31765 UNCERTIFIED 32561 UNCERTIFIED 60202
tpdb-8.0/TRS/Various_04/05.xml UNCERTIFIED 14975 UNCERTIFIED 22769 UNCERTIFIED 22561 UNCERTIFIED 29841 UNCERTIFIED 60211
tpdb-8.0/TRS/Various_04/06.xml UNCERTIFIED 1730 UNCERTIFIED 2063 UNCERTIFIED 2017 UNCERTIFIED 113 UNCERTIFIED 430
tpdb-8.0/TRS/Various_04/07.xml UNCERTIFIED 1633 UNCERTIFIED 1907 UNCERTIFIED 1852 UNCERTIFIED 431 UNCERTIFIED 128
tpdb-8.0/TRS/Various_04/08.xml UNCERTIFIED 47463 UNCERTIFIED 60242 UNCERTIFIED 60287 UNCERTIFIED 41761 UNCERTIFIED 60202
tpdb-8.0/TRS/Various_04/09.xml UNCERTIFIED 1744 UNCERTIFIED 2065 UNCERTIFIED 2279 UNCERTIFIED 119 UNCERTIFIED 992
tpdb-8.0/TRS/Various_04/10.xml UNCERTIFIED 18957 UNCERTIFIED 21053 UNCERTIFIED 21500 UNCERTIFIED 5966 UNCERTIFIED 60206
tpdb-8.0/TRS/Various_04/11.xml UNCERTIFIED 1277 UNCERTIFIED 2702 UNCERTIFIED 2705 UNCERTIFIED 362 UNCERTIFIED 60192
tpdb-8.0/TRS/Various_04/12.xml UNCERTIFIED 6177 UNCERTIFIED 2935 UNCERTIFIED 2391 UNCERTIFIED 2787 UNCERTIFIED 60208
tpdb-8.0/TRS/Various_04/13.xml UNCERTIFIED 8318 UNCERTIFIED 10411 UNCERTIFIED 9847 UNCERTIFIED 4703 UNCERTIFIED 60203
tpdb-8.0/TRS/Various_04/14.xml UNCERTIFIED 47527 UNCERTIFIED 33114 UNCERTIFIED 28914 UNCERTIFIED 60268 UNCERTIFIED 60209
tpdb-8.0/TRS/Various_04/15.xml UNCERTIFIED 3875 UNCERTIFIED 60273 UNCERTIFIED 60332 UNCERTIFIED 32147 UNCERTIFIED 60246
tpdb-8.0/TRS/Various_04/18.xml UNCERTIFIED 2872 UNCERTIFIED 2239 UNCERTIFIED 2057 UNCERTIFIED 159 UNCERTIFIED 242
tpdb-8.0/TRS/Various_04/19.xml UNCERTIFIED 2919 UNCERTIFIED 3426 UNCERTIFIED 2977 UNCERTIFIED 1242 UNCERTIFIED 1513
tpdb-8.0/TRS/Various_04/21.xml UNCERTIFIED 4474 UNCERTIFIED 3528 UNCERTIFIED 2866 UNCERTIFIED 1371 UNCERTIFIED 2419
tpdb-8.0/TRS/Various_04/22.xml UNCERTIFIED 2374 UNCERTIFIED 2897 UNCERTIFIED 2889 UNCERTIFIED 158 UNCERTIFIED 3314
tpdb-8.0/TRS/Various_04/23.xml UNCERTIFIED 2210 UNCERTIFIED 2463 UNCERTIFIED 2107 UNCERTIFIED 157 UNCERTIFIED 244
tpdb-8.0/TRS/Various_04/24.xml UNCERTIFIED 4397 UNCERTIFIED 4101 UNCERTIFIED 4363 UNCERTIFIED 243 UNCERTIFIED 542
tpdb-8.0/TRS/Various_04/25.xml UNCERTIFIED 1987 UNCERTIFIED 2186 UNCERTIFIED 2067 UNCERTIFIED 134 UNCERTIFIED 355
tpdb-8.0/TRS/Various_04/26.xml UNCERTIFIED 2239 UNCERTIFIED 2776 UNCERTIFIED 2566 UNCERTIFIED 153 UNCERTIFIED 851
tpdb-8.0/TRS/Various_04/27.xml UNCERTIFIED 1642 UNCERTIFIED 1901 UNCERTIFIED 1895 UNCERTIFIED 104 UNCERTIFIED 203
tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml UNCERTIFIED 3019 UNCERTIFIED 60250 UNCERTIFIED 60248 UNCERTIFIED 40238 UNCERTIFIED 60302
tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml UNCERTIFIED 2658 UNCERTIFIED 60249 UNCERTIFIED 60263 UNCERTIFIED 30040 UNCERTIFIED 60284
tpdb-8.0/TRS/Waldmann_06/jwcime1.xml UNCERTIFIED 3645 UNCERTIFIED 40538 UNCERTIFIED 42290 UNCERTIFIED 16188 UNCERTIFIED 60241
tpdb-8.0/TRS/Waldmann_06/jwcime2.xml UNCERTIFIED 1687 UNCERTIFIED 13672 UNCERTIFIED 12270 UNCERTIFIED 18882 UNCERTIFIED 60302
tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml UNCERTIFIED 2661 UNCERTIFIED 60236 UNCERTIFIED 60248 UNCERTIFIED 32398 UNCERTIFIED 2598
tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml UNCERTIFIED 2966 UNCERTIFIED 60241 UNCERTIFIED 60241 UNCERTIFIED 30626 UNCERTIFIED 2837
tpdb-8.0/TRS/Waldmann_06/jwno1.xml UNCERTIFIED 1571 UNCERTIFIED 4755 UNCERTIFIED 8543 UNCERTIFIED 25361 UNCERTIFIED 60240
tpdb-8.0/TRS/Waldmann_06/jwno2.xml UNCERTIFIED 1595 UNCERTIFIED 16244 UNCERTIFIED 19711 UNCERTIFIED 4822 UNCERTIFIED 60258
tpdb-8.0/TRS/Waldmann_06/jwno3.xml UNCERTIFIED 2253 UNCERTIFIED 5264 UNCERTIFIED 4926 UNCERTIFIED 23708 UNCERTIFIED 60246
tpdb-8.0/TRS/Waldmann_06/jwno4.xml UNCERTIFIED 1612 UNCERTIFIED 2668 UNCERTIFIED 3973 UNCERTIFIED 3878 UNCERTIFIED 60251
tpdb-8.0/TRS/Waldmann_06/jwno5.xml UNCERTIFIED 1612 UNCERTIFIED 4785 UNCERTIFIED 3468 UNCERTIFIED 3281 UNCERTIFIED 60277
tpdb-8.0/TRS/Waldmann_06/jwno6.xml UNCERTIFIED 1633 UNCERTIFIED 2927 UNCERTIFIED 2172 UNCERTIFIED 4636 UNCERTIFIED 60241
tpdb-8.0/TRS/Waldmann_06/jwno7.xml UNCERTIFIED 1802 UNCERTIFIED 4054 UNCERTIFIED 18754 UNCERTIFIED 8354 UNCERTIFIED 60244
tpdb-8.0/TRS/Waldmann_06/jwno8.xml UNCERTIFIED 1785 UNCERTIFIED 6249 UNCERTIFIED 5241 UNCERTIFIED 21017 UNCERTIFIED 60238
tpdb-8.0/TRS/Waldmann_06/jwno9.xml UNCERTIFIED 1739 UNCERTIFIED 4465 UNCERTIFIED 4242 UNCERTIFIED 40339 UNCERTIFIED 60287
tpdb-8.0/TRS/Waldmann_06/jwteparla1.xml UNCERTIFIED 1801 UNCERTIFIED 20226 UNCERTIFIED 20046 UNCERTIFIED 46447 UNCERTIFIED 60285
tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml UNCERTIFIED 1867 UNCERTIFIED 13255 UNCERTIFIED 16722 UNCERTIFIED 48830 UNCERTIFIED 60291
tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml UNCERTIFIED 1745 UNCERTIFIED 21849 UNCERTIFIED 24949 UNCERTIFIED 38930 UNCERTIFIED 60281
tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml UNCERTIFIED 3149 UNCERTIFIED 3832 UNCERTIFIED 4812 UNCERTIFIED 1399 UNCERTIFIED 5043
tpdb-8.0/TRS/Waldmann_06/jwttt.xml UNCERTIFIED 3219 UNCERTIFIED 3831 UNCERTIFIED 5105 UNCERTIFIED 19280 UNCERTIFIED 4171
tpdb-8.0/TRS/Zantema_04/z001.xml UNCERTIFIED 60310 UNCERTIFIED 60498 UNCERTIFIED 60568 UNCERTIFIED 60285 UNCERTIFIED 4019
tpdb-8.0/TRS/Zantema_04/z080.xml UNCERTIFIED 5879 UNCERTIFIED 9034 UNCERTIFIED 13801 UNCERTIFIED 60270 UNCERTIFIED 10317
tpdb-8.0/TRS/Zantema_05/jw01.xml UNCERTIFIED 2406 UNCERTIFIED 2849 UNCERTIFIED 3186 UNCERTIFIED 390 UNCERTIFIED 2236
tpdb-8.0/TRS/Zantema_05/jw02.xml UNCERTIFIED 2586 UNCERTIFIED 2996 UNCERTIFIED 3585 UNCERTIFIED 4242 UNCERTIFIED 3275
tpdb-8.0/TRS/Zantema_05/jw03.xml UNCERTIFIED 2400 UNCERTIFIED 2964 UNCERTIFIED 3351 UNCERTIFIED 493 UNCERTIFIED 2576
tpdb-8.0/TRS/Zantema_05/jw04.xml UNCERTIFIED 2426 UNCERTIFIED 2766 UNCERTIFIED 3407 UNCERTIFIED 555 UNCERTIFIED 2759
tpdb-8.0/TRS/Zantema_05/jw05.xml UNCERTIFIED 2549 UNCERTIFIED 3050 UNCERTIFIED 3544 UNCERTIFIED 3665 UNCERTIFIED 2832
tpdb-8.0/TRS/Zantema_05/jw06.xml UNCERTIFIED 2419 UNCERTIFIED 2762 UNCERTIFIED 3398 UNCERTIFIED 411 UNCERTIFIED 2695
tpdb-8.0/TRS/Zantema_05/jw07.xml UNCERTIFIED 2791 UNCERTIFIED 3192 UNCERTIFIED 4595 UNCERTIFIED 1121 UNCERTIFIED 4648
tpdb-8.0/TRS/Zantema_05/jw08.xml UNCERTIFIED 3091 UNCERTIFIED 3806 UNCERTIFIED 5345 UNCERTIFIED 31321 UNCERTIFIED 5794
tpdb-8.0/TRS/Zantema_05/jw09.xml UNCERTIFIED 1793 UNCERTIFIED 4541 UNCERTIFIED 4578 UNCERTIFIED 38463 UNCERTIFIED 4467
tpdb-8.0/TRS/Zantema_05/jw11.xml UNCERTIFIED 3077 UNCERTIFIED 3650 UNCERTIFIED 4755 UNCERTIFIED 3355 UNCERTIFIED 5113
tpdb-8.0/TRS/Zantema_05/jw12.xml UNCERTIFIED 3096 UNCERTIFIED 3643 UNCERTIFIED 4976 UNCERTIFIED 24845 UNCERTIFIED 6822
tpdb-8.0/TRS/Zantema_05/jw13.xml UNCERTIFIED 2694 UNCERTIFIED 3344 UNCERTIFIED 4822 UNCERTIFIED 705 UNCERTIFIED 4851
tpdb-8.0/TRS/Zantema_05/jw14.xml UNCERTIFIED 2906 UNCERTIFIED 3043 UNCERTIFIED 4448 UNCERTIFIED 691 UNCERTIFIED 4680
tpdb-8.0/TRS/Zantema_05/jw15.xml UNCERTIFIED 2691 UNCERTIFIED 3260 UNCERTIFIED 4086 UNCERTIFIED 7637 UNCERTIFIED 3825
tpdb-8.0/TRS/Zantema_05/jw16.xml UNCERTIFIED 2450 UNCERTIFIED 2851 UNCERTIFIED 3652 UNCERTIFIED 952 UNCERTIFIED 2713
tpdb-8.0/TRS/Zantema_05/jw17.xml UNCERTIFIED 2714 UNCERTIFIED 3290 UNCERTIFIED 4255 UNCERTIFIED 17853 UNCERTIFIED 3788
tpdb-8.0/TRS/Zantema_05/jw18.xml UNCERTIFIED 2377 UNCERTIFIED 2783 UNCERTIFIED 3224 UNCERTIFIED 449 UNCERTIFIED 2617
tpdb-8.0/TRS/Zantema_05/jw19.xml UNCERTIFIED 2606 UNCERTIFIED 3167 UNCERTIFIED 5049 UNCERTIFIED 3507 UNCERTIFIED 4204
tpdb-8.0/TRS/Zantema_05/jw20.xml UNCERTIFIED 2440 UNCERTIFIED 3266 UNCERTIFIED 4535 UNCERTIFIED 1574 UNCERTIFIED 4565
tpdb-8.0/TRS/Zantema_05/jw21.xml UNCERTIFIED 2468 UNCERTIFIED 2910 UNCERTIFIED 3708 UNCERTIFIED 775 UNCERTIFIED 3235
tpdb-8.0/TRS/Zantema_05/jw22.xml UNCERTIFIED 2656 UNCERTIFIED 3150 UNCERTIFIED 4287 UNCERTIFIED 9569 UNCERTIFIED 4098
tpdb-8.0/TRS/Zantema_05/jw23.xml UNCERTIFIED 2405 UNCERTIFIED 2854 UNCERTIFIED 4188 UNCERTIFIED 844 UNCERTIFIED 3094
tpdb-8.0/TRS/Zantema_05/jw24.xml UNCERTIFIED 2442 UNCERTIFIED 2812 UNCERTIFIED 4474 UNCERTIFIED 1073 UNCERTIFIED 3738
tpdb-8.0/TRS/Zantema_05/jw25.xml UNCERTIFIED 2413 UNCERTIFIED 2756 UNCERTIFIED 3826 UNCERTIFIED 1054 UNCERTIFIED 3917
tpdb-8.0/TRS/Zantema_05/jw26.xml UNCERTIFIED 2413 UNCERTIFIED 2861 UNCERTIFIED 3950 UNCERTIFIED 816 UNCERTIFIED 3310
tpdb-8.0/TRS/Zantema_05/jw27.xml UNCERTIFIED 2732 UNCERTIFIED 3224 UNCERTIFIED 4101 UNCERTIFIED 8725 UNCERTIFIED 4127
tpdb-8.0/TRS/Zantema_05/jw28.xml UNCERTIFIED 2396 UNCERTIFIED 2771 UNCERTIFIED 3479 UNCERTIFIED 720 UNCERTIFIED 3056
tpdb-8.0/TRS/Zantema_05/jw29.xml UNCERTIFIED 2802 UNCERTIFIED 3280 UNCERTIFIED 4746 UNCERTIFIED 1269 UNCERTIFIED 4855
tpdb-8.0/TRS/Zantema_05/jw30.xml UNCERTIFIED 2625 UNCERTIFIED 3302 UNCERTIFIED 4715 UNCERTIFIED 1803 UNCERTIFIED 3888
tpdb-8.0/TRS/Zantema_05/jw31.xml UNCERTIFIED 2439 UNCERTIFIED 2664 UNCERTIFIED 3168 UNCERTIFIED 452 UNCERTIFIED 2120
tpdb-8.0/TRS/Zantema_05/jw32.xml UNCERTIFIED 2669 UNCERTIFIED 3218 UNCERTIFIED 4114 UNCERTIFIED 17851 UNCERTIFIED 4044
tpdb-8.0/TRS/Zantema_05/jw33.xml UNCERTIFIED 2485 UNCERTIFIED 2827 UNCERTIFIED 3486 UNCERTIFIED 956 UNCERTIFIED 2655
tpdb-8.0/TRS/Zantema_05/jw34.xml UNCERTIFIED 2700 UNCERTIFIED 3085 UNCERTIFIED 4732 UNCERTIFIED 8578 UNCERTIFIED 5525
tpdb-8.0/TRS/Zantema_05/jw35.xml UNCERTIFIED 2646 UNCERTIFIED 3180 UNCERTIFIED 4603 UNCERTIFIED 639 UNCERTIFIED 5216
tpdb-8.0/TRS/Zantema_05/jw36.xml UNCERTIFIED 2696 UNCERTIFIED 3182 UNCERTIFIED 4829 UNCERTIFIED 655 UNCERTIFIED 4537
tpdb-8.0/TRS/Zantema_05/jw37.xml UNCERTIFIED 3139 UNCERTIFIED 3707 UNCERTIFIED 4312 UNCERTIFIED 27622 UNCERTIFIED 4852
tpdb-8.0/TRS/Zantema_05/jw38.xml UNCERTIFIED 3052 UNCERTIFIED 3838 UNCERTIFIED 4683 UNCERTIFIED 5692 UNCERTIFIED 4527
tpdb-8.0/TRS/Zantema_05/jw39.xml UNCERTIFIED 2794 UNCERTIFIED 3049 UNCERTIFIED 3852 UNCERTIFIED 1274 UNCERTIFIED 4516
tpdb-8.0/TRS/Zantema_05/jw40.xml UNCERTIFIED 2241 UNCERTIFIED 4720 UNCERTIFIED 4535 UNCERTIFIED 42531 UNCERTIFIED 4337
tpdb-8.0/TRS/Zantema_05/jw41.xml UNCERTIFIED 3253 UNCERTIFIED 3720 UNCERTIFIED 5689 UNCERTIFIED 31251 UNCERTIFIED 5520
tpdb-8.0/TRS/Zantema_05/jw42.xml UNCERTIFIED 2725 UNCERTIFIED 3208 UNCERTIFIED 4834 UNCERTIFIED 1191 UNCERTIFIED 3966
tpdb-8.0/TRS/Zantema_05/jw43.xml UNCERTIFIED 2707 UNCERTIFIED 2284 UNCERTIFIED 2120 UNCERTIFIED 1084 UNCERTIFIED 349
tpdb-8.0/TRS/Zantema_05/jw44.xml UNCERTIFIED 2057 UNCERTIFIED 2074 UNCERTIFIED 1898 UNCERTIFIED 133 UNCERTIFIED 240
tpdb-8.0/TRS/Zantema_05/jw47.xml UNCERTIFIED 1991 UNCERTIFIED 2091 UNCERTIFIED 1897 UNCERTIFIED 135 UNCERTIFIED 244
tpdb-8.0/TRS/Zantema_05/jw50.xml UNCERTIFIED 2494 UNCERTIFIED 2298 UNCERTIFIED 2072 UNCERTIFIED 921 UNCERTIFIED 341
tpdb-8.0/TRS/Zantema_05/z01.xml UNCERTIFIED 28982 UNCERTIFIED 38106 UNCERTIFIED 35099 UNCERTIFIED 60281 UNCERTIFIED 60243
tpdb-8.0/TRS/Zantema_05/z02.xml UNCERTIFIED 1272 UNCERTIFIED 2726 UNCERTIFIED 2762 UNCERTIFIED 2975 UNCERTIFIED 60276
tpdb-8.0/TRS/Zantema_05/z03.xml UNCERTIFIED 60254 UNCERTIFIED 60238 UNCERTIFIED 8632 UNCERTIFIED 40049 UNCERTIFIED 60262
tpdb-8.0/TRS/Zantema_05/z04.xml UNCERTIFIED 1324 UNCERTIFIED 2468 UNCERTIFIED 2318 UNCERTIFIED 2390 UNCERTIFIED 60299
tpdb-8.0/TRS/Zantema_05/z05.xml UNCERTIFIED 1891 UNCERTIFIED 21812 UNCERTIFIED 12447 UNCERTIFIED 24280 UNCERTIFIED 60285
tpdb-8.0/TRS/Zantema_05/z06.xml UNCERTIFIED 2041 UNCERTIFIED 3123 UNCERTIFIED 2793 UNCERTIFIED 56988 UNCERTIFIED 60246
tpdb-8.0/TRS/Zantema_05/z07.xml UNCERTIFIED 1747 UNCERTIFIED 3918 UNCERTIFIED 3780 UNCERTIFIED 5716 UNCERTIFIED 60246
tpdb-8.0/TRS/Zantema_05/z08.xml UNCERTIFIED 2529 UNCERTIFIED 2983 UNCERTIFIED 5773 UNCERTIFIED 787 UNCERTIFIED 60252
tpdb-8.0/TRS/Zantema_05/z09.xml UNCERTIFIED 1638 UNCERTIFIED 12001 UNCERTIFIED 13239 UNCERTIFIED 8827 UNCERTIFIED 60198
tpdb-8.0/TRS/Zantema_05/z10.xml UNCERTIFIED 1687 UNCERTIFIED 10974 UNCERTIFIED 6717 UNCERTIFIED 9578 UNCERTIFIED 60216
tpdb-8.0/TRS/Zantema_05/z11.xml UNCERTIFIED 2137 UNCERTIFIED 6833 UNCERTIFIED 6341 UNCERTIFIED 13672 UNCERTIFIED 60247
tpdb-8.0/TRS/Zantema_05/z12.xml UNCERTIFIED 60307 UNCERTIFIED 60298 UNCERTIFIED 60316 UNCERTIFIED 60215 UNCERTIFIED 60242
tpdb-8.0/TRS/Zantema_05/z13.xml UNCERTIFIED 2081 UNCERTIFIED 6657 UNCERTIFIED 11494 UNCERTIFIED 8913 UNCERTIFIED 60269
tpdb-8.0/TRS/Zantema_05/z14.xml UNCERTIFIED 2069 UNCERTIFIED 14833 UNCERTIFIED 18402 UNCERTIFIED 10483 UNCERTIFIED 60255
tpdb-8.0/TRS/Zantema_05/z15.xml UNCERTIFIED 1797 UNCERTIFIED 6489 UNCERTIFIED 5793 UNCERTIFIED 3521 UNCERTIFIED 60253
tpdb-8.0/TRS/Zantema_05/z16.xml UNCERTIFIED 1905 UNCERTIFIED 12494 UNCERTIFIED 16222 UNCERTIFIED 8010 UNCERTIFIED 60282
tpdb-8.0/TRS/Zantema_05/z17.xml UNCERTIFIED 1807 UNCERTIFIED 4044 UNCERTIFIED 5296 UNCERTIFIED 3730 UNCERTIFIED 60240
tpdb-8.0/TRS/Zantema_05/z18.xml UNCERTIFIED 1902 UNCERTIFIED 5742 UNCERTIFIED 7898 UNCERTIFIED 6336 UNCERTIFIED 60238
tpdb-8.0/TRS/Zantema_05/z19.xml UNCERTIFIED 4332 UNCERTIFIED 6865 UNCERTIFIED 6693 UNCERTIFIED 39637 UNCERTIFIED 60248
tpdb-8.0/TRS/Zantema_05/z20.xml UNCERTIFIED 9788 UNCERTIFIED 11721 UNCERTIFIED 14098 UNCERTIFIED 60279 UNCERTIFIED 60265
tpdb-8.0/TRS/Zantema_05/z21.xml UNCERTIFIED 13684 UNCERTIFIED 60228 UNCERTIFIED 37583 UNCERTIFIED 30756 UNCERTIFIED 60237
tpdb-8.0/TRS/Zantema_05/z22.xml UNCERTIFIED 15680 UNCERTIFIED 26030 UNCERTIFIED 19662 UNCERTIFIED 60299 UNCERTIFIED 60245
tpdb-8.0/TRS/Zantema_05/z23.xml UNCERTIFIED 60046 UNCERTIFIED 60247 UNCERTIFIED 60276 UNCERTIFIED 60303 UNCERTIFIED 60252
tpdb-8.0/TRS/Zantema_05/z24.xml UNCERTIFIED 3876 UNCERTIFIED 14774 UNCERTIFIED 14667 UNCERTIFIED 18803 UNCERTIFIED 60256
tpdb-8.0/TRS/Zantema_05/z25.xml UNCERTIFIED 2003 UNCERTIFIED 13879 UNCERTIFIED 14855 UNCERTIFIED 23602 UNCERTIFIED 60287
tpdb-8.0/TRS/Zantema_05/z26.xml UNCERTIFIED 7750 UNCERTIFIED 3657 UNCERTIFIED 3250 UNCERTIFIED 60265 UNCERTIFIED 729
tpdb-8.0/TRS/Zantema_05/z27.xml UNCERTIFIED 1377 UNCERTIFIED 4641 UNCERTIFIED 4568 UNCERTIFIED 1424 UNCERTIFIED 60245
tpdb-8.0/TRS/Zantema_05/z28.xml UNCERTIFIED 1745 UNCERTIFIED 60241 UNCERTIFIED 60245 UNCERTIFIED 3655 UNCERTIFIED 60254
tpdb-8.0/TRS/Zantema_05/z29.xml UNCERTIFIED 1634 UNCERTIFIED 3479 UNCERTIFIED 3572 UNCERTIFIED 2868 UNCERTIFIED 2227
tpdb-8.0/TRS/Zantema_05/z30.xml UNCERTIFIED 60268 UNCERTIFIED 60334 UNCERTIFIED 60336 UNCERTIFIED 60213 UNCERTIFIED 60241
0 0 0 0 0