| benchmark | TCT-RC |
|---|---|
| tpdb-8.0/TRS/AG01/#3.10.xml | MAYBE 60169 |
| tpdb-8.0/TRS/AG01/#3.12.xml | MAYBE 14313 |
| tpdb-8.0/TRS/AG01/#3.13.xml | MAYBE 60131 |
| tpdb-8.0/TRS/AG01/#3.15.xml | n^0 - n^1 1178 |
| tpdb-8.0/TRS/AG01/#3.16.xml | MAYBE 1063 |
| tpdb-8.0/TRS/AG01/#3.17a.xml | MAYBE 60134 |
| tpdb-8.0/TRS/AG01/#3.17.xml | MAYBE 60130 |
| tpdb-8.0/TRS/AG01/#3.18.xml | MAYBE 4256 |
| tpdb-8.0/TRS/AG01/#3.19.xml | MAYBE 8205 |
| tpdb-8.0/TRS/AG01/#3.1.xml | n^0 - n^1 130 |
| tpdb-8.0/TRS/AG01/#3.21.xml | MAYBE 60403 |
| tpdb-8.0/TRS/AG01/#3.22.xml | MAYBE 60419 |
| tpdb-8.0/TRS/AG01/#3.23.xml | MAYBE 750 |
| tpdb-8.0/TRS/AG01/#3.24.xml | n^0 - n^1 99 |
| tpdb-8.0/TRS/AG01/#3.26.xml | MAYBE 48424 |
| tpdb-8.0/TRS/AG01/#3.29.xml | n^0 - n^1 103 |
| tpdb-8.0/TRS/AG01/#3.2.xml | n^0 - n^1 171 |
| tpdb-8.0/TRS/AG01/#3.31.xml | MAYBE 13680 |
| 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 1126 |
| tpdb-8.0/TRS/AG01/#3.36.xml | MAYBE 60131 |
| tpdb-8.0/TRS/AG01/#3.37.xml | n^0 - n^1 102 |
| tpdb-8.0/TRS/AG01/#3.38.xml | MAYBE 2017 |
| tpdb-8.0/TRS/AG01/#3.39.xml | n^0 - n^2 457 |
| tpdb-8.0/TRS/AG01/#3.40.xml | MAYBE 60158 |
| tpdb-8.0/TRS/AG01/#3.41.xml | MAYBE 1282 |
| tpdb-8.0/TRS/AG01/#3.42.xml | n^0 - n^2 1613 |
| tpdb-8.0/TRS/AG01/#3.47.xml | MAYBE 2459 |
| tpdb-8.0/TRS/AG01/#3.48.xml | MAYBE 60124 |
| tpdb-8.0/TRS/AG01/#3.49.xml | MAYBE 60125 |
| tpdb-8.0/TRS/AG01/#3.4.xml | MAYBE 3714 |
| tpdb-8.0/TRS/AG01/#3.51.xml | n^0 - n^1 98 |
| tpdb-8.0/TRS/AG01/#3.52.xml | n^0 - n^2 120 |
| tpdb-8.0/TRS/AG01/#3.53a.xml | n^0 - n^1 110 |
| tpdb-8.0/TRS/AG01/#3.53b.xml | n^0 - n^2 129 |
| tpdb-8.0/TRS/AG01/#3.53.xml | MAYBE 7899 |
| tpdb-8.0/TRS/AG01/#3.54.xml | MAYBE 5422 |
| tpdb-8.0/TRS/AG01/#3.55.xml | MAYBE 60171 |
| tpdb-8.0/TRS/AG01/#3.56.xml | n^0 - n^2 1363 |
| tpdb-8.0/TRS/AG01/#3.57.xml | MAYBE 60122 |
| tpdb-8.0/TRS/AG01/#3.5a.xml | n^0 - n^1 321 |
| tpdb-8.0/TRS/AG01/#3.5b.xml | MAYBE 55033 |
| tpdb-8.0/TRS/AG01/#3.5.xml | n^0 - n^1 273 |
| tpdb-8.0/TRS/AG01/#3.6a.xml | n^0 - n^1 196 |
| tpdb-8.0/TRS/AG01/#3.6b.xml | MAYBE 47608 |
| 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 1140 |
| tpdb-8.0/TRS/AG01/#3.8a.xml | MAYBE 60131 |
| tpdb-8.0/TRS/AG01/#3.8b.xml | MAYBE 60124 |
| tpdb-8.0/TRS/AG01/#4.30c.xml | MAYBE 60125 |
| tpdb-8.0/TRS/AG01_innermost/#4.12a.xml | MAYBE 162 |
| tpdb-8.0/TRS/AG01_innermost/#4.13.xml | MAYBE 166 |
| tpdb-8.0/TRS/AG01_innermost/#4.14.xml | MAYBE 1331 |
| tpdb-8.0/TRS/AG01_innermost/#4.15.xml | MAYBE 60125 |
| tpdb-8.0/TRS/AG01_innermost/#4.16.xml | MAYBE 284 |
| tpdb-8.0/TRS/AG01_innermost/#4.17.xml | MAYBE 60121 |
| tpdb-8.0/TRS/AG01_innermost/#4.18.xml | MAYBE 60124 |
| tpdb-8.0/TRS/AG01_innermost/#4.19.xml | MAYBE 10088 |
| tpdb-8.0/TRS/AG01_innermost/#4.20a.xml | n^0 - n^1 1118 |
| tpdb-8.0/TRS/AG01_innermost/#4.20.xml | n^0 - n^1 1109 |
| tpdb-8.0/TRS/AG01_innermost/#4.21.xml | n^0 - n^3 2063 |
| tpdb-8.0/TRS/AG01_innermost/#4.22.xml | MAYBE 223 |
| tpdb-8.0/TRS/AG01_innermost/#4.23.xml | MAYBE 44965 |
| tpdb-8.0/TRS/AG01_innermost/#4.24.xml | MAYBE 60131 |
| tpdb-8.0/TRS/AG01_innermost/#4.25.xml | MAYBE 1160 |
| tpdb-8.0/TRS/AG01_innermost/#4.26.xml | MAYBE 4460 |
| tpdb-8.0/TRS/AG01_innermost/#4.27.xml | MAYBE 60343 |
| tpdb-8.0/TRS/AG01_innermost/#4.28.xml | n^0 - n^2 1302 |
| tpdb-8.0/TRS/AG01_innermost/#4.29.xml | MAYBE 60159 |
| tpdb-8.0/TRS/AG01_innermost/#4.2.xml | MAYBE 3802 |
| tpdb-8.0/TRS/AG01_innermost/#4.30a.xml | MAYBE 60135 |
| tpdb-8.0/TRS/AG01_innermost/#4.30b.xml | MAYBE 60126 |
| tpdb-8.0/TRS/AG01_innermost/#4.30.xml | MAYBE 60131 |
| tpdb-8.0/TRS/AG01_innermost/#4.31.xml | MAYBE 5971 |
| tpdb-8.0/TRS/AG01_innermost/#4.32.xml | MAYBE 3207 |
| tpdb-8.0/TRS/AG01_innermost/#4.33.xml | MAYBE 60135 |
| tpdb-8.0/TRS/AG01_innermost/#4.34.xml | MAYBE 35773 |
| tpdb-8.0/TRS/AG01_innermost/#4.35.xml | MAYBE 60129 |
| tpdb-8.0/TRS/AG01_innermost/#4.36.xml | MAYBE 60177 |
| tpdb-8.0/TRS/AG01_innermost/#4.37a.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/AG01_innermost/#4.37.xml | n^0 - n^1 97 |
| tpdb-8.0/TRS/AG01_innermost/#4.3.xml | MAYBE 137 |
| tpdb-8.0/TRS/AG01_innermost/#4.4.xml | MAYBE 948 |
| tpdb-8.0/TRS/AG01_innermost/#4.5.xml | MAYBE 1112 |
| tpdb-8.0/TRS/AG01_innermost/#4.7.xml | MAYBE 60136 |
| tpdb-8.0/TRS/AotoYamada_05/001.xml | MAYBE 60139 |
| tpdb-8.0/TRS/AotoYamada_05/002.xml | MAYBE 60422 |
| tpdb-8.0/TRS/AotoYamada_05/003.xml | MAYBE 60361 |
| tpdb-8.0/TRS/AotoYamada_05/004.xml | MAYBE 60132 |
| tpdb-8.0/TRS/AotoYamada_05/005.xml | n^0 - n^1 1437 |
| tpdb-8.0/TRS/AotoYamada_05/006.xml | MAYBE 60134 |
| tpdb-8.0/TRS/AotoYamada_05/007.xml | MAYBE 60135 |
| tpdb-8.0/TRS/AotoYamada_05/009.xml | MAYBE 60133 |
| tpdb-8.0/TRS/AotoYamada_05/010.xml | MAYBE 60350 |
| tpdb-8.0/TRS/AotoYamada_05/011.xml | MAYBE 60121 |
| tpdb-8.0/TRS/AotoYamada_05/012.xml | MAYBE 60134 |
| tpdb-8.0/TRS/AotoYamada_05/013.xml | MAYBE 60412 |
| tpdb-8.0/TRS/AotoYamada_05/014.xml | MAYBE 60440 |
| tpdb-8.0/TRS/AotoYamada_05/015.xml | MAYBE 60362 |
| tpdb-8.0/TRS/AotoYamada_05/016.xml | MAYBE 60391 |
| tpdb-8.0/TRS/AotoYamada_05/017.xml | n^0 - n^1 99 |
| tpdb-8.0/TRS/AotoYamada_05/019.xml | MAYBE 60165 |
| tpdb-8.0/TRS/AotoYamada_05/020.xml | MAYBE 60475 |
| tpdb-8.0/TRS/AotoYamada_05/021.xml | MAYBE 60380 |
| tpdb-8.0/TRS/AotoYamada_05/022.xml | MAYBE 60397 |
| tpdb-8.0/TRS/AotoYamada_05/023.xml | n^0 - n^1 1215 |
| tpdb-8.0/TRS/AotoYamada_05/024.xml | MAYBE 60135 |
| tpdb-8.0/TRS/AotoYamada_05/025.xml | n^0 - n^1 103 |
| tpdb-8.0/TRS/AotoYamada_05/026.xml | MAYBE 60129 |
| tpdb-8.0/TRS/AotoYamada_05/027.xml | MAYBE 60397 |
| tpdb-8.0/TRS/AotoYamada_05/028.xml | MAYBE 60348 |
| tpdb-8.0/TRS/AotoYamada_05/Ex1SimplyTyped.xml | MAYBE 60135 |
| tpdb-8.0/TRS/AotoYamada_05/Ex5TermProof.xml | MAYBE 60421 |
| tpdb-8.0/TRS/Applicative_05/BTreeMember.xml | MAYBE 60392 |
| tpdb-8.0/TRS/Applicative_05/Ex10Functional.xml | MAYBE 60388 |
| tpdb-8.0/TRS/Applicative_05/Ex2_6_1Composition.xml | n^0 - n^1 101 |
| tpdb-8.0/TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml | MAYBE 60162 |
| tpdb-8.0/TRS/Applicative_05/Ex2PrimRec.xml | MAYBE 60132 |
| tpdb-8.0/TRS/Applicative_05/Ex3Lists.xml | MAYBE 60384 |
| tpdb-8.0/TRS/Applicative_05/Ex4MapList.xml | MAYBE 60387 |
| tpdb-8.0/TRS/Applicative_05/Ex5Folding.xml | MAYBE 60403 |
| tpdb-8.0/TRS/Applicative_05/Ex5Sorting.xml | MAYBE 60407 |
| tpdb-8.0/TRS/Applicative_05/Ex6_11.xml | MAYBE 60361 |
| tpdb-8.0/TRS/Applicative_05/Ex6Folding.xml | MAYBE 60402 |
| tpdb-8.0/TRS/Applicative_05/Ex6Recursor.xml | MAYBE 60364 |
| tpdb-8.0/TRS/Applicative_05/Ex7_9.xml | MAYBE 60440 |
| tpdb-8.0/TRS/Applicative_05/Ex7OrdinalRec.xml | MAYBE 60398 |
| tpdb-8.0/TRS/Applicative_05/Ex7Sorting.xml | MAYBE 60446 |
| tpdb-8.0/TRS/Applicative_05/Ex8Polymorphic.xml | MAYBE 60401 |
| tpdb-8.0/TRS/Applicative_05/Ex9Maps.xml | MAYBE 60388 |
| tpdb-8.0/TRS/Applicative_05/Hamming.xml | MAYBE 60515 |
| tpdb-8.0/TRS/Applicative_05/mapDivMinusHard.xml | MAYBE 60351 |
| tpdb-8.0/TRS/Applicative_05/mapDivMinus.xml | MAYBE 60363 |
| tpdb-8.0/TRS/Applicative_05/nonTermF.xml | MAYBE 60393 |
| tpdb-8.0/TRS/Applicative_05/ReverseLastInit.xml | MAYBE 60413 |
| tpdb-8.0/TRS/Applicative_05/TakeDropWhile.xml | MAYBE 60367 |
| tpdb-8.0/TRS/Applicative_05/termMonTypes.xml | MAYBE 60139 |
| tpdb-8.0/TRS/Applicative_05/TreeFlatten.xml | MAYBE 60380 |
| tpdb-8.0/TRS/Applicative_05/TreeHeight.xml | MAYBE 60347 |
| tpdb-8.0/TRS/Applicative_05/TreeLevels.xml | MAYBE 60406 |
| tpdb-8.0/TRS/Applicative_05/TreeMap.xml | MAYBE 60357 |
| tpdb-8.0/TRS/Applicative_05/TreeSize.xml | MAYBE 60392 |
| tpdb-8.0/TRS/Applicative_05/TypeEx1.xml | MAYBE 60141 |
| tpdb-8.0/TRS/Applicative_05/TypeEx3.xml | MAYBE 60386 |
| tpdb-8.0/TRS/Applicative_05/TypeEx5.xml | MAYBE 1169 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.10.xml | MAYBE 60407 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.13.xml | MAYBE 60362 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.15.xml | MAYBE 60423 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.17.xml | MAYBE 60362 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.19.xml | MAYBE 60398 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.22.xml | MAYBE 60396 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.24.xml | MAYBE 60373 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.26.xml | MAYBE 60370 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.28.xml | MAYBE 60393 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.2.xml | MAYBE 60397 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.34.xml | MAYBE 60386 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.36.xml | MAYBE 60512 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.3.xml | MAYBE 60372 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.5.xml | MAYBE 60362 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.7.xml | MAYBE 60356 |
| tpdb-8.0/TRS/Applicative_AG01_innermost/#4.8.xml | MAYBE 60358 |
| tpdb-8.0/TRS/Applicative_first_order_05/01.xml | MAYBE 60398 |
| tpdb-8.0/TRS/Applicative_first_order_05/02.xml | MAYBE 60405 |
| tpdb-8.0/TRS/Applicative_first_order_05/06.xml | MAYBE 60388 |
| tpdb-8.0/TRS/Applicative_first_order_05/08.xml | MAYBE 60403 |
| tpdb-8.0/TRS/Applicative_first_order_05/11.xml | MAYBE 60423 |
| tpdb-8.0/TRS/Applicative_first_order_05/12.xml | MAYBE 60418 |
| tpdb-8.0/TRS/Applicative_first_order_05/13.xml | MAYBE 60421 |
| tpdb-8.0/TRS/Applicative_first_order_05/17.xml | MAYBE 60417 |
| tpdb-8.0/TRS/Applicative_first_order_05/18.xml | MAYBE 60399 |
| tpdb-8.0/TRS/Applicative_first_order_05/21.xml | MAYBE 60398 |
| tpdb-8.0/TRS/Applicative_first_order_05/29.xml | MAYBE 60414 |
| tpdb-8.0/TRS/Applicative_first_order_05/30.xml | MAYBE 60351 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.10.xml | MAYBE 60459 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.13.xml | MAYBE 60481 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.16.xml | MAYBE 60350 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.18.xml | MAYBE 60422 |
| tpdb-8.0/TRS/Applicative_first_order_05/31.xml | MAYBE 60359 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.22.xml | MAYBE 60419 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.25.xml | MAYBE 60382 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.27.xml | MAYBE 60407 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.2.xml | MAYBE 60406 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.32.xml | MAYBE 60403 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.36.xml | MAYBE 60361 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.38.xml | MAYBE 60419 |
| tpdb-8.0/TRS/Applicative_first_order_05/33.xml | MAYBE 60379 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.40.xml | MAYBE 60444 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.45.xml | MAYBE 60400 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.48.xml | MAYBE 60378 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.52.xml | MAYBE 60398 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.55.xml | MAYBE 60464 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.57.xml | MAYBE 60422 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.6.xml | MAYBE 60392 |
| tpdb-8.0/TRS/Applicative_first_order_05/#3.8.xml | MAYBE 60362 |
| tpdb-8.0/TRS/Applicative_first_order_05/hydra.xml | MAYBE 60368 |
| tpdb-8.0/TRS/Applicative_first_order_05/minsort.xml | MAYBE 60507 |
| tpdb-8.0/TRS/Applicative_first_order_05/motivation.xml | MAYBE 60392 |
| tpdb-8.0/TRS/Applicative_first_order_05/perfect2.xml | MAYBE 60501 |
| tpdb-8.0/TRS/Applicative_first_order_05/perfect.xml | MAYBE 60434 |
| tpdb-8.0/TRS/AProVE_04/AAECC-ring.xml | MAYBE 60385 |
| tpdb-8.0/TRS/AProVE_04/AAECC.xml | MAYBE 60423 |
| tpdb-8.0/TRS/AProVE_04/fac.xml | MAYBE 60172 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation2.xml | MAYBE 175 |
| tpdb-8.0/TRS/AProVE_04/forward_instantiation.xml | MAYBE 168 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_12.xml | MAYBE 2810 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_18.xml | MAYBE 60142 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_1.xml | MAYBE 1960 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26a.xml | MAYBE 60144 |
| tpdb-8.0/TRS/AProVE_04/IJCAR_26.xml | MAYBE 60138 |
| tpdb-8.0/TRS/AProVE_04/improved_usable2.xml | n^0 - n^1 117 |
| tpdb-8.0/TRS/AProVE_04/improved_usable.xml | n^0 - n^2 149 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex31.xml | MAYBE 28102 |
| tpdb-8.0/TRS/AProVE_04/JFP_Ex51.xml | MAYBE 13975 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.1.xml | MAYBE 60133 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.2.xml | MAYBE 60132 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.3.xml | MAYBE 60126 |
| tpdb-8.0/TRS/AProVE_04/Liveness6.4.xml | MAYBE 60152 |
| tpdb-8.0/TRS/AProVE_04/Liveness8.xml | MAYBE 60136 |
| tpdb-8.0/TRS/AProVE_04/Liveness_WRS.xml | MAYBE 60474 |
| tpdb-8.0/TRS/AProVE_04/LPAR_intlist.xml | MAYBE 60129 |
| tpdb-8.0/TRS/AProVE_04/rta1.xml | MAYBE 60148 |
| tpdb-8.0/TRS/AProVE_04/rta2.xml | MAYBE 145 |
| tpdb-8.0/TRS/AProVE_04/rta3.xml | MAYBE 4773 |
| tpdb-8.0/TRS/AProVE_06/div_notCeTermin.xml | MAYBE 48397 |
| tpdb-8.0/TRS/AProVE_06/div_notTermin.xml | MAYBE 49655 |
| tpdb-8.0/TRS/AProVE_06/factorial1.xml | MAYBE 60138 |
| tpdb-8.0/TRS/AProVE_06/factorial2.xml | MAYBE 60125 |
| tpdb-8.0/TRS/AProVE_06/identity.xml | MAYBE 19148 |
| tpdb-8.0/TRS/AProVE_06/logarithm.xml | MAYBE 60133 |
| tpdb-8.0/TRS/AProVE_06/mapHard.xml | MAYBE 60413 |
| tpdb-8.0/TRS/AProVE_06/modulo.xml | MAYBE 60134 |
| tpdb-8.0/TRS/AProVE_06/nonterm.xml | MAYBE 60134 |
| tpdb-8.0/TRS/AProVE_06/quicksort.xml | MAYBE 60139 |
| tpdb-8.0/TRS/AProVE_06/quot.xml | MAYBE 60119 |
| tpdb-8.0/TRS/AProVE_06/sizeChange.xml | MAYBE 36975 |
| tpdb-8.0/TRS/AProVE_06/tower_sizeChange.xml | MAYBE 14715 |
| tpdb-8.0/TRS/AProVE_06/tower.xml | MAYBE 60146 |
| tpdb-8.0/TRS/AProVE_07/kabasci01.xml | MAYBE 60196 |
| tpdb-8.0/TRS/AProVE_07/kabasci02.xml | MAYBE 60154 |
| tpdb-8.0/TRS/AProVE_07/kabasci03.xml | MAYBE 60120 |
| tpdb-8.0/TRS/AProVE_07/kabasci04.xml | MAYBE 60127 |
| tpdb-8.0/TRS/AProVE_07/kabasci05.xml | MAYBE 60155 |
| tpdb-8.0/TRS/AProVE_07/kabasci06.xml | MAYBE 60360 |
| tpdb-8.0/TRS/AProVE_07/otto01.xml | MAYBE 60121 |
| tpdb-8.0/TRS/AProVE_07/otto02.xml | MAYBE 60141 |
| tpdb-8.0/TRS/AProVE_07/otto03.xml | MAYBE 3686 |
| tpdb-8.0/TRS/AProVE_07/otto04.xml | MAYBE 60131 |
| tpdb-8.0/TRS/AProVE_07/otto05.xml | MAYBE 60132 |
| tpdb-8.0/TRS/AProVE_07/otto06.xml | MAYBE 60130 |
| tpdb-8.0/TRS/AProVE_07/otto07.xml | MAYBE 3421 |
| tpdb-8.0/TRS/AProVE_07/otto08.xml | MAYBE 30327 |
| tpdb-8.0/TRS/AProVE_07/otto09.xml | MAYBE 25488 |
| tpdb-8.0/TRS/AProVE_07/otto10.xml | MAYBE 60145 |
| tpdb-8.0/TRS/AProVE_07/otto11.xml | MAYBE 26818 |
| tpdb-8.0/TRS/AProVE_07/otto12.xml | MAYBE 14394 |
| tpdb-8.0/TRS/AProVE_07/otto13.xml | MAYBE 60139 |
| tpdb-8.0/TRS/AProVE_07/thiemann01.xml | MAYBE 60123 |
| tpdb-8.0/TRS/AProVE_07/thiemann02.xml | MAYBE 60127 |
| tpdb-8.0/TRS/AProVE_07/thiemann03.xml | MAYBE 60131 |
| tpdb-8.0/TRS/AProVE_07/thiemann04.xml | MAYBE 60190 |
| tpdb-8.0/TRS/AProVE_07/thiemann05.xml | MAYBE 60145 |
| tpdb-8.0/TRS/AProVE_07/thiemann06.xml | MAYBE 60128 |
| tpdb-8.0/TRS/AProVE_07/thiemann07.xml | MAYBE 60137 |
| tpdb-8.0/TRS/AProVE_07/thiemann08.xml | MAYBE 3283 |
| tpdb-8.0/TRS/AProVE_07/thiemann09.xml | MAYBE 60121 |
| tpdb-8.0/TRS/AProVE_07/thiemann10.xml | MAYBE 60123 |
| tpdb-8.0/TRS/AProVE_07/thiemann11.xml | MAYBE 60136 |
| tpdb-8.0/TRS/AProVE_07/thiemann12.xml | MAYBE 60125 |
| tpdb-8.0/TRS/AProVE_07/thiemann13.xml | MAYBE 60132 |
| tpdb-8.0/TRS/AProVE_07/thiemann14.xml | MAYBE 60148 |
| tpdb-8.0/TRS/AProVE_07/thiemann15.xml | MAYBE 2430 |
| tpdb-8.0/TRS/AProVE_07/thiemann16.xml | MAYBE 60165 |
| tpdb-8.0/TRS/AProVE_07/thiemann17.xml | MAYBE 60180 |
| tpdb-8.0/TRS/AProVE_07/thiemann18.xml | MAYBE 60134 |
| tpdb-8.0/TRS/AProVE_07/thiemann19.xml | MAYBE 60134 |
| tpdb-8.0/TRS/AProVE_07/thiemann20.xml | MAYBE 47064 |
| tpdb-8.0/TRS/AProVE_07/thiemann21.xml | MAYBE 60134 |
| tpdb-8.0/TRS/AProVE_07/thiemann22.xml | MAYBE 15666 |
| tpdb-8.0/TRS/AProVE_07/thiemann23.xml | MAYBE 60131 |
| tpdb-8.0/TRS/AProVE_07/thiemann24.xml | MAYBE 23257 |
| tpdb-8.0/TRS/AProVE_07/thiemann25.xml | MAYBE 7029 |
| tpdb-8.0/TRS/AProVE_07/thiemann27.xml | MAYBE 1867 |
| tpdb-8.0/TRS/AProVE_07/thiemann29.xml | MAYBE 59836 |
| tpdb-8.0/TRS/AProVE_07/thiemann30.xml | MAYBE 60176 |
| tpdb-8.0/TRS/AProVE_07/thiemann31.xml | MAYBE 60133 |
| tpdb-8.0/TRS/AProVE_07/thiemann32.xml | MAYBE 27859 |
| tpdb-8.0/TRS/AProVE_07/thiemann33.xml | MAYBE 60135 |
| tpdb-8.0/TRS/AProVE_07/thiemann34.xml | MAYBE 4156 |
| tpdb-8.0/TRS/AProVE_07/thiemann35.xml | MAYBE 60433 |
| tpdb-8.0/TRS/AProVE_07/thiemann36.xml | MAYBE 60126 |
| tpdb-8.0/TRS/AProVE_07/thiemann37.xml | MAYBE 60130 |
| tpdb-8.0/TRS/AProVE_07/thiemann38.xml | MAYBE 60133 |
| tpdb-8.0/TRS/AProVE_07/thiemann39.xml | MAYBE 60379 |
| tpdb-8.0/TRS/AProVE_07/thiemann40.xml | MAYBE 2161 |
| tpdb-8.0/TRS/AProVE_07/thiemann41.xml | MAYBE 3263 |
| tpdb-8.0/TRS/AProVE_07/wiehe01.xml | MAYBE 60400 |
| tpdb-8.0/TRS/AProVE_07/wiehe02.xml | MAYBE 60355 |
| tpdb-8.0/TRS/AProVE_07/wiehe03.xml | MAYBE 60340 |
| tpdb-8.0/TRS/AProVE_07/wiehe05.xml | MAYBE 60417 |
| tpdb-8.0/TRS/AProVE_07/wiehe06.xml | MAYBE 60367 |
| tpdb-8.0/TRS/AProVE_07/wiehe07.xml | MAYBE 60415 |
| tpdb-8.0/TRS/AProVE_07/wiehe08.xml | MAYBE 60412 |
| tpdb-8.0/TRS/AProVE_07/wiehe09.xml | MAYBE 60331 |
| tpdb-8.0/TRS/AProVE_07/wiehe11.xml | MAYBE 60417 |
| tpdb-8.0/TRS/AProVE_07/wiehe12.xml | MAYBE 60387 |
| tpdb-8.0/TRS/AProVE_08/id_inc.xml | MAYBE 3152 |
| tpdb-8.0/TRS/AProVE_08/log.xml | MAYBE 60168 |
| tpdb-8.0/TRS/AProVE_08/parting01_reverse.xml | MAYBE 60170 |
| tpdb-8.0/TRS/AProVE_08/parting02_doublelist.xml | MAYBE 60174 |
| tpdb-8.0/TRS/AProVE_08/parting03_minsort.xml | MAYBE 60158 |
| tpdb-8.0/TRS/AProVE_08/parting04_maxsort_h.xml | MAYBE 60386 |
| tpdb-8.0/TRS/AProVE_08/parting05_maxsort.xml | MAYBE 60180 |
| tpdb-8.0/TRS/AProVE_08/round_nonterm.xml | MAYBE 1711 |
| tpdb-8.0/TRS/AProVE_08/round.xml | MAYBE 2706 |
| tpdb-8.0/TRS/AProVE_08/thiemann40_modified.xml | MAYBE 2205 |
| tpdb-8.0/TRS/Beerendonk_07/10.xml | MAYBE 60133 |
| tpdb-8.0/TRS/Beerendonk_07/11.xml | MAYBE 60131 |
| tpdb-8.0/TRS/Beerendonk_07/12.xml | MAYBE 60137 |
| tpdb-8.0/TRS/Beerendonk_07/13.xml | MAYBE 60133 |
| tpdb-8.0/TRS/Beerendonk_07/14.xml | MAYBE 60125 |
| tpdb-8.0/TRS/Beerendonk_07/15.xml | MAYBE 60137 |
| tpdb-8.0/TRS/Beerendonk_07/16.xml | MAYBE 60131 |
| tpdb-8.0/TRS/Beerendonk_07/17.xml | MAYBE 60129 |
| tpdb-8.0/TRS/Beerendonk_07/18.xml | MAYBE 60153 |
| tpdb-8.0/TRS/Beerendonk_07/19.xml | MAYBE 60142 |
| tpdb-8.0/TRS/Beerendonk_07/1.xml | MAYBE 14705 |
| tpdb-8.0/TRS/Beerendonk_07/20.xml | MAYBE 60149 |
| tpdb-8.0/TRS/Beerendonk_07/21.xml | MAYBE 60149 |
| tpdb-8.0/TRS/Beerendonk_07/22.xml | MAYBE 60130 |
| tpdb-8.0/TRS/Beerendonk_07/23.xml | MAYBE 20259 |
| tpdb-8.0/TRS/Beerendonk_07/24.xml | MAYBE 60152 |
| tpdb-8.0/TRS/Beerendonk_07/2.xml | MAYBE 28712 |
| tpdb-8.0/TRS/Beerendonk_07/3.xml | MAYBE 10041 |
| tpdb-8.0/TRS/Beerendonk_07/4.xml | MAYBE 2636 |
| tpdb-8.0/TRS/Beerendonk_07/5.xml | MAYBE 60151 |
| tpdb-8.0/TRS/Beerendonk_07/6.xml | MAYBE 4903 |
| tpdb-8.0/TRS/Beerendonk_07/7.xml | MAYBE 60215 |
| tpdb-8.0/TRS/Beerendonk_07/8.xml | MAYBE 60175 |
| tpdb-8.0/TRS/Beerendonk_07/9.xml | MAYBE 60161 |
| tpdb-8.0/TRS/CiME_04/ack_prolog.xml | MAYBE 40362 |
| tpdb-8.0/TRS/CiME_04/append-hard.xml | MAYBE 1766 |
| tpdb-8.0/TRS/CiME_04/append-wrong.xml | MAYBE 60130 |
| tpdb-8.0/TRS/CiME_04/append.xml | n^0 - n^1 133 |
| tpdb-8.0/TRS/CiME_04/big.xml | MAYBE 60177 |
| tpdb-8.0/TRS/CiME_04/boolean_rings.xml | n^0 - n^2 36009 |
| tpdb-8.0/TRS/CiME_04/dpqs.xml | n^0 - n^1 97 |
| tpdb-8.0/TRS/CiME_04/fact-hard.xml | MAYBE 60149 |
| tpdb-8.0/TRS/CiME_04/filliatre2.xml | MAYBE 60157 |
| tpdb-8.0/TRS/CiME_04/filliatre3.xml | MAYBE 60133 |
| tpdb-8.0/TRS/CiME_04/filliatre.xml | MAYBE 60143 |
| tpdb-8.0/TRS/CiME_04/intersect.xml | n^0 - n^2 8266 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc-append.xml | MAYBE 16243 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-assoc.xml | MAYBE 11126 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc-distr-app.xml | MAYBE 60146 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin-assoc.xml | MAYBE 60154 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod-bin.xml | MAYBE 60156 |
| tpdb-8.0/TRS/CiME_04/list-sum-prod.xml | MAYBE 8502 |
| tpdb-8.0/TRS/CiME_04/log2.xml | MAYBE 60166 |
| tpdb-8.0/TRS/CiME_04/lse.xml | n^0 - n^2 3062 |
| tpdb-8.0/TRS/CiME_04/maude2.xml | MAYBE 60146 |
| tpdb-8.0/TRS/CiME_04/mucrl1.xml | MAYBE 60172 |
| tpdb-8.0/TRS/CiME_04/ternary-hard.xml | MAYBE 60148 |
| tpdb-8.0/TRS/CiME_04/ternary.xml | MAYBE 60147 |
| tpdb-8.0/TRS/CiME_04/tree.xml | MAYBE 60133 |
| tpdb-8.0/TRS/Der95/01.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/Der95/02.xml | n^0 - n^1 110 |
| tpdb-8.0/TRS/Der95/03.xml | n^0 - n^1 95 |
| tpdb-8.0/TRS/Der95/04.xml | n^0 - n^1 1118 |
| tpdb-8.0/TRS/Der95/06.xml | n^0 - n^1 1114 |
| tpdb-8.0/TRS/Der95/07.xml | n^0 - n^1 1132 |
| tpdb-8.0/TRS/Der95/08.xml | n^0 - n^2 177 |
| tpdb-8.0/TRS/Der95/09.xml | n^0 - n^1 1113 |
| tpdb-8.0/TRS/Der95/11.xml | n^0 - n^2 261 |
| tpdb-8.0/TRS/Der95/12.xml | MAYBE 1796 |
| tpdb-8.0/TRS/Der95/13.xml | n^0 - n^2 2788 |
| tpdb-8.0/TRS/Der95/17.xml | n^0 - n^2 10266 |
| tpdb-8.0/TRS/Der95/18.xml | n^0 - n^1 104 |
| tpdb-8.0/TRS/Der95/20.xml | MAYBE 60127 |
| tpdb-8.0/TRS/Der95/21.xml | n^0 - n^2 56539 |
| tpdb-8.0/TRS/Der95/27.xml | n^0 - n^1 1106 |
| tpdb-8.0/TRS/Der95/28.xml | n^0 - n^2 9251 |
| tpdb-8.0/TRS/Der95/30.xml | MAYBE 60394 |
| tpdb-8.0/TRS/Der95/31.xml | MAYBE 1363 |
| tpdb-8.0/TRS/Der95/32.xml | MAYBE 1691 |
| tpdb-8.0/TRS/Der95/33.xml | MAYBE 60131 |
| tpdb-8.0/TRS/Endrullis_06/direct.xml | n^0 - n^1 105 |
| tpdb-8.0/TRS/Endrullis_06/labeling.xml | MAYBE 10674 |
| tpdb-8.0/TRS/Endrullis_06/linear1.xml | MAYBE 60146 |
| tpdb-8.0/TRS/Endrullis_06/linear2.xml | MAYBE 60419 |
| tpdb-8.0/TRS/Endrullis_06/pair2hard.xml | MAYBE 60132 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple1.xml | n^0 - n^2 32531 |
| tpdb-8.0/TRS/Endrullis_06/pair2simple2.xml | MAYBE 60124 |
| tpdb-8.0/TRS/Endrullis_06/pair3hard.xml | MAYBE 60131 |
| tpdb-8.0/TRS/Endrullis_06/pair3rotate.xml | MAYBE 60138 |
| tpdb-8.0/TRS/Endrullis_06/pair3swap.xml | MAYBE 60167 |
| tpdb-8.0/TRS/Endrullis_06/quadruple1.xml | n^0 - n^1 105 |
| tpdb-8.0/TRS/Endrullis_06/quadruple2.xml | n^0 - n^1 105 |
| tpdb-8.0/TRS/GTSSK07/cade01.xml | MAYBE 3941 |
| tpdb-8.0/TRS/GTSSK07/cade03.xml | MAYBE 5325 |
| tpdb-8.0/TRS/GTSSK07/cade04t.xml | MAYBE 605 |
| tpdb-8.0/TRS/GTSSK07/cade05t.xml | MAYBE 60138 |
| tpdb-8.0/TRS/GTSSK07/cade06.xml | MAYBE 60133 |
| tpdb-8.0/TRS/GTSSK07/cade07.xml | MAYBE 60140 |
| tpdb-8.0/TRS/GTSSK07/cade08.xml | MAYBE 60132 |
| tpdb-8.0/TRS/GTSSK07/cade09.xml | MAYBE 13547 |
| tpdb-8.0/TRS/GTSSK07/cade10.xml | MAYBE 9488 |
| tpdb-8.0/TRS/GTSSK07/cade11.xml | MAYBE 48816 |
| tpdb-8.0/TRS/GTSSK07/cade12t.xml | MAYBE 60170 |
| tpdb-8.0/TRS/GTSSK07/cade13t.xml | MAYBE 23640 |
| tpdb-8.0/TRS/GTSSK07/cade14.xml | MAYBE 60131 |
| tpdb-8.0/TRS/GTSSK07/cade15.xml | MAYBE 60130 |
| tpdb-8.0/TRS/GTSSK07/cade16.xml | MAYBE 60142 |
| tpdb-8.0/TRS/GTSSK07/cade17.xml | MAYBE 60155 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n002.xml | MAYBE 1110 |
| 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 1190 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n006.xml | MAYBE 1125 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n007.xml | MAYBE 102 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/n008.xml | MAYBE 1110 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t000.xml | n^0 - n^2 18983 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t001.xml | MAYBE 60136 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t002.xml | MAYBE 60135 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t003.xml | MAYBE 60128 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t004.xml | MAYBE 59959 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t005.xml | MAYBE 60170 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t006.xml | n^0 - n^1 98 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t007.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t008.xml | MAYBE 60217 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t009.xml | MAYBE 60147 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t010.xml | n^0 - n^1 95 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t011.xml | n^0 - n^1 1110 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t012.xml | MAYBE 60213 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t013.xml | MAYBE 53358 |
| tpdb-8.0/TRS/HirokawaMiddeldorp_04/t014.xml | MAYBE 60134 |
| tpdb-8.0/TRS/Mixed_CTRS/quick.xml | MAYBE 8103 |
| tpdb-8.0/TRS/Mixed_innermost/cade04.xml | MAYBE 647 |
| tpdb-8.0/TRS/Mixed_innermost/cade05.xml | MAYBE 60143 |
| tpdb-8.0/TRS/Mixed_innermost/cade12.xml | MAYBE 60181 |
| tpdb-8.0/TRS/Mixed_innermost/cade13.xml | MAYBE 19228 |
| tpdb-8.0/TRS/Mixed_innermost/innermost1.xml | MAYBE 137 |
| tpdb-8.0/TRS/Mixed_innermost/innermost2.xml | MAYBE 60151 |
| tpdb-8.0/TRS/Mixed_innermost/innermost3.xml | MAYBE 140 |
| tpdb-8.0/TRS/Mixed_innermost/innermost4.xml | MAYBE 60122 |
| tpdb-8.0/TRS/Mixed_innermost/innermost5.xml | MAYBE 60123 |
| tpdb-8.0/TRS/Mixed_innermost/n001.xml | MAYBE 60135 |
| tpdb-8.0/TRS/Mixed_innermost/test833.xml | n^0 - n^1 97 |
| tpdb-8.0/TRS/Mixed_innermost/thiemann26i.xml | MAYBE 60130 |
| tpdb-8.0/TRS/Mixed_innermost/thiemann28i.xml | MAYBE 60128 |
| tpdb-8.0/TRS/Mixed_innermost/tricky1.xml | MAYBE 60134 |
| tpdb-8.0/TRS/Mixed_innermost/wiehe13.xml | MAYBE 60387 |
| tpdb-8.0/TRS/Mixed_innermost/wiehe14.xml | MAYBE 60407 |
| tpdb-8.0/TRS/Mixed_TRS/1.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/Mixed_TRS/2.xml | MAYBE 60187 |
| tpdb-8.0/TRS/Mixed_TRS/3.xml | MAYBE 60414 |
| tpdb-8.0/TRS/Mixed_TRS/4.xml | n^0 - n^1 97 |
| tpdb-8.0/TRS/Mixed_TRS/5.xml | MAYBE 6527 |
| tpdb-8.0/TRS/Mixed_TRS/6.xml | MAYBE 60158 |
| tpdb-8.0/TRS/Mixed_TRS/7.xml | MAYBE 60364 |
| tpdb-8.0/TRS/Mixed_TRS/beans.xml | MAYBE 60456 |
| tpdb-8.0/TRS/Mixed_TRS/Ex1_Luc04b_GM.xml | MAYBE 17823 |
| tpdb-8.0/TRS/Mixed_TRS/gcdMinMax.xml | MAYBE 60132 |
| tpdb-8.0/TRS/Mixed_TRS/gcd_triple.xml | MAYBE 60150 |
| tpdb-8.0/TRS/Mixed_TRS/gcd.xml | MAYBE 60137 |
| tpdb-8.0/TRS/Mixed_TRS/hydra.xml | n^0 - n^2 2509 |
| tpdb-8.0/TRS/Mixed_TRS/hydra-Zantema06.xml | MAYBE 60347 |
| tpdb-8.0/TRS/Mixed_TRS/jones1.xml | n^0 - n^1 1139 |
| tpdb-8.0/TRS/Mixed_TRS/jones2.xml | n^0 - n^1 114 |
| tpdb-8.0/TRS/Mixed_TRS/jones4.xml | n^0 - n^1 97 |
| tpdb-8.0/TRS/Mixed_TRS/jones5.xml | MAYBE 308 |
| tpdb-8.0/TRS/Mixed_TRS/jones6.xml | n^0 - n^1 1168 |
| tpdb-8.0/TRS/Mixed_TRS/minsort.xml | MAYBE 60146 |
| tpdb-8.0/TRS/Mixed_TRS/motivation.xml | n^0 - n^3 4049 |
| tpdb-8.0/TRS/Mixed_TRS/perfect2.xml | MAYBE 60127 |
| tpdb-8.0/TRS/Mixed_TRS/perfect.xml | MAYBE 2516 |
| tpdb-8.0/TRS/Mixed_TRS/test1.xml | MAYBE 292 |
| tpdb-8.0/TRS/Mixed_TRS/while2.xml | MAYBE 60124 |
| tpdb-8.0/TRS/Mixed_TRS/while.xml | MAYBE 11591 |
| 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 1369 |
| tpdb-8.0/TRS/Rubio_04/bn122.xml | n^0 - n^2 725 |
| tpdb-8.0/TRS/Rubio_04/bn129.xml | MAYBE 60147 |
| tpdb-8.0/TRS/Rubio_04/division.xml | MAYBE 11246 |
| tpdb-8.0/TRS/Rubio_04/elimdupl.xml | MAYBE 3687 |
| tpdb-8.0/TRS/Rubio_04/enno.xml | MAYBE 10232 |
| tpdb-8.0/TRS/Rubio_04/gcd.xml | n^0 - n^1 256 |
| tpdb-8.0/TRS/Rubio_04/gmnp.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Rubio_04/gm.xml | n^0 - n^1 181 |
| tpdb-8.0/TRS/Rubio_04/koen.xml | n^0 - n^1 188 |
| tpdb-8.0/TRS/Rubio_04/lescanne.xml | n^0 - n^1 1140 |
| tpdb-8.0/TRS/Rubio_04/lindau.xml | n^0 - n^1 97 |
| tpdb-8.0/TRS/Rubio_04/logarquot.xml | MAYBE 60130 |
| tpdb-8.0/TRS/Rubio_04/ma96.xml | MAYBE 60139 |
| tpdb-8.0/TRS/Rubio_04/mfp90b.xml | n^0 - n^1 97 |
| tpdb-8.0/TRS/Rubio_04/mfp95.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/Rubio_04/nestrec.xml | MAYBE 5545 |
| tpdb-8.0/TRS/Rubio_04/p266.xml | n^0 - n^1 107 |
| tpdb-8.0/TRS/Rubio_04/polo2.xml | n^0 - n^2 256 |
| tpdb-8.0/TRS/Rubio_04/prov.xml | MAYBE 7846 |
| tpdb-8.0/TRS/Rubio_04/quick.xml | MAYBE 60144 |
| tpdb-8.0/TRS/Rubio_04/quotminus.xml | MAYBE 5503 |
| tpdb-8.0/TRS/Rubio_04/revlist.xml | MAYBE 60142 |
| tpdb-8.0/TRS/Rubio_04/selsort.xml | MAYBE 60159 |
| tpdb-8.0/TRS/Rubio_04/test4.xml | n^0 - n^1 99 |
| tpdb-8.0/TRS/Rubio_04/test829.xml | n^0 - n^1 125 |
| tpdb-8.0/TRS/Rubio_04/wst99.xml | MAYBE 25303 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove1.xml | MAYBE 60409 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove2.xml | MAYBE 60128 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove3.xml | MAYBE 60126 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove4.xml | MAYBE 8781 |
| tpdb-8.0/TRS/Secret_05_TRS/aprove5.xml | MAYBE 60130 |
| tpdb-8.0/TRS/Secret_05_TRS/cime1.xml | MAYBE 60429 |
| tpdb-8.0/TRS/Secret_05_TRS/cime2.xml | n^0 - n^2 13283 |
| tpdb-8.0/TRS/Secret_05_TRS/cime3.xml | MAYBE 14969 |
| tpdb-8.0/TRS/Secret_05_TRS/cime4.xml | MAYBE 336 |
| tpdb-8.0/TRS/Secret_05_TRS/cime5.xml | MAYBE 60157 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox1.xml | MAYBE 2274 |
| tpdb-8.0/TRS/Secret_05_TRS/matchbox2.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla1.xml | MAYBE 60151 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla2.xml | MAYBE 60148 |
| tpdb-8.0/TRS/Secret_05_TRS/teparla3.xml | MAYBE 60156 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa1.xml | MAYBE 60132 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa2.xml | MAYBE 60145 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa3.xml | MAYBE 60137 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa4.xml | MAYBE 60320 |
| tpdb-8.0/TRS/Secret_05_TRS/tpa5.xml | MAYBE 60141 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt1.xml | MAYBE 60126 |
| tpdb-8.0/TRS/Secret_05_TRS/ttt2.xml | MAYBE 53006 |
| tpdb-8.0/TRS/Secret_06_TRS/10.xml | MAYBE 60143 |
| tpdb-8.0/TRS/Secret_06_TRS/2.xml | MAYBE 60231 |
| tpdb-8.0/TRS/Secret_06_TRS/3.xml | MAYBE 60170 |
| tpdb-8.0/TRS/Secret_06_TRS/4.xml | MAYBE 60126 |
| tpdb-8.0/TRS/Secret_06_TRS/5.xml | MAYBE 60125 |
| tpdb-8.0/TRS/Secret_06_TRS/6.xml | n^0 - n^2 6155 |
| tpdb-8.0/TRS/Secret_06_TRS/7.xml | n^0 - n^1 386 |
| tpdb-8.0/TRS/Secret_06_TRS/8.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/Secret_06_TRS/9.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/Secret_06_TRS/addList.xml | MAYBE 60147 |
| tpdb-8.0/TRS/Secret_06_TRS/cime1.xml | MAYBE 60120 |
| tpdb-8.0/TRS/Secret_06_TRS/divExp.xml | MAYBE 60132 |
| tpdb-8.0/TRS/Secret_06_TRS/division.xml | MAYBE 24671 |
| tpdb-8.0/TRS/Secret_06_TRS/double.xml | MAYBE 14482 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-10.xml | MAYBE 60127 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-14.xml | MAYBE 60361 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-15.xml | MAYBE 60133 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-17.xml | MAYBE 60123 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-18.xml | MAYBE 60124 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-1.xml | n^0 - n^2 1485 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-22.xml | MAYBE 60404 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-25.xml | MAYBE 60402 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-28.xml | MAYBE 60129 |
| tpdb-8.0/TRS/Secret_06_TRS/gen-9.xml | MAYBE 60135 |
| tpdb-8.0/TRS/Secret_06_TRS/logarithm.xml | MAYBE 60129 |
| tpdb-8.0/TRS/Secret_06_TRS/nrOfNodes.xml | MAYBE 60135 |
| tpdb-8.0/TRS/Secret_06_TRS/reverse.xml | MAYBE 60125 |
| tpdb-8.0/TRS/Secret_06_TRS/sumList.xml | MAYBE 60136 |
| tpdb-8.0/TRS/Secret_06_TRS/times.xml | MAYBE 60133 |
| tpdb-8.0/TRS/Secret_06_TRS/toList.xml | MAYBE 60132 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa01.xml | MAYBE 14137 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa02.xml | MAYBE 13955 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa03.xml | MAYBE 9474 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa04.xml | MAYBE 60383 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa05.xml | MAYBE 60343 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa06.xml | MAYBE 60456 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa07.xml | MAYBE 60136 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa08.xml | MAYBE 60396 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa09.xml | MAYBE 60397 |
| tpdb-8.0/TRS/Secret_06_TRS/tpa10.xml | MAYBE 60133 |
| tpdb-8.0/TRS/Secret_07_SRS/dj.xml | n^0 - n^2 2860 |
| tpdb-8.0/TRS/Secret_07_SRS/num-530.xml | MAYBE 60127 |
| tpdb-8.0/TRS/Secret_07_TRS/1.xml | MAYBE 60198 |
| tpdb-8.0/TRS/Secret_07_TRS/2.xml | MAYBE 60458 |
| tpdb-8.0/TRS/Secret_07_TRS/3.xml | MAYBE 60443 |
| tpdb-8.0/TRS/Secret_07_TRS/4.xml | MAYBE 60181 |
| tpdb-8.0/TRS/Secret_07_TRS/5.xml | MAYBE 60190 |
| tpdb-8.0/TRS/Secret_07_TRS/7.xml | MAYBE 60412 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove01.xml | MAYBE 60131 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove02.xml | MAYBE 9311 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove03.xml | MAYBE 60126 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove04.xml | MAYBE 60148 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove05.xml | MAYBE 60139 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove06.xml | MAYBE 60138 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove07.xml | MAYBE 60128 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove08.xml | MAYBE 60127 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove09.xml | MAYBE 60129 |
| tpdb-8.0/TRS/Secret_07_TRS/aprove10.xml | MAYBE 60165 |
| tpdb-8.0/TRS/Secret_07_TRS/secret1.xml | MAYBE 60131 |
| tpdb-8.0/TRS/Secret_07_TRS/secret2.xml | MAYBE 60397 |
| tpdb-8.0/TRS/Secret_07_TRS/secret3.xml | MAYBE 42176 |
| tpdb-8.0/TRS/Secret_07_TRS/secret4.xml | MAYBE 60138 |
| tpdb-8.0/TRS/Secret_07_TRS/secret5.xml | MAYBE 60150 |
| tpdb-8.0/TRS/SK90/2.01.xml | n^0 - n^1 1636 |
| tpdb-8.0/TRS/SK90/2.02.xml | n^0 - n^2 3967 |
| tpdb-8.0/TRS/SK90/2.03.xml | n^0 - n^1 1121 |
| tpdb-8.0/TRS/SK90/2.04.xml | n^0 - n^1 1125 |
| tpdb-8.0/TRS/SK90/2.05.xml | MAYBE 60132 |
| tpdb-8.0/TRS/SK90/2.06.xml | n^0 - n^1 1136 |
| tpdb-8.0/TRS/SK90/2.07.xml | n^0 - n^2 595 |
| tpdb-8.0/TRS/SK90/2.08.xml | MAYBE 60119 |
| tpdb-8.0/TRS/SK90/2.09.xml | n^0 - n^1 1120 |
| tpdb-8.0/TRS/SK90/2.10.xml | n^0 - n^1 1512 |
| tpdb-8.0/TRS/SK90/2.11.xml | n^0 - n^1 1139 |
| tpdb-8.0/TRS/SK90/2.12.xml | MAYBE 3144 |
| tpdb-8.0/TRS/SK90/2.13.xml | n^0 - n^1 146 |
| tpdb-8.0/TRS/SK90/2.14.xml | n^0 - n^1 1196 |
| tpdb-8.0/TRS/SK90/2.15.xml | MAYBE 496 |
| tpdb-8.0/TRS/SK90/2.16.xml | n^0 - n^2 2270 |
| tpdb-8.0/TRS/SK90/2.17.xml | n^0 - n^2 130 |
| tpdb-8.0/TRS/SK90/2.18.xml | n^0 - n^2 266 |
| tpdb-8.0/TRS/SK90/2.19.xml | n^0 - n^2 860 |
| tpdb-8.0/TRS/SK90/2.20.xml | n^0 - n^2 146 |
| tpdb-8.0/TRS/SK90/2.21.xml | MAYBE 905 |
| tpdb-8.0/TRS/SK90/2.22.xml | MAYBE 1393 |
| tpdb-8.0/TRS/SK90/2.23.xml | MAYBE 8430 |
| tpdb-8.0/TRS/SK90/2.24.xml | MAYBE 702 |
| tpdb-8.0/TRS/SK90/2.25.xml | MAYBE 4078 |
| tpdb-8.0/TRS/SK90/2.26.xml | MAYBE 60138 |
| tpdb-8.0/TRS/SK90/2.27.xml | MAYBE 3089 |
| tpdb-8.0/TRS/SK90/2.28.xml | MAYBE 1007 |
| tpdb-8.0/TRS/SK90/2.29.xml | n^0 - n^1 208 |
| tpdb-8.0/TRS/SK90/2.30.xml | n^0 - n^1 115 |
| tpdb-8.0/TRS/SK90/2.31.xml | n^0 - n^1 1204 |
| tpdb-8.0/TRS/SK90/2.32.xml | n^0 - n^1 498 |
| 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 1369 |
| tpdb-8.0/TRS/SK90/2.35.xml | n^0 - n^1 194 |
| tpdb-8.0/TRS/SK90/2.36.xml | n^0 - n^1 1123 |
| tpdb-8.0/TRS/SK90/2.37.xml | n^0 - n^1 107 |
| tpdb-8.0/TRS/SK90/2.38.xml | n^0 - n^1 1147 |
| tpdb-8.0/TRS/SK90/2.39.xml | MAYBE 3000 |
| tpdb-8.0/TRS/SK90/2.40.xml | n^0 - n^2 1524 |
| tpdb-8.0/TRS/SK90/2.41.xml | n^0 - n^1 1183 |
| tpdb-8.0/TRS/SK90/2.42.xml | n^0 - n^2 5196 |
| tpdb-8.0/TRS/SK90/2.43.xml | MAYBE 60132 |
| tpdb-8.0/TRS/SK90/2.44.xml | n^0 - n^1 192 |
| tpdb-8.0/TRS/SK90/2.45.xml | MAYBE 60128 |
| tpdb-8.0/TRS/SK90/2.46.xml | n^0 - n^1 1152 |
| tpdb-8.0/TRS/SK90/2.47.xml | n^0 - n^1 1115 |
| tpdb-8.0/TRS/SK90/2.48.xml | n^0 - n^1 97 |
| tpdb-8.0/TRS/SK90/2.49.xml | n^0 - n^1 102 |
| tpdb-8.0/TRS/SK90/2.50.xml | n^0 - n^1 1107 |
| tpdb-8.0/TRS/SK90/2.51.xml | MAYBE 4810 |
| tpdb-8.0/TRS/SK90/2.52.xml | MAYBE 60136 |
| tpdb-8.0/TRS/SK90/2.53.xml | n^0 - n^1 1111 |
| tpdb-8.0/TRS/SK90/2.54.xml | n^0 - n^1 1118 |
| tpdb-8.0/TRS/SK90/2.55.xml | n^0 - n^1 1109 |
| tpdb-8.0/TRS/SK90/2.56.xml | n^0 - n^1 95 |
| tpdb-8.0/TRS/SK90/2.57.xml | MAYBE 18763 |
| tpdb-8.0/TRS/SK90/2.58.xml | n^0 - n^1 117 |
| tpdb-8.0/TRS/SK90/2.59.xml | n^0 - n^1 101 |
| tpdb-8.0/TRS/SK90/2.60.xml | n^0 - n^1 98 |
| tpdb-8.0/TRS/SK90/2.61.xml | n^0 - n^1 1342 |
| tpdb-8.0/TRS/SK90/4.01.xml | n^0 - n^1 1158 |
| tpdb-8.0/TRS/SK90/4.02.xml | MAYBE 60130 |
| tpdb-8.0/TRS/SK90/4.03.xml | n^0 - n^2 2768 |
| tpdb-8.0/TRS/SK90/4.04.xml | n^0 - n^1 1146 |
| tpdb-8.0/TRS/SK90/4.05.xml | n^0 - n^2 164 |
| tpdb-8.0/TRS/SK90/4.06.xml | MAYBE 1304 |
| tpdb-8.0/TRS/SK90/4.07.xml | n^0 - n^1 1145 |
| tpdb-8.0/TRS/SK90/4.08.xml | n^0 - n^1 1113 |
| tpdb-8.0/TRS/SK90/4.09.xml | n^0 - n^2 3111 |
| tpdb-8.0/TRS/SK90/4.10.xml | n^0 - n^2 242 |
| tpdb-8.0/TRS/SK90/4.11.xml | n^0 - n^1 1145 |
| tpdb-8.0/TRS/SK90/4.12.xml | n^0 - n^1 1197 |
| tpdb-8.0/TRS/SK90/4.13.xml | MAYBE 3024 |
| tpdb-8.0/TRS/SK90/4.14.xml | MAYBE 7373 |
| tpdb-8.0/TRS/SK90/4.15.xml | n^0 - n^1 1129 |
| tpdb-8.0/TRS/SK90/4.16.xml | n^0 - n^1 112 |
| tpdb-8.0/TRS/SK90/4.17.xml | MAYBE 5025 |
| tpdb-8.0/TRS/SK90/4.18.xml | n^0 - n^2 253 |
| tpdb-8.0/TRS/SK90/4.19.xml | n^0 - n^1 104 |
| tpdb-8.0/TRS/SK90/4.20.xml | n^0 - n^2 32936 |
| tpdb-8.0/TRS/SK90/4.21.xml | n^0 - n^2 4936 |
| tpdb-8.0/TRS/SK90/4.22.xml | MAYBE 1868 |
| tpdb-8.0/TRS/SK90/4.23.xml | n^0 - n^2 13596 |
| tpdb-8.0/TRS/SK90/4.24.xml | MAYBE 60140 |
| tpdb-8.0/TRS/SK90/4.25.xml | n^0 - n^1 1143 |
| tpdb-8.0/TRS/SK90/4.26.xml | n^0 - n^2 2173 |
| tpdb-8.0/TRS/SK90/4.27.xml | MAYBE 60130 |
| tpdb-8.0/TRS/SK90/4.28.xml | n^0 - n^2 218 |
| tpdb-8.0/TRS/SK90/4.29.xml | n^0 - n^1 1171 |
| tpdb-8.0/TRS/SK90/4.30.xml | n^0 - n^2 1263 |
| tpdb-8.0/TRS/SK90/4.31.xml | MAYBE 1645 |
| tpdb-8.0/TRS/SK90/4.32.xml | MAYBE 60123 |
| tpdb-8.0/TRS/SK90/4.33.xml | n^0 - n^1 91 |
| tpdb-8.0/TRS/SK90/4.34.xml | MAYBE 23204 |
| tpdb-8.0/TRS/SK90/4.35.xml | n^0 - n^1 88 |
| tpdb-8.0/TRS/SK90/4.36.xml | n^0 - n^1 95 |
| tpdb-8.0/TRS/SK90/4.37.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/SK90/4.38.xml | n^0 - n^1 1117 |
| tpdb-8.0/TRS/SK90/4.39.xml | n^0 - n^1 1123 |
| tpdb-8.0/TRS/SK90/4.40.xml | MAYBE 60153 |
| tpdb-8.0/TRS/SK90/4.41.xml | n^0 - n^1 124 |
| tpdb-8.0/TRS/SK90/4.42.xml | MAYBE 3691 |
| tpdb-8.0/TRS/SK90/4.43.xml | MAYBE 6206 |
| tpdb-8.0/TRS/SK90/4.44.xml | n^0 - n^1 95 |
| tpdb-8.0/TRS/SK90/4.45.xml | n^0 - n^1 95 |
| tpdb-8.0/TRS/SK90/4.46.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/SK90/4.47.xml | n^0 - n^1 1163 |
| tpdb-8.0/TRS/SK90/4.48.xml | n^0 - n^1 1222 |
| tpdb-8.0/TRS/SK90/4.49.xml | MAYBE 25816 |
| tpdb-8.0/TRS/SK90/4.50.xml | MAYBE 143 |
| tpdb-8.0/TRS/SK90/4.51.xml | n^0 - n^2 1398 |
| tpdb-8.0/TRS/SK90/4.52.xml | n^0 - n^1 1420 |
| tpdb-8.0/TRS/SK90/4.53.xml | n^0 - n^2 1165 |
| tpdb-8.0/TRS/SK90/4.54.xml | MAYBE 11547 |
| tpdb-8.0/TRS/SK90/4.55.xml | n^0 - n^1 97 |
| tpdb-8.0/TRS/SK90/4.56.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/SK90/4.57.xml | MAYBE 60127 |
| tpdb-8.0/TRS/SK90/4.59.xml | MAYBE 8091 |
| tpdb-8.0/TRS/SK90/4.60.xml | MAYBE 60139 |
| tpdb-8.0/TRS/SK90/4.61.xml | MAYBE 60398 |
| tpdb-8.0/TRS/Strategy_removed_AG01/#4.30c.xml | MAYBE 60131 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_AEL03.xml | MAYBE 3572 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml | MAYBE 206 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex14_AEGL02.xml | MAYBE 214 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex15_Luc98.xml | MAYBE 244 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GL02a.xml | MAYBE 248 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM03.xml | MAYBE 60122 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_GM99.xml | MAYBE 157 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Luc02b.xml | MAYBE 225 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex1_Zan97.xml | MAYBE 1464 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex24_GM04.xml | MAYBE 129 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex26_Luc03b.xml | MAYBE 2929 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex2_Luc03b.xml | MAYBE 234 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml | MAYBE 210 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_2_Luc97.xml | MAYBE 304 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml | MAYBE 2996 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml | MAYBE 8123 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml | MAYBE 60124 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml | MAYBE 315 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml | MAYBE 210 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml | MAYBE 1110 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex49_GM04.xml | MAYBE 60131 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex4_Zan97.xml | MAYBE 1217 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_7_Luc97.xml | MAYBE 416 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex5_Zan97.xml | MAYBE 2559 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_15_AEL02.xml | MAYBE 563 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml | MAYBE 204 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_GM04.xml | MAYBE 1275 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex6_Luc98.xml | MAYBE 211 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex7_BLR02.xml | MAYBE 226 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex8_BLR02.xml | MAYBE 60122 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/Ex9_BLR02.xml | MAYBE 15388 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml | MAYBE 4975 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExConc_Zan97.xml | MAYBE 1101 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM01.xml | MAYBE 1203 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM04.xml | MAYBE 1192 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_GM99.xml | MAYBE 60128 |
| tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_Zan97.xml | MAYBE 60177 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/bn111.xml | n^0 - n^2 541 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex1.xml | MAYBE 1680 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex2.xml | MAYBE 2470 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex3.xml | MAYBE 2738 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex4.xml | MAYBE 1276 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex5.xml | MAYBE 1245 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ex6.xml | MAYBE 6299 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml | MAYBE 6974 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/gkg.xml | MAYBE 1158 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/muladd.xml | MAYBE 39369 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test10.xml | MAYBE 4061 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test75.xml | MAYBE 1635 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test76.xml | MAYBE 2440 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test77.xml | MAYBE 888 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test830.xml | n^0 - n^1 97 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/test9.xml | MAYBE 262 |
| tpdb-8.0/TRS/Strategy_removed_mixed_05/toyama.xml | MAYBE 153 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_C.xml | MAYBE 60468 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_FR.xml | MAYBE 51501 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_GM.xml | MAYBE 60141 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml | MAYBE 60458 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_L.xml | MAYBE 93 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_AEL03_Z.xml | MAYBE 60135 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_C.xml | MAYBE 60491 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml | MAYBE 7733 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml | MAYBE 1312 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml | MAYBE 60396 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_L.xml | MAYBE 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml | n^0 - n^1 181 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_C.xml | MAYBE 60188 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_FR.xml | MAYBE 7663 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_GM.xml | MAYBE 1102 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_iGM.xml | MAYBE 60179 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_L.xml | MAYBE 1116 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_AEGL02_Z.xml | MAYBE 1479 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_C.xml | MAYBE 60131 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_FR.xml | MAYBE 292 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_GM.xml | MAYBE 1191 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_iGM.xml | MAYBE 60144 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex14_Luc06_L.xml | MAYBE 1151 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_C.xml | MAYBE 60130 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_FR.xml | n^0 - n^2 1586 |
| 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 | MAYBE 60209 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_L.xml | MAYBE 1102 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc06_Z.xml | n^0 - n^2 1393 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_C.xml | MAYBE 60175 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_FR.xml | MAYBE 4209 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_GM.xml | n^0 - n^1 230 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_iGM.xml | n^0 - n^2 30233 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_L.xml | MAYBE 100 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex15_Luc98_Z.xml | MAYBE 3495 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_C.xml | MAYBE 46589 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_FR.xml | n^0 - n^1 105 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_GM.xml | MAYBE 1451 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_iGM.xml | MAYBE 60126 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex16_Luc06_L.xml | MAYBE 1118 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_C.xml | MAYBE 60132 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_FR.xml | n^0 - n^1 1234 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_GM.xml | n^0 - n^2 1464 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_iGM.xml | n^0 - n^2 12625 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_L.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex18_Luc06_Z.xml | n^0 - n^1 1138 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_C.xml | MAYBE 60178 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_FR.xml | MAYBE 2956 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_GM.xml | MAYBE 1965 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_iGM.xml | MAYBE 60179 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_L.xml | MAYBE 1151 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GL02a_Z.xml | MAYBE 3174 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_C.xml | MAYBE 60158 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_FR.xml | MAYBE 10945 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_GM.xml | MAYBE 60136 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_iGM.xml | MAYBE 60437 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_L.xml | MAYBE 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM03_Z.xml | MAYBE 60136 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_C.xml | MAYBE 31816 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_FR.xml | MAYBE 182 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_GM.xml | MAYBE 801 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_iGM.xml | MAYBE 60132 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_GM99_L.xml | MAYBE 1112 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_C.xml | MAYBE 60177 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_FR.xml | MAYBE 1978 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_GM.xml | MAYBE 2666 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_iGM.xml | MAYBE 60155 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_L.xml | MAYBE 95 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc02b_Z.xml | MAYBE 1131 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_C.xml | MAYBE 60171 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_FR.xml | MAYBE 3817 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_GM.xml | MAYBE 23991 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_iGM.xml | MAYBE 60165 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_L.xml | MAYBE 95 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Luc04b_Z.xml | MAYBE 1293 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_C.xml | MAYBE 60123 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_FR.xml | MAYBE 8099 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_GM.xml | n^0 - n^1 1234 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_iGM.xml | n^0 - n^1 1154 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex1_Zan97_L.xml | MAYBE 1107 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_C.xml | MAYBE 60197 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_FR.xml | n^0 - n^1 1287 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_GM.xml | n^0 - n^2 1315 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_iGM.xml | n^0 - n^2 27049 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_L.xml | n^0 - n^1 91 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex23_Luc06_Z.xml | n^0 - n^1 1126 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_C.xml | MAYBE 60130 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_FR.xml | MAYBE 3671 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_GM.xml | MAYBE 608 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_iGM.xml | MAYBE 60132 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_L.xml | MAYBE 1115 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_GM04_Z.xml | MAYBE 1662 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_C.xml | MAYBE 60126 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_FR.xml | MAYBE 60132 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_GM.xml | MAYBE 60119 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_iGM.xml | MAYBE 60134 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex24_Luc06_L.xml | MAYBE 1119 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_C.xml | MAYBE 60230 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_FR.xml | MAYBE 2885 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_GM.xml | n^0 - n^2 1721 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_iGM.xml | n^0 - n^2 23404 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_L.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex25_Luc06_Z.xml | n^0 - n^1 1289 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_C.xml | MAYBE 60169 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_FR.xml | MAYBE 18716 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_GM.xml | MAYBE 4324 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_iGM.xml | MAYBE 60133 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_L.xml | n^0 - n^1 99 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex26_Luc03b_Z.xml | MAYBE 60128 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_C.xml | MAYBE 60175 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_FR.xml | MAYBE 60138 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_GM.xml | MAYBE 60135 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_iGM.xml | MAYBE 60136 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_L.xml | MAYBE 1734 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc02a_Z.xml | MAYBE 5821 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_C.xml | MAYBE 60175 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_FR.xml | MAYBE 3607 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_GM.xml | MAYBE 2941 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_iGM.xml | MAYBE 60166 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_L.xml | n^0 - n^1 102 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex2_Luc03b_Z.xml | n^0 - n^1 383 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_C.xml | MAYBE 60135 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml | MAYBE 957 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml | MAYBE 1243 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml | MAYBE 60141 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_L.xml | MAYBE 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml | MAYBE 551 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_C.xml | MAYBE 60176 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_FR.xml | MAYBE 8608 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_GM.xml | MAYBE 3187 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_iGM.xml | MAYBE 60149 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml | MAYBE 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_2_Luc97_Z.xml | MAYBE 7159 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml | MAYBE 60131 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml | MAYBE 3932 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml | MAYBE 10570 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml | MAYBE 60386 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml | n^0 - n^1 103 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml | MAYBE 501 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_C.xml | MAYBE 60130 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml | MAYBE 1537 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml | MAYBE 1017 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml | MAYBE 60136 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_L.xml | n^0 - n^1 99 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml | MAYBE 983 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml | MAYBE 60186 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml | n^0 - n^2 2457 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml | n^0 - n^2 4867 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml | MAYBE 60134 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml | n^0 - n^1 97 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml | n^0 - n^1 98 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml | MAYBE 60153 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml | MAYBE 60142 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml | MAYBE 60139 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml | MAYBE 60409 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml | MAYBE 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml | MAYBE 3425 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml | MAYBE 60167 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml | MAYBE 896 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml | MAYBE 1171 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml | MAYBE 60148 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml | MAYBE 93 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml | MAYBE 524 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml | MAYBE 60142 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml | n^0 - n^2 1551 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml | MAYBE 60166 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml | MAYBE 93 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_C.xml | MAYBE 60428 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_FR.xml | MAYBE 60138 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_GM.xml | MAYBE 11814 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_iGM.xml | MAYBE 60460 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_L.xml | MAYBE 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex49_GM04_Z.xml | MAYBE 60182 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_C.xml | MAYBE 60124 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_FR.xml | MAYBE 60490 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_GM.xml | MAYBE 60121 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml | MAYBE 60153 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_L.xml | MAYBE 95 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_DLMMU04_Z.xml | MAYBE 60363 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_C.xml | MAYBE 60167 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_FR.xml | MAYBE 1193 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_GM.xml | MAYBE 3153 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_iGM.xml | MAYBE 60160 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_L.xml | MAYBE 98 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex4_Zan97_Z.xml | MAYBE 1132 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_C.xml | MAYBE 60156 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_FR.xml | MAYBE 17476 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_GM.xml | MAYBE 9524 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml | MAYBE 60162 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_L.xml | MAYBE 95 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_7_Luc97_Z.xml | MAYBE 14531 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_C.xml | MAYBE 60161 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_FR.xml | MAYBE 17914 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_GM.xml | MAYBE 4761 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml | MAYBE 60182 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_L.xml | MAYBE 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_DLMMU04_Z.xml | MAYBE 60124 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_C.xml | MAYBE 60130 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_FR.xml | MAYBE 2915 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_GM.xml | MAYBE 7264 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_iGM.xml | MAYBE 60160 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_L.xml | MAYBE 95 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex5_Zan97_Z.xml | n^0 - n^1 105 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_C.xml | MAYBE 60195 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_FR.xml | MAYBE 23074 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_GM.xml | MAYBE 60132 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml | MAYBE 60183 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_L.xml | MAYBE 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_15_AEL02_Z.xml | MAYBE 17234 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_C.xml | MAYBE 60451 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml | MAYBE 1936 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml | MAYBE 3361 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml | MAYBE 60387 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_L.xml | MAYBE 95 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml | MAYBE 1401 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_C.xml | MAYBE 60123 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_FR.xml | MAYBE 1806 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_GM.xml | n^0 - n^1 1175 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml | n^0 - n^1 1159 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_GM04_L.xml | n^0 - n^1 90 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_C.xml | MAYBE 60149 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_FR.xml | MAYBE 1391 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_GM.xml | MAYBE 1520 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_iGM.xml | MAYBE 60157 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_L.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex6_Luc98_Z.xml | n^0 - n^1 191 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_C.xml | MAYBE 60171 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_FR.xml | MAYBE 2624 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_GM.xml | MAYBE 3835 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_iGM.xml | MAYBE 60162 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_L.xml | MAYBE 95 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex7_BLR02_Z.xml | MAYBE 1498 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_C.xml | MAYBE 60170 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_FR.xml | MAYBE 60127 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_GM.xml | MAYBE 60127 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_iGM.xml | MAYBE 60376 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_L.xml | MAYBE 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex8_BLR02_Z.xml | MAYBE 60134 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_C.xml | MAYBE 60158 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_FR.xml | MAYBE 60198 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_GM.xml | MAYBE 15138 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_iGM.xml | MAYBE 60345 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_L.xml | n^0 - n^1 106 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_BLR02_Z.xml | MAYBE 21447 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_C.xml | MAYBE 29698 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_FR.xml | MAYBE 169 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_GM.xml | MAYBE 2223 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_iGM.xml | MAYBE 60134 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc04_L.xml | MAYBE 115 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_C.xml | MAYBE 60134 |
| tpdb-8.0/TRS/Transformed_CSR_04/Ex9_Luc06_FR.xml | MAYBE 60123 |
| 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 6667 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_C.xml | MAYBE 60420 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml | MAYBE 10757 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml | MAYBE 60140 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml | MAYBE 60433 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_L.xml | MAYBE 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml | MAYBE 8663 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_C.xml | MAYBE 60131 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_FR.xml | n^0 - n^2 1278 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_GM.xml | n^0 - n^2 1195 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExConc_Zan97_iGM.xml | n^0 - n^2 8767 |
| 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 1120 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_C.xml | MAYBE 60175 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_FR.xml | MAYBE 12283 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_GM.xml | MAYBE 25758 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_iGM.xml | MAYBE 60158 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_L.xml | MAYBE 95 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM01_Z.xml | MAYBE 9929 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_C.xml | MAYBE 60186 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_FR.xml | MAYBE 18877 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_GM.xml | MAYBE 7969 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_iGM.xml | MAYBE 60157 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_L.xml | MAYBE 92 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM04_Z.xml | MAYBE 19356 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_C.xml | MAYBE 60128 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_FR.xml | MAYBE 60150 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_GM.xml | MAYBE 60135 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_iGM.xml | MAYBE 60396 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_L.xml | MAYBE 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_Z.xml | MAYBE 60129 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_C.xml | MAYBE 60221 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_FR.xml | MAYBE 9460 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_GM.xml | MAYBE 60142 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_iGM.xml | MAYBE 60456 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_L.xml | MAYBE 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_Z.xml | MAYBE 57951 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_C.xml | MAYBE 60175 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_FR.xml | n^0 - n^2 3063 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_GM.xml | MAYBE 60131 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_iGM.xml | MAYBE 60135 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_L.xml | n^0 - n^1 95 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExProp7_Luc06_Z.xml | n^0 - n^1 97 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml | MAYBE 60201 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml | MAYBE 60132 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml | MAYBE 60133 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml | MAYBE 60142 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml | MAYBE 4236 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml | MAYBE 5832 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml | MAYBE 60165 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml | MAYBE 46126 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml | MAYBE 60157 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml | MAYBE 60145 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml | MAYBE 92 |
| tpdb-8.0/TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml | MAYBE 60131 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_FR.xml | MAYBE 60458 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_L.xml | MAYBE 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml | MAYBE 60183 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml | MAYBE 99 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml | MAYBE 60180 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_Z.xml | MAYBE 60456 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml | MAYBE 60193 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml | MAYBE 99 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml | MAYBE 60187 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml | MAYBE 98 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml | MAYBE 60168 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml | MAYBE 60194 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml | MAYBE 60138 |
| 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 14346 |
| tpdb-8.0/TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml | MAYBE 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml | MAYBE 60139 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_L.xml | MAYBE 98 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml | MAYBE 60162 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_L.xml | MAYBE 106 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml | MAYBE 60164 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml | MAYBE 60135 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml | MAYBE 60162 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml | MAYBE 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml | MAYBE 60170 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml | MAYBE 99 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml | MAYBE 60177 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml | MAYBE 60154 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml | MAYBE 60138 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml | MAYBE 92 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml | MAYBE 60178 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml | MAYBE 95 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml | MAYBE 60179 |
| tpdb-8.0/TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml | MAYBE 60140 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_FR.xml | MAYBE 60132 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_L.xml | MAYBE 93 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete-noand_FR.xml | MAYBE 60176 |
| 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 60171 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_complete_Z.xml | MAYBE 60132 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_FR.xml | MAYBE 60155 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_L.xml | MAYBE 93 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml | MAYBE 60166 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml | MAYBE 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml | MAYBE 60166 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nokinds_Z.xml | MAYBE 60154 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_FR.xml | n^0 - n^2 396 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts_L.xml | MAYBE 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml | MAYBE 60130 |
| tpdb-8.0/TRS/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml | MAYBE 91 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_FR.xml | MAYBE 60502 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_L.xml | MAYBE 98 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml | MAYBE 60187 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_L.xml | MAYBE 98 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml | MAYBE 60177 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_complete_Z.xml | MAYBE 60417 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_FR.xml | MAYBE 60149 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_L.xml | MAYBE 93 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml | MAYBE 60169 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml | MAYBE 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml | MAYBE 60163 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nokinds_Z.xml | MAYBE 60146 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_FR.xml | MAYBE 7501 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_L.xml | MAYBE 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml | MAYBE 11360 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml | MAYBE 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml | MAYBE 54525 |
| tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_Z.xml | MAYBE 60123 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_FR.xml | MAYBE 60167 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml | MAYBE 98 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_FR.xml | MAYBE 60181 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml | MAYBE 8547 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete-noand_Z.xml | MAYBE 60182 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_Z.xml | MAYBE 60170 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_FR.xml | MAYBE 60125 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml | MAYBE 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml | MAYBE 60172 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml | MAYBE 4071 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml | MAYBE 60168 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nokinds_Z.xml | MAYBE 60134 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_FR.xml | n^0 - n^1 1147 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts_L.xml | MAYBE 95 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml | n^0 - n^1 1155 |
| tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml | n^0 - n^1 1156 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_FR.xml | MAYBE 60130 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_L.xml | MAYBE 92 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_FR.xml | MAYBE 60175 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_L.xml | MAYBE 94 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete-noand_Z.xml | MAYBE 60167 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_complete_Z.xml | MAYBE 60120 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_FR.xml | MAYBE 60144 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_L.xml | MAYBE 96 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml | MAYBE 60151 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_L.xml | MAYBE 92 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml | MAYBE 60142 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nokinds_Z.xml | MAYBE 60149 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_FR.xml | n^0 - n^1 1122 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts_L.xml | MAYBE 93 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml | n^0 - n^1 1137 |
| tpdb-8.0/TRS/Transformed_CSR_04/PEANO_nosorts-noand_L.xml | MAYBE 91 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_C.xml | MAYBE 60427 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_GM.xml | MAYBE 60135 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml | MAYBE 60140 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_C.xml | MAYBE 60143 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_GM.xml | MAYBE 60162 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml | MAYBE 60199 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_C.xml | MAYBE 60177 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_GM.xml | MAYBE 60131 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml | MAYBE 60136 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_C.xml | MAYBE 60185 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_GM.xml | MAYBE 13462 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml | MAYBE 60206 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_C.xml | MAYBE 60155 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_GM.xml | MAYBE 15567 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml | MAYBE 60187 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_C.xml | MAYBE 60172 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_GM.xml | MAYBE 26791 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml | MAYBE 60184 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_C.xml | MAYBE 60161 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_GM.xml | MAYBE 60137 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml | MAYBE 60171 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_C.xml | MAYBE 60194 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_GM.xml | MAYBE 60161 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml | MAYBE 60204 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_C.xml | MAYBE 60146 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_GM.xml | MAYBE 60178 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml | MAYBE 60147 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_C.xml | MAYBE 60151 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_GM.xml | MAYBE 60178 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml | MAYBE 60210 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_C.xml | MAYBE 60175 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_GM.xml | MAYBE 60191 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml | MAYBE 60188 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_C.xml | MAYBE 60144 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_GM.xml | MAYBE 60181 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml | MAYBE 60198 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_C.xml | MAYBE 60404 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_GM.xml | MAYBE 60132 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_iGM.xml | MAYBE 60134 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_C.xml | MAYBE 60146 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_GM.xml | MAYBE 60178 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml | MAYBE 60207 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_C.xml | MAYBE 60181 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_GM.xml | MAYBE 60149 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml | MAYBE 60135 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_C.xml | MAYBE 60169 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_GM.xml | MAYBE 60141 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml | MAYBE 60194 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_C.xml | MAYBE 60126 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_GM.xml | MAYBE 60135 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml | MAYBE 60151 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_C.xml | MAYBE 60181 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_GM.xml | MAYBE 60145 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml | MAYBE 60184 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_C.xml | MAYBE 60337 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_GM.xml | MAYBE 60131 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_iGM.xml | MAYBE 60137 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_C.xml | MAYBE 60151 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_GM.xml | MAYBE 60171 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml | MAYBE 60206 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_C.xml | MAYBE 60135 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_GM.xml | MAYBE 60132 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml | MAYBE 60148 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_C.xml | MAYBE 60195 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_GM.xml | MAYBE 32272 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml | MAYBE 60206 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_C.xml | MAYBE 60176 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_GM.xml | MAYBE 19297 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml | MAYBE 60174 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_C.xml | MAYBE 60180 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_GM.xml | MAYBE 32978 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml | MAYBE 60162 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_C.xml | MAYBE 60399 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_GM.xml | MAYBE 60160 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_iGM.xml | MAYBE 60152 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_C.xml | MAYBE 60148 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_GM.xml | MAYBE 60181 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml | MAYBE 60427 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_C.xml | MAYBE 60445 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_GM.xml | MAYBE 60143 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml | MAYBE 60431 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_C.xml | MAYBE 60384 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_GM.xml | MAYBE 60136 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml | MAYBE 60374 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_C.xml | MAYBE 60482 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_GM.xml | MAYBE 60144 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml | MAYBE 60452 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_C.xml | MAYBE 60480 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_GM.xml | MAYBE 60142 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml | MAYBE 60488 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_C.xml | MAYBE 60472 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_GM.xml | MAYBE 60130 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_iGM.xml | MAYBE 60130 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_C.xml | MAYBE 60206 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_GM.xml | MAYBE 38293 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_iGM.xml | MAYBE 60195 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_C.xml | MAYBE 60176 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_GM.xml | MAYBE 60129 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml | MAYBE 60129 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_C.xml | MAYBE 60179 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_GM.xml | MAYBE 5501 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml | MAYBE 60184 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_C.xml | MAYBE 60135 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_GM.xml | MAYBE 8591 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml | MAYBE 60182 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_C.xml | MAYBE 60147 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_GM.xml | MAYBE 16384 |
| tpdb-8.0/TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml | MAYBE 60177 |
| tpdb-8.0/TRS/Various_04/02.xml | MAYBE 161 |
| tpdb-8.0/TRS/Various_04/03.xml | MAYBE 210 |
| tpdb-8.0/TRS/Various_04/04.xml | MAYBE 8726 |
| tpdb-8.0/TRS/Various_04/05.xml | MAYBE 8426 |
| tpdb-8.0/TRS/Various_04/06.xml | n^0 - n^1 223 |
| tpdb-8.0/TRS/Various_04/07.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Various_04/08.xml | MAYBE 41527 |
| tpdb-8.0/TRS/Various_04/09.xml | n^0 - n^1 273 |
| tpdb-8.0/TRS/Various_04/10.xml | MAYBE 60120 |
| tpdb-8.0/TRS/Various_04/11.xml | MAYBE 690 |
| tpdb-8.0/TRS/Various_04/12.xml | MAYBE 60151 |
| tpdb-8.0/TRS/Various_04/13.xml | MAYBE 60153 |
| tpdb-8.0/TRS/Various_04/14.xml | MAYBE 60136 |
| tpdb-8.0/TRS/Various_04/15.xml | n^0 - n^3 1465 |
| tpdb-8.0/TRS/Various_04/18.xml | n^0 - n^2 14248 |
| tpdb-8.0/TRS/Various_04/19.xml | MAYBE 60149 |
| tpdb-8.0/TRS/Various_04/21.xml | MAYBE 60150 |
| tpdb-8.0/TRS/Various_04/22.xml | n^0 - n^1 128 |
| tpdb-8.0/TRS/Various_04/23.xml | n^0 - n^1 1128 |
| tpdb-8.0/TRS/Various_04/24.xml | MAYBE 60134 |
| tpdb-8.0/TRS/Various_04/25.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/Various_04/26.xml | n^0 - n^2 770 |
| tpdb-8.0/TRS/Various_04/27.xml | n^0 - n^1 91 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove1.xml | MAYBE 60187 |
| tpdb-8.0/TRS/Waldmann_06/jwaprove2.xml | MAYBE 60182 |
| tpdb-8.0/TRS/Waldmann_06/jwcime1.xml | MAYBE 60424 |
| tpdb-8.0/TRS/Waldmann_06/jwcime2.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb1.xml | MAYBE 10684 |
| tpdb-8.0/TRS/Waldmann_06/jwmatchb2.xml | MAYBE 6572 |
| tpdb-8.0/TRS/Waldmann_06/jwno1.xml | MAYBE 60144 |
| tpdb-8.0/TRS/Waldmann_06/jwno2.xml | MAYBE 60165 |
| tpdb-8.0/TRS/Waldmann_06/jwno3.xml | MAYBE 60167 |
| tpdb-8.0/TRS/Waldmann_06/jwno4.xml | MAYBE 19214 |
| tpdb-8.0/TRS/Waldmann_06/jwno5.xml | MAYBE 60170 |
| tpdb-8.0/TRS/Waldmann_06/jwno6.xml | MAYBE 17741 |
| tpdb-8.0/TRS/Waldmann_06/jwno7.xml | MAYBE 60187 |
| tpdb-8.0/TRS/Waldmann_06/jwno8.xml | MAYBE 60424 |
| tpdb-8.0/TRS/Waldmann_06/jwno9.xml | MAYBE 60418 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla1.xml | MAYBE 60372 |
| tpdb-8.0/TRS/Waldmann_06/jwteparla2.xml | MAYBE 60343 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa1.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/Waldmann_06/jwtpa2.xml | MAYBE 60460 |
| tpdb-8.0/TRS/Waldmann_06/jwttt.xml | MAYBE 60462 |
| tpdb-8.0/TRS/Zantema_04/z001.xml | MAYBE 60130 |
| 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 91 |
| tpdb-8.0/TRS/Zantema_05/jw03.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/Zantema_05/jw04.xml | n^0 - n^1 95 |
| 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 96 |
| tpdb-8.0/TRS/Zantema_05/jw07.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw08.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Zantema_05/jw09.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/jw11.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Zantema_05/jw12.xml | n^0 - n^1 91 |
| tpdb-8.0/TRS/Zantema_05/jw13.xml | n^0 - n^1 97 |
| tpdb-8.0/TRS/Zantema_05/jw14.xml | n^0 - n^1 95 |
| tpdb-8.0/TRS/Zantema_05/jw15.xml | n^0 - n^1 98 |
| 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 92 |
| tpdb-8.0/TRS/Zantema_05/jw18.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/Zantema_05/jw19.xml | n^0 - n^1 98 |
| tpdb-8.0/TRS/Zantema_05/jw20.xml | n^0 - n^1 96 |
| 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 96 |
| tpdb-8.0/TRS/Zantema_05/jw24.xml | n^0 - n^1 95 |
| tpdb-8.0/TRS/Zantema_05/jw25.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/Zantema_05/jw26.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/Zantema_05/jw27.xml | n^0 - n^1 95 |
| tpdb-8.0/TRS/Zantema_05/jw28.xml | n^0 - n^1 95 |
| tpdb-8.0/TRS/Zantema_05/jw29.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/Zantema_05/jw30.xml | n^0 - n^1 95 |
| tpdb-8.0/TRS/Zantema_05/jw31.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/Zantema_05/jw32.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Zantema_05/jw33.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/Zantema_05/jw34.xml | n^0 - n^1 96 |
| tpdb-8.0/TRS/Zantema_05/jw35.xml | n^0 - n^1 95 |
| 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 91 |
| 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 94 |
| tpdb-8.0/TRS/Zantema_05/jw40.xml | n^0 - n^1 94 |
| tpdb-8.0/TRS/Zantema_05/jw41.xml | n^0 - n^1 91 |
| tpdb-8.0/TRS/Zantema_05/jw42.xml | n^0 - n^1 92 |
| tpdb-8.0/TRS/Zantema_05/jw43.xml | n^0 - n^1 100 |
| 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 1150 |
| tpdb-8.0/TRS/Zantema_05/jw50.xml | n^0 - n^1 93 |
| tpdb-8.0/TRS/Zantema_05/z01.xml | MAYBE 60446 |
| tpdb-8.0/TRS/Zantema_05/z02.xml | n^0 - n^1 106 |
| tpdb-8.0/TRS/Zantema_05/z03.xml | n^0 - n^1 424 |
| tpdb-8.0/TRS/Zantema_05/z04.xml | MAYBE 60172 |
| tpdb-8.0/TRS/Zantema_05/z05.xml | MAYBE 60139 |
| tpdb-8.0/TRS/Zantema_05/z06.xml | MAYBE 60195 |
| tpdb-8.0/TRS/Zantema_05/z07.xml | MAYBE 60128 |
| tpdb-8.0/TRS/Zantema_05/z08.xml | MAYBE 60447 |
| tpdb-8.0/TRS/Zantema_05/z09.xml | MAYBE 60397 |
| tpdb-8.0/TRS/Zantema_05/z10.xml | MAYBE 8176 |
| tpdb-8.0/TRS/Zantema_05/z11.xml | MAYBE 60443 |
| tpdb-8.0/TRS/Zantema_05/z12.xml | MAYBE 60125 |
| tpdb-8.0/TRS/Zantema_05/z13.xml | MAYBE 60134 |
| tpdb-8.0/TRS/Zantema_05/z14.xml | MAYBE 60135 |
| tpdb-8.0/TRS/Zantema_05/z15.xml | MAYBE 60129 |
| tpdb-8.0/TRS/Zantema_05/z16.xml | MAYBE 60135 |
| tpdb-8.0/TRS/Zantema_05/z17.xml | MAYBE 60134 |
| tpdb-8.0/TRS/Zantema_05/z18.xml | MAYBE 60127 |
| tpdb-8.0/TRS/Zantema_05/z19.xml | MAYBE 60164 |
| tpdb-8.0/TRS/Zantema_05/z20.xml | MAYBE 60420 |
| tpdb-8.0/TRS/Zantema_05/z21.xml | MAYBE 60121 |
| tpdb-8.0/TRS/Zantema_05/z22.xml | MAYBE 60426 |
| tpdb-8.0/TRS/Zantema_05/z23.xml | MAYBE 60132 |
| tpdb-8.0/TRS/Zantema_05/z24.xml | MAYBE 60138 |
| tpdb-8.0/TRS/Zantema_05/z25.xml | MAYBE 60138 |
| tpdb-8.0/TRS/Zantema_05/z26.xml | MAYBE 60127 |
| tpdb-8.0/TRS/Zantema_05/z27.xml | MAYBE 274 |
| tpdb-8.0/TRS/Zantema_05/z28.xml | MAYBE 6092 |
| tpdb-8.0/TRS/Zantema_05/z29.xml | MAYBE 60168 |
| tpdb-8.0/TRS/Zantema_05/z30.xml | n^0 - n^1 169 | 294 |