| benchmark | AProVE-A3PAT | AProVE-CeTA | AProVE-COLOR | TTT2Cert |
|---|---|---|---|---|
| tpdb-8.0/TRS/Bouchare_06/01.xml | YES 27357 | YES 2879 | YES 5133 | YES 958 |
| tpdb-8.0/TRS/Bouchare_06/03.xml | UNCERTIFIED 60262 | YES 3561 | UNCERTIFIED 61045 | UNCERTIFIED 60205 |
| tpdb-8.0/TRS/Bouchare_06/04.xml | YES 4082 | YES 3082 | UNCERTIFIED 6175 | YES 1332 |
| tpdb-8.0/TRS/Bouchare_06/07.xml | YES 3815 | YES 4221 | YES 5086 | YES 1058 |
| tpdb-8.0/TRS/Bouchare_06/10.xml | UNCERTIFIED 60299 | YES 7649 | YES 20100 | UNCERTIFIED 60249 |
| tpdb-8.0/TRS/Bouchare_06/11.xml | UNCERTIFIED 60244 | YES 5627 | YES 7806 | YES 1152 |
| tpdb-8.0/TRS/Bouchare_06/12.xml | UNCERTIFIED 60247 | YES 4867 | YES 8340 | UNCERTIFIED 60206 |
| tpdb-8.0/TRS/Bouchare_06/14.xml | UNCERTIFIED 60238 | YES 2744 | YES 4719 | YES 51145 |
| tpdb-8.0/TRS/Bouchare_06/15.xml | UNCERTIFIED 60266 | YES 2803 | YES 6040 | YES 1035 |
| tpdb-8.0/TRS/Bouchare_06/18.xml | UNCERTIFIED 60289 | YES 4174 | YES 7548 | YES 1186 |
| tpdb-8.0/TRS/Gebhardt_06/02.xml | UNCERTIFIED 60728 | UNCERTIFIED 61526 | UNCERTIFIED 61094 | UNCERTIFIED 60235 |
| tpdb-8.0/TRS/Gebhardt_06/03.xml | UNCERTIFIED 60732 | UNCERTIFIED 61280 | UNCERTIFIED 61189 | UNCERTIFIED 60237 |
| tpdb-8.0/TRS/Gebhardt_06/05.xml | UNCERTIFIED 60772 | UNCERTIFIED 62475 | UNCERTIFIED 61348 | UNCERTIFIED 60236 |
| tpdb-8.0/TRS/Gebhardt_06/07.xml | UNCERTIFIED 60778 | YES 3984 | YES 9438 | UNCERTIFIED 60234 |
| tpdb-8.0/TRS/Gebhardt_06/08.xml | UNCERTIFIED 60699 | UNCERTIFIED 61565 | UNCERTIFIED 61162 | UNCERTIFIED 60239 |
| tpdb-8.0/TRS/Gebhardt_06/09.xml | UNCERTIFIED 60739 | YES 29911 | YES 21231 | UNCERTIFIED 60238 |
| tpdb-8.0/TRS/Gebhardt_06/15.xml | UNCERTIFIED 60741 | UNCERTIFIED 61199 | UNCERTIFIED 61196 | UNCERTIFIED 60241 |
| tpdb-8.0/TRS/Gebhardt_06/18.xml | UNCERTIFIED 60812 | YES 41065 | UNCERTIFIED 61212 | UNCERTIFIED 60231 |
| tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml | UNCERTIFIED 60321 | UNCERTIFIED 61575 | UNCERTIFIED 61206 | UNCERTIFIED 60224 |
| tpdb-8.0/TRS/Mixed_SRS/01.xml | UNCERTIFIED 60666 | YES 3697 | UNCERTIFIED 61219 | UNCERTIFIED 60201 |
| tpdb-8.0/TRS/Mixed_SRS/02-oppelt08.xml | UNCERTIFIED 60286 | UNCERTIFIED 61411 | UNCERTIFIED 61091 | UNCERTIFIED 60231 |
| tpdb-8.0/TRS/Mixed_SRS/03-oppelt08.xml | UNCERTIFIED 60272 | UNCERTIFIED 62957 | UNCERTIFIED 60849 | UNCERTIFIED 60245 |
| tpdb-8.0/TRS/Mixed_SRS/05.xml | UNCERTIFIED 60368 | YES 7085 | YES 10406 | YES 3630 |
| tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml | UNCERTIFIED 60245 | UNCERTIFIED 62422 | UNCERTIFIED 60514 | UNCERTIFIED 60284 |
| tpdb-8.0/TRS/Mixed_SRS/06.xml | UNCERTIFIED 60295 | YES 3868 | UNCERTIFIED 5144 | YES 1315 |
| tpdb-8.0/TRS/Mixed_SRS/09.xml | YES 35751 | YES 3593 | YES 27075 | YES 21501 |
| tpdb-8.0/TRS/Mixed_SRS/2.xml | UNCERTIFIED 60285 | YES 3718 | YES 6148 | YES 53697 |
| tpdb-8.0/TRS/Mixed_SRS/s6.xml | YES 3639 | YES 3299 | YES 4196 | YES 2137 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml | UNCERTIFIED 61227 | YES 7578 | UNCERTIFIED 62325 | YES 2442 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml | UNCERTIFIED 60614 | YES 6001 | UNCERTIFIED 61290 | YES 12575 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove5.xml | UNCERTIFIED 60528 | YES 13383 | UNCERTIFIED 61099 | UNCERTIFIED 60311 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox2.xml | UNCERTIFIED 60486 | UNCERTIFIED 61012 | UNCERTIFIED 61307 | UNCERTIFIED 60306 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml | UNCERTIFIED 60348 | UNCERTIFIED 61861 | UNCERTIFIED 61057 | UNCERTIFIED 60208 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox4.xml | UNCERTIFIED 60196 | YES 6854 | YES 8702 | YES 1252 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml | UNCERTIFIED 4450 | YES 3642 | UNCERTIFIED 6211 | YES 934 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa2.xml | UNCERTIFIED 60287 | YES 3333 | UNCERTIFIED 60926 | UNCERTIFIED 60223 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml | YES 3724 | YES 3994 | YES 3264 | YES 1011 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml | UNCERTIFIED 60891 | YES 3612 | YES 5539 | YES 4149 |
| tpdb-8.0/TRS/Secret_06_SRS/1-matchbox.xml | UNCERTIFIED 61123 | UNCERTIFIED 61987 | UNCERTIFIED 61103 | UNCERTIFIED 60211 |
| tpdb-8.0/TRS/Secret_06_SRS/6.xml | YES 5907 | YES 4034 | YES 17808 | YES 3922 |
| tpdb-8.0/TRS/Secret_06_SRS/7.xml | YES 3990 | YES 4441 | YES 3534 | YES 799 |
| tpdb-8.0/TRS/Secret_06_SRS/9.xml | YES 4249 | YES 4189 | YES 4423 | YES 1021 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove01.xml | UNCERTIFIED 61377 | YES 5996 | UNCERTIFIED 61283 | YES 3548 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove03.xml | UNCERTIFIED 61660 | YES 13615 | UNCERTIFIED 61676 | YES 3623 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove05.xml | UNCERTIFIED 61450 | YES 5277 | UNCERTIFIED 61892 | YES 3912 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove06.xml | UNCERTIFIED 61492 | YES 14704 | UNCERTIFIED 61843 | UNCERTIFIED 60371 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove07.xml | UNCERTIFIED 61465 | UNCERTIFIED 61637 | UNCERTIFIED 62029 | YES 4325 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove08.xml | UNCERTIFIED 61422 | YES 21397 | UNCERTIFIED 61777 | UNCERTIFIED 60337 |
| tpdb-8.0/TRS/Secret_06_SRS/multum1.xml | UNCERTIFIED 60342 | YES 18091 | UNCERTIFIED 61145 | YES 42273 |
| tpdb-8.0/TRS/Secret_07_SRS/num-515.xml | UNCERTIFIED 60783 | UNCERTIFIED 62456 | UNCERTIFIED 61005 | UNCERTIFIED 60281 |
| tpdb-8.0/TRS/Secret_07_SRS/num-519.xml | UNCERTIFIED 60733 | UNCERTIFIED 61380 | UNCERTIFIED 61054 | UNCERTIFIED 60304 |
| tpdb-8.0/TRS/Secret_07_SRS/num-525.xml | UNCERTIFIED 60579 | UNCERTIFIED 61218 | UNCERTIFIED 61126 | UNCERTIFIED 60247 |
| tpdb-8.0/TRS/Secret_07_SRS/num-527.xml | UNCERTIFIED 60510 | UNCERTIFIED 62884 | UNCERTIFIED 61001 | UNCERTIFIED 60439 |
| tpdb-8.0/TRS/Secret_07_SRS/num-539.xml | UNCERTIFIED 60339 | UNCERTIFIED 61330 | UNCERTIFIED 61285 | UNCERTIFIED 60274 |
| tpdb-8.0/TRS/Secret_07_SRS/x02.xml | UNCERTIFIED 60243 | YES 44457 | YES 43020 | YES 1126 |
| tpdb-8.0/TRS/Secret_07_SRS/x05.xml | UNCERTIFIED 60247 | YES 3601 | YES 24765 | UNCERTIFIED 60222 |
| tpdb-8.0/TRS/Secret_07_SRS/x06.xml | UNCERTIFIED 60257 | YES 8475 | YES 9382 | UNCERTIFIED 60302 |
| tpdb-8.0/TRS/Secret_07_SRS/x08.xml | UNCERTIFIED 61622 | YES 7834 | YES 7066 | UNCERTIFIED 60260 |
| tpdb-8.0/TRS/Trafo_06/dup01.xml | YES 4123 | YES 5038 | YES 6461 | YES 4598 |
| tpdb-8.0/TRS/Trafo_06/dup06.xml | UNCERTIFIED 7722 | YES 5414 | YES 9070 | YES 3239 |
| tpdb-8.0/TRS/Trafo_06/dup08.xml | YES 12099 | UNCERTIFIED 61271 | YES 27259 | YES 3160 |
| tpdb-8.0/TRS/Trafo_06/dup09.xml | YES 4203 | YES 5341 | YES 13492 | YES 3993 |
| tpdb-8.0/TRS/Trafo_06/dup11.xml | YES 20015 | YES 11052 | YES 14863 | YES 5862 |
| tpdb-8.0/TRS/Trafo_06/dup12.xml | UNCERTIFIED 60934 | UNCERTIFIED 61340 | UNCERTIFIED 62110 | UNCERTIFIED 60315 |
| tpdb-8.0/TRS/Trafo_06/dup17.xml | YES 10077 | YES 6110 | YES 5325 | YES 541 |
| tpdb-8.0/TRS/Trafo_06/un12.xml | UNCERTIFIED 61281 | UNCERTIFIED 61726 | UNCERTIFIED 61419 | UNCERTIFIED 60247 |
| tpdb-8.0/TRS/Trafo_06/un14.xml | UNCERTIFIED 61372 | UNCERTIFIED 21155 | UNCERTIFIED 61288 | UNCERTIFIED 60355 |
| tpdb-8.0/TRS/Trafo_06/un17.xml | UNCERTIFIED 61338 | UNCERTIFIED 61851 | UNCERTIFIED 61161 | YES 55853 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw1.xml | UNCERTIFIED 60276 | YES 3522 | YES 4226 | UNCERTIFIED 60231 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw4.xml | UNCERTIFIED 61327 | UNCERTIFIED 14308 | UNCERTIFIED 61520 | UNCERTIFIED 60275 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw5.xml | UNCERTIFIED 61381 | UNCERTIFIED 61430 | UNCERTIFIED 61139 | UNCERTIFIED 60309 |
| tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml | YES 11358 | YES 17760 | YES 12305 | YES 4680 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-1.xml | UNCERTIFIED 60243 | YES 2747 | YES 5027 | YES 1164 |
| tpdb-8.0/TRS/Waldmann_06_SRS/sym-2.xml | UNCERTIFIED 60610 | YES 7316 | YES 5550 | UNCERTIFIED 60231 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-1.xml | UNCERTIFIED 60295 | YES 2656 | YES 4591 | YES 807 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-2.xml | UNCERTIFIED 60700 | NO 19353 | NO 12606 | NO 312 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-3.xml | UNCERTIFIED 60749 | UNCERTIFIED 62796 | UNCERTIFIED 60903 | UNCERTIFIED 60301 |
| tpdb-8.0/TRS/Waldmann_06_SRS/uni-5.xml | YES 22779 | YES 4162 | YES 4955 | YES 2766 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-1.xml | UNCERTIFIED 60819 | YES 4585 | UNCERTIFIED 61845 | UNCERTIFIED 60232 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-3.xml | UNCERTIFIED 60636 | YES 5457 | YES 6900 | YES 1377 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-16.xml | UNCERTIFIED 60248 | YES 3457 | YES 5771 | YES 694 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-19.xml | UNCERTIFIED 60516 | YES 3260 | UNCERTIFIED 61027 | UNCERTIFIED 60277 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-20.xml | UNCERTIFIED 60248 | YES 3155 | UNCERTIFIED 61043 | YES 56337 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-2.xml | UNCERTIFIED 60247 | YES 5347 | UNCERTIFIED 61789 | UNCERTIFIED 60295 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-4.xml | UNCERTIFIED 60258 | UNCERTIFIED 61990 | UNCERTIFIED 61003 | UNCERTIFIED 60257 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-5.xml | UNCERTIFIED 60256 | YES 3910 | UNCERTIFIED 61043 | UNCERTIFIED 60273 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-9.xml | UNCERTIFIED 60591 | YES 4234 | UNCERTIFIED 60836 | UNCERTIFIED 60286 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-13.xml | UNCERTIFIED 60844 | YES 4203 | UNCERTIFIED 61213 | YES 1596 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-14.xml | UNCERTIFIED 60915 | YES 4174 | UNCERTIFIED 61181 | YES 1846 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-4.xml | YES 37832 | UNCERTIFIED 62423 | UNCERTIFIED 61221 | YES 2848 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-101.xml | UNCERTIFIED 60264 | UNCERTIFIED 61338 | UNCERTIFIED 61050 | UNCERTIFIED 60281 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-106.xml | UNCERTIFIED 60546 | YES 3497 | YES 6730 | YES 2176 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-10.xml | UNCERTIFIED 60438 | YES 3331 | UNCERTIFIED 61191 | UNCERTIFIED 60283 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-110.xml | UNCERTIFIED 60249 | YES 3598 | UNCERTIFIED 61835 | UNCERTIFIED 60227 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-121.xml | UNCERTIFIED 60273 | YES 4659 | UNCERTIFIED 61060 | UNCERTIFIED 60286 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-123.xml | UNCERTIFIED 60295 | YES 3382 | YES 4676 | YES 2068 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-125.xml | UNCERTIFIED 60315 | YES 4950 | UNCERTIFIED 61185 | UNCERTIFIED 60295 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-135.xml | UNCERTIFIED 60266 | UNCERTIFIED 61501 | UNCERTIFIED 60989 | UNCERTIFIED 60305 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-13.xml | UNCERTIFIED 60533 | YES 3287 | UNCERTIFIED 61691 | UNCERTIFIED 60270 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-149.xml | UNCERTIFIED 60654 | YES 5136 | UNCERTIFIED 61715 | YES 57895 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-14.xml | UNCERTIFIED 60240 | YES 3195 | UNCERTIFIED 61121 | UNCERTIFIED 60278 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-163.xml | UNCERTIFIED 60243 | YES 3616 | UNCERTIFIED 61083 | UNCERTIFIED 60286 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-165.xml | UNCERTIFIED 60238 | YES 3262 | UNCERTIFIED 61071 | YES 55414 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-170.xml | UNCERTIFIED 60254 | UNCERTIFIED 61278 | UNCERTIFIED 61029 | UNCERTIFIED 60274 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-19.xml | UNCERTIFIED 60305 | YES 3365 | UNCERTIFIED 61048 | UNCERTIFIED 60279 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-1.xml | UNCERTIFIED 60216 | YES 4073 | UNCERTIFIED 61027 | YES 57234 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-201.xml | UNCERTIFIED 60234 | YES 4025 | UNCERTIFIED 61013 | UNCERTIFIED 60224 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-203.xml | UNCERTIFIED 60250 | YES 3546 | YES 10214 | YES 55580 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-217.xml | UNCERTIFIED 60253 | UNCERTIFIED 61136 | UNCERTIFIED 61056 | NO 2991 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-237.xml | UNCERTIFIED 60259 | YES 4277 | UNCERTIFIED 60809 | YES 55250 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-23.xml | UNCERTIFIED 60332 | UNCERTIFIED 62421 | UNCERTIFIED 61102 | UNCERTIFIED 60277 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-265.xml | UNCERTIFIED 60576 | YES 3452 | YES 4058 | YES 721 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-273.xml | UNCERTIFIED 60254 | YES 3769 | YES 4417 | YES 651 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-281.xml | UNCERTIFIED 60242 | YES 3131 | YES 7114 | YES 607 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-282.xml | UNCERTIFIED 60427 | YES 4107 | YES 4375 | YES 627 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-289.xml | UNCERTIFIED 60898 | YES 3950 | UNCERTIFIED 61197 | YES 52927 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-294.xml | UNCERTIFIED 60900 | YES 4445 | YES 5514 | YES 773 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-327.xml | UNCERTIFIED 60407 | YES 4332 | UNCERTIFIED 61136 | UNCERTIFIED 60256 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-346.xml | UNCERTIFIED 60422 | YES 3847 | UNCERTIFIED 61099 | YES 662 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-359.xml | UNCERTIFIED 60257 | YES 5401 | UNCERTIFIED 61078 | UNCERTIFIED 60264 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-368.xml | UNCERTIFIED 60245 | UNCERTIFIED 61604 | UNCERTIFIED 61113 | UNCERTIFIED 60277 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-369.xml | UNCERTIFIED 60385 | UNCERTIFIED 61353 | UNCERTIFIED 61161 | UNCERTIFIED 60244 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-373.xml | UNCERTIFIED 60585 | UNCERTIFIED 61104 | UNCERTIFIED 61200 | UNCERTIFIED 60286 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-375.xml | UNCERTIFIED 60818 | YES 3508 | UNCERTIFIED 61078 | UNCERTIFIED 60279 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-378.xml | UNCERTIFIED 60465 | UNCERTIFIED 61099 | UNCERTIFIED 61063 | UNCERTIFIED 60277 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-414.xml | UNCERTIFIED 60507 | YES 4389 | UNCERTIFIED 61104 | YES 857 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-41.xml | UNCERTIFIED 60251 | YES 3851 | YES 4313 | YES 768 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-438.xml | UNCERTIFIED 60401 | YES 4454 | UNCERTIFIED 61219 | UNCERTIFIED 60257 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-443.xml | UNCERTIFIED 60256 | YES 3280 | UNCERTIFIED 60773 | UNCERTIFIED 60263 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-451.xml | UNCERTIFIED 60279 | YES 3888 | YES 4479 | YES 731 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-453.xml | UNCERTIFIED 60256 | YES 4206 | UNCERTIFIED 61044 | UNCERTIFIED 60267 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-468.xml | UNCERTIFIED 60262 | YES 3377 | UNCERTIFIED 61101 | YES 1093 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-482.xml | UNCERTIFIED 60255 | YES 7335 | YES 19837 | YES 1520 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-484.xml | UNCERTIFIED 60265 | YES 3386 | YES 4933 | UNCERTIFIED 60254 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-487.xml | UNCERTIFIED 60234 | YES 4847 | UNCERTIFIED 61052 | UNCERTIFIED 60282 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-488.xml | UNCERTIFIED 60235 | UNCERTIFIED 61416 | UNCERTIFIED 60614 | UNCERTIFIED 60294 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-499.xml | UNCERTIFIED 60263 | YES 3784 | YES 6364 | UNCERTIFIED 60264 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-522.xml | UNCERTIFIED 60826 | UNCERTIFIED 61201 | UNCERTIFIED 61099 | UNCERTIFIED 60229 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-543.xml | UNCERTIFIED 60933 | YES 14060 | UNCERTIFIED 61959 | YES 1089 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-545.xml | UNCERTIFIED 60870 | YES 4755 | UNCERTIFIED 61210 | YES 824 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-547.xml | UNCERTIFIED 60252 | YES 3710 | YES 4340 | YES 2624 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-549.xml | UNCERTIFIED 60268 | YES 3432 | YES 4411 | YES 736 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-559.xml | UNCERTIFIED 60249 | YES 4894 | YES 11103 | YES 535 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-568.xml | UNCERTIFIED 60244 | YES 3424 | YES 4516 | YES 1145 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-57.xml | UNCERTIFIED 60837 | YES 5089 | UNCERTIFIED 61227 | YES 448 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-82.xml | UNCERTIFIED 60266 | YES 3864 | YES 5284 | YES 1032 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-83.xml | UNCERTIFIED 60243 | UNCERTIFIED 61221 | UNCERTIFIED 61138 | UNCERTIFIED 60281 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-86.xml | UNCERTIFIED 60284 | YES 3866 | UNCERTIFIED 61101 | UNCERTIFIED 60265 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-91.xml | UNCERTIFIED 60240 | YES 4609 | UNCERTIFIED 61004 | YES 59069 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-99.xml | UNCERTIFIED 60253 | UNCERTIFIED 61519 | UNCERTIFIED 61004 | NO 3976 |
| tpdb-8.0/TRS/Zantema_04/z001.xml | YES 22862 | YES 34553 | YES 41100 | UNCERTIFIED 60224 |
| tpdb-8.0/TRS/Zantema_04/z002.xml | YES 3890 | YES 4013 | YES 4837 | YES 756 |
| tpdb-8.0/TRS/Zantema_04/z004.xml | YES 6822 | YES 3074 | YES 11482 | YES 1080 |
| tpdb-8.0/TRS/Zantema_04/z008.xml | YES 9526 | YES 4428 | YES 5106 | YES 2289 |
| tpdb-8.0/TRS/Zantema_04/z012.xml | YES 3169 | YES 2763 | YES 2618 | YES 687 |
| tpdb-8.0/TRS/Zantema_04/z013.xml | UNCERTIFIED 4415 | YES 3472 | YES 5548 | YES 2851 |
| tpdb-8.0/TRS/Zantema_04/z023.xml | UNCERTIFIED 4225 | YES 4348 | YES 6192 | YES 969 |
| tpdb-8.0/TRS/Zantema_04/z027.xml | UNCERTIFIED 61094 | UNCERTIFIED 61374 | UNCERTIFIED 62898 | UNCERTIFIED 60231 |
| tpdb-8.0/TRS/Zantema_04/z028.xml | UNCERTIFIED 61330 | YES 6935 | YES 19411 | YES 1809 |
| tpdb-8.0/TRS/Zantema_04/z036.xml | UNCERTIFIED 61370 | YES 6806 | YES 49680 | YES 15107 |
| tpdb-8.0/TRS/Zantema_04/z037.xml | UNCERTIFIED 62146 | UNCERTIFIED 61625 | UNCERTIFIED 62130 | YES 11729 |
| tpdb-8.0/TRS/Zantema_04/z038.xml | UNCERTIFIED 62755 | UNCERTIFIED 61852 | UNCERTIFIED 61553 | UNCERTIFIED 60228 |
| tpdb-8.0/TRS/Zantema_04/z042.xml | UNCERTIFIED 61325 | NO 2539 | NO 2366 | NO 184 |
| tpdb-8.0/TRS/Zantema_04/z044.xml | UNCERTIFIED 60928 | NO 2447 | NO 2333 | NO 180 |
| tpdb-8.0/TRS/Zantema_04/z048.xml | UNCERTIFIED 61408 | YES 4316 | YES 26748 | YES 51298 |
| tpdb-8.0/TRS/Zantema_04/z052.xml | YES 4159 | YES 2437 | YES 13353 | YES 1612 |
| tpdb-8.0/TRS/Zantema_04/z054.xml | UNCERTIFIED 61062 | UNCERTIFIED 61417 | UNCERTIFIED 61269 | YES 53548 |
| tpdb-8.0/TRS/Zantema_04/z061.xml | UNCERTIFIED 3854 | YES 2367 | YES 8324 | YES 3180 |
| tpdb-8.0/TRS/Zantema_04/z066.xml | YES 7302 | YES 5971 | YES 6329 | YES 999 |
| tpdb-8.0/TRS/Zantema_04/z073.xml | UNCERTIFIED 60260 | UNCERTIFIED 61274 | UNCERTIFIED 60654 | UNCERTIFIED 60233 |
| tpdb-8.0/TRS/Zantema_04/z075.xml | UNCERTIFIED 60284 | YES 3589 | YES 3531 | YES 3735 |
| tpdb-8.0/TRS/Zantema_04/z081.xml | YES 3946 | YES 3147 | YES 3552 | YES 975 |
| tpdb-8.0/TRS/Zantema_04/z084.xml | YES 3131 | YES 2724 | YES 2551 | YES 272 |
| tpdb-8.0/TRS/Zantema_04/z086.xml | YES 14809 | YES 3407 | YES 3605 | YES 1556 |
| tpdb-8.0/TRS/Zantema_04/z095.xml | YES 27461 | UNCERTIFIED 61363 | UNCERTIFIED 61401 | YES 10535 |
| tpdb-8.0/TRS/Zantema_04/z096.xml | UNCERTIFIED 61357 | NO 2334 | NO 2321 | NO 169 |
| tpdb-8.0/TRS/Zantema_04/z097.xml | UNCERTIFIED 61352 | UNCERTIFIED 61862 | UNCERTIFIED 63039 | UNCERTIFIED 60230 |
| tpdb-8.0/TRS/Zantema_04/z098.xml | UNCERTIFIED 61163 | UNCERTIFIED 61232 | UNCERTIFIED 61636 | UNCERTIFIED 60233 |
| tpdb-8.0/TRS/Zantema_04/z100.xml | YES 6026 | YES 6695 | YES 20424 | YES 4092 |
| tpdb-8.0/TRS/Zantema_04/z101.xml | YES 3205 | YES 2312 | YES 2253 | YES 243 |
| tpdb-8.0/TRS/Zantema_04/z106.xml | YES 4136 | YES 2506 | YES 2482 | YES 404 |
| tpdb-8.0/TRS/Zantema_04/z108.xml | YES 3527 | YES 2380 | YES 2362 | YES 330 |
| tpdb-8.0/TRS/Zantema_04/z109.xml | YES 4541 | YES 2319 | YES 2310 | YES 368 |
| tpdb-8.0/TRS/Zantema_04/z116.xml | YES 3355 | YES 2368 | YES 2266 | YES 315 |
| tpdb-8.0/TRS/Zantema_04/z119.xml | YES 20317 | YES 3831 | YES 26064 | YES 1868 |
| tpdb-8.0/TRS/Zantema_04/z123.xml | YES 13956 | YES 3842 | YES 4724 | YES 1990 |
| tpdb-8.0/TRS/Zantema_04/z127.xml | UNCERTIFIED 60293 | UNCERTIFIED 61259 | UNCERTIFIED 61083 | NO 181 |
| tpdb-8.0/TRS/Zantema_06/01.xml | YES 3595 | YES 3010 | YES 3513 | YES 497 |
| tpdb-8.0/TRS/Zantema_06/02.xml | YES 3964 | YES 2830 | YES 2813 | YES 886 |
| tpdb-8.0/TRS/Zantema_06/05.xml | UNCERTIFIED 60812 | YES 41298 | YES 58102 | YES 9494 |
| tpdb-8.0/TRS/Zantema_06/09.xml | UNCERTIFIED 60444 | YES 4856 | UNCERTIFIED 61264 | YES 2975 |
| tpdb-8.0/TRS/Zantema_06/11.xml | UNCERTIFIED 6343 | YES 4081 | YES 22052 | YES 4062 |
| tpdb-8.0/TRS/Zantema_06/beans2.xml | UNCERTIFIED 60401 | YES 3352 | YES 27169 | YES 3503 |
| tpdb-8.0/TRS/Zantema_06/beans4.xml | YES 4128 | YES 2942 | YES 3070 | YES 257 |
| tpdb-8.0/TRS/Zantema_06/loop1.xml | UNCERTIFIED 60244 | NO 4606 | NO 4094 | NO 182 |
| tpdb-8.0/TRS/Zantema_06/loop2.xml | UNCERTIFIED 60250 | NO 3785 | NO 3371 | NO 203 | 39 | 146 | 93 | 115 |