| benchmark | AProVE-A3PAT | AProVE-CeTA | cime3beta | cime3finder | TTT2Cert |
|---|---|---|---|---|---|
| tpdb-8.0/TRS/Bouchare_06/02.xml | YES 3264 | YES 2977 | UNCERTIFIED 290 | YES 536 | YES 640 |
| tpdb-8.0/TRS/Bouchare_06/03.xml | UNCERTIFIED 60201 | YES 4598 | UNCERTIFIED 300 | UNCERTIFIED 1040 | YES 5912 |
| tpdb-8.0/TRS/Bouchare_06/05.xml | UNCERTIFIED 60210 | YES 6185 | UNCERTIFIED 318 | UNCERTIFIED 1630 | YES 6474 |
| tpdb-8.0/TRS/Bouchare_06/10.xml | UNCERTIFIED 60231 | YES 8785 | UNCERTIFIED 425 | UNCERTIFIED 6614 | YES 7206 |
| tpdb-8.0/TRS/Bouchare_06/12.xml | UNCERTIFIED 60187 | YES 5529 | UNCERTIFIED 214 | UNCERTIFIED 646 | YES 6278 |
| tpdb-8.0/TRS/Bouchare_06/13.xml | UNCERTIFIED 60214 | YES 5801 | UNCERTIFIED 386 | UNCERTIFIED 1970 | YES 6284 |
| tpdb-8.0/TRS/Bouchare_06/15.xml | UNCERTIFIED 60291 | YES 2854 | UNCERTIFIED 372 | UNCERTIFIED 1693 | YES 6531 |
| tpdb-8.0/TRS/Bouchare_06/16.xml | UNCERTIFIED 60181 | YES 2781 | UNCERTIFIED 247 | UNCERTIFIED 629 | YES 2215 |
| tpdb-8.0/TRS/Bouchare_06/17.xml | YES 15424 | YES 2811 | UNCERTIFIED 287 | UNCERTIFIED 1037 | YES 2376 |
| tpdb-8.0/TRS/Bouchare_06/18.xml | UNCERTIFIED 60225 | YES 5304 | UNCERTIFIED 407 | UNCERTIFIED 3536 | YES 6494 |
| tpdb-8.0/TRS/Gebhardt_06/04.xml | UNCERTIFIED 60754 | YES 5305 | UNCERTIFIED 1954 | UNCERTIFIED 60125 | UNCERTIFIED 60144 |
| tpdb-8.0/TRS/Gebhardt_06/07.xml | UNCERTIFIED 60600 | YES 5678 | UNCERTIFIED 1260 | UNCERTIFIED 60120 | UNCERTIFIED 60141 |
| tpdb-8.0/TRS/Gebhardt_06/08.xml | UNCERTIFIED 60588 | UNCERTIFIED 61255 | UNCERTIFIED 1216 | UNCERTIFIED 60128 | UNCERTIFIED 60163 |
| tpdb-8.0/TRS/Gebhardt_06/14.xml | UNCERTIFIED 60571 | YES 5691 | UNCERTIFIED 711 | UNCERTIFIED 60095 | UNCERTIFIED 60112 |
| tpdb-8.0/TRS/Gebhardt_06/16.xml | UNCERTIFIED 60760 | YES 5575 | UNCERTIFIED 900 | UNCERTIFIED 60137 | UNCERTIFIED 60175 |
| tpdb-8.0/TRS/Gebhardt_06/17.xml | UNCERTIFIED 60620 | YES 7407 | UNCERTIFIED 1038 | UNCERTIFIED 60117 | UNCERTIFIED 60144 |
| tpdb-8.0/TRS/ICFP_2010/158152.xml | UNCERTIFIED 61659 | UNCERTIFIED 61671 | UNCERTIFIED 60148 | UNCERTIFIED 60185 | YES 51009 |
| tpdb-8.0/TRS/ICFP_2010/159731.xml | UNCERTIFIED 62098 | UNCERTIFIED 60821 | UNCERTIFIED 41532 | UNCERTIFIED 60183 | YES 19021 |
| tpdb-8.0/TRS/ICFP_2010/160234.xml | YES 59349 | YES 18357 | YES 33722 | UNCERTIFIED 46924 | YES 8786 |
| tpdb-8.0/TRS/ICFP_2010/211471.xml | YES 31863 | YES 3698 | UNCERTIFIED 60137 | UNCERTIFIED 60211 | UNCERTIFIED 60497 |
| tpdb-8.0/TRS/ICFP_2010/211857.xml | YES 30416 | YES 13212 | YES 2515 | YES 10483 | YES 6418 |
| tpdb-8.0/TRS/ICFP_2010/212037.xml | UNCERTIFIED 61754 | YES 34862 | UNCERTIFIED 60138 | UNCERTIFIED 60186 | YES 51354 |
| tpdb-8.0/TRS/ICFP_2010/213719.xml | UNCERTIFIED 61981 | UNCERTIFIED 61728 | UNCERTIFIED 60156 | UNCERTIFIED 60215 | UNCERTIFIED 60146 |
| tpdb-8.0/TRS/ICFP_2010/230780.xml | UNCERTIFIED 60688 | YES 6151 | UNCERTIFIED 60170 | UNCERTIFIED 60168 | UNCERTIFIED 60482 |
| tpdb-8.0/TRS/ICFP_2010/231300.xml | UNCERTIFIED 61071 | YES 5049 | UNCERTIFIED 60133 | UNCERTIFIED 60139 | UNCERTIFIED 60655 |
| tpdb-8.0/TRS/ICFP_2010/247504.xml | UNCERTIFIED 61125 | YES 5026 | UNCERTIFIED 60108 | UNCERTIFIED 60121 | UNCERTIFIED 60535 |
| tpdb-8.0/TRS/ICFP_2010/25192.xml | YES 2756 | YES 2723 | YES 329 | YES 1600 | YES 1301 |
| tpdb-8.0/TRS/ICFP_2010/25731.xml | YES 11701 | UNCERTIFIED 62612 | UNCERTIFIED 5985 | UNCERTIFIED 60210 | YES 5858 |
| tpdb-8.0/TRS/ICFP_2010/26291.xml | UNCERTIFIED 61409 | UNCERTIFIED 61695 | UNCERTIFIED 14734 | UNCERTIFIED 60214 | YES 7539 |
| tpdb-8.0/TRS/ICFP_2010/3746.xml | UNCERTIFIED 60916 | YES 11430 | UNCERTIFIED 60146 | UNCERTIFIED 60147 | UNCERTIFIED 60129 |
| tpdb-8.0/TRS/ICFP_2010/3770.xml | UNCERTIFIED 61279 | UNCERTIFIED 61032 | UNCERTIFIED 60145 | UNCERTIFIED 60157 | UNCERTIFIED 60139 |
| tpdb-8.0/TRS/ICFP_2010/40093.xml | UNCERTIFIED 61389 | UNCERTIFIED 62044 | UNCERTIFIED 60118 | UNCERTIFIED 60179 | YES 7790 |
| tpdb-8.0/TRS/ICFP_2010/4046.xml | UNCERTIFIED 61085 | YES 5175 | UNCERTIFIED 60138 | UNCERTIFIED 60183 | YES 5841 |
| tpdb-8.0/TRS/ICFP_2010/4970.xml | UNCERTIFIED 61424 | UNCERTIFIED 61768 | UNCERTIFIED 60171 | UNCERTIFIED 60239 | UNCERTIFIED 60117 |
| tpdb-8.0/TRS/ICFP_2010/85920.xml | UNCERTIFIED 61417 | UNCERTIFIED 62246 | UNCERTIFIED 60176 | UNCERTIFIED 60233 | UNCERTIFIED 60303 |
| tpdb-8.0/TRS/ICFP_2010/96029.xml | UNCERTIFIED 61367 | UNCERTIFIED 61466 | UNCERTIFIED 60127 | UNCERTIFIED 60147 | UNCERTIFIED 60089 |
| tpdb-8.0/TRS/ICFP_2010/96119.xml | UNCERTIFIED 61256 | UNCERTIFIED 61677 | UNCERTIFIED 60167 | UNCERTIFIED 60237 | UNCERTIFIED 60195 |
| tpdb-8.0/TRS/ICFP_2010/96239.xml | UNCERTIFIED 61448 | UNCERTIFIED 62177 | UNCERTIFIED 60167 | UNCERTIFIED 60183 | UNCERTIFIED 60136 |
| tpdb-8.0/TRS/ICFP_2010/96256.xml | UNCERTIFIED 61247 | UNCERTIFIED 61663 | UNCERTIFIED 60165 | UNCERTIFIED 60236 | UNCERTIFIED 60186 |
| tpdb-8.0/TRS/ICFP_2010/96289.xml | UNCERTIFIED 61226 | UNCERTIFIED 61681 | UNCERTIFIED 60145 | UNCERTIFIED 60199 | UNCERTIFIED 60124 |
| tpdb-8.0/TRS/ICFP_2010/96302.xml | UNCERTIFIED 61398 | UNCERTIFIED 61687 | UNCERTIFIED 60169 | UNCERTIFIED 60187 | UNCERTIFIED 60119 |
| tpdb-8.0/TRS/ICFP_2010/96403.xml | UNCERTIFIED 61536 | UNCERTIFIED 61955 | UNCERTIFIED 60147 | UNCERTIFIED 60217 | UNCERTIFIED 60117 |
| tpdb-8.0/TRS/ICFP_2010/96523.xml | UNCERTIFIED 61386 | UNCERTIFIED 61303 | UNCERTIFIED 60176 | UNCERTIFIED 60235 | UNCERTIFIED 60126 |
| tpdb-8.0/TRS/ICFP_2010/96642.xml | UNCERTIFIED 61099 | YES 21546 | UNCERTIFIED 60102 | UNCERTIFIED 60100 | UNCERTIFIED 60171 |
| tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml | UNCERTIFIED 60243 | UNCERTIFIED 61694 | UNCERTIFIED 1203 | UNCERTIFIED 60124 | UNCERTIFIED 60149 |
| tpdb-8.0/TRS/Mixed_SRS/01.xml | UNCERTIFIED 60497 | YES 5363 | UNCERTIFIED 910 | UNCERTIFIED 60125 | UNCERTIFIED 60151 |
| tpdb-8.0/TRS/Mixed_SRS/02-oppelt08.xml | UNCERTIFIED 60207 | UNCERTIFIED 61093 | UNCERTIFIED 422 | UNCERTIFIED 2949 | UNCERTIFIED 60153 |
| tpdb-8.0/TRS/Mixed_SRS/03-oppelt08.xml | UNCERTIFIED 60222 | UNCERTIFIED 61080 | UNCERTIFIED 493 | UNCERTIFIED 2531 | UNCERTIFIED 60194 |
| tpdb-8.0/TRS/Mixed_SRS/05.xml | UNCERTIFIED 60318 | YES 8872 | UNCERTIFIED 540 | UNCERTIFIED 55185 | YES 8134 |
| tpdb-8.0/TRS/Mixed_SRS/07.xml | UNCERTIFIED 60231 | YES 5734 | UNCERTIFIED 266 | UNCERTIFIED 4451 | YES 4257 |
| tpdb-8.0/TRS/Mixed_SRS/09.xml | YES 35804 | YES 4737 | UNCERTIFIED 1037 | UNCERTIFIED 56656 | YES 5940 |
| tpdb-8.0/TRS/Mixed_SRS/1.xml | UNCERTIFIED 60174 | UNCERTIFIED 61126 | UNCERTIFIED 202 | UNCERTIFIED 2213 | NO 390 |
| tpdb-8.0/TRS/Mixed_SRS/2.xml | UNCERTIFIED 60216 | YES 5227 | UNCERTIFIED 295 | UNCERTIFIED 8242 | UNCERTIFIED 60141 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove3.xml | UNCERTIFIED 60687 | YES 4850 | UNCERTIFIED 1553 | UNCERTIFIED 24106 | YES 3310 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml | UNCERTIFIED 60293 | YES 11666 | UNCERTIFIED 551 | UNCERTIFIED 2121 | UNCERTIFIED 60201 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox1.xml | YES 6076 | YES 9340 | UNCERTIFIED 10558 | YES 17752 | YES 1263 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml | YES 12039 | UNCERTIFIED 9428 | UNCERTIFIED 5556 | UNCERTIFIED 60135 | YES 2251 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml | YES 4385 | YES 3998 | YES 725 | YES 1532 | YES 1664 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa2.xml | UNCERTIFIED 60201 | YES 4790 | UNCERTIFIED 308 | UNCERTIFIED 7121 | YES 9298 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml | YES 4066 | YES 4175 | YES 262 | YES 307 | YES 1695 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml | UNCERTIFIED 60865 | YES 3629 | UNCERTIFIED 2026 | YES 16112 | YES 3353 |
| tpdb-8.0/TRS/Secret_06_SRS/3.xml | UNCERTIFIED 60367 | UNCERTIFIED 61110 | UNCERTIFIED 618 | UNCERTIFIED 25470 | UNCERTIFIED 60164 |
| tpdb-8.0/TRS/Secret_06_SRS/5-matchbox.xml | YES 16834 | YES 6654 | UNCERTIFIED 386 | YES 3132 | YES 6748 |
| tpdb-8.0/TRS/Secret_06_SRS/7.xml | YES 3710 | YES 5366 | UNCERTIFIED 286 | YES 2369 | YES 6185 |
| tpdb-8.0/TRS/Secret_06_SRS/9.xml | YES 3949 | YES 4803 | UNCERTIFIED 257 | UNCERTIFIED 4498 | YES 6010 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove02.xml | UNCERTIFIED 61431 | UNCERTIFIED 61727 | UNCERTIFIED 17438 | UNCERTIFIED 60200 | YES 6023 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove03.xml | UNCERTIFIED 61653 | YES 11750 | UNCERTIFIED 47312 | UNCERTIFIED 60205 | YES 6563 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove05.xml | UNCERTIFIED 61394 | YES 5691 | UNCERTIFIED 18224 | UNCERTIFIED 60199 | YES 6094 |
| tpdb-8.0/TRS/Secret_06_SRS/multum4.xml | UNCERTIFIED 61471 | UNCERTIFIED 62841 | UNCERTIFIED 57813 | UNCERTIFIED 60198 | YES 2472 |
| tpdb-8.0/TRS/Secret_06_SRS/multum5.xml | YES 5097 | YES 5472 | UNCERTIFIED 2094 | YES 2800 | YES 853 |
| tpdb-8.0/TRS/Secret_06_SRS/secr1.xml | UNCERTIFIED 60221 | YES 2990 | UNCERTIFIED 369 | UNCERTIFIED 1889 | YES 1454 |
| tpdb-8.0/TRS/Secret_07_SRS/dj.xml | YES 2590 | YES 2841 | YES 96 | YES 196 | YES 715 |
| tpdb-8.0/TRS/Secret_07_SRS/num-515.xml | UNCERTIFIED 60778 | UNCERTIFIED 61925 | UNCERTIFIED 388 | UNCERTIFIED 60122 | UNCERTIFIED 60147 |
| tpdb-8.0/TRS/Secret_07_SRS/num-525.xml | UNCERTIFIED 60542 | UNCERTIFIED 61185 | UNCERTIFIED 304 | UNCERTIFIED 60127 | NO 909 |
| tpdb-8.0/TRS/Secret_07_SRS/num-539.xml | UNCERTIFIED 60270 | UNCERTIFIED 61476 | UNCERTIFIED 312 | UNCERTIFIED 60113 | NO 378 |
| tpdb-8.0/TRS/Secret_07_SRS/x01.xml | UNCERTIFIED 60196 | YES 5474 | UNCERTIFIED 258 | UNCERTIFIED 444 | UNCERTIFIED 60184 |
| tpdb-8.0/TRS/Secret_07_SRS/x02.xml | UNCERTIFIED 60193 | YES 17595 | UNCERTIFIED 246 | UNCERTIFIED 426 | YES 3176 |
| tpdb-8.0/TRS/Secret_07_SRS/x07.xml | UNCERTIFIED 60272 | UNCERTIFIED 61183 | UNCERTIFIED 625 | UNCERTIFIED 3595 | UNCERTIFIED 60145 |
| tpdb-8.0/TRS/Secret_07_SRS/x10.xml | UNCERTIFIED 60233 | YES 8679 | UNCERTIFIED 529 | UNCERTIFIED 9497 | YES 4821 |
| tpdb-8.0/TRS/Trafo_06/dup10.xml | UNCERTIFIED 61785 | UNCERTIFIED 61553 | UNCERTIFIED 29746 | UNCERTIFIED 60221 | YES 9012 |
| tpdb-8.0/TRS/Trafo_06/dup11.xml | YES 20905 | YES 10563 | YES 11490 | YES 17073 | YES 12971 |
| tpdb-8.0/TRS/Trafo_06/dup12.xml | UNCERTIFIED 60935 | UNCERTIFIED 62309 | UNCERTIFIED 5880 | UNCERTIFIED 60136 | YES 16379 |
| tpdb-8.0/TRS/Trafo_06/hom01.xml | YES 48750 | YES 7732 | UNCERTIFIED 5296 | UNCERTIFIED 60163 | YES 1474 |
| tpdb-8.0/TRS/Trafo_06/hom02.xml | YES 3961 | YES 3424 | YES 235 | YES 944 | YES 854 |
| tpdb-8.0/TRS/Trafo_06/un06.xml | YES 22007 | YES 7636 | UNCERTIFIED 3304 | UNCERTIFIED 60141 | YES 2444 |
| tpdb-8.0/TRS/Trafo_06/un07.xml | YES 10003 | YES 6524 | UNCERTIFIED 2432 | UNCERTIFIED 60145 | YES 7217 |
| tpdb-8.0/TRS/Waldmann_06_SRS/e.xml | UNCERTIFIED 60419 | YES 20958 | UNCERTIFIED 2796 | YES 4654 | YES 3880 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw4.xml | UNCERTIFIED 61303 | UNCERTIFIED 61476 | UNCERTIFIED 1853 | UNCERTIFIED 60252 | YES 10100 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-1.xml | UNCERTIFIED 60183 | YES 2911 | UNCERTIFIED 208 | UNCERTIFIED 509 | YES 2374 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-2.xml | UNCERTIFIED 60560 | YES 6533 | UNCERTIFIED 523 | UNCERTIFIED 16256 | UNCERTIFIED 60124 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-6.xml | UNCERTIFIED 60542 | UNCERTIFIED 61651 | UNCERTIFIED 654 | UNCERTIFIED 3873 | UNCERTIFIED 60139 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-3.xml | UNCERTIFIED 60626 | UNCERTIFIED 61448 | UNCERTIFIED 1140 | UNCERTIFIED 60092 | UNCERTIFIED 60123 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-4.xml | UNCERTIFIED 60416 | UNCERTIFIED 62159 | UNCERTIFIED 1006 | UNCERTIFIED 22696 | NO 443 |
| tpdb-8.0/TRS/Waldmann_06_SRS/z086-variant.xml | UNCERTIFIED 60266 | YES 10051 | UNCERTIFIED 528 | UNCERTIFIED 7997 | YES 20607 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-3.xml | UNCERTIFIED 60528 | YES 6649 | UNCERTIFIED 582 | UNCERTIFIED 43709 | YES 8476 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-4.xml | UNCERTIFIED 60595 | YES 5765 | UNCERTIFIED 501 | UNCERTIFIED 41317 | YES 5136 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-12.xml | UNCERTIFIED 60220 | YES 5090 | UNCERTIFIED 231 | UNCERTIFIED 3700 | YES 4247 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-15.xml | UNCERTIFIED 60661 | UNCERTIFIED 63338 | UNCERTIFIED 396 | UNCERTIFIED 60123 | NO 1410 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-16.xml | UNCERTIFIED 60289 | YES 2704 | UNCERTIFIED 275 | UNCERTIFIED 939 | YES 3256 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-18.xml | UNCERTIFIED 60443 | UNCERTIFIED 61164 | UNCERTIFIED 326 | UNCERTIFIED 5352 | UNCERTIFIED 60142 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-21.xml | UNCERTIFIED 60219 | UNCERTIFIED 61293 | UNCERTIFIED 286 | UNCERTIFIED 1113 | UNCERTIFIED 60170 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-6.xml | UNCERTIFIED 60356 | YES 4005 | UNCERTIFIED 341 | UNCERTIFIED 17058 | YES 6130 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-8.xml | UNCERTIFIED 60381 | YES 3834 | UNCERTIFIED 333 | UNCERTIFIED 23063 | YES 5652 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-16.xml | UNCERTIFIED 60382 | YES 6689 | UNCERTIFIED 526 | UNCERTIFIED 23420 | YES 6059 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-19.xml | UNCERTIFIED 60207 | YES 4010 | UNCERTIFIED 354 | UNCERTIFIED 1992 | UNCERTIFIED 60121 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-21.xml | UNCERTIFIED 60352 | YES 3746 | UNCERTIFIED 334 | UNCERTIFIED 11868 | YES 5873 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-5.xml | UNCERTIFIED 60756 | YES 5208 | UNCERTIFIED 1374 | UNCERTIFIED 60146 | UNCERTIFIED 60159 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-8.xml | UNCERTIFIED 60312 | YES 8875 | UNCERTIFIED 357 | UNCERTIFIED 37445 | UNCERTIFIED 60128 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-106.xml | UNCERTIFIED 60483 | YES 4353 | UNCERTIFIED 304 | UNCERTIFIED 60118 | YES 6448 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-108.xml | UNCERTIFIED 60213 | YES 3776 | UNCERTIFIED 414 | UNCERTIFIED 4953 | YES 3866 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-10.xml | UNCERTIFIED 60383 | YES 4138 | UNCERTIFIED 325 | UNCERTIFIED 37402 | YES 5637 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-149.xml | UNCERTIFIED 60522 | YES 5356 | UNCERTIFIED 485 | UNCERTIFIED 15144 | YES 2833 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-14.xml | UNCERTIFIED 60208 | YES 3755 | UNCERTIFIED 212 | UNCERTIFIED 1488 | YES 5620 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-152.xml | UNCERTIFIED 60207 | YES 3738 | UNCERTIFIED 271 | UNCERTIFIED 905 | YES 3214 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-160.xml | UNCERTIFIED 60799 | UNCERTIFIED 61833 | UNCERTIFIED 610 | UNCERTIFIED 60122 | NO 578 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-179.xml | UNCERTIFIED 60786 | UNCERTIFIED 62119 | UNCERTIFIED 492 | UNCERTIFIED 60110 | NO 383 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-181.xml | UNCERTIFIED 60615 | UNCERTIFIED 61154 | UNCERTIFIED 511 | UNCERTIFIED 7473 | NO 745 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-195.xml | UNCERTIFIED 60778 | UNCERTIFIED 61419 | UNCERTIFIED 417 | UNCERTIFIED 60144 | NO 3257 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-19.xml | UNCERTIFIED 60202 | YES 3540 | UNCERTIFIED 364 | UNCERTIFIED 3670 | YES 5521 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-1.xml | UNCERTIFIED 60175 | YES 4784 | UNCERTIFIED 173 | UNCERTIFIED 326 | YES 1748 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-203.xml | UNCERTIFIED 60206 | YES 3367 | UNCERTIFIED 205 | UNCERTIFIED 1129 | YES 4091 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-204.xml | UNCERTIFIED 60233 | YES 4894 | UNCERTIFIED 292 | UNCERTIFIED 2004 | UNCERTIFIED 60155 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-217.xml | UNCERTIFIED 60214 | UNCERTIFIED 61521 | UNCERTIFIED 370 | UNCERTIFIED 1727 | NO 3486 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-227.xml | UNCERTIFIED 60332 | UNCERTIFIED 63417 | UNCERTIFIED 536 | UNCERTIFIED 8407 | UNCERTIFIED 60162 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-232.xml | UNCERTIFIED 60153 | YES 3611 | UNCERTIFIED 189 | UNCERTIFIED 410 | YES 3519 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-233.xml | UNCERTIFIED 60188 | UNCERTIFIED 61654 | UNCERTIFIED 276 | UNCERTIFIED 1422 | UNCERTIFIED 60157 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-281.xml | UNCERTIFIED 60200 | YES 3637 | UNCERTIFIED 210 | UNCERTIFIED 1102 | YES 1813 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-282.xml | UNCERTIFIED 60338 | YES 4331 | UNCERTIFIED 319 | UNCERTIFIED 4524 | YES 2232 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-285.xml | UNCERTIFIED 60308 | YES 3432 | UNCERTIFIED 242 | UNCERTIFIED 9560 | YES 2976 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-300.xml | UNCERTIFIED 60203 | YES 5058 | UNCERTIFIED 244 | UNCERTIFIED 1788 | YES 2692 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-327.xml | UNCERTIFIED 60248 | YES 4998 | UNCERTIFIED 264 | UNCERTIFIED 34729 | YES 5687 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-330.xml | UNCERTIFIED 60176 | YES 5341 | UNCERTIFIED 183 | UNCERTIFIED 401 | YES 5590 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-335.xml | UNCERTIFIED 60220 | YES 4889 | UNCERTIFIED 244 | UNCERTIFIED 4925 | YES 4548 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-343.xml | UNCERTIFIED 60233 | YES 3624 | UNCERTIFIED 275 | UNCERTIFIED 2217 | YES 1945 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-348.xml | UNCERTIFIED 60410 | YES 3693 | UNCERTIFIED 426 | UNCERTIFIED 60118 | YES 5918 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-353.xml | UNCERTIFIED 60755 | UNCERTIFIED 61930 | UNCERTIFIED 358 | UNCERTIFIED 60134 | UNCERTIFIED 60155 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-35.xml | UNCERTIFIED 60194 | YES 5284 | UNCERTIFIED 233 | UNCERTIFIED 570 | YES 3003 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-362.xml | UNCERTIFIED 60722 | UNCERTIFIED 61364 | UNCERTIFIED 501 | UNCERTIFIED 60117 | UNCERTIFIED 60175 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-367.xml | UNCERTIFIED 60329 | YES 4976 | UNCERTIFIED 395 | UNCERTIFIED 39516 | YES 5993 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-389.xml | UNCERTIFIED 60296 | YES 4906 | UNCERTIFIED 435 | UNCERTIFIED 41814 | YES 5783 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-396.xml | UNCERTIFIED 60564 | YES 4672 | UNCERTIFIED 293 | UNCERTIFIED 48206 | YES 5868 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-418.xml | UNCERTIFIED 60500 | YES 3812 | UNCERTIFIED 334 | UNCERTIFIED 60115 | YES 6061 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-429.xml | UNCERTIFIED 60194 | YES 13300 | UNCERTIFIED 236 | UNCERTIFIED 787 | YES 2195 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-446.xml | UNCERTIFIED 60197 | YES 4397 | UNCERTIFIED 206 | UNCERTIFIED 4262 | YES 4754 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-465.xml | UNCERTIFIED 60183 | YES 3756 | UNCERTIFIED 203 | UNCERTIFIED 882 | YES 5635 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-467.xml | UNCERTIFIED 60195 | YES 3842 | UNCERTIFIED 272 | UNCERTIFIED 1475 | YES 6309 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-470.xml | YES 16881 | YES 4490 | UNCERTIFIED 235 | UNCERTIFIED 741 | YES 4125 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-472.xml | UNCERTIFIED 60200 | YES 5422 | UNCERTIFIED 193 | UNCERTIFIED 534 | UNCERTIFIED 60178 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-474.xml | UNCERTIFIED 60259 | UNCERTIFIED 61226 | UNCERTIFIED 349 | UNCERTIFIED 60117 | UNCERTIFIED 60172 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-476.xml | UNCERTIFIED 60479 | YES 4215 | UNCERTIFIED 295 | UNCERTIFIED 60127 | YES 4153 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-484.xml | UNCERTIFIED 60216 | YES 4286 | UNCERTIFIED 429 | UNCERTIFIED 7315 | YES 4319 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-488.xml | UNCERTIFIED 60166 | UNCERTIFIED 61491 | UNCERTIFIED 198 | UNCERTIFIED 676 | UNCERTIFIED 60168 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-494.xml | UNCERTIFIED 60206 | YES 4415 | UNCERTIFIED 208 | UNCERTIFIED 4147 | YES 5733 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-495.xml | UNCERTIFIED 60194 | YES 4496 | UNCERTIFIED 270 | UNCERTIFIED 8418 | UNCERTIFIED 60202 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-497.xml | UNCERTIFIED 60350 | UNCERTIFIED 61090 | UNCERTIFIED 254 | UNCERTIFIED 60110 | UNCERTIFIED 60149 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-49.xml | UNCERTIFIED 60229 | YES 3496 | UNCERTIFIED 246 | UNCERTIFIED 4230 | YES 4222 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-502.xml | UNCERTIFIED 60157 | YES 3779 | UNCERTIFIED 234 | UNCERTIFIED 513 | YES 8016 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-511.xml | UNCERTIFIED 60258 | UNCERTIFIED 61193 | UNCERTIFIED 272 | UNCERTIFIED 60115 | UNCERTIFIED 60142 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-522.xml | UNCERTIFIED 60738 | UNCERTIFIED 61113 | UNCERTIFIED 333 | UNCERTIFIED 60115 | NO 1914 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-545.xml | UNCERTIFIED 60805 | YES 6658 | UNCERTIFIED 463 | UNCERTIFIED 60132 | YES 5562 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-547.xml | UNCERTIFIED 60207 | YES 3811 | UNCERTIFIED 231 | UNCERTIFIED 1433 | YES 7450 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-558.xml | UNCERTIFIED 60195 | UNCERTIFIED 61330 | UNCERTIFIED 252 | UNCERTIFIED 1465 | UNCERTIFIED 60170 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-560.xml | UNCERTIFIED 60187 | YES 6098 | UNCERTIFIED 176 | UNCERTIFIED 1535 | YES 5588 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-561.xml | UNCERTIFIED 60184 | YES 4732 | UNCERTIFIED 214 | UNCERTIFIED 1136 | YES 5521 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-563.xml | UNCERTIFIED 60198 | YES 4912 | UNCERTIFIED 230 | UNCERTIFIED 3174 | YES 3957 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-57.xml | UNCERTIFIED 60663 | YES 2775 | YES 112 | YES 1335 | YES 2596 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-64.xml | UNCERTIFIED 60230 | YES 2635 | YES 108 | YES 188 | YES 4000 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-65.xml | UNCERTIFIED 60594 | YES 4058 | UNCERTIFIED 391 | UNCERTIFIED 15211 | YES 5919 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-83.xml | UNCERTIFIED 60195 | UNCERTIFIED 61280 | UNCERTIFIED 222 | UNCERTIFIED 702 | UNCERTIFIED 60194 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-90.xml | UNCERTIFIED 60179 | UNCERTIFIED 61157 | UNCERTIFIED 212 | UNCERTIFIED 646 | UNCERTIFIED 60198 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-94.xml | UNCERTIFIED 60172 | YES 3459 | UNCERTIFIED 209 | UNCERTIFIED 453 | YES 2795 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-99.xml | UNCERTIFIED 60204 | UNCERTIFIED 61857 | UNCERTIFIED 343 | UNCERTIFIED 1487 | NO 2105 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-9.xml | UNCERTIFIED 60384 | YES 3983 | UNCERTIFIED 349 | UNCERTIFIED 29849 | YES 5797 |
| tpdb-8.0/TRS/Zantema_04/z004.xml | YES 6508 | YES 3807 | UNCERTIFIED 944 | YES 21356 | YES 827 |
| tpdb-8.0/TRS/Zantema_04/z007.xml | YES 2984 | YES 2714 | YES 130 | YES 203 | YES 467 |
| tpdb-8.0/TRS/Zantema_04/z014.xml | YES 3041 | YES 2798 | YES 129 | YES 276 | YES 640 |
| tpdb-8.0/TRS/Zantema_04/z018.xml | YES 3731 | YES 3220 | UNCERTIFIED 242 | YES 468 | YES 5458 |
| tpdb-8.0/TRS/Zantema_04/z021.xml | YES 3368 | YES 2888 | YES 161 | YES 310 | YES 523 |
| tpdb-8.0/TRS/Zantema_04/z023.xml | YES 3843 | YES 4265 | UNCERTIFIED 785 | YES 2579 | YES 787 |
| tpdb-8.0/TRS/Zantema_04/z025.xml | YES 3092 | YES 2905 | YES 131 | YES 315 | YES 486 |
| tpdb-8.0/TRS/Zantema_04/z026.xml | YES 2756 | YES 3309 | YES 97 | YES 162 | YES 519 |
| tpdb-8.0/TRS/Zantema_04/z031.xml | UNCERTIFIED 61223 | UNCERTIFIED 61592 | UNCERTIFIED 2227 | UNCERTIFIED 60168 | YES 48914 |
| tpdb-8.0/TRS/Zantema_04/z036.xml | UNCERTIFIED 61321 | YES 8970 | UNCERTIFIED 1331 | UNCERTIFIED 60174 | YES 6838 |
| tpdb-8.0/TRS/Zantema_04/z037.xml | UNCERTIFIED 61359 | UNCERTIFIED 61638 | UNCERTIFIED 1606 | UNCERTIFIED 60162 | YES 16012 |
| tpdb-8.0/TRS/Zantema_04/z041.xml | UNCERTIFIED 62977 | UNCERTIFIED 61524 | UNCERTIFIED 1676 | UNCERTIFIED 60182 | UNCERTIFIED 60166 |
| tpdb-8.0/TRS/Zantema_04/z044.xml | UNCERTIFIED 61457 | NO 2715 | UNCERTIFIED 1610 | UNCERTIFIED 60129 | NO 295 |
| tpdb-8.0/TRS/Zantema_04/z049.xml | YES 4639 | YES 2573 | UNCERTIFIED 1290 | YES 21447 | YES 550 |
| tpdb-8.0/TRS/Zantema_04/z051.xml | YES 7159 | YES 5725 | UNCERTIFIED 1432 | YES 50648 | YES 2339 |
| tpdb-8.0/TRS/Zantema_04/z054.xml | UNCERTIFIED 60846 | YES 7817 | UNCERTIFIED 964 | UNCERTIFIED 60145 | YES 55330 |
| tpdb-8.0/TRS/Zantema_04/z055.xml | YES 3737 | YES 2647 | UNCERTIFIED 1149 | YES 24146 | YES 630 |
| tpdb-8.0/TRS/Zantema_04/z056.xml | YES 10776 | YES 6600 | UNCERTIFIED 1363 | YES 46676 | YES 6293 |
| tpdb-8.0/TRS/Zantema_04/z058.xml | YES 7009 | YES 5835 | UNCERTIFIED 1351 | YES 47469 | YES 2114 |
| tpdb-8.0/TRS/Zantema_04/z062.xml | YES 4160 | YES 2593 | UNCERTIFIED 60124 | YES 29484 | YES 562 |
| tpdb-8.0/TRS/Zantema_04/z064.xml | UNCERTIFIED 60852 | YES 5078 | UNCERTIFIED 5345 | UNCERTIFIED 60116 | YES 4223 |
| tpdb-8.0/TRS/Zantema_04/z066.xml | YES 7196 | YES 6816 | YES 243 | YES 400 | YES 3235 |
| tpdb-8.0/TRS/Zantema_04/z075.xml | UNCERTIFIED 60234 | YES 3195 | UNCERTIFIED 694 | YES 1107 | YES 1333 |
| tpdb-8.0/TRS/Zantema_04/z077.xml | YES 2632 | YES 2801 | YES 88 | YES 334 | YES 717 |
| tpdb-8.0/TRS/Zantema_04/z078.xml | UNCERTIFIED 60446 | YES 3092 | UNCERTIFIED 455 | UNCERTIFIED 60141 | YES 5304 |
| tpdb-8.0/TRS/Zantema_04/z085.xml | YES 2809 | YES 2611 | YES 94 | YES 105 | YES 372 |
| tpdb-8.0/TRS/Zantema_04/z088.xml | YES 5550 | YES 3823 | UNCERTIFIED 795 | UNCERTIFIED 57195 | YES 6139 |
| tpdb-8.0/TRS/Zantema_04/z090.xml | UNCERTIFIED 60273 | YES 26650 | UNCERTIFIED 619 | UNCERTIFIED 60120 | UNCERTIFIED 60166 |
| tpdb-8.0/TRS/Zantema_04/z100.xml | YES 7703 | YES 6501 | UNCERTIFIED 7833 | YES 6699 | YES 3171 |
| tpdb-8.0/TRS/Zantema_04/z101.xml | YES 3036 | YES 2551 | YES 115 | YES 235 | YES 495 |
| tpdb-8.0/TRS/Zantema_04/z106.xml | YES 4093 | YES 2826 | YES 145 | YES 333 | YES 879 |
| tpdb-8.0/TRS/Zantema_04/z107.xml | YES 12986 | YES 2544 | UNCERTIFIED 392 | UNCERTIFIED 1902 | YES 878 |
| tpdb-8.0/TRS/Zantema_04/z110.xml | YES 3851 | YES 3788 | YES 111 | YES 199 | YES 678 |
| tpdb-8.0/TRS/Zantema_04/z114.xml | YES 3314 | YES 3066 | YES 103 | YES 189 | YES 477 |
| tpdb-8.0/TRS/Zantema_04/z117.xml | UNCERTIFIED 60463 | YES 5807 | UNCERTIFIED 1570 | UNCERTIFIED 60125 | YES 895 |
| tpdb-8.0/TRS/Zantema_04/z119.xml | YES 23507 | YES 4321 | YES 180 | YES 568 | YES 1159 |
| tpdb-8.0/TRS/Zantema_04/z124.xml | YES 4328 | YES 3591 | YES 192 | YES 203 | YES 2672 |
| tpdb-8.0/TRS/Zantema_06/01.xml | YES 3068 | YES 3206 | YES 135 | YES 201 | YES 1879 |
| tpdb-8.0/TRS/Zantema_06/03.xml | UNCERTIFIED 60815 | UNCERTIFIED 61742 | UNCERTIFIED 485 | UNCERTIFIED 60112 | YES 11243 |
| tpdb-8.0/TRS/Zantema_06/04.xml | YES 3966 | YES 4040 | YES 200 | YES 324 | YES 5948 |
| tpdb-8.0/TRS/Zantema_06/08.xml | UNCERTIFIED 60737 | UNCERTIFIED 61706 | UNCERTIFIED 1036 | UNCERTIFIED 60122 | UNCERTIFIED 60153 |
| tpdb-8.0/TRS/Zantema_06/09.xml | UNCERTIFIED 60402 | YES 5353 | UNCERTIFIED 3620 | YES 5614 | YES 2174 |
| tpdb-8.0/TRS/Zantema_06/14.xml | UNCERTIFIED 60222 | YES 7505 | UNCERTIFIED 517 | UNCERTIFIED 2353 | UNCERTIFIED 60221 |
| tpdb-8.0/TRS/Zantema_06/18.xml | UNCERTIFIED 60939 | YES 18232 | UNCERTIFIED 19911 | UNCERTIFIED 60171 | YES 6334 |
| tpdb-8.0/TRS/Zantema_06/beans1.xml | YES 5808 | YES 5112 | YES 334 | YES 1654 | YES 1868 |
| tpdb-8.0/TRS/Zantema_06/beans7.xml | UNCERTIFIED 60246 | YES 4239 | UNCERTIFIED 1079 | UNCERTIFIED 9474 | YES 6384 |
| tpdb-8.0/TRS/Zantema_06/loop2.xml | UNCERTIFIED 60241 | NO 3788 | UNCERTIFIED 275 | UNCERTIFIED 816 | NO 325 | 52 | 158 | 27 | 45 | 160 |