| benchmark | AProVE-A3PAT | AProVE-CeTA | TTT2Cert |
|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.12.xml | UNCERTIFIED 2694 | YES 2982 | YES 1656 |
| tpdb-8.0/TRS/AG01/#3.19.xml | UNCERTIFIED 4827 | YES 3290 | YES 2327 |
| tpdb-8.0/TRS/AG01/#3.23.xml | UNCERTIFIED 2631 | YES 2590 | YES 702 |
| tpdb-8.0/TRS/AG01/#3.29.xml | UNCERTIFIED 2292 | YES 2309 | YES 463 |
| tpdb-8.0/TRS/AG01/#3.35.xml | UNCERTIFIED 2410 | YES 2474 | YES 659 |
| tpdb-8.0/TRS/AG01/#3.36.xml | UNCERTIFIED 2591 | YES 2907 | YES 997 |
| tpdb-8.0/TRS/AG01/#3.41.xml | UNCERTIFIED 2869 | YES 3003 | YES 954 |
| tpdb-8.0/TRS/AG01/#3.47.xml | UNCERTIFIED 2499 | YES 2862 | YES 706 |
| tpdb-8.0/TRS/AG01/#3.52.xml | UNCERTIFIED 2657 | YES 2652 | YES 780 |
| tpdb-8.0/TRS/AG01/#3.53.xml | UNCERTIFIED 5379 | YES 4370 | YES 4409 |
| tpdb-8.0/TRS/AG01/#3.54.xml | UNCERTIFIED 2672 | YES 2624 | YES 898 |
| tpdb-8.0/TRS/AG01/#3.5b.xml | UNCERTIFIED 4821 | YES 4102 | YES 1946 |
| tpdb-8.0/TRS/AG01/#3.5.xml | UNCERTIFIED 4525 | YES 3512 | YES 1632 |
| tpdb-8.0/TRS/AG01/#3.6a.xml | UNCERTIFIED 3865 | YES 3715 | YES 1901 |
| tpdb-8.0/TRS/AG01/#3.6b.xml | UNCERTIFIED 5015 | YES 3816 | YES 2436 |
| tpdb-8.0/TRS/AotoYamada_05/002.xml | UNCERTIFIED 5686 | YES 4020 | YES 1352 |
| tpdb-8.0/TRS/AotoYamada_05/006.xml | MISSING | YES 4019 | YES 1348 |
| tpdb-8.0/TRS/AotoYamada_05/009.xml | UNCERTIFIED 4049 | YES 3753 | YES 1499 |
| tpdb-8.0/TRS/AotoYamada_05/010.xml | MISSING | YES 5933 | UNCERTIFIED 18945 |
| tpdb-8.0/TRS/AotoYamada_05/016.xml | UNCERTIFIED 11412 | YES 4571 | YES 1701 |
| tpdb-8.0/TRS/AotoYamada_05/021.xml | MISSING | YES 6125 | YES 1937 |
| tpdb-8.0/TRS/AotoYamada_05/022.xml | MISSING | YES 3690 | YES 1254 |
| tpdb-8.0/TRS/AotoYamada_05/024.xml | UNCERTIFIED 3207 | YES 3037 | YES 1054 |
| tpdb-8.0/TRS/AotoYamada_05/025.xml | UNCERTIFIED 2125 | YES 2312 | YES 449 |
| tpdb-8.0/TRS/AotoYamada_05/028.xml | MISSING | YES 3644 | YES 1426 |
| tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml | UNCERTIFIED 2143 | YES 2299 | YES 513 |
| tpdb-8.0/TRS/Applicative_05/Ex6_11.xml | UNCERTIFIED 5956 | YES 3672 | YES 4499 |
| tpdb-8.0/TRS/Applicative_05/Ex8Polymorphic.xml | MISSING | YES 3803 | YES 1556 |
| tpdb-8.0/TRS/Applicative_05/Ex9Maps.xml | MISSING | YES 8364 | UNCERTIFIED 38194 |
| tpdb-8.0/TRS/Applicative_05/Hamming.xml | MISSING | NO 9444 | NO 553 |
| tpdb-8.0/TRS/Applicative_05/termMonTypes.xml | MISSING | NO 2926 | NO 432 |
| tpdb-8.0/TRS/Applicative_05/TypeEx3.xml | MISSING | NO 3444 | NO 350 |
| tpdb-8.0/TRS/Applicative_first_order_05/13.xml | MISSING | YES 8545 | UNCERTIFIED 10305 |
| tpdb-8.0/TRS/Applicative_first_order_05/17.xml | MISSING | YES 6721 | YES 2585 |
| tpdb-8.0/TRS/Applicative_first_order_05/30.xml | MISSING | YES 6981 | YES 3081 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.16.xml | MISSING | YES 7001 | YES 2623 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.18.xml | MISSING | YES 7409 | UNCERTIFIED 11505 |
| tpdb-8.0/TRS/Applicative_first_order_05/31.xml | MISSING | YES 6480 | UNCERTIFIED 14900 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.45.xml | MISSING | YES 6655 | YES 2916 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.52.xml | MISSING | YES 6245 | YES 2269 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.57.xml | MISSING | YES 13137 | UNCERTIFIED 11746 |
| tpdb-8.0/TRS/Applicative_first_order_05/motivation.xml | MISSING | YES 5818 | YES 2559 |
| tpdb-8.0/TRS/AProVE_04/AAECC.xml | MISSING | UNCERTIFIED 61292 | UNCERTIFIED 57304 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation.xml | MISSING | YES 2722 | UNCERTIFIED 741 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml | MISSING | YES 3924 | YES 1912 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml | UNCERTIFIED 8968 | YES 5312 | YES 8853 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | UNCERTIFIED 3119 | YES 4052 | YES 1799 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | UNCERTIFIED 3145 | YES 3043 | YES 2167 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | UNCERTIFIED 3746 | YES 25655 | YES 4744 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | MISSING | YES 32742 | UNCERTIFIED 59451 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | MISSING | YES 24245 | YES 4168 |
| tpdb-8.0/TRS/AProVE_04/rta2.xml | UNCERTIFIED 2302 | YES 2356 | YES 565 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | MISSING | UNCERTIFIED 62452 | UNCERTIFIED 59449 |
| tpdb-8.0/TRS/AProVE_06/factorial2.xml | MISSING | UNCERTIFIED 61130 | UNCERTIFIED 16724 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | MISSING | YES 4087 | UNCERTIFIED 59423 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | MISSING | UNCERTIFIED 60879 | UNCERTIFIED 59461 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | MISSING | UNCERTIFIED 61329 | UNCERTIFIED 6657 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MISSING | UNCERTIFIED 61196 | NO 464 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | MISSING | YES 7094 | YES 7287 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | MISSING | YES 3221 | YES 1171 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | MISSING | UNCERTIFIED 60734 | UNCERTIFIED 24077 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | MISSING | YES 4213 | YES 3822 |
| tpdb-8.0/TRS/AProVE_07/kabasci05.xml | MISSING | YES 4833 | YES 6924 |
| tpdb-8.0/TRS/AProVE_07/kabasci06.xml | MISSING | UNCERTIFIED 60735 | UNCERTIFIED 59454 |
| tpdb-8.0/TRS/AProVE_07/otto02.xml | MISSING | UNCERTIFIED 60941 | UNCERTIFIED 20718 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | MISSING | UNCERTIFIED 61127 | UNCERTIFIED 18176 |
| tpdb-8.0/TRS/AProVE_07/otto12.xml | MISSING | UNCERTIFIED 61186 | UNCERTIFIED 22417 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | MISSING | UNCERTIFIED 60975 | UNCERTIFIED 8770 |
| tpdb-8.0/TRS/AProVE_07/thiemann02.xml | MISSING | UNCERTIFIED 61097 | UNCERTIFIED 46427 |
| tpdb-8.0/TRS/AProVE_07/thiemann09.xml | MISSING | YES 4351 | UNCERTIFIED 22892 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | MISSING | YES 3659 | YES 2287 |
| tpdb-8.0/TRS/AProVE_07/thiemann19.xml | MISSING | UNCERTIFIED 60779 | UNCERTIFIED 26074 |
| tpdb-8.0/TRS/AProVE_07/thiemann28.xml | MISSING | UNCERTIFIED 60955 | UNCERTIFIED 59409 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | MISSING | UNCERTIFIED 60949 | UNCERTIFIED 26670 |
| tpdb-8.0/TRS/AProVE_07/thiemann32.xml | MISSING | UNCERTIFIED 61298 | UNCERTIFIED 59442 |
| tpdb-8.0/TRS/AProVE_07/thiemann34.xml | MISSING | UNCERTIFIED 61140 | UNCERTIFIED 27210 |
| tpdb-8.0/TRS/AProVE_07/thiemann39.xml | MISSING | UNCERTIFIED 60792 | UNCERTIFIED 44809 |
| tpdb-8.0/TRS/AProVE_07/thiemann40.xml | MISSING | YES 3094 | YES 1035 |
| tpdb-8.0/TRS/AProVE_07/thiemann41.xml | MISSING | UNCERTIFIED 60936 | UNCERTIFIED 18641 |
| tpdb-8.0/TRS/AProVE_07/wiehe01.xml | MISSING | YES 8744 | YES 4741 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | MISSING | YES 10205 | YES 7803 |
| tpdb-8.0/TRS/AProVE_07/wiehe03.xml | MISSING | YES 11255 | YES 7814 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | MISSING | YES 9346 | YES 6873 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | MISSING | YES 4784 | YES 6139 |
| tpdb-8.0/TRS/AProVE_08/log.xml | MISSING | UNCERTIFIED 62067 | UNCERTIFIED 59415 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | MISSING | UNCERTIFIED 60927 | UNCERTIFIED 53767 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | MISSING | UNCERTIFIED 61151 | UNCERTIFIED 53903 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | MISSING | UNCERTIFIED 61182 | UNCERTIFIED 43622 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | MISSING | UNCERTIFIED 61169 | UNCERTIFIED 59443 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | MISSING | UNCERTIFIED 60998 | UNCERTIFIED 51431 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MISSING | NO 3387 | NO 431 |
| tpdb-8.0/TRS/AProVE_08/round.xml | MISSING | UNCERTIFIED 4679 | UNCERTIFIED 8100 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | MISSING | YES 14079 | YES 2012 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | MISSING | UNCERTIFIED 61002 | UNCERTIFIED 21121 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | MISSING | UNCERTIFIED 61010 | UNCERTIFIED 12071 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | MISSING | UNCERTIFIED 61246 | UNCERTIFIED 29040 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | MISSING | UNCERTIFIED 61124 | UNCERTIFIED 59431 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | MISSING | UNCERTIFIED 62326 | UNCERTIFIED 32520 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | MISSING | UNCERTIFIED 61099 | UNCERTIFIED 16289 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsortlast.xml | MISSING | UNCERTIFIED 61282 | UNCERTIFIED 59445 |
| tpdb-8.0/TRS/AProVE_09_Inductive/zerolist.xml | MISSING | UNCERTIFIED 60698 | UNCERTIFIED 3706 |
| tpdb-8.0/TRS/AProVE_10/ex5.xml | UNCERTIFIED 2173 | YES 2266 | YES 569 |
| tpdb-8.0/TRS/AProVE_10/isList.xml | MISSING | NO 2741 | NO 433 |
| tpdb-8.0/TRS/AProVE_10/scnp.xml | UNCERTIFIED 2286 | YES 2460 | YES 594 |
| tpdb-8.0/TRS/Beerendonk_07/10.xml | MISSING | YES 4616 | YES 2455 |
| tpdb-8.0/TRS/Beerendonk_07/12.xml | MISSING | UNCERTIFIED 60955 | UNCERTIFIED 15292 |
| tpdb-8.0/TRS/Beerendonk_07/13.xml | MISSING | UNCERTIFIED 60877 | UNCERTIFIED 10859 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | MISSING | YES 3263 | YES 1130 |
| tpdb-8.0/TRS/Beerendonk_07/23.xml | MISSING | YES 4719 | YES 1786 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | MISSING | UNCERTIFIED 61326 | UNCERTIFIED 59443 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | MISSING | UNCERTIFIED 60804 | UNCERTIFIED 5280 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | MISSING | UNCERTIFIED 61164 | UNCERTIFIED 2291 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | MISSING | YES 3793 | YES 1872 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | MISSING | YES 2941 | YES 1195 |
| tpdb-8.0/TRS/Beerendonk_07/7.xml | MISSING | YES 3183 | YES 1472 |
| tpdb-8.0/TRS/CiME_04/big.xml | MISSING | YES 11507 | YES 9756 |
| tpdb-8.0/TRS/CiME_04/boolean_rings.xml | UNCERTIFIED 2747 | YES 2801 | YES 1117 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | UNCERTIFIED 2983 | YES 2438 | YES 1453 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | UNCERTIFIED 3067 | YES 3725 | YES 4943 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | UNCERTIFIED 2486 | YES 3005 | YES 3359 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml | UNCERTIFIED 7708 | YES 4460 | YES 3437 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml | UNCERTIFIED 6958 | YES 4212 | YES 3244 |
| tpdb-8.0/TRS/CiME_04/lse.xml | UNCERTIFIED 13947 | YES 4691 | YES 6088 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | MISSING | YES 21010 | YES 9050 |
| tpdb-8.0/TRS/CiME_04/tree.xml | MISSING | YES 10154 | YES 9014 |
| tpdb-8.0/TRS/Der95/03.xml | UNCERTIFIED 2105 | YES 2265 | YES 483 |
| tpdb-8.0/TRS/Der95/06.xml | UNCERTIFIED 2166 | YES 2527 | YES 735 |
| tpdb-8.0/TRS/Der95/07.xml | UNCERTIFIED 2225 | YES 2513 | YES 848 |
| tpdb-8.0/TRS/Der95/09.xml | UNCERTIFIED 2157 | YES 2436 | YES 512 |
| tpdb-8.0/TRS/Der95/12.xml | UNCERTIFIED 2292 | YES 2639 | YES 1767 |
| tpdb-8.0/TRS/Der95/17.xml | UNCERTIFIED 2251 | YES 2717 | YES 1079 |
| tpdb-8.0/TRS/Der95/28.xml | UNCERTIFIED 2219 | YES 2369 | YES 946 |
| tpdb-8.0/TRS/Der95/30.xml | UNCERTIFIED 2354 | YES 2440 | YES 1423 |
| tpdb-8.0/TRS/Der95/31.xml | UNCERTIFIED 3490 | YES 3005 | YES 1297 |
| tpdb-8.0/TRS/Der95/32.xml | UNCERTIFIED 4731 | YES 3326 | YES 1545 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | UNCERTIFIED 3072 | YES 3083 | YES 854 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | MISSING | YES 6858 | UNCERTIFIED 3371 |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | MISSING | YES 4599 | YES 1754 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | MISSING | YES 9740 | YES 8080 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | UNCERTIFIED 2319 | YES 2589 | YES 2135 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml | UNCERTIFIED 3273 | YES 3414 | UNCERTIFIED 28078 |
| tpdb-8.0/TRS/Endrullis_06/pair3hard.xml | MISSING | YES 8359 | UNCERTIFIED 59391 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | MISSING | YES 8044 | YES 6571 |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | MISSING | YES 12474 | YES 6650 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | MISSING | YES 9181 | YES 5779 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | UNCERTIFIED 2791 | YES 3244 | YES 739 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | MISSING | UNCERTIFIED 61156 | UNCERTIFIED 18763 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | MISSING | UNCERTIFIED 61519 | UNCERTIFIED 59433 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | MISSING | UNCERTIFIED 61746 | UNCERTIFIED 59398 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | MISSING | UNCERTIFIED 60745 | UNCERTIFIED 19790 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | MISSING | UNCERTIFIED 60920 | UNCERTIFIED 7851 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | MISSING | UNCERTIFIED 60995 | UNCERTIFIED 30614 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | MISSING | UNCERTIFIED 61091 | UNCERTIFIED 47791 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | MISSING | UNCERTIFIED 61051 | UNCERTIFIED 21435 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MISSING | NO 2225 | NO 332 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml | MISSING | NO 2244 | NO 338 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n008.xml | MISSING | NO 2224 | NO 341 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | UNCERTIFIED 6355 | YES 4628 | YES 3345 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | UNCERTIFIED 4052 | YES 3964 | YES 2383 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | UNCERTIFIED 49659 | YES 2711 | YES 1524 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t005.xml | UNCERTIFIED 16488 | YES 18639 | YES 5708 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml | UNCERTIFIED 2409 | YES 2462 | YES 569 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | MISSING | UNCERTIFIED 61068 | YES 47414 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml | UNCERTIFIED 2586 | YES 2404 | YES 523 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | UNCERTIFIED 2594 | YES 2948 | YES 1727 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | UNCERTIFIED 3303 | YES 2962 | YES 1245 |
| tpdb-8.0/TRS/Mixed_TRS/3.xml | MISSING | YES 3158 | YES 794 |
| tpdb-8.0/TRS/Mixed_TRS/4.xml | MISSING | YES 3049 | YES 970 |
| tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml | MISSING | UNCERTIFIED 60807 | UNCERTIFIED 38321 |
| tpdb-8.0/TRS/Mixed_TRS/gcd.xml | UNCERTIFIED 5066 | YES 3944 | YES 6155 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | UNCERTIFIED 3298 | YES 2767 | YES 1083 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | UNCERTIFIED 2184 | YES 2431 | YES 478 |
| tpdb-8.0/TRS/Mixed_TRS/jones5.xml | UNCERTIFIED 2263 | YES 2549 | YES 632 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | UNCERTIFIED 2262 | YES 2533 | YES 995 |
| tpdb-8.0/TRS/Mixed_TRS/perfect2.xml | UNCERTIFIED 4737 | YES 4271 | YES 2434 |
| tpdb-8.0/TRS/MNZ_10/0.xml | MISSING | UNCERTIFIED 60920 | YES 20611 |
| tpdb-8.0/TRS/MNZ_10/2.xml | UNCERTIFIED 17455 | YES 43722 | YES 6097 |
| tpdb-8.0/TRS/MNZ_10/3.xml | UNCERTIFIED 22493 | UNCERTIFIED 60770 | YES 7952 |
| tpdb-8.0/TRS/MNZ_10/4.xml | MISSING | UNCERTIFIED 60904 | UNCERTIFIED 59460 |
| tpdb-8.0/TRS/MNZ_10/5.xml | MISSING | UNCERTIFIED 60912 | UNCERTIFIED 59716 |
| tpdb-8.0/TRS/MNZ_10/7.xml | MISSING | UNCERTIFIED 60946 | YES 45086 |
| tpdb-8.0/TRS/MNZ_10/8.xml | UNCERTIFIED 28594 | YES 39411 | YES 7185 |
| tpdb-8.0/TRS/MNZ_10/9.xml | MISSING | UNCERTIFIED 61117 | UNCERTIFIED 59463 |
| tpdb-8.0/TRS/MNZ_10/labelled.xml | MISSING | UNCERTIFIED 61013 | UNCERTIFIED 60038 |
| tpdb-8.0/TRS/MNZ_10/nvsr.xml | MISSING | UNCERTIFIED 60933 | UNCERTIFIED 59464 |
| tpdb-8.0/TRS/Rubio_04/aoto.xml | UNCERTIFIED 2684 | YES 2385 | YES 820 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | UNCERTIFIED 2194 | YES 2480 | YES 658 |
| tpdb-8.0/TRS/Rubio_04/division.xml | UNCERTIFIED 4361 | YES 3406 | YES 2087 |
| tpdb-8.0/TRS/Rubio_04/gcd.xml | UNCERTIFIED 4898 | YES 3685 | YES 2098 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | UNCERTIFIED 2759 | YES 2432 | YES 841 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | UNCERTIFIED 4346 | YES 3162 | YES 1789 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | UNCERTIFIED 2292 | YES 2366 | YES 557 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | UNCERTIFIED 2545 | YES 2337 | YES 999 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | UNCERTIFIED 3393 | YES 3069 | YES 1850 |
| tpdb-8.0/TRS/Rubio_04/selsort.xml | MISSING | YES 6032 | YES 6396 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | UNCERTIFIED 2218 | YES 2526 | YES 777 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | MISSING | YES 18583 | UNCERTIFIED 12658 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | UNCERTIFIED 4480 | YES 5715 | UNCERTIFIED 23162 |
| tpdb-8.0/TRS/Secret_05_TRS/cime4.xml | MISSING | NO 2911 | UNCERTIFIED 1148 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | UNCERTIFIED 36360 | YES 29525 | YES 21233 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | MISSING | YES 5187 | UNCERTIFIED 59409 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla2.xml | MISSING | YES 8000 | UNCERTIFIED 40177 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla3.xml | MISSING | YES 5422 | UNCERTIFIED 28520 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | MISSING | NO 2860 | NO 597 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MISSING | NO 2666 | NO 423 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | UNCERTIFIED 6085 | YES 3462 | YES 1421 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | UNCERTIFIED 2875 | YES 3024 | YES 1078 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | MISSING | UNCERTIFIED 60824 | UNCERTIFIED 11480 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml | UNCERTIFIED 4642 | YES 3725 | YES 2415 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml | MISSING | YES 2792 | YES 5639 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | UNCERTIFIED 2906 | YES 2886 | YES 1149 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml | UNCERTIFIED 33811 | YES 14499 | YES 3217 |
| tpdb-8.0/TRS/Secret_06_TRS/reverse.xml | MISSING | YES 15293 | YES 3743 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | MISSING | UNCERTIFIED 61224 | UNCERTIFIED 59430 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa03.xml | MISSING | UNCERTIFIED 4319 | UNCERTIFIED 2927 |
| tpdb-8.0/TRS/Secret_07_TRS/2.xml | MISSING | UNCERTIFIED 60639 | UNCERTIFIED 59405 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | MISSING | UNCERTIFIED 60954 | UNCERTIFIED 45450 |
| tpdb-8.0/TRS/Secret_07_TRS/5.xml | MISSING | YES 39134 | UNCERTIFIED 59573 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | MISSING | UNCERTIFIED 61244 | UNCERTIFIED 59533 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | MISSING | UNCERTIFIED 62085 | UNCERTIFIED 29625 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | MISSING | UNCERTIFIED 60955 | UNCERTIFIED 20047 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | MISSING | UNCERTIFIED 61136 | UNCERTIFIED 59467 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | MISSING | UNCERTIFIED 61252 | UNCERTIFIED 19955 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | MISSING | UNCERTIFIED 61120 | UNCERTIFIED 31078 |
| tpdb-8.0/TRS/Secret_07_TRS/secret3.xml | UNCERTIFIED 2533 | YES 2834 | YES 2539 |
| tpdb-8.0/TRS/SK90/2.02.xml | UNCERTIFIED 2329 | YES 2501 | YES 764 |
| tpdb-8.0/TRS/SK90/2.03.xml | UNCERTIFIED 2197 | YES 2441 | YES 814 |
| tpdb-8.0/TRS/SK90/2.04.xml | UNCERTIFIED 2192 | YES 2472 | YES 644 |
| tpdb-8.0/TRS/SK90/2.07.xml | UNCERTIFIED 2252 | YES 2611 | YES 1247 |
| tpdb-8.0/TRS/SK90/2.08.xml | UNCERTIFIED 2359 | YES 2722 | YES 1409 |
| tpdb-8.0/TRS/SK90/2.16.xml | UNCERTIFIED 2317 | YES 2577 | YES 1708 |
| tpdb-8.0/TRS/SK90/2.23.xml | UNCERTIFIED 2342 | YES 2598 | YES 1674 |
| tpdb-8.0/TRS/SK90/2.24.xml | UNCERTIFIED 2210 | YES 2471 | YES 648 |
| tpdb-8.0/TRS/SK90/2.30.xml | UNCERTIFIED 2281 | YES 2525 | YES 937 |
| tpdb-8.0/TRS/SK90/2.31.xml | UNCERTIFIED 2246 | YES 2486 | YES 1165 |
| tpdb-8.0/TRS/SK90/2.32.xml | UNCERTIFIED 2338 | YES 2986 | YES 818 |
| tpdb-8.0/TRS/SK90/2.37.xml | UNCERTIFIED 2287 | YES 2471 | YES 523 |
| tpdb-8.0/TRS/SK90/2.38.xml | UNCERTIFIED 2242 | YES 2475 | YES 811 |
| tpdb-8.0/TRS/SK90/2.42.xml | UNCERTIFIED 2365 | YES 2970 | YES 2056 |
| tpdb-8.0/TRS/SK90/2.44.xml | UNCERTIFIED 4208 | YES 3585 | YES 1839 |
| tpdb-8.0/TRS/SK90/2.45.xml | UNCERTIFIED 2577 | YES 3377 | YES 5573 |
| tpdb-8.0/TRS/SK90/2.47.xml | UNCERTIFIED 2323 | YES 2447 | YES 625 |
| tpdb-8.0/TRS/SK90/2.51.xml | UNCERTIFIED 2200 | YES 2428 | YES 1041 |
| tpdb-8.0/TRS/SK90/2.54.xml | UNCERTIFIED 2168 | YES 2470 | YES 588 |
| tpdb-8.0/TRS/SK90/2.56.xml | UNCERTIFIED 2247 | YES 2317 | YES 536 |
| tpdb-8.0/TRS/SK90/4.01.xml | UNCERTIFIED 2191 | YES 2343 | YES 647 |
| tpdb-8.0/TRS/SK90/4.03.xml | UNCERTIFIED 2265 | YES 2496 | YES 1397 |
| tpdb-8.0/TRS/SK90/4.05.xml | UNCERTIFIED 2262 | YES 2486 | YES 1136 |
| tpdb-8.0/TRS/SK90/4.12.xml | UNCERTIFIED 2435 | YES 2593 | YES 745 |
| tpdb-8.0/TRS/SK90/4.14.xml | UNCERTIFIED 2324 | YES 2758 | YES 2212 |
| tpdb-8.0/TRS/SK90/4.15.xml | UNCERTIFIED 2184 | YES 2430 | YES 604 |
| tpdb-8.0/TRS/SK90/4.19.xml | UNCERTIFIED 2238 | YES 2352 | YES 589 |
| tpdb-8.0/TRS/SK90/4.25.xml | UNCERTIFIED 2183 | YES 2433 | YES 658 |
| tpdb-8.0/TRS/SK90/4.26.xml | UNCERTIFIED 2346 | YES 2845 | YES 2111 |
| tpdb-8.0/TRS/SK90/4.30.xml | UNCERTIFIED 3064 | YES 3321 | YES 2448 |
| tpdb-8.0/TRS/SK90/4.34.xml | MISSING | NO 2213 | NO 503 |
| tpdb-8.0/TRS/SK90/4.36.xml | UNCERTIFIED 2331 | YES 2278 | YES 502 |
| tpdb-8.0/TRS/SK90/4.39.xml | UNCERTIFIED 2204 | YES 2491 | YES 583 |
| tpdb-8.0/TRS/SK90/4.47.xml | MISSING | YES 3120 | YES 850 |
| tpdb-8.0/TRS/SK90/4.53.xml | UNCERTIFIED 2358 | YES 2635 | YES 5569 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.12a.xml | MISSING | NO 2666 | NO 437 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.15.xml | MISSING | NO 3177 | NO 437 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.16.xml | MISSING | NO 2683 | NO 433 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.17.xml | MISSING | NO 4556 | NO 423 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.25.xml | MISSING | YES 2961 | UNCERTIFIED 834 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.27.xml | UNCERTIFIED 4431 | YES 3325 | YES 1689 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30b.xml | MISSING | UNCERTIFIED 60591 | UNCERTIFIED 11062 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.36.xml | UNCERTIFIED 15104 | YES 4896 | YES 4838 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.4.xml | MISSING | NO 2593 | NO 434 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.7.xml | MISSING | NO 2997 | NO 438 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml | MISSING | NO 2554 | NO 339 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex14_AEGL02.xml | MISSING | NO 2796 | NO 340 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM03.xml | MISSING | NO 3024 | NO 351 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM99.xml | MISSING | NO 2539 | NO 429 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex24_GM04.xml | MISSING | NO 2640 | UNCERTIFIED 647 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml | MISSING | NO 2705 | NO 341 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml | MISSING | NO 2681 | NO 339 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml | MISSING | NO 2664 | NO 338 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml | UNCERTIFIED 5078 | YES 3506 | YES 1802 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_Zan97.xml | MISSING | NO 2610 | NO 343 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_15_AEL02.xml | MISSING | NO 4762 | NO 403 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/bn111.xml | MISSING | UNCERTIFIED 61029 | UNCERTIFIED 3397 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex1.xml | MISSING | NO 2198 | NO 336 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml | MISSING | NO 2582 | NO 340 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex5.xml | MISSING | NO 2235 | NO 341 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml | MISSING | UNCERTIFIED 3601 | NO 435 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml | MISSING | NO 3527 | NO 353 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml | MISSING | NO 2621 | NO 426 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/n001.xml | MISSING | NO 2226 | NO 484 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | MISSING | NO 2721 | NO 433 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test830.xml | UNCERTIFIED 2876 | YES 2476 | YES 616 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/toyama.xml | MISSING | NO 2557 | UNCERTIFIED 689 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_C.xml | MISSING | UNCERTIFIED 60642 | UNCERTIFIED 59540 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_Z.xml | UNCERTIFIED 12232 | YES 3972 | YES 5664 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | MISSING | YES 2567 | YES 817 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_iGM.xml | MISSING | YES 16215 | UNCERTIFIED 11538 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_Z.xml | MISSING | NO 3268 | NO 349 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_C.xml | UNCERTIFIED 4094 | YES 45916 | YES 2677 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_C.xml | UNCERTIFIED 6488 | YES 11380 | YES 6157 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml | MISSING | NO 3445 | NO 468 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml | MISSING | UNCERTIFIED 61407 | UNCERTIFIED 59718 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml | MISSING | YES 4584 | YES 7026 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml | UNCERTIFIED 2311 | YES 2775 | YES 2626 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | MISSING | NO 2107 | NO 337 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_Z.xml | UNCERTIFIED 6211 | YES 4406 | YES 2933 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml | UNCERTIFIED 2382 | YES 2549 | YES 1341 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml | UNCERTIFIED 5112 | YES 3060 | YES 3270 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml | UNCERTIFIED 3233 | YES 2517 | YES 1626 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_FR.xml | MISSING | YES 3710 | YES 6025 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml | MISSING | YES 4695 | YES 5928 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml | MISSING | NO 2130 | NO 347 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml | MISSING | YES 39511 | UNCERTIFIED 59685 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml | MISSING | UNCERTIFIED 61052 | UNCERTIFIED 60037 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml | MISSING | YES 7143 | YES 5788 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml | MISSING | UNCERTIFIED 61928 | UNCERTIFIED 59539 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_iGM.xml | UNCERTIFIED 18680 | YES 10295 | YES 20572 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_iGM.xml | UNCERTIFIED 3100 | YES 3569 | YES 5695 |
| tpdb-8.0/TRS/Various_04/02.xml | MISSING | YES 2443 | YES 461 |
| tpdb-8.0/TRS/Various_04/09.xml | UNCERTIFIED 2582 | YES 2740 | YES 617 |
| tpdb-8.0/TRS/Various_04/10.xml | UNCERTIFIED 9337 | YES 5200 | YES 6685 |
| tpdb-8.0/TRS/Various_04/11.xml | MISSING | YES 9160 | UNCERTIFIED 1469 |
| tpdb-8.0/TRS/Various_04/15.xml | MISSING | YES 2561 | YES 5561 |
| tpdb-8.0/TRS/Various_04/18.xml | UNCERTIFIED 2449 | YES 2464 | YES 834 |
| tpdb-8.0/TRS/Various_04/19.xml | UNCERTIFIED 3279 | YES 3675 | YES 2874 |
| tpdb-8.0/TRS/Various_04/22.xml | UNCERTIFIED 2783 | YES 2689 | YES 895 |
| tpdb-8.0/TRS/Various_04/24.xml | UNCERTIFIED 3278 | YES 3588 | YES 2737 |
| tpdb-8.0/TRS/Various_04/26.xml | UNCERTIFIED 2670 | YES 2564 | YES 895 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | MISSING | YES 3582 | UNCERTIFIED 59403 |
| tpdb-8.0/TRS/Waldmann_06/jwcime2.xml | UNCERTIFIED 12703 | YES 3477 | UNCERTIFIED 4986 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | UNCERTIFIED 3608 | YES 4963 | YES 1983 |
| tpdb-8.0/TRS/Waldmann_06/jwno1.xml | MISSING | NO 2885 | NO 460 |
| tpdb-8.0/TRS/Waldmann_06/jwno4.xml | MISSING | NO 2668 | NO 445 |
| tpdb-8.0/TRS/Waldmann_06/jwno9.xml | MISSING | NO 3018 | NO 457 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla1.xml | MISSING | YES 17829 | UNCERTIFIED 9494 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml | MISSING | YES 16565 | UNCERTIFIED 14307 |
| tpdb-8.0/TRS/Waldmann_06/jwttt.xml | UNCERTIFIED 6272 | YES 3598 | YES 1642 |
| tpdb-8.0/TRS/Zantema_05/jw02.xml | UNCERTIFIED 6130 | YES 2762 | YES 1529 |
| tpdb-8.0/TRS/Zantema_05/jw03.xml | UNCERTIFIED 3303 | YES 2742 | YES 748 |
| tpdb-8.0/TRS/Zantema_05/jw04.xml | UNCERTIFIED 3290 | YES 2591 | YES 754 |
| tpdb-8.0/TRS/Zantema_05/jw05.xml | UNCERTIFIED 6998 | YES 2947 | YES 1431 |
| tpdb-8.0/TRS/Zantema_05/jw09.xml | MISSING | YES 2859 | YES 861 |
| tpdb-8.0/TRS/Zantema_05/jw13.xml | UNCERTIFIED 4039 | YES 2938 | YES 986 |
| tpdb-8.0/TRS/Zantema_05/jw15.xml | UNCERTIFIED 3843 | YES 2833 | YES 846 |
| tpdb-8.0/TRS/Zantema_05/jw21.xml | UNCERTIFIED 5053 | YES 2836 | YES 961 |
| tpdb-8.0/TRS/Zantema_05/jw22.xml | UNCERTIFIED 5375 | YES 2997 | YES 1759 |
| tpdb-8.0/TRS/Zantema_05/jw27.xml | UNCERTIFIED 6354 | YES 3044 | YES 1569 |
| tpdb-8.0/TRS/Zantema_05/jw30.xml | UNCERTIFIED 3481 | YES 2924 | YES 1128 |
| tpdb-8.0/TRS/Zantema_05/jw41.xml | UNCERTIFIED 7668 | YES 2861 | YES 1743 |
| tpdb-8.0/TRS/Zantema_05/jw47.xml | UNCERTIFIED 2178 | YES 2407 | YES 549 |
| tpdb-8.0/TRS/Zantema_05/z02.xml | MISSING | YES 3506 | UNCERTIFIED 5661 |
| tpdb-8.0/TRS/Zantema_05/z08.xml | UNCERTIFIED 3674 | YES 3654 | YES 1140 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | MISSING | UNCERTIFIED 60605 | UNCERTIFIED 59397 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | MISSING | UNCERTIFIED 60902 | UNCERTIFIED 59391 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | MISSING | YES 21706 | UNCERTIFIED 59432 |
| tpdb-8.0/TRS/Zantema_05/z25.xml | MISSING | YES 4207 | UNCERTIFIED 12689 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | MISSING | YES 6665 | UNCERTIFIED 1395 |
| tpdb-8.0/TRS/Zantema_05/z29.xml | UNCERTIFIED 3339 | YES 3012 | YES 1526 | 0 | 279 | 251 |