[Termtools] Call for Complexity Related Problems

[Fabian Emmes]

Dear all,

regarding the significance of problems in the runtime
complexity categories of the tpdb, we made an interesting
observation: In many examples, all constructor symbols are
constants.

As a result, these examples have only finitely many basic
terms. This makes the analysis of asymptotic runtime
complexity bounds pointless: If all basic terms terminate,
we can conclude an upper rc bound of O(1).

Furthermore, other examples only consist of rules where each
lhs contains at least two defined symbols. As every basic
term contains exactly one defined symbol, no such rule is
applicable and we can conclude O(1) for those examples as
well.

The number of problems having these properties is quite
high. For example every applicative problem only has
constant constructors.

In the attachment you will find a list of problems in the
current revision of the tpdb, which I suggest to be removed
from the runtime complexity categories. Each filename is
commented with a list of reasons for removal. The meaning of
the comments is as follows:

- OnlyConstantConstructors: No constructor has arity > 0.
  There are only finitely many start terms.

- OnlyConstantDefinedSymbols: No defined symbol has arity >
  0. There are only finitely many start terms.

- NoBasicApplicableRule: No rule has less than two defined
  symbol in its lhs. Hence, no rule is applicable to any
  valid start term and we can conclude O(1).

Best regards,
Fabian
-- 
Fabian Emmes           mailto:emmes at informatik.rwth-aachen.de
LuFG Informatik 2      http://verify.rwth-aachen.de/emmes/
RWTH Aachen            phone: +49 241 80-21241
-------------- next part --------------
TRS/AG01/#3.21.xml [OnlyConstantConstructors]
TRS/AG01_innermost/#4.12a.xml [OnlyConstantConstructors]
TRS/AG01_innermost/#4.13.xml [OnlyConstantConstructors]
TRS/AG01_innermost/#4.15.xml [OnlyConstantConstructors]
TRS/AG01_innermost/#4.18.xml [NoBasicApplicableRule]
TRS/AG01_innermost/#4.20.xml [OnlyConstantConstructors]
TRS/AG01_innermost/#4.21.xml [OnlyConstantConstructors]
TRS/AG01_innermost/#4.3.xml [OnlyConstantConstructors]
TRS/AG01_innermost/#4.4.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/AG01_innermost/#4.5.xml [OnlyConstantConstructors]
TRS/AProVE_04/forward_instantiation.xml [OnlyConstantConstructors]
TRS/AProVE_04/forward_instantiation2.xml [OnlyConstantConstructors]
TRS/AProVE_04/improved_usable.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/AProVE_04/improved_usable2.xml [OnlyConstantConstructors]
TRS/AProVE_06/mapHard.xml [OnlyConstantConstructors]
TRS/AProVE_07/kabasci06.xml [OnlyConstantConstructors]
TRS/AProVE_07/thiemann35.xml [OnlyConstantConstructors]
TRS/AProVE_07/thiemann39.xml [OnlyConstantConstructors]
TRS/AotoYamada_05/001.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/AotoYamada_05/002.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/AotoYamada_05/003.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/AotoYamada_05/004.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/AotoYamada_05/005.xml [OnlyConstantConstructors]
TRS/AotoYamada_05/006.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/AotoYamada_05/007.xml [OnlyConstantConstructors]
TRS/AotoYamada_05/009.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/AotoYamada_05/010.xml [OnlyConstantConstructors]
TRS/AotoYamada_05/011.xml [OnlyConstantConstructors]
TRS/AotoYamada_05/012.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/AotoYamada_05/013.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/AotoYamada_05/014.xml [OnlyConstantConstructors]
TRS/AotoYamada_05/015.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/AotoYamada_05/016.xml [OnlyConstantConstructors]
TRS/AotoYamada_05/017.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/AotoYamada_05/019.xml [OnlyConstantConstructors]
TRS/AotoYamada_05/020.xml [OnlyConstantConstructors]
TRS/AotoYamada_05/021.xml [OnlyConstantConstructors]
TRS/AotoYamada_05/022.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/AotoYamada_05/023.xml [OnlyConstantConstructors]
TRS/AotoYamada_05/024.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/AotoYamada_05/025.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/AotoYamada_05/026.xml [OnlyConstantConstructors]
TRS/AotoYamada_05/027.xml [OnlyConstantConstructors]
TRS/AotoYamada_05/028.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/AotoYamada_05/Ex1SimplyTyped.xml [OnlyConstantConstructors]
TRS/AotoYamada_05/Ex5TermProof.xml [OnlyConstantConstructors]
TRS/Applicative_05/BTreeMember.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/Ex10Functional.xml [OnlyConstantConstructors]
TRS/Applicative_05/Ex2PrimRec.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/Ex2_6_1Composition.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/Ex2_8_1ConstSubstFix.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/Ex3Lists.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/Ex4MapList.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/Ex5Folding.xml [OnlyConstantConstructors]
TRS/Applicative_05/Ex5Sorting.xml [OnlyConstantConstructors]
TRS/Applicative_05/Ex6Folding.xml [OnlyConstantConstructors]
TRS/Applicative_05/Ex6Recursor.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/Ex6_11.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/Ex7OrdinalRec.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/Ex7Sorting.xml [OnlyConstantConstructors]
TRS/Applicative_05/Ex7_9.xml [OnlyConstantConstructors]
TRS/Applicative_05/Ex8Polymorphic.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/Ex9Maps.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/Hamming.xml [OnlyConstantConstructors]
TRS/Applicative_05/ReverseLastInit.xml [OnlyConstantConstructors]
TRS/Applicative_05/TakeDropWhile.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/TreeFlatten.xml [OnlyConstantConstructors]
TRS/Applicative_05/TreeHeight.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/TreeLevels.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/TreeMap.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/TreeSize.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/TypeEx1.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/TypeEx3.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/mapDivMinus.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/mapDivMinusHard.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/nonTermF.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_05/termMonTypes.xml [OnlyConstantConstructors]
TRS/Applicative_AG01_innermost/#4.10.xml [OnlyConstantConstructors]
TRS/Applicative_AG01_innermost/#4.13.xml [OnlyConstantConstructors]
TRS/Applicative_AG01_innermost/#4.15.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_AG01_innermost/#4.17.xml [OnlyConstantConstructors]
TRS/Applicative_AG01_innermost/#4.19.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_AG01_innermost/#4.2.xml [OnlyConstantConstructors]
TRS/Applicative_AG01_innermost/#4.22.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_AG01_innermost/#4.24.xml [OnlyConstantConstructors]
TRS/Applicative_AG01_innermost/#4.26.xml [OnlyConstantConstructors]
TRS/Applicative_AG01_innermost/#4.28.xml [OnlyConstantConstructors]
TRS/Applicative_AG01_innermost/#4.3.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_AG01_innermost/#4.34.xml [OnlyConstantConstructors]
TRS/Applicative_AG01_innermost/#4.36.xml [OnlyConstantConstructors]
TRS/Applicative_AG01_innermost/#4.5.xml [OnlyConstantConstructors]
TRS/Applicative_AG01_innermost/#4.7.xml [OnlyConstantConstructors]
TRS/Applicative_AG01_innermost/#4.8.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/#3.10.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/#3.13.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/#3.16.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/#3.18.xml [OnlyConstantConstructors]
TRS/Applicative_first_order_05/#3.2.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/#3.22.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/#3.25.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/#3.27.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/#3.32.xml [OnlyConstantConstructors]
TRS/Applicative_first_order_05/#3.36.xml [OnlyConstantConstructors]
TRS/Applicative_first_order_05/#3.38.xml [OnlyConstantConstructors]
TRS/Applicative_first_order_05/#3.40.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/#3.45.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/#3.48.xml [OnlyConstantConstructors]
TRS/Applicative_first_order_05/#3.52.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/#3.55.xml [OnlyConstantConstructors]
TRS/Applicative_first_order_05/#3.57.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/#3.6.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/#3.8.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/01.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/02.xml [OnlyConstantConstructors]
TRS/Applicative_first_order_05/06.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/08.xml [OnlyConstantConstructors]
TRS/Applicative_first_order_05/11.xml [OnlyConstantConstructors]
TRS/Applicative_first_order_05/12.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/13.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/17.xml [OnlyConstantConstructors]
TRS/Applicative_first_order_05/18.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/21.xml [OnlyConstantConstructors]
TRS/Applicative_first_order_05/29.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/30.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/31.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/33.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/hydra.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/minsort.xml [OnlyConstantConstructors]
TRS/Applicative_first_order_05/motivation.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Applicative_first_order_05/perfect.xml [OnlyConstantConstructors]
TRS/Applicative_first_order_05/perfect2.xml [OnlyConstantConstructors]
TRS/Bouchare_06/01.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Bouchare_06/02.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Bouchare_06/03.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Bouchare_06/04.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Bouchare_06/05.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Bouchare_06/06.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Bouchare_06/07.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Bouchare_06/08.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Bouchare_06/09.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Bouchare_06/10.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Bouchare_06/11.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Bouchare_06/13.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Bouchare_06/14.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Bouchare_06/15.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Bouchare_06/16.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Bouchare_06/17.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Bouchare_06/18.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/CiME_04/boolean_rings.xml [OnlyConstantConstructors]
TRS/Der95/01.xml [OnlyConstantConstructors]
TRS/Der95/02.xml [OnlyConstantConstructors]
TRS/Der95/03.xml [NoBasicApplicableRule]
TRS/Der95/04.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Der95/09.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Der95/13.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Der95/17.xml [OnlyConstantConstructors]
TRS/Der95/28.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Der95/30.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Endrullis_06/labeling.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Endrullis_06/linear1.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Endrullis_06/linear2.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Endrullis_06/pair2hard.xml [NoBasicApplicableRule]
TRS/Endrullis_06/pair2simple1.xml [NoBasicApplicableRule]
TRS/Endrullis_06/pair2simple2.xml [NoBasicApplicableRule]
TRS/Endrullis_06/pair3hard.xml [NoBasicApplicableRule]
TRS/Endrullis_06/pair3rotate.xml [NoBasicApplicableRule]
TRS/Endrullis_06/pair3swap.xml [NoBasicApplicableRule]
TRS/Endrullis_06/quadruple1.xml [NoBasicApplicableRule]
TRS/Endrullis_06/quadruple2.xml [NoBasicApplicableRule]
TRS/Gebhardt_06/01.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Gebhardt_06/02.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Gebhardt_06/03.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Gebhardt_06/04.xml [NoBasicApplicableRule]
TRS/Gebhardt_06/05.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Gebhardt_06/06.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Gebhardt_06/07.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Gebhardt_06/08.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Gebhardt_06/09.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Gebhardt_06/10.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Gebhardt_06/11.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Gebhardt_06/12.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Gebhardt_06/13.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Gebhardt_06/14.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Gebhardt_06/15.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Gebhardt_06/16.xml [NoBasicApplicableRule]
TRS/Gebhardt_06/17.xml [NoBasicApplicableRule]
TRS/Gebhardt_06/18.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Gebhardt_06/19.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Gebhardt_06/20.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/HirokawaMiddeldorp_04/n002.xml [OnlyConstantConstructors]
TRS/HirokawaMiddeldorp_04/n003.xml [OnlyConstantConstructors]
TRS/HirokawaMiddeldorp_04/n004.xml [OnlyConstantConstructors]
TRS/HirokawaMiddeldorp_04/n005.xml [OnlyConstantConstructors]
TRS/HirokawaMiddeldorp_04/n008.xml [OnlyConstantConstructors]
TRS/HirokawaMiddeldorp_04/t000.xml [OnlyConstantConstructors]
TRS/HirokawaMiddeldorp_04/t005.xml [OnlyConstantConstructors]
TRS/HirokawaMiddeldorp_04/t006.xml [NoBasicApplicableRule]
TRS/HirokawaMiddeldorp_04/t007.xml [OnlyConstantConstructors]
TRS/HirokawaMiddeldorp_04/t008.xml [OnlyConstantConstructors]
TRS/HirokawaMiddeldorp_04/t010.xml [OnlyConstantConstructors]
TRS/Mixed_SRS/01.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_SRS/02-oppelt08.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_SRS/02.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_SRS/03-oppelt08.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_SRS/03.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_SRS/04-oppelt08.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_SRS/04.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_SRS/05-oppelt08.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_SRS/05.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_SRS/06.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_SRS/08.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_SRS/09.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_SRS/2.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_SRS/3.xml [NoBasicApplicableRule]
TRS/Mixed_SRS/4.xml [NoBasicApplicableRule]
TRS/Mixed_SRS/s6.xml [OnlyConstantConstructors]
TRS/Mixed_SRS/touzet.xml [OnlyConstantConstructors]
TRS/Mixed_TRS/1.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_TRS/2.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_TRS/3.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_TRS/4.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_TRS/5.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_TRS/6.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_TRS/7.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_TRS/beans.xml [NoBasicApplicableRule]
TRS/Mixed_TRS/motivation.xml [NoBasicApplicableRule]
TRS/Mixed_TRS/while2.xml [NoBasicApplicableRule]
TRS/Mixed_innermost/bn111.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Mixed_innermost/gkg.xml [OnlyConstantConstructors]
TRS/Mixed_innermost/innermost1.xml [OnlyConstantConstructors]
TRS/Mixed_innermost/innermost2.xml [OnlyConstantConstructors]
TRS/Mixed_innermost/innermost3.xml [OnlyConstantConstructors]
TRS/Mixed_innermost/n001.xml [NoBasicApplicableRule]
TRS/Mixed_innermost/test75.xml [OnlyConstantConstructors]
TRS/Mixed_innermost/test833.xml [OnlyConstantConstructors]
TRS/Mixed_innermost/test9.xml [OnlyConstantConstructors]
TRS/Mixed_innermost/toyama.xml [OnlyConstantConstructors]
TRS/Rubio_04/aoto.xml [NoBasicApplicableRule]
TRS/Rubio_04/bn129.xml [NoBasicApplicableRule]
TRS/Rubio_04/lescanne.xml [OnlyConstantConstructors]
TRS/Rubio_04/lindau.xml [OnlyConstantConstructors]
TRS/Rubio_04/mfp90b.xml [OnlyConstantConstructors]
TRS/SK90/2.01.xml [OnlyConstantConstructors]
TRS/SK90/2.04.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/SK90/2.05.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/SK90/2.06.xml [NoBasicApplicableRule]
TRS/SK90/2.08.xml [OnlyConstantConstructors]
TRS/SK90/2.10.xml [OnlyConstantConstructors]
TRS/SK90/2.32.xml [OnlyConstantConstructors]
TRS/SK90/2.33.xml [OnlyConstantConstructors]
TRS/SK90/2.34.xml [OnlyConstantConstructors]
TRS/SK90/2.35.xml [OnlyConstantConstructors]
TRS/SK90/2.46.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/SK90/2.56.xml [OnlyConstantConstructors]
TRS/SK90/2.57.xml [NoBasicApplicableRule]
TRS/SK90/2.58.xml [OnlyConstantConstructors]
TRS/SK90/2.60.xml [NoBasicApplicableRule]
TRS/SK90/4.01.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/SK90/4.02.xml [OnlyConstantConstructors]
TRS/SK90/4.03.xml [OnlyConstantConstructors]
TRS/SK90/4.04.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/SK90/4.08.xml [OnlyConstantConstructors]
TRS/SK90/4.11.xml [OnlyConstantConstructors]
TRS/SK90/4.14.xml [OnlyConstantConstructors]
TRS/SK90/4.15.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/SK90/4.19.xml [NoBasicApplicableRule]
TRS/SK90/4.20.xml [OnlyConstantConstructors]
TRS/SK90/4.21.xml [OnlyConstantConstructors]
TRS/SK90/4.23.xml [OnlyConstantConstructors]
TRS/SK90/4.32.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/SK90/4.33.xml [NoBasicApplicableRule]
TRS/SK90/4.36.xml [NoBasicApplicableRule]
TRS/SK90/4.37.xml [NoBasicApplicableRule]
TRS/SK90/4.39.xml [NoBasicApplicableRule]
TRS/SK90/4.40.xml [OnlyConstantConstructors]
TRS/SK90/4.41.xml [OnlyConstantConstructors]
TRS/SK90/4.44.xml [OnlyConstantConstructors]
TRS/SK90/4.46.xml [OnlyConstantConstructors]
TRS/SK90/4.49.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/SK90/4.50.xml [OnlyConstantConstructors]
TRS/SK90/4.52.xml [OnlyConstantConstructors]
TRS/SK90/4.55.xml [OnlyConstantConstructors]
TRS/SK90/4.56.xml [OnlyConstantConstructors]
TRS/Secret_05_SRS/aprove4.xml [OnlyConstantConstructors]
TRS/Secret_05_SRS/jambox2.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_05_SRS/jambox4.xml [OnlyConstantConstructors]
TRS/Secret_05_SRS/matchbox1.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_05_SRS/torpa2.xml [NoBasicApplicableRule]
TRS/Secret_05_TRS/aprove1.xml [OnlyConstantConstructors]
TRS/Secret_05_TRS/cime1.xml [NoBasicApplicableRule]
TRS/Secret_05_TRS/matchbox1.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_05_TRS/matchbox2.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_05_TRS/teparla1.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_05_TRS/teparla2.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_05_TRS/teparla3.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_05_TRS/ttt2.xml [OnlyConstantConstructors]
TRS/Secret_06_SRS/1.xml [OnlyConstantConstructors]
TRS/Secret_06_SRS/2-matchbox.xml [NoBasicApplicableRule]
TRS/Secret_06_SRS/2.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_SRS/3-matchbox.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_SRS/3.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_SRS/5.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_SRS/6.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_SRS/8.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_SRS/multum1.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_SRS/multum2.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_SRS/multum3.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_SRS/multum4.xml [NoBasicApplicableRule]
TRS/Secret_06_SRS/multum5.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_SRS/multum6.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_SRS/secr1.xml [OnlyConstantConstructors]
TRS/Secret_06_SRS/secr10.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_SRS/secr2.xml [OnlyConstantConstructors]
TRS/Secret_06_SRS/secr6.xml [OnlyConstantConstructors]
TRS/Secret_06_SRS/secr7.xml [OnlyConstantConstructors]
TRS/Secret_06_SRS/secr9.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_TRS/2.xml [OnlyConstantConstructors]
TRS/Secret_06_TRS/3.xml [OnlyConstantConstructors]
TRS/Secret_06_TRS/5.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_TRS/7.xml [NoBasicApplicableRule]
TRS/Secret_06_TRS/8.xml [OnlyConstantConstructors]
TRS/Secret_06_TRS/9.xml [OnlyConstantConstructors]
TRS/Secret_06_TRS/cime1.xml [OnlyConstantConstructors]
TRS/Secret_06_TRS/gen-10.xml [NoBasicApplicableRule]
TRS/Secret_06_TRS/gen-14.xml [NoBasicApplicableRule]
TRS/Secret_06_TRS/gen-15.xml [OnlyConstantConstructors]
TRS/Secret_06_TRS/gen-18.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_TRS/gen-22.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_TRS/gen-25.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_TRS/gen-9.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_TRS/tpa01.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_TRS/tpa02.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_06_TRS/tpa03.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_07_SRS/dj.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_07_SRS/x04.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_07_SRS/x06.xml [OnlyConstantConstructors]
TRS/Secret_07_SRS/x07.xml [OnlyConstantConstructors]
TRS/Secret_07_SRS/x08.xml [OnlyConstantConstructors]
TRS/Secret_07_SRS/x09.xml [OnlyConstantConstructors]
TRS/Secret_07_TRS/1.xml [OnlyConstantConstructors]
TRS/Secret_07_TRS/2.xml [OnlyConstantConstructors]
TRS/Secret_07_TRS/4.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_07_TRS/5.xml [OnlyConstantConstructors]
TRS/Secret_07_TRS/7.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Secret_07_TRS/secret2.xml [OnlyConstantConstructors]
TRS/Strategy_removed_AG01/#4.12a.xml [OnlyConstantConstructors]
TRS/Strategy_removed_AG01/#4.13.xml [OnlyConstantConstructors]
TRS/Strategy_removed_AG01/#4.15.xml [OnlyConstantConstructors]
TRS/Strategy_removed_AG01/#4.18.xml [NoBasicApplicableRule]
TRS/Strategy_removed_AG01/#4.20.xml [OnlyConstantConstructors]
TRS/Strategy_removed_AG01/#4.21.xml [OnlyConstantConstructors]
TRS/Strategy_removed_AG01/#4.3.xml [OnlyConstantConstructors]
TRS/Strategy_removed_AG01/#4.4.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Strategy_removed_CSR_05/Ex1_GM99.xml [OnlyConstantConstructors]
TRS/Strategy_removed_CSR_05/Ex1_Zan97.xml [OnlyConstantConstructors]
TRS/Strategy_removed_CSR_05/Ex24_GM04.xml [OnlyConstantConstructors]
TRS/Strategy_removed_CSR_05/Ex5_Zan97.xml [OnlyConstantConstructors]
TRS/Strategy_removed_mixed_05/bn111.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Strategy_removed_mixed_05/ex1.xml [OnlyConstantConstructors]
TRS/Strategy_removed_mixed_05/ex5.xml [OnlyConstantConstructors]
TRS/Strategy_removed_mixed_05/gkg.xml [OnlyConstantConstructors]
TRS/Strategy_removed_mixed_05/n001.xml [NoBasicApplicableRule]
TRS/Strategy_removed_mixed_05/test75.xml [OnlyConstantConstructors]
TRS/Strategy_removed_mixed_05/test9.xml [OnlyConstantConstructors]
TRS/Strategy_removed_mixed_05/toyama.xml [OnlyConstantConstructors]
TRS/Trafo_06/dup01.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Trafo_06/dup05.xml [NoBasicApplicableRule]
TRS/Trafo_06/dup06.xml [NoBasicApplicableRule]
TRS/Trafo_06/dup07.xml [NoBasicApplicableRule]
TRS/Trafo_06/dup08.xml [NoBasicApplicableRule]
TRS/Trafo_06/dup09.xml [NoBasicApplicableRule]
TRS/Trafo_06/dup10.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Trafo_06/dup11.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Trafo_06/dup12.xml [NoBasicApplicableRule]
TRS/Trafo_06/dup13.xml [NoBasicApplicableRule]
TRS/Trafo_06/dup14.xml [NoBasicApplicableRule]
TRS/Trafo_06/dup15.xml [NoBasicApplicableRule]
TRS/Trafo_06/dup16.xml [NoBasicApplicableRule]
TRS/Trafo_06/dup17.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Trafo_06/hom01.xml [NoBasicApplicableRule]
TRS/Trafo_06/hom02.xml [OnlyConstantConstructors]
TRS/Trafo_06/hom03.xml [NoBasicApplicableRule]
TRS/Trafo_06/un02.xml [NoBasicApplicableRule]
TRS/Trafo_06/un04.xml [NoBasicApplicableRule]
TRS/Trafo_06/un05.xml [NoBasicApplicableRule]
TRS/Trafo_06/un06.xml [NoBasicApplicableRule]
TRS/Trafo_06/un07.xml [NoBasicApplicableRule]
TRS/Trafo_06/un08.xml [NoBasicApplicableRule]
TRS/Trafo_06/un09.xml [NoBasicApplicableRule]
TRS/Trafo_06/un10.xml [NoBasicApplicableRule]
TRS/Trafo_06/un11.xml [NoBasicApplicableRule]
TRS/Trafo_06/un12.xml [NoBasicApplicableRule]
TRS/Trafo_06/un13.xml [NoBasicApplicableRule]
TRS/Trafo_06/un14.xml [NoBasicApplicableRule]
TRS/Trafo_06/un15.xml [NoBasicApplicableRule]
TRS/Trafo_06/un16.xml [NoBasicApplicableRule]
TRS/Trafo_06/un17.xml [NoBasicApplicableRule]
TRS/Trafo_06/un18.xml [NoBasicApplicableRule]
TRS/Transformed_CSR_04/Ex14_AEGL02_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex14_Luc06_FR.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex14_Luc06_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex14_Luc06_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex15_Luc06_L.xml [OnlyConstantConstructors,OnlyConstantDefinedSymbols]
TRS/Transformed_CSR_04/Ex15_Luc06_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex15_Luc98_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex15_Luc98_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex16_Luc06_FR.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex16_Luc06_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex16_Luc06_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex18_Luc06_L.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Transformed_CSR_04/Ex18_Luc06_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Transformed_CSR_04/Ex1_GL02a_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex1_GL02a_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex1_GM03_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex1_GM99_FR.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex1_GM99_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex1_GM99_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex1_Luc02b_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex1_Luc04b_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex1_Zan97_FR.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex1_Zan97_L.xml [OnlyConstantConstructors,OnlyConstantDefinedSymbols]
TRS/Transformed_CSR_04/Ex1_Zan97_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex23_Luc06_L.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Transformed_CSR_04/Ex23_Luc06_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex24_GM04_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex24_GM04_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex24_Luc06_FR.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex24_Luc06_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex24_Luc06_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex25_Luc06_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex25_Luc06_iGM.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Transformed_CSR_04/Ex26_Luc03b_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex2_Luc02a_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex2_Luc03b_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex3_2_Luc97_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex3_2_Luc97_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex49_GM04_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex4_Zan97_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex5_Zan97_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex5_Zan97_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Transformed_CSR_04/Ex6_GM04_L.xml [OnlyConstantConstructors,OnlyConstantDefinedSymbols]
TRS/Transformed_CSR_04/Ex6_GM04_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex6_Luc98_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex7_BLR02_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex8_BLR02_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex9_BLR02_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex9_Luc04_FR.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex9_Luc04_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex9_Luc04_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex9_Luc06_FR.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/Ex9_Luc06_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/ExConc_Zan97_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/ExConc_Zan97_iGM.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Transformed_CSR_04/ExIntrod_GM01_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/ExIntrod_GM04_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/ExIntrod_GM04_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/ExIntrod_GM99_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/ExIntrod_Zan97_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/ExProp7_Luc06_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/MYNAT_complete_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/MYNAT_complete_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/MYNAT_nokinds_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/MYNAT_nosorts_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/OvConsOS_complete_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PALINDROME_complete-noand_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PALINDROME_complete_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PALINDROME_complete_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PALINDROME_complete_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PALINDROME_nokinds_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PALINDROME_nosorts_FR.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PALINDROME_nosorts_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PEANO_complete_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PEANO_complete_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PEANO_nokinds_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PEANO_nosorts_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex14_AEGL02_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex14_Luc06_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex15_Luc06_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex15_Luc98_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex16_Luc06_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex18_Luc06_L.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Transformed_CSR_innermost_04/Ex18_Luc06_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex1_2_AEL03_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex1_2_Luc02c_iGM.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Transformed_CSR_innermost_04/Ex1_GL02a_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex1_GM03_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex1_GM99_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex1_Luc02b_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex1_Luc04b_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex1_Zan97_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex23_Luc06_L.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Transformed_CSR_innermost_04/Ex23_Luc06_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex24_GM04_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex24_Luc06_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex25_Luc06_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex25_Luc06_iGM.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Transformed_CSR_innermost_04/Ex26_Luc03b_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex2_Luc02a_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex2_Luc03b_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex3_12_Luc96a_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex3_2_Luc97_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex3_3_25_Bor03_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex49_GM04_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex4_4_Luc96b_iGM.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Transformed_CSR_innermost_04/Ex4_7_15_Bor03_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex4_7_37_Bor03_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex4_7_56_Bor03_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex4_7_77_Bor03_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex4_DLMMU04_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex4_Zan97_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex5_7_Luc97_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex5_DLMMU04_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex5_Zan97_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex6_15_AEL02_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex6_9_Luc02c_iGM.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Transformed_CSR_innermost_04/Ex6_GM04_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex6_Luc98_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex7_BLR02_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex8_BLR02_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex9_BLR02_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex9_Luc04_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/Ex9_Luc06_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/ExAppendixB_AEL03_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/ExConc_Zan97_L.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/ExConc_Zan97_iGM.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Transformed_CSR_innermost_04/ExIntrod_GM01_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/ExIntrod_GM04_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/ExIntrod_GM99_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/ExIntrod_Zan97_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/ExProp7_Luc06_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/ExSec11_1_Luc02a_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/ExSec4_2_DLMMU04_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/LISTUTILITIES_complete_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nokinds_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/LISTUTILITIES_nosorts_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_complete_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nokinds_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/LengthOfFiniteLists_nosorts_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/MYNAT_complete_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/MYNAT_complete_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/MYNAT_nokinds_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/MYNAT_nosorts_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/OvConsOS_complete_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/OvConsOS_complete_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/OvConsOS_nokinds_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/OvConsOS_nosorts_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/PALINDROME_complete_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/PALINDROME_complete_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/PALINDROME_nokinds_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/PALINDROME_nosorts_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/PEANO_complete_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/PEANO_complete_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/PEANO_nokinds_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/PEANO_nokinds_noand_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/PEANO_nosorts_iGM.xml [OnlyConstantConstructors]
TRS/Transformed_CSR_innermost_04/PEANO_nosorts_noand_iGM.xml [OnlyConstantConstructors]
TRS/Various_04/02.xml [OnlyConstantConstructors]
TRS/Various_04/03.xml [OnlyConstantConstructors]
TRS/Various_04/05.xml [OnlyConstantConstructors]
TRS/Various_04/06.xml [OnlyConstantConstructors]
TRS/Various_04/07.xml [OnlyConstantConstructors]
TRS/Various_04/09.xml [OnlyConstantConstructors]
TRS/Various_04/19.xml [OnlyConstantConstructors]
TRS/Various_04/21.xml [OnlyConstantConstructors]
TRS/Various_04/25.xml [OnlyConstantConstructors]
TRS/Various_04/26.xml [OnlyConstantConstructors]
TRS/Various_04/27.xml [OnlyConstantConstructors]
TRS/Waldmann_06/jwaprove1.xml [NoBasicApplicableRule]
TRS/Waldmann_06/jwaprove2.xml [NoBasicApplicableRule]
TRS/Waldmann_06/jwcime1.xml [NoBasicApplicableRule]
TRS/Waldmann_06/jwcime2.xml [NoBasicApplicableRule]
TRS/Waldmann_06/jwno2.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_06/jwno3.xml [NoBasicApplicableRule]
TRS/Waldmann_06/jwno5.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_06/jwno7.xml [NoBasicApplicableRule]
TRS/Waldmann_06/jwno8.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_06/jwno9.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_06/jwteparla1.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_06/jwteparla2.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_06/jwtpa1.xml [NoBasicApplicableRule]
TRS/Waldmann_06/jwtpa2.xml [NoBasicApplicableRule]
TRS/Waldmann_06/jwttt.xml [NoBasicApplicableRule]
TRS/Waldmann_06_SRS/jw1.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_06_SRS/jw4.xml [NoBasicApplicableRule]
TRS/Waldmann_06_SRS/jw5.xml [NoBasicApplicableRule]
TRS/Waldmann_06_SRS/sym-1.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_06_SRS/sym-2.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_06_SRS/sym-4.xml [OnlyConstantConstructors]
TRS/Waldmann_06_SRS/sym-5.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_06_SRS/sym-6.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_06_SRS/uni-1.xml [OnlyConstantConstructors]
TRS/Waldmann_06_SRS/uni-2.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_06_SRS/uni-3.xml [OnlyConstantConstructors]
TRS/Waldmann_06_SRS/uni-4.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_06_SRS/uni-5.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_06_SRS/uni-6.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_06_SRS/uni-7.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_06_SRS/z086-variant.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_07_size11/size-11-alpha-2-num-3.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size11/size-11-alpha-2-num-4.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size11/size-11-alpha-3-num-13.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size11/size-11-alpha-3-num-17.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size11/size-11-alpha-3-num-18.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size11/size-11-alpha-3-num-19.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size11/size-11-alpha-3-num-20.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size11/size-11-alpha-3-num-21.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size11/size-11-alpha-3-num-3.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-2-num-1.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-2-num-10.xml [NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-2-num-11.xml [NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-2-num-12.xml [NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-2-num-14.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-2-num-15.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-2-num-16.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-2-num-19.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-2-num-20.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-2-num-21.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-2-num-22.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-2-num-3.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-2-num-4.xml [NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-2-num-5.xml [NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-2-num-7.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-3-num-1.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-100.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-101.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-134.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-135.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-140.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-146.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-149.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-152.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-159.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-160.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-163.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-164.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-165.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-168.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-176.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-177.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-178.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-180.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-181.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-186.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-19.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-190.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-191.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-194.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-195.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-20.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-200.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-201.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-202.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-203.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-204.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-206.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-207.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-209.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-210.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-213.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-215.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-219.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-220.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-221.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-223.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-225.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-226.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-23.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-239.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-241.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-255.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-257.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-265.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-273.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-279.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-281.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-282.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-283.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-284.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-285.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-287.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-288.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-3.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-31.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-343.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-350.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-351.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-352.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-389.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-392.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-399.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-412.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-413.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-414.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-415.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-416.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-417.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-418.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-427.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-44.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-45.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-452.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-453.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-454.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-455.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-460.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-461.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-462.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-467.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-468.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-470.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-3-num-474.xml [NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-3-num-475.xml [NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-3-num-478.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-3-num-479.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-3-num-484.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-3-num-493.xml [NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-3-num-494.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-3-num-495.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-3-num-498.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-3-num-499.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-3-num-503.xml [NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-3-num-507.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-3-num-51.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-52.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-526.xml [NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-3-num-568.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Waldmann_07_size12/size-12-alpha-3-num-61.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-70.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-74.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-76.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-82.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-90.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-94.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-95.xml [OnlyConstantConstructors]
TRS/Waldmann_07_size12/size-12-alpha-3-num-99.xml [OnlyConstantConstructors]
TRS/Zantema_04/z001.xml [NoBasicApplicableRule]
TRS/Zantema_04/z006.xml [NoBasicApplicableRule]
TRS/Zantema_04/z007.xml [NoBasicApplicableRule]
TRS/Zantema_04/z011.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z012.xml [OnlyConstantConstructors]
TRS/Zantema_04/z015.xml [NoBasicApplicableRule]
TRS/Zantema_04/z019.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z021.xml [NoBasicApplicableRule]
TRS/Zantema_04/z022.xml [NoBasicApplicableRule]
TRS/Zantema_04/z023.xml [NoBasicApplicableRule]
TRS/Zantema_04/z024.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z025.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z027.xml [NoBasicApplicableRule]
TRS/Zantema_04/z028.xml [NoBasicApplicableRule]
TRS/Zantema_04/z029.xml [NoBasicApplicableRule]
TRS/Zantema_04/z030.xml [NoBasicApplicableRule]
TRS/Zantema_04/z031.xml [NoBasicApplicableRule]
TRS/Zantema_04/z032.xml [NoBasicApplicableRule]
TRS/Zantema_04/z033.xml [NoBasicApplicableRule]
TRS/Zantema_04/z034.xml [NoBasicApplicableRule]
TRS/Zantema_04/z035.xml [NoBasicApplicableRule]
TRS/Zantema_04/z036.xml [NoBasicApplicableRule]
TRS/Zantema_04/z037.xml [NoBasicApplicableRule]
TRS/Zantema_04/z038.xml [NoBasicApplicableRule]
TRS/Zantema_04/z039.xml [NoBasicApplicableRule]
TRS/Zantema_04/z040.xml [NoBasicApplicableRule]
TRS/Zantema_04/z041.xml [NoBasicApplicableRule]
TRS/Zantema_04/z048.xml [NoBasicApplicableRule]
TRS/Zantema_04/z049.xml [NoBasicApplicableRule]
TRS/Zantema_04/z050.xml [NoBasicApplicableRule]
TRS/Zantema_04/z051.xml [NoBasicApplicableRule]
TRS/Zantema_04/z052.xml [NoBasicApplicableRule]
TRS/Zantema_04/z053.xml [NoBasicApplicableRule]
TRS/Zantema_04/z054.xml [NoBasicApplicableRule]
TRS/Zantema_04/z055.xml [NoBasicApplicableRule]
TRS/Zantema_04/z056.xml [NoBasicApplicableRule]
TRS/Zantema_04/z057.xml [NoBasicApplicableRule]
TRS/Zantema_04/z058.xml [NoBasicApplicableRule]
TRS/Zantema_04/z059.xml [NoBasicApplicableRule]
TRS/Zantema_04/z060.xml [NoBasicApplicableRule]
TRS/Zantema_04/z061.xml [NoBasicApplicableRule]
TRS/Zantema_04/z062.xml [NoBasicApplicableRule]
TRS/Zantema_04/z063.xml [NoBasicApplicableRule]
TRS/Zantema_04/z064.xml [NoBasicApplicableRule]
TRS/Zantema_04/z066.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z067.xml [OnlyConstantConstructors]
TRS/Zantema_04/z068.xml [OnlyConstantConstructors]
TRS/Zantema_04/z069.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z070.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z071.xml [OnlyConstantConstructors]
TRS/Zantema_04/z084.xml [OnlyConstantConstructors]
TRS/Zantema_04/z085.xml [OnlyConstantConstructors]
TRS/Zantema_04/z086.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z087.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z088.xml [NoBasicApplicableRule]
TRS/Zantema_04/z089.xml [NoBasicApplicableRule]
TRS/Zantema_04/z093.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z095.xml [NoBasicApplicableRule]
TRS/Zantema_04/z096.xml [NoBasicApplicableRule]
TRS/Zantema_04/z097.xml [NoBasicApplicableRule]
TRS/Zantema_04/z098.xml [NoBasicApplicableRule]
TRS/Zantema_04/z101.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z102.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z104.xml [OnlyConstantConstructors]
TRS/Zantema_04/z108.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z109.xml [OnlyConstantConstructors]
TRS/Zantema_04/z110.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z112.xml [OnlyConstantConstructors]
TRS/Zantema_04/z113.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z115.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z116.xml [OnlyConstantConstructors]
TRS/Zantema_04/z119.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z121.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z122.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z126.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z127.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_04/z128.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw01.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw02.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw03.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw04.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw05.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw06.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw07.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw08.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw09.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw11.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw12.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw13.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw14.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw15.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw16.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw17.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw18.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw19.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw20.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw21.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw22.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw23.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw24.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw25.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw26.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw27.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw28.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw29.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw30.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw31.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw32.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw33.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw34.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw35.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw36.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw37.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw38.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw39.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw40.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw41.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw42.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw43.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw44.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw47.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/jw50.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/z01.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/z02.xml [OnlyConstantConstructors]
TRS/Zantema_05/z03.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/z04.xml [OnlyConstantConstructors]
TRS/Zantema_05/z05.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/z06.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/z07.xml [OnlyConstantConstructors]
TRS/Zantema_05/z08.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/z09.xml [OnlyConstantConstructors]
TRS/Zantema_05/z11.xml [OnlyConstantConstructors]
TRS/Zantema_05/z19.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/z20.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/z21.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/z22.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/z25.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_05/z29.xml [OnlyConstantConstructors]
TRS/Zantema_05/z30.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_06/11.xml [NoBasicApplicableRule]
TRS/Zantema_06/12.xml [NoBasicApplicableRule]
TRS/Zantema_06/13.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_06/14.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_06/16.xml [OnlyConstantConstructors]
TRS/Zantema_06/17.xml [NoBasicApplicableRule]
TRS/Zantema_06/18.xml [NoBasicApplicableRule]
TRS/Zantema_06/abc.xml [OnlyConstantConstructors]
TRS/Zantema_06/beans4.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_06/beans5.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/Zantema_06/beans7.xml [OnlyConstantConstructors]
TRS/Zantema_06/loop2.xml [OnlyConstantConstructors,NoBasicApplicableRule]
TRS/TCT_09/ackhofbauer.xml [OnlyConstantConstructors]
TRS/TCT_09/ackhofbauernonsimp.xml [OnlyConstantConstructors]
TRS/TCT_09/z86.xml [OnlyConstantConstructors,NoBasicApplicableRule]