| benchmark | TCT-IRC |
|---|---|
| tpdb-8.0/TRS/AG01/#3.10.xml | MAYBE 57765 |
| tpdb-8.0/TRS/AG01/#3.12.xml | MAYBE 2740 |
| tpdb-8.0/TRS/AG01/#3.13.xml | MAYBE 60209 |
| tpdb-8.0/TRS/AG01/#3.15.xml | n^0 - n^1 1154 |
| tpdb-8.0/TRS/AG01/#3.16.xml | MAYBE 1183 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | MAYBE 59533 |
| tpdb-8.0/TRS/AG01/#3.17.xml | MAYBE 58739 |
| tpdb-8.0/TRS/AG01/#3.18.xml | MAYBE 5263 |
| tpdb-8.0/TRS/AG01/#3.19.xml | MAYBE 6637 |
| tpdb-8.0/TRS/AG01/#3.1.xml | n^0 - n^1 134 |
| tpdb-8.0/TRS/AG01/#3.21.xml | n^0 - POLY 57480 |
| tpdb-8.0/TRS/AG01/#3.22.xml | MAYBE 57654 |
| tpdb-8.0/TRS/AG01/#3.23.xml | n^0 - POLY 781 |
| tpdb-8.0/TRS/AG01/#3.24.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/AG01/#3.26.xml | MAYBE 46272 |
| tpdb-8.0/TRS/AG01/#3.29.xml | n^0 - n^1 100 |
| tpdb-8.0/TRS/AG01/#3.2.xml | n^0 - n^1 163 |
| tpdb-8.0/TRS/AG01/#3.31.xml | MAYBE 12504 |
| tpdb-8.0/TRS/AG01/#3.33.xml | n^0 - n^1 98 |
| tpdb-8.0/TRS/AG01/#3.35.xml | n^0 - n^1 1135 |
| tpdb-8.0/TRS/AG01/#3.36.xml | MAYBE 57169 |
| tpdb-8.0/TRS/AG01/#3.37.xml | n^0 - n^1 98 |
| tpdb-8.0/TRS/AG01/#3.38.xml | MAYBE 2077 |
| tpdb-8.0/TRS/AG01/#3.39.xml | n^0 - n^2 460 |
| tpdb-8.0/TRS/AG01/#3.40.xml | MAYBE 57425 |
| tpdb-8.0/TRS/AG01/#3.41.xml | n^0 - n^3 395 |
| tpdb-8.0/TRS/AG01/#3.42.xml | n^0 - n^2 1632 |
| tpdb-8.0/TRS/AG01/#3.47.xml | MAYBE 2546 |
| tpdb-8.0/TRS/AG01/#3.48.xml | MAYBE 57191 |
| tpdb-8.0/TRS/AG01/#3.49.xml | MAYBE 58392 |
| tpdb-8.0/TRS/AG01/#3.4.xml | MAYBE 2933 |
| tpdb-8.0/TRS/AG01/#3.51.xml | n^0 - n^1 97 |
| tpdb-8.0/TRS/AG01/#3.52.xml | n^0 - n^2 124 |
| tpdb-8.0/TRS/AG01/#3.53a.xml | n^0 - n^1 113 |
| tpdb-8.0/TRS/AG01/#3.53b.xml | n^0 - n^2 135 |
| tpdb-8.0/TRS/AG01/#3.53.xml | MAYBE 4022 |
| tpdb-8.0/TRS/AG01/#3.54.xml | MAYBE 4261 |
| tpdb-8.0/TRS/AG01/#3.55.xml | MAYBE 57678 |
| tpdb-8.0/TRS/AG01/#3.56.xml | n^0 - n^2 1351 |
| tpdb-8.0/TRS/AG01/#3.57.xml | MAYBE 57966 |
| tpdb-8.0/TRS/AG01/#3.5a.xml | n^0 - n^1 325 |
| tpdb-8.0/TRS/AG01/#3.5b.xml | MAYBE 57294 |
| tpdb-8.0/TRS/AG01/#3.5.xml | n^0 - n^1 271 |
| tpdb-8.0/TRS/AG01/#3.6a.xml | n^0 - n^1 206 |
| tpdb-8.0/TRS/AG01/#3.6b.xml | MAYBE 30472 |
| tpdb-8.0/TRS/AG01/#3.6.xml | n^0 - n^1 249 |
| tpdb-8.0/TRS/AG01/#3.7.xml | n^0 - n^1 1151 |
| tpdb-8.0/TRS/AG01/#3.8a.xml | MAYBE 27839 |
| tpdb-8.0/TRS/AG01/#3.8b.xml | MAYBE 39231 |
| tpdb-8.0/TRS/AG01/#4.30c.xml | MAYBE 58218 |
| tpdb-8.0/TRS/AG01_innermost/#4.12a.xml | MAYBE 177 |
| tpdb-8.0/TRS/AG01_innermost/#4.13.xml | MAYBE 182 |
| tpdb-8.0/TRS/AG01_innermost/#4.14.xml | MAYBE 1560 |
| tpdb-8.0/TRS/AG01_innermost/#4.15.xml | MAYBE 57336 |
| tpdb-8.0/TRS/AG01_innermost/#4.16.xml | MAYBE 298 |
| tpdb-8.0/TRS/AG01_innermost/#4.17.xml | MAYBE 58185 |
| tpdb-8.0/TRS/AG01_innermost/#4.18.xml | MAYBE 58266 |
| tpdb-8.0/TRS/AG01_innermost/#4.19.xml | MAYBE 8792 |
| tpdb-8.0/TRS/AG01_innermost/#4.20a.xml | n^0 - n^1 1117 |
| tpdb-8.0/TRS/AG01_innermost/#4.20.xml | n^0 - n^1 1110 |
| tpdb-8.0/TRS/AG01_innermost/#4.21.xml | n^0 - n^3 2060 |
| tpdb-8.0/TRS/AG01_innermost/#4.22.xml | MAYBE 278 |
| tpdb-8.0/TRS/AG01_innermost/#4.23.xml | MAYBE 23007 |
| tpdb-8.0/TRS/AG01_innermost/#4.24.xml | MAYBE 58413 |
| tpdb-8.0/TRS/AG01_innermost/#4.25.xml | n^0 - POLY 1172 |
| tpdb-8.0/TRS/AG01_innermost/#4.26.xml | MAYBE 3896 |
| tpdb-8.0/TRS/AG01_innermost/#4.27.xml | MAYBE 57464 |
| tpdb-8.0/TRS/AG01_innermost/#4.28.xml | n^0 - n^2 1314 |
| tpdb-8.0/TRS/AG01_innermost/#4.29.xml | MAYBE 57325 |
| tpdb-8.0/TRS/AG01_innermost/#4.2.xml | MAYBE 57147 |
| tpdb-8.0/TRS/AG01_innermost/#4.30a.xml | MAYBE 57235 |
| tpdb-8.0/TRS/AG01_innermost/#4.30b.xml | MAYBE 58176 |
| tpdb-8.0/TRS/AG01_innermost/#4.30.xml | MAYBE 57309 |
| tpdb-8.0/TRS/AG01_innermost/#4.31.xml | MAYBE 6168 |
| tpdb-8.0/TRS/AG01_innermost/#4.32.xml | MAYBE 3235 |
| tpdb-8.0/TRS/AG01_innermost/#4.33.xml | MAYBE 57353 |
| tpdb-8.0/TRS/AG01_innermost/#4.34.xml | MAYBE 35021 |
| tpdb-8.0/TRS/AG01_innermost/#4.35.xml | MAYBE 59515 |
| tpdb-8.0/TRS/AG01_innermost/#4.36.xml | MAYBE 58073 |
| tpdb-8.0/TRS/AG01_innermost/#4.37a.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/AG01_innermost/#4.37.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/AG01_innermost/#4.3.xml | MAYBE 177 |
| tpdb-8.0/TRS/AG01_innermost/#4.4.xml | MAYBE 963 |
| tpdb-8.0/TRS/AG01_innermost/#4.5.xml | MAYBE 1109 |
| tpdb-8.0/TRS/AG01_innermost/#4.7.xml | MAYBE 57127 |
| tpdb-8.0/TRS/AotoYamada_05/001.xml | MAYBE 57176 |
| tpdb-8.0/TRS/AotoYamada_05/002.xml | MAYBE 58880 |
| tpdb-8.0/TRS/AotoYamada_05/003.xml | MAYBE 57758 |
| tpdb-8.0/TRS/AotoYamada_05/004.xml | MAYBE 57660 |
| tpdb-8.0/TRS/AotoYamada_05/005.xml | n^0 - n^1 1433 |
| tpdb-8.0/TRS/AotoYamada_05/006.xml | MAYBE 60208 |
| tpdb-8.0/TRS/AotoYamada_05/007.xml | MAYBE 57672 |
| tpdb-8.0/TRS/AotoYamada_05/009.xml | MAYBE 58344 |
| tpdb-8.0/TRS/AotoYamada_05/010.xml | MAYBE 58346 |
| tpdb-8.0/TRS/AotoYamada_05/011.xml | MAYBE 57851 |
| tpdb-8.0/TRS/AotoYamada_05/012.xml | MAYBE 58197 |
| tpdb-8.0/TRS/AotoYamada_05/013.xml | MAYBE 59850 |
| tpdb-8.0/TRS/AotoYamada_05/014.xml | MAYBE 58131 |
| tpdb-8.0/TRS/AotoYamada_05/015.xml | MAYBE 58235 |
| tpdb-8.0/TRS/AotoYamada_05/016.xml | MAYBE 59176 |
| tpdb-8.0/TRS/AotoYamada_05/017.xml | n^0 - n^1 101 |
| tpdb-8.0/TRS/AotoYamada_05/019.xml | MAYBE 57243 |
| tpdb-8.0/TRS/AotoYamada_05/020.xml | MAYBE 57765 |
| tpdb-8.0/TRS/AotoYamada_05/021.xml | MAYBE 58318 |
| tpdb-8.0/TRS/AotoYamada_05/022.xml | MAYBE 58610 |
| tpdb-8.0/TRS/AotoYamada_05/023.xml | n^0 - n^1 1209 |
| tpdb-8.0/TRS/AotoYamada_05/024.xml | MAYBE 57500 |
| tpdb-8.0/TRS/AotoYamada_05/025.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/AotoYamada_05/026.xml | MAYBE 57688 |
| tpdb-8.0/TRS/AotoYamada_05/027.xml | MAYBE 57930 |
| tpdb-8.0/TRS/AotoYamada_05/028.xml | MAYBE 58035 |
| tpdb-8.0/TRS/AotoYamada_05/Ex1SimplyTyped.xml | MAYBE 57694 |
| tpdb-8.0/TRS/AotoYamada_05/Ex5TermProof.xml | MAYBE 58041 |
| tpdb-8.0/TRS/Applicative_05/BTreeMember.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Applicative_05/Ex10Functional.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml | n^0 - n^1 108 |
| tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml | MAYBE 57309 |
| tpdb-8.0/TRS/Applicative_05/Ex2PrimRec.xml | MAYBE 57360 |
| tpdb-8.0/TRS/Applicative_05/Ex3Lists.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml | MAYBE 58441 |
| tpdb-8.0/TRS/Applicative_05/Ex5Folding.xml | MAYBE 59622 |
| tpdb-8.0/TRS/Applicative_05/Ex5Sorting.xml | MAYBE 60216 |
| tpdb-8.0/TRS/Applicative_05/Ex6_11.xml | MAYBE 58215 |
| tpdb-8.0/TRS/Applicative_05/Ex6Folding.xml | MAYBE 60010 |
| tpdb-8.0/TRS/Applicative_05/Ex6Recursor.xml | MAYBE 57659 |
| tpdb-8.0/TRS/Applicative_05/Ex7_9.xml | MAYBE 60132 |
| tpdb-8.0/TRS/Applicative_05/Ex7OrdinalRec.xml | MAYBE 60214 |
| tpdb-8.0/TRS/Applicative_05/Ex7Sorting.xml | MAYBE 60207 |
| tpdb-8.0/TRS/Applicative_05/Ex8Polymorphic.xml | MAYBE 58387 |
| tpdb-8.0/TRS/Applicative_05/Ex9Maps.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Applicative_05/Hamming.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Applicative_05/mapDivMinusHard.xml | MAYBE 59085 |
| tpdb-8.0/TRS/Applicative_05/mapDivMinus.xml | MAYBE 58201 |
| tpdb-8.0/TRS/Applicative_05/nonTermF.xml | MAYBE 59139 |
| tpdb-8.0/TRS/Applicative_05/ReverseLastInit.xml | MAYBE 59268 |
| tpdb-8.0/TRS/Applicative_05/TakeDropWhile.xml | MAYBE 58756 |
| tpdb-8.0/TRS/Applicative_05/termMonTypes.xml | MAYBE 57645 |
| tpdb-8.0/TRS/Applicative_05/TreeFlatten.xml | MAYBE 60215 |
| tpdb-8.0/TRS/Applicative_05/TreeHeight.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Applicative_05/TreeLevels.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Applicative_05/TreeMap.xml | MAYBE 59327 |
| tpdb-8.0/TRS/Applicative_05/TreeSize.xml | MAYBE 59548 |
| tpdb-8.0/TRS/Applicative_05/TypeEx1.xml | MAYBE 57237 |
| tpdb-8.0/TRS/Applicative_05/TypeEx3.xml | MAYBE 58340 |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | MAYBE 1196 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.10.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.13.xml | MAYBE 60219 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.15.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.17.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.19.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.22.xml | MAYBE 60200 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.24.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.26.xml | MAYBE 60214 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.28.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.2.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.34.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.36.xml | MAYBE 60207 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.3.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.5.xml | MAYBE 57391 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.7.xml | MAYBE 60208 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.8.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Applicative_first_order_05/01.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Applicative_first_order_05/02.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Applicative_first_order_05/06.xml | MAYBE 60207 |
| tpdb-8.0/TRS/Applicative_first_order_05/08.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Applicative_first_order_05/11.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Applicative_first_order_05/12.xml | MAYBE 60207 |
| tpdb-8.0/TRS/Applicative_first_order_05/13.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Applicative_first_order_05/17.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Applicative_first_order_05/18.xml | MAYBE 60207 |
| tpdb-8.0/TRS/Applicative_first_order_05/21.xml | MAYBE 60207 |
| tpdb-8.0/TRS/Applicative_first_order_05/29.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Applicative_first_order_05/30.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.10.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.13.xml | MAYBE 60225 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.16.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.18.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Applicative_first_order_05/31.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.22.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.25.xml | MAYBE 60208 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.27.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.2.xml | MAYBE 60205 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.32.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.36.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.38.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Applicative_first_order_05/33.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.40.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.45.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.48.xml | MAYBE 60208 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.52.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.55.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.57.xml | MAYBE 60207 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.6.xml | MAYBE 60208 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.8.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Applicative_first_order_05/hydra.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Applicative_first_order_05/minsort.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Applicative_first_order_05/motivation.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Applicative_first_order_05/perfect2.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Applicative_first_order_05/perfect.xml | MAYBE 60208 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | MAYBE 60208 |
| tpdb-8.0/TRS/AProVE_04/AAECC.xml | MAYBE 58137 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | MAYBE 57222 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation2.xml | n^0 - POLY 225 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation.xml | n^0 - POLY 212 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml | MAYBE 2058 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_18.xml | MAYBE 57491 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | MAYBE 2235 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml | MAYBE 57555 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | MAYBE 57534 |
| tpdb-8.0/TRS/AProVE_04/improved_usable2.xml | n^0 - n^1 115 |
| tpdb-8.0/TRS/AProVE_04/improved_usable.xml | n^0 - n^2 152 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml | MAYBE 28123 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml | MAYBE 12654 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | MAYBE 58485 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | n^0 - n^3 18933 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | MAYBE 59316 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | MAYBE 58800 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | MAYBE 58644 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | MAYBE 60210 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | MAYBE 59161 |
| tpdb-8.0/TRS/AProVE_04/rta1.xml | MAYBE 57206 |
| tpdb-8.0/TRS/AProVE_04/rta2.xml | MAYBE 156 |
| tpdb-8.0/TRS/AProVE_04/rta3.xml | MAYBE 5975 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | MAYBE 53822 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | MAYBE 48680 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | MAYBE 57219 |
| tpdb-8.0/TRS/AProVE_06/factorial2.xml | MAYBE 57320 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | MAYBE 58455 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | MAYBE 57320 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | MAYBE 59265 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | MAYBE 58317 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 60204 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | MAYBE 57667 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | MAYBE 58230 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | MAYBE 41056 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | MAYBE 17679 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | MAYBE 57322 |
| tpdb-8.0/TRS/AProVE_07/kabasci01.xml | MAYBE 60149 |
| tpdb-8.0/TRS/AProVE_07/kabasci02.xml | MAYBE 57693 |
| tpdb-8.0/TRS/AProVE_07/kabasci03.xml | MAYBE 59047 |
| tpdb-8.0/TRS/AProVE_07/kabasci04.xml | MAYBE 57289 |
| tpdb-8.0/TRS/AProVE_07/kabasci05.xml | MAYBE 57354 |
| tpdb-8.0/TRS/AProVE_07/kabasci06.xml | MAYBE 59756 |
| tpdb-8.0/TRS/AProVE_07/otto01.xml | MAYBE 58187 |
| tpdb-8.0/TRS/AProVE_07/otto02.xml | MAYBE 58455 |
| tpdb-8.0/TRS/AProVE_07/otto03.xml | MAYBE 5488 |
| tpdb-8.0/TRS/AProVE_07/otto04.xml | MAYBE 57959 |
| tpdb-8.0/TRS/AProVE_07/otto05.xml | MAYBE 57420 |
| tpdb-8.0/TRS/AProVE_07/otto06.xml | MAYBE 58666 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | MAYBE 3530 |
| tpdb-8.0/TRS/AProVE_07/otto08.xml | MAYBE 13309 |
| tpdb-8.0/TRS/AProVE_07/otto09.xml | MAYBE 11182 |
| tpdb-8.0/TRS/AProVE_07/otto10.xml | MAYBE 59531 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | MAYBE 25923 |
| tpdb-8.0/TRS/AProVE_07/otto12.xml | MAYBE 4897 |
| tpdb-8.0/TRS/AProVE_07/otto13.xml | MAYBE 57786 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | MAYBE 47262 |
| tpdb-8.0/TRS/AProVE_07/thiemann02.xml | MAYBE 58057 |
| tpdb-8.0/TRS/AProVE_07/thiemann03.xml | MAYBE 57451 |
| tpdb-8.0/TRS/AProVE_07/thiemann04.xml | MAYBE 60213 |
| tpdb-8.0/TRS/AProVE_07/thiemann05.xml | MAYBE 57364 |
| tpdb-8.0/TRS/AProVE_07/thiemann06.xml | MAYBE 60214 |
| tpdb-8.0/TRS/AProVE_07/thiemann07.xml | MAYBE 57436 |
| tpdb-8.0/TRS/AProVE_07/thiemann08.xml | MAYBE 2573 |
| tpdb-8.0/TRS/AProVE_07/thiemann09.xml | MAYBE 57679 |
| tpdb-8.0/TRS/AProVE_07/thiemann10.xml | MAYBE 57362 |
| tpdb-8.0/TRS/AProVE_07/thiemann11.xml | MAYBE 43196 |
| tpdb-8.0/TRS/AProVE_07/thiemann12.xml | MAYBE 24563 |
| tpdb-8.0/TRS/AProVE_07/thiemann13.xml | MAYBE 57372 |
| tpdb-8.0/TRS/AProVE_07/thiemann14.xml | MAYBE 57499 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | MAYBE 7216 |
| tpdb-8.0/TRS/AProVE_07/thiemann16.xml | MAYBE 58224 |
| tpdb-8.0/TRS/AProVE_07/thiemann17.xml | MAYBE 57488 |
| tpdb-8.0/TRS/AProVE_07/thiemann18.xml | MAYBE 57954 |
| tpdb-8.0/TRS/AProVE_07/thiemann19.xml | MAYBE 57323 |
| tpdb-8.0/TRS/AProVE_07/thiemann20.xml | MAYBE 23362 |
| tpdb-8.0/TRS/AProVE_07/thiemann21.xml | MAYBE 57720 |
| tpdb-8.0/TRS/AProVE_07/thiemann22.xml | MAYBE 8095 |
| tpdb-8.0/TRS/AProVE_07/thiemann23.xml | MAYBE 57302 |
| tpdb-8.0/TRS/AProVE_07/thiemann24.xml | MAYBE 9483 |
| tpdb-8.0/TRS/AProVE_07/thiemann25.xml | MAYBE 3221 |
| tpdb-8.0/TRS/AProVE_07/thiemann27.xml | MAYBE 1325 |
| tpdb-8.0/TRS/AProVE_07/thiemann29.xml | MAYBE 19786 |
| tpdb-8.0/TRS/AProVE_07/thiemann30.xml | MAYBE 57995 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | MAYBE 58580 |
| tpdb-8.0/TRS/AProVE_07/thiemann32.xml | MAYBE 25011 |
| tpdb-8.0/TRS/AProVE_07/thiemann33.xml | MAYBE 57284 |
| tpdb-8.0/TRS/AProVE_07/thiemann34.xml | MAYBE 3127 |
| tpdb-8.0/TRS/AProVE_07/thiemann35.xml | MAYBE 60207 |
| tpdb-8.0/TRS/AProVE_07/thiemann36.xml | MAYBE 60210 |
| tpdb-8.0/TRS/AProVE_07/thiemann37.xml | MAYBE 60213 |
| tpdb-8.0/TRS/AProVE_07/thiemann38.xml | MAYBE 57994 |
| tpdb-8.0/TRS/AProVE_07/thiemann39.xml | MAYBE 60212 |
| tpdb-8.0/TRS/AProVE_07/thiemann40.xml | MAYBE 2251 |
| tpdb-8.0/TRS/AProVE_07/thiemann41.xml | MAYBE 10424 |
| tpdb-8.0/TRS/AProVE_07/wiehe01.xml | MAYBE 57605 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | MAYBE 58191 |
| tpdb-8.0/TRS/AProVE_07/wiehe03.xml | MAYBE 58634 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | MAYBE 57813 |
| tpdb-8.0/TRS/AProVE_07/wiehe06.xml | MAYBE 57791 |
| tpdb-8.0/TRS/AProVE_07/wiehe07.xml | MAYBE 57960 |
| tpdb-8.0/TRS/AProVE_07/wiehe08.xml | MAYBE 57872 |
| tpdb-8.0/TRS/AProVE_07/wiehe09.xml | MAYBE 57792 |
| tpdb-8.0/TRS/AProVE_07/wiehe11.xml | MAYBE 58420 |
| tpdb-8.0/TRS/AProVE_07/wiehe12.xml | MAYBE 58081 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | MAYBE 6369 |
| tpdb-8.0/TRS/AProVE_08/log.xml | MAYBE 57283 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | MAYBE 57390 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | MAYBE 57462 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | MAYBE 57524 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | MAYBE 57791 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | MAYBE 57550 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 1631 |
| tpdb-8.0/TRS/AProVE_08/round.xml | MAYBE 1971 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | MAYBE 1760 |
| tpdb-8.0/TRS/Beerendonk_07/10.xml | MAYBE 57367 |
| tpdb-8.0/TRS/Beerendonk_07/11.xml | MAYBE 57383 |
| tpdb-8.0/TRS/Beerendonk_07/12.xml | MAYBE 57291 |
| tpdb-8.0/TRS/Beerendonk_07/13.xml | MAYBE 57312 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | MAYBE 57301 |
| tpdb-8.0/TRS/Beerendonk_07/15.xml | MAYBE 57578 |
| tpdb-8.0/TRS/Beerendonk_07/16.xml | MAYBE 58155 |
| tpdb-8.0/TRS/Beerendonk_07/17.xml | MAYBE 57664 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | MAYBE 57664 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | MAYBE 58430 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | MAYBE 14412 |
| tpdb-8.0/TRS/Beerendonk_07/20.xml | MAYBE 57488 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | MAYBE 57707 |
| tpdb-8.0/TRS/Beerendonk_07/22.xml | MAYBE 57314 |
| tpdb-8.0/TRS/Beerendonk_07/23.xml | MAYBE 20527 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | MAYBE 57651 |
| tpdb-8.0/TRS/Beerendonk_07/2.xml | MAYBE 28709 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | MAYBE 21946 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | MAYBE 2662 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | MAYBE 57330 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | MAYBE 4907 |
| tpdb-8.0/TRS/Beerendonk_07/7.xml | MAYBE 57241 |
| tpdb-8.0/TRS/Beerendonk_07/8.xml | MAYBE 57332 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | MAYBE 57417 |
| tpdb-8.0/TRS/CiME_04/ack_prolog.xml | MAYBE 22951 |
| tpdb-8.0/TRS/CiME_04/append-hard.xml | MAYBE 1823 |
| tpdb-8.0/TRS/CiME_04/append-wrong.xml | MAYBE 58150 |
| tpdb-8.0/TRS/CiME_04/append.xml | n^0 - n^1 129 |
| tpdb-8.0/TRS/CiME_04/big.xml | MAYBE 59977 |
| tpdb-8.0/TRS/CiME_04/boolean_rings.xml | n^0 - n^2 18226 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | n^0 - n^1 95 |
| tpdb-8.0/TRS/CiME_04/fact-hard.xml | MAYBE 57300 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | MAYBE 59527 |
| tpdb-8.0/TRS/CiME_04/filliatre3.xml | MAYBE 58649 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | MAYBE 59446 |
| tpdb-8.0/TRS/CiME_04/intersect.xml | n^0 - n^2 9569 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml | MAYBE 16016 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | MAYBE 10174 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | MAYBE 58660 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml | MAYBE 58296 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml | MAYBE 58149 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod.xml | MAYBE 8960 |
| tpdb-8.0/TRS/CiME_04/log2.xml | MAYBE 57967 |
| tpdb-8.0/TRS/CiME_04/lse.xml | n^0 - n^2 2900 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | MAYBE 57985 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | MAYBE 60208 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | MAYBE 58348 |
| tpdb-8.0/TRS/CiME_04/ternary.xml | MAYBE 57788 |
| tpdb-8.0/TRS/CiME_04/tree.xml | MAYBE 58960 |
| tpdb-8.0/TRS/Der95/01.xml | n^0 - n^1 102 |
| tpdb-8.0/TRS/Der95/02.xml | n^0 - n^1 99 |
| tpdb-8.0/TRS/Der95/03.xml | n^0 - n^1 91 |
| tpdb-8.0/TRS/Der95/04.xml | n^0 - n^1 1116 |
| tpdb-8.0/TRS/Der95/06.xml | n^0 - n^1 1110 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^1 1136 |
| tpdb-8.0/TRS/Der95/08.xml | n^0 - n^1 146 |
| tpdb-8.0/TRS/Der95/09.xml | n^0 - n^1 1120 |
| tpdb-8.0/TRS/Der95/11.xml | n^0 - n^1 177 |
| tpdb-8.0/TRS/Der95/12.xml | MAYBE 1737 |
| tpdb-8.0/TRS/Der95/13.xml | n^0 - n^2 2763 |
| tpdb-8.0/TRS/Der95/17.xml | n^0 - n^2 10408 |
| tpdb-8.0/TRS/Der95/18.xml | n^0 - n^1 107 |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 58307 |
| tpdb-8.0/TRS/Der95/21.xml | n^0 - n^2 47826 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^1 1109 |
| tpdb-8.0/TRS/Der95/28.xml | n^0 - n^2 9472 |
| tpdb-8.0/TRS/Der95/30.xml | MAYBE 59186 |
| tpdb-8.0/TRS/Der95/31.xml | MAYBE 1493 |
| tpdb-8.0/TRS/Der95/32.xml | MAYBE 2680 |
| tpdb-8.0/TRS/Der95/33.xml | MAYBE 57440 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 105 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | MAYBE 10751 |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | MAYBE 58667 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | MAYBE 60199 |
| tpdb-8.0/TRS/Endrullis_06/pair2hard.xml | MAYBE 57664 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | n^0 - n^2 32817 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml | MAYBE 57517 |
| tpdb-8.0/TRS/Endrullis_06/pair3hard.xml | MAYBE 58547 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | MAYBE 59070 |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | MAYBE 59670 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | n^0 - n^1 103 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | n^0 - n^1 103 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | MAYBE 3997 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | MAYBE 5368 |
| tpdb-8.0/TRS/GTSSK07/cade04t.xml | MAYBE 698 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | MAYBE 57310 |
| tpdb-8.0/TRS/GTSSK07/cade06.xml | MAYBE 57473 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | MAYBE 57513 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | MAYBE 57536 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | MAYBE 43075 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | MAYBE 18801 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | MAYBE 48690 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | MAYBE 57370 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | MAYBE 22649 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | MAYBE 57411 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | MAYBE 57634 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | MAYBE 57281 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | MAYBE 57340 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 1105 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n003.xml | MAYBE 1111 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n004.xml | MAYBE 1103 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n005.xml | MAYBE 1175 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | MAYBE 1122 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | MAYBE 111 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n008.xml | MAYBE 1108 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t000.xml | n^0 - n^2 16494 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | MAYBE 57415 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t002.xml | MAYBE 57212 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | MAYBE 57979 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | MAYBE 58219 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t005.xml | MAYBE 59815 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t006.xml | n^0 - n^1 101 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml | n^0 - n^1 99 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t008.xml | MAYBE 58330 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | MAYBE 60199 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml | n^0 - n^1 98 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | n^0 - n^1 1121 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | MAYBE 58646 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | MAYBE 57162 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | MAYBE 57216 |
| tpdb-8.0/TRS/Mixed_CTRS/quick.xml | MAYBE 29009 |
| tpdb-8.0/TRS/Mixed_innermost/cade04.xml | MAYBE 704 |
| tpdb-8.0/TRS/Mixed_innermost/cade05.xml | MAYBE 57356 |
| tpdb-8.0/TRS/Mixed_innermost/cade12.xml | MAYBE 57470 |
| tpdb-8.0/TRS/Mixed_innermost/cade13.xml | MAYBE 52382 |
| tpdb-8.0/TRS/Mixed_innermost/innermost1.xml | MAYBE 153 |
| tpdb-8.0/TRS/Mixed_innermost/innermost2.xml | MAYBE 58378 |
| tpdb-8.0/TRS/Mixed_innermost/innermost3.xml | MAYBE 248 |
| tpdb-8.0/TRS/Mixed_innermost/innermost4.xml | MAYBE 57714 |
| tpdb-8.0/TRS/Mixed_innermost/innermost5.xml | MAYBE 57222 |
| tpdb-8.0/TRS/Mixed_innermost/n001.xml | MAYBE 58212 |
| tpdb-8.0/TRS/Mixed_innermost/test833.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Mixed_innermost/thiemann26i.xml | MAYBE 58462 |
| tpdb-8.0/TRS/Mixed_innermost/thiemann28i.xml | MAYBE 57356 |
| tpdb-8.0/TRS/Mixed_innermost/tricky1.xml | MAYBE 57207 |
| tpdb-8.0/TRS/Mixed_innermost/wiehe13.xml | MAYBE 58337 |
| tpdb-8.0/TRS/Mixed_innermost/wiehe14.xml | MAYBE 57807 |
| tpdb-8.0/TRS/Mixed_TRS/1.xml | n^0 - n^1 97 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | MAYBE 58274 |
| tpdb-8.0/TRS/Mixed_TRS/3.xml | MAYBE 57359 |
| tpdb-8.0/TRS/Mixed_TRS/4.xml | n^0 - n^1 91 |
| tpdb-8.0/TRS/Mixed_TRS/5.xml | MAYBE 6561 |
| tpdb-8.0/TRS/Mixed_TRS/6.xml | MAYBE 58186 |
| tpdb-8.0/TRS/Mixed_TRS/7.xml | MAYBE 58348 |
| tpdb-8.0/TRS/Mixed_TRS/beans.xml | MAYBE 60203 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | MAYBE 20684 |
| tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml | MAYBE 57443 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | MAYBE 58535 |
| tpdb-8.0/TRS/Mixed_TRS/gcd.xml | MAYBE 57408 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | n^0 - n^2 2476 |
| tpdb-8.0/TRS/Mixed_TRS/hydra-Zantema06.xml | MAYBE 57622 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^1 1134 |
| tpdb-8.0/TRS/Mixed_TRS/jones2.xml | n^0 - n^1 113 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 98 |
| tpdb-8.0/TRS/Mixed_TRS/jones5.xml | MAYBE 217 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | n^0 - n^1 1160 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | MAYBE 57395 |
| tpdb-8.0/TRS/Mixed_TRS/motivation.xml | n^0 - n^3 3661 |
| tpdb-8.0/TRS/Mixed_TRS/perfect2.xml | MAYBE 57912 |
| tpdb-8.0/TRS/Mixed_TRS/perfect.xml | MAYBE 4004 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | MAYBE 290 |
| tpdb-8.0/TRS/Mixed_TRS/while2.xml | MAYBE 57741 |
| tpdb-8.0/TRS/Mixed_TRS/while.xml | MAYBE 11526 |
| tpdb-8.0/TRS/Rubio_04/aoto.xml | n^0 - n^1 109 |
| tpdb-8.0/TRS/Rubio_04/bintrees.xml | n^0 - n^2 1234 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | n^0 - n^2 721 |
| tpdb-8.0/TRS/Rubio_04/bn129.xml | MAYBE 58885 |
| tpdb-8.0/TRS/Rubio_04/division.xml | MAYBE 10080 |
| tpdb-8.0/TRS/Rubio_04/elimdupl.xml | MAYBE 3298 |
| tpdb-8.0/TRS/Rubio_04/enno.xml | MAYBE 14117 |
| tpdb-8.0/TRS/Rubio_04/gcd.xml | n^0 - n^1 244 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | n^0 - n^1 100 |
| tpdb-8.0/TRS/Rubio_04/gm.xml | n^0 - n^1 175 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^1 191 |
| tpdb-8.0/TRS/Rubio_04/lescanne.xml | n^0 - n^1 1141 |
| tpdb-8.0/TRS/Rubio_04/lindau.xml | n^0 - n^1 99 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | MAYBE 27239 |
| tpdb-8.0/TRS/Rubio_04/ma96.xml | MAYBE 60214 |
| tpdb-8.0/TRS/Rubio_04/mfp90b.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Rubio_04/nestrec.xml | MAYBE 5374 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^1 106 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | n^0 - n^1 175 |
| tpdb-8.0/TRS/Rubio_04/prov.xml | n^0 - POLY 7897 |
| tpdb-8.0/TRS/Rubio_04/quick.xml | MAYBE 57518 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | MAYBE 4362 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | MAYBE 57238 |
| tpdb-8.0/TRS/Rubio_04/selsort.xml | MAYBE 58420 |
| tpdb-8.0/TRS/Rubio_04/test4.xml | n^0 - n^1 104 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | n^0 - n^1 123 |
| tpdb-8.0/TRS/Rubio_04/wst99.xml | MAYBE 23625 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove1.xml | MAYBE 59226 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | MAYBE 58296 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | MAYBE 57564 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | MAYBE 8954 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | MAYBE 57510 |
| tpdb-8.0/TRS/Secret_05_TRS/cime1.xml | MAYBE 60199 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | n^0 - n^2 14819 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | MAYBE 15851 |
| tpdb-8.0/TRS/Secret_05_TRS/cime4.xml | MAYBE 378 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox1.xml | MAYBE 2276 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | MAYBE 58669 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla2.xml | MAYBE 58643 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla3.xml | MAYBE 58642 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa1.xml | MAYBE 57379 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | MAYBE 57269 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa3.xml | MAYBE 57274 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml | MAYBE 57495 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml | MAYBE 57398 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | MAYBE 28850 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MAYBE 44576 |
| tpdb-8.0/TRS/Secret_06_TRS/10.xml | MAYBE 58298 |
| tpdb-8.0/TRS/Secret_06_TRS/2.xml | MAYBE 59885 |
| tpdb-8.0/TRS/Secret_06_TRS/3.xml | MAYBE 59101 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | MAYBE 58222 |
| tpdb-8.0/TRS/Secret_06_TRS/5.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | n^0 - n^2 6413 |
| tpdb-8.0/TRS/Secret_06_TRS/7.xml | n^0 - n^1 394 |
| tpdb-8.0/TRS/Secret_06_TRS/8.xml | n^0 - n^1 98 |
| tpdb-8.0/TRS/Secret_06_TRS/9.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | MAYBE 60219 |
| tpdb-8.0/TRS/Secret_06_TRS/cime1.xml | MAYBE 57724 |
| tpdb-8.0/TRS/Secret_06_TRS/divExp.xml | MAYBE 57254 |
| tpdb-8.0/TRS/Secret_06_TRS/division.xml | MAYBE 57467 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | MAYBE 12402 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml | MAYBE 57246 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-14.xml | MAYBE 57785 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-15.xml | MAYBE 57199 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml | MAYBE 58620 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-18.xml | MAYBE 57256 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | n^0 - n^2 1603 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-22.xml | MAYBE 60220 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-25.xml | MAYBE 57612 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml | MAYBE 57295 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-9.xml | MAYBE 58056 |
| tpdb-8.0/TRS/Secret_06_TRS/logarithm.xml | MAYBE 57425 |
| tpdb-8.0/TRS/Secret_06_TRS/nrOfNodes.xml | MAYBE 57859 |
| tpdb-8.0/TRS/Secret_06_TRS/reverse.xml | MAYBE 57358 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | MAYBE 57923 |
| tpdb-8.0/TRS/Secret_06_TRS/times.xml | MAYBE 57803 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | MAYBE 57968 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml | MAYBE 14129 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa02.xml | MAYBE 14148 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa03.xml | MAYBE 9534 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa04.xml | MAYBE 57698 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa05.xml | MAYBE 57578 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml | MAYBE 58408 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml | MAYBE 57285 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | MAYBE 57710 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa09.xml | MAYBE 58243 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml | MAYBE 57484 |
| tpdb-8.0/TRS/Secret_07_SRS/dj.xml | n^0 - n^2 2926 |
| tpdb-8.0/TRS/Secret_07_SRS/num-530.xml | MAYBE 58258 |
| tpdb-8.0/TRS/Secret_07_TRS/1.xml | MAYBE 58580 |
| tpdb-8.0/TRS/Secret_07_TRS/2.xml | MAYBE 60217 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | MAYBE 58926 |
| tpdb-8.0/TRS/Secret_07_TRS/5.xml | MAYBE 60219 |
| tpdb-8.0/TRS/Secret_07_TRS/7.xml | MAYBE 60200 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | MAYBE 57949 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | MAYBE 4973 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | MAYBE 58161 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | MAYBE 59062 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | MAYBE 34223 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | MAYBE 37236 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml | MAYBE 57492 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | MAYBE 60215 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | MAYBE 59071 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml | MAYBE 57941 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | MAYBE 57593 |
| tpdb-8.0/TRS/Secret_07_TRS/secret2.xml | MAYBE 58122 |
| tpdb-8.0/TRS/Secret_07_TRS/secret3.xml | MAYBE 29415 |
| tpdb-8.0/TRS/Secret_07_TRS/secret4.xml | MAYBE 58006 |
| tpdb-8.0/TRS/Secret_07_TRS/secret5.xml | MAYBE 57419 |
| tpdb-8.0/TRS/SK90/2.01.xml | n^0 - n^1 1593 |
| tpdb-8.0/TRS/SK90/2.02.xml | n^0 - n^2 3893 |
| tpdb-8.0/TRS/SK90/2.03.xml | n^0 - n^1 1124 |
| tpdb-8.0/TRS/SK90/2.04.xml | n^0 - n^1 1117 |
| tpdb-8.0/TRS/SK90/2.05.xml | MAYBE 57931 |
| tpdb-8.0/TRS/SK90/2.06.xml | n^0 - n^1 1143 |
| tpdb-8.0/TRS/SK90/2.07.xml | n^0 - n^2 597 |
| tpdb-8.0/TRS/SK90/2.08.xml | MAYBE 57306 |
| tpdb-8.0/TRS/SK90/2.09.xml | n^0 - n^1 1124 |
| tpdb-8.0/TRS/SK90/2.10.xml | n^0 - n^1 1369 |
| tpdb-8.0/TRS/SK90/2.11.xml | n^0 - n^1 1144 |
| tpdb-8.0/TRS/SK90/2.12.xml | MAYBE 2969 |
| tpdb-8.0/TRS/SK90/2.13.xml | n^0 - n^1 142 |
| tpdb-8.0/TRS/SK90/2.14.xml | n^0 - n^1 1192 |
| tpdb-8.0/TRS/SK90/2.15.xml | MAYBE 517 |
| tpdb-8.0/TRS/SK90/2.16.xml | n^0 - n^1 128 |
| tpdb-8.0/TRS/SK90/2.17.xml | n^0 - n^1 117 |
| tpdb-8.0/TRS/SK90/2.18.xml | n^0 - n^2 249 |
| tpdb-8.0/TRS/SK90/2.19.xml | n^0 - n^2 925 |
| tpdb-8.0/TRS/SK90/2.20.xml | n^0 - n^1 135 |
| tpdb-8.0/TRS/SK90/2.21.xml | MAYBE 898 |
| tpdb-8.0/TRS/SK90/2.22.xml | n^0 - POLY 1229 |
| tpdb-8.0/TRS/SK90/2.23.xml | MAYBE 6890 |
| tpdb-8.0/TRS/SK90/2.24.xml | MAYBE 846 |
| tpdb-8.0/TRS/SK90/2.25.xml | MAYBE 4906 |
| tpdb-8.0/TRS/SK90/2.26.xml | MAYBE 57436 |
| tpdb-8.0/TRS/SK90/2.27.xml | MAYBE 1749 |
| tpdb-8.0/TRS/SK90/2.28.xml | MAYBE 1063 |
| tpdb-8.0/TRS/SK90/2.29.xml | n^0 - n^1 206 |
| tpdb-8.0/TRS/SK90/2.30.xml | n^0 - n^1 112 |
| tpdb-8.0/TRS/SK90/2.31.xml | n^0 - n^1 1197 |
| tpdb-8.0/TRS/SK90/2.32.xml | n^0 - n^1 487 |
| tpdb-8.0/TRS/SK90/2.33.xml | n^0 - n^1 1241 |
| tpdb-8.0/TRS/SK90/2.34.xml | n^0 - n^1 1220 |
| tpdb-8.0/TRS/SK90/2.35.xml | n^0 - n^1 193 |
| tpdb-8.0/TRS/SK90/2.36.xml | n^0 - n^1 1129 |
| tpdb-8.0/TRS/SK90/2.37.xml | n^0 - n^1 106 |
| tpdb-8.0/TRS/SK90/2.38.xml | n^0 - n^1 1130 |
| tpdb-8.0/TRS/SK90/2.39.xml | MAYBE 2665 |
| tpdb-8.0/TRS/SK90/2.40.xml | n^0 - n^2 1264 |
| tpdb-8.0/TRS/SK90/2.41.xml | n^0 - n^1 1169 |
| tpdb-8.0/TRS/SK90/2.42.xml | n^0 - n^2 4253 |
| tpdb-8.0/TRS/SK90/2.43.xml | MAYBE 57432 |
| tpdb-8.0/TRS/SK90/2.44.xml | n^0 - n^1 198 |
| tpdb-8.0/TRS/SK90/2.45.xml | MAYBE 57433 |
| tpdb-8.0/TRS/SK90/2.46.xml | n^0 - n^1 1157 |
| tpdb-8.0/TRS/SK90/2.47.xml | n^0 - n^1 1116 |
| tpdb-8.0/TRS/SK90/2.48.xml | n^0 - n^1 99 |
| tpdb-8.0/TRS/SK90/2.49.xml | n^0 - n^1 101 |
| tpdb-8.0/TRS/SK90/2.50.xml | n^0 - n^1 1122 |
| tpdb-8.0/TRS/SK90/2.51.xml | MAYBE 4787 |
| tpdb-8.0/TRS/SK90/2.52.xml | MAYBE 57406 |
| tpdb-8.0/TRS/SK90/2.53.xml | n^0 - n^1 1107 |
| tpdb-8.0/TRS/SK90/2.54.xml | n^0 - n^1 1113 |
| tpdb-8.0/TRS/SK90/2.55.xml | n^0 - n^1 1113 |
| tpdb-8.0/TRS/SK90/2.56.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/SK90/2.57.xml | n^0 - POLY 18561 |
| tpdb-8.0/TRS/SK90/2.58.xml | n^0 - n^1 116 |
| tpdb-8.0/TRS/SK90/2.59.xml | n^0 - n^1 104 |
| tpdb-8.0/TRS/SK90/2.60.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/SK90/2.61.xml | n^0 - n^1 1286 |
| tpdb-8.0/TRS/SK90/4.01.xml | n^0 - n^1 1159 |
| tpdb-8.0/TRS/SK90/4.02.xml | MAYBE 58891 |
| tpdb-8.0/TRS/SK90/4.03.xml | n^0 - n^2 2305 |
| tpdb-8.0/TRS/SK90/4.04.xml | n^0 - n^1 1148 |
| tpdb-8.0/TRS/SK90/4.05.xml | n^0 - n^2 171 |
| tpdb-8.0/TRS/SK90/4.06.xml | MAYBE 1362 |
| tpdb-8.0/TRS/SK90/4.07.xml | n^0 - n^1 1140 |
| tpdb-8.0/TRS/SK90/4.08.xml | n^0 - n^1 1119 |
| tpdb-8.0/TRS/SK90/4.09.xml | n^0 - n^2 3775 |
| tpdb-8.0/TRS/SK90/4.10.xml | n^0 - n^2 239 |
| tpdb-8.0/TRS/SK90/4.11.xml | n^0 - n^1 1152 |
| tpdb-8.0/TRS/SK90/4.12.xml | n^0 - n^1 1208 |
| tpdb-8.0/TRS/SK90/4.13.xml | n^0 - n^3 749 |
| tpdb-8.0/TRS/SK90/4.14.xml | MAYBE 7135 |
| tpdb-8.0/TRS/SK90/4.15.xml | n^0 - n^1 1135 |
| tpdb-8.0/TRS/SK90/4.16.xml | n^0 - n^1 109 |
| tpdb-8.0/TRS/SK90/4.17.xml | n^0 - n^2 315 |
| tpdb-8.0/TRS/SK90/4.18.xml | n^0 - n^2 223 |
| tpdb-8.0/TRS/SK90/4.19.xml | n^0 - n^1 100 |
| tpdb-8.0/TRS/SK90/4.20.xml | n^0 - n^2 13457 |
| tpdb-8.0/TRS/SK90/4.21.xml | n^0 - n^2 4359 |
| tpdb-8.0/TRS/SK90/4.22.xml | MAYBE 1930 |
| tpdb-8.0/TRS/SK90/4.23.xml | n^0 - n^2 13510 |
| tpdb-8.0/TRS/SK90/4.24.xml | MAYBE 57220 |
| tpdb-8.0/TRS/SK90/4.25.xml | n^0 - n^1 1137 |
| tpdb-8.0/TRS/SK90/4.26.xml | n^0 - n^2 2297 |
| tpdb-8.0/TRS/SK90/4.27.xml | MAYBE 58408 |
| tpdb-8.0/TRS/SK90/4.28.xml | n^0 - n^1 174 |
| tpdb-8.0/TRS/SK90/4.29.xml | n^0 - n^1 1134 |
| tpdb-8.0/TRS/SK90/4.30.xml | n^0 - n^2 1270 |
| tpdb-8.0/TRS/SK90/4.31.xml | MAYBE 787 |
| tpdb-8.0/TRS/SK90/4.32.xml | n^0 - n^3 18719 |
| tpdb-8.0/TRS/SK90/4.33.xml | n^0 - n^1 95 |
| tpdb-8.0/TRS/SK90/4.34.xml | MAYBE 23346 |
| tpdb-8.0/TRS/SK90/4.35.xml | n^0 - n^1 95 |
| tpdb-8.0/TRS/SK90/4.36.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/SK90/4.37.xml | n^0 - n^1 97 |
| tpdb-8.0/TRS/SK90/4.38.xml | n^0 - n^1 1121 |
| tpdb-8.0/TRS/SK90/4.39.xml | n^0 - n^1 1129 |
| tpdb-8.0/TRS/SK90/4.40.xml | MAYBE 57262 |
| tpdb-8.0/TRS/SK90/4.41.xml | n^0 - n^1 118 |
| tpdb-8.0/TRS/SK90/4.42.xml | MAYBE 3736 |
| tpdb-8.0/TRS/SK90/4.43.xml | n^0 - n^2 1562 |
| tpdb-8.0/TRS/SK90/4.44.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/SK90/4.45.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/SK90/4.46.xml | n^0 - n^1 97 |
| tpdb-8.0/TRS/SK90/4.47.xml | n^0 - n^1 1160 |
| tpdb-8.0/TRS/SK90/4.48.xml | n^0 - n^1 1185 |
| tpdb-8.0/TRS/SK90/4.49.xml | MAYBE 27279 |
| tpdb-8.0/TRS/SK90/4.50.xml | n^0 - POLY 155 |
| tpdb-8.0/TRS/SK90/4.51.xml | n^0 - n^2 1332 |
| tpdb-8.0/TRS/SK90/4.52.xml | n^0 - n^1 1424 |
| tpdb-8.0/TRS/SK90/4.53.xml | n^0 - n^2 1306 |
| tpdb-8.0/TRS/SK90/4.54.xml | MAYBE 11634 |
| tpdb-8.0/TRS/SK90/4.55.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/SK90/4.56.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/SK90/4.57.xml | n^0 - POLY 57493 |
| tpdb-8.0/TRS/SK90/4.59.xml | MAYBE 3174 |
| tpdb-8.0/TRS/SK90/4.60.xml | MAYBE 57355 |
| tpdb-8.0/TRS/SK90/4.61.xml | MAYBE 57625 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | MAYBE 58217 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_AEL03.xml | MAYBE 1764 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml | MAYBE 131 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex14_AEGL02.xml | MAYBE 140 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex15_Luc98.xml | MAYBE 199 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GL02a.xml | MAYBE 217 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM03.xml | MAYBE 57190 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM99.xml | MAYBE 162 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml | MAYBE 186 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Zan97.xml | MAYBE 1478 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex24_GM04.xml | MAYBE 153 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex26_Luc03b.xml | MAYBE 2463 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex2_Luc03b.xml | MAYBE 208 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml | MAYBE 143 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_2_Luc97.xml | MAYBE 307 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml | MAYBE 2364 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml | MAYBE 8209 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml | MAYBE 58135 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml | MAYBE 384 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml | MAYBE 143 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml | MAYBE 1116 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml | MAYBE 57224 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_Zan97.xml | MAYBE 418 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_7_Luc97.xml | MAYBE 475 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_Zan97.xml | MAYBE 2850 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_15_AEL02.xml | MAYBE 731 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml | MAYBE 149 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml | MAYBE 1271 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_Luc98.xml | MAYBE 154 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex7_BLR02.xml | MAYBE 198 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex8_BLR02.xml | MAYBE 30217 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex9_BLR02.xml | MAYBE 5499 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml | MAYBE 2002 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExConc_Zan97.xml | MAYBE 1103 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM01.xml | MAYBE 1226 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.xml | MAYBE 1225 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM99.xml | MAYBE 57300 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_Zan97.xml | MAYBE 57239 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/bn111.xml | n^0 - n^2 566 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex1.xml | MAYBE 1617 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml | MAYBE 2479 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex3.xml | MAYBE 2776 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | MAYBE 1286 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex5.xml | MAYBE 1231 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml | MAYBE 3701 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml | MAYBE 2369 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml | MAYBE 1181 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/muladd.xml | MAYBE 14173 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test10.xml | MAYBE 4104 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | MAYBE 1640 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml | MAYBE 4833 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test77.xml | MAYBE 622 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test830.xml | n^0 - n^1 101 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml | MAYBE 274 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/toyama.xml | MAYBE 162 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_C.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_FR.xml | MAYBE 25036 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_GM.xml | MAYBE 58049 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml | MAYBE 60216 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml | MAYBE 252 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_Z.xml | MAYBE 50724 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_C.xml | MAYBE 58219 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml | n^0 - POLY 4140 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml | MAYBE 1348 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml | MAYBE 58112 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_L.xml | MAYBE 104 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml | n^0 - n^1 184 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_C.xml | MAYBE 58248 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_FR.xml | MAYBE 7007 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_GM.xml | MAYBE 1031 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_iGM.xml | MAYBE 59091 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_L.xml | MAYBE 1118 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_Z.xml | MAYBE 786 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_C.xml | MAYBE 58147 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_FR.xml | n^0 - n^1 125 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_GM.xml | MAYBE 1290 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_iGM.xml | MAYBE 58536 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_L.xml | n^0 - n^1 1131 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_C.xml | MAYBE 58552 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml | n^0 - n^2 1367 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_GM.xml | n^0 - n^2 1220 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_iGM.xml | n^0 - POLY 58425 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_L.xml | MAYBE 1105 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml | n^0 - n^2 1416 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_C.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_FR.xml | MAYBE 4366 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_GM.xml | n^0 - n^1 235 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_iGM.xml | n^0 - n^2 30890 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_L.xml | MAYBE 97 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_Z.xml | MAYBE 3906 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml | MAYBE 58474 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_FR.xml | n^0 - n^1 102 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | MAYBE 1470 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_iGM.xml | MAYBE 58469 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_L.xml | MAYBE 1115 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_C.xml | MAYBE 58465 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml | n^0 - n^1 1171 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | n^0 - n^2 1400 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_iGM.xml | n^0 - n^2 15098 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_L.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_Z.xml | n^0 - n^1 1139 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_C.xml | MAYBE 59689 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_FR.xml | MAYBE 57560 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_GM.xml | MAYBE 2708 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_iGM.xml | MAYBE 59107 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_L.xml | MAYBE 1156 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_Z.xml | MAYBE 57529 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_C.xml | MAYBE 60137 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_FR.xml | MAYBE 20860 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_GM.xml | MAYBE 57393 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_iGM.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_L.xml | MAYBE 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_Z.xml | MAYBE 57218 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_C.xml | MAYBE 29360 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_FR.xml | MAYBE 199 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_GM.xml | MAYBE 804 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_iGM.xml | MAYBE 58307 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_L.xml | MAYBE 1110 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_C.xml | MAYBE 59738 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_FR.xml | MAYBE 1662 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_GM.xml | MAYBE 2236 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_iGM.xml | MAYBE 59532 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml | MAYBE 110 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_Z.xml | MAYBE 719 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml | MAYBE 59949 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_FR.xml | MAYBE 4218 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml | MAYBE 15878 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_iGM.xml | MAYBE 60188 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml | MAYBE 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_Z.xml | MAYBE 1334 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_C.xml | MAYBE 58358 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_FR.xml | MAYBE 8121 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml | n^0 - n^1 1243 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_iGM.xml | n^0 - n^1 1290 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_L.xml | MAYBE 1120 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_C.xml | MAYBE 58950 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml | n^0 - n^1 1237 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_GM.xml | n^0 - n^2 1320 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_iGM.xml | n^0 - n^2 27484 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_L.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_Z.xml | n^0 - n^1 1129 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_C.xml | MAYBE 57779 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_FR.xml | MAYBE 2854 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_GM.xml | MAYBE 665 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_iGM.xml | MAYBE 58088 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_L.xml | MAYBE 1112 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_Z.xml | MAYBE 1688 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_C.xml | MAYBE 58554 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_FR.xml | MAYBE 57153 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_GM.xml | MAYBE 719 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_iGM.xml | MAYBE 58144 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_L.xml | MAYBE 1120 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_C.xml | MAYBE 59527 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_FR.xml | MAYBE 2492 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_GM.xml | n^0 - n^2 1912 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_iGM.xml | n^0 - n^2 23594 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_L.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_Z.xml | n^0 - n^1 1214 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_C.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml | MAYBE 18841 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_GM.xml | MAYBE 5057 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_iGM.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_Z.xml | MAYBE 59180 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml | MAYBE 60214 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_FR.xml | MAYBE 57372 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_GM.xml | MAYBE 57430 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_iGM.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_L.xml | MAYBE 1937 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_Z.xml | MAYBE 1789 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_C.xml | MAYBE 59811 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_FR.xml | MAYBE 4081 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_GM.xml | MAYBE 2412 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_iGM.xml | MAYBE 60145 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_L.xml | n^0 - n^1 100 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_Z.xml | n^0 - n^1 364 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_C.xml | MAYBE 58358 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml | MAYBE 679 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml | MAYBE 1540 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml | MAYBE 58274 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_L.xml | MAYBE 103 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml | MAYBE 352 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_C.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_FR.xml | MAYBE 8881 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_GM.xml | MAYBE 3301 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_iGM.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml | MAYBE 97 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_Z.xml | MAYBE 7469 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml | MAYBE 4864 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml | MAYBE 6905 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml | n^0 - n^1 98 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml | MAYBE 669 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_C.xml | MAYBE 57459 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml | MAYBE 1441 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml | MAYBE 1149 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml | MAYBE 57454 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml | MAYBE 886 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml | MAYBE 59673 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml | n^0 - n^2 2395 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml | n^0 - n^2 3710 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml | MAYBE 59827 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml | n^0 - n^1 95 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml | MAYBE 57442 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml | MAYBE 57659 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml | MAYBE 149 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml | MAYBE 2816 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml | MAYBE 58503 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml | MAYBE 627 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml | MAYBE 1245 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml | MAYBE 58151 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml | MAYBE 106 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml | MAYBE 322 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml | MAYBE 58836 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml | n^0 - n^1 98 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml | n^0 - n^2 1535 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml | MAYBE 58643 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | MAYBE 98 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_C.xml | MAYBE 60225 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_FR.xml | MAYBE 57379 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_GM.xml | MAYBE 12736 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_iGM.xml | MAYBE 60220 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml | MAYBE 92 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_Z.xml | MAYBE 57373 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_C.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_FR.xml | MAYBE 58661 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_GM.xml | MAYBE 58061 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_L.xml | MAYBE 98 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_Z.xml | MAYBE 58553 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_C.xml | MAYBE 59191 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml | MAYBE 842 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_GM.xml | MAYBE 3240 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_iGM.xml | MAYBE 60134 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_L.xml | MAYBE 111 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_Z.xml | MAYBE 564 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_C.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_FR.xml | MAYBE 11574 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml | MAYBE 10116 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml | MAYBE 60208 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml | MAYBE 100 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_Z.xml | MAYBE 9768 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_C.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_FR.xml | MAYBE 18572 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_GM.xml | MAYBE 4499 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_L.xml | MAYBE 97 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_Z.xml | MAYBE 16844 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_C.xml | MAYBE 60202 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml | MAYBE 2214 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_GM.xml | MAYBE 4567 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_iGM.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_L.xml | MAYBE 92 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml | n^0 - n^1 102 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_C.xml | MAYBE 60208 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_FR.xml | MAYBE 13109 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_GM.xml | MAYBE 58792 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml | MAYBE 100 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_Z.xml | MAYBE 10924 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml | MAYBE 58960 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml | n^0 - n^1 122 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml | MAYBE 3180 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml | MAYBE 58960 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_L.xml | MAYBE 97 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml | n^0 - n^1 115 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_C.xml | MAYBE 58313 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_FR.xml | MAYBE 1837 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml | n^0 - n^1 1178 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml | n^0 - n^1 1133 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_L.xml | n^0 - n^1 100 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_C.xml | MAYBE 58862 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_FR.xml | MAYBE 1296 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_GM.xml | MAYBE 1224 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_iGM.xml | MAYBE 58598 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml | n^0 - n^1 98 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml | n^0 - n^1 186 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_C.xml | MAYBE 60135 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_FR.xml | MAYBE 1680 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_GM.xml | MAYBE 3760 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_iGM.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml | MAYBE 118 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_Z.xml | MAYBE 932 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_C.xml | MAYBE 59532 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_FR.xml | n^0 - n^2 674 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_GM.xml | MAYBE 57347 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_iGM.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_L.xml | MAYBE 127 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_Z.xml | n^0 - n^1 126 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_C.xml | MAYBE 60215 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_FR.xml | MAYBE 57531 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_GM.xml | MAYBE 15231 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_iGM.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_L.xml | n^0 - n^1 105 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_Z.xml | MAYBE 10039 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_C.xml | MAYBE 28752 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_FR.xml | MAYBE 178 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml | MAYBE 1911 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_iGM.xml | MAYBE 58541 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_L.xml | MAYBE 117 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_C.xml | MAYBE 59310 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_FR.xml | MAYBE 58190 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_GM.xml | n^0 - n^1 1171 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_iGM.xml | n^0 - n^2 6106 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_C.xml | MAYBE 60207 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml | MAYBE 5467 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml | MAYBE 58360 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml | MAYBE 60218 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_L.xml | MAYBE 99 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml | MAYBE 3437 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_C.xml | MAYBE 58708 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_FR.xml | n^0 - n^2 1328 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml | n^0 - n^2 1224 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_iGM.xml | n^0 - n^2 10758 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_L.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_Z.xml | MAYBE 1127 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml | MAYBE 60214 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_FR.xml | MAYBE 9022 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_GM.xml | MAYBE 39047 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_iGM.xml | MAYBE 60216 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | MAYBE 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_Z.xml | MAYBE 59167 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml | MAYBE 60137 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_FR.xml | MAYBE 16156 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_GM.xml | MAYBE 13236 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_iGM.xml | MAYBE 60208 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_L.xml | MAYBE 93 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_Z.xml | MAYBE 59203 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_C.xml | MAYBE 60206 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_FR.xml | MAYBE 57669 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_GM.xml | MAYBE 57725 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_iGM.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_L.xml | MAYBE 97 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_Z.xml | MAYBE 57584 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_C.xml | MAYBE 60219 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_FR.xml | MAYBE 8713 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_GM.xml | MAYBE 57475 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_iGM.xml | MAYBE 60215 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml | MAYBE 93 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_Z.xml | MAYBE 55952 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml | MAYBE 59578 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_FR.xml | n^0 - n^2 3814 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml | MAYBE 48842 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_iGM.xml | MAYBE 59221 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_L.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_Z.xml | n^0 - n^1 95 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml | MAYBE 57450 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml | MAYBE 57509 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml | MAYBE 60215 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml | MAYBE 1983 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml | MAYBE 4365 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml | MAYBE 60217 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml | MAYBE 43888 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml | MAYBE 58247 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml | MAYBE 100 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml | MAYBE 57492 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | MAYBE 59157 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml | MAYBE 105 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml | MAYBE 59437 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml | MAYBE 108 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml | MAYBE 59322 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml | MAYBE 59093 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml | MAYBE 57660 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml | MAYBE 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml | MAYBE 57657 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml | MAYBE 101 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml | MAYBE 57687 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml | MAYBE 57656 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml | MAYBE 58197 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml | MAYBE 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml | MAYBE 14397 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml | MAYBE 97 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml | MAYBE 60195 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_L.xml | MAYBE 110 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml | MAYBE 60207 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml | MAYBE 129 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml | MAYBE 60202 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml | MAYBE 60204 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml | MAYBE 100 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml | MAYBE 60205 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml | MAYBE 100 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml | MAYBE 60206 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml | MAYBE 60206 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml | MAYBE 57529 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml | MAYBE 100 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml | MAYBE 58411 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml | MAYBE 97 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml | MAYBE 58447 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml | MAYBE 57477 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_FR.xml | MAYBE 58653 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml | MAYBE 102 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_FR.xml | MAYBE 59641 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_L.xml | MAYBE 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_Z.xml | MAYBE 59801 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_Z.xml | MAYBE 58329 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_FR.xml | MAYBE 57659 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_L.xml | MAYBE 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml | MAYBE 57746 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml | MAYBE 101 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml | MAYBE 57732 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_Z.xml | MAYBE 57552 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_FR.xml | n^0 - n^2 397 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_L.xml | MAYBE 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml | MAYBE 57400 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml | MAYBE 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_FR.xml | MAYBE 60207 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_L.xml | MAYBE 106 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_L.xml | MAYBE 110 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml | MAYBE 60208 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_Z.xml | MAYBE 60208 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_FR.xml | MAYBE 58355 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml | MAYBE 98 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml | MAYBE 58911 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml | MAYBE 100 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml | MAYBE 58781 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_Z.xml | MAYBE 58397 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_FR.xml | MAYBE 4747 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml | MAYBE 97 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml | MAYBE 24083 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml | MAYBE 100 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml | MAYBE 55108 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_Z.xml | MAYBE 58486 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_FR.xml | MAYBE 59005 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml | MAYBE 110 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml | MAYBE 59766 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml | MAYBE 8553 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_Z.xml | MAYBE 60224 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_Z.xml | MAYBE 59234 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml | MAYBE 59444 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml | MAYBE 105 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml | MAYBE 59586 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml | MAYBE 4180 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml | MAYBE 59605 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_Z.xml | MAYBE 59512 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_FR.xml | n^0 - n^1 1138 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_L.xml | MAYBE 100 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml | n^0 - n^1 1144 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml | n^0 - n^1 1143 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_FR.xml | MAYBE 57884 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_L.xml | MAYBE 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_FR.xml | MAYBE 58276 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml | MAYBE 102 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_Z.xml | MAYBE 58264 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_Z.xml | MAYBE 57690 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_FR.xml | MAYBE 57349 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_L.xml | MAYBE 93 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml | MAYBE 57417 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_L.xml | MAYBE 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml | MAYBE 57377 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_Z.xml | MAYBE 57331 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_FR.xml | n^0 - n^1 1133 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml | MAYBE 98 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml | n^0 - n^1 1136 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml | MAYBE 99 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM.xml | MAYBE 59213 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml | MAYBE 60208 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM.xml | MAYBE 60206 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml | MAYBE 60207 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml | MAYBE 57522 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml | MAYBE 12918 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml | MAYBE 60219 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml | MAYBE 59796 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml | MAYBE 20713 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C.xml | MAYBE 59957 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml | MAYBE 59217 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml | MAYBE 60206 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_C.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml | MAYBE 60229 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml | MAYBE 60215 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml | MAYBE 60208 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml | MAYBE 60219 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml | MAYBE 58298 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml | MAYBE 60206 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_C.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_GM.xml | MAYBE 59284 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_iGM.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_C.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_GM.xml | MAYBE 60200 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml | MAYBE 57845 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml | MAYBE 58607 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml | MAYBE 59160 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml | MAYBE 57288 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml | MAYBE 59034 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml | MAYBE 57686 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_C.xml | MAYBE 60207 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_GM.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_iGM.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_C.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml | MAYBE 60207 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_C.xml | MAYBE 60214 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml | MAYBE 58211 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml | MAYBE 35271 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml | MAYBE 60211 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_C.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml | MAYBE 59227 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml | MAYBE 60214 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml | MAYBE 60206 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_C.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_GM.xml | MAYBE 59342 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_iGM.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_C.xml | MAYBE 60207 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_C.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml | MAYBE 59411 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml | MAYBE 60209 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml | MAYBE 59704 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml | MAYBE 60214 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_C.xml | MAYBE 60085 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml | MAYBE 58740 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml | MAYBE 60185 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml | MAYBE 59266 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml | MAYBE 60133 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_C.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_GM.xml | MAYBE 58140 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_iGM.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_C.xml | MAYBE 60215 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_GM.xml | MAYBE 40256 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_iGM.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_C.xml | MAYBE 60216 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml | MAYBE 57405 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml | MAYBE 60217 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml | MAYBE 60216 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml | MAYBE 7712 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml | MAYBE 60213 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_C.xml | MAYBE 59806 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml | MAYBE 12673 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml | MAYBE 59592 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml | MAYBE 60214 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml | MAYBE 26451 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Various_04/02.xml | MAYBE 173 |
| tpdb-8.0/TRS/Various_04/03.xml | MAYBE 248 |
| tpdb-8.0/TRS/Various_04/04.xml | n^0 - n^1 421 |
| tpdb-8.0/TRS/Various_04/05.xml | n^0 - n^1 193 |
| tpdb-8.0/TRS/Various_04/06.xml | n^0 - n^1 224 |
| tpdb-8.0/TRS/Various_04/07.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Various_04/08.xml | n^0 - n^1 538 |
| tpdb-8.0/TRS/Various_04/09.xml | n^0 - n^1 268 |
| tpdb-8.0/TRS/Various_04/10.xml | MAYBE 58059 |
| tpdb-8.0/TRS/Various_04/11.xml | n^0 - POLY 693 |
| tpdb-8.0/TRS/Various_04/12.xml | MAYBE 57269 |
| tpdb-8.0/TRS/Various_04/13.xml | MAYBE 57669 |
| tpdb-8.0/TRS/Various_04/14.xml | MAYBE 58885 |
| tpdb-8.0/TRS/Various_04/15.xml | n^0 - n^3 1424 |
| tpdb-8.0/TRS/Various_04/18.xml | n^0 - n^2 13993 |
| tpdb-8.0/TRS/Various_04/19.xml | MAYBE 58947 |
| tpdb-8.0/TRS/Various_04/21.xml | MAYBE 59624 |
| tpdb-8.0/TRS/Various_04/22.xml | n^0 - n^1 124 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^1 1129 |
| tpdb-8.0/TRS/Various_04/24.xml | MAYBE 58485 |
| tpdb-8.0/TRS/Various_04/25.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Various_04/26.xml | n^0 - n^2 941 |
| tpdb-8.0/TRS/Various_04/27.xml | n^0 - n^1 100 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | MAYBE 58202 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml | MAYBE 58195 |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | MAYBE 58457 |
| tpdb-8.0/TRS/Waldmann_06/jwcime2.xml | n^0 - n^1 97 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | MAYBE 7053 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | MAYBE 5621 |
| tpdb-8.0/TRS/Waldmann_06/jwno1.xml | MAYBE 58202 |
| tpdb-8.0/TRS/Waldmann_06/jwno2.xml | MAYBE 58222 |
| tpdb-8.0/TRS/Waldmann_06/jwno3.xml | MAYBE 58237 |
| tpdb-8.0/TRS/Waldmann_06/jwno4.xml | MAYBE 18997 |
| tpdb-8.0/TRS/Waldmann_06/jwno5.xml | MAYBE 58194 |
| tpdb-8.0/TRS/Waldmann_06/jwno6.xml | MAYBE 17693 |
| tpdb-8.0/TRS/Waldmann_06/jwno7.xml | MAYBE 58270 |
| tpdb-8.0/TRS/Waldmann_06/jwno8.xml | MAYBE 58412 |
| tpdb-8.0/TRS/Waldmann_06/jwno9.xml | MAYBE 58445 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla1.xml | MAYBE 57355 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml | MAYBE 57362 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml | MAYBE 58395 |
| tpdb-8.0/TRS/Waldmann_06/jwttt.xml | MAYBE 58397 |
| tpdb-8.0/TRS/Zantema_04/z001.xml | MAYBE 58306 |
| tpdb-8.0/TRS/Zantema_05/jw01.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw02.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Zantema_05/jw03.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Zantema_05/jw04.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Zantema_05/jw05.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Zantema_05/jw06.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw07.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Zantema_05/jw08.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw09.xml | n^0 - n^1 101 |
| tpdb-8.0/TRS/Zantema_05/jw11.xml | n^0 - n^1 95 |
| tpdb-8.0/TRS/Zantema_05/jw12.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw13.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/Zantema_05/jw14.xml | n^0 - n^1 98 |
| tpdb-8.0/TRS/Zantema_05/jw15.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw16.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Zantema_05/jw17.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw18.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Zantema_05/jw19.xml | n^0 - n^1 91 |
| tpdb-8.0/TRS/Zantema_05/jw20.xml | n^0 - n^1 91 |
| tpdb-8.0/TRS/Zantema_05/jw21.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw22.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw23.xml | n^0 - n^1 90 |
| tpdb-8.0/TRS/Zantema_05/jw24.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Zantema_05/jw25.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Zantema_05/jw26.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw27.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/Zantema_05/jw28.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw29.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw30.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw31.xml | n^0 - n^1 95 |
| tpdb-8.0/TRS/Zantema_05/jw32.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw33.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw34.xml | n^0 - n^1 91 |
| tpdb-8.0/TRS/Zantema_05/jw35.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw36.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/Zantema_05/jw37.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/Zantema_05/jw38.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw39.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw40.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw41.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/Zantema_05/jw42.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw43.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw44.xml | n^0 - n^1 1153 |
| tpdb-8.0/TRS/Zantema_05/jw47.xml | n^0 - n^1 1152 |
| tpdb-8.0/TRS/Zantema_05/jw50.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/Zantema_05/z01.xml | MAYBE 60212 |
| tpdb-8.0/TRS/Zantema_05/z02.xml | n^0 - n^1 102 |
| tpdb-8.0/TRS/Zantema_05/z03.xml | n^0 - n^1 426 |
| tpdb-8.0/TRS/Zantema_05/z04.xml | MAYBE 57198 |
| tpdb-8.0/TRS/Zantema_05/z05.xml | MAYBE 58286 |
| tpdb-8.0/TRS/Zantema_05/z06.xml | n^0 - POLY 58401 |
| tpdb-8.0/TRS/Zantema_05/z07.xml | MAYBE 58328 |
| tpdb-8.0/TRS/Zantema_05/z08.xml | MAYBE 58497 |
| tpdb-8.0/TRS/Zantema_05/z09.xml | MAYBE 57595 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | MAYBE 9348 |
| tpdb-8.0/TRS/Zantema_05/z11.xml | MAYBE 58798 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | MAYBE 59344 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | MAYBE 58253 |
| tpdb-8.0/TRS/Zantema_05/z14.xml | MAYBE 58301 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | MAYBE 58191 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | MAYBE 58293 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | MAYBE 58194 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | MAYBE 58193 |
| tpdb-8.0/TRS/Zantema_05/z19.xml | MAYBE 58235 |
| tpdb-8.0/TRS/Zantema_05/z20.xml | MAYBE 58453 |
| tpdb-8.0/TRS/Zantema_05/z21.xml | MAYBE 58217 |
| tpdb-8.0/TRS/Zantema_05/z22.xml | MAYBE 58458 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | MAYBE 59184 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | MAYBE 58356 |
| tpdb-8.0/TRS/Zantema_05/z25.xml | MAYBE 58271 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | n^0 - n^2 55743 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | n^0 - POLY 468 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | n^0 - POLY 6093 |
| tpdb-8.0/TRS/Zantema_05/z29.xml | MAYBE 58317 |
| tpdb-8.0/TRS/Zantema_05/z30.xml | n^0 - n^1 172 | 326 |