| benchmark | CaT | TCT-DC | TCT-IDC |
|---|---|---|---|
| tpdb-8.0/TRS/AG01/#3.12.xml | MAYBE 60126 | MAYBE 60225 | MISSING |
| tpdb-8.0/TRS/AG01/#3.15.xml | n^0 - n^2 5145 | n^0 - n^2 1143 | MISSING |
| tpdb-8.0/TRS/AG01/#3.17a.xml | MAYBE 60269 | MAYBE 60463 | MISSING |
| tpdb-8.0/TRS/AG01/#3.17.xml | MAYBE 60223 | MAYBE 60387 | MISSING |
| tpdb-8.0/TRS/AG01/#3.24.xml | n^0 - n^1 91 | n^0 - n^1 83 | MISSING |
| tpdb-8.0/TRS/AG01/#3.26.xml | MAYBE 60145 | MAYBE 60101 | MISSING |
| tpdb-8.0/TRS/AG01/#3.33.xml | n^0 - n^1 104 | n^0 - n^1 78 | MISSING |
| tpdb-8.0/TRS/AG01/#3.35.xml | n^0 - n^2 5139 | n^0 - n^2 1090 | MISSING |
| tpdb-8.0/TRS/AG01/#3.37.xml | n^0 - n^1 93 | n^0 - n^1 90 | MISSING |
| tpdb-8.0/TRS/AG01/#3.49.xml | MAYBE 60295 | MAYBE 60281 | MISSING |
| tpdb-8.0/TRS/AG01/#3.51.xml | n^0 - n^1 102 | n^0 - n^1 88 | MISSING |
| tpdb-8.0/TRS/AG01/#3.56.xml | n^0 - n^2 5126 | n^0 - n^2 1107 | MISSING |
| tpdb-8.0/TRS/AG01/#3.7.xml | n^0 - n^1 1382 | n^0 - n^2 1137 | MISSING |
| tpdb-8.0/TRS/AG01_innermost/#4.12a.xml | MAYBE 65 | MISSING | MAYBE 63 |
| tpdb-8.0/TRS/AG01_innermost/#4.13.xml | MAYBE 67 | MISSING | MAYBE 64 |
| tpdb-8.0/TRS/AG01_innermost/#4.14.xml | MAYBE 65 | MISSING | MAYBE 63 |
| tpdb-8.0/TRS/AG01_innermost/#4.15.xml | MAYBE 67 | MISSING | MAYBE 65 |
| tpdb-8.0/TRS/AG01_innermost/#4.16.xml | MAYBE 64 | MISSING | MAYBE 62 |
| tpdb-8.0/TRS/AG01_innermost/#4.17.xml | MAYBE 60204 | MISSING | MAYBE 60275 |
| tpdb-8.0/TRS/AG01_innermost/#4.18.xml | MAYBE 60206 | MISSING | MAYBE 60116 |
| tpdb-8.0/TRS/AG01_innermost/#4.19.xml | MAYBE 68 | MISSING | MAYBE 65 |
| tpdb-8.0/TRS/AG01_innermost/#4.20a.xml | n^0 - n^1 344 | MISSING | n^0 - n^1 115 |
| tpdb-8.0/TRS/AG01_innermost/#4.20.xml | n^0 - n^1 213 | MISSING | n^0 - n^1 85 |
| tpdb-8.0/TRS/AG01_innermost/#4.21.xml | n^0 - n^1 1497 | MISSING | n^0 - n^1 108 |
| tpdb-8.0/TRS/AG01_innermost/#4.22.xml | MAYBE 69 | MISSING | MAYBE 66 |
| tpdb-8.0/TRS/AG01_innermost/#4.23.xml | MAYBE 70 | MISSING | MAYBE 66 |
| tpdb-8.0/TRS/AG01_innermost/#4.24.xml | n^0 - n^3 10712 | MISSING | MAYBE 60229 |
| tpdb-8.0/TRS/AG01_innermost/#4.25.xml | MAYBE 13878 | MISSING | MAYBE 60260 |
| tpdb-8.0/TRS/AG01_innermost/#4.26.xml | MAYBE 67 | MISSING | MAYBE 64 |
| tpdb-8.0/TRS/AG01_innermost/#4.27.xml | MAYBE 68 | MISSING | MAYBE 64 |
| tpdb-8.0/TRS/AG01_innermost/#4.28.xml | n^0 - n^2 19401 | MISSING | n^0 - n^2 4676 |
| tpdb-8.0/TRS/AG01_innermost/#4.29.xml | MAYBE 70 | MISSING | MAYBE 66 |
| tpdb-8.0/TRS/AG01_innermost/#4.2.xml | MAYBE 67 | MISSING | MAYBE 64 |
| tpdb-8.0/TRS/AG01_innermost/#4.30a.xml | MAYBE 68 | MISSING | MAYBE 66 |
| tpdb-8.0/TRS/AG01_innermost/#4.30b.xml | MAYBE 70 | MISSING | MAYBE 67 |
| tpdb-8.0/TRS/AG01_innermost/#4.30.xml | MAYBE 68 | MISSING | MAYBE 65 |
| tpdb-8.0/TRS/AG01_innermost/#4.31.xml | MAYBE 35032 | MISSING | MAYBE 60209 |
| tpdb-8.0/TRS/AG01_innermost/#4.32.xml | MAYBE 67 | MISSING | MAYBE 66 |
| tpdb-8.0/TRS/AG01_innermost/#4.33.xml | MAYBE 69 | MISSING | MAYBE 65 |
| tpdb-8.0/TRS/AG01_innermost/#4.34.xml | MAYBE 66 | MISSING | MAYBE 63 |
| tpdb-8.0/TRS/AG01_innermost/#4.35.xml | MAYBE 73 | MISSING | MAYBE 68 |
| tpdb-8.0/TRS/AG01_innermost/#4.36.xml | MAYBE 71 | MISSING | MAYBE 66 |
| tpdb-8.0/TRS/AG01_innermost/#4.37a.xml | n^0 - n^1 99 | MISSING | n^0 - n^1 83 |
| tpdb-8.0/TRS/AG01_innermost/#4.37.xml | n^0 - n^1 89 | MISSING | n^0 - n^1 80 |
| tpdb-8.0/TRS/AG01_innermost/#4.3.xml | MAYBE 65 | MISSING | MAYBE 64 |
| tpdb-8.0/TRS/AG01_innermost/#4.4.xml | MAYBE 67 | MISSING | MAYBE 64 |
| tpdb-8.0/TRS/AG01_innermost/#4.5.xml | MAYBE 13086 | MISSING | MAYBE 60069 |
| tpdb-8.0/TRS/AG01_innermost/#4.7.xml | MAYBE 67 | MISSING | MAYBE 64 |
| tpdb-8.0/TRS/AotoYamada_05/005.xml | n^0 - n^2 5145 | n^0 - n^2 1137 | MISSING |
| tpdb-8.0/TRS/AotoYamada_05/017.xml | n^0 - n^1 84 | n^0 - n^1 72 | MISSING |
| tpdb-8.0/TRS/AotoYamada_05/023.xml | n^0 - n^2 5109 | n^0 - n^2 1112 | MISSING |
| tpdb-8.0/TRS/AotoYamada_05/025.xml | n^0 - n^1 81 | n^0 - n^1 70 | MISSING |
| tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml | n^0 - n^1 89 | n^0 - n^1 74 | MISSING |
| tpdb-8.0/TRS/Applicative_05/ReverseLastInit.xml | MAYBE 60129 | MAYBE 60157 | MISSING |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | MAYBE 22613 | MAYBE 60098 | MISSING |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.10.xml | MAYBE 69 | MISSING | MAYBE 65 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.13.xml | MAYBE 72 | MISSING | MAYBE 66 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.15.xml | MAYBE 72 | MISSING | MAYBE 66 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.17.xml | MAYBE 71 | MISSING | MAYBE 66 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.19.xml | MAYBE 72 | MISSING | MAYBE 67 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.22.xml | MAYBE 73 | MISSING | MAYBE 66 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.24.xml | MAYBE 74 | MISSING | MAYBE 68 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.26.xml | MAYBE 71 | MISSING | MAYBE 67 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.28.xml | MAYBE 72 | MISSING | MAYBE 69 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.2.xml | MAYBE 71 | MISSING | MAYBE 65 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.34.xml | MAYBE 75 | MISSING | MAYBE 68 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.36.xml | MAYBE 84 | MISSING | MAYBE 75 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.3.xml | MAYBE 70 | MISSING | MAYBE 65 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.5.xml | MAYBE 70 | MISSING | MAYBE 66 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.7.xml | MAYBE 71 | MISSING | MAYBE 67 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.8.xml | MAYBE 71 | MISSING | MAYBE 67 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | MAYBE 60215 | MAYBE 60167 | MISSING |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | n^0 - n^5 32278 | MAYBE 60304 | MISSING |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | MAYBE 60336 | MAYBE 60289 | MISSING |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | MAYBE 60301 | MAYBE 60275 | MISSING |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | MAYBE 60360 | n^0 - n^3 26501 | MISSING |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | n^0 - n^3 11306 | MAYBE 60219 | MISSING |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | MAYBE 60258 | MAYBE 60296 | MISSING |
| tpdb-8.0/TRS/AProVE_06/identity.xml | MAYBE 60253 | MAYBE 60205 | MISSING |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 60202 | MAYBE 60339 | MISSING |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | MAYBE 60201 | MAYBE 60466 | MISSING |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | n^0 - n^1 104 | n^0 - n^1 83 | MISSING |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | MAYBE 60280 | MAYBE 60162 | MISSING |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | MAYBE 60339 | MAYBE 60168 | MISSING |
| tpdb-8.0/TRS/Der95/01.xml | n^0 - n^1 88 | n^0 - n^1 82 | MISSING |
| tpdb-8.0/TRS/Der95/02.xml | n^0 - n^1 78 | n^0 - n^1 72 | MISSING |
| tpdb-8.0/TRS/Der95/03.xml | n^0 - n^1 95 | n^0 - n^1 72 | MISSING |
| tpdb-8.0/TRS/Der95/04.xml | n^0 - n^1 97 | n^0 - n^1 74 | MISSING |
| tpdb-8.0/TRS/Der95/06.xml | MAYBE 60157 | MAYBE 60112 | MISSING |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^2 5115 | n^0 - n^2 1091 | MISSING |
| tpdb-8.0/TRS/Der95/09.xml | n^0 - n^2 5101 | n^0 - n^2 1083 | MISSING |
| tpdb-8.0/TRS/Der95/17.xml | MAYBE 38986 | MAYBE 60304 | MISSING |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 59115 | MAYBE 60292 | MISSING |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^2 5105 | n^0 - n^2 1087 | MISSING |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 101 | n^0 - n^1 96 | MISSING |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | MAYBE 60188 | MAYBE 60219 | MISSING |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | MAYBE 60194 | MAYBE 60151 | MISSING |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | n^0 - n^2 18634 | n^0 - n^2 21560 | MISSING |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | MAYBE 60210 | MAYBE 60260 | MISSING |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | n^0 - n^1 92 | n^0 - n^1 90 | MISSING |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | n^0 - n^1 90 | n^0 - n^1 83 | MISSING |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 13073 | MAYBE 60067 | MISSING |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml | MAYBE 13080 | MAYBE 60066 | MISSING |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | MAYBE 13078 | MAYBE 60067 | MISSING |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 15241 | MAYBE 60067 | MISSING |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | MAYBE 15239 | MAYBE 60065 | MISSING |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n008.xml | MAYBE 13081 | MAYBE 60063 | MISSING |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t000.xml | MAYBE 60188 | MAYBE 60314 | MISSING |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | MAYBE 23610 | MAYBE 60144 | MISSING |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t006.xml | n^0 - n^1 85 | n^0 - n^1 72 | MISSING |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml | n^0 - n^1 96 | n^0 - n^1 75 | MISSING |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t008.xml | n^0 - n^2 16216 | n^0 - n^2 10924 | MISSING |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | MAYBE 60231 | MAYBE 60097 | MISSING |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml | n^0 - n^1 103 | n^0 - n^1 83 | MISSING |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | n^0 - n^2 5102 | n^0 - n^2 1099 | MISSING |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | MAYBE 60136 | MAYBE 60298 | MISSING |
| tpdb-8.0/TRS/Mixed_innermost/cade04.xml | MAYBE 65 | MISSING | MAYBE 63 |
| tpdb-8.0/TRS/Mixed_innermost/cade05.xml | MAYBE 67 | MISSING | MAYBE 63 |
| tpdb-8.0/TRS/Mixed_innermost/cade12.xml | MAYBE 67 | MISSING | MAYBE 64 |
| tpdb-8.0/TRS/Mixed_innermost/cade13.xml | MAYBE 69 | MISSING | MAYBE 66 |
| tpdb-8.0/TRS/Mixed_innermost/innermost1.xml | MAYBE 66 | MISSING | MAYBE 63 |
| tpdb-8.0/TRS/Mixed_innermost/innermost2.xml | MAYBE 60177 | MISSING | MAYBE 60252 |
| tpdb-8.0/TRS/Mixed_innermost/innermost3.xml | MAYBE 67 | MISSING | MAYBE 63 |
| tpdb-8.0/TRS/Mixed_innermost/innermost4.xml | MAYBE 66 | MISSING | MAYBE 64 |
| tpdb-8.0/TRS/Mixed_innermost/innermost5.xml | MAYBE 65 | MISSING | MAYBE 63 |
| tpdb-8.0/TRS/Mixed_innermost/n001.xml | MAYBE 59431 | MISSING | MAYBE 60143 |
| tpdb-8.0/TRS/Mixed_innermost/test833.xml | n^0 - n^1 89 | MISSING | n^0 - n^1 82 |
| tpdb-8.0/TRS/Mixed_innermost/thiemann26i.xml | MAYBE 69 | MISSING | MAYBE 67 |
| tpdb-8.0/TRS/Mixed_innermost/thiemann28i.xml | MAYBE 69 | MISSING | MAYBE 66 |
| tpdb-8.0/TRS/Mixed_innermost/tricky1.xml | MAYBE 65 | MISSING | MAYBE 64 |
| tpdb-8.0/TRS/Mixed_innermost/wiehe13.xml | MAYBE 72 | MISSING | MAYBE 68 |
| tpdb-8.0/TRS/Mixed_innermost/wiehe14.xml | MAYBE 72 | MISSING | MAYBE 68 |
| tpdb-8.0/TRS/Mixed_TRS/1.xml | n^0 - n^1 81 | n^0 - n^1 77 | MISSING |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | MAYBE 58839 | MAYBE 60124 | MISSING |
| tpdb-8.0/TRS/Mixed_TRS/4.xml | n^0 - n^1 89 | n^0 - n^1 84 | MISSING |
| tpdb-8.0/TRS/Mixed_TRS/6.xml | MAYBE 60132 | MAYBE 60113 | MISSING |
| tpdb-8.0/TRS/Mixed_TRS/beans.xml | MAYBE 60285 | MAYBE 60101 | MISSING |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | MAYBE 60292 | MAYBE 60532 | MISSING |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^2 5105 | n^0 - n^2 1084 | MISSING |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 86 | n^0 - n^1 76 | MISSING |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | n^0 - n^2 5111 | n^0 - n^2 1097 | MISSING |
| tpdb-8.0/TRS/Rubio_04/aoto.xml | n^0 - n^1 105 | n^0 - n^1 92 | MISSING |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | n^0 - n^2 5123 | n^0 - n^2 1112 | MISSING |
| tpdb-8.0/TRS/Rubio_04/bn129.xml | MAYBE 60162 | MAYBE 60330 | MISSING |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | n^0 - n^1 100 | n^0 - n^1 77 | MISSING |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^1 86 | n^0 - n^1 73 | MISSING |
| tpdb-8.0/TRS/Rubio_04/lescanne.xml | n^0 - n^2 5119 | n^0 - n^2 1099 | MISSING |
| tpdb-8.0/TRS/Rubio_04/lindau.xml | n^0 - n^1 96 | n^0 - n^1 83 | MISSING |
| tpdb-8.0/TRS/Rubio_04/mfp90b.xml | n^0 - n^1 89 | n^0 - n^1 73 | MISSING |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | n^0 - n^1 80 | n^0 - n^1 79 | MISSING |
| tpdb-8.0/TRS/Rubio_04/nestrec.xml | MAYBE 60147 | MAYBE 60122 | MISSING |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^1 97 | n^0 - n^1 92 | MISSING |
| tpdb-8.0/TRS/Rubio_04/test4.xml | n^0 - n^1 90 | n^0 - n^1 84 | MISSING |
| tpdb-8.0/TRS/Rubio_04/test829.xml | n^0 - n^1 94 | n^0 - n^1 103 | MISSING |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml | n^0 - n^1 84 | n^0 - n^1 78 | MISSING |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | n^0 - n^3 22343 | n^0 - n^3 15997 | MISSING |
| tpdb-8.0/TRS/Secret_05_TRS/teparla2.xml | MAYBE 58792 | MAYBE 60172 | MISSING |
| tpdb-8.0/TRS/Secret_05_TRS/teparla3.xml | MAYBE 50525 | n^0 - n^3 21137 | MISSING |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MAYBE 60096 | MAYBE 60161 | MISSING |
| tpdb-8.0/TRS/Secret_06_TRS/10.xml | n^0 - n^1 95 | MAYBE 60253 | MISSING |
| tpdb-8.0/TRS/Secret_06_TRS/2.xml | MAYBE 60213 | MAYBE 60292 | MISSING |
| tpdb-8.0/TRS/Secret_06_TRS/3.xml | MAYBE 60184 | MAYBE 60216 | MISSING |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | MAYBE 60161 | MAYBE 60321 | MISSING |
| tpdb-8.0/TRS/Secret_06_TRS/5.xml | MAYBE 60192 | MAYBE 60290 | MISSING |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | n^0 - n^3 10526 | n^0 - n^3 1968 | MISSING |
| tpdb-8.0/TRS/Secret_06_TRS/7.xml | n^0 - n^1 667 | n^0 - n^1 365 | MISSING |
| tpdb-8.0/TRS/Secret_06_TRS/8.xml | n^0 - n^1 88 | n^0 - n^1 86 | MISSING |
| tpdb-8.0/TRS/Secret_06_TRS/9.xml | n^0 - n^1 83 | n^0 - n^1 86 | MISSING |
| tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml | n^0 - n^1 10176 | MAYBE 60103 | MISSING |
| tpdb-8.0/TRS/Secret_06_TRS/tpa02.xml | MAYBE 56901 | MAYBE 60119 | MISSING |
| tpdb-8.0/TRS/Secret_06_TRS/tpa03.xml | MAYBE 56446 | MAYBE 60120 | MISSING |
| tpdb-8.0/TRS/Secret_07_SRS/dj.xml | MAYBE 60171 | MAYBE 60101 | MISSING |
| tpdb-8.0/TRS/Secret_07_SRS/num-530.xml | MAYBE 60173 | MAYBE 60118 | MISSING |
| tpdb-8.0/TRS/Secret_07_TRS/1.xml | MAYBE 60143 | MAYBE 60260 | MISSING |
| tpdb-8.0/TRS/Secret_07_TRS/2.xml | MAYBE 60266 | MAYBE 60281 | MISSING |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | MAYBE 60160 | MAYBE 60204 | MISSING |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | MAYBE 60230 | MAYBE 60260 | MISSING |
| tpdb-8.0/TRS/Secret_07_TRS/5.xml | MAYBE 60269 | MAYBE 60380 | MISSING |
| tpdb-8.0/TRS/Secret_07_TRS/7.xml | MAYBE 60205 | MAYBE 60302 | MISSING |
| tpdb-8.0/TRS/SK90/2.01.xml | n^0 - n^2 5122 | n^0 - n^2 1133 | MISSING |
| tpdb-8.0/TRS/SK90/2.02.xml | MAYBE 60166 | MAYBE 60286 | MISSING |
| tpdb-8.0/TRS/SK90/2.03.xml | n^0 - n^2 5132 | n^0 - n^2 1094 | MISSING |
| tpdb-8.0/TRS/SK90/2.04.xml | n^0 - n^2 5099 | n^0 - n^2 1087 | MISSING |
| tpdb-8.0/TRS/SK90/2.06.xml | n^0 - n^2 5131 | n^0 - n^2 1110 | MISSING |
| tpdb-8.0/TRS/SK90/2.09.xml | n^0 - n^2 5095 | n^0 - n^2 1078 | MISSING |
| tpdb-8.0/TRS/SK90/2.10.xml | MAYBE 59167 | MAYBE 60262 | MISSING |
| tpdb-8.0/TRS/SK90/2.11.xml | n^0 - n^2 5098 | n^0 - n^2 1090 | MISSING |
| tpdb-8.0/TRS/SK90/2.14.xml | MAYBE 60138 | MAYBE 60470 | MISSING |
| tpdb-8.0/TRS/SK90/2.31.xml | n^0 - n^2 5117 | n^0 - n^2 1104 | MISSING |
| tpdb-8.0/TRS/SK90/2.33.xml | n^0 - n^2 5125 | n^0 - n^2 1106 | MISSING |
| tpdb-8.0/TRS/SK90/2.34.xml | MAYBE 60133 | MAYBE 60200 | MISSING |
| tpdb-8.0/TRS/SK90/2.36.xml | n^0 - n^2 5120 | n^0 - n^2 1095 | MISSING |
| tpdb-8.0/TRS/SK90/2.38.xml | n^0 - n^2 5118 | n^0 - n^2 1095 | MISSING |
| tpdb-8.0/TRS/SK90/2.39.xml | MAYBE 60149 | MAYBE 60407 | MISSING |
| tpdb-8.0/TRS/SK90/2.41.xml | n^0 - n^2 5137 | n^0 - n^2 1116 | MISSING |
| tpdb-8.0/TRS/SK90/2.42.xml | MAYBE 60132 | MAYBE 60218 | MISSING |
| tpdb-8.0/TRS/SK90/2.46.xml | n^0 - n^2 5108 | n^0 - n^2 1085 | MISSING |
| tpdb-8.0/TRS/SK90/2.47.xml | n^0 - n^2 5104 | n^0 - n^2 1073 | MISSING |
| tpdb-8.0/TRS/SK90/2.48.xml | n^0 - n^1 91 | n^0 - n^1 76 | MISSING |
| tpdb-8.0/TRS/SK90/2.49.xml | n^0 - n^1 95 | n^0 - n^1 83 | MISSING |
| tpdb-8.0/TRS/SK90/2.50.xml | MAYBE 60140 | MAYBE 60112 | MISSING |
| tpdb-8.0/TRS/SK90/2.53.xml | n^0 - n^2 5110 | n^0 - n^2 1091 | MISSING |
| tpdb-8.0/TRS/SK90/2.54.xml | n^0 - n^2 5107 | n^0 - n^2 1082 | MISSING |
| tpdb-8.0/TRS/SK90/2.55.xml | n^0 - n^2 5096 | n^0 - n^2 1082 | MISSING |
| tpdb-8.0/TRS/SK90/2.56.xml | n^0 - n^1 86 | n^0 - n^1 79 | MISSING |
| tpdb-8.0/TRS/SK90/2.60.xml | n^0 - n^1 87 | n^0 - n^1 94 | MISSING |
| tpdb-8.0/TRS/SK90/2.61.xml | n^0 - n^1 107 | n^0 - n^1 95 | MISSING |
| tpdb-8.0/TRS/SK90/4.01.xml | n^0 - n^1 91 | n^0 - n^1 83 | MISSING |
| tpdb-8.0/TRS/SK90/4.04.xml | n^0 - n^2 5133 | n^0 - n^2 1109 | MISSING |
| tpdb-8.0/TRS/SK90/4.07.xml | n^0 - n^2 5118 | n^0 - n^2 1091 | MISSING |
| tpdb-8.0/TRS/SK90/4.08.xml | n^0 - n^2 5114 | n^0 - n^2 1080 | MISSING |
| tpdb-8.0/TRS/SK90/4.11.xml | n^0 - n^2 5108 | n^0 - n^2 1101 | MISSING |
| tpdb-8.0/TRS/SK90/4.12.xml | n^0 - n^2 5114 | n^0 - n^2 1105 | MISSING |
| tpdb-8.0/TRS/SK90/4.15.xml | n^0 - n^2 5097 | n^0 - n^2 1091 | MISSING |
| tpdb-8.0/TRS/SK90/4.16.xml | n^0 - n^1 105 | n^0 - n^1 104 | MISSING |
| tpdb-8.0/TRS/SK90/4.19.xml | n^0 - n^1 87 | n^0 - n^1 77 | MISSING |
| tpdb-8.0/TRS/SK90/4.25.xml | n^0 - n^2 5122 | n^0 - n^2 1095 | MISSING |
| tpdb-8.0/TRS/SK90/4.26.xml | MAYBE 60133 | MAYBE 60242 | MISSING |
| tpdb-8.0/TRS/SK90/4.27.xml | n^0 - n^3 10572 | MAYBE 60165 | MISSING |
| tpdb-8.0/TRS/SK90/4.29.xml | n^0 - n^2 5126 | n^0 - n^2 1194 | MISSING |
| tpdb-8.0/TRS/SK90/4.30.xml | n^0 - n^4 20468 | MAYBE 60287 | MISSING |
| tpdb-8.0/TRS/SK90/4.32.xml | MAYBE 54176 | MAYBE 60180 | MISSING |
| tpdb-8.0/TRS/SK90/4.33.xml | n^0 - n^1 87 | n^0 - n^1 70 | MISSING |
| tpdb-8.0/TRS/SK90/4.34.xml | MAYBE 57319 | MAYBE 60093 | MISSING |
| tpdb-8.0/TRS/SK90/4.35.xml | n^0 - n^1 88 | n^0 - n^1 68 | MISSING |
| tpdb-8.0/TRS/SK90/4.36.xml | n^0 - n^1 86 | n^0 - n^1 67 | MISSING |
| tpdb-8.0/TRS/SK90/4.37.xml | n^0 - n^1 85 | n^0 - n^1 69 | MISSING |
| tpdb-8.0/TRS/SK90/4.38.xml | n^0 - n^2 5131 | n^0 - n^2 1101 | MISSING |
| tpdb-8.0/TRS/SK90/4.39.xml | n^0 - n^2 5106 | n^0 - n^2 1095 | MISSING |
| tpdb-8.0/TRS/SK90/4.43.xml | MAYBE 60135 | MAYBE 60263 | MISSING |
| tpdb-8.0/TRS/SK90/4.44.xml | n^0 - n^1 91 | n^0 - n^1 77 | MISSING |
| tpdb-8.0/TRS/SK90/4.45.xml | n^0 - n^1 83 | n^0 - n^1 74 | MISSING |
| tpdb-8.0/TRS/SK90/4.46.xml | n^0 - n^1 105 | n^0 - n^1 72 | MISSING |
| tpdb-8.0/TRS/SK90/4.47.xml | n^0 - n^1 88 | n^0 - n^2 1756 | MISSING |
| tpdb-8.0/TRS/SK90/4.48.xml | n^0 - n^1 91 | n^0 - n^1 74 | MISSING |
| tpdb-8.0/TRS/SK90/4.51.xml | n^0 - n^3 10273 | n^0 - n^3 1187 | MISSING |
| tpdb-8.0/TRS/SK90/4.52.xml | n^0 - n^2 5148 | n^0 - n^2 1139 | MISSING |
| tpdb-8.0/TRS/SK90/4.55.xml | n^0 - n^1 84 | n^0 - n^1 77 | MISSING |
| tpdb-8.0/TRS/SK90/4.56.xml | n^0 - n^1 85 | n^0 - n^1 74 | MISSING |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Zan97.xml | MAYBE 29265 | MAYBE 60123 | MISSING |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml | MAYBE 60120 | MAYBE 60254 | MISSING |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml | MAYBE 20575 | MAYBE 60212 | MISSING |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_Zan97.xml | MAYBE 60141 | MAYBE 60216 | MISSING |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml | MAYBE 15462 | MAYBE 60106 | MISSING |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExConc_Zan97.xml | MAYBE 15515 | MAYBE 60120 | MISSING |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM01.xml | MAYBE 60135 | MAYBE 60243 | MISSING |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.xml | MAYBE 60131 | MAYBE 60198 | MISSING |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex1.xml | MAYBE 13572 | MAYBE 60107 | MISSING |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex3.xml | MAYBE 14038 | MAYBE 60121 | MISSING |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | MAYBE 44884 | MAYBE 60113 | MISSING |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex5.xml | MAYBE 13309 | MAYBE 60131 | MISSING |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml | MAYBE 22501 | MAYBE 60219 | MISSING |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml | MAYBE 13189 | MAYBE 60104 | MISSING |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test830.xml | n^0 - n^1 90 | n^0 - n^1 81 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_L.xml | MAYBE 13708 | MAYBE 60112 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_L.xml | MAYBE 28616 | MAYBE 60142 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_C.xml | MAYBE 60250 | MAYBE 60251 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml | n^0 - n^3 10241 | n^0 - n^3 1187 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_GM.xml | n^0 - n^3 10223 | n^0 - n^3 1184 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_iGM.xml | n^0 - n^3 10474 | n^0 - n^3 2189 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_L.xml | MAYBE 13070 | MAYBE 60063 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml | n^0 - n^1 457 | n^0 - n^1 665 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml | MAYBE 60353 | MAYBE 60090 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_FR.xml | n^0 - n^1 90 | n^0 - n^1 89 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | MAYBE 60126 | MAYBE 60216 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_iGM.xml | MAYBE 60239 | MAYBE 60100 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_L.xml | MAYBE 13088 | MAYBE 60066 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_C.xml | MAYBE 60246 | n^0 - n^3 36409 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml | n^0 - n^2 5124 | n^0 - n^2 1104 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | n^0 - n^2 5109 | n^0 - n^2 1108 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_iGM.xml | n^0 - n^2 5151 | n^0 - n^2 1194 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_L.xml | n^0 - n^1 91 | n^0 - n^1 75 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_Z.xml | n^0 - n^1 101 | n^0 - n^1 79 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_L.xml | MAYBE 38277 | MAYBE 60230 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_L.xml | MAYBE 13088 | MAYBE 60066 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml | MAYBE 60366 | MAYBE 60363 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_FR.xml | MAYBE 60145 | MAYBE 60295 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml | MAYBE 60289 | MAYBE 60408 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_iGM.xml | MAYBE 60304 | MAYBE 60307 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_Z.xml | MAYBE 60146 | MAYBE 60270 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_C.xml | MAYBE 60247 | MAYBE 60436 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_FR.xml | MAYBE 60162 | MAYBE 60190 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml | n^0 - n^1 114 | n^0 - n^1 77 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_iGM.xml | n^0 - n^1 1548 | n^0 - n^1 844 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_L.xml | MAYBE 10071 | MAYBE 60068 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_C.xml | MAYBE 60330 | MAYBE 60229 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml | n^0 - n^2 5129 | n^0 - n^2 1130 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_GM.xml | n^0 - n^2 5114 | n^0 - n^2 1130 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_iGM.xml | n^0 - n^3 10793 | n^0 - n^3 2762 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_L.xml | n^0 - n^1 90 | n^0 - n^1 73 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_Z.xml | n^0 - n^1 104 | n^0 - n^1 77 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_L.xml | MAYBE 13089 | MAYBE 60063 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_L.xml | MAYBE 13087 | MAYBE 60065 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_C.xml | n^0 - n^2 6150 | n^0 - n^2 3068 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_FR.xml | n^0 - n^2 5174 | n^0 - n^2 1178 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_GM.xml | n^0 - n^2 5120 | n^0 - n^2 1136 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_iGM.xml | n^0 - n^2 5408 | n^0 - n^2 2664 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_L.xml | n^0 - n^1 93 | n^0 - n^1 75 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_Z.xml | n^0 - n^1 106 | n^0 - n^2 1138 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml | n^0 - n^1 87 | n^0 - n^1 82 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_L.xml | n^0 - n^1 87 | n^0 - n^1 78 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml | n^0 - n^1 89 | n^0 - n^1 84 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml | n^0 - n^1 92 | n^0 - n^1 73 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml | MAYBE 60352 | MAYBE 60251 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml | n^0 - n^2 5141 | n^0 - n^2 1156 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml | n^0 - n^3 10594 | n^0 - n^3 3574 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml | MAYBE 60287 | MAYBE 60256 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml | n^0 - n^1 91 | n^0 - n^1 77 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml | n^0 - n^1 84 | n^0 - n^1 85 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml | MAYBE 60373 | MAYBE 60209 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml | n^0 - n^1 92 | n^0 - n^1 81 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml | n^0 - n^2 5111 | n^0 - n^2 1103 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml | n^0 - n^4 25173 | MAYBE 60246 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_C.xml | MAYBE 60364 | MAYBE 60161 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml | MAYBE 60146 | MAYBE 60360 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_GM.xml | MAYBE 60190 | MAYBE 60192 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_iGM.xml | MAYBE 60259 | MAYBE 60349 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml | n^0 - n^1 95 | n^0 - n^1 82 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_C.xml | n^0 - n^5 45294 | MAYBE 60219 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_FR.xml | MAYBE 60161 | MAYBE 60213 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml | n^0 - n^1 93 | n^0 - n^1 76 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml | n^0 - n^1 1553 | n^0 - n^1 589 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_L.xml | n^0 - n^1 88 | n^0 - n^1 71 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml | n^0 - n^1 86 | n^0 - n^1 74 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_L.xml | n^0 - n^1 96 | n^0 - n^1 85 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_C.xml | MAYBE 60362 | MAYBE 60175 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_FR.xml | MAYBE 60236 | MAYBE 60193 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml | n^0 - n^2 5130 | n^0 - n^2 1094 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_iGM.xml | n^0 - n^4 27482 | MAYBE 60254 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_C.xml | n^0 - n^2 5403 | n^0 - n^2 1886 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_FR.xml | n^0 - n^2 5110 | n^0 - n^2 1094 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml | n^0 - n^2 5130 | n^0 - n^2 1105 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_iGM.xml | n^0 - n^3 10653 | n^0 - n^3 1661 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_L.xml | n^0 - n^1 89 | n^0 - n^1 74 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_Z.xml | MAYBE 17172 | MAYBE 60177 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml | MAYBE 60364 | MAYBE 60579 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_FR.xml | MAYBE 60149 | MAYBE 60370 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_GM.xml | MAYBE 60287 | MAYBE 60343 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_iGM.xml | MAYBE 60286 | MAYBE 60299 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_Z.xml | MAYBE 60266 | MAYBE 60333 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml | MAYBE 60368 | MAYBE 60430 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_FR.xml | MAYBE 60152 | MAYBE 60656 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_GM.xml | n^0 - n^3 15374 | MAYBE 60418 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_iGM.xml | MAYBE 60297 | MAYBE 60342 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_Z.xml | MAYBE 60244 | MAYBE 60397 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml | MAYBE 60346 | MAYBE 60230 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_FR.xml | MAYBE 60183 | MAYBE 60269 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml | n^0 - n^5 37986 | MAYBE 60229 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_iGM.xml | MAYBE 60295 | MAYBE 60262 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_L.xml | n^0 - n^1 92 | n^0 - n^1 79 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_Z.xml | n^0 - n^1 84 | n^0 - n^1 87 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml | MAYBE 60163 | MAYBE 60253 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml | MAYBE 60255 | MAYBE 60390 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_FR.xml | MAYBE 60179 | MAYBE 60274 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml | MAYBE 60263 | MAYBE 60208 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml | MAYBE 60260 | MAYBE 60211 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_Z.xml | MAYBE 60397 | MAYBE 60318 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml | MAYBE 60141 | MAYBE 60257 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml | MAYBE 60201 | MAYBE 60176 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml | MAYBE 60171 | MAYBE 60192 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml | MAYBE 60135 | MAYBE 60357 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml | n^0 - n^2 7754 | n^0 - n^2 2358 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_Z.xml | n^0 - n^2 5737 | n^0 - n^2 1597 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_FR.xml | n^0 - n^2 5112 | n^0 - n^2 1109 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml | n^0 - n^2 5127 | n^0 - n^2 1108 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml | n^0 - n^2 5126 | n^0 - n^2 1109 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_FR.xml | n^0 - n^2 5098 | n^0 - n^2 1086 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml | n^0 - n^2 5136 | n^0 - n^2 1137 | MISSING |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C.xml | MAYBE 97 | MISSING | MAYBE 82 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM.xml | MAYBE 83 | MISSING | MAYBE 75 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml | MAYBE 96 | MISSING | MAYBE 81 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C.xml | MAYBE 134 | MISSING | MAYBE 100 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM.xml | MAYBE 95 | MISSING | MAYBE 82 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml | MAYBE 135 | MISSING | MAYBE 104 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml | MAYBE 75 | MISSING | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml | MAYBE 71 | MISSING | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml | MAYBE 75 | MISSING | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C.xml | MAYBE 87 | MISSING | MAYBE 75 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml | MAYBE 75 | MISSING | MAYBE 72 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml | MAYBE 84 | MISSING | MAYBE 75 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml | MAYBE 60378 | MISSING | MAYBE 60361 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml | MAYBE 60353 | MISSING | MAYBE 60379 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml | MAYBE 60298 | MISSING | MAYBE 60355 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C.xml | MAYBE 60440 | MISSING | MAYBE 60282 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml | MAYBE 60320 | MISSING | MAYBE 60342 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml | MAYBE 60319 | MISSING | MAYBE 60382 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_C.xml | MAYBE 160 | MISSING | MAYBE 137 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM.xml | MAYBE 121 | MISSING | MAYBE 98 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml | MAYBE 163 | MISSING | MAYBE 140 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C.xml | MAYBE 272 | MISSING | MAYBE 228 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM.xml | MAYBE 179 | MISSING | MAYBE 144 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml | MAYBE 287 | MISSING | MAYBE 252 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml | MAYBE 112 | MISSING | MAYBE 91 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml | MAYBE 90 | MISSING | MAYBE 77 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml | MAYBE 113 | MISSING | MAYBE 91 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml | MAYBE 151 | MISSING | MAYBE 125 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml | MAYBE 110 | MISSING | MAYBE 89 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml | MAYBE 154 | MISSING | MAYBE 120 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml | MAYBE 91 | MISSING | MAYBE 79 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml | MAYBE 75 | MISSING | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml | MAYBE 87 | MISSING | MAYBE 77 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml | MAYBE 117 | MISSING | MAYBE 95 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml | MAYBE 90 | MISSING | MAYBE 77 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml | MAYBE 131 | MISSING | MAYBE 100 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_C.xml | MAYBE 96 | MISSING | MAYBE 83 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_GM.xml | MAYBE 82 | MISSING | MAYBE 72 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_iGM.xml | MAYBE 97 | MISSING | MAYBE 83 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_C.xml | MAYBE 137 | MISSING | MAYBE 102 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_GM.xml | MAYBE 96 | MISSING | MAYBE 81 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml | MAYBE 140 | MISSING | MAYBE 107 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml | MAYBE 82 | MISSING | MAYBE 73 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml | MAYBE 72 | MISSING | MAYBE 68 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml | MAYBE 89 | MISSING | MAYBE 74 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml | MAYBE 90 | MISSING | MAYBE 78 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml | MAYBE 78 | MISSING | MAYBE 71 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml | MAYBE 88 | MISSING | MAYBE 79 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml | MAYBE 73 | MISSING | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml | MAYBE 69 | MISSING | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml | MAYBE 71 | MISSING | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml | MAYBE 85 | MISSING | MAYBE 71 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml | MAYBE 71 | MISSING | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml | MAYBE 80 | MISSING | MAYBE 73 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_C.xml | MAYBE 109 | MISSING | MAYBE 95 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_GM.xml | MAYBE 90 | MISSING | MAYBE 79 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_iGM.xml | MAYBE 111 | MISSING | MAYBE 92 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_C.xml | MAYBE 150 | MISSING | MAYBE 128 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml | MAYBE 111 | MISSING | MAYBE 91 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml | MAYBE 161 | MISSING | MAYBE 141 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_C.xml | MAYBE 83 | MISSING | MAYBE 74 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml | MAYBE 74 | MISSING | MAYBE 70 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml | MAYBE 82 | MISSING | MAYBE 74 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml | MAYBE 98 | MISSING | MAYBE 83 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml | MAYBE 82 | MISSING | MAYBE 74 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml | MAYBE 100 | MISSING | MAYBE 86 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_C.xml | MAYBE 60461 | MISSING | MAYBE 60253 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml | MAYBE 60441 | MISSING | MAYBE 60245 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml | MAYBE 60329 | MISSING | MAYBE 60308 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml | MAYBE 60377 | MISSING | MAYBE 60194 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml | MAYBE 60286 | MISSING | MAYBE 60077 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml | MAYBE 60316 | MISSING | MAYBE 60170 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_C.xml | MAYBE 110 | MISSING | MAYBE 90 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_GM.xml | MAYBE 91 | MISSING | MAYBE 79 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_iGM.xml | MAYBE 106 | MISSING | MAYBE 89 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_C.xml | MAYBE 144 | MISSING | MAYBE 111 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM.xml | MAYBE 106 | MISSING | MAYBE 87 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml | MAYBE 145 | MISSING | MAYBE 116 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_C.xml | MAYBE 60406 | MISSING | MAYBE 60202 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml | MAYBE 60272 | MISSING | MAYBE 60196 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml | MAYBE 60386 | MISSING | MAYBE 60231 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml | MAYBE 60331 | MISSING | MAYBE 60104 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml | MAYBE 60296 | MISSING | MAYBE 60193 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml | MAYBE 60303 | MISSING | MAYBE 60201 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_C.xml | MAYBE 60334 | MISSING | MAYBE 60397 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml | MAYBE 60207 | MISSING | MAYBE 60475 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml | MAYBE 60286 | MISSING | MAYBE 60240 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml | MAYBE 60323 | MISSING | MAYBE 60345 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml | MAYBE 60250 | MISSING | MAYBE 60379 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml | MAYBE 60285 | MISSING | MAYBE 60234 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_C.xml | MAYBE 84 | MISSING | MAYBE 77 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_GM.xml | MAYBE 75 | MISSING | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_iGM.xml | MAYBE 84 | MISSING | MAYBE 76 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_C.xml | MAYBE 101 | MISSING | MAYBE 86 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_GM.xml | MAYBE 84 | MISSING | MAYBE 73 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_iGM.xml | MAYBE 104 | MISSING | MAYBE 87 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_C.xml | MAYBE 76 | MISSING | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml | MAYBE 70 | MISSING | MAYBE 66 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml | MAYBE 76 | MISSING | MAYBE 69 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml | MAYBE 78 | MISSING | MAYBE 72 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml | MAYBE 72 | MISSING | MAYBE 67 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml | MAYBE 79 | MISSING | MAYBE 72 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_C.xml | MAYBE 60430 | MISSING | MAYBE 60450 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml | MAYBE 60242 | MISSING | MAYBE 60326 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml | MAYBE 60306 | MISSING | MAYBE 60253 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml | MAYBE 60384 | MISSING | MAYBE 60166 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml | MAYBE 60275 | MISSING | MAYBE 60187 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml | MAYBE 60351 | MISSING | MAYBE 60171 |
| tpdb-8.0/TRS/Various_04/07.xml | n^0 - n^1 89 | n^0 - n^1 73 | MISSING |
| tpdb-8.0/TRS/Various_04/15.xml | MAYBE 60110 | MAYBE 60158 | MISSING |
| tpdb-8.0/TRS/Various_04/18.xml | MAYBE 60202 | MAYBE 60108 | MISSING |
| tpdb-8.0/TRS/Various_04/19.xml | MAYBE 52379 | MAYBE 60309 | MISSING |
| tpdb-8.0/TRS/Various_04/21.xml | MAYBE 60179 | MAYBE 60176 | MISSING |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^2 5112 | n^0 - n^2 1132 | MISSING |
| tpdb-8.0/TRS/Various_04/24.xml | n^0 - n^1 19284 | n^0 - n^1 18671 | MISSING |
| tpdb-8.0/TRS/Various_04/25.xml | n^0 - n^1 93 | n^0 - n^1 79 | MISSING |
| tpdb-8.0/TRS/Various_04/27.xml | n^0 - n^1 93 | n^0 - n^1 77 | MISSING |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | MAYBE 60169 | MAYBE 60189 | MISSING |
| tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml | MAYBE 59651 | MAYBE 60193 | MISSING |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | n^0 - n^2 13604 | n^0 - n^2 1921 | MISSING |
| tpdb-8.0/TRS/Waldmann_06/jwcime2.xml | n^0 - n^1 93 | n^0 - n^1 85 | MISSING |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | MAYBE 57657 | MAYBE 60264 | MISSING |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | MAYBE 57845 | MAYBE 60285 | MISSING |
| tpdb-8.0/TRS/Waldmann_06/jwno1.xml | MAYBE 60123 | MAYBE 60258 | MISSING |
| tpdb-8.0/TRS/Waldmann_06/jwno2.xml | MAYBE 60121 | MAYBE 60113 | MISSING |
| tpdb-8.0/TRS/Waldmann_06/jwno3.xml | MAYBE 60166 | MAYBE 60479 | MISSING |
| tpdb-8.0/TRS/Waldmann_06/jwno4.xml | MAYBE 59697 | MAYBE 60277 | MISSING |
| tpdb-8.0/TRS/Waldmann_06/jwno5.xml | MAYBE 60134 | MAYBE 60114 | MISSING |
| tpdb-8.0/TRS/Waldmann_06/jwno6.xml | MAYBE 59718 | MAYBE 60265 | MISSING |
| tpdb-8.0/TRS/Waldmann_06/jwno7.xml | MAYBE 60160 | MAYBE 60506 | MISSING |
| tpdb-8.0/TRS/Waldmann_06/jwno8.xml | MAYBE 58589 | MAYBE 60118 | MISSING |
| tpdb-8.0/TRS/Waldmann_06/jwno9.xml | MAYBE 58820 | MAYBE 60119 | MISSING |
| tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml | n^0 - n^1 91 | n^0 - n^1 86 | MISSING |
| tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml | n^0 - n^2 13462 | n^0 - n^2 2280 | MISSING |
| tpdb-8.0/TRS/Waldmann_06/jwttt.xml | n^0 - n^3 14327 | MAYBE 60243 | MISSING |
| tpdb-8.0/TRS/Zantema_04/z001.xml | n^0 - n^1 10378 | MAYBE 60147 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw01.xml | n^0 - n^1 81 | n^0 - n^1 75 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw02.xml | n^0 - n^1 81 | n^0 - n^1 75 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw03.xml | n^0 - n^1 84 | n^0 - n^1 78 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw04.xml | n^0 - n^1 82 | n^0 - n^1 77 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw05.xml | n^0 - n^1 83 | n^0 - n^1 76 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw06.xml | n^0 - n^1 84 | n^0 - n^1 79 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw07.xml | n^0 - n^1 82 | n^0 - n^1 78 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw08.xml | n^0 - n^1 83 | n^0 - n^1 76 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw09.xml | n^0 - n^1 83 | n^0 - n^1 77 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw11.xml | n^0 - n^1 82 | n^0 - n^1 75 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw12.xml | n^0 - n^1 81 | n^0 - n^1 75 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw13.xml | n^0 - n^1 81 | n^0 - n^1 79 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw14.xml | n^0 - n^1 83 | n^0 - n^1 78 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw15.xml | n^0 - n^1 86 | n^0 - n^1 80 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw16.xml | n^0 - n^1 87 | n^0 - n^1 79 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw17.xml | n^0 - n^1 80 | n^0 - n^1 77 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw18.xml | n^0 - n^1 85 | n^0 - n^1 76 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw19.xml | n^0 - n^1 86 | n^0 - n^1 80 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw20.xml | n^0 - n^1 84 | n^0 - n^1 83 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw21.xml | n^0 - n^1 82 | n^0 - n^1 81 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw22.xml | n^0 - n^1 86 | n^0 - n^1 87 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw23.xml | n^0 - n^1 86 | n^0 - n^1 83 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw24.xml | n^0 - n^1 84 | n^0 - n^1 81 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw25.xml | n^0 - n^1 87 | n^0 - n^1 82 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw26.xml | n^0 - n^1 81 | n^0 - n^1 84 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw27.xml | n^0 - n^1 82 | n^0 - n^1 84 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw28.xml | n^0 - n^1 84 | n^0 - n^1 83 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw29.xml | n^0 - n^1 82 | n^0 - n^1 82 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw30.xml | n^0 - n^1 82 | n^0 - n^1 79 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw31.xml | n^0 - n^1 83 | n^0 - n^1 75 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw32.xml | n^0 - n^1 84 | n^0 - n^1 77 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw33.xml | n^0 - n^1 83 | n^0 - n^1 80 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw34.xml | n^0 - n^1 82 | n^0 - n^1 80 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw35.xml | n^0 - n^1 82 | n^0 - n^1 78 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw36.xml | n^0 - n^1 82 | n^0 - n^1 81 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw37.xml | n^0 - n^1 82 | n^0 - n^1 76 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw38.xml | n^0 - n^1 85 | n^0 - n^1 77 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw39.xml | n^0 - n^1 82 | n^0 - n^1 78 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw40.xml | n^0 - n^1 82 | n^0 - n^1 76 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw41.xml | n^0 - n^1 84 | n^0 - n^1 79 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw42.xml | n^0 - n^1 82 | n^0 - n^1 78 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw43.xml | n^0 - n^1 86 | n^0 - n^1 75 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw44.xml | n^0 - n^2 5105 | n^0 - n^2 1104 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw47.xml | n^0 - n^2 5121 | n^0 - n^2 1100 | MISSING |
| tpdb-8.0/TRS/Zantema_05/jw50.xml | n^0 - n^1 84 | n^0 - n^1 76 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z01.xml | n^0 - n^1 10366 | MAYBE 60115 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z02.xml | n^0 - n^1 85 | n^0 - n^1 77 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z03.xml | n^0 - n^1 10477 | n^0 - n^1 392 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z05.xml | MAYBE 60188 | MAYBE 60179 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z06.xml | MAYBE 59294 | MAYBE 60114 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z07.xml | n^0 - n^4 20329 | MAYBE 60133 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z08.xml | n^0 - n^3 10245 | n^0 - n^3 15332 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z11.xml | MAYBE 39424 | MAYBE 60220 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z12.xml | MAYBE 60198 | MAYBE 60199 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z13.xml | MAYBE 60176 | MAYBE 60207 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z14.xml | MAYBE 60188 | MAYBE 60266 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z15.xml | MAYBE 60191 | MAYBE 60176 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z16.xml | MAYBE 60178 | MAYBE 60181 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z17.xml | MAYBE 60202 | MAYBE 60230 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z18.xml | MAYBE 60185 | MAYBE 60320 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z19.xml | MAYBE 60158 | MAYBE 60291 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z20.xml | MAYBE 60165 | MAYBE 60237 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z21.xml | MAYBE 60165 | MAYBE 60317 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z22.xml | MAYBE 60176 | MAYBE 60189 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z23.xml | MAYBE 60221 | MAYBE 60431 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z24.xml | MAYBE 60214 | MAYBE 60252 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z25.xml | n^0 - n^3 10208 | n^0 - n^3 9975 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z26.xml | n^0 - n^2 5283 | n^0 - n^2 1734 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z29.xml | MAYBE 57735 | MAYBE 60305 | MISSING |
| tpdb-8.0/TRS/Zantema_05/z30.xml | n^0 - n^1 157 | n^0 - n^1 145 | MISSING | 711 | 648 | 21 |