Unifying the Knuth-Bendix, Recursive Path and Polynomial Orders

This page provides information of experiments in this paper.
Results are also available in the excel file.

Please choose experiment mode:

Summary

counting...

Details

Problem TC2011 POLOs POLOsm KBO LPO KBO+LPO WPOs WPOs+ WPOm WPOsm+ WPOsm
AG01/3.10.trs 0.19 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.12.trs 0.07 0.01 0.01 0.02 0.03 0.02 0.01 0.03 0.05 0.03
AG01/3.13.trs 0.04 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.01 0.02
AG01/3.15.trs 0.05 0.01 0.01 0.03 0.04 0.02 0.01 0.04 0.05 0.04
AG01/3.16.trs 0.04 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.17a.trs 0.05 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.17.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AG01/3.18.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.01 0.02 0.01 0.02
AG01/3.19.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.1.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.21.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.22.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AG01/3.23.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.01 0.02
AG01/3.24.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.26.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.29.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.2.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.31.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.33.trs 0.02 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AG01/3.35.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.36.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01
AG01/3.37.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.38.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
AG01/3.39.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AG01/3.40.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.41.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AG01/3.42.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.47.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.48.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.49.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.4.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.51.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AG01/3.52.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.53a.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.53b.trs 0.02 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.01 0.02
AG01/3.53.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.54.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.55.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.56.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.04 0.03
AG01/3.57.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.5a.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AG01/3.5b.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AG01/3.5.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.01 0.02 0.02
AG01/3.6a.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
AG01/3.6b.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
AG01/3.6.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AG01/3.7.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.8a.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AG01/3.8b.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
AG01/4.30c.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
AotoYamada_05/001.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AotoYamada_05/002.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.02
AotoYamada_05/003.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AotoYamada_05/004.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
AotoYamada_05/005.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01
AotoYamada_05/006.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.01 0.02 0.01
AotoYamada_05/007.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
AotoYamada_05/009.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
AotoYamada_05/010.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.02 0.03 0.02
AotoYamada_05/011.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AotoYamada_05/012.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AotoYamada_05/013.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.03 0.03
AotoYamada_05/014.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.02 0.03 0.02
AotoYamada_05/015.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.01 0.02 0.01
AotoYamada_05/016.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.01 0.03 0.03 0.03
AotoYamada_05/017.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AotoYamada_05/019.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AotoYamada_05/020.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
AotoYamada_05/021.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.04 0.03
AotoYamada_05/022.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
AotoYamada_05/023.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AotoYamada_05/024.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AotoYamada_05/025.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AotoYamada_05/026.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AotoYamada_05/027.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AotoYamada_05/028.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
AotoYamada_05/Ex1SimplyTyped.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
AotoYamada_05/Ex5TermProof.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.02 0.03 0.02
Applicative_05/BTreeMember.trs 0.01 0.01 0.01 0.06 0.06 0.01 0.01 0.03 0.04 0.03
Applicative_05/Ex10Functional.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.01 0.03 0.04 0.03
Applicative_05/Ex2_6_1Composition.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Applicative_05/Ex2_8_1ConstSubstFix.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Applicative_05/Ex2PrimRec.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Applicative_05/Ex3Lists.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.04 0.03
Applicative_05/Ex4MapList.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
Applicative_05/Ex5Folding.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.02 0.03 0.02
Applicative_05/Ex5Sorting.trs 0.01 0.01 0.01 0.05 0.06 0.02 0.01 0.04 0.06 0.04
Applicative_05/Ex6_11.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.03 0.04 0.03
Applicative_05/Ex6Folding.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Applicative_05/Ex6Recursor.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Applicative_05/Ex7_9.trs 0.01 0.01 0.01 0.04 0.05 0.01 0.01 0.04 0.06 0.04
Applicative_05/Ex7OrdinalRec.trs 0.01 0.01 0.01 0.07 0.08 0.03 0.01 0.07 0.10 0.08
Applicative_05/Ex7Sorting.trs 0.01 0.01 0.01 0.05 0.06 0.02 0.01 0.05 0.07 0.05
Applicative_05/Ex8Polymorphic.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.02 0.03 0.02
Applicative_05/Ex9Maps.trs 0.01 0.01 0.01 0.05 0.05 0.01 0.01 0.02 0.04 0.02
Applicative_05/Hamming.trs 0.01 0.02 0.01 0.16 0.16 0.02 0.01 0.07 0.11 0.07
Applicative_05/mapDivMinusHard.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.02 0.03 0.02
Applicative_05/mapDivMinus.trs 0.01 0.01 0.01 0.03 0.03 0.01 0.01 0.03 0.04 0.03
Applicative_05/nonTermF.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Applicative_05/ReverseLastInit.trs 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.01 0.02
Applicative_05/TakeDropWhile.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.02 0.03 0.02
Applicative_05/termMonTypes.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01
Applicative_05/TreeFlatten.trs 0.01 0.01 0.01 0.03 0.04 0.03 0.01 0.05 0.06 0.05
Applicative_05/TreeHeight.trs 0.01 0.01 0.01 0.04 0.05 0.03 0.01 0.06 0.07 0.06
Applicative_05/TreeLevels.trs 0.01 0.01 0.01 0.07 0.08 0.05 0.01 0.08 0.11 0.08
Applicative_05/TreeMap.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.01 0.02 0.01
Applicative_05/TreeSize.trs 0.01 0.01 0.01 0.03 0.03 0.03 0.01 0.04 0.06 0.04
Applicative_05/TypeEx1.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01
Applicative_05/TypeEx3.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.03 0.04 0.03
Applicative_05/TypeEx5.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Applicative_first_order_05/01.trs 0.01 0.02 0.01 0.22 0.23 0.04 0.01 0.20 0.29 0.20
Applicative_first_order_05/02.trs 0.02 0.02 0.01 0.87 0.87 0.06 0.01 0.31 0.47 0.31
Applicative_first_order_05/06.trs 0.01 0.01 0.01 0.03 0.04 0.02 0.01 0.04 0.05 0.04
Applicative_first_order_05/08.trs 0.01 0.01 0.01 0.05 0.05 0.02 0.01 0.05 0.07 0.05
Applicative_first_order_05/11.trs 0.01 0.01 0.01 0.04 0.05 0.02 0.01 0.04 0.05 0.04
Applicative_first_order_05/12.trs 0.01 0.01 0.01 0.07 0.08 0.02 0.01 0.06 0.09 0.06
Applicative_first_order_05/13.trs 0.01 0.01 0.01 0.03 0.04 0.02 0.01 0.04 0.05 0.04
Applicative_first_order_05/17.trs 0.01 0.01 0.01 0.03 0.03 0.02 0.01 0.03 0.04 0.03
Applicative_first_order_05/18.trs 0.01 0.01 0.01 0.03 0.03 0.02 0.01 0.03 0.04 0.03
Applicative_first_order_05/21.trs 0.01 0.01 0.01 0.04 0.04 0.02 0.01 0.05 0.06 0.05
Applicative_first_order_05/29.trs 0.01 0.01 0.01 0.05 0.06 0.02 0.01 0.06 0.08 0.06
Applicative_first_order_05/30.trs 0.01 0.01 0.01 0.13 0.13 0.04 0.01 0.09 0.13 0.09
Applicative_first_order_05/3.10.trs 0.01 0.01 0.01 0.03 0.04 0.02 0.01 0.04 0.05 0.04
Applicative_first_order_05/3.13.trs 0.01 0.01 0.01 0.04 0.05 0.02 0.01 0.05 0.07 0.05
Applicative_first_order_05/3.16.trs 0.01 0.01 0.01 0.05 0.05 0.03 0.01 0.05 0.07 0.05
Applicative_first_order_05/3.18.trs 0.01 0.02 0.01 0.11 0.12 0.03 0.01 0.12 0.17 0.12
Applicative_first_order_05/31.trs 0.01 0.01 0.01 0.11 0.12 0.06 0.01 0.11 0.18 0.11
Applicative_first_order_05/3.22.trs 0.01 0.01 0.01 0.07 0.07 0.02 0.01 0.06 0.08 0.06
Applicative_first_order_05/3.25.trs 0.01 0.01 0.01 0.09 0.09 0.07 0.01 0.14 0.19 0.14
Applicative_first_order_05/3.27.trs 0.01 0.01 0.01 0.03 0.03 0.02 0.01 0.03 0.04 0.03
Applicative_first_order_05/3.2.trs 0.01 0.01 0.01 0.03 0.03 0.02 0.01 0.03 0.04 0.03
Applicative_first_order_05/3.32.trs 0.01 0.01 0.01 0.03 0.04 0.02 0.01 0.04 0.05 0.04
Applicative_first_order_05/3.36.trs 0.01 0.01 0.01 0.05 0.06 0.03 0.01 0.07 0.10 0.07
Applicative_first_order_05/3.38.trs 0.01 0.01 0.01 0.15 0.15 0.03 0.01 0.20 0.28 0.20
Applicative_first_order_05/33.trs 0.01 0.01 0.01 0.06 0.06 0.03 0.01 0.06 0.08 0.06
Applicative_first_order_05/3.40.trs 0.01 0.01 0.01 0.05 0.05 0.02 0.01 0.05 0.06 0.05
Applicative_first_order_05/3.45.trs 0.01 0.01 0.01 0.04 0.04 0.03 0.01 0.04 0.06 0.04
Applicative_first_order_05/3.48.trs 0.01 0.01 0.01 0.03 0.04 0.02 0.01 0.03 0.04 0.03
Applicative_first_order_05/3.52.trs 0.01 0.01 0.01 0.04 0.04 0.02 0.01 0.04 0.06 0.04
Applicative_first_order_05/3.55.trs 0.01 0.01 0.01 0.04 0.04 0.02 0.01 0.04 0.06 0.04
Applicative_first_order_05/3.57.trs 0.01 0.01 0.01 1.21 1.21 0.02 0.01 0.68 0.94 0.67
Applicative_first_order_05/3.6.trs 0.01 0.01 0.01 0.06 0.06 0.02 0.01 0.05 0.08 0.05
Applicative_first_order_05/3.8.trs 0.01 0.01 0.01 0.09 0.09 0.02 0.01 0.08 0.11 0.08
Applicative_first_order_05/hydra.trs 0.01 0.01 0.01 0.09 0.10 0.06 0.01 0.11 0.15 0.11
Applicative_first_order_05/minsort.trs 0.01 0.01 0.01 0.09 0.09 0.02 0.01 0.09 0.13 0.09
Applicative_first_order_05/motivation.trs 0.02 0.01 0.01 0.03 0.04 0.02 0.01 0.04 0.05 0.04
Applicative_first_order_05/perfect2.trs 0.01 0.01 0.01 0.40 0.41 0.02 0.01 0.19 0.27 0.19
Applicative_first_order_05/perfect.trs 0.01 0.01 0.01 0.41 0.41 0.02 0.01 0.20 0.28 0.20
AProVE_04/AAECC-ring.trs 0.01 0.01 0.01 0.03 0.03 0.01 0.01 0.04 0.05 0.04
AProVE_04/AAECC.trs 0.01 0.02 0.05 0.18 0.22 0.05 0.05 0.22 0.27 0.21
AProVE_04/fac.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_04/forward_instantiation2.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_04/forward_instantiation.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_04/IJCAR_12.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_04/IJCAR_18.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AProVE_04/IJCAR_1.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.02
AProVE_04/IJCAR_26a.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.02
AProVE_04/IJCAR_26.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.02
AProVE_04/improved_usable2.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_04/improved_usable.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_04/JFP_Ex31.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_04/JFP_Ex51.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.02
AProVE_04/Liveness6.1.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.03 0.01 0.02
AProVE_04/Liveness6.2.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_04/Liveness6.3.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_04/Liveness6.4.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AProVE_04/Liveness8.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.01 0.02 0.02 0.02
AProVE_04/Liveness_WRS.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AProVE_04/LPAR_intlist.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AProVE_04/rta1.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_04/rta2.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_04/rta3.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_06/div_notCeTermin.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.02
AProVE_06/div_notTermin.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.02
AProVE_06/factorial1.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AProVE_06/factorial2.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_06/identity.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AProVE_06/logarithm.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_06/mapHard.trs 0.01 0.01 0.01 0.03 0.03 0.02 0.01 0.04 0.05 0.04
AProVE_06/modulo.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
AProVE_06/nonterm.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AProVE_06/quicksort.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.02 0.03 0.03
AProVE_06/quot.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
AProVE_06/sizeChange.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_06/tower_sizeChange.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
AProVE_06/tower.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AProVE_07/kabasci01.trs 0.02 0.01 0.02 0.03 0.04 0.03 0.02 0.05 0.04 0.04
AProVE_07/kabasci02.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.01 0.03 0.04 0.03
AProVE_07/kabasci03.trs 0.01 0.01 0.01 0.03 0.04 0.01 0.01 0.03 0.04 0.03
AProVE_07/kabasci04.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
AProVE_07/kabasci05.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_07/kabasci06.trs 0.01 0.01 0.01 0.04 0.04 0.02 0.01 0.04 0.06 0.04
AProVE_07/otto01.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.03 0.03 0.02
AProVE_07/otto02.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.03 0.03
AProVE_07/otto03.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AProVE_07/otto04.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_07/otto05.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
AProVE_07/otto06.trs 0.01 0.01 0.01 0.03 0.03 0.01 0.01 0.03 0.04 0.03
AProVE_07/otto07.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_07/otto08.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_07/otto09.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_07/otto10.trs 0.03 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.04 0.03
AProVE_07/otto11.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.02 0.02
AProVE_07/otto12.trs 0.02 0.01 0.01 0.02 0.03 0.01 0.01 0.02 0.03 0.02
AProVE_07/otto13.trs 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.02 0.02 0.02
AProVE_07/thiemann01.trs 0.02 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_07/thiemann02.trs 0.01 0.01 0.01 0.03 0.04 0.02 0.01 0.04 0.06 0.04
AProVE_07/thiemann03.trs 0.02 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_07/thiemann04.trs 0.01 0.01 0.03 0.06 0.09 0.04 0.03 0.07 0.08 0.07
AProVE_07/thiemann05.trs 0.02 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_07/thiemann06.trs 0.01 0.01 0.02 0.02 0.04 0.02 0.02 0.03 0.03 0.03
AProVE_07/thiemann07.trs 0.02 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.02
AProVE_07/thiemann08.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_07/thiemann09.trs 0.02 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_07/thiemann10.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AProVE_07/thiemann11.trs 0.02 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.02
AProVE_07/thiemann12.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AProVE_07/thiemann13.trs 0.02 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_07/thiemann14.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.01 0.03 0.03 0.03
AProVE_07/thiemann15.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AProVE_07/thiemann16.trs 0.02 0.01 0.01 0.02 0.03 0.01 0.01 0.02 0.03 0.02
AProVE_07/thiemann17.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_07/thiemann18.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.01 0.03 0.05 0.04
AProVE_07/thiemann19.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_07/thiemann20.trs 0.05 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.01 0.01
AProVE_07/thiemann21.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.02 0.03 0.04 0.03
AProVE_07/thiemann22.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_07/thiemann23.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_07/thiemann24.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_07/thiemann25.trs 0.07 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_07/thiemann26.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_07/thiemann27.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_07/thiemann28.trs 0.04 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_07/thiemann29.trs 0.06 0.01 0.01 0.02 0.03 0.01 0.01 0.02 0.03 0.02
AProVE_07/thiemann30.trs 0.03 0.01 0.01 0.03 0.04 0.02 0.01 0.04 0.05 0.04
AProVE_07/thiemann31.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.01 0.03 0.03 0.03
AProVE_07/thiemann32.trs 0.03 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_07/thiemann33.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_07/thiemann34.trs 0.02 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_07/thiemann35.trs 0.01 0.01 0.01 0.09 0.10 0.02 0.01 0.12 0.16 0.12
AProVE_07/thiemann36.trs 0.02 0.01 0.02 0.04 0.05 0.02 0.02 0.04 0.04 0.04
AProVE_07/thiemann37.trs 0.01 0.01 0.01 0.04 0.05 0.02 0.01 0.05 0.05 0.05
AProVE_07/thiemann38.trs 0.02 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.03
AProVE_07/thiemann39.trs 0.01 0.01 0.01 0.06 0.07 0.02 0.01 0.09 0.11 0.09
AProVE_07/thiemann40.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_07/thiemann41.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_07/wiehe01.trs 0.02 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.03 0.03
AProVE_07/wiehe02.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.03 0.03
AProVE_07/wiehe03.trs 0.02 0.01 0.01 0.03 0.04 0.01 0.01 0.04 0.05 0.04
AProVE_07/wiehe05.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.03 0.03
AProVE_07/wiehe06.trs 0.02 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.03 0.03
AProVE_07/wiehe07.trs 0.01 0.01 0.01 0.03 0.03 0.01 0.01 0.03 0.03 0.03
AProVE_07/wiehe08.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.03 0.03
AProVE_07/wiehe09.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.04 0.03
AProVE_07/wiehe11.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.04 0.03
AProVE_07/wiehe12.trs 0.01 0.01 0.01 0.03 0.04 0.01 0.01 0.04 0.06 0.05
AProVE_08/id_inc.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AProVE_08/log.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AProVE_08/parting01_reverse.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_08/parting02_doublelist.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_08/parting03_minsort.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.03 0.02
AProVE_08/parting04_maxsort_h.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.03 0.03 0.03
AProVE_08/parting05_maxsort.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.03 0.02
AProVE_08/round_nonterm.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_08/round.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_08/thiemann40_modified.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_09_Inductive/divhard.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.03 0.02
AProVE_09_Inductive/div.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_09_Inductive/gcd2.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_09_Inductive/gcdhard.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.02
AProVE_09_Inductive/gcd.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
AProVE_09_Inductive/log.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_09_Inductive/maxsortcondition.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.03 0.02
AProVE_09_Inductive/maxsort.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.02
AProVE_09_Inductive/minsort.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.02
AProVE_09_Inductive/mod.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
AProVE_09_Inductive/qsortlast.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.03 0.04 0.03
AProVE_09_Inductive/qsortmiddle.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.01 0.03 0.04 0.03
AProVE_09_Inductive/qsort.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.01 0.03 0.05 0.04
AProVE_09_Inductive/zerolist.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.01 0.02
AProVE_10/andIsNat.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AProVE_10/challenge_fab.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.01
AProVE_10/double.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_10/downfrom.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_10/ex1.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_10/ex2.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_10/ex3.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_10/ex4.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
AProVE_10/ex5.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_10/halfdouble.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_10/isList.trs 0.04 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_10/isNat.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_10/scnp.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
AProVE_10/Zantema06-03-modified.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.02 0.04 0.04 0.04
Beerendonk_07/10.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Beerendonk_07/11.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.01 0.01
Beerendonk_07/12.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Beerendonk_07/13.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.02
Beerendonk_07/14.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Beerendonk_07/15.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
Beerendonk_07/16.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.02 0.02 0.02
Beerendonk_07/17.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.04 0.03
Beerendonk_07/18.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.02 0.03 0.03
Beerendonk_07/19.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.02 0.03
Beerendonk_07/1.trs 0.01 0.01 0.01 0.03 0.03 0.01 0.01 0.03 0.04 0.03
Beerendonk_07/20.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Beerendonk_07/21.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Beerendonk_07/22.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
Beerendonk_07/23.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.01 0.01
Beerendonk_07/24.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
Beerendonk_07/2.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.04 0.03
Beerendonk_07/3.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Beerendonk_07/4.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Beerendonk_07/5.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Beerendonk_07/6.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Beerendonk_07/7.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Beerendonk_07/8.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
Beerendonk_07/9.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
CiME_04/ack_prolog.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
CiME_04/append-hard.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
CiME_04/append-wrong.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
CiME_04/append.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
CiME_04/big.trs 0.01 0.01 0.02 0.04 0.05 0.03 0.02 0.06 0.06 0.06
CiME_04/boolean_rings.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
CiME_04/dpqs.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
CiME_04/fact-hard.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.01 0.01
CiME_04/filliatre2.trs 0.01 0.01 0.01 0.02 0.03 0.03 0.01 0.04 0.01 0.03
CiME_04/filliatre3.trs 0.01 0.01 0.01 0.02 0.03 0.03 0.01 0.03 0.01 0.03
CiME_04/filliatre.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.01 0.03 0.02 0.03
CiME_04/intersect.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.02
CiME_04/list-sum-prod-assoc-append.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
CiME_04/list-sum-prod-assoc.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
CiME_04/list-sum-prod-bin-assoc-distr-app.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.03 0.03 0.03
CiME_04/list-sum-prod-bin-assoc.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
CiME_04/list-sum-prod-bin.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
CiME_04/list-sum-prod.trs 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.02 0.02 0.02
CiME_04/log2.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.01 0.03 0.02 0.04
CiME_04/lse.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.04 0.03
CiME_04/maude2.trs 0.01 0.01 0.01 0.03 0.03 0.01 0.01 0.03 0.04 0.03
CiME_04/mucrl1.trs 0.07 0.08 0.07 0.24 0.29 0.12 0.07 1.36 0.95 0.55
CiME_04/ternary-hard.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.02
CiME_04/ternary.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.03 0.03 0.02
CiME_04/tree.trs 0.01 0.01 0.01 0.06 0.06 0.02 0.02 0.09 0.05 0.10
Der95/01.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Der95/02.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Der95/03.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Der95/04.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Der95/06.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Der95/07.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Der95/08.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Der95/09.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Der95/11.trs 0.01 0.01 0.01 0.03 0.04 0.01 0.01 0.06 0.06 0.05
Der95/12.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Der95/13.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Der95/17.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Der95/18.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Der95/20.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.01 0.02
Der95/21.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Der95/27.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Der95/28.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Der95/30.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
Der95/31.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Der95/32.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
Der95/33.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
EEG_IJCAR_12/emmes-nonloop-ex1_1.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex1_2.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex1_3.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex1_4.trs 0.01 0.01 0.01 0.04 0.05 0.06 0.01 0.08 0.01 0.06
EEG_IJCAR_12/emmes-nonloop-ex1_5.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex2_1.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
EEG_IJCAR_12/emmes-nonloop-ex2_2.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex2_3.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex2_4.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex2_5.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex3_1.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex3_2.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex3_3.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex3_4.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex4_1.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex4_2.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex4_3.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
EEG_IJCAR_12/emmes-nonloop-ex4_4.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
EEG_IJCAR_12/emmes-nonloop-ex5_1.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.02
EEG_IJCAR_12/emmes-nonloop-ex5_2.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex5_3.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex6_1.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex6_2.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
EEG_IJCAR_12/emmes-nonloop-ex7_1.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
EEG_IJCAR_12/emmes-nonloop-ex7_2.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
EEG_IJCAR_12/emmes-nonloop-ex7_3.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.03
EEG_IJCAR_12/emmes-nonloop-ex7_4.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex7_5.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
EEG_IJCAR_12/emmes-nonloop-ex7_6.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex7_7.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex7_8.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/emmes-nonloop-ex7_9.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/enger-nonloop-addTrue.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/enger-nonloop-add.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/enger-nonloop-ex_payet.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/enger-nonloop-isDNat.trs 0.01 0.01 0.05 0.05 0.05 0.09 0.05 0.10 0.05 0.09
EEG_IJCAR_12/enger-nonloop-isList-List.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
EEG_IJCAR_12/enger-nonloop-isList.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/enger-nonloop-isTrueList.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
EEG_IJCAR_12/enger-nonloop-swap_decr.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/enger-nonloop-swapX.trs 0.02 0.03 0.06 0.09 0.14 0.11 0.06 0.17 0.18 0.18
EEG_IJCAR_12/enger-nonloop-swapXY2.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/enger-nonloop-swapXY.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/enger-nonloop-toOne.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/enger-nonloop-unbounded.trs 0.01 0.01 0.38 0.34 0.71 0.44 0.38 0.58 0.38 0.44
EEG_IJCAR_12/enger-nonloop-while-lt.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/rybalchenko-nonloop-popl08.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
EEG_IJCAR_12/velroyen-nonloop-AlternatingIncr_c.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.02 0.02
EEG_IJCAR_12/velroyen-nonloop-ConvLower_c.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.01
Endrullis_06/direct.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
Endrullis_06/labeling.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01
Endrullis_06/linear1.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Endrullis_06/linear2.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Endrullis_06/pair2hard.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Endrullis_06/pair2simple1.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Endrullis_06/pair2simple2.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Endrullis_06/pair3hard.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Endrullis_06/pair3rotate.trs 0.01 0.01 0.01 0.02 0.03 0.03 0.01 0.03 0.01 0.03
Endrullis_06/pair3swap.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.03 0.01 0.02
Endrullis_06/quadruple1.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Endrullis_06/quadruple2.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
GTSSK07/cade01.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.02
GTSSK07/cade03.trs 0.02 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
GTSSK07/cade04t.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
GTSSK07/cade05t.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
GTSSK07/cade06.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
GTSSK07/cade07.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
GTSSK07/cade08.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
GTSSK07/cade09.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
GTSSK07/cade10.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
GTSSK07/cade11.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.03 0.02
GTSSK07/cade12t.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
GTSSK07/cade13t.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
GTSSK07/cade14.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
GTSSK07/cade15.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
GTSSK07/cade16.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
GTSSK07/cade17.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
HirokawaMiddeldorp_04/n002.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
HirokawaMiddeldorp_04/n003.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
HirokawaMiddeldorp_04/n004.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
HirokawaMiddeldorp_04/n005.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02
HirokawaMiddeldorp_04/n006.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02
HirokawaMiddeldorp_04/n007.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02
HirokawaMiddeldorp_04/n008.trs 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.03 0.03 0.03
HirokawaMiddeldorp_04/t000.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
HirokawaMiddeldorp_04/t001.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02
HirokawaMiddeldorp_04/t002.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02
HirokawaMiddeldorp_04/t003.trs 1.17 13.54 1.31 4.64 4.77 1.29 1.31 5.42 19.56 17.66
HirokawaMiddeldorp_04/t004.trs 0.01 0.01 0.01 0.02 0.03 0.03 0.02 0.05 0.05 0.05
HirokawaMiddeldorp_04/t005.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
HirokawaMiddeldorp_04/t006.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
HirokawaMiddeldorp_04/t007.trs 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02
HirokawaMiddeldorp_04/t008.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
HirokawaMiddeldorp_04/t009.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
HirokawaMiddeldorp_04/t010.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
HirokawaMiddeldorp_04/t011.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
HirokawaMiddeldorp_04/t012.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.01 0.03 0.04 0.03
HirokawaMiddeldorp_04/t013.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.01
HirokawaMiddeldorp_04/t014.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Mixed_TRS/1.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Mixed_TRS/2.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Mixed_TRS/3.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Mixed_TRS/4.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Mixed_TRS/5.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Mixed_TRS/6.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.05 0.03
Mixed_TRS/7.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Mixed_TRS/beans.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Mixed_TRS/Ex1_Luc04b_GM.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Mixed_TRS/fossacs.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Mixed_TRS/gcdMinMax.trs 0.01 0.01 0.01 0.03 0.04 0.01 0.01 0.06 0.06 0.05
Mixed_TRS/gcd_triple.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01
Mixed_TRS/gcd.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.02
Mixed_TRS/hydra.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Mixed_TRS/hydra-Zantema06.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Mixed_TRS/jones1.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.01 0.04 0.06 0.04
Mixed_TRS/jones2.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Mixed_TRS/jones4.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Mixed_TRS/jones5.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.05 0.06 0.05
Mixed_TRS/jones6.trs 0.01 0.01 0.01 0.03 0.03 0.02 0.01 0.04 0.05 0.04
Mixed_TRS/minsort.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Mixed_TRS/motivation.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Mixed_TRS/perfect2.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Mixed_TRS/perfect.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.01
Mixed_TRS/test1.trs 0.01 0.01 0.01 0.24 0.24 0.03 0.01 0.04 0.03 0.05
Mixed_TRS/while2.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Mixed_TRS/while.trs 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.03 0.02 0.03
MNZ_10/0.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
MNZ_10/1.trs 0.01 0.02 0.02 0.80 0.82 0.16 0.02 0.63 0.54 0.59
MNZ_10/2.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
MNZ_10/3.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
MNZ_10/4.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
MNZ_10/5.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.01 0.01
MNZ_10/6.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.01 0.01
MNZ_10/7.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
MNZ_10/8.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
MNZ_10/9.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
MNZ_10/labelled.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
MNZ_10/nrvsq.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
MNZ_10/nvsr.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Rubio_04/aoto.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Rubio_04/bintrees.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.01 0.01
Rubio_04/bn122.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.01 0.02
Rubio_04/bn129.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.03 0.01 0.02
Rubio_04/division.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Rubio_04/elimdupl.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Rubio_04/enno.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
Rubio_04/gcd.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.03 0.01 0.02
Rubio_04/gmnp.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Rubio_04/gm.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Rubio_04/koen.trs 0.01 0.01 0.02 0.03 0.04 0.02 0.02 0.04 0.04 0.04
Rubio_04/lescanne.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
Rubio_04/lindau.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Rubio_04/logarquot.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Rubio_04/ma96.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Rubio_04/mfp90b.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01
Rubio_04/mfp95.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
Rubio_04/nestrec.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Rubio_04/p266.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01
Rubio_04/polo2.trs 0.01 0.01 0.01 0.03 0.04 0.01 0.01 0.06 0.08 0.06
Rubio_04/prov.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
Rubio_04/quick.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.04 0.03
Rubio_04/quotminus.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Rubio_04/revlist.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
Rubio_04/selsort.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Rubio_04/test4.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Rubio_04/test829.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Rubio_04/wst99.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Secret_05_TRS/aprove1.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Secret_05_TRS/aprove2.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.02 0.02
Secret_05_TRS/aprove3.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
Secret_05_TRS/aprove4.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_05_TRS/aprove5.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_05_TRS/cime1.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_05_TRS/cime2.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
Secret_05_TRS/cime3.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_05_TRS/cime4.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Secret_05_TRS/cime5.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
Secret_05_TRS/matchbox1.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01
Secret_05_TRS/matchbox2.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01
Secret_05_TRS/teparla1.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
Secret_05_TRS/teparla2.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.01 0.02
Secret_05_TRS/teparla3.trs 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.02 0.01 0.02
Secret_05_TRS/tpa1.trs 0.01 0.01 0.01 0.33 0.33 0.53 0.01 0.67 0.01 0.53
Secret_05_TRS/tpa2.trs 0.01 0.01 0.01 0.02 0.03 0.03 0.01 0.03 0.01 0.03
Secret_05_TRS/tpa3.trs 0.01 0.01 0.01 0.04 0.05 0.05 0.02 0.07 0.01 0.06
Secret_05_TRS/tpa4.trs 0.01 0.01 0.01 0.07 0.08 0.15 0.01 0.21 0.01 0.15
Secret_05_TRS/tpa5.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.01 0.03 0.03 0.03
Secret_05_TRS/ttt1.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.03 0.03
Secret_05_TRS/ttt2.trs 0.01 0.01 0.02 0.03 0.04 0.02 0.02 0.05 0.05 0.05
Secret_06_TRS/10.trs 0.01 0.01 0.01 0.03 0.04 0.01 0.01 0.04 0.04 0.04
Secret_06_TRS/2.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.03 0.03
Secret_06_TRS/3.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.02 0.03 0.03
Secret_06_TRS/4.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
Secret_06_TRS/5.trs 0.01 0.01 0.03 0.04 0.06 0.03 0.03 0.05 0.05 0.05
Secret_06_TRS/6.trs 0.01 0.01 0.02 0.03 0.04 0.02 0.02 0.03 0.04 0.03
Secret_06_TRS/7.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.01 0.02 0.02 0.02
Secret_06_TRS/8.trs 0.01 0.01 0.01 0.03 0.04 0.01 0.01 0.06 0.06 0.06
Secret_06_TRS/9.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.02
Secret_06_TRS/addList.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Secret_06_TRS/cime1.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.03 0.02 0.03
Secret_06_TRS/divExp.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.03 0.03 0.03
Secret_06_TRS/division.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_06_TRS/double.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_06_TRS/gen-10.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_06_TRS/gen-14.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_06_TRS/gen-15.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_06_TRS/gen-17.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_06_TRS/gen-18.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_06_TRS/gen-1.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Secret_06_TRS/gen-22.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_06_TRS/gen-25.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_06_TRS/gen-28.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_06_TRS/gen-9.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Secret_06_TRS/logarithm.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_06_TRS/nrOfNodes.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02
Secret_06_TRS/reverse.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01
Secret_06_TRS/sumList.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Secret_06_TRS/times.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.02
Secret_06_TRS/toList.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_06_TRS/tpa01.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Secret_06_TRS/tpa02.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Secret_06_TRS/tpa03.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_06_TRS/tpa04.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Secret_06_TRS/tpa05.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Secret_06_TRS/tpa06.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_06_TRS/tpa07.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_06_TRS/tpa08.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.04 0.04 0.04
Secret_06_TRS/tpa09.trs 0.03 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
Secret_06_TRS/tpa10.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_07_TRS/1.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
Secret_07_TRS/2.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Secret_07_TRS/3.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_07_TRS/4.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
Secret_07_TRS/5.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_07_TRS/7.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.01 0.01
Secret_07_TRS/aprove01.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_07_TRS/aprove02.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_07_TRS/aprove03.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_07_TRS/aprove04.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_07_TRS/aprove05.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.01 0.02
Secret_07_TRS/aprove06.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Secret_07_TRS/aprove07.trs 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.02 0.02 0.02
Secret_07_TRS/aprove08.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.01 0.02
Secret_07_TRS/aprove09.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Secret_07_TRS/aprove10.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.03 0.05 0.03
Secret_07_TRS/secret1.trs 0.01 0.01 0.01 0.03 0.04 0.01 0.01 0.03 0.04 0.03
Secret_07_TRS/secret2.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_07_TRS/secret3.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Secret_07_TRS/secret4.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02
Secret_07_TRS/secret5.trs 0.01 0.01 0.02 0.02 0.02 0.03 0.03 0.03 0.03 0.03
SK90/2.01.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.02.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.03.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
SK90/2.04.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.05.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.06.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.07.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.08.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.03 0.02
SK90/2.09.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
SK90/2.10.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.11.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.01 0.02
SK90/2.12.trs 0.01 0.01 0.02 0.02 0.02 0.03 0.02 0.03 0.02 0.03
SK90/2.13.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.14.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
SK90/2.15.trs 0.02 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
SK90/2.16.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.17.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.18.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.19.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.20.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.21.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
SK90/2.22.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.01 0.02
SK90/2.23.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.24.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.25.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.26.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
SK90/2.27.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.28.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.01 0.02
SK90/2.29.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.30.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.31.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.32.trs 0.02 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
SK90/2.33.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
SK90/2.34.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
SK90/2.35.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.36.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
SK90/2.37.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.38.trs 0.03 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.01 0.02
SK90/2.39.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
SK90/2.40.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.02 0.03
SK90/2.41.trs 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.01 0.02
SK90/2.42.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.43.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.44.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.45.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.46.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.47.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.48.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.49.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.50.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.51.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.52.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.53.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.54.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.55.trs 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.02
SK90/2.56.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.57.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.58.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.59.trs 0.01 0.01 0.02 0.09 0.11 0.20 0.02 0.32 0.02 0.20
SK90/2.60.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/2.61.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.01.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.02.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.03.trs 0.03 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.01 0.01
SK90/4.04.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.01 0.02
SK90/4.05.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02
SK90/4.06.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.07.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.08.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
SK90/4.09.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.02
SK90/4.10.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
SK90/4.11.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.04 0.03
SK90/4.12.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.13.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.14.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.15.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.16.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.17.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.18.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.19.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.20.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.21.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.22.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.23.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.24.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.25.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.26.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.27.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.28.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.29.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.30.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.02
SK90/4.31.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.32.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.33.trs 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.34.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.35.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.36.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.37.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.38.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.39.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.05 0.03
SK90/4.40.trs 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.03 0.04 0.03
SK90/4.41.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.42.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.43.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.44.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.45.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
SK90/4.46.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.47.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.48.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.49.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.50.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.51.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.52.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.53.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.54.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.55.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.56.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.57.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.59.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
SK90/4.60.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01
SK90/4.61.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.12a.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.13.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.14.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.15.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.16.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.17.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.18.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Strategy_removed_AG01/4.19.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.20a.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.02 0.02
Strategy_removed_AG01/4.20.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.21.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.22.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.23.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.25.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.26.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Strategy_removed_AG01/4.27.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
Strategy_removed_AG01/4.28.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.29.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.2.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.30a.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.01 0.02 0.02
Strategy_removed_AG01/4.30b.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.30c.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.30.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.32.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.33.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.34.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.35.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.36.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.37a.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.37.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.3.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.4.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.7.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex1_2_AEL03.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex1_2_Luc02c.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex14_AEGL02.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex15_Luc98.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex1_GL02a.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex1_GM03.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex1_GM99.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex1_Luc02b.trs 0.01 0.01 0.01 0.04 0.05 0.01 0.01 0.06 0.06 0.06
Strategy_removed_CSR_05/Ex1_Zan97.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Strategy_removed_CSR_05/Ex24_GM04.trs 0.01 0.01 0.01 0.03 0.04 0.01 0.01 0.05 0.05 0.05
Strategy_removed_CSR_05/Ex26_Luc03b.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.03 0.03
Strategy_removed_CSR_05/Ex2_Luc03b.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.04 0.03 0.03
Strategy_removed_CSR_05/Ex3_12_Luc96a.trs 0.02 0.02 0.03 0.06 0.08 0.06 0.04 0.09 0.09 0.09
Strategy_removed_CSR_05/Ex3_2_Luc97.trs 0.01 0.01 0.01 0.04 0.04 0.02 0.01 0.05 0.04 0.05
Strategy_removed_CSR_05/Ex3_3_25_Bor03.trs 0.01 0.01 0.02 0.04 0.05 0.03 0.02 0.05 0.04 0.05
Strategy_removed_CSR_05/Ex4_4_Luc96b.trs 0.01 0.02 0.02 0.05 0.06 0.05 0.03 0.08 0.07 0.08
Strategy_removed_CSR_05/Ex4_7_15_Bor03.trs 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Strategy_removed_CSR_05/Ex4_7_37_Bor03.trs 0.01 0.01 0.01 0.03 0.04 0.02 0.01 0.04 0.04 0.04
Strategy_removed_CSR_05/Ex4_7_56_Bor03.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Strategy_removed_CSR_05/Ex4_7_77_Bor03.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Strategy_removed_CSR_05/Ex49_GM04.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02
Strategy_removed_CSR_05/Ex4_Zan97.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Strategy_removed_CSR_05/Ex5_7_Luc97.trs 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Strategy_removed_CSR_05/Ex5_Zan97.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Strategy_removed_CSR_05/Ex6_15_AEL02.trs 0.01 0.01 0.02 0.02 0.03 0.03 0.02 0.04 0.04 0.04
Strategy_removed_CSR_05/Ex6_9_Luc02c.trs 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.02 0.02 0.02
Strategy_removed_CSR_05/Ex6_GM04.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.03 0.03
Strategy_removed_CSR_05/Ex6_Luc98.trs 0.01 0.01 0.01 0.02 0.03 0.03 0.02 0.04 0.03 0.03
Strategy_removed_CSR_05/Ex7_BLR02.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex8_BLR02.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
Strategy_removed_CSR_05/Ex9_BLR02.trs 0.01 0.01 0.02 0.03 0.04 0.03 0.02 0.05 0.04 0.04
Strategy_removed_CSR_05/ExAppendixB_AEL03.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.01 0.02
Strategy_removed_CSR_05/ExConc_Zan97.trs 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.02 0.02 0.02
Strategy_removed_CSR_05/ExIntrod_GM01.trs 0.01 0.01 0.01 0.03 0.03 0.02 0.02 0.04 0.03 0.04
Strategy_removed_CSR_05/ExIntrod_GM04.trs 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Strategy_removed_CSR_05/ExIntrod_GM99.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/ExIntrod_Zan97.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Strategy_removed_mixed_05/bn111.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_mixed_05/ex1.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_mixed_05/ex2.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Strategy_removed_mixed_05/ex3.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_mixed_05/ex4.trs 0.01 0.01 0.01 0.02 0.03 0.03 0.02 0.04 0.03 0.04
Strategy_removed_mixed_05/ex5.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Strategy_removed_mixed_05/ex6.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.02 0.02
Strategy_removed_mixed_05/ExSec11_1_Luc02a.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.02 0.03 0.03 0.03
Strategy_removed_mixed_05/gkg.trs 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Strategy_removed_mixed_05/muladd.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
Strategy_removed_mixed_05/n001.trs 0.01 0.01 0.02 0.02 0.03 0.03 0.03 0.03 0.03 0.03
Strategy_removed_mixed_05/test10.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
Strategy_removed_mixed_05/test75.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.03 0.01 0.02
Strategy_removed_mixed_05/test76.trs 0.01 0.01 0.01 0.02 0.03 0.03 0.02 0.03 0.02 0.03
Strategy_removed_mixed_05/test77.trs 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Strategy_removed_mixed_05/test830.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_mixed_05/test9.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
Strategy_removed_mixed_05/toyama.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Strategy_removed_mixed_05/tricky1.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02
TCT_12/polycounter-10.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
TCT_12/polycounter-5.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
TCT_12/recursion-10.trs 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.03 0.03 0.03
TCT_12/recursion-5.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
TCT_12/sat.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Transformed_CSR_04/Ex1_2_AEL03_C.trs 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02
Transformed_CSR_04/Ex1_2_AEL03_FR.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_2_AEL03_GM.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_2_AEL03_iGM.trs 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02
Transformed_CSR_04/Ex1_2_AEL03_L.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_2_AEL03_Z.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_2_Luc02c_C.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.02 0.02
Transformed_CSR_04/Ex1_2_Luc02c_FR.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_2_Luc02c_GM.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.02
Transformed_CSR_04/Ex1_2_Luc02c_iGM.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_2_Luc02c_L.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_2_Luc02c_Z.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex14_AEGL02_C.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex14_AEGL02_FR.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex14_AEGL02_GM.trs 0.01 0.01 0.02 0.03 0.04 0.03 0.02 0.05 0.04 0.04
Transformed_CSR_04/Ex14_AEGL02_iGM.trs 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.03 0.03 0.03
Transformed_CSR_04/Ex14_AEGL02_L.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.02 0.04 0.03 0.04
Transformed_CSR_04/Ex14_AEGL02_Z.trs 0.01 0.01 0.02 0.03 0.04 0.03 0.02 0.04 0.04 0.04
Transformed_CSR_04/Ex14_Luc06_C.trs 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Transformed_CSR_04/Ex14_Luc06_FR.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.03 0.03 0.03
Transformed_CSR_04/Ex14_Luc06_GM.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.01 0.01
Transformed_CSR_04/Ex14_Luc06_iGM.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex14_Luc06_L.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex15_Luc06_C.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex15_Luc06_FR.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex15_Luc06_GM.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex15_Luc06_iGM.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex15_Luc06_L.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex15_Luc06_Z.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex15_Luc98_C.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex15_Luc98_FR.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex15_Luc98_GM.trs 0.01 0.01 0.02 0.03 0.05 0.03 0.03 0.06 0.06 0.06
Transformed_CSR_04/Ex15_Luc98_iGM.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.03 0.03 0.03
Transformed_CSR_04/Ex15_Luc98_L.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.02 0.03 0.03 0.03
Transformed_CSR_04/Ex15_Luc98_Z.trs 0.01 0.01 0.01 0.03 0.04 0.03 0.02 0.05 0.05 0.05
Transformed_CSR_04/Ex16_Luc06_C.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Transformed_CSR_04/Ex16_Luc06_FR.trs 0.01 0.01 0.01 0.02 0.03 0.01 0.01 0.03 0.03 0.03
Transformed_CSR_04/Ex16_Luc06_GM.trs 0.02 0.01 0.02 0.03 0.04 0.03 0.02 0.04 0.04 0.04
Transformed_CSR_04/Ex16_Luc06_iGM.trs 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.03 0.03 0.03
Transformed_CSR_04/Ex16_Luc06_L.trs 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.03 0.03 0.03
Transformed_CSR_04/Ex18_Luc06_C.trs 0.01 0.01 0.01 0.02 0.03 0.03 0.02 0.04 0.03 0.04
Transformed_CSR_04/Ex18_Luc06_FR.trs 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex18_Luc06_GM.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.03 0.03 0.03
Transformed_CSR_04/Ex18_Luc06_iGM.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02
Transformed_CSR_04/Ex18_Luc06_L.trs 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02 0.02 0.02
Transformed_CSR_04/Ex18_Luc06_Z.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.01 0.02
Transformed_CSR_04/Ex1_GL02a_C.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.01 0.02 0.02
Transformed_CSR_04/Ex1_GL02a_FR.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_GL02a_GM.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_GL02a_iGM.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Transformed_CSR_04/Ex1_GL02a_L.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_GL02a_Z.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_GM03_C.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Transformed_CSR_04/Ex1_GM03_FR.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_GM03_GM.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_GM03_iGM.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Transformed_CSR_04/Ex1_GM03_L.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_GM03_Z.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_GM99_C.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Transformed_CSR_04/Ex1_GM99_FR.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_GM99_GM.trs 0.01 0.01 0.02 0.01 0.02 0.03 0.03 0.03 0.03 0.03
Transformed_CSR_04/Ex1_GM99_iGM.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_GM99_L.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02
Transformed_CSR_04/Ex1_Luc02b_C.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02
Transformed_CSR_04/Ex1_Luc02b_FR.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_Luc02b_GM.trs 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02
Transformed_CSR_04/Ex1_Luc02b_iGM.trs 0.01 0.01 0.02 0.03 0.04 0.03 0.03 0.06 0.06 0.06
Transformed_CSR_04/Ex1_Luc02b_L.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.02 0.03 0.03 0.03
Transformed_CSR_04/Ex1_Luc02b_Z.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.02 0.04 0.04 0.04
Transformed_CSR_04/Ex1_Luc04b_C.trs 0.01 0.01 0.01 0.03 0.04 0.03 0.02 0.05 0.05 0.05
Transformed_CSR_04/Ex1_Luc04b_FR.trs 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02 0.02 0.02
Transformed_CSR_04/Ex1_Luc04b_GM.trs 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.03 0.03 0.03
Transformed_CSR_04/Ex1_Luc04b_iGM.trs 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.03 0.02 0.03
Transformed_CSR_04/Ex1_Luc04b_L.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Transformed_CSR_04/Ex1_Luc04b_Z.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_Zan97_C.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.02 0.02
Transformed_CSR_04/Ex1_Zan97_FR.trs 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Transformed_CSR_04/Ex1_Zan97_GM.trs 0.02 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02
Transformed_CSR_04/Ex1_Zan97_iGM.trs 0.01 0.01 0.01 0.03 0.04 0.03 0.02 0.05 0.05 0.05
Transformed_CSR_04/Ex1_Zan97_L.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.02 0.03 0.03 0.03
Transformed_CSR_04/Ex23_Luc06_C.trs 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.02 0.02 0.03
Transformed_CSR_04/Ex23_Luc06_FR.trs 0.04 0.01 0.01 0.03 0.03 0.03 0.02 0.04 0.04 0.04
Transformed_CSR_04/Ex23_Luc06_GM.trs 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
Transformed_CSR_04/Ex23_Luc06_iGM.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.01 0.03 0.03 0.03
Transformed_CSR_04/Ex23_Luc06_L.trs 0.04 0.01 0.02 0.04 0.05 0.04 0.02 0.06 0.08 0.06
Transformed_CSR_04/Ex23_Luc06_Z.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.01 0.03 0.04 0.03
Transformed_CSR_04/Ex24_GM04_C.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.01 0.04 0.05 0.04
Transformed_CSR_04/Ex24_GM04_FR.trs 0.01 0.01 0.01 0.03 0.04 0.03 0.02 0.05 0.07 0.06
Transformed_CSR_04/Ex24_GM04_GM.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.01
Transformed_CSR_04/Ex24_GM04_iGM.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.03 0.02
Transformed_CSR_04/Ex24_GM04_L.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01
Transformed_CSR_04/Ex24_GM04_Z.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex24_Luc06_C.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02
Transformed_CSR_04/Ex24_Luc06_FR.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex24_Luc06_GM.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex24_Luc06_iGM.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex24_Luc06_L.trs 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.02
Transformed_CSR_04/Ex25_Luc06_C.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex25_Luc06_FR.trs 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex25_Luc06_GM.trs 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02
Transformed_CSR_04/Ex25_Luc06_iGM.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex25_Luc06_L.trs 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex25_Luc06_Z.trs 0.01 0.01 0.02 0.04 0.05 0.04 0.03 0.06 0.07 0.06
Transformed_CSR_04/Ex26_Luc03b_C.trs 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02
Transformed_CSR_04/Ex26_Luc03b_FR.trs 0.01 0.01 0.01 0.02 0.03 0.02 0.02 0.03 0.03 0.03
Transformed_CSR_04/Ex26_Luc03b_GM.trs 0.01 0.01