| benchmark | CaT | CaTCert | TcT | TcT-certify |
|---|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.12.xml | MAYBE 55373 | MAYBE 9618 | MAYBE 59064 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.15.xml | n^0 - n^2 6482 | n^0 - n^2 3639 | MAYBE 21296 | n^0 - n^2 521 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | MAYBE 55532 | MAYBE 17686 | MAYBE 59186 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.17.xml | MAYBE 55447 | MAYBE 16830 | MAYBE 59079 | MAYBE 60029 |
| tpdb-8.0/TRS/AG01/#3.24.xml | n^0 - n^1 516 | n^0 - n^2 6705 | MAYBE 782 | n^0 - n^2 260 |
| tpdb-8.0/TRS/AG01/#3.26.xml | MAYBE 55381 | MAYBE 11092 | MAYBE 58662 | MAYBE 60031 |
| tpdb-8.0/TRS/AG01/#3.33.xml | n^0 - n^1 427 | n^0 - n^2 6707 | MAYBE 3074 | n^0 - n^2 581 |
| tpdb-8.0/TRS/AG01/#3.35.xml | n^0 - n^2 55364 | n^0 - n^2 3524 | n^0 - n^2 59094 | n^0 - n^2 259 |
| tpdb-8.0/TRS/AG01/#3.37.xml | n^0 - n^1 480 | n^0 - n^2 13042 | MAYBE 1183 | n^0 - n^2 733 |
| tpdb-8.0/TRS/AG01/#3.49.xml | MAYBE 55493 | MAYBE 60040 | n^0 - n^2 59120 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.51.xml | n^0 - n^1 468 | MAYBE 14314 | MAYBE 7902 | MAYBE 60030 |
| tpdb-8.0/TRS/AG01/#3.56.xml | n^0 - n^1 432 | n^0 - n^2 9936 | n^0 - n^2 59113 | n^0 - n^2 760 |
| tpdb-8.0/TRS/AG01/#3.7.xml | n^0 - n^1 3212 | n^0 - n^2 6798 | n^0 - n^2 59146 | n^0 - n^2 600 |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | MAYBE 10335 | MAYBE 5513 | MAYBE 59105 | MAYBE 60029 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | MAYBE 55523 | MAYBE 60047 | MAYBE 59105 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | n^0 - n^2 56248 | n^0 - n^4 25674 | MAYBE 59448 | n^0 - n^4 51647 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | MAYBE 55617 | MAYBE 60055 | MAYBE 59174 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | MAYBE 55593 | MAYBE 60047 | MAYBE 59184 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | n^0 - n^2 56169 | MAYBE 60040 | n^0 - n^3 59285 | MAYBE 60031 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | n^0 - n^2 23438 | n^0 - n^3 33460 | MAYBE 59288 | n^0 - n^3 57584 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | MAYBE 55472 | MAYBE 60042 | MAYBE 59152 | MAYBE 60032 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | MAYBE 55372 | MAYBE 25179 | MAYBE 60094 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 55408 | MAYBE 31236 | MAYBE 59353 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | MAYBE 55464 | MAYBE 23642 | MAYBE 59233 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 23401 | MAYBE 7561 | MAYBE 59085 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_08/round.xml | MAYBE 12695 | MAYBE 7637 | MAYBE 59070 | MAYBE 60030 |
| tpdb-8.0/TRS/AProVE_10/ex5.xml | n^0 - n^1 394 | n^0 - n^1 434 | MAYBE 221 | n^0 - n^1 151 |
| tpdb-8.0/TRS/Bouchare_06/12.xml | n^0 - n^1 2204 | MAYBE 7808 | MAYBE 59148 | MAYBE 60030 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | n^0 - n^1 440 | MAYBE 10308 | MAYBE 5175 | MAYBE 60032 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | MAYBE 55422 | MAYBE 60045 | MAYBE 59241 | MAYBE 60032 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | MAYBE 55609 | MAYBE 60044 | MAYBE 59299 | MAYBE 60031 |
| tpdb-8.0/TRS/Der95/06.xml | MAYBE 55388 | MAYBE 8138 | MAYBE 59047 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^2 55387 | n^0 - n^2 9774 | n^0 - n^2 59064 | n^0 - n^2 374 |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 24938 | MAYBE 5737 | MAYBE 59897 | MAYBE 60030 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^2 48748 | n^0 - n^2 6584 | MAYBE 11643 | n^0 - n^2 198 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 522 | n^0 - n^4 10953 | MAYBE 17404 | n^0 - n^3 3043 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 10328 | MAYBE 5337 | MAYBE 59039 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml | MAYBE 10331 | MAYBE 5350 | MAYBE 59039 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | MAYBE 10330 | MAYBE 5329 | MAYBE 59045 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 10328 | MAYBE 5366 | MAYBE 59067 | MAYBE 60029 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | MAYBE 10327 | MAYBE 5365 | MAYBE 59050 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | MAYBE 21745 | MAYBE 5773 | MAYBE 59682 | MAYBE 60031 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | MAYBE 56166 | MAYBE 60051 | MAYBE 60392 | MAYBE 60030 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | n^0 - n^2 6001 | n^0 - n^2 6592 | MAYBE 11066 | n^0 - n^2 223 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | MAYBE 55438 | MAYBE 5915 | MAYBE 59160 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/157388.xml | MAYBE 57089 | MAYBE 60095 | MAYBE 59917 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/158152.xml | MAYBE 56695 | MAYBE 60084 | MAYBE 59881 | MAYBE 60028 |
| tpdb-8.0/TRS/ICFP_2010/160263.xml | MAYBE 56711 | MAYBE 60068 | MAYBE 59603 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/211471.xml | MAYBE 58646 | MAYBE 60085 | MAYBE 59452 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/211639.xml | MAYBE 60136 | MAYBE 60109 | MAYBE 59657 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/211857.xml | MAYBE 56732 | MAYBE 60060 | MAYBE 60491 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/211960.xml | MAYBE 56151 | MAYBE 60082 | MAYBE 59588 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/212094.xml | MAYBE 56864 | MAYBE 60044 | MAYBE 59667 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/212117.xml | MAYBE 56180 | MAYBE 60086 | MAYBE 59610 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/212421.xml | MAYBE 56557 | MAYBE 60048 | MAYBE 59638 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/212480.xml | MAYBE 56173 | MAYBE 60069 | MAYBE 59792 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/212612.xml | MAYBE 56230 | MAYBE 60068 | MAYBE 59516 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/212693.xml | MAYBE 56851 | n^0 - n^3 44179 | MAYBE 59659 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/213281.xml | MAYBE 56166 | n^0 - n^3 45239 | MAYBE 59833 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/213437.xml | MAYBE 56246 | MAYBE 60071 | MAYBE 59631 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/213560.xml | MAYBE 56919 | MAYBE 60063 | MAYBE 59669 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/213611.xml | MAYBE 60195 | MAYBE 60106 | MAYBE 59628 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/214011.xml | MAYBE 56831 | MAYBE 60076 | MAYBE 59648 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/214091.xml | MAYBE 57023 | MAYBE 60078 | MAYBE 59647 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/230780.xml | MAYBE 60113 | MAYBE 60073 | MAYBE 59824 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/230819.xml | MAYBE 59682 | MAYBE 60103 | MAYBE 60436 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/230948.xml | MAYBE 60154 | MAYBE 60113 | MAYBE 59592 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/231043.xml | MAYBE 60291 | MAYBE 60081 | MAYBE 59700 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/231149.xml | MAYBE 60148 | MAYBE 60104 | MAYBE 59610 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/231230.xml | MAYBE 60193 | MAYBE 60088 | MAYBE 59646 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/231300.xml | MAYBE 60144 | MAYBE 60108 | MAYBE 59640 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/231378.xml | MAYBE 60123 | MAYBE 60116 | MAYBE 59714 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/231480.xml | MAYBE 60115 | MAYBE 60067 | MAYBE 59801 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/231604.xml | MAYBE 60145 | MAYBE 60049 | MAYBE 60075 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/246924.xml | MAYBE 60154 | MAYBE 60116 | MAYBE 60373 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/247020.xml | MAYBE 60118 | MAYBE 60056 | MAYBE 59823 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/247254.xml | MAYBE 60141 | MAYBE 60090 | MAYBE 59671 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/247504.xml | MAYBE 60165 | MAYBE 60114 | MAYBE 59564 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/247906.xml | MAYBE 60173 | MAYBE 60098 | MAYBE 59685 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/247992.xml | MAYBE 60195 | MAYBE 60111 | MAYBE 60428 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/248060.xml | MAYBE 60203 | MAYBE 60112 | MAYBE 60427 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/249386.xml | MAYBE 60120 | MAYBE 60119 | MAYBE 60120 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/249459.xml | MAYBE 60182 | MAYBE 60097 | MAYBE 59679 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/249663.xml | MAYBE 60291 | MAYBE 60083 | MAYBE 60351 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/25192.xml | n^0 - n^1 457 | n^0 - n^2 3765 | n^0 - n^1 59732 | n^0 - n^2 805 |
| tpdb-8.0/TRS/ICFP_2010/25731.xml | n^0 - n^1 631 | MAYBE 60041 | n^0 - n^1 59514 | MAYBE 60032 |
| tpdb-8.0/TRS/ICFP_2010/26069.xml | n^0 - n^1 868 | MAYBE 60041 | n^0 - n^1 59448 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/26103.xml | n^0 - n^1 988 | MAYBE 60044 | n^0 - n^1 59509 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/26123.xml | n^0 - n^1 1135 | MAYBE 60040 | MAYBE 60439 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/26130.xml | n^0 - n^1 1313 | MAYBE 60045 | n^0 - n^1 60167 | MAYBE 60028 |
| tpdb-8.0/TRS/ICFP_2010/26186.xml | n^0 - n^1 1470 | MAYBE 60043 | n^0 - n^1 60262 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/26226.xml | n^0 - n^1 1673 | MAYBE 60048 | n^0 - n^1 59598 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/26291.xml | n^0 - n^1 1912 | MAYBE 60053 | n^0 - n^1 59552 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/264370.xml | n^0 - n^1 455 | n^0 - n^2 13918 | MAYBE 60420 | n^0 - n^2 5378 |
| tpdb-8.0/TRS/ICFP_2010/264405.xml | n^0 - n^1 448 | n^0 - n^2 10224 | n^0 - n^1 59947 | n^0 - n^2 4445 |
| tpdb-8.0/TRS/ICFP_2010/26683.xml | n^0 - n^1 2146 | MAYBE 60056 | n^0 - n^1 59671 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/27030.xml | n^0 - n^1 2457 | MAYBE 60054 | n^0 - n^1 60253 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/27131.xml | n^0 - n^1 2740 | MAYBE 60053 | MAYBE 60446 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/27134.xml | n^0 - n^1 3028 | MAYBE 60059 | n^0 - n^1 59622 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/27213.xml | n^0 - n^1 3390 | MAYBE 60056 | n^0 - n^1 59526 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/27235.xml | n^0 - n^1 3753 | MAYBE 60056 | n^0 - n^1 59496 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/27280.xml | n^0 - n^1 4148 | MAYBE 60056 | n^0 - n^1 59616 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/28293.xml | n^0 - n^1 4576 | MAYBE 60059 | n^0 - n^1 59585 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/28464.xml | n^0 - n^1 5039 | MAYBE 60066 | MAYBE 60442 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/28643.xml | n^0 - n^1 5649 | MAYBE 60076 | n^0 - n^1 59574 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/28838.xml | n^0 - n^1 6220 | MAYBE 60063 | n^0 - n^1 59609 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/40093.xml | n^0 - n^1 844 | MAYBE 60049 | n^0 - n^1 59490 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/40708.xml | n^0 - n^1 1578 | MAYBE 60047 | n^0 - n^1 60023 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/45720.xml | MAYBE 57007 | MAYBE 60119 | MAYBE 60299 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/45757.xml | MAYBE 56753 | MAYBE 60112 | MAYBE 60497 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/48262.xml | MAYBE 57101 | MAYBE 60139 | MAYBE 59846 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/54532.xml | MAYBE 60126 | MAYBE 60079 | n^0 - n^1 59744 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/54622.xml | MAYBE 60096 | MAYBE 60064 | n^0 - n^1 59730 | MAYBE 60030 |
| tpdb-8.0/TRS/ICFP_2010/57355.xml | MAYBE 56569 | MAYBE 60092 | MAYBE 59692 | MAYBE 60031 |
| tpdb-8.0/TRS/ICFP_2010/58194.xml | MAYBE 57104 | MAYBE 60130 | MAYBE 60137 | MAYBE 60029 |
| tpdb-8.0/TRS/ICFP_2010/58301.xml | MAYBE 57714 | MAYBE 60072 | MAYBE 60001 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_SRS/01-oppelt08.xml | MAYBE 55537 | MAYBE 60043 | MAYBE 59192 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_SRS/06-oppelt08.xml | MAYBE 55442 | MAYBE 60037 | MAYBE 59091 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_SRS/07-oppelt08.xml | MAYBE 55531 | MAYBE 60047 | MAYBE 59101 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_SRS/07.xml | MAYBE 55393 | MAYBE 7945 | MAYBE 59141 | MAYBE 60031 |
| tpdb-8.0/TRS/Mixed_SRS/08-oppelt08.xml | MAYBE 55451 | MAYBE 60038 | MAYBE 59202 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_SRS/1.xml | MAYBE 55385 | MAYBE 28549 | MAYBE 59141 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_SRS/turing_add.xml | n^0 - n^2 41229 | n^0 - n^2 16649 | n^0 - n^2 59195 | n^0 - n^2 1571 |
| tpdb-8.0/TRS/Mixed_SRS/turing_copy.xml | MAYBE 55892 | MAYBE 60059 | MAYBE 59245 | MAYBE 60030 |
| tpdb-8.0/TRS/Mixed_SRS/turing_mult.xml | MAYBE 56121 | MAYBE 60065 | MAYBE 59269 | MAYBE 60033 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | MAYBE 55536 | MAYBE 60047 | MAYBE 59224 | MAYBE 60029 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^2 6087 | n^0 - n^2 3524 | MAYBE 3200 | n^0 - n^2 259 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 396 | n^0 - n^1 426 | MAYBE 182 | n^0 - n^1 133 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | n^0 - n^2 6802 | n^0 - n^2 6794 | MAYBE 5415 | n^0 - n^2 496 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | n^0 - n^2 6469 | n^0 - n^2 3728 | MAYBE 6338 | n^0 - n^2 543 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | n^0 - n^1 432 | MAYBE 56139 | MAYBE 25430 | MAYBE 60030 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^1 541 | n^0 - n^1 494 | MAYBE 131 | n^0 - n^1 131 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | n^0 - n^1 406 | n^0 - n^2 3436 | MAYBE 765 | n^0 - n^2 160 |
| tpdb-8.0/TRS/Rubio_04/nestrec.xml | MAYBE 55382 | MAYBE 7284 | MAYBE 59211 | MAYBE 60031 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^1 486 | n^0 - n^2 6693 | MAYBE 979 | n^0 - n^2 254 |
| tpdb-8.0/TRS/Rubio_04/test4.xml | n^0 - n^1 415 | n^0 - n^2 12973 | MAYBE 775 | n^0 - n^2 718 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | n^0 - n^1 495 | n^0 - n^2 3523 | MAYBE 757 | n^0 - n^2 267 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove1.xml | MAYBE 55420 | MAYBE 7323 | MAYBE 59170 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove2.xml | MAYBE 55480 | MAYBE 17579 | MAYBE 59092 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove3.xml | MAYBE 55458 | MAYBE 44902 | MAYBE 59198 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_SRS/aprove5.xml | MAYBE 55501 | MAYBE 60043 | MAYBE 59133 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox1.xml | MAYBE 55389 | MAYBE 34267 | MAYBE 59234 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox3.xml | MAYBE 55358 | MAYBE 11872 | MAYBE 59100 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/jambox5.xml | MAYBE 55359 | MAYBE 5856 | MAYBE 59111 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_SRS/matchbox2.xml | n^0 - n^1 1120 | n^0 - n^3 32850 | n^0 - n^1 59658 | n^0 - n^3 17017 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa1.xml | MAYBE 55444 | MAYBE 16642 | MAYBE 59155 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa3.xml | n^0 - n^1 5366 | n^0 - n^2 16916 | MAYBE 10644 | n^0 - n^2 1369 |
| tpdb-8.0/TRS/Secret_05_SRS/torpa4.xml | MAYBE 55489 | MAYBE 23625 | MAYBE 59209 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MAYBE 10327 | MAYBE 5750 | MAYBE 59065 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/10.xml | MAYBE 55415 | MAYBE 19826 | MAYBE 59169 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_SRS/1-matchbox.xml | MAYBE 55347 | MAYBE 7419 | MAYBE 59166 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/5-matchbox.xml | MAYBE 55454 | MAYBE 60041 | MAYBE 59222 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/7.xml | MAYBE 55433 | MAYBE 38286 | MAYBE 59148 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_SRS/9.xml | MAYBE 55391 | MAYBE 14543 | MAYBE 59199 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove00.xml | MAYBE 55483 | MAYBE 11201 | MAYBE 59388 | MAYBE 60028 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove01.xml | MAYBE 55656 | MAYBE 24678 | MAYBE 59562 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove02.xml | MAYBE 55632 | MAYBE 14882 | MAYBE 59390 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove03.xml | MAYBE 55769 | MAYBE 13399 | MAYBE 59414 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove04.xml | MAYBE 55747 | MAYBE 10955 | MAYBE 59419 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove05.xml | MAYBE 55609 | MAYBE 13513 | MAYBE 60088 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove06.xml | MAYBE 55639 | MAYBE 15561 | MAYBE 59392 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove07.xml | MAYBE 55550 | MAYBE 13849 | MAYBE 59383 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove08.xml | MAYBE 55553 | MAYBE 9552 | MAYBE 59376 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/aprove09.xml | MAYBE 55525 | MAYBE 12569 | MAYBE 59432 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_SRS/secr3.xml | MAYBE 55376 | MAYBE 41854 | MAYBE 59179 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/secr4.xml | MAYBE 55409 | MAYBE 10101 | MAYBE 59122 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/secr5.xml | MAYBE 55404 | MAYBE 60040 | MAYBE 59294 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_SRS/secr8.xml | MAYBE 55401 | MAYBE 8580 | MAYBE 59165 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_06_TRS/10.xml | n^0 - n^1 454 | MAYBE 35017 | n^0 - n^1 59090 | MAYBE 60033 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | MAYBE 55376 | MAYBE 15668 | MAYBE 59191 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | n^0 - n^3 55448 | n^0 - n^3 16496 | n^0 - n^3 59075 | n^0 - n^3 3483 |
| tpdb-8.0/TRS/Secret_07_SRS/num-514.xml | MAYBE 55446 | MAYBE 60039 | MAYBE 59286 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_SRS/num-515.xml | MAYBE 55385 | MAYBE 7603 | MAYBE 59145 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/num-518.xml | MAYBE 55470 | MAYBE 48647 | MAYBE 59124 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_SRS/num-519.xml | MAYBE 55386 | MAYBE 9720 | MAYBE 59173 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/num-520.xml | MAYBE 55445 | MAYBE 60037 | MAYBE 59694 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_SRS/num-521.xml | MAYBE 55411 | MAYBE 54900 | MAYBE 59280 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/num-525.xml | MAYBE 55436 | MAYBE 60037 | MAYBE 59328 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/num-527.xml | MAYBE 55401 | MAYBE 58403 | MAYBE 59314 | MAYBE 60032 |
| tpdb-8.0/TRS/Secret_07_SRS/num-530.xml | MAYBE 55386 | MAYBE 9413 | MAYBE 59303 | MAYBE 60031 |
| tpdb-8.0/TRS/Secret_07_SRS/num-539.xml | MAYBE 55384 | MAYBE 19060 | MAYBE 60307 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_SRS/x01.xml | MAYBE 11838 | MAYBE 5636 | MAYBE 59068 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/x02.xml | MAYBE 20602 | MAYBE 5768 | MAYBE 59053 | MAYBE 60029 |
| tpdb-8.0/TRS/Secret_07_SRS/x03.xml | MAYBE 55390 | MAYBE 9152 | MAYBE 59176 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/x05.xml | MAYBE 55393 | MAYBE 16739 | MAYBE 59247 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_SRS/x10.xml | MAYBE 35236 | MAYBE 5763 | MAYBE 59201 | MAYBE 60030 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | MAYBE 55429 | MAYBE 32614 | MAYBE 59197 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/2.02.xml | MAYBE 55356 | MAYBE 7248 | n^0 - n^3 59129 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.03.xml | n^0 - n^2 6773 | n^0 - n^2 9780 | MAYBE 4933 | n^0 - n^2 278 |
| tpdb-8.0/TRS/SK90/2.09.xml | n^0 - n^2 6528 | n^0 - n^2 3512 | MAYBE 2488 | n^0 - n^2 202 |
| tpdb-8.0/TRS/SK90/2.11.xml | n^0 - n^2 6236 | n^0 - n^2 3679 | MAYBE 4273 | n^0 - n^2 333 |
| tpdb-8.0/TRS/SK90/2.14.xml | MAYBE 55399 | MAYBE 6173 | MAYBE 59170 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.31.xml | n^0 - n^2 6968 | n^0 - n^2 7097 | MAYBE 5697 | n^0 - n^2 512 |
| tpdb-8.0/TRS/SK90/2.36.xml | n^0 - n^2 6074 | n^0 - n^2 3589 | MAYBE 6276 | n^0 - n^2 301 |
| tpdb-8.0/TRS/SK90/2.38.xml | n^0 - n^2 6791 | n^0 - n^2 6707 | MAYBE 3530 | n^0 - n^2 367 |
| tpdb-8.0/TRS/SK90/2.39.xml | MAYBE 17594 | MAYBE 9203 | n^0 - n^6 59351 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.41.xml | n^0 - n^2 6555 | n^0 - n^2 3842 | MAYBE 22109 | n^0 - n^2 536 |
| tpdb-8.0/TRS/SK90/2.42.xml | MAYBE 10339 | MAYBE 25357 | n^0 - n^6 59115 | MAYBE 60029 |
| tpdb-8.0/TRS/SK90/2.47.xml | n^0 - n^2 6036 | n^0 - n^2 3503 | MAYBE 2013 | n^0 - n^2 166 |
| tpdb-8.0/TRS/SK90/2.48.xml | n^0 - n^1 410 | n^0 - n^1 519 | MAYBE 298 | n^0 - n^1 217 |
| tpdb-8.0/TRS/SK90/2.49.xml | n^0 - n^1 456 | n^0 - n^1 669 | MAYBE 324 | n^0 - n^1 177 |
| tpdb-8.0/TRS/SK90/2.50.xml | MAYBE 55371 | MAYBE 6790 | MAYBE 59070 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/2.53.xml | n^0 - n^2 55344 | n^0 - n^2 3450 | n^0 - n^2 59054 | n^0 - n^2 372 |
| tpdb-8.0/TRS/SK90/2.54.xml | n^0 - n^2 5954 | n^0 - n^2 3489 | MAYBE 1964 | n^0 - n^2 163 |
| tpdb-8.0/TRS/SK90/2.55.xml | n^0 - n^2 5983 | n^0 - n^2 3509 | MAYBE 2746 | n^0 - n^2 174 |
| tpdb-8.0/TRS/SK90/2.61.xml | n^0 - n^1 919 | n^0 - n^1 929 | MAYBE 1157 | n^0 - n^1 1053 |
| tpdb-8.0/TRS/SK90/4.07.xml | n^0 - n^2 6145 | n^0 - n^2 3515 | MAYBE 2712 | n^0 - n^2 232 |
| tpdb-8.0/TRS/SK90/4.12.xml | n^0 - n^2 6171 | n^0 - n^2 6633 | MAYBE 6371 | n^0 - n^2 362 |
| tpdb-8.0/TRS/SK90/4.16.xml | n^0 - n^1 513 | n^0 - n^2 6848 | MAYBE 9853 | n^0 - n^2 532 |
| tpdb-8.0/TRS/SK90/4.25.xml | n^0 - n^2 6150 | n^0 - n^2 9864 | MAYBE 9037 | n^0 - n^2 338 |
| tpdb-8.0/TRS/SK90/4.26.xml | MAYBE 10343 | MAYBE 15416 | MAYBE 60080 | MAYBE 60031 |
| tpdb-8.0/TRS/SK90/4.29.xml | n^0 - n^2 7156 | n^0 - n^2 6722 | n^0 - n^2 59116 | n^0 - n^2 672 |
| tpdb-8.0/TRS/SK90/4.30.xml | n^0 - n^3 56223 | n^0 - n^3 17522 | MAYBE 59194 | n^0 - n^3 2442 |
| tpdb-8.0/TRS/SK90/4.34.xml | MAYBE 55383 | MAYBE 7285 | MAYBE 59061 | MAYBE 60030 |
| tpdb-8.0/TRS/SK90/4.35.xml | n^0 - n^1 395 | n^0 - n^2 3430 | MAYBE 354 | n^0 - n^2 128 |
| tpdb-8.0/TRS/SK90/4.38.xml | n^0 - n^2 6958 | n^0 - n^2 6716 | n^0 - n^2 59088 | n^0 - n^2 408 |
| tpdb-8.0/TRS/SK90/4.43.xml | MAYBE 12041 | MAYBE 12870 | n^0 - n^5 59175 | MAYBE 60032 |
| tpdb-8.0/TRS/SK90/4.45.xml | n^0 - n^1 381 | n^0 - n^1 402 | MAYBE 137 | n^0 - n^1 100 |
| tpdb-8.0/TRS/SK90/4.47.xml | n^0 - n^1 492 | n^0 - n^2 3644 | MAYBE 6957 | n^0 - n^2 997 |
| tpdb-8.0/TRS/SK90/4.48.xml | n^0 - n^1 422 | n^0 - n^1 437 | MAYBE 275 | n^0 - n^1 108 |
| tpdb-8.0/TRS/SK90/4.51.xml | n^0 - n^1 1634 | n^0 - n^3 8752 | MAYBE 4626 | n^0 - n^3 798 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_L.xml | MAYBE 304 | MAYBE 268 | MAYBE 30 | MAYBE 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_C.xml | n^0 - n^4 57118 | n^0 - n^4 43618 | MAYBE 59185 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml | n^0 - n^2 7609 | n^0 - n^2 10068 | MAYBE 5869 | n^0 - n^2 940 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_GM.xml | n^0 - n^2 46086 | n^0 - n^2 6775 | n^0 - n^2 59083 | n^0 - n^2 527 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml | n^0 - n^1 2128 | n^0 - n^2 6869 | MAYBE 925 | n^0 - n^2 434 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_L.xml | MAYBE 307 | MAYBE 280 | MAYBE 35 | MAYBE 37 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml | MAYBE 55642 | MAYBE 60048 | MAYBE 59116 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | n^0 - n^2 50320 | MAYBE 11893 | MAYBE 59144 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_C.xml | n^0 - n^3 56240 | n^0 - n^4 44291 | n^0 - n^3 59426 | n^0 - n^3 18471 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml | n^0 - n^2 6445 | n^0 - n^2 6873 | MAYBE 4726 | n^0 - n^2 440 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | n^0 - n^2 42568 | n^0 - n^2 9889 | MAYBE 39686 | n^0 - n^2 459 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_Z.xml | n^0 - n^1 594 | n^0 - n^1 359 | MAYBE 175 | n^0 - n^1 137 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_L.xml | MAYBE 309 | MAYBE 279 | MAYBE 34 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml | MAYBE 305 | MAYBE 278 | MAYBE 33 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml | MAYBE 55814 | MAYBE 60053 | MAYBE 59380 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml | MAYBE 55585 | MAYBE 60046 | MAYBE 59149 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml | MAYBE 305 | MAYBE 278 | MAYBE 34 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_C.xml | n^0 - n^2 56077 | n^0 - n^2 34012 | MAYBE 59123 | n^0 - n^3 12826 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml | n^0 - n^1 516 | n^0 - n^1 775 | MAYBE 390 | n^0 - n^1 440 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_C.xml | n^0 - n^4 58320 | MAYBE 60040 | MAYBE 59183 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml | n^0 - n^2 7445 | n^0 - n^2 13307 | MAYBE 9967 | n^0 - n^2 952 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_GM.xml | n^0 - n^2 55370 | n^0 - n^2 13114 | n^0 - n^2 59141 | n^0 - n^2 592 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_Z.xml | n^0 - n^1 585 | n^0 - n^1 515 | MAYBE 182 | n^0 - n^1 149 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_C.xml | n^0 - n^3 60037 | n^0 - n^2 49052 | n^0 - n^2 59095 | n^0 - n^2 6817 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_FR.xml | n^0 - n^2 11269 | n^0 - n^2 19700 | MAYBE 10321 | n^0 - n^2 1743 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_GM.xml | n^0 - n^2 55419 | n^0 - n^2 19885 | n^0 - n^2 59141 | n^0 - n^2 1866 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_Z.xml | n^0 - n^1 707 | n^0 - n^1 723 | MAYBE 575 | n^0 - n^1 373 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml | n^0 - n^1 433 | n^0 - n^1 737 | MAYBE 325 | n^0 - n^1 225 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_L.xml | n^0 - n^1 450 | n^0 - n^1 798 | MAYBE 137 | n^0 - n^1 122 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_L.xml | MAYBE 305 | MAYBE 272 | MAYBE 31 | MAYBE 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml | MAYBE 308 | MAYBE 279 | MAYBE 35 | MAYBE 43 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml | n^0 - n^1 416 | n^0 - n^1 708 | MAYBE 244 | n^0 - n^1 195 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml | n^0 - n^1 379 | n^0 - n^1 344 | MAYBE 61 | n^0 - n^1 66 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml | MAYBE 55763 | MAYBE 60052 | MAYBE 59607 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml | n^0 - n^2 10258 | n^0 - n^2 13314 | MAYBE 11224 | n^0 - n^2 1316 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml | n^0 - n^3 56358 | n^0 - n^3 32469 | n^0 - n^3 59193 | n^0 - n^3 3794 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml | n^0 - n^1 402 | n^0 - n^2 3578 | MAYBE 885 | n^0 - n^2 330 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml | n^0 - n^1 428 | n^0 - n^2 3793 | MAYBE 1527 | n^0 - n^2 608 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml | MAYBE 306 | MAYBE 273 | MAYBE 31 | MAYBE 34 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml | MAYBE 55574 | MAYBE 60046 | MAYBE 59168 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml | n^0 - n^1 409 | n^0 - n^1 579 | MAYBE 163 | n^0 - n^1 186 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml | n^0 - n^2 7107 | n^0 - n^2 10185 | n^0 - n^2 59097 | n^0 - n^2 833 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | MAYBE 303 | MAYBE 274 | MAYBE 31 | MAYBE 32 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml | MAYBE 309 | MAYBE 276 | MAYBE 34 | MAYBE 37 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_L.xml | MAYBE 339 | MAYBE 290 | MAYBE 66 | MAYBE 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_L.xml | MAYBE 311 | MAYBE 275 | MAYBE 35 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml | MAYBE 319 | MAYBE 291 | MAYBE 38 | MAYBE 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_L.xml | MAYBE 313 | MAYBE 282 | MAYBE 38 | MAYBE 50 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_C.xml | MAYBE 55657 | MAYBE 60047 | MAYBE 59212 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml | MAYBE 10338 | MAYBE 8956 | MAYBE 59043 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_GM.xml | MAYBE 12958 | MAYBE 16354 | MAYBE 59070 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_L.xml | MAYBE 304 | MAYBE 276 | MAYBE 44 | MAYBE 33 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml | n^0 - n^1 477 | n^0 - n^1 512 | MAYBE 298 | n^0 - n^1 297 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml | MAYBE 324 | MAYBE 298 | MAYBE 44 | MAYBE 45 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_L.xml | MAYBE 307 | MAYBE 280 | MAYBE 32 | MAYBE 132 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_C.xml | n^0 - n^2 55514 | n^0 - n^4 39052 | n^0 - n^3 59136 | n^0 - n^3 29373 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml | n^0 - n^1 515 | n^0 - n^1 599 | MAYBE 251 | n^0 - n^1 224 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml | n^0 - n^1 398 | n^0 - n^1 493 | MAYBE 105 | n^0 - n^1 90 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml | MAYBE 312 | MAYBE 277 | MAYBE 34 | MAYBE 171 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_L.xml | MAYBE 309 | MAYBE 308 | MAYBE 41 | MAYBE 37 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_L.xml | n^0 - n^1 427 | n^0 - n^1 609 | MAYBE 150 | n^0 - n^1 223 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_C.xml | MAYBE 55557 | MAYBE 60044 | MAYBE 59200 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml | n^0 - n^2 45206 | n^0 - n^2 13135 | MAYBE 29081 | n^0 - n^2 918 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_C.xml | n^0 - n^2 56735 | n^0 - n^2 34028 | n^0 - n^2 59207 | n^0 - n^2 4738 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_FR.xml | n^0 - n^2 7072 | n^0 - n^2 9882 | MAYBE 4443 | n^0 - n^2 453 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml | n^0 - n^2 55368 | n^0 - n^2 13102 | n^0 - n^2 59194 | n^0 - n^2 440 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml | MAYBE 55877 | MAYBE 60054 | MAYBE 59313 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_GM.xml | MAYBE 55572 | MAYBE 60042 | MAYBE 60161 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | MAYBE 314 | MAYBE 275 | MAYBE 34 | MAYBE 37 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml | MAYBE 55823 | MAYBE 60053 | MAYBE 59217 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_GM.xml | n^0 - n^3 56133 | n^0 - n^3 33867 | n^0 - n^3 59510 | n^0 - n^3 6202 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_L.xml | MAYBE 308 | MAYBE 269 | MAYBE 33 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_L.xml | MAYBE 309 | MAYBE 283 | MAYBE 36 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml | MAYBE 55976 | MAYBE 60040 | MAYBE 59089 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_FR.xml | n^0 - n^2 13998 | MAYBE 22045 | MAYBE 21124 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml | MAYBE 55497 | MAYBE 60039 | MAYBE 59906 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_L.xml | n^0 - n^1 408 | MAYBE 6011 | MAYBE 3751 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_Z.xml | n^0 - n^1 425 | MAYBE 6290 | MAYBE 6570 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml | MAYBE 314 | MAYBE 287 | MAYBE 68 | MAYBE 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml | MAYBE 327 | MAYBE 300 | MAYBE 61 | MAYBE 47 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml | MAYBE 338 | MAYBE 312 | MAYBE 58 | MAYBE 59 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml | MAYBE 310 | MAYBE 282 | MAYBE 36 | MAYBE 39 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml | MAYBE 319 | MAYBE 288 | MAYBE 40 | MAYBE 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml | MAYBE 55710 | MAYBE 60050 | MAYBE 59534 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml | MAYBE 55613 | MAYBE 60044 | MAYBE 59149 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml | MAYBE 307 | MAYBE 280 | MAYBE 33 | MAYBE 35 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml | MAYBE 55782 | MAYBE 60053 | MAYBE 59334 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml | MAYBE 55717 | MAYBE 60113 | MAYBE 59167 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml | MAYBE 306 | MAYBE 278 | MAYBE 34 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_L.xml | MAYBE 377 | MAYBE 348 | MAYBE 97 | MAYBE 103 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml | MAYBE 437 | MAYBE 409 | MAYBE 146 | MAYBE 131 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml | MAYBE 334 | MAYBE 304 | MAYBE 52 | MAYBE 52 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml | MAYBE 356 | MAYBE 328 | MAYBE 74 | MAYBE 89 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml | MAYBE 320 | MAYBE 290 | MAYBE 44 | MAYBE 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml | MAYBE 330 | MAYBE 305 | MAYBE 48 | MAYBE 50 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml | MAYBE 326 | MAYBE 298 | MAYBE 45 | MAYBE 46 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_L.xml | MAYBE 348 | MAYBE 319 | MAYBE 63 | MAYBE 60 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_L.xml | MAYBE 314 | MAYBE 287 | MAYBE 38 | MAYBE 39 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml | MAYBE 341 | MAYBE 293 | MAYBE 42 | MAYBE 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml | MAYBE 311 | MAYBE 302 | MAYBE 36 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_L.xml | MAYBE 330 | MAYBE 305 | MAYBE 52 | MAYBE 55 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_L.xml | MAYBE 355 | MAYBE 356 | MAYBE 77 | MAYBE 75 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml | MAYBE 316 | MAYBE 297 | MAYBE 39 | MAYBE 41 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml | MAYBE 327 | MAYBE 297 | MAYBE 54 | MAYBE 49 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_C.xml | MAYBE 55826 | MAYBE 60054 | MAYBE 59271 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_GM.xml | MAYBE 55543 | MAYBE 60046 | MAYBE 16868 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml | MAYBE 307 | MAYBE 278 | MAYBE 33 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml | MAYBE 56202 | MAYBE 60058 | MAYBE 59253 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml | MAYBE 55603 | MAYBE 60042 | MAYBE 59113 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml | MAYBE 313 | MAYBE 287 | MAYBE 38 | MAYBE 39 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml | MAYBE 330 | MAYBE 305 | MAYBE 48 | MAYBE 49 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_C.xml | MAYBE 55857 | MAYBE 60054 | MAYBE 59221 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml | MAYBE 41884 | MAYBE 11867 | MAYBE 59147 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_GM.xml | MAYBE 29698 | MAYBE 14444 | MAYBE 59149 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml | MAYBE 311 | MAYBE 283 | MAYBE 37 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml | MAYBE 56477 | MAYBE 60069 | MAYBE 59382 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml | MAYBE 28535 | MAYBE 16418 | MAYBE 59211 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml | MAYBE 55673 | MAYBE 24685 | MAYBE 59258 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml | n^0 - n^2 14020 | n^0 - n^2 6991 | MAYBE 33139 | n^0 - n^2 11406 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_Z.xml | n^0 - n^2 10642 | n^0 - n^2 6493 | MAYBE 26921 | n^0 - n^2 8221 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_C.xml | MAYBE 55734 | MAYBE 60046 | MAYBE 59280 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_GM.xml | MAYBE 14938 | MAYBE 10516 | MAYBE 59226 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_L.xml | MAYBE 309 | MAYBE 279 | MAYBE 33 | MAYBE 36 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml | MAYBE 55737 | MAYBE 60050 | MAYBE 59355 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml | MAYBE 27365 | MAYBE 11478 | MAYBE 59238 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_L.xml | MAYBE 320 | MAYBE 291 | MAYBE 39 | MAYBE 42 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml | MAYBE 322 | MAYBE 297 | MAYBE 44 | MAYBE 46 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_L.xml | MAYBE 309 | MAYBE 278 | MAYBE 35 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_L.xml | MAYBE 311 | MAYBE 282 | MAYBE 36 | MAYBE 38 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_C.xml | MAYBE 55748 | MAYBE 60047 | MAYBE 59309 | MAYBE 60029 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_FR.xml | n^0 - n^2 6026 | n^0 - n^2 3663 | MAYBE 3416 | n^0 - n^2 287 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_GM.xml | MAYBE 31775 | MAYBE 11983 | MAYBE 59086 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml | MAYBE 304 | MAYBE 278 | MAYBE 31 | MAYBE 33 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_C.xml | MAYBE 55818 | MAYBE 60053 | MAYBE 59338 | MAYBE 60030 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml | n^0 - n^2 8209 | n^0 - n^2 13144 | MAYBE 23746 | n^0 - n^2 998 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml | MAYBE 55465 | MAYBE 17931 | MAYBE 59138 | MAYBE 60031 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml | MAYBE 309 | MAYBE 280 | MAYBE 33 | MAYBE 35 |
| tpdb-8.0/TRS/Various_04/15.xml | MAYBE 17026 | MAYBE 5892 | MAYBE 59079 | MAYBE 60031 |
| tpdb-8.0/TRS/Various_04/18.xml | MAYBE 55401 | MAYBE 8953 | n^0 - n^3 59166 | MAYBE 60029 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^2 7935 | n^0 - n^2 3624 | MAYBE 6002 | n^0 - n^2 454 |
| tpdb-8.0/TRS/Various_04/24.xml | n^0 - n^1 2068 | MAYBE 28927 | MAYBE 59170 | MAYBE 60032 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | MAYBE 55380 | MAYBE 6225 | MAYBE 59115 | MAYBE 60034 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | MAYBE 55389 | MAYBE 6198 | MAYBE 59393 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_06_SRS/e.xml | n^0 - n^1 5068 | MAYBE 60039 | MAYBE 59207 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_06_SRS/jw3.xml | MAYBE 55535 | MAYBE 60041 | MAYBE 59140 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_06_SRS/pi.xml | n^0 - n^2 55466 | n^0 - n^4 59182 | n^0 - n^3 59185 | n^0 - n^3 13054 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-1.xml | MAYBE 55353 | MAYBE 13814 | MAYBE 59165 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-2-num-2.xml | MAYBE 55422 | MAYBE 13160 | MAYBE 59153 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-10.xml | MAYBE 10684 | MAYBE 5655 | MAYBE 59060 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-11.xml | MAYBE 55351 | MAYBE 8459 | MAYBE 59362 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-12.xml | MAYBE 55380 | MAYBE 6375 | MAYBE 59106 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-14.xml | MAYBE 55353 | MAYBE 9579 | MAYBE 59081 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-15.xml | MAYBE 38911 | MAYBE 5777 | MAYBE 59134 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-16.xml | MAYBE 16797 | MAYBE 5583 | MAYBE 59045 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-1.xml | MAYBE 55354 | MAYBE 8451 | MAYBE 59203 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-2.xml | MAYBE 55356 | MAYBE 8723 | MAYBE 59073 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-4.xml | MAYBE 55355 | MAYBE 9737 | MAYBE 59121 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-5.xml | MAYBE 55354 | MAYBE 7549 | MAYBE 59066 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-6.xml | MAYBE 13991 | MAYBE 5633 | MAYBE 59121 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-7.xml | MAYBE 10613 | MAYBE 5663 | MAYBE 59188 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-8.xml | MAYBE 10671 | MAYBE 5631 | MAYBE 59150 | MAYBE 60028 |
| tpdb-8.0/TRS/Waldmann_07_size11/size-11-alpha-3-num-9.xml | MAYBE 29223 | MAYBE 5572 | MAYBE 60127 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-13.xml | MAYBE 22292 | MAYBE 5681 | MAYBE 59239 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-17.xml | MAYBE 21361 | MAYBE 6131 | MAYBE 59366 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-18.xml | MAYBE 10800 | MAYBE 5969 | MAYBE 59117 | MAYBE 60028 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-2.xml | MAYBE 29503 | MAYBE 5628 | MAYBE 59134 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-6.xml | MAYBE 55388 | MAYBE 8891 | MAYBE 59826 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-2-num-8.xml | MAYBE 55391 | MAYBE 8865 | MAYBE 59273 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-104.xml | MAYBE 30925 | MAYBE 6237 | MAYBE 59085 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-105.xml | MAYBE 22893 | MAYBE 5614 | MAYBE 59195 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-106.xml | MAYBE 14605 | MAYBE 5610 | MAYBE 59116 | MAYBE 60028 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-107.xml | MAYBE 11404 | MAYBE 5912 | MAYBE 59095 | MAYBE 60032 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-108.xml | MAYBE 21026 | MAYBE 5703 | MAYBE 59091 | MAYBE 60032 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-109.xml | MAYBE 28270 | MAYBE 5848 | MAYBE 59454 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-10.xml | MAYBE 55350 | MAYBE 8571 | MAYBE 60166 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-110.xml | MAYBE 42533 | MAYBE 6145 | MAYBE 59098 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-111.xml | MAYBE 10702 | MAYBE 5949 | MAYBE 59157 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-112.xml | MAYBE 10684 | MAYBE 5679 | MAYBE 59405 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-113.xml | MAYBE 12619 | MAYBE 5739 | MAYBE 59136 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-114.xml | MAYBE 10679 | MAYBE 5874 | MAYBE 59355 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-11.xml | MAYBE 55358 | MAYBE 7432 | MAYBE 59098 | MAYBE 60032 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-120.xml | MAYBE 13836 | MAYBE 5617 | MAYBE 59094 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-121.xml | MAYBE 10705 | MAYBE 5976 | MAYBE 59082 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-122.xml | MAYBE 28161 | MAYBE 5652 | MAYBE 59393 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-123.xml | MAYBE 55351 | MAYBE 6419 | MAYBE 59127 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-124.xml | MAYBE 20102 | MAYBE 5625 | MAYBE 60108 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-125.xml | MAYBE 55358 | MAYBE 9116 | MAYBE 59122 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-126.xml | MAYBE 55351 | MAYBE 10422 | MAYBE 59121 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-127.xml | MAYBE 10560 | MAYBE 5508 | MAYBE 59044 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-128.xml | MAYBE 55354 | MAYBE 10846 | MAYBE 59140 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-129.xml | MAYBE 10612 | MAYBE 5502 | MAYBE 59103 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-131.xml | MAYBE 10556 | MAYBE 5581 | MAYBE 59174 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-132.xml | MAYBE 55361 | MAYBE 10805 | MAYBE 59235 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-133.xml | MAYBE 55355 | MAYBE 11768 | MAYBE 59200 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-13.xml | MAYBE 10618 | MAYBE 5619 | MAYBE 59116 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-14.xml | MAYBE 10613 | MAYBE 5535 | MAYBE 59065 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-158.xml | MAYBE 17500 | MAYBE 5729 | MAYBE 59217 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-15.xml | MAYBE 16509 | MAYBE 5547 | MAYBE 59108 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-16.xml | MAYBE 10666 | MAYBE 5581 | MAYBE 59144 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-170.xml | MAYBE 10622 | MAYBE 5521 | MAYBE 59098 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-174.xml | MAYBE 27427 | MAYBE 5852 | MAYBE 60100 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-179.xml | MAYBE 11704 | MAYBE 5610 | MAYBE 59871 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-17.xml | MAYBE 10717 | MAYBE 5617 | MAYBE 59181 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-198.xml | MAYBE 20442 | MAYBE 5602 | MAYBE 59402 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-199.xml | MAYBE 10579 | MAYBE 5633 | MAYBE 59160 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-211.xml | MAYBE 10639 | MAYBE 5572 | MAYBE 59173 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-217.xml | MAYBE 10637 | MAYBE 5545 | MAYBE 59048 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-21.xml | MAYBE 14954 | MAYBE 6002 | MAYBE 59258 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-222.xml | MAYBE 55348 | MAYBE 5731 | MAYBE 59089 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-224.xml | MAYBE 55351 | MAYBE 5997 | MAYBE 59077 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-227.xml | MAYBE 46322 | MAYBE 5921 | MAYBE 59098 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-22.xml | MAYBE 55353 | MAYBE 16291 | MAYBE 59180 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-231.xml | MAYBE 55356 | MAYBE 6612 | MAYBE 59069 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-232.xml | MAYBE 10330 | MAYBE 5612 | MAYBE 59045 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-233.xml | MAYBE 55358 | MAYBE 6143 | MAYBE 59042 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-236.xml | MAYBE 55393 | MAYBE 5968 | MAYBE 59355 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-237.xml | MAYBE 55351 | MAYBE 5903 | MAYBE 59134 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-238.xml | MAYBE 30626 | MAYBE 5755 | MAYBE 59084 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-243.xml | MAYBE 10628 | MAYBE 5521 | MAYBE 59052 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-247.xml | MAYBE 55346 | MAYBE 5873 | MAYBE 59079 | MAYBE 60032 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-248.xml | MAYBE 24092 | MAYBE 5658 | MAYBE 59068 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-249.xml | MAYBE 16392 | MAYBE 5699 | MAYBE 59146 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-260.xml | MAYBE 21661 | MAYBE 5715 | MAYBE 59215 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-263.xml | MAYBE 55353 | MAYBE 14197 | MAYBE 59312 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-267.xml | MAYBE 55348 | MAYBE 6789 | MAYBE 59199 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-270.xml | MAYBE 55352 | MAYBE 8203 | MAYBE 59131 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-271.xml | MAYBE 55352 | MAYBE 9813 | MAYBE 59136 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-272.xml | MAYBE 55355 | MAYBE 7325 | MAYBE 59325 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-274.xml | MAYBE 55348 | MAYBE 6076 | MAYBE 59093 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-275.xml | MAYBE 55348 | MAYBE 8517 | MAYBE 59074 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-286.xml | MAYBE 55354 | MAYBE 7653 | MAYBE 59211 | MAYBE 60033 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-289.xml | MAYBE 55351 | MAYBE 5810 | MAYBE 59232 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-291.xml | MAYBE 55348 | MAYBE 8009 | MAYBE 59145 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-292.xml | MAYBE 55349 | MAYBE 9426 | MAYBE 59122 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-293.xml | MAYBE 18424 | MAYBE 5592 | MAYBE 59160 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-294.xml | MAYBE 22599 | MAYBE 5659 | MAYBE 59210 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-296.xml | MAYBE 25288 | MAYBE 5662 | MAYBE 59131 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-297.xml | MAYBE 26517 | MAYBE 5656 | MAYBE 60132 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-298.xml | MAYBE 15816 | MAYBE 5624 | MAYBE 59143 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-299.xml | MAYBE 25117 | MAYBE 5575 | MAYBE 59391 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-300.xml | MAYBE 19996 | MAYBE 5588 | MAYBE 59303 | MAYBE 60028 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-301.xml | MAYBE 35793 | MAYBE 5805 | MAYBE 59159 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-303.xml | MAYBE 27360 | MAYBE 5635 | MAYBE 59123 | MAYBE 60028 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-304.xml | MAYBE 30869 | MAYBE 5627 | MAYBE 59137 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-309.xml | MAYBE 55355 | MAYBE 10654 | MAYBE 59691 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-30.xml | MAYBE 10620 | MAYBE 5572 | MAYBE 59041 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-327.xml | MAYBE 55350 | MAYBE 9070 | MAYBE 59129 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-328.xml | MAYBE 55390 | MAYBE 9919 | MAYBE 59096 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-32.xml | MAYBE 44619 | MAYBE 5609 | MAYBE 59131 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-330.xml | MAYBE 13541 | MAYBE 6650 | MAYBE 59060 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-335.xml | MAYBE 55392 | MAYBE 7326 | MAYBE 59544 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-337.xml | MAYBE 19735 | MAYBE 5602 | MAYBE 59178 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-338.xml | MAYBE 55381 | MAYBE 35255 | MAYBE 59141 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-339.xml | MAYBE 55428 | MAYBE 60038 | MAYBE 59133 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-340.xml | MAYBE 55391 | MAYBE 9878 | MAYBE 59460 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-341.xml | MAYBE 55391 | MAYBE 7951 | MAYBE 59297 | MAYBE 60032 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-345.xml | MAYBE 55351 | MAYBE 9078 | MAYBE 59353 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-346.xml | MAYBE 55384 | MAYBE 7235 | MAYBE 59257 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-347.xml | MAYBE 55392 | MAYBE 8346 | MAYBE 59376 | MAYBE 60033 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-348.xml | MAYBE 55389 | MAYBE 8173 | MAYBE 59299 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-353.xml | MAYBE 10581 | MAYBE 5600 | MAYBE 59167 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-354.xml | MAYBE 55393 | MAYBE 12133 | MAYBE 59086 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-355.xml | MAYBE 55394 | MAYBE 34784 | MAYBE 59169 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-356.xml | MAYBE 55395 | MAYBE 10539 | MAYBE 59443 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-359.xml | MAYBE 55387 | MAYBE 7230 | MAYBE 59271 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-35.xml | MAYBE 10639 | MAYBE 5534 | MAYBE 59069 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-360.xml | MAYBE 55390 | MAYBE 10418 | MAYBE 59139 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-361.xml | MAYBE 55393 | MAYBE 53781 | MAYBE 59151 | MAYBE 60032 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-362.xml | MAYBE 55463 | MAYBE 60037 | MAYBE 59157 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-363.xml | MAYBE 55392 | MAYBE 9706 | MAYBE 59138 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-366.xml | MAYBE 55383 | MAYBE 18110 | MAYBE 59581 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-367.xml | MAYBE 55386 | MAYBE 8362 | MAYBE 59285 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-368.xml | MAYBE 55410 | MAYBE 15076 | MAYBE 59102 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-369.xml | MAYBE 55386 | MAYBE 23756 | MAYBE 59173 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-373.xml | MAYBE 16877 | MAYBE 5594 | MAYBE 59201 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-374.xml | MAYBE 55389 | MAYBE 7769 | MAYBE 59153 | MAYBE 60038 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-375.xml | MAYBE 33532 | MAYBE 5665 | MAYBE 59246 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-376.xml | MAYBE 44103 | MAYBE 5737 | MAYBE 59447 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-377.xml | MAYBE 55352 | MAYBE 8773 | MAYBE 60263 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-378.xml | MAYBE 29438 | MAYBE 5662 | MAYBE 59228 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-382.xml | MAYBE 55385 | MAYBE 35862 | MAYBE 59151 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-383.xml | MAYBE 55396 | MAYBE 10817 | MAYBE 59134 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-384.xml | MAYBE 55421 | MAYBE 36843 | MAYBE 59162 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-385.xml | MAYBE 55392 | MAYBE 60041 | MAYBE 59137 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-386.xml | MAYBE 55383 | MAYBE 10563 | MAYBE 59139 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-391.xml | MAYBE 55393 | MAYBE 8345 | MAYBE 59139 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-395.xml | MAYBE 55354 | MAYBE 9617 | MAYBE 59250 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-396.xml | MAYBE 55351 | MAYBE 8832 | MAYBE 59259 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-400.xml | MAYBE 55388 | MAYBE 35925 | MAYBE 59132 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-401.xml | MAYBE 55417 | MAYBE 60037 | MAYBE 59153 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-402.xml | MAYBE 55417 | MAYBE 60035 | MAYBE 59155 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-403.xml | MAYBE 55390 | MAYBE 10163 | MAYBE 59163 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-406.xml | MAYBE 55381 | MAYBE 54928 | MAYBE 59140 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-408.xml | MAYBE 55391 | MAYBE 13873 | MAYBE 59139 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-409.xml | MAYBE 55394 | MAYBE 15086 | MAYBE 59149 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-40.xml | MAYBE 55385 | MAYBE 8919 | MAYBE 59138 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-410.xml | MAYBE 55388 | MAYBE 14965 | MAYBE 59130 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-41.xml | MAYBE 11427 | MAYBE 5653 | MAYBE 59055 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-429.xml | MAYBE 10643 | MAYBE 5576 | MAYBE 59054 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-430.xml | MAYBE 33292 | MAYBE 5577 | MAYBE 59072 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-431.xml | MAYBE 27237 | MAYBE 5550 | MAYBE 59041 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-434.xml | MAYBE 20279 | MAYBE 5562 | MAYBE 59133 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-435.xml | MAYBE 18721 | MAYBE 5577 | MAYBE 59061 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-436.xml | MAYBE 55359 | MAYBE 6440 | MAYBE 59393 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-437.xml | MAYBE 55355 | MAYBE 6461 | MAYBE 59320 | MAYBE 60034 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-438.xml | MAYBE 55350 | MAYBE 7201 | MAYBE 59376 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-439.xml | MAYBE 55386 | MAYBE 6220 | MAYBE 59072 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-441.xml | MAYBE 17448 | MAYBE 5657 | MAYBE 59101 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-443.xml | MAYBE 55385 | MAYBE 19026 | MAYBE 59123 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-446.xml | MAYBE 19158 | MAYBE 5620 | MAYBE 59060 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-448.xml | MAYBE 10675 | MAYBE 5618 | MAYBE 59116 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-450.xml | MAYBE 55353 | MAYBE 9714 | MAYBE 59546 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-451.xml | MAYBE 55379 | MAYBE 7600 | MAYBE 59113 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-456.xml | MAYBE 55353 | MAYBE 9319 | MAYBE 59053 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-465.xml | MAYBE 19976 | MAYBE 5605 | MAYBE 59042 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-469.xml | MAYBE 55350 | MAYBE 8513 | MAYBE 59264 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-472.xml | MAYBE 55357 | MAYBE 6974 | MAYBE 59087 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-473.xml | MAYBE 55398 | MAYBE 60038 | MAYBE 59071 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-476.xml | MAYBE 10564 | MAYBE 5605 | MAYBE 59124 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-477.xml | MAYBE 33312 | MAYBE 5559 | MAYBE 59227 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-47.xml | MAYBE 55354 | MAYBE 6839 | MAYBE 59094 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-480.xml | MAYBE 16019 | MAYBE 5551 | MAYBE 59075 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-482.xml | MAYBE 11311 | MAYBE 5556 | MAYBE 59096 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-485.xml | MAYBE 16753 | MAYBE 5533 | MAYBE 59098 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-487.xml | MAYBE 55390 | MAYBE 10046 | MAYBE 59116 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-488.xml | MAYBE 55383 | MAYBE 10472 | MAYBE 59076 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-489.xml | MAYBE 55388 | MAYBE 6579 | MAYBE 59082 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-48.xml | MAYBE 55349 | MAYBE 6852 | MAYBE 59167 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-491.xml | MAYBE 55413 | MAYBE 39311 | MAYBE 59410 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-492.xml | MAYBE 55391 | MAYBE 9107 | MAYBE 59185 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-497.xml | MAYBE 11132 | MAYBE 5551 | MAYBE 60113 | MAYBE 60028 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-49.xml | MAYBE 55357 | MAYBE 5809 | MAYBE 59097 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-4.xml | MAYBE 10628 | MAYBE 5507 | MAYBE 59063 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-502.xml | MAYBE 55413 | MAYBE 60040 | MAYBE 59075 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-506.xml | MAYBE 10600 | MAYBE 5589 | MAYBE 59084 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-508.xml | MAYBE 55412 | MAYBE 60038 | MAYBE 59083 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-511.xml | MAYBE 55377 | MAYBE 29380 | MAYBE 59279 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-522.xml | MAYBE 55392 | MAYBE 21349 | MAYBE 59604 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-532.xml | MAYBE 16813 | MAYBE 5629 | MAYBE 59256 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-535.xml | MAYBE 55382 | MAYBE 25425 | MAYBE 59273 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-536.xml | MAYBE 55381 | MAYBE 13712 | MAYBE 59268 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-540.xml | MAYBE 11203 | MAYBE 5529 | MAYBE 59668 | MAYBE 60032 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-541.xml | MAYBE 16561 | MAYBE 5518 | MAYBE 59103 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-543.xml | MAYBE 55350 | MAYBE 6027 | MAYBE 60037 | MAYBE 60032 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-545.xml | MAYBE 14385 | MAYBE 5638 | MAYBE 59126 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-546.xml | MAYBE 14219 | MAYBE 5546 | MAYBE 59495 | MAYBE 60028 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-547.xml | MAYBE 26153 | MAYBE 5555 | MAYBE 59336 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-548.xml | MAYBE 19375 | MAYBE 5594 | MAYBE 59247 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-549.xml | MAYBE 42986 | MAYBE 5644 | MAYBE 59085 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-550.xml | MAYBE 20388 | MAYBE 5614 | MAYBE 59206 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-551.xml | MAYBE 13512 | MAYBE 5527 | MAYBE 59082 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-552.xml | MAYBE 16630 | MAYBE 5596 | MAYBE 59149 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-553.xml | MAYBE 15265 | MAYBE 5603 | MAYBE 59131 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-556.xml | MAYBE 20049 | MAYBE 5634 | MAYBE 59144 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-558.xml | MAYBE 11857 | MAYBE 5588 | MAYBE 59062 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-559.xml | MAYBE 14129 | MAYBE 5633 | MAYBE 59333 | MAYBE 60032 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-560.xml | MAYBE 15069 | MAYBE 5573 | MAYBE 59141 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-561.xml | MAYBE 12190 | MAYBE 5562 | MAYBE 59052 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-563.xml | MAYBE 17079 | MAYBE 5553 | MAYBE 59050 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-564.xml | MAYBE 15117 | MAYBE 5558 | MAYBE 59149 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-565.xml | MAYBE 12408 | MAYBE 5515 | MAYBE 59066 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-566.xml | MAYBE 13835 | MAYBE 5583 | MAYBE 59135 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-57.xml | MAYBE 10643 | MAYBE 5591 | MAYBE 59694 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-59.xml | MAYBE 15639 | MAYBE 5667 | MAYBE 59619 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-64.xml | MAYBE 15214 | MAYBE 5587 | MAYBE 59077 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-65.xml | MAYBE 12539 | MAYBE 5646 | MAYBE 60167 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-66.xml | MAYBE 15967 | MAYBE 5614 | MAYBE 59173 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-67.xml | MAYBE 10618 | MAYBE 5508 | MAYBE 59066 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-71.xml | MAYBE 34484 | MAYBE 5731 | MAYBE 59130 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-72.xml | MAYBE 10363 | MAYBE 5564 | MAYBE 59076 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-7.xml | MAYBE 26669 | MAYBE 5843 | MAYBE 59490 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-83.xml | MAYBE 10720 | MAYBE 5535 | MAYBE 59049 | MAYBE 60031 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-84.xml | MAYBE 10930 | MAYBE 5536 | MAYBE 59180 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-85.xml | MAYBE 10558 | MAYBE 5574 | MAYBE 59203 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-86.xml | MAYBE 10643 | MAYBE 5528 | MAYBE 59089 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-88.xml | MAYBE 16494 | MAYBE 5620 | MAYBE 59156 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-91.xml | MAYBE 12297 | MAYBE 5550 | MAYBE 59042 | MAYBE 60030 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-92.xml | MAYBE 55383 | MAYBE 6824 | MAYBE 59288 | MAYBE 60028 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-98.xml | MAYBE 55347 | MAYBE 6117 | MAYBE 59080 | MAYBE 60029 |
| tpdb-8.0/TRS/Waldmann_07_size12/size-12-alpha-3-num-9.xml | MAYBE 10674 | MAYBE 5618 | MAYBE 60103 | MAYBE 60071 |
| tpdb-8.0/TRS/Zantema_04/syracuse.xml | MAYBE 55592 | MAYBE 60044 | MAYBE 59224 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z002.xml | n^0 - n^1 490 | n^0 - n^4 17080 | n^0 - n^1 59054 | n^0 - n^4 18079 |
| tpdb-8.0/TRS/Zantema_04/z003.xml | n^0 - n^1 674 | MAYBE 24721 | n^0 - n^1 59065 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z004.xml | n^0 - n^1 497 | MAYBE 60041 | n^0 - n^1 59147 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z005.xml | n^0 - n^1 610 | MAYBE 25879 | n^0 - n^1 59124 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z008.xml | MAYBE 55470 | MAYBE 60037 | MAYBE 59665 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z009.xml | n^0 - n^4 55812 | n^0 - n^4 17319 | n^0 - n^3 59061 | n^0 - n^4 1749 |
| tpdb-8.0/TRS/Zantema_04/z010.xml | MAYBE 55381 | MAYBE 10537 | MAYBE 59236 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z013.xml | n^0 - n^2 55671 | MAYBE 28350 | MAYBE 59136 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z014.xml | MAYBE 55396 | MAYBE 9590 | MAYBE 59559 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z017.xml | MAYBE 55392 | MAYBE 11378 | MAYBE 59060 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z018.xml | MAYBE 55426 | MAYBE 12837 | MAYBE 59071 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z020.xml | MAYBE 55415 | MAYBE 24587 | MAYBE 59260 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z026.xml | MAYBE 55445 | MAYBE 60036 | MAYBE 59118 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z042.xml | MAYBE 55495 | MAYBE 60041 | MAYBE 59386 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z043.xml | n^0 - n^1 494 | MAYBE 60041 | n^0 - n^1 59328 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z044.xml | MAYBE 55460 | MAYBE 60043 | MAYBE 59206 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z045.xml | n^0 - n^1 509 | MAYBE 60042 | n^0 - n^1 59459 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z046.xml | MAYBE 55463 | MAYBE 60044 | MAYBE 59644 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z047.xml | n^0 - n^1 490 | MAYBE 60041 | n^0 - n^1 59320 | MAYBE 60049 |
| tpdb-8.0/TRS/Zantema_04/z065.xml | MAYBE 55537 | MAYBE 60045 | MAYBE 59214 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z072.xml | MAYBE 55458 | MAYBE 60042 | MAYBE 59112 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z073.xml | MAYBE 55543 | MAYBE 60040 | MAYBE 59088 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z074.xml | MAYBE 55710 | MAYBE 60045 | MAYBE 59186 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z075.xml | MAYBE 55550 | MAYBE 60045 | MAYBE 59446 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z076.xml | MAYBE 30029 | MAYBE 6247 | MAYBE 60131 | MAYBE 60035 |
| tpdb-8.0/TRS/Zantema_04/z077.xml | MAYBE 55422 | MAYBE 13563 | MAYBE 59059 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z078.xml | MAYBE 54795 | MAYBE 6690 | MAYBE 59152 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z079.xml | MAYBE 55569 | MAYBE 60042 | MAYBE 59121 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z081.xml | MAYBE 55429 | MAYBE 60039 | MAYBE 59161 | MAYBE 60028 |
| tpdb-8.0/TRS/Zantema_04/z082.xml | MAYBE 55407 | MAYBE 14071 | MAYBE 59066 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z083.xml | MAYBE 55469 | MAYBE 60042 | MAYBE 59177 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z090.xml | MAYBE 55458 | MAYBE 15276 | MAYBE 59109 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z091.xml | MAYBE 55750 | MAYBE 60051 | MAYBE 59693 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z092.xml | n^0 - n^2 56531 | n^0 - n^2 21137 | n^0 - n^2 59271 | n^0 - n^2 4931 |
| tpdb-8.0/TRS/Zantema_04/z094.xml | MAYBE 55353 | MAYBE 14558 | MAYBE 59088 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z100.xml | MAYBE 55413 | MAYBE 60048 | MAYBE 59161 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z103.xml | MAYBE 55354 | MAYBE 9125 | MAYBE 59098 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z105.xml | MAYBE 55391 | MAYBE 9669 | MAYBE 59358 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z106.xml | n^0 - n^3 14049 | MAYBE 6913 | MAYBE 54427 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z107.xml | n^0 - n^1 716 | n^0 - n^1 622 | MAYBE 59094 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z111.xml | MAYBE 55386 | MAYBE 15636 | MAYBE 59076 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_04/z114.xml | MAYBE 55351 | MAYBE 7288 | MAYBE 59229 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z117.xml | MAYBE 38222 | MAYBE 47761 | MAYBE 60179 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z118.xml | MAYBE 55395 | MAYBE 8111 | MAYBE 59132 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z120.xml | MAYBE 55388 | MAYBE 9541 | MAYBE 59266 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_04/z123.xml | MAYBE 55423 | MAYBE 16735 | MAYBE 59136 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_04/z124.xml | n^0 - n^2 56366 | n^0 - n^2 17591 | n^0 - n^2 59226 | n^0 - n^2 3175 |
| tpdb-8.0/TRS/Zantema_04/z125.xml | MAYBE 55439 | MAYBE 22918 | MAYBE 59188 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | MAYBE 55463 | MAYBE 60043 | MAYBE 59257 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | MAYBE 55506 | MAYBE 60042 | MAYBE 59126 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z14.xml | MAYBE 55447 | MAYBE 60040 | MAYBE 59110 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | MAYBE 55424 | MAYBE 60036 | MAYBE 59091 | MAYBE 60032 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | MAYBE 55486 | MAYBE 60035 | MAYBE 59179 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | MAYBE 55528 | MAYBE 60038 | MAYBE 59102 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | MAYBE 55460 | MAYBE 60035 | MAYBE 59122 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | MAYBE 55458 | MAYBE 60044 | MAYBE 59794 | MAYBE 60033 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | MAYBE 55538 | MAYBE 60041 | MAYBE 59140 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | n^0 - n^2 13461 | n^0 - n^2 10007 | MAYBE 25955 | n^0 - n^2 1195 |
| tpdb-8.0/TRS/Zantema_06/01.xml | MAYBE 55352 | MAYBE 6590 | MAYBE 59061 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/02.xml | MAYBE 55390 | MAYBE 31808 | MAYBE 59087 | MAYBE 60028 |
| tpdb-8.0/TRS/Zantema_06/03.xml | MAYBE 55458 | MAYBE 60039 | MAYBE 59235 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_06/04.xml | MAYBE 55387 | MAYBE 10873 | MAYBE 59063 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/05.xml | MAYBE 55467 | MAYBE 60041 | MAYBE 59171 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/06.xml | MAYBE 55467 | MAYBE 59299 | MAYBE 59134 | MAYBE 60032 |
| tpdb-8.0/TRS/Zantema_06/07.xml | MAYBE 55351 | MAYBE 6173 | MAYBE 59309 | MAYBE 60028 |
| tpdb-8.0/TRS/Zantema_06/08.xml | MAYBE 55357 | MAYBE 6362 | MAYBE 59146 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_06/09.xml | MAYBE 55484 | MAYBE 60038 | MAYBE 59206 | MAYBE 60032 |
| tpdb-8.0/TRS/Zantema_06/10.xml | MAYBE 24902 | MAYBE 5930 | MAYBE 59189 | MAYBE 60032 |
| tpdb-8.0/TRS/Zantema_06/15.xml | MAYBE 55500 | MAYBE 60045 | MAYBE 59308 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/beans1.xml | MAYBE 55594 | MAYBE 60048 | MAYBE 59208 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_06/beans2.xml | MAYBE 55496 | MAYBE 60041 | MAYBE 59193 | MAYBE 60029 |
| tpdb-8.0/TRS/Zantema_06/beans3.xml | MAYBE 55565 | MAYBE 60041 | MAYBE 59285 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_06/beans6.xml | MAYBE 55459 | MAYBE 60043 | MAYBE 59179 | MAYBE 60031 |
| tpdb-8.0/TRS/Zantema_06/loop1.xml | MAYBE 55383 | MAYBE 7276 | MAYBE 59116 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/while1.xml | MAYBE 55664 | MAYBE 60043 | MAYBE 59235 | MAYBE 60030 |
| tpdb-8.0/TRS/Zantema_06/while2.xml | n^0 - n^2 11824 | n^0 - n^4 24906 | MAYBE 59352 | n^0 - n^4 5990 | 586 | 362 | 237 | 350 |