| benchmark | AProVE-A3PAT | AProVE-CeTA | AProVE-COLOR | cime3finder | TTT2Cert |
|---|---|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.12.xml | YES 3460 | YES 2757 | YES 3043 | UNCERTIFIED 282 | YES 386 |
| tpdb-8.0/TRS/AG01/#3.15.xml | YES 3124 | YES 2542 | YES 2613 | UNCERTIFIED 652 | YES 309 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | YES 6637 | YES 3244 | UNCERTIFIED 7189 | UNCERTIFIED 4454 | YES 3018 |
| tpdb-8.0/TRS/AG01/#3.1.xml | YES 2903 | YES 2752 | YES 3134 | UNCERTIFIED 269 | YES 428 |
| tpdb-8.0/TRS/AG01/#3.21.xml | YES 2918 | YES 2554 | YES 4761 | UNCERTIFIED 1306 | YES 353 |
| tpdb-8.0/TRS/AG01/#3.26.xml | YES 2367 | YES 2498 | YES 2543 | UNCERTIFIED 224 | YES 406 |
| tpdb-8.0/TRS/AG01/#3.47.xml | YES 2947 | YES 2449 | YES 2825 | YES 107 | YES 413 |
| tpdb-8.0/TRS/AG01/#3.53b.xml | YES 2903 | YES 2495 | YES 2919 | YES 90 | YES 289 |
| tpdb-8.0/TRS/AG01/#3.53.xml | YES 5660 | YES 3705 | YES 6514 | UNCERTIFIED 838 | YES 1475 |
| tpdb-8.0/TRS/AG01/#3.55.xml | UNCERTIFIED 12563 | YES 4474 | UNCERTIFIED 14970 | UNCERTIFIED 1609 | YES 1397 |
| tpdb-8.0/TRS/AG01/#3.56.xml | YES 3765 | YES 2648 | YES 4212 | UNCERTIFIED 441 | YES 3385 |
| tpdb-8.0/TRS/AG01/#3.57.xml | YES 7884 | YES 3580 | YES 14239 | UNCERTIFIED 3730 | YES 1493 |
| tpdb-8.0/TRS/AG01/#3.5a.xml | YES 4114 | YES 2962 | YES 4508 | UNCERTIFIED 612 | YES 639 |
| tpdb-8.0/TRS/AG01/#3.6a.xml | YES 4173 | YES 3165 | YES 4195 | UNCERTIFIED 649 | YES 749 |
| tpdb-8.0/TRS/AG01/#4.30c.xml | UNCERTIFIED 60315 | UNCERTIFIED 61217 | UNCERTIFIED 61257 | UNCERTIFIED 503 | UNCERTIFIED 59199 |
| tpdb-8.0/TRS/AotoYamada_05/001.xml | UNCERTIFIED 3883 | NO 2160 | NO 2255 | UNCERTIFIED 1429 | NO 158 |
| tpdb-8.0/TRS/AotoYamada_05/002.xml | YES 6031 | YES 2983 | YES 10347 | UNCERTIFIED 6132 | YES 577 |
| tpdb-8.0/TRS/AotoYamada_05/005.xml | YES 2409 | YES 3103 | YES 2416 | UNCERTIFIED 638 | YES 316 |
| tpdb-8.0/TRS/AotoYamada_05/007.xml | YES 8244 | YES 3145 | UNCERTIFIED 61098 | UNCERTIFIED 1861 | YES 557 |
| tpdb-8.0/TRS/AotoYamada_05/010.xml | UNCERTIFIED 60591 | UNCERTIFIED 21617 | UNCERTIFIED 61165 | UNCERTIFIED 4982 | UNCERTIFIED 5489 |
| tpdb-8.0/TRS/AotoYamada_05/016.xml | YES 13113 | YES 3899 | UNCERTIFIED 61170 | UNCERTIFIED 7558 | YES 804 |
| tpdb-8.0/TRS/AotoYamada_05/017.xml | YES 2165 | YES 2426 | YES 2331 | UNCERTIFIED 226 | YES 186 |
| tpdb-8.0/TRS/AotoYamada_05/019.xml | UNCERTIFIED 4053 | YES 2442 | UNCERTIFIED 19952 | UNCERTIFIED 380 | YES 311 |
| tpdb-8.0/TRS/AotoYamada_05/023.xml | YES 2302 | YES 2444 | YES 2446 | UNCERTIFIED 447 | YES 304 |
| tpdb-8.0/TRS/AotoYamada_05/028.xml | UNCERTIFIED 60576 | YES 2865 | UNCERTIFIED 61218 | UNCERTIFIED 3447 | YES 559 |
| tpdb-8.0/TRS/Applicative_05/BTreeMember.xml | UNCERTIFIED 13868 | YES 3731 | YES 28862 | UNCERTIFIED 60211 | YES 919 |
| tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml | YES 2103 | YES 2653 | YES 2320 | YES 85 | YES 189 |
| tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml | UNCERTIFIED 5129 | NO 2324 | NO 2272 | UNCERTIFIED 673 | NO 175 |
| tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml | YES 3167 | YES 2605 | YES 5045 | UNCERTIFIED 2551 | YES 439 |
| tpdb-8.0/TRS/Applicative_05/Ex6_11.xml | YES 3332 | YES 2484 | UNCERTIFIED 14615 | UNCERTIFIED 7559 | YES 432 |
| tpdb-8.0/TRS/Applicative_05/mapDivMinus.xml | UNCERTIFIED 60635 | UNCERTIFIED 61238 | UNCERTIFIED 61145 | UNCERTIFIED 6498 | UNCERTIFIED 3169 |
| tpdb-8.0/TRS/Applicative_05/nonTermF.xml | UNCERTIFIED 60491 | NO 4572 | NO 4870 | UNCERTIFIED 3301 | NO 185 |
| tpdb-8.0/TRS/Applicative_05/termMonTypes.xml | UNCERTIFIED 36645 | NO 2219 | NO 2266 | UNCERTIFIED 1331 | NO 172 |
| tpdb-8.0/TRS/Applicative_first_order_05/01.xml | UNCERTIFIED 60683 | YES 4124 | UNCERTIFIED 61234 | UNCERTIFIED 10920 | YES 964 |
| tpdb-8.0/TRS/Applicative_first_order_05/08.xml | UNCERTIFIED 60827 | YES 4903 | UNCERTIFIED 61272 | UNCERTIFIED 41281 | YES 1166 |
| tpdb-8.0/TRS/Applicative_first_order_05/12.xml | UNCERTIFIED 60774 | YES 5694 | UNCERTIFIED 61292 | UNCERTIFIED 20254 | YES 1273 |
| tpdb-8.0/TRS/Applicative_first_order_05/17.xml | UNCERTIFIED 60687 | YES 5137 | UNCERTIFIED 61269 | UNCERTIFIED 13177 | YES 1084 |
| tpdb-8.0/TRS/Applicative_first_order_05/18.xml | UNCERTIFIED 60870 | YES 3921 | UNCERTIFIED 61047 | UNCERTIFIED 12584 | YES 889 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.10.xml | UNCERTIFIED 61111 | UNCERTIFIED 61170 | UNCERTIFIED 61473 | UNCERTIFIED 60245 | UNCERTIFIED 8560 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.18.xml | UNCERTIFIED 60707 | UNCERTIFIED 61331 | UNCERTIFIED 61277 | UNCERTIFIED 15570 | UNCERTIFIED 4730 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.32.xml | UNCERTIFIED 60919 | YES 3518 | UNCERTIFIED 61303 | UNCERTIFIED 10103 | YES 753 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.57.xml | UNCERTIFIED 60968 | UNCERTIFIED 61303 | UNCERTIFIED 61391 | UNCERTIFIED 60186 | UNCERTIFIED 8358 |
| tpdb-8.0/TRS/Applicative_first_order_05/hydra.xml | UNCERTIFIED 60888 | YES 5001 | UNCERTIFIED 60970 | UNCERTIFIED 60174 | YES 1601 |
| tpdb-8.0/TRS/Applicative_first_order_05/perfect2.xml | UNCERTIFIED 61095 | UNCERTIFIED 60956 | UNCERTIFIED 61436 | UNCERTIFIED 60230 | UNCERTIFIED 59372 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | UNCERTIFIED 60319 | YES 3002 | UNCERTIFIED 61139 | UNCERTIFIED 493 | YES 704 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml | UNCERTIFIED 5791 | YES 3071 | UNCERTIFIED 61428 | UNCERTIFIED 359 | YES 689 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | UNCERTIFIED 60265 | YES 2601 | UNCERTIFIED 61274 | UNCERTIFIED 227 | YES 422 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | YES 4600 | YES 3777 | YES 3594 | UNCERTIFIED 304 | YES 3536 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | UNCERTIFIED 60449 | YES 14751 | YES 5115 | UNCERTIFIED 762 | YES 3445 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | UNCERTIFIED 60475 | UNCERTIFIED 61406 | UNCERTIFIED 61216 | UNCERTIFIED 991 | UNCERTIFIED 59222 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | YES 6918 | YES 4224 | YES 4864 | UNCERTIFIED 637 | YES 3871 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | UNCERTIFIED 60291 | YES 2649 | YES 3947 | YES 163 | YES 2480 |
| tpdb-8.0/TRS/AProVE_04/rta1.xml | UNCERTIFIED 60373 | YES 2889 | UNCERTIFIED 61191 | UNCERTIFIED 705 | YES 739 |
| tpdb-8.0/TRS/AProVE_04/rta3.xml | UNCERTIFIED 60233 | YES 3174 | UNCERTIFIED 61242 | UNCERTIFIED 371 | YES 395 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | UNCERTIFIED 60376 | UNCERTIFIED 61239 | UNCERTIFIED 61230 | UNCERTIFIED 825 | UNCERTIFIED 59222 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | UNCERTIFIED 60407 | YES 3921 | UNCERTIFIED 61174 | UNCERTIFIED 965 | YES 1072 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | UNCERTIFIED 60318 | YES 3985 | UNCERTIFIED 61302 | UNCERTIFIED 544 | UNCERTIFIED 59201 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | UNCERTIFIED 60965 | UNCERTIFIED 61424 | UNCERTIFIED 61220 | UNCERTIFIED 60184 | UNCERTIFIED 59225 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | UNCERTIFIED 60862 | UNCERTIFIED 61495 | UNCERTIFIED 61244 | UNCERTIFIED 17053 | UNCERTIFIED 59239 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | UNCERTIFIED 16999 | UNCERTIFIED 13528 | UNCERTIFIED 13795 | UNCERTIFIED 4992 | UNCERTIFIED 3763 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | UNCERTIFIED 61380 | UNCERTIFIED 62217 | UNCERTIFIED 61697 | UNCERTIFIED 60206 | NO 193 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | UNCERTIFIED 60802 | YES 6527 | UNCERTIFIED 62338 | UNCERTIFIED 60162 | YES 3107 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | UNCERTIFIED 60310 | UNCERTIFIED 21615 | UNCERTIFIED 61164 | UNCERTIFIED 3455 | UNCERTIFIED 3029 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | UNCERTIFIED 60423 | YES 4192 | UNCERTIFIED 61106 | UNCERTIFIED 993 | YES 1269 |
| tpdb-8.0/TRS/AProVE_07/kabasci03.xml | UNCERTIFIED 60926 | YES 5060 | UNCERTIFIED 61252 | UNCERTIFIED 17231 | YES 1967 |
| tpdb-8.0/TRS/AProVE_07/otto06.xml | UNCERTIFIED 60437 | UNCERTIFIED 38394 | UNCERTIFIED 61208 | UNCERTIFIED 1911 | UNCERTIFIED 5956 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | UNCERTIFIED 60262 | UNCERTIFIED 19424 | UNCERTIFIED 61175 | UNCERTIFIED 244 | UNCERTIFIED 3420 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | UNCERTIFIED 6013 | UNCERTIFIED 13752 | UNCERTIFIED 61279 | UNCERTIFIED 345 | UNCERTIFIED 3705 |
| tpdb-8.0/TRS/AProVE_07/otto13.xml | UNCERTIFIED 60421 | UNCERTIFIED 61328 | UNCERTIFIED 61272 | UNCERTIFIED 6250 | UNCERTIFIED 6925 |
| tpdb-8.0/TRS/AProVE_07/thiemann03.xml | UNCERTIFIED 35090 | UNCERTIFIED 61470 | UNCERTIFIED 61287 | UNCERTIFIED 3332 | UNCERTIFIED 59209 |
| tpdb-8.0/TRS/AProVE_07/thiemann07.xml | UNCERTIFIED 60806 | UNCERTIFIED 62874 | UNCERTIFIED 61382 | UNCERTIFIED 2093 | UNCERTIFIED 59229 |
| tpdb-8.0/TRS/AProVE_07/thiemann14.xml | UNCERTIFIED 60469 | YES 16335 | UNCERTIFIED 61177 | UNCERTIFIED 993 | YES 1388 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | UNCERTIFIED 60304 | YES 3562 | YES 9539 | UNCERTIFIED 359 | YES 716 |
| tpdb-8.0/TRS/AProVE_07/thiemann22.xml | UNCERTIFIED 60327 | UNCERTIFIED 61392 | UNCERTIFIED 61124 | UNCERTIFIED 824 | UNCERTIFIED 59209 |
| tpdb-8.0/TRS/AProVE_07/thiemann23.xml | UNCERTIFIED 61315 | UNCERTIFIED 61267 | UNCERTIFIED 61424 | UNCERTIFIED 60239 | UNCERTIFIED 4140 |
| tpdb-8.0/TRS/AProVE_07/thiemann27.xml | UNCERTIFIED 6480 | UNCERTIFIED 31952 | UNCERTIFIED 61225 | UNCERTIFIED 253 | UNCERTIFIED 3393 |
| tpdb-8.0/TRS/AProVE_07/thiemann29.xml | UNCERTIFIED 60519 | UNCERTIFIED 61233 | UNCERTIFIED 61123 | UNCERTIFIED 4516 | UNCERTIFIED 59213 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | UNCERTIFIED 60412 | UNCERTIFIED 61095 | UNCERTIFIED 61244 | UNCERTIFIED 3488 | UNCERTIFIED 12346 |
| tpdb-8.0/TRS/AProVE_07/thiemann39.xml | UNCERTIFIED 60717 | UNCERTIFIED 62092 | UNCERTIFIED 61175 | UNCERTIFIED 52068 | UNCERTIFIED 25600 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | UNCERTIFIED 61099 | YES 11062 | UNCERTIFIED 61437 | UNCERTIFIED 60171 | YES 2935 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | UNCERTIFIED 61041 | YES 11304 | UNCERTIFIED 61279 | UNCERTIFIED 60181 | YES 1554 |
| tpdb-8.0/TRS/AProVE_07/wiehe06.xml | UNCERTIFIED 60942 | YES 11337 | UNCERTIFIED 61252 | UNCERTIFIED 60170 | YES 1578 |
| tpdb-8.0/TRS/AProVE_07/wiehe08.xml | UNCERTIFIED 61172 | YES 10149 | UNCERTIFIED 61619 | UNCERTIFIED 60170 | YES 1892 |
| tpdb-8.0/TRS/AProVE_07/wiehe11.xml | UNCERTIFIED 61137 | YES 13124 | UNCERTIFIED 64812 | UNCERTIFIED 60177 | YES 2708 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | UNCERTIFIED 60359 | YES 3954 | UNCERTIFIED 61272 | UNCERTIFIED 616 | YES 2562 |
| tpdb-8.0/TRS/AProVE_08/log.xml | UNCERTIFIED 60932 | UNCERTIFIED 61376 | UNCERTIFIED 61293 | UNCERTIFIED 2622 | UNCERTIFIED 59206 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | UNCERTIFIED 60857 | UNCERTIFIED 61419 | UNCERTIFIED 61071 | UNCERTIFIED 2414 | UNCERTIFIED 35921 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | UNCERTIFIED 60817 | UNCERTIFIED 61415 | UNCERTIFIED 61141 | UNCERTIFIED 2323 | UNCERTIFIED 37042 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | UNCERTIFIED 60817 | UNCERTIFIED 61249 | UNCERTIFIED 61184 | UNCERTIFIED 1347 | UNCERTIFIED 35209 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | UNCERTIFIED 61092 | UNCERTIFIED 62522 | UNCERTIFIED 61604 | UNCERTIFIED 9606 | UNCERTIFIED 59235 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | UNCERTIFIED 60989 | UNCERTIFIED 61292 | UNCERTIFIED 61268 | UNCERTIFIED 2519 | UNCERTIFIED 46806 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | UNCERTIFIED 3612 | NO 2213 | NO 2285 | UNCERTIFIED 207 | NO 182 |
| tpdb-8.0/TRS/AProVE_08/round.xml | UNCERTIFIED 4380 | UNCERTIFIED 5111 | UNCERTIFIED 9294 | UNCERTIFIED 271 | UNCERTIFIED 2456 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | UNCERTIFIED 60295 | YES 15032 | UNCERTIFIED 61730 | UNCERTIFIED 284 | YES 613 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd2.xml | UNCERTIFIED 38643 | UNCERTIFIED 61469 | UNCERTIFIED 61406 | UNCERTIFIED 692 | UNCERTIFIED 7771 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | UNCERTIFIED 17418 | UNCERTIFIED 34739 | UNCERTIFIED 28071 | UNCERTIFIED 509 | UNCERTIFIED 4772 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | UNCERTIFIED 55546 | UNCERTIFIED 61244 | UNCERTIFIED 61111 | UNCERTIFIED 700 | UNCERTIFIED 7416 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | UNCERTIFIED 60887 | UNCERTIFIED 61308 | UNCERTIFIED 61478 | UNCERTIFIED 2615 | UNCERTIFIED 53906 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | UNCERTIFIED 60961 | UNCERTIFIED 61145 | UNCERTIFIED 62313 | UNCERTIFIED 2773 | UNCERTIFIED 15087 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | UNCERTIFIED 60325 | UNCERTIFIED 61057 | UNCERTIFIED 61364 | UNCERTIFIED 645 | UNCERTIFIED 11492 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | UNCERTIFIED 60893 | UNCERTIFIED 61196 | UNCERTIFIED 62024 | UNCERTIFIED 2555 | UNCERTIFIED 42728 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | UNCERTIFIED 16290 | UNCERTIFIED 25521 | UNCERTIFIED 23864 | UNCERTIFIED 368 | UNCERTIFIED 2109 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | UNCERTIFIED 60457 | UNCERTIFIED 61598 | UNCERTIFIED 61196 | UNCERTIFIED 5025 | UNCERTIFIED 59217 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | UNCERTIFIED 60587 | UNCERTIFIED 61278 | UNCERTIFIED 61179 | UNCERTIFIED 16558 | UNCERTIFIED 59209 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | UNCERTIFIED 12918 | YES 3388 | YES 4307 | UNCERTIFIED 249 | YES 457 |
| tpdb-8.0/TRS/Beerendonk_07/20.xml | UNCERTIFIED 60415 | UNCERTIFIED 61202 | UNCERTIFIED 61280 | UNCERTIFIED 1762 | UNCERTIFIED 22011 |
| tpdb-8.0/TRS/Beerendonk_07/23.xml | UNCERTIFIED 60274 | YES 4263 | YES 7311 | UNCERTIFIED 810 | YES 733 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | UNCERTIFIED 60436 | UNCERTIFIED 61017 | UNCERTIFIED 61118 | UNCERTIFIED 2232 | UNCERTIFIED 59226 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | UNCERTIFIED 12709 | UNCERTIFIED 19469 | UNCERTIFIED 17725 | UNCERTIFIED 343 | UNCERTIFIED 3331 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | UNCERTIFIED 10028 | UNCERTIFIED 12506 | UNCERTIFIED 10115 | UNCERTIFIED 152 | UNCERTIFIED 1256 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | UNCERTIFIED 9116 | YES 3097 | YES 4333 | UNCERTIFIED 203 | YES 463 |
| tpdb-8.0/TRS/CiME_04/append-hard.xml | UNCERTIFIED 60216 | YES 2866 | UNCERTIFIED 61402 | UNCERTIFIED 234 | YES 420 |
| tpdb-8.0/TRS/CiME_04/append.xml | YES 3071 | YES 2551 | YES 3033 | YES 105 | YES 378 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | YES 3518 | YES 2483 | YES 3006 | YES 115 | YES 3264 |
| tpdb-8.0/TRS/CiME_04/filliatre3.xml | YES 8096 | YES 4056 | YES 8848 | UNCERTIFIED 1707 | YES 2778 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | YES 2919 | YES 3698 | YES 3907 | YES 207 | YES 893 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | UNCERTIFIED 24246 | YES 5272 | UNCERTIFIED 61334 | UNCERTIFIED 1024 | YES 1948 |
| tpdb-8.0/TRS/CiME_04/lse.xml | YES 16980 | YES 4988 | UNCERTIFIED 62038 | UNCERTIFIED 1333 | YES 1240 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | UNCERTIFIED 60860 | YES 9701 | UNCERTIFIED 62689 | UNCERTIFIED 5798 | YES 4927 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | UNCERTIFIED 17793 | YES 5970 | UNCERTIFIED 62172 | UNCERTIFIED 1664 | YES 1663 |
| tpdb-8.0/TRS/CiME_04/tree.xml | UNCERTIFIED 17556 | YES 7519 | YES 40026 | UNCERTIFIED 60271 | YES 3858 |
| tpdb-8.0/TRS/Der95/01.xml | YES 2194 | YES 2104 | YES 2559 | YES 101 | YES 238 |
| tpdb-8.0/TRS/Der95/06.xml | YES 2124 | YES 2602 | YES 2439 | YES 84 | YES 229 |
| tpdb-8.0/TRS/Der95/09.xml | YES 2141 | YES 2420 | YES 2323 | YES 68 | YES 174 |
| tpdb-8.0/TRS/Der95/17.xml | YES 2182 | YES 2771 | YES 3105 | YES 111 | YES 308 |
| tpdb-8.0/TRS/Der95/20.xml | UNCERTIFIED 3117 | YES 2743 | YES 3835 | UNCERTIFIED 1063 | YES 753 |
| tpdb-8.0/TRS/Der95/21.xml | UNCERTIFIED 60235 | YES 2759 | UNCERTIFIED 61050 | UNCERTIFIED 436 | YES 794 |
| tpdb-8.0/TRS/Der95/28.xml | YES 2188 | YES 2481 | YES 3162 | YES 77 | YES 295 |
| tpdb-8.0/TRS/Der95/30.xml | YES 2376 | YES 4003 | YES 4184 | UNCERTIFIED 2171 | YES 420 |
| tpdb-8.0/TRS/Der95/32.xml | YES 4122 | YES 2883 | YES 4253 | YES 137 | YES 496 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | YES 4084 | YES 2875 | YES 2883 | UNCERTIFIED 1664 | YES 3414 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | UNCERTIFIED 4274 | UNCERTIFIED 6396 | UNCERTIFIED 8490 | UNCERTIFIED 265 | UNCERTIFIED 2079 |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | UNCERTIFIED 4993 | YES 4008 | YES 7367 | UNCERTIFIED 1350 | YES 1026 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | YES 8003 | YES 4812 | YES 12281 | UNCERTIFIED 6117 | YES 3067 |
| tpdb-8.0/TRS/Endrullis_06/pair2hard.xml | UNCERTIFIED 5596 | YES 3638 | YES 11402 | UNCERTIFIED 2424 | YES 1713 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | YES 2410 | YES 3055 | YES 3752 | UNCERTIFIED 1234 | YES 800 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml | YES 3238 | UNCERTIFIED 61216 | YES 4243 | UNCERTIFIED 3156 | UNCERTIFIED 26980 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | YES 4425 | YES 3686 | YES 11437 | UNCERTIFIED 1370 | YES 3857 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | YES 4609 | YES 2875 | UNCERTIFIED 8870 | UNCERTIFIED 1583 | YES 3336 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | YES 5031 | YES 3671 | YES 3463 | UNCERTIFIED 2264 | YES 3183 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | UNCERTIFIED 60274 | UNCERTIFIED 21040 | UNCERTIFIED 61557 | UNCERTIFIED 249 | UNCERTIFIED 3438 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | UNCERTIFIED 60350 | UNCERTIFIED 61229 | UNCERTIFIED 61780 | UNCERTIFIED 450 | UNCERTIFIED 51731 |
| tpdb-8.0/TRS/GTSSK07/cade06.xml | UNCERTIFIED 29507 | UNCERTIFIED 50883 | UNCERTIFIED 61313 | UNCERTIFIED 1933 | UNCERTIFIED 4559 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | UNCERTIFIED 60261 | UNCERTIFIED 61105 | UNCERTIFIED 60976 | UNCERTIFIED 697 | UNCERTIFIED 4551 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | UNCERTIFIED 60328 | UNCERTIFIED 61577 | UNCERTIFIED 61122 | UNCERTIFIED 453 | UNCERTIFIED 6348 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | UNCERTIFIED 60400 | UNCERTIFIED 61230 | UNCERTIFIED 61378 | UNCERTIFIED 758 | UNCERTIFIED 14596 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | UNCERTIFIED 60286 | UNCERTIFIED 61394 | UNCERTIFIED 61365 | UNCERTIFIED 377 | UNCERTIFIED 5882 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | UNCERTIFIED 2408 | NO 2264 | NO 2373 | UNCERTIFIED 83 | NO 153 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | UNCERTIFIED 2474 | NO 2203 | NO 2166 | UNCERTIFIED 84 | NO 157 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t000.xml | YES 8920 | YES 10800 | YES 4932 | UNCERTIFIED 2864 | YES 1168 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | YES 4250 | YES 3409 | YES 12976 | UNCERTIFIED 60169 | YES 860 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | YES 41047 | YES 2724 | YES 4059 | UNCERTIFIED 1148 | YES 498 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t005.xml | UNCERTIFIED 19000 | YES 13932 | UNCERTIFIED 9109 | UNCERTIFIED 10305 | YES 3102 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | UNCERTIFIED 60816 | UNCERTIFIED 60955 | UNCERTIFIED 37468 | UNCERTIFIED 60193 | YES 20057 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml | YES 2538 | YES 2392 | YES 2475 | YES 82 | YES 207 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | YES 2582 | YES 2562 | YES 2622 | YES 83 | YES 204 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | YES 4191 | YES 2840 | YES 3267 | UNCERTIFIED 309 | YES 442 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | YES 3273 | YES 2828 | UNCERTIFIED 3112 | UNCERTIFIED 1106 | YES 411 |
| tpdb-8.0/TRS/Mixed_TRS/5.xml | YES 2872 | YES 2543 | YES 2898 | UNCERTIFIED 203 | YES 285 |
| tpdb-8.0/TRS/Mixed_TRS/beans.xml | UNCERTIFIED 60880 | YES 3828 | UNCERTIFIED 61321 | UNCERTIFIED 4091 | UNCERTIFIED 59213 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | UNCERTIFIED 60377 | YES 5024 | YES 5690 | UNCERTIFIED 638 | YES 4130 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | YES 6688 | YES 4538 | YES 10605 | UNCERTIFIED 20022 | YES 2774 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | YES 3339 | YES 2498 | YES 2425 | YES 145 | YES 390 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | YES 2588 | YES 2505 | YES 2591 | UNCERTIFIED 193 | YES 187 |
| tpdb-8.0/TRS/Rubio_04/division.xml | YES 4470 | YES 3163 | YES 6114 | UNCERTIFIED 459 | YES 878 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | YES 3653 | YES 2385 | YES 2845 | YES 104 | YES 3300 |
| tpdb-8.0/TRS/Rubio_04/gm.xml | YES 3011 | YES 2588 | YES 4552 | UNCERTIFIED 293 | YES 472 |
| tpdb-8.0/TRS/Rubio_04/lescanne.xml | YES 3015 | YES 2739 | YES 2713 | UNCERTIFIED 271 | YES 204 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | YES 4362 | YES 2907 | YES 15089 | UNCERTIFIED 12289 | YES 660 |
| tpdb-8.0/TRS/Rubio_04/mfp90b.xml | YES 2173 | YES 2439 | YES 2274 | UNCERTIFIED 113 | YES 193 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | YES 2494 | YES 2126 | YES 2720 | YES 103 | YES 198 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | YES 3367 | YES 3014 | YES 20512 | YES 454 | YES 1521 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | YES 3756 | YES 2790 | YES 4404 | UNCERTIFIED 767 | YES 710 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | YES 2352 | YES 2550 | YES 2600 | UNCERTIFIED 318 | YES 247 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | UNCERTIFIED 60312 | UNCERTIFIED 61261 | UNCERTIFIED 61318 | UNCERTIFIED 565 | UNCERTIFIED 21771 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | UNCERTIFIED 60530 | UNCERTIFIED 21390 | UNCERTIFIED 61205 | UNCERTIFIED 1533 | UNCERTIFIED 4757 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | YES 46224 | YES 20859 | UNCERTIFIED 61241 | UNCERTIFIED 60195 | YES 13802 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml | YES 3121 | YES 2581 | UNCERTIFIED 2759 | UNCERTIFIED 212 | YES 336 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | UNCERTIFIED 60331 | UNCERTIFIED 61184 | UNCERTIFIED 7968 | UNCERTIFIED 1782 | UNCERTIFIED 59184 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | UNCERTIFIED 60789 | YES 3162 | UNCERTIFIED 15812 | UNCERTIFIED 2340 | YES 994 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | UNCERTIFIED 3352 | NO 2222 | NO 2279 | UNCERTIFIED 169 | NO 168 |
| tpdb-8.0/TRS/Secret_06_TRS/divExp.xml | UNCERTIFIED 34739 | UNCERTIFIED 25226 | UNCERTIFIED 25490 | UNCERTIFIED 1146 | UNCERTIFIED 846 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml | YES 4677 | YES 3629 | YES 16902 | UNCERTIFIED 1929 | YES 953 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-14.xml | YES 5104 | YES 4022 | YES 11123 | UNCERTIFIED 2058 | YES 1060 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | YES 4407 | YES 3626 | YES 3214 | UNCERTIFIED 740 | YES 3306 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml | YES 25419 | YES 15306 | YES 22380 | UNCERTIFIED 2209 | YES 1491 |
| tpdb-8.0/TRS/Secret_06_TRS/reverse.xml | UNCERTIFIED 25162 | YES 15828 | UNCERTIFIED 62363 | UNCERTIFIED 1546 | YES 1230 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | UNCERTIFIED 60804 | YES 29615 | UNCERTIFIED 61218 | UNCERTIFIED 60190 | YES 1959 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | UNCERTIFIED 60863 | UNCERTIFIED 61203 | UNCERTIFIED 61227 | UNCERTIFIED 60237 | UNCERTIFIED 59221 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml | UNCERTIFIED 60207 | UNCERTIFIED 4345 | UNCERTIFIED 3542 | UNCERTIFIED 215 | UNCERTIFIED 1771 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml | UNCERTIFIED 61042 | UNCERTIFIED 61197 | UNCERTIFIED 61196 | UNCERTIFIED 60213 | UNCERTIFIED 59233 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml | UNCERTIFIED 60882 | UNCERTIFIED 61487 | UNCERTIFIED 61187 | UNCERTIFIED 29679 | UNCERTIFIED 7884 |
| tpdb-8.0/TRS/Secret_07_TRS/1.xml | UNCERTIFIED 60258 | UNCERTIFIED 61109 | UNCERTIFIED 61331 | UNCERTIFIED 596 | UNCERTIFIED 59200 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | UNCERTIFIED 60348 | UNCERTIFIED 61096 | UNCERTIFIED 61136 | UNCERTIFIED 1015 | UNCERTIFIED 45138 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | UNCERTIFIED 42084 | UNCERTIFIED 61244 | UNCERTIFIED 61231 | UNCERTIFIED 1751 | UNCERTIFIED 59267 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | UNCERTIFIED 60556 | UNCERTIFIED 61261 | UNCERTIFIED 61207 | UNCERTIFIED 11689 | UNCERTIFIED 8233 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | UNCERTIFIED 60594 | UNCERTIFIED 61175 | UNCERTIFIED 62556 | UNCERTIFIED 1396 | UNCERTIFIED 59242 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | UNCERTIFIED 60634 | UNCERTIFIED 25152 | UNCERTIFIED 61385 | UNCERTIFIED 60170 | UNCERTIFIED 8997 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | YES 3380 | YES 3363 | YES 26037 | YES 458 | YES 2655 |
| tpdb-8.0/TRS/Secret_07_TRS/secret2.xml | YES 3108 | YES 4118 | UNCERTIFIED 8784 | YES 233 | YES 903 |
| tpdb-8.0/TRS/SK90/2.08.xml | YES 2648 | YES 2879 | YES 4315 | YES 120 | YES 539 |
| tpdb-8.0/TRS/SK90/2.12.xml | YES 2539 | YES 3184 | YES 3360 | YES 131 | YES 565 |
| tpdb-8.0/TRS/SK90/2.13.xml | YES 2186 | YES 2673 | YES 3269 | YES 106 | YES 260 |
| tpdb-8.0/TRS/SK90/2.24.xml | YES 2199 | YES 2415 | YES 2537 | YES 97 | YES 239 |
| tpdb-8.0/TRS/SK90/2.25.xml | YES 2263 | YES 2592 | YES 3701 | YES 114 | YES 481 |
| tpdb-8.0/TRS/SK90/2.30.xml | YES 2420 | YES 2142 | YES 2934 | YES 91 | YES 265 |
| tpdb-8.0/TRS/SK90/2.32.xml | YES 2583 | YES 2313 | YES 3057 | YES 116 | YES 272 |
| tpdb-8.0/TRS/SK90/2.33.xml | YES 2193 | YES 2591 | YES 2685 | YES 95 | YES 270 |
| tpdb-8.0/TRS/SK90/2.34.xml | YES 2290 | YES 2507 | YES 2708 | YES 96 | YES 295 |
| tpdb-8.0/TRS/SK90/2.37.xml | YES 2805 | YES 2427 | YES 2499 | UNCERTIFIED 220 | YES 188 |
| tpdb-8.0/TRS/SK90/2.45.xml | YES 3170 | YES 2494 | YES 7397 | YES 282 | YES 925 |
| tpdb-8.0/TRS/SK90/2.48.xml | YES 2334 | YES 2310 | YES 2259 | YES 91 | YES 291 |
| tpdb-8.0/TRS/SK90/2.53.xml | YES 2718 | YES 2612 | YES 2649 | YES 82 | YES 196 |
| tpdb-8.0/TRS/SK90/2.58.xml | YES 2573 | YES 2210 | YES 2705 | UNCERTIFIED 133 | YES 246 |
| tpdb-8.0/TRS/SK90/2.61.xml | YES 3151 | YES 2893 | YES 2447 | YES 225 | YES 397 |
| tpdb-8.0/TRS/SK90/4.04.xml | YES 2301 | YES 2554 | YES 2616 | YES 89 | YES 211 |
| tpdb-8.0/TRS/SK90/4.06.xml | UNCERTIFIED 60250 | NO 2153 | NO 2227 | UNCERTIFIED 263 | NO 176 |
| tpdb-8.0/TRS/SK90/4.10.xml | YES 2497 | YES 2653 | UNCERTIFIED 3983 | YES 102 | YES 421 |
| tpdb-8.0/TRS/SK90/4.11.xml | YES 2127 | YES 2723 | YES 2529 | YES 84 | YES 212 |
| tpdb-8.0/TRS/SK90/4.13.xml | YES 3591 | YES 2478 | YES 6228 | UNCERTIFIED 1257 | YES 466 |
| tpdb-8.0/TRS/SK90/4.14.xml | YES 2532 | YES 3288 | YES 3482 | YES 138 | YES 610 |
| tpdb-8.0/TRS/SK90/4.18.xml | YES 3167 | YES 2211 | YES 4608 | YES 135 | YES 365 |
| tpdb-8.0/TRS/SK90/4.20.xml | YES 2489 | YES 2555 | YES 3439 | YES 106 | YES 368 |
| tpdb-8.0/TRS/SK90/4.22.xml | YES 2309 | YES 2749 | YES 4205 | YES 104 | YES 448 |
| tpdb-8.0/TRS/SK90/4.25.xml | YES 2179 | YES 2434 | YES 2514 | YES 86 | YES 245 |
| tpdb-8.0/TRS/SK90/4.26.xml | YES 2471 | YES 2646 | YES 3399 | YES 110 | YES 392 |
| tpdb-8.0/TRS/SK90/4.27.xml | UNCERTIFIED 60280 | YES 2601 | YES 3817 | YES 141 | YES 3480 |
| tpdb-8.0/TRS/SK90/4.33.xml | YES 2138 | YES 2321 | YES 2260 | UNCERTIFIED 214 | YES 195 |
| tpdb-8.0/TRS/SK90/4.35.xml | YES 2250 | YES 2274 | YES 2364 | YES 73 | YES 621 |
| tpdb-8.0/TRS/SK90/4.39.xml | YES 2172 | YES 2567 | YES 2597 | UNCERTIFIED 287 | YES 197 |
| tpdb-8.0/TRS/SK90/4.40.xml | UNCERTIFIED 3923 | NO 2830 | NO 2918 | UNCERTIFIED 355 | NO 177 |
| tpdb-8.0/TRS/SK90/4.42.xml | UNCERTIFIED 60237 | YES 2498 | UNCERTIFIED 61280 | YES 123 | YES 389 |
| tpdb-8.0/TRS/SK90/4.44.xml | YES 2953 | YES 2506 | YES 2538 | UNCERTIFIED 154 | YES 1849 |
| tpdb-8.0/TRS/SK90/4.46.xml | YES 2428 | YES 2223 | YES 2418 | YES 69 | YES 1619 |
| tpdb-8.0/TRS/SK90/4.52.xml | YES 2413 | YES 2939 | YES 2681 | YES 115 | YES 434 |
| tpdb-8.0/TRS/SK90/4.55.xml | UNCERTIFIED 2328 | YES 2420 | YES 2597 | UNCERTIFIED 86 | UNCERTIFIED 247 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.12a.xml | UNCERTIFIED 2914 | NO 2417 | NO 2330 | UNCERTIFIED 111 | NO 177 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.13.xml | UNCERTIFIED 2384 | UNCERTIFIED 2009 | UNCERTIFIED 2989 | UNCERTIFIED 97 | UNCERTIFIED 308 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.18.xml | UNCERTIFIED 60851 | NO 2269 | NO 2209 | UNCERTIFIED 4671 | NO 173 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20.xml | YES 2804 | YES 2271 | YES 2429 | UNCERTIFIED 130 | YES 826 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.27.xml | YES 4338 | YES 2829 | YES 7666 | UNCERTIFIED 1823 | YES 615 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | UNCERTIFIED 60296 | UNCERTIFIED 61309 | UNCERTIFIED 61090 | UNCERTIFIED 483 | UNCERTIFIED 54539 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.32.xml | YES 3252 | YES 2610 | YES 3061 | YES 122 | YES 488 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.36.xml | YES 13718 | YES 4068 | YES 19452 | UNCERTIFIED 2745 | YES 1652 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.3.xml | UNCERTIFIED 2912 | NO 2212 | NO 2274 | UNCERTIFIED 98 | UNCERTIFIED 273 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.4.xml | UNCERTIFIED 3010 | NO 2154 | NO 2209 | UNCERTIFIED 114 | NO 173 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml | UNCERTIFIED 3265 | NO 2152 | NO 2148 | UNCERTIFIED 156 | NO 158 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GL02a.xml | UNCERTIFIED 60269 | NO 2154 | NO 2216 | UNCERTIFIED 258 | NO 164 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml | UNCERTIFIED 60234 | NO 2100 | NO 2161 | UNCERTIFIED 223 | NO 158 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml | UNCERTIFIED 3090 | NO 2116 | NO 2155 | UNCERTIFIED 156 | NO 154 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml | UNCERTIFIED 2317 | NO 2200 | NO 2203 | UNCERTIFIED 82 | NO 154 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml | YES 4641 | YES 2932 | YES 7320 | UNCERTIFIED 1958 | YES 1022 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_7_Luc97.xml | UNCERTIFIED 60304 | NO 2262 | NO 2278 | UNCERTIFIED 551 | NO 180 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml | UNCERTIFIED 2308 | NO 2233 | NO 2211 | UNCERTIFIED 85 | NO 157 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_Luc98.xml | UNCERTIFIED 3265 | NO 2115 | NO 2154 | UNCERTIFIED 195 | NO 155 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExConc_Zan97.xml | UNCERTIFIED 2903 | NO 2273 | NO 2205 | UNCERTIFIED 90 | NO 150 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_Zan97.xml | UNCERTIFIED 60276 | NO 2209 | NO 2261 | UNCERTIFIED 858 | NO 165 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml | UNCERTIFIED 3027 | NO 2161 | NO 2154 | UNCERTIFIED 137 | NO 152 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | UNCERTIFIED 3168 | NO 2267 | NO 2259 | UNCERTIFIED 110 | NO 169 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml | UNCERTIFIED 9494 | NO 2201 | NO 2262 | UNCERTIFIED 630 | NO 175 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/n001.xml | UNCERTIFIED 60269 | NO 2232 | NO 2222 | UNCERTIFIED 505 | NO 179 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | UNCERTIFIED 2954 | NO 2498 | NO 2487 | UNCERTIFIED 137 | NO 181 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml | UNCERTIFIED 4859 | UNCERTIFIED 8130 | UNCERTIFIED 12812 | UNCERTIFIED 210 | UNCERTIFIED 1458 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test77.xml | UNCERTIFIED 4255 | UNCERTIFIED 3341 | UNCERTIFIED 15337 | UNCERTIFIED 204 | UNCERTIFIED 1435 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml | UNCERTIFIED 3055 | NO 2556 | NO 2513 | UNCERTIFIED 130 | NO 185 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/toyama.xml | UNCERTIFIED 2401 | NO 2153 | NO 2258 | UNCERTIFIED 89 | UNCERTIFIED 299 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_C.xml | YES 15811 | YES 8714 | YES 23455 | UNCERTIFIED 1035 | YES 5094 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_FR.xml | UNCERTIFIED 3174 | UNCERTIFIED 5388 | UNCERTIFIED 7337 | UNCERTIFIED 141 | NO 180 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml | YES 3593 | YES 2482 | YES 2813 | YES 106 | YES 1185 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_iGM.xml | YES 5229 | YES 3047 | YES 3612 | UNCERTIFIED 1477 | YES 3403 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_FR.xml | UNCERTIFIED 60417 | YES 5695 | YES 10789 | UNCERTIFIED 1116 | YES 2004 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_GM.xml | YES 5953 | YES 3304 | YES 6153 | UNCERTIFIED 797 | YES 493 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | UNCERTIFIED 3275 | YES 2492 | YES 2784 | YES 104 | YES 818 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_C.xml | YES 19364 | YES 10022 | YES 29306 | UNCERTIFIED 1778 | YES 7099 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_Z.xml | UNCERTIFIED 60368 | UNCERTIFIED 61373 | UNCERTIFIED 61370 | UNCERTIFIED 671 | UNCERTIFIED 59243 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_L.xml | UNCERTIFIED 1603 | NO 2221 | NO 2211 | UNCERTIFIED 68 | NO 151 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml | UNCERTIFIED 1103 | UNCERTIFIED 1142 | UNCERTIFIED 1165 | UNCERTIFIED 58 | NO 160 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml | UNCERTIFIED 1101 | UNCERTIFIED 1155 | UNCERTIFIED 1143 | UNCERTIFIED 55 | NO 161 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml | YES 2592 | YES 2319 | YES 2264 | UNCERTIFIED 149 | YES 239 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_iGM.xml | UNCERTIFIED 4370 | YES 2749 | YES 2983 | UNCERTIFIED 335 | YES 2346 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_L.xml | UNCERTIFIED 1572 | NO 2156 | NO 2228 | UNCERTIFIED 78 | NO 165 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_Z.xml | UNCERTIFIED 3807 | UNCERTIFIED 5712 | UNCERTIFIED 12297 | UNCERTIFIED 206 | NO 763 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml | UNCERTIFIED 60583 | UNCERTIFIED 61922 | UNCERTIFIED 25755 | UNCERTIFIED 1910 | UNCERTIFIED 59239 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml | YES 22598 | UNCERTIFIED 61321 | UNCERTIFIED 41079 | UNCERTIFIED 3680 | YES 4474 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_Z.xml | UNCERTIFIED 5745 | YES 2730 | YES 5856 | UNCERTIFIED 642 | YES 529 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml | YES 14958 | YES 9868 | YES 32795 | UNCERTIFIED 2986 | YES 4331 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml | YES 4819 | YES 4108 | YES 4372 | UNCERTIFIED 936 | YES 1096 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml | UNCERTIFIED 60859 | UNCERTIFIED 61377 | UNCERTIFIED 61184 | UNCERTIFIED 4036 | UNCERTIFIED 59478 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml | UNCERTIFIED 10319 | YES 4571 | YES 5167 | UNCERTIFIED 534 | YES 2076 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml | UNCERTIFIED 6959 | YES 4215 | YES 5809 | UNCERTIFIED 671 | YES 2304 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_C.xml | UNCERTIFIED 60526 | UNCERTIFIED 61281 | UNCERTIFIED 61859 | UNCERTIFIED 1608 | UNCERTIFIED 59316 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml | UNCERTIFIED 60842 | YES 21414 | UNCERTIFIED 61074 | UNCERTIFIED 8407 | YES 4679 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_Z.xml | UNCERTIFIED 60429 | NO 2322 | NO 2315 | UNCERTIFIED 1231 | NO 210 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml | UNCERTIFIED 60717 | YES 14922 | UNCERTIFIED 61063 | UNCERTIFIED 2310 | YES 5107 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_FR.xml | UNCERTIFIED 51850 | NO 2271 | NO 2259 | UNCERTIFIED 191 | NO 169 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml | YES 4315 | YES 2540 | YES 2886 | UNCERTIFIED 521 | YES 2948 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml | YES 3654 | YES 2544 | YES 3673 | YES 126 | YES 351 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_FR.xml | UNCERTIFIED 2464 | NO 2222 | NO 2275 | UNCERTIFIED 98 | NO 175 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml | UNCERTIFIED 60235 | UNCERTIFIED 61271 | UNCERTIFIED 61166 | UNCERTIFIED 233 | UNCERTIFIED 45120 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_L.xml | UNCERTIFIED 2147 | NO 2208 | NO 2175 | UNCERTIFIED 77 | NO 162 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml | YES 3452 | YES 2643 | YES 2992 | UNCERTIFIED 225 | YES 284 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml | YES 2184 | YES 2722 | YES 2768 | YES 183 | YES 311 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_iGM.xml | YES 5135 | YES 4001 | YES 4740 | UNCERTIFIED 759 | YES 1742 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_FR.xml | UNCERTIFIED 60359 | NO 12659 | NO 12785 | UNCERTIFIED 789 | NO 607 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | UNCERTIFIED 1071 | UNCERTIFIED 1150 | UNCERTIFIED 1145 | UNCERTIFIED 57 | NO 161 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_FR.xml | UNCERTIFIED 60452 | NO 11584 | NO 12968 | UNCERTIFIED 942 | NO 51148 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml | UNCERTIFIED 1106 | UNCERTIFIED 1155 | UNCERTIFIED 1151 | UNCERTIFIED 59 | NO 166 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml | YES 14024 | YES 8134 | YES 22316 | UNCERTIFIED 1900 | YES 4837 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml | UNCERTIFIED 60626 | UNCERTIFIED 61116 | UNCERTIFIED 62021 | UNCERTIFIED 2447 | UNCERTIFIED 59255 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml | UNCERTIFIED 61250 | YES 50733 | UNCERTIFIED 61063 | UNCERTIFIED 13835 | YES 51215 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml | UNCERTIFIED 60449 | UNCERTIFIED 61251 | UNCERTIFIED 61805 | UNCERTIFIED 943 | UNCERTIFIED 59283 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml | UNCERTIFIED 60235 | NO 2216 | NO 2271 | UNCERTIFIED 203 | NO 176 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml | UNCERTIFIED 60649 | UNCERTIFIED 61307 | UNCERTIFIED 61427 | UNCERTIFIED 1294 | UNCERTIFIED 59317 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml | UNCERTIFIED 1100 | UNCERTIFIED 1169 | UNCERTIFIED 1183 | UNCERTIFIED 55 | NO 164 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml | UNCERTIFIED 61227 | UNCERTIFIED 61432 | UNCERTIFIED 61306 | UNCERTIFIED 22956 | UNCERTIFIED 59780 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml | UNCERTIFIED 60821 | UNCERTIFIED 61306 | UNCERTIFIED 61364 | UNCERTIFIED 7118 | UNCERTIFIED 59295 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_FR.xml | UNCERTIFIED 60280 | NO 2311 | NO 2385 | UNCERTIFIED 445 | NO 185 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml | UNCERTIFIED 60982 | YES 16859 | UNCERTIFIED 61261 | UNCERTIFIED 18898 | YES 11307 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_Z.xml | YES 4584 | YES 12841 | UNCERTIFIED 61150 | UNCERTIFIED 16447 | YES 10083 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml | UNCERTIFIED 60939 | YES 22416 | YES 14498 | UNCERTIFIED 5998 | YES 2054 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_Z.xml | UNCERTIFIED 15799 | YES 7808 | YES 47475 | UNCERTIFIED 23895 | YES 6935 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml | YES 6741 | YES 4351 | YES 27871 | UNCERTIFIED 1423 | YES 2638 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml | UNCERTIFIED 1101 | UNCERTIFIED 1142 | UNCERTIFIED 1159 | UNCERTIFIED 57 | NO 151 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_C.xml | YES 16848 | YES 8880 | UNCERTIFIED 8819 | UNCERTIFIED 1241 | YES 2119 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml | YES 3371 | YES 2590 | YES 2955 | UNCERTIFIED 307 | YES 405 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml | UNCERTIFIED 1097 | UNCERTIFIED 1150 | UNCERTIFIED 1153 | UNCERTIFIED 55 | NO 156 |
| tpdb-8.0/TRS/Various_04/06.xml | YES 2471 | YES 2791 | YES 2763 | YES 81 | YES 221 |
| tpdb-8.0/TRS/Various_04/10.xml | UNCERTIFIED 9254 | YES 4044 | YES 14763 | UNCERTIFIED 4161 | YES 1642 |
| tpdb-8.0/TRS/Various_04/11.xml | UNCERTIFIED 3635 | UNCERTIFIED 5938 | UNCERTIFIED 10654 | UNCERTIFIED 161 | UNCERTIFIED 732 |
| tpdb-8.0/TRS/Various_04/12.xml | YES 5609 | YES 3174 | YES 3014 | UNCERTIFIED 619 | YES 1090 |
| tpdb-8.0/TRS/Various_04/15.xml | UNCERTIFIED 60433 | YES 2650 | UNCERTIFIED 60687 | UNCERTIFIED 913 | YES 1482 |
| tpdb-8.0/TRS/Various_04/19.xml | YES 3685 | YES 3061 | YES 3692 | UNCERTIFIED 874 | YES 636 |
| tpdb-8.0/TRS/Various_04/21.xml | YES 3524 | YES 4591 | YES 4704 | UNCERTIFIED 1755 | YES 559 |
| tpdb-8.0/TRS/Various_04/23.xml | YES 3028 | YES 2706 | YES 2859 | UNCERTIFIED 233 | YES 304 |
| tpdb-8.0/TRS/Various_04/26.xml | UNCERTIFIED 3299 | YES 2487 | YES 2994 | UNCERTIFIED 378 | YES 371 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | UNCERTIFIED 60301 | UNCERTIFIED 61347 | UNCERTIFIED 5398 | UNCERTIFIED 402 | UNCERTIFIED 59190 |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | UNCERTIFIED 60593 | UNCERTIFIED 61169 | UNCERTIFIED 5541 | UNCERTIFIED 667 | UNCERTIFIED 31957 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | YES 3242 | YES 4886 | YES 3502 | UNCERTIFIED 292 | YES 541 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | YES 3209 | YES 4720 | YES 3397 | UNCERTIFIED 296 | YES 639 |
| tpdb-8.0/TRS/Waldmann_06/jwno4.xml | UNCERTIFIED 60245 | NO 2275 | NO 2379 | UNCERTIFIED 708 | NO 185 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla1.xml | UNCERTIFIED 60455 | UNCERTIFIED 61066 | UNCERTIFIED 61170 | UNCERTIFIED 2960 | UNCERTIFIED 6151 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml | UNCERTIFIED 60466 | UNCERTIFIED 61252 | UNCERTIFIED 61110 | UNCERTIFIED 2738 | UNCERTIFIED 12277 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml | UNCERTIFIED 60686 | UNCERTIFIED 61225 | UNCERTIFIED 51529 | UNCERTIFIED 6586 | UNCERTIFIED 4630 |
| tpdb-8.0/TRS/Zantema_05/jw02.xml | YES 3227 | YES 3165 | UNCERTIFIED 2938 | UNCERTIFIED 556 | YES 445 |
| tpdb-8.0/TRS/Zantema_05/jw04.xml | YES 3069 | YES 2609 | UNCERTIFIED 2663 | UNCERTIFIED 629 | YES 352 |
| tpdb-8.0/TRS/Zantema_05/jw06.xml | YES 3168 | YES 2607 | UNCERTIFIED 2662 | UNCERTIFIED 466 | YES 625 |
| tpdb-8.0/TRS/Zantema_05/jw12.xml | YES 4064 | YES 2428 | UNCERTIFIED 2710 | UNCERTIFIED 923 | YES 373 |
| tpdb-8.0/TRS/Zantema_05/jw13.xml | YES 3417 | YES 2593 | UNCERTIFIED 3761 | UNCERTIFIED 926 | YES 424 |
| tpdb-8.0/TRS/Zantema_05/jw16.xml | YES 3190 | YES 2564 | UNCERTIFIED 2764 | UNCERTIFIED 2206 | YES 569 |
| tpdb-8.0/TRS/Zantema_05/jw17.xml | YES 3451 | YES 2727 | UNCERTIFIED 3545 | UNCERTIFIED 2618 | YES 500 |
| tpdb-8.0/TRS/Zantema_05/jw19.xml | YES 3640 | YES 3005 | UNCERTIFIED 3620 | UNCERTIFIED 840 | YES 539 |
| tpdb-8.0/TRS/Zantema_05/jw31.xml | YES 3106 | YES 2571 | UNCERTIFIED 2727 | UNCERTIFIED 792 | YES 359 |
| tpdb-8.0/TRS/Zantema_05/jw33.xml | YES 3221 | YES 2723 | UNCERTIFIED 2740 | UNCERTIFIED 2146 | YES 503 |
| tpdb-8.0/TRS/Zantema_05/jw38.xml | YES 3953 | YES 2506 | UNCERTIFIED 2808 | UNCERTIFIED 937 | YES 411 |
| tpdb-8.0/TRS/Zantema_05/jw42.xml | YES 3486 | YES 2524 | UNCERTIFIED 3859 | UNCERTIFIED 2607 | YES 461 |
| tpdb-8.0/TRS/Zantema_05/jw43.xml | YES 3275 | YES 2428 | YES 2596 | UNCERTIFIED 1165 | YES 1062 |
| tpdb-8.0/TRS/Zantema_05/jw47.xml | YES 2181 | YES 2439 | UNCERTIFIED 2447 | YES 90 | YES 202 |
| tpdb-8.0/TRS/Zantema_05/jw50.xml | YES 3167 | YES 2431 | YES 2593 | UNCERTIFIED 1031 | YES 1138 |
| tpdb-8.0/TRS/Zantema_05/z01.xml | UNCERTIFIED 60727 | UNCERTIFIED 61173 | UNCERTIFIED 61133 | UNCERTIFIED 9384 | UNCERTIFIED 14722 |
| tpdb-8.0/TRS/Zantema_05/z02.xml | UNCERTIFIED 4303 | UNCERTIFIED 61229 | UNCERTIFIED 5293 | UNCERTIFIED 472 | UNCERTIFIED 2911 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | UNCERTIFIED 24348 | UNCERTIFIED 20561 | UNCERTIFIED 61370 | UNCERTIFIED 1154 | UNCERTIFIED 5864 |
| tpdb-8.0/TRS/Zantema_05/z11.xml | UNCERTIFIED 60695 | YES 3043 | UNCERTIFIED 61260 | UNCERTIFIED 3410 | UNCERTIFIED 3020 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | UNCERTIFIED 61045 | UNCERTIFIED 61070 | UNCERTIFIED 61698 | UNCERTIFIED 35802 | UNCERTIFIED 59189 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | UNCERTIFIED 60313 | UNCERTIFIED 61196 | UNCERTIFIED 62173 | UNCERTIFIED 764 | UNCERTIFIED 59192 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | UNCERTIFIED 60233 | YES 14857 | YES 11017 | UNCERTIFIED 298 | UNCERTIFIED 28564 | 149 | 259 | 189 | 55 | 264 |