| benchmark | AProVE-A3PAT | AProVE-CeTA | cime3beta | cime3finder | TTT2Cert |
|---|---|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.13.xml | YES 8770 | YES 4201 | YES 31104 | YES 546 | YES 2416 |
| tpdb-8.0/TRS/AG01/#3.16.xml | YES 2651 | YES 3058 | YES 88 | YES 90 | YES 665 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | YES 6800 | YES 4420 | YES 1350 | YES 3944 | YES 3126 |
| tpdb-8.0/TRS/AG01/#3.17.xml | YES 5698 | YES 4362 | YES 913 | YES 2452 | YES 2700 |
| tpdb-8.0/TRS/AG01/#3.22.xml | YES 6443 | YES 3671 | YES 3521 | YES 1865 | YES 1106 |
| tpdb-8.0/TRS/AG01/#3.2.xml | YES 3080 | YES 2960 | YES 217 | YES 241 | YES 832 |
| tpdb-8.0/TRS/AG01/#3.40.xml | UNCERTIFIED 60363 | YES 5993 | UNCERTIFIED 60116 | UNCERTIFIED 60118 | UNCERTIFIED 59296 |
| tpdb-8.0/TRS/AG01/#3.42.xml | YES 3922 | YES 3222 | UNCERTIFIED 1028 | YES 1120 | YES 954 |
| tpdb-8.0/TRS/AG01/#3.48.xml | YES 4193 | YES 3241 | YES 1855 | YES 691 | YES 1378 |
| tpdb-8.0/TRS/AG01/#3.53a.xml | UNCERTIFIED 2794 | YES 2956 | YES 87 | YES 98 | YES 357 |
| tpdb-8.0/TRS/AG01/#3.53.xml | YES 5570 | YES 4815 | YES 584 | YES 571 | YES 3409 |
| tpdb-8.0/TRS/AG01/#3.54.xml | YES 2945 | YES 3273 | YES 132 | YES 233 | YES 553 |
| tpdb-8.0/TRS/AG01/#3.55.xml | YES 12536 | YES 6301 | YES 1659 | YES 1511 | YES 4633 |
| tpdb-8.0/TRS/AG01/#3.6b.xml | YES 4990 | YES 4469 | YES 1256 | YES 438 | YES 1618 |
| tpdb-8.0/TRS/AG01/#4.30c.xml | UNCERTIFIED 60254 | UNCERTIFIED 61422 | UNCERTIFIED 60125 | UNCERTIFIED 60119 | UNCERTIFIED 59275 |
| tpdb-8.0/TRS/AotoYamada_05/007.xml | YES 7912 | YES 3642 | YES 6076 | YES 5789 | YES 942 |
| tpdb-8.0/TRS/AotoYamada_05/011.xml | UNCERTIFIED 9625 | YES 5705 | YES 17262 | UNCERTIFIED 10288 | UNCERTIFIED 20355 |
| tpdb-8.0/TRS/AotoYamada_05/012.xml | YES 4016 | YES 3681 | YES 5473 | YES 3606 | YES 1062 |
| tpdb-8.0/TRS/AotoYamada_05/015.xml | UNCERTIFIED 60836 | YES 3317 | UNCERTIFIED 60213 | UNCERTIFIED 60184 | YES 1134 |
| tpdb-8.0/TRS/AotoYamada_05/017.xml | YES 2564 | YES 2798 | YES 124 | YES 119 | YES 356 |
| tpdb-8.0/TRS/AotoYamada_05/019.xml | UNCERTIFIED 3111 | YES 2865 | UNCERTIFIED 613 | UNCERTIFIED 717 | YES 526 |
| tpdb-8.0/TRS/AotoYamada_05/023.xml | YES 2601 | YES 2951 | YES 104 | YES 106 | YES 387 |
| tpdb-8.0/TRS/AotoYamada_05/025.xml | YES 2477 | YES 2704 | YES 80 | YES 87 | YES 287 |
| tpdb-8.0/TRS/AotoYamada_05/026.xml | UNCERTIFIED 6109 | YES 3272 | UNCERTIFIED 11654 | UNCERTIFIED 4922 | YES 789 |
| tpdb-8.0/TRS/AotoYamada_05/027.xml | YES 8411 | YES 3898 | YES 9946 | YES 8942 | YES 996 |
| tpdb-8.0/TRS/Applicative_05/BTreeMember.xml | YES 15158 | YES 4771 | YES 5851 | YES 1414 | YES 1507 |
| tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml | UNCERTIFIED 4159 | NO 2542 | UNCERTIFIED 802 | UNCERTIFIED 1230 | NO 308 |
| tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml | YES 3182 | YES 3195 | YES 2483 | YES 1776 | YES 767 |
| tpdb-8.0/TRS/Applicative_05/Ex8Polymorphic.xml | UNCERTIFIED 38385 | YES 3696 | UNCERTIFIED 10035 | UNCERTIFIED 8670 | YES 1097 |
| tpdb-8.0/TRS/Applicative_05/Ex9Maps.xml | UNCERTIFIED 60796 | UNCERTIFIED 62068 | UNCERTIFIED 60176 | UNCERTIFIED 60168 | UNCERTIFIED 36547 |
| tpdb-8.0/TRS/Applicative_05/Hamming.xml | UNCERTIFIED 61071 | UNCERTIFIED 4917 | UNCERTIFIED 60297 | UNCERTIFIED 60273 | NO 428 |
| tpdb-8.0/TRS/Applicative_05/TreeFlatten.xml | UNCERTIFIED 60553 | YES 4610 | UNCERTIFIED 59801 | UNCERTIFIED 18470 | YES 1249 |
| tpdb-8.0/TRS/Applicative_05/TreeLevels.xml | UNCERTIFIED 60681 | YES 7195 | UNCERTIFIED 60221 | UNCERTIFIED 60217 | YES 1548 |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | UNCERTIFIED 1847 | NO 2487 | UNCERTIFIED 222 | UNCERTIFIED 212 | NO 249 |
| tpdb-8.0/TRS/Applicative_first_order_05/01.xml | UNCERTIFIED 60673 | YES 4488 | UNCERTIFIED 39725 | UNCERTIFIED 18971 | YES 1741 |
| tpdb-8.0/TRS/Applicative_first_order_05/06.xml | UNCERTIFIED 60870 | YES 4701 | UNCERTIFIED 42427 | UNCERTIFIED 31996 | YES 1526 |
| tpdb-8.0/TRS/Applicative_first_order_05/11.xml | UNCERTIFIED 61168 | YES 10160 | UNCERTIFIED 60164 | UNCERTIFIED 60172 | YES 3992 |
| tpdb-8.0/TRS/Applicative_first_order_05/17.xml | UNCERTIFIED 60824 | YES 6450 | UNCERTIFIED 34509 | UNCERTIFIED 19219 | YES 1777 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.25.xml | UNCERTIFIED 60739 | UNCERTIFIED 61262 | UNCERTIFIED 38553 | UNCERTIFIED 39958 | UNCERTIFIED 3575 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.32.xml | UNCERTIFIED 60695 | YES 4041 | UNCERTIFIED 42266 | UNCERTIFIED 27715 | YES 1349 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.38.xml | UNCERTIFIED 60678 | UNCERTIFIED 61331 | UNCERTIFIED 60149 | UNCERTIFIED 42212 | UNCERTIFIED 8827 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.45.xml | UNCERTIFIED 60813 | YES 5872 | UNCERTIFIED 44281 | UNCERTIFIED 46228 | YES 1850 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.48.xml | UNCERTIFIED 61225 | YES 6050 | UNCERTIFIED 60188 | UNCERTIFIED 60219 | YES 2547 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.8.xml | UNCERTIFIED 60688 | UNCERTIFIED 61125 | UNCERTIFIED 60156 | UNCERTIFIED 60118 | UNCERTIFIED 26858 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | UNCERTIFIED 61381 | UNCERTIFIED 61919 | UNCERTIFIED 60143 | UNCERTIFIED 60161 | UNCERTIFIED 59470 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | UNCERTIFIED 60255 | YES 3799 | UNCERTIFIED 765 | UNCERTIFIED 1212 | YES 1298 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation2.xml | UNCERTIFIED 2021 | UNCERTIFIED 1933 | UNCERTIFIED 195 | UNCERTIFIED 182 | UNCERTIFIED 476 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml | UNCERTIFIED 60539 | YES 7025 | UNCERTIFIED 3468 | UNCERTIFIED 3755 | YES 3124 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | UNCERTIFIED 42531 | YES 6754 | UNCERTIFIED 3576 | UNCERTIFIED 3778 | YES 2905 |
| tpdb-8.0/TRS/AProVE_04/improved_usable.xml | YES 3209 | YES 2810 | UNCERTIFIED 516 | YES 170 | YES 653 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml | YES 7595 | YES 5261 | YES 3082 | YES 937 | YES 7352 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | UNCERTIFIED 60285 | YES 17372 | UNCERTIFIED 2542 | YES 4959 | YES 3087 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | UNCERTIFIED 11525 | YES 25236 | UNCERTIFIED 60115 | UNCERTIFIED 60183 | YES 2844 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | UNCERTIFIED 60290 | UNCERTIFIED 61290 | UNCERTIFIED 60133 | UNCERTIFIED 6040 | UNCERTIFIED 59317 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | UNCERTIFIED 60271 | YES 4742 | UNCERTIFIED 3372 | UNCERTIFIED 3938 | YES 1786 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | UNCERTIFIED 60283 | YES 3863 | UNCERTIFIED 1737 | UNCERTIFIED 1147 | UNCERTIFIED 59300 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | UNCERTIFIED 60708 | UNCERTIFIED 61238 | UNCERTIFIED 60268 | UNCERTIFIED 60148 | UNCERTIFIED 59295 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | UNCERTIFIED 60783 | UNCERTIFIED 61049 | UNCERTIFIED 60161 | UNCERTIFIED 60135 | UNCERTIFIED 59318 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | UNCERTIFIED 61531 | UNCERTIFIED 61106 | UNCERTIFIED 33468 | UNCERTIFIED 60188 | NO 317 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | UNCERTIFIED 60250 | UNCERTIFIED 38353 | UNCERTIFIED 60135 | UNCERTIFIED 21949 | UNCERTIFIED 4064 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | UNCERTIFIED 20233 | UNCERTIFIED 61239 | UNCERTIFIED 60135 | UNCERTIFIED 41286 | YES 780 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | UNCERTIFIED 60325 | YES 4951 | UNCERTIFIED 10065 | UNCERTIFIED 3611 | YES 2775 |
| tpdb-8.0/TRS/AProVE_07/kabasci04.xml | YES 19101 | YES 5222 | UNCERTIFIED 60115 | UNCERTIFIED 18063 | YES 3459 |
| tpdb-8.0/TRS/AProVE_07/kabasci06.xml | UNCERTIFIED 60672 | UNCERTIFIED 61359 | UNCERTIFIED 60182 | UNCERTIFIED 60117 | UNCERTIFIED 59298 |
| tpdb-8.0/TRS/AProVE_07/otto03.xml | UNCERTIFIED 11725 | UNCERTIFIED 10266 | UNCERTIFIED 1509 | UNCERTIFIED 539 | UNCERTIFIED 16881 |
| tpdb-8.0/TRS/AProVE_07/otto08.xml | UNCERTIFIED 60315 | UNCERTIFIED 61344 | UNCERTIFIED 60122 | UNCERTIFIED 7273 | UNCERTIFIED 4898 |
| tpdb-8.0/TRS/AProVE_07/otto10.xml | UNCERTIFIED 60431 | UNCERTIFIED 61100 | UNCERTIFIED 60148 | UNCERTIFIED 60130 | UNCERTIFIED 22238 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | UNCERTIFIED 5527 | UNCERTIFIED 12083 | UNCERTIFIED 10568 | UNCERTIFIED 713 | UNCERTIFIED 16387 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | UNCERTIFIED 60269 | UNCERTIFIED 25959 | UNCERTIFIED 60107 | UNCERTIFIED 14169 | UNCERTIFIED 7518 |
| tpdb-8.0/TRS/AProVE_07/thiemann05.xml | UNCERTIFIED 60258 | UNCERTIFIED 44532 | UNCERTIFIED 60089 | UNCERTIFIED 19292 | UNCERTIFIED 13870 |
| tpdb-8.0/TRS/AProVE_07/thiemann12.xml | UNCERTIFIED 60291 | YES 5332 | UNCERTIFIED 17696 | UNCERTIFIED 6020 | YES 1380 |
| tpdb-8.0/TRS/AProVE_07/thiemann13.xml | UNCERTIFIED 60373 | UNCERTIFIED 62425 | UNCERTIFIED 60139 | UNCERTIFIED 60127 | UNCERTIFIED 59298 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | UNCERTIFIED 60266 | YES 4721 | UNCERTIFIED 971 | UNCERTIFIED 816 | YES 1482 |
| tpdb-8.0/TRS/AProVE_07/thiemann16.xml | UNCERTIFIED 20977 | YES 6991 | UNCERTIFIED 46500 | UNCERTIFIED 15200 | YES 2955 |
| tpdb-8.0/TRS/AProVE_07/thiemann17.xml | UNCERTIFIED 60711 | YES 5256 | UNCERTIFIED 14080 | UNCERTIFIED 60140 | YES 2152 |
| tpdb-8.0/TRS/AProVE_07/thiemann24.xml | UNCERTIFIED 60255 | UNCERTIFIED 16131 | UNCERTIFIED 2451 | UNCERTIFIED 1194 | UNCERTIFIED 18903 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | UNCERTIFIED 60278 | UNCERTIFIED 61118 | UNCERTIFIED 60128 | UNCERTIFIED 60123 | UNCERTIFIED 22031 |
| tpdb-8.0/TRS/AProVE_07/thiemann33.xml | UNCERTIFIED 60589 | UNCERTIFIED 61212 | UNCERTIFIED 2340 | UNCERTIFIED 60105 | UNCERTIFIED 18213 |
| tpdb-8.0/TRS/AProVE_07/thiemann35.xml | UNCERTIFIED 60868 | UNCERTIFIED 61375 | UNCERTIFIED 60162 | UNCERTIFIED 60200 | UNCERTIFIED 28235 |
| tpdb-8.0/TRS/AProVE_07/thiemann37.xml | UNCERTIFIED 60843 | UNCERTIFIED 39986 | UNCERTIFIED 60147 | UNCERTIFIED 60133 | UNCERTIFIED 21935 |
| tpdb-8.0/TRS/AProVE_07/thiemann41.xml | UNCERTIFIED 60263 | UNCERTIFIED 14028 | UNCERTIFIED 15748 | UNCERTIFIED 16227 | UNCERTIFIED 16631 |
| tpdb-8.0/TRS/AProVE_07/wiehe01.xml | UNCERTIFIED 60855 | YES 12046 | UNCERTIFIED 60145 | UNCERTIFIED 60133 | YES 3716 |
| tpdb-8.0/TRS/AProVE_07/wiehe03.xml | UNCERTIFIED 61202 | YES 15988 | UNCERTIFIED 60146 | UNCERTIFIED 60142 | YES 6734 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | UNCERTIFIED 60305 | YES 5258 | UNCERTIFIED 1738 | UNCERTIFIED 10004 | YES 5451 |
| tpdb-8.0/TRS/AProVE_08/log.xml | UNCERTIFIED 60702 | UNCERTIFIED 61223 | UNCERTIFIED 44145 | UNCERTIFIED 17614 | UNCERTIFIED 59294 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | UNCERTIFIED 60805 | UNCERTIFIED 61354 | UNCERTIFIED 30300 | UNCERTIFIED 60095 | UNCERTIFIED 47883 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | UNCERTIFIED 60787 | UNCERTIFIED 61324 | UNCERTIFIED 8292 | UNCERTIFIED 39507 | UNCERTIFIED 33662 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | UNCERTIFIED 60795 | UNCERTIFIED 61177 | UNCERTIFIED 13997 | UNCERTIFIED 60123 | UNCERTIFIED 43025 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | UNCERTIFIED 60985 | UNCERTIFIED 61083 | UNCERTIFIED 60128 | UNCERTIFIED 60142 | UNCERTIFIED 59322 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | UNCERTIFIED 60810 | UNCERTIFIED 62405 | UNCERTIFIED 57764 | UNCERTIFIED 60105 | UNCERTIFIED 45221 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | UNCERTIFIED 3253 | NO 2535 | UNCERTIFIED 207 | UNCERTIFIED 298 | NO 285 |
| tpdb-8.0/TRS/AProVE_08/round.xml | UNCERTIFIED 3960 | UNCERTIFIED 5591 | UNCERTIFIED 266 | UNCERTIFIED 381 | UNCERTIFIED 7461 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | UNCERTIFIED 60259 | YES 15516 | UNCERTIFIED 1257 | UNCERTIFIED 884 | YES 1435 |
| tpdb-8.0/TRS/AProVE_09_Inductive/div.xml | UNCERTIFIED 60301 | UNCERTIFIED 54013 | UNCERTIFIED 16197 | UNCERTIFIED 1479 | UNCERTIFIED 19756 |
| tpdb-8.0/TRS/AProVE_09_Inductive/gcd.xml | UNCERTIFIED 14923 | UNCERTIFIED 49785 | UNCERTIFIED 11430 | UNCERTIFIED 1593 | UNCERTIFIED 9749 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsortcondition.xml | UNCERTIFIED 60364 | UNCERTIFIED 61162 | UNCERTIFIED 1618 | UNCERTIFIED 1254 | UNCERTIFIED 26685 |
| tpdb-8.0/TRS/AProVE_09_Inductive/maxsort.xml | UNCERTIFIED 60854 | UNCERTIFIED 61193 | UNCERTIFIED 22793 | UNCERTIFIED 60179 | UNCERTIFIED 59332 |
| tpdb-8.0/TRS/AProVE_09_Inductive/minsort.xml | UNCERTIFIED 60879 | UNCERTIFIED 62447 | UNCERTIFIED 60217 | UNCERTIFIED 60224 | UNCERTIFIED 29657 |
| tpdb-8.0/TRS/AProVE_09_Inductive/mod.xml | UNCERTIFIED 60313 | UNCERTIFIED 61125 | UNCERTIFIED 33895 | UNCERTIFIED 3542 | UNCERTIFIED 14113 |
| tpdb-8.0/TRS/AProVE_09_Inductive/qsort.xml | UNCERTIFIED 60880 | UNCERTIFIED 62344 | UNCERTIFIED 60130 | UNCERTIFIED 60125 | UNCERTIFIED 37589 |
| tpdb-8.0/TRS/AProVE_10/ex5.xml | YES 2483 | YES 2481 | YES 86 | YES 88 | YES 348 |
| tpdb-8.0/TRS/AProVE_10/isList.xml | UNCERTIFIED 3103 | NO 2460 | UNCERTIFIED 166 | UNCERTIFIED 210 | NO 251 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | UNCERTIFIED 12807 | UNCERTIFIED 8343 | UNCERTIFIED 17667 | UNCERTIFIED 2826 | UNCERTIFIED 3555 |
| tpdb-8.0/TRS/Beerendonk_07/16.xml | UNCERTIFIED 60360 | UNCERTIFIED 60996 | UNCERTIFIED 60126 | UNCERTIFIED 47186 | UNCERTIFIED 57636 |
| tpdb-8.0/TRS/Beerendonk_07/17.xml | UNCERTIFIED 60349 | UNCERTIFIED 61034 | UNCERTIFIED 60130 | UNCERTIFIED 60129 | UNCERTIFIED 59295 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | UNCERTIFIED 60371 | UNCERTIFIED 61103 | UNCERTIFIED 60143 | UNCERTIFIED 60131 | UNCERTIFIED 59298 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | UNCERTIFIED 60491 | UNCERTIFIED 63117 | UNCERTIFIED 60161 | UNCERTIFIED 60134 | UNCERTIFIED 59303 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | UNCERTIFIED 18342 | YES 3734 | UNCERTIFIED 2183 | UNCERTIFIED 617 | YES 714 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | UNCERTIFIED 9269 | UNCERTIFIED 12903 | UNCERTIFIED 498 | UNCERTIFIED 414 | UNCERTIFIED 1508 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | UNCERTIFIED 60270 | YES 4260 | UNCERTIFIED 60120 | UNCERTIFIED 39633 | YES 1190 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | UNCERTIFIED 60403 | YES 4069 | UNCERTIFIED 60246 | UNCERTIFIED 60222 | YES 1174 |
| tpdb-8.0/TRS/CiME_04/ack_prolog.xml | YES 4086 | YES 3112 | YES 94 | YES 99 | YES 844 |
| tpdb-8.0/TRS/CiME_04/append.xml | YES 3100 | YES 2932 | YES 128 | YES 170 | YES 584 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | YES 7865 | YES 4323 | YES 1563 | YES 1891 | YES 3638 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | YES 5924 | YES 3742 | UNCERTIFIED 1405 | YES 2131 | YES 3430 |
| tpdb-8.0/TRS/CiME_04/intersect.xml | YES 7766 | YES 5964 | UNCERTIFIED 295 | YES 836 | YES 1921 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml | YES 2861 | YES 6331 | YES 130 | YES 130 | YES 2678 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod.xml | YES 2759 | YES 3560 | YES 126 | YES 128 | YES 5559 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | UNCERTIFIED 15887 | YES 7088 | YES 888 | YES 1012 | YES 3907 |
| tpdb-8.0/TRS/CiME_04/tree.xml | YES 11541 | YES 8928 | UNCERTIFIED 60184 | YES 9276 | YES 7202 |
| tpdb-8.0/TRS/Der95/03.xml | YES 2465 | YES 2466 | YES 72 | YES 75 | YES 292 |
| tpdb-8.0/TRS/Der95/04.xml | YES 2531 | YES 2664 | YES 97 | YES 93 | YES 378 |
| tpdb-8.0/TRS/Der95/07.xml | YES 2473 | YES 2658 | YES 95 | YES 99 | YES 501 |
| tpdb-8.0/TRS/Der95/09.xml | YES 2532 | YES 2775 | YES 81 | YES 83 | YES 298 |
| tpdb-8.0/TRS/Der95/12.xml | YES 2644 | YES 3608 | YES 105 | YES 108 | YES 1113 |
| tpdb-8.0/TRS/Der95/13.xml | YES 3216 | YES 5103 | YES 177 | YES 200 | UNCERTIFIED 10714 |
| tpdb-8.0/TRS/Der95/21.xml | UNCERTIFIED 60233 | YES 3360 | UNCERTIFIED 605 | UNCERTIFIED 896 | YES 1115 |
| tpdb-8.0/TRS/Der95/28.xml | YES 2474 | YES 2840 | YES 157 | YES 84 | YES 588 |
| tpdb-8.0/TRS/Der95/30.xml | YES 2583 | YES 3277 | YES 248 | YES 91 | YES 851 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | UNCERTIFIED 3343 | UNCERTIFIED 8276 | UNCERTIFIED 619 | UNCERTIFIED 358 | UNCERTIFIED 2276 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | YES 9428 | YES 5706 | UNCERTIFIED 60126 | YES 18128 | YES 6932 |
| tpdb-8.0/TRS/Endrullis_06/pair2hard.xml | UNCERTIFIED 5124 | YES 4367 | UNCERTIFIED 4333 | YES 9713 | YES 6166 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | YES 3872 | YES 3250 | YES 1978 | YES 100 | YES 1338 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml | YES 3168 | YES 3282 | YES 551 | YES 395 | UNCERTIFIED 34254 |
| tpdb-8.0/TRS/Endrullis_06/pair3hard.xml | UNCERTIFIED 60213 | UNCERTIFIED 61064 | UNCERTIFIED 1952 | UNCERTIFIED 687 | UNCERTIFIED 59251 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | YES 5146 | YES 4477 | YES 1580 | YES 1178 | YES 6051 |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | UNCERTIFIED 5042 | YES 4748 | UNCERTIFIED 60123 | YES 13481 | YES 5946 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | UNCERTIFIED 4284 | YES 3461 | UNCERTIFIED 60152 | YES 2179 | YES 5492 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | YES 5238 | YES 4105 | UNCERTIFIED 26359 | YES 5040 | YES 479 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | UNCERTIFIED 60199 | UNCERTIFIED 21669 | UNCERTIFIED 668 | UNCERTIFIED 450 | UNCERTIFIED 9683 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | UNCERTIFIED 60192 | UNCERTIFIED 19134 | UNCERTIFIED 1145 | UNCERTIFIED 644 | UNCERTIFIED 17008 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | UNCERTIFIED 60226 | UNCERTIFIED 61229 | UNCERTIFIED 30562 | UNCERTIFIED 2568 | UNCERTIFIED 59282 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | UNCERTIFIED 60231 | UNCERTIFIED 61351 | UNCERTIFIED 28372 | UNCERTIFIED 1842 | UNCERTIFIED 59272 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | UNCERTIFIED 60330 | UNCERTIFIED 33266 | UNCERTIFIED 12702 | UNCERTIFIED 2200 | UNCERTIFIED 7332 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | UNCERTIFIED 60541 | UNCERTIFIED 61811 | UNCERTIFIED 53551 | UNCERTIFIED 2821 | UNCERTIFIED 29826 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | UNCERTIFIED 60234 | UNCERTIFIED 61207 | UNCERTIFIED 4638 | UNCERTIFIED 833 | UNCERTIFIED 21903 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | UNCERTIFIED 1174 | NO 2451 | UNCERTIFIED 108 | UNCERTIFIED 111 | NO 251 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | UNCERTIFIED 1411 | NO 2431 | UNCERTIFIED 110 | UNCERTIFIED 106 | NO 224 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | UNCERTIFIED 1404 | NO 2538 | UNCERTIFIED 91 | UNCERTIFIED 103 | NO 222 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | UNCERTIFIED 1913 | NO 2472 | UNCERTIFIED 103 | UNCERTIFIED 106 | NO 225 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | YES 4476 | YES 4110 | YES 5362 | YES 324 | YES 1719 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t006.xml | YES 2490 | YES 2714 | YES 99 | YES 104 | YES 319 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml | YES 2807 | YES 2633 | YES 95 | YES 114 | YES 325 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | UNCERTIFIED 60747 | UNCERTIFIED 60930 | UNCERTIFIED 60138 | UNCERTIFIED 60142 | YES 50239 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | YES 2916 | YES 2842 | YES 112 | YES 129 | YES 359 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | YES 4898 | YES 3569 | YES 2827 | YES 461 | YES 1336 |
| tpdb-8.0/TRS/Mixed_TRS/1.xml | YES 3728 | YES 3169 | UNCERTIFIED 9675 | YES 5602 | YES 803 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | YES 3134 | YES 3292 | UNCERTIFIED 13418 | YES 1240 | YES 858 |
| tpdb-8.0/TRS/Mixed_TRS/3.xml | UNCERTIFIED 60354 | YES 3422 | UNCERTIFIED 13319 | UNCERTIFIED 9946 | YES 531 |
| tpdb-8.0/TRS/Mixed_TRS/5.xml | YES 2850 | YES 2951 | UNCERTIFIED 368 | YES 313 | YES 419 |
| tpdb-8.0/TRS/Mixed_TRS/beans.xml | UNCERTIFIED 60803 | YES 4531 | UNCERTIFIED 60135 | UNCERTIFIED 60136 | UNCERTIFIED 59302 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | YES 2531 | YES 2837 | YES 100 | YES 96 | YES 309 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | YES 2926 | YES 2934 | YES 162 | YES 126 | YES 399 |
| tpdb-8.0/TRS/MNZ_10/0.xml | UNCERTIFIED 60920 | UNCERTIFIED 61957 | UNCERTIFIED 8332 | UNCERTIFIED 60148 | YES 14178 |
| tpdb-8.0/TRS/MNZ_10/1.xml | YES 52111 | UNCERTIFIED 62164 | UNCERTIFIED 14109 | UNCERTIFIED 60149 | YES 3744 |
| tpdb-8.0/TRS/MNZ_10/2.xml | UNCERTIFIED 23413 | UNCERTIFIED 61597 | UNCERTIFIED 11569 | UNCERTIFIED 60133 | YES 4269 |
| tpdb-8.0/TRS/MNZ_10/5.xml | UNCERTIFIED 61270 | UNCERTIFIED 60986 | UNCERTIFIED 60135 | UNCERTIFIED 60209 | UNCERTIFIED 59321 |
| tpdb-8.0/TRS/MNZ_10/6.xml | UNCERTIFIED 61244 | UNCERTIFIED 61497 | UNCERTIFIED 42844 | UNCERTIFIED 60205 | UNCERTIFIED 59335 |
| tpdb-8.0/TRS/MNZ_10/8.xml | UNCERTIFIED 61283 | UNCERTIFIED 61124 | UNCERTIFIED 33894 | UNCERTIFIED 60186 | YES 4923 |
| tpdb-8.0/TRS/MNZ_10/9.xml | UNCERTIFIED 61047 | UNCERTIFIED 61135 | UNCERTIFIED 28089 | UNCERTIFIED 60171 | UNCERTIFIED 59310 |
| tpdb-8.0/TRS/MNZ_10/nvsr.xml | UNCERTIFIED 60929 | UNCERTIFIED 60977 | UNCERTIFIED 7927 | UNCERTIFIED 60135 | UNCERTIFIED 59312 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | YES 2538 | YES 3172 | YES 90 | YES 89 | YES 417 |
| tpdb-8.0/TRS/Rubio_04/enno.xml | YES 6601 | YES 4113 | YES 878 | YES 472 | YES 2044 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | YES 2527 | YES 3070 | YES 104 | YES 111 | YES 459 |
| tpdb-8.0/TRS/Rubio_04/lescanne.xml | YES 2962 | YES 3038 | YES 84 | YES 85 | YES 466 |
| tpdb-8.0/TRS/Rubio_04/lindau.xml | YES 3352 | YES 2746 | UNCERTIFIED 421 | YES 4356 | YES 449 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | YES 4035 | YES 3830 | YES 310 | YES 592 | YES 1910 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | YES 2959 | YES 3257 | YES 5155 | YES 1105 | YES 5373 |
| tpdb-8.0/TRS/Rubio_04/quick.xml | YES 7839 | YES 5205 | YES 1376 | YES 789 | YES 2574 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | YES 3417 | YES 3857 | YES 268 | YES 298 | YES 1266 |
| tpdb-8.0/TRS/Rubio_04/wst99.xml | YES 5656 | YES 3930 | YES 2056 | YES 1289 | YES 5658 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | UNCERTIFIED 60234 | UNCERTIFIED 61049 | UNCERTIFIED 9971 | UNCERTIFIED 1846 | UNCERTIFIED 19506 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | UNCERTIFIED 33932 | UNCERTIFIED 55956 | UNCERTIFIED 60121 | UNCERTIFIED 60118 | UNCERTIFIED 6697 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | UNCERTIFIED 60231 | UNCERTIFIED 61265 | UNCERTIFIED 990 | UNCERTIFIED 694 | UNCERTIFIED 16535 |
| tpdb-8.0/TRS/Secret_05_TRS/cime1.xml | UNCERTIFIED 61592 | UNCERTIFIED 61368 | YES 46995 | YES 37615 | UNCERTIFIED 59449 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | YES 45909 | YES 19724 | UNCERTIFIED 60150 | YES 12539 | YES 17217 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | UNCERTIFIED 60249 | UNCERTIFIED 61117 | UNCERTIFIED 39530 | UNCERTIFIED 31810 | UNCERTIFIED 59268 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | UNCERTIFIED 60668 | YES 3732 | UNCERTIFIED 51078 | UNCERTIFIED 11535 | YES 1720 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | UNCERTIFIED 6693 | NO 2598 | UNCERTIFIED 475 | UNCERTIFIED 311 | NO 411 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | UNCERTIFIED 2176 | NO 2418 | UNCERTIFIED 434 | UNCERTIFIED 323 | NO 290 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | UNCERTIFIED 60837 | YES 33891 | UNCERTIFIED 60237 | UNCERTIFIED 60197 | YES 6662 |
| tpdb-8.0/TRS/Secret_06_TRS/division.xml | UNCERTIFIED 60282 | UNCERTIFIED 47027 | UNCERTIFIED 25633 | UNCERTIFIED 1632 | UNCERTIFIED 7086 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | UNCERTIFIED 60320 | UNCERTIFIED 61274 | UNCERTIFIED 6612 | UNCERTIFIED 2152 | UNCERTIFIED 8207 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml | YES 4461 | YES 4083 | UNCERTIFIED 22521 | YES 2589 | YES 1611 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-15.xml | YES 4688 | YES 3568 | UNCERTIFIED 6839 | YES 4048 | YES 1698 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-22.xml | YES 7627 | YES 5941 | UNCERTIFIED 60133 | YES 7051 | YES 3403 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-9.xml | YES 4978 | YES 4562 | UNCERTIFIED 23912 | YES 2732 | YES 1607 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | UNCERTIFIED 60740 | YES 36523 | UNCERTIFIED 60178 | UNCERTIFIED 60152 | YES 3354 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | UNCERTIFIED 60748 | UNCERTIFIED 61274 | UNCERTIFIED 60185 | UNCERTIFIED 60179 | UNCERTIFIED 59290 |
| tpdb-8.0/TRS/Secret_07_TRS/2.xml | UNCERTIFIED 60415 | UNCERTIFIED 61150 | UNCERTIFIED 23109 | UNCERTIFIED 9932 | UNCERTIFIED 54158 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | UNCERTIFIED 60264 | UNCERTIFIED 61113 | UNCERTIFIED 1605 | UNCERTIFIED 32565 | UNCERTIFIED 43062 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | UNCERTIFIED 41567 | UNCERTIFIED 61028 | UNCERTIFIED 19175 | UNCERTIFIED 4946 | UNCERTIFIED 59361 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | UNCERTIFIED 60323 | UNCERTIFIED 37114 | UNCERTIFIED 11229 | UNCERTIFIED 2561 | UNCERTIFIED 24117 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | UNCERTIFIED 60468 | UNCERTIFIED 61556 | UNCERTIFIED 60150 | UNCERTIFIED 60115 | UNCERTIFIED 26013 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | UNCERTIFIED 60371 | UNCERTIFIED 23476 | UNCERTIFIED 6116 | UNCERTIFIED 2041 | UNCERTIFIED 18512 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | UNCERTIFIED 60461 | UNCERTIFIED 61303 | UNCERTIFIED 60133 | UNCERTIFIED 17748 | UNCERTIFIED 59333 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml | UNCERTIFIED 25204 | UNCERTIFIED 13152 | UNCERTIFIED 26335 | UNCERTIFIED 2668 | UNCERTIFIED 17704 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | YES 3266 | YES 4123 | YES 5138 | YES 183 | YES 5566 |
| tpdb-8.0/TRS/Secret_07_TRS/secret3.xml | YES 2907 | YES 3696 | YES 112 | YES 113 | YES 1495 |
| tpdb-8.0/TRS/SK90/2.02.xml | YES 3082 | YES 3101 | YES 138 | YES 163 | YES 491 |
| tpdb-8.0/TRS/SK90/2.03.xml | YES 2530 | YES 3129 | YES 100 | YES 103 | YES 511 |
| tpdb-8.0/TRS/SK90/2.05.xml | UNCERTIFIED 60258 | NO 2809 | UNCERTIFIED 5844 | UNCERTIFIED 4142 | NO 305 |
| tpdb-8.0/TRS/SK90/2.10.xml | YES 2626 | YES 3034 | YES 90 | YES 90 | YES 798 |
| tpdb-8.0/TRS/SK90/2.11.xml | YES 2492 | YES 3217 | YES 100 | YES 101 | YES 513 |
| tpdb-8.0/TRS/SK90/2.15.xml | YES 2621 | YES 2797 | YES 86 | YES 85 | YES 914 |
| tpdb-8.0/TRS/SK90/2.19.xml | YES 2638 | YES 3182 | YES 107 | YES 107 | YES 1223 |
| tpdb-8.0/TRS/SK90/2.23.xml | YES 2744 | YES 3574 | YES 99 | YES 105 | YES 1065 |
| tpdb-8.0/TRS/SK90/2.24.xml | YES 2479 | YES 2956 | YES 95 | YES 96 | YES 421 |
| tpdb-8.0/TRS/SK90/2.25.xml | YES 2651 | YES 3030 | YES 95 | YES 98 | YES 1082 |
| tpdb-8.0/TRS/SK90/2.30.xml | YES 2635 | YES 2328 | YES 102 | YES 111 | YES 558 |
| tpdb-8.0/TRS/SK90/2.33.xml | YES 2635 | YES 3118 | YES 87 | YES 91 | YES 538 |
| tpdb-8.0/TRS/SK90/2.35.xml | YES 3081 | YES 2924 | YES 207 | YES 267 | YES 462 |
| tpdb-8.0/TRS/SK90/2.36.xml | YES 2976 | YES 3168 | YES 159 | YES 118 | YES 409 |
| tpdb-8.0/TRS/SK90/2.39.xml | YES 2629 | YES 3048 | YES 95 | YES 99 | YES 1069 |
| tpdb-8.0/TRS/SK90/2.44.xml | YES 4355 | YES 3295 | YES 644 | YES 439 | YES 1341 |
| tpdb-8.0/TRS/SK90/2.45.xml | YES 2847 | YES 2953 | YES 5133 | YES 662 | YES 5366 |
| tpdb-8.0/TRS/SK90/2.56.xml | YES 2862 | YES 2546 | YES 102 | YES 105 | YES 340 |
| tpdb-8.0/TRS/SK90/2.57.xml | YES 2636 | YES 2522 | YES 89 | YES 93 | YES 410 |
| tpdb-8.0/TRS/SK90/4.08.xml | YES 2421 | YES 2864 | YES 87 | YES 121 | YES 375 |
| tpdb-8.0/TRS/SK90/4.11.xml | YES 2579 | YES 2984 | YES 86 | YES 86 | YES 386 |
| tpdb-8.0/TRS/SK90/4.13.xml | YES 3197 | YES 3030 | UNCERTIFIED 9462 | YES 1867 | YES 1632 |
| tpdb-8.0/TRS/SK90/4.15.xml | YES 2484 | YES 2671 | YES 88 | YES 93 | YES 391 |
| tpdb-8.0/TRS/SK90/4.18.xml | YES 3133 | YES 2496 | YES 5105 | YES 255 | YES 774 |
| tpdb-8.0/TRS/SK90/4.30.xml | YES 4825 | YES 3516 | YES 207 | YES 945 | YES 1975 |
| tpdb-8.0/TRS/SK90/4.31.xml | YES 3247 | YES 3137 | YES 1252 | YES 284 | YES 1154 |
| tpdb-8.0/TRS/SK90/4.32.xml | UNCERTIFIED 60238 | YES 3872 | YES 288 | YES 756 | YES 1197 |
| tpdb-8.0/TRS/SK90/4.34.xml | UNCERTIFIED 60171 | NO 2487 | UNCERTIFIED 290 | UNCERTIFIED 4480 | NO 283 |
| tpdb-8.0/TRS/SK90/4.35.xml | YES 2696 | YES 2809 | YES 92 | YES 1287 | YES 336 |
| tpdb-8.0/TRS/SK90/4.36.xml | YES 2689 | YES 2469 | YES 75 | YES 103 | YES 331 |
| tpdb-8.0/TRS/SK90/4.37.xml | YES 2461 | YES 2476 | YES 75 | YES 74 | YES 333 |
| tpdb-8.0/TRS/SK90/4.42.xml | UNCERTIFIED 60215 | YES 3089 | YES 161 | YES 205 | YES 805 |
| tpdb-8.0/TRS/SK90/4.44.xml | YES 2911 | YES 2794 | YES 113 | YES 146 | YES 480 |
| tpdb-8.0/TRS/SK90/4.45.xml | YES 2559 | YES 2659 | YES 108 | YES 109 | YES 301 |
| tpdb-8.0/TRS/SK90/4.49.xml | UNCERTIFIED 6277 | NO 2389 | UNCERTIFIED 1281 | UNCERTIFIED 679 | NO 242 |
| tpdb-8.0/TRS/SK90/4.51.xml | YES 3175 | YES 2941 | UNCERTIFIED 272 | YES 401 | YES 684 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.12a.xml | UNCERTIFIED 1946 | NO 2481 | UNCERTIFIED 188 | UNCERTIFIED 170 | NO 283 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.17.xml | UNCERTIFIED 60312 | NO 2599 | UNCERTIFIED 60226 | UNCERTIFIED 60224 | NO 333 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.20a.xml | YES 2971 | YES 2828 | YES 145 | YES 1607 | YES 390 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.29.xml | UNCERTIFIED 60279 | YES 4629 | UNCERTIFIED 60112 | UNCERTIFIED 5988 | YES 1845 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | UNCERTIFIED 60235 | UNCERTIFIED 61322 | UNCERTIFIED 60119 | UNCERTIFIED 60123 | UNCERTIFIED 59273 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30.xml | UNCERTIFIED 60239 | UNCERTIFIED 61333 | UNCERTIFIED 16979 | UNCERTIFIED 1786 | UNCERTIFIED 8744 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.35.xml | UNCERTIFIED 61056 | YES 4556 | UNCERTIFIED 60152 | YES 2784 | YES 3966 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.36.xml | YES 15201 | YES 5488 | YES 2808 | YES 895 | YES 3475 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.37a.xml | YES 3347 | YES 2884 | YES 207 | YES 718 | YES 764 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.7.xml | UNCERTIFIED 60181 | NO 2437 | UNCERTIFIED 1863 | UNCERTIFIED 9535 | NO 290 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_AEL03.xml | UNCERTIFIED 6283 | NO 2521 | UNCERTIFIED 786 | UNCERTIFIED 793 | NO 250 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM99.xml | UNCERTIFIED 1410 | NO 2586 | UNCERTIFIED 132 | UNCERTIFIED 114 | NO 268 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml | UNCERTIFIED 60187 | NO 2476 | UNCERTIFIED 287 | UNCERTIFIED 300 | NO 232 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex26_Luc03b.xml | UNCERTIFIED 5321 | NO 2370 | UNCERTIFIED 555 | UNCERTIFIED 672 | NO 240 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_2_Luc97.xml | UNCERTIFIED 60218 | NO 2371 | UNCERTIFIED 430 | UNCERTIFIED 495 | NO 249 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml | UNCERTIFIED 11488 | NO 2537 | UNCERTIFIED 572 | UNCERTIFIED 2217 | NO 282 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml | UNCERTIFIED 2178 | NO 2422 | UNCERTIFIED 167 | UNCERTIFIED 207 | NO 224 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml | YES 4694 | YES 3775 | YES 2289 | YES 432 | YES 1243 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex8_BLR02.xml | UNCERTIFIED 60165 | NO 2349 | UNCERTIFIED 576 | UNCERTIFIED 613 | NO 221 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml | UNCERTIFIED 9159 | NO 2476 | UNCERTIFIED 1173 | UNCERTIFIED 885 | NO 262 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.xml | UNCERTIFIED 14951 | NO 2373 | UNCERTIFIED 179 | UNCERTIFIED 506 | NO 235 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml | UNCERTIFIED 1979 | NO 2452 | UNCERTIFIED 141 | UNCERTIFIED 192 | NO 223 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | UNCERTIFIED 1948 | NO 2424 | UNCERTIFIED 130 | UNCERTIFIED 174 | NO 276 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml | UNCERTIFIED 4051 | UNCERTIFIED 4309 | UNCERTIFIED 488 | UNCERTIFIED 377 | NO 280 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml | UNCERTIFIED 7632 | NO 2549 | UNCERTIFIED 631 | UNCERTIFIED 888 | NO 274 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml | UNCERTIFIED 1798 | NO 2360 | UNCERTIFIED 115 | UNCERTIFIED 106 | NO 263 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test10.xml | UNCERTIFIED 3054 | NO 2467 | UNCERTIFIED 689 | UNCERTIFIED 480 | NO 274 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | UNCERTIFIED 2032 | NO 2597 | UNCERTIFIED 339 | UNCERTIFIED 204 | NO 293 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml | UNCERTIFIED 4032 | UNCERTIFIED 8898 | UNCERTIFIED 935 | UNCERTIFIED 318 | UNCERTIFIED 2067 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml | UNCERTIFIED 1899 | NO 2711 | UNCERTIFIED 245 | UNCERTIFIED 191 | NO 276 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/tricky1.xml | YES 4017 | YES 2640 | YES 1658 | YES 397 | YES 810 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_FR.xml | YES 8217 | YES 4706 | YES 253 | YES 250 | YES 3592 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_GM.xml | UNCERTIFIED 60539 | UNCERTIFIED 61315 | UNCERTIFIED 43199 | UNCERTIFIED 30815 | UNCERTIFIED 59359 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml | UNCERTIFIED 680 | NO 2337 | UNCERTIFIED 85 | UNCERTIFIED 88 | NO 260 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml | YES 2697 | YES 2601 | YES 97 | YES 99 | YES 553 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_iGM.xml | YES 20530 | YES 14981 | YES 6290 | YES 2374 | YES 6809 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | UNCERTIFIED 2130 | YES 2808 | UNCERTIFIED 183 | UNCERTIFIED 190 | YES 512 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml | YES 2659 | YES 2714 | YES 100 | YES 105 | YES 489 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | YES 3204 | YES 2748 | YES 156 | YES 828 | YES 547 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_Z.xml | UNCERTIFIED 60291 | NO 2479 | UNCERTIFIED 2479 | UNCERTIFIED 1201 | NO 249 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_C.xml | UNCERTIFIED 60454 | UNCERTIFIED 61085 | UNCERTIFIED 10409 | UNCERTIFIED 60124 | UNCERTIFIED 59425 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml | UNCERTIFIED 60247 | YES 5116 | YES 914 | YES 1919 | YES 4275 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml | YES 2692 | YES 2759 | YES 116 | YES 112 | YES 833 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_FR.xml | UNCERTIFIED 45928 | NO 2588 | UNCERTIFIED 2790 | UNCERTIFIED 287 | NO 282 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_GM.xml | UNCERTIFIED 60163 | NO 2449 | UNCERTIFIED 2484 | UNCERTIFIED 413 | NO 286 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml | YES 2614 | YES 2442 | YES 136 | YES 126 | YES 611 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_iGM.xml | UNCERTIFIED 21543 | YES 15354 | UNCERTIFIED 1759 | UNCERTIFIED 3494 | YES 6795 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml | YES 7369 | YES 4918 | YES 2107 | YES 1309 | YES 8354 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | UNCERTIFIED 620 | NO 2277 | UNCERTIFIED 80 | UNCERTIFIED 79 | NO 231 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml | YES 2728 | YES 3669 | YES 106 | YES 107 | YES 2322 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_Z.xml | YES 2632 | YES 3030 | YES 98 | YES 94 | YES 5420 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_FR.xml | UNCERTIFIED 60347 | NO 16515 | UNCERTIFIED 8827 | UNCERTIFIED 15278 | UNCERTIFIED 59321 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_GM.xml | UNCERTIFIED 60424 | YES 11214 | YES 5443 | YES 2551 | YES 5713 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml | UNCERTIFIED 60720 | YES 24411 | UNCERTIFIED 10515 | YES 9891 | YES 7245 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml | UNCERTIFIED 703 | NO 2422 | UNCERTIFIED 72 | UNCERTIFIED 72 | NO 261 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml | YES 10442 | YES 9722 | YES 717 | YES 2926 | YES 6090 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_L.xml | YES 2424 | YES 2403 | YES 88 | YES 90 | YES 294 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml | UNCERTIFIED 668 | NO 2273 | UNCERTIFIED 75 | UNCERTIFIED 78 | NO 234 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_FR.xml | UNCERTIFIED 60182 | NO 2457 | UNCERTIFIED 19767 | UNCERTIFIED 766 | NO 295 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_L.xml | YES 2425 | YES 2540 | YES 82 | YES 81 | YES 261 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml | UNCERTIFIED 60422 | YES 13655 | YES 1485 | YES 6551 | YES 6539 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml | UNCERTIFIED 60423 | YES 12245 | YES 1155 | YES 8124 | YES 6509 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_Z.xml | UNCERTIFIED 60906 | NO 3684 | UNCERTIFIED 60159 | UNCERTIFIED 60145 | NO 325 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml | YES 23521 | YES 18564 | UNCERTIFIED 6761 | UNCERTIFIED 3868 | YES 6831 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml | YES 2800 | YES 3717 | YES 122 | YES 123 | YES 2071 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml | UNCERTIFIED 678 | NO 2435 | UNCERTIFIED 87 | UNCERTIFIED 89 | NO 261 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml | UNCERTIFIED 60516 | UNCERTIFIED 61175 | UNCERTIFIED 60143 | UNCERTIFIED 60138 | UNCERTIFIED 59374 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml | UNCERTIFIED 60459 | UNCERTIFIED 61315 | UNCERTIFIED 7774 | UNCERTIFIED 60131 | UNCERTIFIED 59346 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml | UNCERTIFIED 60414 | UNCERTIFIED 61216 | UNCERTIFIED 15829 | UNCERTIFIED 60110 | UNCERTIFIED 59393 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_GM.xml | UNCERTIFIED 60901 | YES 17097 | UNCERTIFIED 13472 | UNCERTIFIED 11502 | UNCERTIFIED 59526 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml | UNCERTIFIED 682 | NO 2391 | UNCERTIFIED 88 | UNCERTIFIED 89 | NO 274 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_FR.xml | UNCERTIFIED 61070 | UNCERTIFIED 61513 | YES 29949 | YES 30857 | UNCERTIFIED 59571 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml | UNCERTIFIED 60757 | UNCERTIFIED 62135 | UNCERTIFIED 36453 | UNCERTIFIED 60135 | UNCERTIFIED 59677 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml | YES 33641 | YES 15625 | YES 2507 | YES 4911 | UNCERTIFIED 59477 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml | UNCERTIFIED 60769 | UNCERTIFIED 61770 | YES 37680 | YES 28389 | UNCERTIFIED 59778 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml | YES 18739 | YES 8268 | YES 3152 | YES 3058 | UNCERTIFIED 59400 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_C.xml | YES 7958 | YES 10436 | YES 873 | YES 1196 | YES 6237 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_noand_C.xml | UNCERTIFIED 61798 | UNCERTIFIED 60782 | UNCERTIFIED 60196 | UNCERTIFIED 60162 | UNCERTIFIED 60249 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml | UNCERTIFIED 60975 | UNCERTIFIED 61349 | UNCERTIFIED 60136 | UNCERTIFIED 60137 | UNCERTIFIED 59810 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml | UNCERTIFIED 61153 | YES 16381 | YES 4555 | YES 2820 | YES 20392 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml | UNCERTIFIED 60600 | UNCERTIFIED 61018 | UNCERTIFIED 18076 | UNCERTIFIED 60123 | UNCERTIFIED 59386 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_Z.xml | UNCERTIFIED 60276 | NO 2611 | UNCERTIFIED 1060 | UNCERTIFIED 2823 | NO 330 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_C.xml | YES 39353 | YES 45176 | UNCERTIFIED 24380 | UNCERTIFIED 12476 | YES 13049 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_noand_C.xml | UNCERTIFIED 61032 | UNCERTIFIED 60737 | UNCERTIFIED 26860 | UNCERTIFIED 27281 | UNCERTIFIED 25297 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml | UNCERTIFIED 60387 | NO 2821 | UNCERTIFIED 8385 | UNCERTIFIED 13313 | NO 290 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml | YES 11142 | YES 6912 | YES 1471 | YES 1767 | YES 3432 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml | UNCERTIFIED 6237 | NO 2531 | UNCERTIFIED 563 | UNCERTIFIED 1487 | NO 267 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml | YES 5397 | YES 4057 | YES 734 | YES 1119 | YES 2406 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_iGM.xml | UNCERTIFIED 53849 | YES 49961 | UNCERTIFIED 10064 | YES 16182 | YES 43092 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_noand_iGM.xml | UNCERTIFIED 60894 | UNCERTIFIED 61676 | UNCERTIFIED 60134 | YES 42977 | UNCERTIFIED 59830 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_C.xml | UNCERTIFIED 60662 | YES 14853 | UNCERTIFIED 1717 | UNCERTIFIED 2435 | UNCERTIFIED 59440 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml | YES 6427 | YES 4858 | YES 1501 | YES 889 | YES 4286 |
| tpdb-8.0/TRS/Various_04/03.xml | UNCERTIFIED 2329 | YES 2492 | UNCERTIFIED 345 | UNCERTIFIED 218 | YES 384 |
| tpdb-8.0/TRS/Various_04/11.xml | UNCERTIFIED 2844 | UNCERTIFIED 7969 | UNCERTIFIED 433 | UNCERTIFIED 271 | UNCERTIFIED 995 |
| tpdb-8.0/TRS/Various_04/15.xml | UNCERTIFIED 60365 | YES 2948 | UNCERTIFIED 282 | UNCERTIFIED 48392 | YES 5334 |
| tpdb-8.0/TRS/Various_04/18.xml | YES 4159 | YES 3016 | YES 302 | YES 183 | YES 524 |
| tpdb-8.0/TRS/Various_04/21.xml | YES 3185 | YES 5334 | YES 266 | YES 240 | YES 1448 |
| tpdb-8.0/TRS/Various_04/22.xml | YES 3088 | YES 2968 | YES 134 | YES 150 | YES 541 |
| tpdb-8.0/TRS/Various_04/25.xml | YES 2878 | YES 2530 | YES 110 | YES 127 | YES 341 |
| tpdb-8.0/TRS/Various_04/26.xml | YES 3193 | YES 2900 | YES 158 | YES 216 | YES 591 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | UNCERTIFIED 60246 | UNCERTIFIED 61118 | UNCERTIFIED 4085 | UNCERTIFIED 21476 | UNCERTIFIED 59270 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml | UNCERTIFIED 60231 | UNCERTIFIED 61249 | UNCERTIFIED 4751 | UNCERTIFIED 15421 | UNCERTIFIED 59256 |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | UNCERTIFIED 60510 | UNCERTIFIED 61109 | YES 1206 | YES 674 | UNCERTIFIED 39152 |
| tpdb-8.0/TRS/Waldmann_06/jwcime2.xml | YES 18275 | UNCERTIFIED 61229 | YES 3813 | YES 3206 | UNCERTIFIED 4151 |
| tpdb-8.0/TRS/Waldmann_06/jwno4.xml | UNCERTIFIED 60172 | NO 2521 | UNCERTIFIED 853 | UNCERTIFIED 7572 | NO 291 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml | UNCERTIFIED 60326 | UNCERTIFIED 61358 | UNCERTIFIED 11182 | UNCERTIFIED 28638 | UNCERTIFIED 12466 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml | YES 3812 | YES 3911 | UNCERTIFIED 9242 | YES 3412 | YES 1021 |
| tpdb-8.0/TRS/Waldmann_06/jwttt.xml | YES 3557 | YES 3429 | UNCERTIFIED 14007 | YES 6344 | YES 1028 |
| tpdb-8.0/TRS/Zantema_05/jw01.xml | YES 3048 | YES 3149 | UNCERTIFIED 2060 | YES 842 | YES 649 |
| tpdb-8.0/TRS/Zantema_05/jw03.xml | YES 2933 | YES 3046 | UNCERTIFIED 2544 | YES 1254 | YES 488 |
| tpdb-8.0/TRS/Zantema_05/jw09.xml | UNCERTIFIED 60417 | YES 3101 | UNCERTIFIED 7724 | UNCERTIFIED 56694 | YES 553 |
| tpdb-8.0/TRS/Zantema_05/jw11.xml | YES 3628 | YES 2782 | UNCERTIFIED 27063 | YES 2773 | YES 719 |
| tpdb-8.0/TRS/Zantema_05/jw13.xml | YES 3590 | YES 2816 | UNCERTIFIED 27154 | YES 1409 | YES 614 |
| tpdb-8.0/TRS/Zantema_05/jw21.xml | YES 3192 | YES 3174 | UNCERTIFIED 9562 | YES 2415 | YES 687 |
| tpdb-8.0/TRS/Zantema_05/jw23.xml | YES 3156 | YES 3115 | UNCERTIFIED 14629 | YES 2045 | YES 584 |
| tpdb-8.0/TRS/Zantema_05/jw24.xml | YES 3164 | YES 3314 | UNCERTIFIED 9452 | YES 3108 | YES 569 |
| tpdb-8.0/TRS/Zantema_05/jw25.xml | YES 3033 | YES 3072 | UNCERTIFIED 8897 | YES 3341 | YES 495 |
| tpdb-8.0/TRS/Zantema_05/jw31.xml | YES 2986 | YES 3039 | UNCERTIFIED 7171 | YES 953 | YES 564 |
| tpdb-8.0/TRS/Zantema_05/jw35.xml | YES 3578 | YES 2606 | UNCERTIFIED 26996 | YES 1301 | YES 403 |
| tpdb-8.0/TRS/Zantema_05/jw39.xml | YES 3625 | YES 3157 | UNCERTIFIED 11277 | YES 5154 | YES 822 |
| tpdb-8.0/TRS/Zantema_05/jw47.xml | YES 2515 | YES 2707 | YES 86 | YES 86 | YES 365 |
| tpdb-8.0/TRS/Zantema_05/jw50.xml | YES 3206 | YES 2846 | UNCERTIFIED 60114 | YES 1801 | YES 304 |
| tpdb-8.0/TRS/Zantema_05/z07.xml | UNCERTIFIED 60169 | YES 19841 | UNCERTIFIED 30380 | UNCERTIFIED 1912 | UNCERTIFIED 1515 |
| tpdb-8.0/TRS/Zantema_05/z11.xml | UNCERTIFIED 60695 | YES 3514 | UNCERTIFIED 60134 | UNCERTIFIED 36835 | UNCERTIFIED 2502 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | UNCERTIFIED 60203 | UNCERTIFIED 61313 | UNCERTIFIED 1090 | UNCERTIFIED 2293 | UNCERTIFIED 59259 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | UNCERTIFIED 60464 | UNCERTIFIED 61209 | UNCERTIFIED 10489 | UNCERTIFIED 60120 | UNCERTIFIED 59280 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | UNCERTIFIED 60267 | UNCERTIFIED 61386 | UNCERTIFIED 13265 | UNCERTIFIED 5654 | UNCERTIFIED 59284 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | YES 7830 | YES 6130 | UNCERTIFIED 39659 | YES 22843 | YES 762 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | UNCERTIFIED 60163 | UNCERTIFIED 2284 | UNCERTIFIED 352 | UNCERTIFIED 295 | UNCERTIFIED 882 |
| tpdb-8.0/TRS/Zantema_05/z29.xml | UNCERTIFIED 4038 | YES 3464 | YES 231 | YES 283 | YES 968 | 153 | 266 | 131 | 171 | 262 |