Certified Termination Analysis 

Introduction

We tested all 2795 TRSs of TPDB 8.0 using AProVE with two strategies that are similar to the ones which have been used during the termination competition 2010.

All experiments have been performed on a machine with two 2.8 GHz Quad-Core Intel Xeon processors and 6 GB of main memory.

In the result table one can click on the execution times to see the proofs and answers of CeTA (version 1.17).

Links

Color codes

Success (Proof)
Success (Disproof)
Failure
Timeout
Accept
Reject

Summary

no_semlab with_semlab Total
Examples 2795 2795
Successes 1628 (1403 YES, 225 NO) 1677 (1459 YES, 218 NO) 1698 (1471 YES, 227 NO)
Failures 1167 (1018 timeouts) 1118 (1042 timeouts)
Time (termination tool) 19h 48m 50s 20h 24m 26s
Accepted 1628 1677 1698
Rejected 0 0
Unsupported 0 0
Time (certification) 0h 1m 32s 0h 3m 9s

Result table

Example no_semlab CeTA with_semlab CeTA
AG01___3.10.xml 4.52 0.12 4.87 0.05
AG01___3.12.xml 2.61 0.01 2.73 0.01
AG01___3.13.xml 3.89 0.03 3.61 0.03
AG01___3.15.xml 3.00 0.01 2.70 0.01
AG01___3.16.xml 2.75 0.01 2.86 0.01
AG01___3.17a.xml 3.09 0.02 3.16 0.02
AG01___3.17.xml 3.01 0.02 2.92 0.02
AG01___3.18.xml 3.07 0.01 3.05 0.01
AG01___3.19.xml 3.25 0.01 3.62 0.01
AG01___3.1.xml 2.90 0.01 3.03 0.01
AG01___3.21.xml 2.60 0.01 2.83 0.01
AG01___3.22.xml 2.89 0.02 3.09 0.02
AG01___3.23.xml 2.14 0.01 2.30 0.00
AG01___3.24.xml 2.48 0.01 2.41 0.01
AG01___3.26.xml 2.51 0.00 2.62 0.00
AG01___3.29.xml 2.40 0.00 2.49 0.00
AG01___3.2.xml 2.52 0.01 2.76 0.01
AG01___3.31.xml 2.15 0.01 2.21 0.00
AG01___3.33.xml 2.20 0.01 2.25 0.01
AG01___3.35.xml 2.26 0.01 2.30 0.01
AG01___3.36.xml 2.84 0.01 3.01 0.01
AG01___3.37.xml 2.50 0.01 2.92 0.01
AG01___3.38.xml 3.01 0.01 2.88 0.01
AG01___3.39.xml 3.65 0.02 3.65 0.02
AG01___3.40.xml 5.13 0.04 5.74 0.04
AG01___3.41.xml 2.58 0.01 2.61 0.01
AG01___3.42.xml 3.51 0.01 3.50 0.01
AG01___3.47.xml 2.83 0.01 2.97 0.01
AG01___3.48.xml 2.70 0.01 2.91 0.01
AG01___3.49.xml 2.71 0.01 3.44 0.01
AG01___3.4.xml 2.92 0.01 2.99 0.01
AG01___3.51.xml 2.27 0.01 2.34 0.01
AG01___3.52.xml 2.43 0.01 2.52 0.01
AG01___3.53a.xml 2.50 0.00 2.73 0.00
AG01___3.53b.xml 2.45 0.01 2.55 0.01
AG01___3.53.xml 3.68 0.03 3.89 0.03
AG01___3.54.xml 2.84 0.01 3.02 0.01
AG01___3.55.xml 4.40 0.04 4.74 0.04
AG01___3.56.xml 2.98 0.01 3.06 0.01
AG01___3.57.xml 3.62 0.03 3.81 0.03
AG01___3.5a.xml 3.30 0.02 3.14 0.02
AG01___3.5b.xml 3.46 0.03 3.42 0.02
AG01___3.5.xml 3.35 0.02 3.26 0.02
AG01___3.6a.xml 3.33 0.02 3.19 0.02
AG01___3.6b.xml 3.51 0.03 3.68 0.03
AG01___3.6.xml 3.37 0.02 3.33 0.02
AG01___3.7.xml 2.38 0.01 2.68 0.01
AG01___3.8a.xml 2.89 0.01 2.90 0.01
AG01___3.8b.xml 3.60 0.02 3.63 0.02
AG01___4.30c.xml 60.00 60.00
AotoYamada_05___001.xml 2.03 0.00 2.10 0.00
AotoYamada_05___002.xml 2.88 0.02 3.25 0.02
AotoYamada_05___003.xml 2.02 0.01 2.06 0.01
AotoYamada_05___004.xml 3.26 0.02 3.80 0.02
AotoYamada_05___005.xml 3.17 0.01 3.46 0.02
AotoYamada_05___006.xml 2.98 0.02 3.10 0.02
AotoYamada_05___007.xml 3.42 0.02 3.42 0.02
AotoYamada_05___009.xml 3.37 0.03 3.55 0.03
AotoYamada_05___010.xml 5.30 0.04 6.37 0.05
AotoYamada_05___011.xml 4.67 0.03 5.70 0.03
AotoYamada_05___012.xml 3.28 0.03 3.69 0.03
AotoYamada_05___013.xml 3.40 0.02 4.14 0.03
AotoYamada_05___014.xml 4.03 0.04 4.05 0.03
AotoYamada_05___015.xml 2.85 0.02 3.10 0.02
AotoYamada_05___016.xml 3.59 0.04 3.72 0.04
AotoYamada_05___017.xml 2.56 0.01 2.48 0.00
AotoYamada_05___019.xml 2.50 0.01 2.57 0.01
AotoYamada_05___020.xml 3.52 0.02 3.53 0.02
AotoYamada_05___021.xml 4.08 0.03 3.85 0.04
AotoYamada_05___022.xml 3.20 0.03 3.40 0.02
AotoYamada_05___023.xml 2.58 0.01 2.82 0.01
AotoYamada_05___024.xml 2.97 0.01 2.68 0.01
AotoYamada_05___025.xml 2.49 0.00 2.48 0.00
AotoYamada_05___026.xml 2.90 0.02 3.21 0.02
AotoYamada_05___027.xml 3.34 0.02 3.92 0.02
AotoYamada_05___028.xml 3.12 0.02 2.81 0.02
AotoYamada_05___Ex1SimplyTyped.xml 2.97 0.02 3.08 0.02
AotoYamada_05___Ex5TermProof.xml 10.71 60.00
Applicative_05___BTreeMember.xml 3.66 0.04 3.98 0.04
Applicative_05___Ex10Functional.xml 17.26 60.00
Applicative_05___Ex2_6_1Composition.xml 2.51 0.01 3.39 0.00
Applicative_05___Ex2_8_1ConstSubstFix.xml 2.08 0.01 2.10 0.01
Applicative_05___Ex2PrimRec.xml 12.23 29.62
Applicative_05___Ex3Lists.xml 4.01 0.04 4.07 0.03
Applicative_05___Ex4MapList.xml 2.90 0.01 2.82 0.01
Applicative_05___Ex5Folding.xml 11.07 60.00
Applicative_05___Ex5Sorting.xml 26.73 60.00
Applicative_05___Ex6_11.xml 2.64 0.01 3.44 0.01
Applicative_05___Ex6Folding.xml 9.47 60.00
Applicative_05___Ex6Recursor.xml 13.07 25.75
Applicative_05___Ex7_9.xml 28.87 60.00
Applicative_05___Ex7OrdinalRec.xml 23.32 60.00
Applicative_05___Ex7Sorting.xml 24.62 60.00
Applicative_05___Ex8Polymorphic.xml 3.18 0.02 3.55 0.02
Applicative_05___Ex9Maps.xml 60.00 60.00
Applicative_05___Hamming.xml 6.59 4.55
Applicative_05___mapDivMinusHard.xml 60.00 60.00
Applicative_05___mapDivMinus.xml 60.00 60.00
Applicative_05___nonTermF.xml 3.50 0.01 4.34 0.01
Applicative_05___ReverseLastInit.xml 3.14 0.02 3.28 0.02
Applicative_05___TakeDropWhile.xml 3.47 0.03 3.54 0.03
Applicative_05___termMonTypes.xml 2.05 0.01 2.09 0.01
Applicative_05___TreeFlatten.xml 3.65 0.03 3.73 0.03
Applicative_05___TreeHeight.xml 3.89 0.03 3.99 0.04
Applicative_05___TreeLevels.xml 4.48 0.05 4.74 0.05
Applicative_05___TreeMap.xml 3.11 0.02 3.39 0.02
Applicative_05___TreeSize.xml 3.74 0.03 3.71 0.03
Applicative_05___TypeEx1.xml 3.07 0.01 3.67 0.01
Applicative_05___TypeEx3.xml 2.06 0.01 2.19 0.01
Applicative_05___TypeEx5.xml 2.02 0.00 2.09 0.00
Applicative_first_order_05___01.xml 3.65 0.04 3.89 0.04
Applicative_first_order_05___02.xml 3.42 0.04 3.81 0.04
Applicative_first_order_05___06.xml 4.04 0.04 4.33 0.04
Applicative_first_order_05___08.xml 4.35 0.05 4.55 0.05
Applicative_first_order_05___11.xml 6.54 0.11 7.58 0.11
Applicative_first_order_05___12.xml 5.18 0.07 5.36 0.06
Applicative_first_order_05___13.xml 60.00 60.00
Applicative_first_order_05___17.xml 4.33 0.05 4.79 0.05
Applicative_first_order_05___18.xml 3.63 0.04 4.11 0.04
Applicative_first_order_05___21.xml 4.78 0.06 4.96 0.06
Applicative_first_order_05___29.xml 4.24 0.05 5.00 0.05
Applicative_first_order_05___30.xml 5.05 0.06 4.84 0.05
Applicative_first_order_05___3.10.xml 60.00 60.00
Applicative_first_order_05___3.13.xml 60.00 60.00
Applicative_first_order_05___3.16.xml 4.69 0.05 6.14 0.05
Applicative_first_order_05___3.18.xml 60.00 60.00
Applicative_first_order_05___31.xml 4.38 0.05 4.69 0.05
Applicative_first_order_05___3.22.xml 5.77 0.08 7.06 0.08
Applicative_first_order_05___3.25.xml 60.00 18.15 0.06
Applicative_first_order_05___3.27.xml 4.00 0.04 3.70 0.04
Applicative_first_order_05___3.2.xml 60.00 60.00
Applicative_first_order_05___3.32.xml 3.16 0.03 3.50 0.03
Applicative_first_order_05___3.36.xml 7.75 60.00
Applicative_first_order_05___3.38.xml 42.67 60.00
Applicative_first_order_05___33.xml 60.00 60.00
Applicative_first_order_05___3.40.xml 60.00 60.00
Applicative_first_order_05___3.45.xml 4.40 0.04 4.71 0.04
Applicative_first_order_05___3.48.xml 4.65 0.06 5.27 0.06
Applicative_first_order_05___3.52.xml 3.85 0.04 4.36 0.05
Applicative_first_order_05___3.55.xml 60.00 60.00
Applicative_first_order_05___3.57.xml 60.00 60.00
Applicative_first_order_05___3.6.xml 60.00 60.00
Applicative_first_order_05___3.8.xml 60.00 60.00
Applicative_first_order_05___hydra.xml 4.07 0.05 4.29 0.05
Applicative_first_order_05___minsort.xml 21.13 60.00
Applicative_first_order_05___motivation.xml 3.78 0.04 4.29 0.04
Applicative_first_order_05___perfect2.xml 60.00 60.00
Applicative_first_order_05___perfect.xml 5.98 0.09 6.91 0.09
AProVE_04___AAECC-ring.xml 60.00 60.00
AProVE_04___AAECC.xml 60.00 60.00
AProVE_04___fac.xml 3.06 0.01 3.18 0.02
AProVE_04___forward_instantiation2.xml 1.65 2.75
AProVE_04___forward_instantiation.xml 1.61 2.09
AProVE_04___IJCAR_12.xml 3.18 0.02 3.18 0.02
AProVE_04___IJCAR_18.xml 4.34 0.04 4.21 0.04
AProVE_04___IJCAR_1.xml 2.82 0.01 2.99 0.17
AProVE_04___IJCAR_26a.xml 4.73 0.05 5.23 0.06
AProVE_04___IJCAR_26.xml 5.17 0.05 5.47 0.05
AProVE_04___improved_usable2.xml 2.52 0.01 2.54 0.01
AProVE_04___improved_usable.xml 2.56 0.01 2.53 0.01
AProVE_04___JFP_Ex31.xml 60.00 60.00
AProVE_04___JFP_Ex51.xml 4.11 0.04 4.60 0.04
AProVE_04___Liveness6.1.xml 3.25 0.03 4.22 0.03
AProVE_04___Liveness6.2.xml 3.86 0.02 3.79 0.02
AProVE_04___Liveness6.3.xml 12.93 0.05 14.67 0.05
AProVE_04___Liveness6.4.xml 60.00 60.00
AProVE_04___Liveness8.xml 4.64 0.04 5.04 0.04
AProVE_04___Liveness_WRS.xml 22.97 0.07 30.23 0.07
AProVE_04___LPAR_intlist.xml 2.67 0.01 2.71 0.01
AProVE_04___rta1.xml 3.09 0.01 3.10 0.01
AProVE_04___rta2.xml 2.40 0.00 2.59 0.00
AProVE_04___rta3.xml 2.72 0.01 3.10 0.01
AProVE_06___div_notCeTermin.xml 60.00 60.00
AProVE_06___div_notTermin.xml 60.00 60.00
AProVE_06___factorial1.xml 3.94 0.02 4.16 0.02
AProVE_06___factorial2.xml 6.96 60.00
AProVE_06___identity.xml 3.65 0.02 4.14 0.03
AProVE_06___logarithm.xml 60.00 60.00
AProVE_06___mapHard.xml 60.00 60.00
AProVE_06___modulo.xml 8.78 60.00
AProVE_06___nonterm.xml 60.00 60.00
AProVE_06___quicksort.xml 6.86 0.05 15.16 0.05
AProVE_06___quot.xml 21.13 60.00
AProVE_06___sizeChange.xml 60.00 50.64 5.54
AProVE_06___tower_sizeChange.xml 9.02 60.00
AProVE_06___tower.xml 3.80 0.03 4.16 0.03
AProVE_07___kabasci01.xml 9.75 0.13 11.08 0.13
AProVE_07___kabasci02.xml 5.77 0.06 6.13 0.06
AProVE_07___kabasci03.xml 4.73 0.03 4.95 0.03
AProVE_07___kabasci04.xml 3.87 0.02 4.34 0.02
AProVE_07___kabasci05.xml 4.68 0.03 4.50 0.03
AProVE_07___kabasci06.xml 60.00 60.00
AProVE_07___otto01.xml 60.00 60.00
AProVE_07___otto02.xml 7.41 60.00
AProVE_07___otto03.xml 5.93 60.00
AProVE_07___otto04.xml 60.00 60.00
AProVE_07___otto05.xml 3.89 0.02 3.90 0.02
AProVE_07___otto06.xml 15.98 29.33
AProVE_07___otto07.xml 5.75 43.10
AProVE_07___otto08.xml 60.00 60.00
AProVE_07___otto09.xml 29.50 60.00
AProVE_07___otto10.xml 35.80 60.00
AProVE_07___otto11.xml 6.69 60.00
AProVE_07___otto12.xml 10.36 60.00
AProVE_07___otto13.xml 60.00 60.00
AProVE_07___thiemann01.xml 18.69 60.00
AProVE_07___thiemann02.xml 60.00 60.00
AProVE_07___thiemann03.xml 60.00 60.00
AProVE_07___thiemann04.xml 55.54 60.00
AProVE_07___thiemann05.xml 23.86 60.00
AProVE_07___thiemann06.xml 60.00 60.00
AProVE_07___thiemann07.xml 60.00 60.00
AProVE_07___thiemann08.xml 3.29 0.02 3.50 0.02
AProVE_07___thiemann09.xml 4.23 0.03 4.36 0.03
AProVE_07___thiemann10.xml 3.69 0.02 4.13 0.02
AProVE_07___thiemann11.xml 60.00 60.00
AProVE_07___thiemann12.xml 3.79 0.02 4.14 0.02
AProVE_07___thiemann13.xml 60.00 60.00
AProVE_07___thiemann14.xml 14.87 0.04 15.39 0.04
AProVE_07___thiemann15.xml 3.81 0.02 4.08 0.02
AProVE_07___thiemann16.xml 5.67 0.04 6.55 0.04
AProVE_07___thiemann17.xml 4.12 0.02 4.90 0.02
AProVE_07___thiemann18.xml 6.88 0.05 6.98 0.05
AProVE_07___thiemann19.xml 60.00 60.00
AProVE_07___thiemann20.xml 60.00 60.00
AProVE_07___thiemann21.xml 60.00 60.00
AProVE_07___thiemann22.xml 60.00 60.00
AProVE_07___thiemann23.xml 60.00 60.00
AProVE_07___thiemann24.xml 8.76 60.00
AProVE_07___thiemann25.xml 8.07 60.00
AProVE_07___thiemann26.xml 60.00 60.00
AProVE_07___thiemann27.xml 4.91 60.00
AProVE_07___thiemann28.xml 60.00 60.00
AProVE_07___thiemann29.xml 60.00 60.00
AProVE_07___thiemann30.xml 6.58 60.00
AProVE_07___thiemann31.xml 60.00 60.00
AProVE_07___thiemann32.xml 60.00 60.00
AProVE_07___thiemann33.xml 31.68 60.00
AProVE_07___thiemann34.xml 32.19 60.00
AProVE_07___thiemann35.xml 51.14 60.00
AProVE_07___thiemann36.xml 60.00 60.00
AProVE_07___thiemann37.xml 16.88 60.00
AProVE_07___thiemann38.xml 38.18 60.00
AProVE_07___thiemann39.xml 27.91 60.00
AProVE_07___thiemann40.xml 2.81 0.01 3.97 0.01
AProVE_07___thiemann41.xml 7.12 60.00
AProVE_07___wiehe01.xml 8.53 0.04 10.66 0.04
AProVE_07___wiehe02.xml 9.47 0.06 11.02 0.06
AProVE_07___wiehe03.xml 10.17 0.06 11.60 0.07
AProVE_07___wiehe05.xml 9.30 0.04 10.21 0.05
AProVE_07___wiehe06.xml 9.08 0.05 10.05 0.05
AProVE_07___wiehe07.xml 60.00 60.00
AProVE_07___wiehe08.xml 9.59 0.05 11.94 0.05
AProVE_07___wiehe09.xml 9.24 0.06 10.47 0.06
AProVE_07___wiehe11.xml 10.93 0.08 12.30 0.08
AProVE_07___wiehe12.xml 12.68 0.09 13.99 0.09
AProVE_08___id_inc.xml 4.04 0.02 4.81 0.02
AProVE_08___log.xml 60.00 60.00
AProVE_08___parting01_reverse.xml 60.00 60.00
AProVE_08___parting02_doublelist.xml 60.00 60.00
AProVE_08___parting03_minsort.xml 60.00 60.00
AProVE_08___parting04_maxsort_h.xml 60.00 60.00
AProVE_08___parting05_maxsort.xml 60.00 60.00
AProVE_08___round_nonterm.xml 2.05 0.01 2.05 0.01
AProVE_08___round.xml 4.05 7.40
AProVE_08___thiemann40_modified.xml 13.71 0.02 13.88 0.02
AProVE_09_Inductive___divhard.xml 25.51 60.00
AProVE_09_Inductive___div.xml 25.59 60.00
AProVE_09_Inductive___gcd2.xml 60.00 60.00
AProVE_09_Inductive___gcdhard.xml 60.00 60.00
AProVE_09_Inductive___gcd.xml 24.49 60.00
AProVE_09_Inductive___log.xml 60.00 60.00
AProVE_09_Inductive___maxsortcondition.xml 39.52 60.00
AProVE_09_Inductive___maxsort.xml 60.00 60.00
AProVE_09_Inductive___minsort.xml 60.00 60.00
AProVE_09_Inductive___mod.xml 60.00 60.00
AProVE_09_Inductive___qsortlast.xml 60.00 60.00
AProVE_09_Inductive___qsortmiddle.xml 60.00 60.00
AProVE_09_Inductive___qsort.xml 60.00 60.00
AProVE_09_Inductive___zerolist.xml 12.43 60.00
AProVE_10___andIsNat.xml 60.00 60.00
AProVE_10___challenge_fab.xml 60.00 60.00
AProVE_10___double.xml 18.32 60.00
AProVE_10___downfrom.xml 60.00 60.00
AProVE_10___ex1.xml 5.43 13.19
AProVE_10___ex2.xml 60.00 60.00
AProVE_10___ex3.xml 21.82 52.23
AProVE_10___ex4.xml 60.00 60.00
AProVE_10___ex5.xml 2.14 0.00 3.31 0.00
AProVE_10___halfdouble.xml 60.00 60.00
AProVE_10___isList.xml 2.02 0.00 2.06 0.00
AProVE_10___isNat.xml 10.82 18.94
AProVE_10___scnp.xml 2.81 0.01 2.54 0.01
AProVE_10___Zantema06-03-modified.xml 60.00 60.00
Beerendonk_07___10.xml 4.66 0.03 6.11 0.03
Beerendonk_07___11.xml 60.00 60.00
Beerendonk_07___12.xml 60.00 60.00
Beerendonk_07___13.xml 60.00 60.00
Beerendonk_07___14.xml 4.87 60.00
Beerendonk_07___15.xml 60.00 60.00
Beerendonk_07___16.xml 60.00 60.00
Beerendonk_07___17.xml 60.00 60.00
Beerendonk_07___18.xml 60.00 60.00
Beerendonk_07___19.xml 60.00 60.00
Beerendonk_07___1.xml 2.91 0.01 3.19 0.01
Beerendonk_07___20.xml 60.00 60.00
Beerendonk_07___21.xml 60.00 60.00
Beerendonk_07___22.xml 3.92 0.02 4.76 0.02
Beerendonk_07___23.xml 3.70 0.03 4.05 0.02
Beerendonk_07___24.xml 60.00 60.00
Beerendonk_07___2.xml 3.38 0.01 3.59 0.01
Beerendonk_07___3.xml 8.11 60.00
Beerendonk_07___4.xml 4.63 30.68
Beerendonk_07___5.xml 3.43 0.02 3.92 0.02
Beerendonk_07___6.xml 3.23 0.01 3.09 0.01
Beerendonk_07___7.xml 3.35 0.01 3.35 0.01
Beerendonk_07___8.xml 3.52 0.02 3.95 0.02
Beerendonk_07___9.xml 3.26 0.02 3.66 0.02
Bouchare_06___01.xml 3.76 0.01 2.62 0.02
Bouchare_06___02.xml 5.44 0.02 2.50 0.02
Bouchare_06___03.xml 3.55 0.01 3.80 0.01
Bouchare_06___04.xml 4.84 0.02 2.55 0.02
Bouchare_06___05.xml 4.37 0.02 5.72 0.02
Bouchare_06___06.xml 4.21 0.02 5.43 0.02
Bouchare_06___07.xml 4.05 0.01 3.67 0.03
Bouchare_06___08.xml 3.69 0.01 5.16 0.01
Bouchare_06___09.xml 5.73 0.01 6.77 0.01
Bouchare_06___10.xml 6.96 0.03 8.36 0.03
Bouchare_06___11.xml 5.80 0.02 6.88 0.02
Bouchare_06___12.xml 4.41 0.02 5.47 0.02
Bouchare_06___13.xml 3.45 0.01 4.96 0.01
Bouchare_06___14.xml 3.64 0.01 2.48 0.02
Bouchare_06___15.xml 5.30 0.03 2.42 0.01
Bouchare_06___16.xml 3.62 0.01 2.35 0.01
Bouchare_06___17.xml 3.65 0.01 2.41 0.01
Bouchare_06___18.xml 3.93 0.01 5.13 0.01
CiME_04___ack_prolog.xml 2.82 0.01 2.93 0.01
CiME_04___append-hard.xml 2.76 0.01 2.86 0.01
CiME_04___append-wrong.xml 2.81 0.01 2.85 0.01
CiME_04___append.xml 2.56 0.01 2.68 0.01
CiME_04___big.xml 10.08 0.13 9.74 0.13
CiME_04___boolean_rings.xml 2.43 0.01 2.50 0.01
CiME_04___dpqs.xml 2.26 0.01 2.31 0.01
CiME_04___fact-hard.xml 60.00 60.00
CiME_04___filliatre2.xml 3.58 0.04 3.86 0.04
CiME_04___filliatre3.xml 3.62 0.04 3.63 0.05
CiME_04___filliatre.xml 3.23 0.03 3.52 0.03
CiME_04___intersect.xml 4.15 0.04 4.17 0.04
CiME_04___list-sum-prod-assoc-append.xml 4.17 0.03 4.16 0.03
CiME_04___list-sum-prod-assoc.xml 3.71 0.02 4.15 0.03
CiME_04___list-sum-prod-bin-assoc-distr-app.xml 4.71 0.05 4.75 0.05
CiME_04___list-sum-prod-bin-assoc.xml 3.80 0.03 4.12 0.03
CiME_04___list-sum-prod-bin.xml 3.52 0.03 3.70 0.03
CiME_04___list-sum-prod.xml 3.18 0.01 3.28 0.01
CiME_04___log2.xml 5.16 0.05 5.54 0.05
CiME_04___lse.xml 4.70 0.05 4.77 0.06
CiME_04___maude2.xml 60.00 60.00
CiME_04___mucrl1.xml 9.09 0.28 9.50 0.28
CiME_04___ternary-hard.xml 5.25 0.05 5.37 0.06
CiME_04___ternary.xml 4.52 0.05 4.85 0.05
CiME_04___tree.xml 6.62 0.09 6.46 0.08
Der95___01.xml 2.00 0.01 2.03 0.01
Der95___02.xml 1.98 0.00 2.00 0.00
Der95___03.xml 2.14 0.00 2.18 0.00
Der95___04.xml 2.15 0.00 2.20 0.00
Der95___06.xml 2.27 0.00 2.34 0.00
Der95___07.xml 2.24 0.01 2.30 0.01
Der95___08.xml 2.65 0.01 2.65 0.01
Der95___09.xml 2.49 0.00 2.53 0.00
Der95___11.xml 3.00 0.02 2.95 0.02
Der95___12.xml 3.49 0.02 3.25 0.01
Der95___13.xml 4.10 0.02 4.62 0.02
Der95___17.xml 2.80 0.01 2.70 0.01
Der95___18.xml 2.15 0.00 2.49 0.00
Der95___20.xml 2.62 0.01 2.85 0.01
Der95___21.xml 2.69 0.01 3.04 0.01
Der95___27.xml 2.52 0.01 2.67 0.00
Der95___28.xml 2.58 0.00 2.71 0.00
Der95___30.xml 2.69 0.01 2.72 0.01
Der95___31.xml 2.51 0.01 2.67 0.01
Der95___32.xml 2.99 0.01 3.30 0.01
Der95___33.xml 60.00 60.00
Endrullis_06___direct.xml 3.18 0.01 3.33 0.01
Endrullis_06___labeling.xml 3.58 7.81 0.11
Endrullis_06___linear1.xml 3.61 0.01 3.99 0.02
Endrullis_06___linear2.xml 5.39 0.02 5.57 0.02
Endrullis_06___pair2hard.xml 3.69 0.01 3.68 0.02
Endrullis_06___pair2simple1.xml 2.86 0.01 2.95 0.01
Endrullis_06___pair2simple2.xml 2.66 0.01 2.90 0.01
Endrullis_06___pair3hard.xml 60.00 19.90 0.07
Endrullis_06___pair3rotate.xml 3.41 0.01 3.70 0.01
Endrullis_06___pair3swap.xml 3.91 0.01 4.47 0.01
Endrullis_06___quadruple1.xml 3.11 0.01 3.36 0.01
Endrullis_06___quadruple2.xml 3.54 0.01 4.17 0.01
Gebhardt_06___01.xml 60.00 60.00
Gebhardt_06___02.xml 60.00 60.00
Gebhardt_06___03.xml 60.00 60.00
Gebhardt_06___04.xml 4.58 0.01 6.41 0.01
Gebhardt_06___05.xml 60.00 60.00
Gebhardt_06___06.xml 60.00 60.00
Gebhardt_06___07.xml 5.51 0.01 5.06 0.01
Gebhardt_06___08.xml 60.00 60.00
Gebhardt_06___09.xml 22.74 0.01 27.71 0.01
Gebhardt_06___10.xml 60.00 60.00
Gebhardt_06___11.xml 4.62 0.01 5.23 0.01
Gebhardt_06___12.xml 60.00 60.00
Gebhardt_06___13.xml 60.00 60.00
Gebhardt_06___14.xml 4.73 0.01 6.06 0.01
Gebhardt_06___15.xml 60.00 60.00
Gebhardt_06___16.xml 5.18 0.01 5.02 0.01
Gebhardt_06___17.xml 4.31 0.01 5.62 0.01
Gebhardt_06___18.xml 29.58 0.02 45.49 0.02
Gebhardt_06___19.xml 60.00 60.00
Gebhardt_06___20.xml 60.00 60.00
GTSSK07___cade01.xml 7.11 60.00
GTSSK07___cade03.xml 5.39 40.70
GTSSK07___cade04t.xml 3.58 40.05
GTSSK07___cade05t.xml 60.00 60.00
GTSSK07___cade06.xml 12.44 60.00
GTSSK07___cade07.xml 60.00 60.00
GTSSK07___cade08.xml 20.76 60.00
GTSSK07___cade09.xml 60.00 60.00
GTSSK07___cade10.xml 60.00 60.00
GTSSK07___cade11.xml 60.00 60.00
GTSSK07___cade12t.xml 60.00 60.00
GTSSK07___cade13t.xml 15.50 60.00
GTSSK07___cade14.xml 12.84 60.00
GTSSK07___cade15.xml 60.00 60.00
GTSSK07___cade16.xml 50.49 60.00
GTSSK07___cade17.xml 60.00 60.00
HirokawaMiddeldorp_04___n002.xml 2.33 0.00 2.13 0.00
HirokawaMiddeldorp_04___n003.xml 2.09 0.00 2.12 0.00
HirokawaMiddeldorp_04___n004.xml 2.11 0.00 2.12 0.00
HirokawaMiddeldorp_04___n005.xml 2.11 0.00 2.12 0.00
HirokawaMiddeldorp_04___n006.xml 2.12 0.00 2.13 0.00
HirokawaMiddeldorp_04___n007.xml 2.01 0.00 2.01 0.00
HirokawaMiddeldorp_04___n008.xml 2.09 0.00 2.13 0.00
HirokawaMiddeldorp_04___t000.xml 8.82 0.09 8.80 0.09
HirokawaMiddeldorp_04___t001.xml 4.03 0.03 4.69 0.03
HirokawaMiddeldorp_04___t002.xml 6.37 29.47
HirokawaMiddeldorp_04___t003.xml 3.65 0.02 3.53 0.02
HirokawaMiddeldorp_04___t004.xml 2.48 0.01 2.56 0.01
HirokawaMiddeldorp_04___t005.xml 11.32 0.29 12.31 0.27
HirokawaMiddeldorp_04___t006.xml 2.45 0.00 2.47 0.01
HirokawaMiddeldorp_04___t007.xml 2.19 0.01 2.30 0.01
HirokawaMiddeldorp_04___t008.xml 2.62 0.01 2.65 0.01
HirokawaMiddeldorp_04___t009.xml 60.00 60.00
HirokawaMiddeldorp_04___t010.xml 2.19 0.00 2.28 0.01
HirokawaMiddeldorp_04___t011.xml 2.55 0.01 2.65 0.00
HirokawaMiddeldorp_04___t012.xml 2.82 0.02 3.05 0.02
HirokawaMiddeldorp_04___t013.xml 3.06 0.01 2.97 0.01
HirokawaMiddeldorp_04___t014.xml 3.17 0.01 3.21 0.02
ICFP_2010___107193.xml 60.00 60.00
ICFP_2010___107220.xml 60.00 60.00
ICFP_2010___107236.xml 60.00 60.00
ICFP_2010___123759.xml 60.00 60.00
ICFP_2010___124211.xml 60.00 60.00
ICFP_2010___124269.xml 60.00 60.00
ICFP_2010___124791.xml 60.00 60.00
ICFP_2010___127538.xml 60.00 60.00
ICFP_2010___128056.xml 60.00 60.00
ICFP_2010___128182.xml 60.00 13.66 3.03
ICFP_2010___128280.xml 60.00 12.11 2.81
ICFP_2010___128430.xml 60.00 12.59 3.01
ICFP_2010___128486.xml 60.00 60.00
ICFP_2010___128515.xml 60.00 60.00
ICFP_2010___128550.xml 60.00 60.00
ICFP_2010___128620.xml 60.00 13.08 2.50
ICFP_2010___128691.xml 60.00 12.18 3.19
ICFP_2010___130161.xml 60.00 60.00
ICFP_2010___130304.xml 60.00 60.00
ICFP_2010___130472.xml 60.00 60.00
ICFP_2010___130962.xml 60.00 60.00
ICFP_2010___131633.xml 60.00 60.00
ICFP_2010___131982.xml 60.00 60.00
ICFP_2010___132235.xml 60.00 60.00
ICFP_2010___132478.xml 60.00 60.00
ICFP_2010___132540.xml 60.00 14.29 2.86
ICFP_2010___132611.xml 8.29 0.53 8.30 0.53
ICFP_2010___132622.xml 60.00 11.77 2.73
ICFP_2010___132720.xml 60.00 60.00
ICFP_2010___132738.xml 60.00 14.22 3.15
ICFP_2010___132782.xml 60.00 10.93 3.01
ICFP_2010___132833.xml 60.00 60.00
ICFP_2010___132848.xml 60.00 60.00
ICFP_2010___132864.xml 60.00 60.00
ICFP_2010___132920.xml 60.00 60.00
ICFP_2010___132957.xml 60.00 16.33 3.80
ICFP_2010___132969.xml 60.00 60.00
ICFP_2010___133010.xml 60.00 60.00
ICFP_2010___133079.xml 60.00 60.00
ICFP_2010___133159.xml 60.00 60.00
ICFP_2010___133236.xml 60.00 60.00
ICFP_2010___133432.xml 60.00 60.00
ICFP_2010___133486.xml 60.00 60.00
ICFP_2010___133532.xml 60.00 60.00
ICFP_2010___133827.xml 7.26 0.59 8.58 0.58
ICFP_2010___133881.xml 60.00 60.00
ICFP_2010___134918.xml 60.00 60.00
ICFP_2010___135115.xml 60.00 60.00
ICFP_2010___135328.xml 60.00 60.00
ICFP_2010___135410.xml 60.00 60.00
ICFP_2010___135505.xml 60.00 60.00
ICFP_2010___135601.xml 60.00 60.00
ICFP_2010___135604.xml 60.00 60.00
ICFP_2010___135652.xml 60.00 60.00
ICFP_2010___135659.xml 60.00 39.69 4.69
ICFP_2010___135714.xml 60.00 60.00
ICFP_2010___135782.xml 60.00 60.00
ICFP_2010___135936.xml 60.00 60.00
ICFP_2010___136051.xml 60.00 60.00
ICFP_2010___136280.xml 60.00 60.00
ICFP_2010___136323.xml 60.00 60.00
ICFP_2010___136354.xml 60.00 60.00
ICFP_2010___136463.xml 60.00 60.00
ICFP_2010___136497.xml 60.00 60.00
ICFP_2010___136534.xml 60.00 60.00
ICFP_2010___136562.xml 60.00 60.00
ICFP_2010___136571.xml 60.00 60.00
ICFP_2010___136601.xml 60.00 60.00
ICFP_2010___136623.xml 60.00 60.00
ICFP_2010___136693.xml 60.00 60.00
ICFP_2010___136934.xml 60.00 60.00
ICFP_2010___137087.xml 60.00 60.00
ICFP_2010___137136.xml 60.00 60.00
ICFP_2010___137316.xml 60.00 60.00
ICFP_2010___137404.xml 60.00 60.00
ICFP_2010___137621.xml 60.00 60.00
ICFP_2010___137623.xml 5.95 0.42 7.63 0.42
ICFP_2010___137715.xml 60.00 60.00
ICFP_2010___137799.xml 60.00 60.00
ICFP_2010___137809.xml 60.00 60.00
ICFP_2010___137956.xml 60.00 60.00
ICFP_2010___138089.xml 60.00 60.00
ICFP_2010___138142.xml 7.49 0.57 8.93 0.57
ICFP_2010___138194.xml 60.00 60.00
ICFP_2010___138254.xml 9.25 0.62 10.20 0.55
ICFP_2010___138269.xml 60.00 60.00
ICFP_2010___138330.xml 60.00 60.00
ICFP_2010___138468.xml 60.00 60.00
ICFP_2010___138477.xml 60.00 60.00
ICFP_2010___138993.xml 60.00 60.00
ICFP_2010___139004.xml 60.00 60.00
ICFP_2010___139018.xml 60.00 60.00
ICFP_2010___139025.xml 60.00 13.50 2.76
ICFP_2010___139036.xml 60.00 60.00
ICFP_2010___139100.xml 60.00 60.00
ICFP_2010___139163.xml 60.00 60.00
ICFP_2010___139167.xml 60.00 60.00
ICFP_2010___139174.xml 60.00 60.00
ICFP_2010___139180.xml 60.00 14.83 2.58
ICFP_2010___139185.xml 60.00 12.05 3.12
ICFP_2010___139190.xml 60.00 11.23 2.22
ICFP_2010___139214.xml 60.00 12.60 3.12
ICFP_2010___139236.xml 60.00 60.00
ICFP_2010___139256.xml 60.00 60.00
ICFP_2010___139282.xml 60.00 60.00
ICFP_2010___139310.xml 60.00 15.32 3.28
ICFP_2010___139378.xml 60.00 60.00
ICFP_2010___140287.xml 60.00 60.00
ICFP_2010___140318.xml 60.00 60.00
ICFP_2010___140359.xml 60.00 13.90 2.80
ICFP_2010___140631.xml 60.00 60.00
ICFP_2010___140639.xml 60.00 12.03 1.84
ICFP_2010___140654.xml 60.00 19.67 2.07
ICFP_2010___140659.xml 60.00 60.00
ICFP_2010___140664.xml 60.00 60.00
ICFP_2010___142142.xml 60.00 11.13 1.79
ICFP_2010___142146.xml 60.00 9.76 2.01
ICFP_2010___142150.xml 60.00 60.00
ICFP_2010___142157.xml 60.00 60.00
ICFP_2010___147437.xml 60.00 60.00
ICFP_2010___148543.xml 60.00 60.00
ICFP_2010___149251.xml 60.00 60.00
ICFP_2010___149277.xml 60.00 60.00
ICFP_2010___149297.xml 60.00 60.00
ICFP_2010___149319.xml 60.00 60.00
ICFP_2010___149361.xml 60.00 60.00
ICFP_2010___149415.xml 60.00 60.00
ICFP_2010___149633.xml 60.00 60.00
ICFP_2010___149713.xml 60.00 60.00
ICFP_2010___149849.xml 60.00 60.00
ICFP_2010___149915.xml 60.00 60.00
ICFP_2010___150067.xml 60.00 60.00
ICFP_2010___150188.xml 60.00 60.00
ICFP_2010___150258.xml 60.00 60.00
ICFP_2010___150468.xml 60.00 60.00
ICFP_2010___150630.xml 60.00 60.00
ICFP_2010___150725.xml 60.00 60.00
ICFP_2010___150815.xml 60.00 60.00
ICFP_2010___150839.xml 60.00 60.00
ICFP_2010___150877.xml 60.00 60.00
ICFP_2010___151247.xml 60.00 60.00
ICFP_2010___152694.xml 60.00 60.00
ICFP_2010___152786.xml 60.00 60.00
ICFP_2010___152865.xml 60.00 60.00
ICFP_2010___152949.xml 60.00 60.00
ICFP_2010___153034.xml 60.00 60.00
ICFP_2010___153090.xml 60.00 60.00
ICFP_2010___153170.xml 60.00 60.00
ICFP_2010___153243.xml 60.00 60.00
ICFP_2010___153288.xml 60.00 60.00
ICFP_2010___153371.xml 60.00 60.00
ICFP_2010___153444.xml 60.00 60.00
ICFP_2010___157150.xml 39.59 0.78 39.28 0.78
ICFP_2010___157161.xml 60.00 60.00
ICFP_2010___157275.xml 60.00 60.00
ICFP_2010___157388.xml 18.53 0.51 17.60 0.51
ICFP_2010___157436.xml 60.00 60.00
ICFP_2010___157466.xml 60.00 60.00
ICFP_2010___157593.xml 15.75 0.31 17.84 0.31
ICFP_2010___157603.xml 60.00 60.00
ICFP_2010___157713.xml 60.00 60.00
ICFP_2010___158152.xml 60.00 60.00
ICFP_2010___158208.xml 60.00 60.00
ICFP_2010___158342.xml 60.00 60.00
ICFP_2010___158477.xml 60.00 60.00
ICFP_2010___158620.xml 60.00 60.00
ICFP_2010___159731.xml 60.00 60.00
ICFP_2010___160068.xml 60.00 60.00
ICFP_2010___160210.xml 60.00 60.00
ICFP_2010___160234.xml 15.11 0.26 16.26 0.26
ICFP_2010___160254.xml 60.00 60.00
ICFP_2010___160263.xml 9.85 0.17 13.83 0.28
ICFP_2010___160324.xml 60.00 60.00
ICFP_2010___160364.xml 60.00 60.00
ICFP_2010___160398.xml 60.00 60.00
ICFP_2010___160427.xml 60.00 60.00
ICFP_2010___160462.xml 60.00 60.00
ICFP_2010___160475.xml 60.00 60.00
ICFP_2010___160660.xml 60.00 60.00
ICFP_2010___161519.xml 60.00 60.00
ICFP_2010___161533.xml 60.00 60.00
ICFP_2010___161593.xml 60.00 60.00
ICFP_2010___161864.xml 60.00 60.00
ICFP_2010___161917.xml 60.00 60.00
ICFP_2010___161930.xml 60.00 60.00
ICFP_2010___162016.xml 60.00 60.00
ICFP_2010___162075.xml 60.00 60.00
ICFP_2010___162095.xml 60.00 60.00
ICFP_2010___162244.xml 60.00 60.00
ICFP_2010___165713.xml 60.00 60.00
ICFP_2010___165755.xml 60.00 60.00
ICFP_2010___165904.xml 60.00 60.00
ICFP_2010___165936.xml 60.00 60.00
ICFP_2010___165975.xml 60.00 60.00
ICFP_2010___166001.xml 60.00 60.00
ICFP_2010___166465.xml 60.00 60.00
ICFP_2010___166493.xml 60.00 60.00
ICFP_2010___166558.xml 60.00 60.00
ICFP_2010___166848.xml 60.00 60.00
ICFP_2010___167041.xml 60.00 60.00
ICFP_2010___167087.xml 60.00 60.00
ICFP_2010___167240.xml 60.00 60.00
ICFP_2010___167294.xml 60.00 60.00
ICFP_2010___167310.xml 60.00 60.00
ICFP_2010___167391.xml 60.00 60.00
ICFP_2010___167433.xml 60.00 60.00
ICFP_2010___167452.xml 60.00 60.00
ICFP_2010___167526.xml 60.00 60.00
ICFP_2010___167636.xml 60.00 60.00
ICFP_2010___167742.xml 60.00 60.00
ICFP_2010___180915.xml 60.00 60.00
ICFP_2010___182946.xml 60.00 60.00
ICFP_2010___183803.xml 60.00 60.00
ICFP_2010___184957.xml 60.00 60.00
ICFP_2010___185453.xml 60.00 60.00
ICFP_2010___185628.xml 60.00 60.00
ICFP_2010___186023.xml 7.53 1.27 9.37 1.28
ICFP_2010___186222.xml 60.00 60.00
ICFP_2010___186333.xml 60.00 60.00
ICFP_2010___186617.xml 60.00 60.00
ICFP_2010___186775.xml 60.00 60.00
ICFP_2010___186810.xml 60.00 60.00
ICFP_2010___186919.xml 60.00 60.00
ICFP_2010___186973.xml 60.00 60.00
ICFP_2010___187254.xml 6.98 1.01 8.52 1.03
ICFP_2010___187837.xml 60.00 60.00
ICFP_2010___188004.xml 60.00 60.00
ICFP_2010___188238.xml 60.00 60.00
ICFP_2010___188261.xml 60.00 60.00
ICFP_2010___188296.xml 60.00 60.00
ICFP_2010___188674.xml 8.75 1.43 10.20 1.44
ICFP_2010___188696.xml 60.00 60.00
ICFP_2010___211471.xml 3.03 0.15 3.83 0.14
ICFP_2010___211639.xml 4.08 0.49 3.83 0.46
ICFP_2010___211857.xml 60.00 10.30 0.12
ICFP_2010___211915.xml 15.38 0.21 15.29 0.21
ICFP_2010___211960.xml 16.39 0.24 16.16 0.24
ICFP_2010___211978.xml 5.71 0.19 5.75 0.19
ICFP_2010___212026.xml 60.00 32.90 0.32
ICFP_2010___212037.xml 25.96 0.47 24.85 0.48
ICFP_2010___212043.xml 60.00 60.00
ICFP_2010___212062.xml 5.45 0.16 5.76 0.15
ICFP_2010___212094.xml 17.26 0.23 60.00
ICFP_2010___212117.xml 17.10 0.27 17.43 0.27
ICFP_2010___212189.xml 60.00 60.00
ICFP_2010___212263.xml 60.00 9.67 0.12
ICFP_2010___212308.xml 60.00 60.00
ICFP_2010___212364.xml 60.00 60.00
ICFP_2010___212421.xml 60.00 60.00
ICFP_2010___212480.xml 14.00 0.25 17.77 0.26
ICFP_2010___212534.xml 15.44 0.24 16.57 0.24
ICFP_2010___212612.xml 60.00 60.00
ICFP_2010___212693.xml 12.47 0.15 8.64 0.15
ICFP_2010___212774.xml 11.33 0.33 11.80 0.33
ICFP_2010___212795.xml 60.00 60.00
ICFP_2010___212892.xml 19.47 0.23 18.39 0.24
ICFP_2010___213051.xml 13.65 0.22 14.07 0.23
ICFP_2010___213147.xml 19.66 0.26 60.00
ICFP_2010___213218.xml 6.26 0.24 7.09 0.23
ICFP_2010___213281.xml 9.90 0.20 60.00
ICFP_2010___213407.xml 8.42 0.21 13.06 0.21
ICFP_2010___213437.xml 21.69 0.38 21.85 0.38
ICFP_2010___213537.xml 20.81 0.34 22.38 0.35
ICFP_2010___213560.xml 60.00 60.00
ICFP_2010___213611.xml 6.32 0.67 6.10 0.68
ICFP_2010___213719.xml 60.00 60.00
ICFP_2010___213865.xml 16.95 0.25 15.11 0.25
ICFP_2010___214011.xml 10.30 0.19 10.67 0.19
ICFP_2010___214091.xml 5.12 0.15 60.00
ICFP_2010___214169.xml 23.80 0.28 17.11 0.25
ICFP_2010___214183.xml 13.30 0.20 13.14 0.20
ICFP_2010___214261.xml 16.19 0.27 60.00
ICFP_2010___214320.xml 9.86 0.18 10.63 0.18
ICFP_2010___230780.xml 4.63 0.96 4.85 0.98
ICFP_2010___230819.xml 3.32 0.20 3.89 0.20
ICFP_2010___230948.xml 3.62 0.36 4.14 0.36
ICFP_2010___231043.xml 4.61 0.91 4.67 1.20
ICFP_2010___231149.xml 3.44 0.26 3.57 0.26
ICFP_2010___231230.xml 4.68 0.79 4.94 0.80
ICFP_2010___231300.xml 3.98 0.40 4.04 0.40
ICFP_2010___231378.xml 4.59 0.69 4.81 0.70
ICFP_2010___231480.xml 4.77 1.00 4.94 1.02
ICFP_2010___231604.xml 5.05 1.29 5.23 1.29
ICFP_2010___24100.xml 60.00 60.00
ICFP_2010___246924.xml 4.42 0.50 4.80 0.49
ICFP_2010___247020.xml 5.10 1.25 5.21 1.26
ICFP_2010___247254.xml 4.78 0.94 4.99 0.94
ICFP_2010___247504.xml 4.07 0.48 4.18 0.49
ICFP_2010___247906.xml 6.64 0.65 7.25 0.69
ICFP_2010___247992.xml 4.68 0.68 4.87 0.68
ICFP_2010___248060.xml 4.31 0.48 4.69 0.48
ICFP_2010___249386.xml 60.00 60.00
ICFP_2010___249459.xml 5.91 0.69 5.73 0.70
ICFP_2010___249663.xml 4.86 0.93 5.01 0.94
ICFP_2010___25192.xml 2.30 0.01 2.34 0.01
ICFP_2010___25388.xml 60.00 60.00
ICFP_2010___25395.xml 60.00 60.00
ICFP_2010___25409.xml 60.00 60.00
ICFP_2010___25416.xml 60.00 60.00
ICFP_2010___25422.xml 60.00 60.00
ICFP_2010___254704.xml 60.00 60.00
ICFP_2010___25711.xml 60.00 60.00
ICFP_2010___25726.xml 60.00 60.00
ICFP_2010___25731.xml 60.00 60.00
ICFP_2010___25734.xml 60.00 60.00
ICFP_2010___25736.xml 60.00 60.00
ICFP_2010___25743.xml 60.00 60.00
ICFP_2010___25775.xml 60.00 60.00
ICFP_2010___25808.xml 60.00 60.00
ICFP_2010___25849.xml 60.00 60.00
ICFP_2010___259405.xml 60.00 12.74 3.75
ICFP_2010___259625.xml 60.00 9.47 2.88
ICFP_2010___26069.xml 60.00 60.00
ICFP_2010___26103.xml 60.00 60.00
ICFP_2010___26105.xml 60.00 60.00
ICFP_2010___26110.xml 60.00 60.00
ICFP_2010___26116.xml 60.00 60.00
ICFP_2010___26123.xml 60.00 60.00
ICFP_2010___26127.xml 60.00 60.00
ICFP_2010___26130.xml 60.00 60.00
ICFP_2010___26132.xml 60.00 60.00
ICFP_2010___26186.xml 60.00 60.00
ICFP_2010___26226.xml 60.00 60.00
ICFP_2010___26291.xml 60.00 60.00
ICFP_2010___262998.xml 14.21 1.90 11.16 1.91
ICFP_2010___263745.xml 60.00 9.51 3.35
ICFP_2010___264033.xml 9.12 0.23 9.25 0.23
ICFP_2010___264370.xml 2.33 0.01 2.39 0.01
ICFP_2010___264405.xml 2.35 0.02 2.35 0.01
ICFP_2010___26555.xml 2.29 0.01 2.34 0.01
ICFP_2010___26683.xml 60.00 60.00
ICFP_2010___26741.xml 60.00 60.00
ICFP_2010___26845.xml 60.00 60.00
ICFP_2010___26862.xml 60.00 60.00
ICFP_2010___26871.xml 60.00 60.00
ICFP_2010___26875.xml 60.00 60.00
ICFP_2010___26879.xml 60.00 60.00
ICFP_2010___26882.xml 60.00 60.00
ICFP_2010___26886.xml 60.00 60.00
ICFP_2010___26896.xml 60.00 60.00
ICFP_2010___26903.xml 60.00 60.00
ICFP_2010___26910.xml 60.00 60.00
ICFP_2010___26916.xml 60.00 60.00
ICFP_2010___26919.xml 60.00 60.00
ICFP_2010___26923.xml 60.00 60.00
ICFP_2010___26927.xml 60.00 60.00
ICFP_2010___26931.xml 60.00 60.00
ICFP_2010___26933.xml 60.00 60.00
ICFP_2010___26940.xml 60.00 60.00
ICFP_2010___26943.xml 60.00 60.00
ICFP_2010___26946.xml 60.00 60.00
ICFP_2010___26949.xml 60.00 60.00
ICFP_2010___26951.xml 60.00 60.00
ICFP_2010___26954.xml 60.00 60.00
ICFP_2010___26957.xml 60.00 60.00
ICFP_2010___26960.xml 60.00 60.00
ICFP_2010___26965.xml 60.00 60.00
ICFP_2010___26969.xml 60.00 60.00
ICFP_2010___26972.xml 60.00 60.00
ICFP_2010___26974.xml 60.00 60.00
ICFP_2010___26976.xml 60.00 60.00
ICFP_2010___26978.xml 60.00 60.00
ICFP_2010___26980.xml 60.00 60.00
ICFP_2010___26986.xml 60.00 60.00
ICFP_2010___26993.xml 60.00 60.00
ICFP_2010___26998.xml 60.00 60.00
ICFP_2010___27001.xml 60.00 60.00
ICFP_2010___27003.xml 60.00 60.00
ICFP_2010___27006.xml 60.00 60.00
ICFP_2010___27009.xml 60.00 60.00
ICFP_2010___27013.xml 60.00 60.00
ICFP_2010___27015.xml 60.00 60.00
ICFP_2010___27019.xml 60.00 60.00
ICFP_2010___27023.xml 60.00 60.00
ICFP_2010___27026.xml 60.00 60.00
ICFP_2010___27028.xml 60.00 60.00
ICFP_2010___27030.xml 60.00 60.00
ICFP_2010___27034.xml 60.00 60.00
ICFP_2010___27036.xml 60.00 60.00
ICFP_2010___27039.xml 60.00 60.00
ICFP_2010___27131.xml 60.00 60.00
ICFP_2010___27134.xml 60.00 60.00
ICFP_2010___27213.xml 60.00 60.00
ICFP_2010___27235.xml 60.00 60.00
ICFP_2010___27280.xml 60.00 60.00
ICFP_2010___28293.xml 60.00 60.00
ICFP_2010___28464.xml 60.00 60.00
ICFP_2010___28643.xml 60.00 60.00
ICFP_2010___28838.xml 60.00 60.00
ICFP_2010___29415.xml 60.00 60.00
ICFP_2010___3268.xml 20.96 0.29 25.34 0.28
ICFP_2010___3336.xml 14.98 0.20 13.49 0.20
ICFP_2010___3385.xml 60.00 33.06 2.37
ICFP_2010___3450.xml 60.00 60.00
ICFP_2010___3467.xml 60.00 60.00
ICFP_2010___3498.xml 60.00 60.00
ICFP_2010___3533.xml 60.00 60.00
ICFP_2010___3562.xml 60.00 60.00
ICFP_2010___3589.xml 60.00 60.00
ICFP_2010___3633.xml 60.00 60.00
ICFP_2010___3680.xml 60.00 60.00
ICFP_2010___3705.xml 60.00 60.00
ICFP_2010___3729.xml 60.00 60.00
ICFP_2010___3746.xml 12.45 0.22 11.62 0.22
ICFP_2010___3762.xml 60.00 60.00
ICFP_2010___3770.xml 60.00 60.00
ICFP_2010___3786.xml 60.00 60.00
ICFP_2010___3817.xml 60.00 60.00
ICFP_2010___3831.xml 60.00 60.00
ICFP_2010___3842.xml 60.00 60.00
ICFP_2010___3856.xml 60.00 60.00
ICFP_2010___3861.xml 60.00 60.00
ICFP_2010___3865.xml 60.00 60.00
ICFP_2010___3916.xml 60.00 60.00
ICFP_2010___3927.xml 60.00 60.00
ICFP_2010___3930.xml 60.00 60.00
ICFP_2010___3939.xml 60.00 60.00
ICFP_2010___39830.xml 60.00 60.00
ICFP_2010___39849.xml 23.41 0.45 23.59 0.46
ICFP_2010___3989.xml 60.00 60.00
ICFP_2010___3995.xml 60.00 60.00
ICFP_2010___4002.xml 60.00 18.65 0.78
ICFP_2010___40033.xml 60.00 60.00
ICFP_2010___40093.xml 60.00 60.00
ICFP_2010___4017.xml 60.00 60.00
ICFP_2010___4029.xml 60.00 60.00
ICFP_2010___4036.xml 60.00 60.00
ICFP_2010___4046.xml 7.42 0.10 7.78 0.10
ICFP_2010___4051.xml 60.00 60.00
ICFP_2010___40540.xml 60.00 60.00
ICFP_2010___4057.xml 60.00 60.00
ICFP_2010___40708.xml 60.00 60.00
ICFP_2010___4074.xml 60.00 60.00
ICFP_2010___40976.xml 60.00 28.08 3.69
ICFP_2010___4106.xml 60.00 60.00
ICFP_2010___41378.xml 60.00 60.00
ICFP_2010___4141.xml 60.00 60.00
ICFP_2010___41427.xml 60.00 60.00
ICFP_2010___4157.xml 60.00 60.00
ICFP_2010___41688.xml 60.00 60.00
ICFP_2010___4181.xml 5.70 0.19 6.09 0.20
ICFP_2010___41838.xml 60.00 60.00
ICFP_2010___41843.xml 60.00 60.00
ICFP_2010___41865.xml 60.00 60.00
ICFP_2010___4200.xml 60.00 60.00
ICFP_2010___4206.xml 60.00 60.00
ICFP_2010___42170.xml 60.00 60.00
ICFP_2010___42321.xml 60.00 13.33 3.56
ICFP_2010___42466.xml 60.00 60.00
ICFP_2010___4248.xml 60.00 60.00
ICFP_2010___42683.xml 60.00 60.00
ICFP_2010___4282.xml 60.00 60.00
ICFP_2010___4314.xml 60.00 60.00
ICFP_2010___43266.xml 60.00 60.00
ICFP_2010___43603.xml 60.00 60.00
ICFP_2010___43621.xml 60.00 60.00
ICFP_2010___43650.xml 60.00 60.00
ICFP_2010___4374.xml 60.00 60.00
ICFP_2010___43987.xml 60.00 60.00
ICFP_2010___4412.xml 60.00 60.00
ICFP_2010___44332.xml 60.00 60.00
ICFP_2010___4484.xml 60.00 60.00
ICFP_2010___4487.xml 60.00 60.00
ICFP_2010___45720.xml 60.00 60.00
ICFP_2010___45757.xml 60.00 60.00
ICFP_2010___45970.xml 60.00 60.00
ICFP_2010___4816.xml 60.00 60.00
ICFP_2010___4819.xml 60.00 60.00
ICFP_2010___4824.xml 60.00 60.00
ICFP_2010___48262.xml 60.00 60.00
ICFP_2010___48267.xml 60.00 60.00
ICFP_2010___4827.xml 60.00 60.00
ICFP_2010___48328.xml 60.00 60.00
ICFP_2010___48374.xml 60.00 60.00
ICFP_2010___4840.xml 60.00 60.00
ICFP_2010___4847.xml 60.00 60.00
ICFP_2010___4854.xml 60.00 60.00
ICFP_2010___48686.xml 60.00 60.00
ICFP_2010___4893.xml 60.00 60.00
ICFP_2010___4920.xml 60.00 60.00
ICFP_2010___4934.xml 60.00 60.00
ICFP_2010___4938.xml 60.00 60.00
ICFP_2010___4943.xml 60.00 60.00
ICFP_2010___4953.xml 60.00 60.00
ICFP_2010___4964.xml 60.00 60.00
ICFP_2010___4970.xml 60.00 60.00
ICFP_2010___4979.xml 60.00 60.00
ICFP_2010___4991.xml 60.00 60.00
ICFP_2010___5011.xml 60.00 60.00
ICFP_2010___5076.xml 60.00 60.00
ICFP_2010___50904.xml 60.00 60.00
ICFP_2010___5109.xml 60.00 60.00
ICFP_2010___5130.xml 60.00 60.00
ICFP_2010___51424.xml 60.00 60.00
ICFP_2010___51577.xml 60.00 60.00
ICFP_2010___51842.xml 60.00 60.00
ICFP_2010___53216.xml 60.00 60.00
ICFP_2010___54097.xml 60.00 60.00
ICFP_2010___54532.xml 4.91 1.09 5.78 1.12
ICFP_2010___54622.xml 3.94 1.13 4.18 1.12
ICFP_2010___56144.xml 60.00 60.00
ICFP_2010___57132.xml 60.00 60.00
ICFP_2010___57278.xml 60.00 60.00
ICFP_2010___57355.xml 60.00 60.00
ICFP_2010___57453.xml 60.00 60.00
ICFP_2010___57799.xml 29.75 0.41 30.05 0.40
ICFP_2010___57852.xml 20.17 1.80 20.49 1.82
ICFP_2010___58125.xml 60.00 60.00
ICFP_2010___58194.xml 60.00 60.00
ICFP_2010___58221.xml 60.00 60.00
ICFP_2010___58301.xml 26.87 0.47 60.00
ICFP_2010___63142.xml 60.00 10.02 0.67
ICFP_2010___64160.xml 60.00 60.00
ICFP_2010___65081.xml 6.18 0.07 6.49 0.07
ICFP_2010___68322.xml 60.00 60.00
ICFP_2010___68535.xml 60.00 60.00
ICFP_2010___68989.xml 8.77 0.19 8.62 0.20
ICFP_2010___81452.xml 60.00 60.00
ICFP_2010___84886.xml 60.00 60.00
ICFP_2010___84977.xml 60.00 60.00
ICFP_2010___85039.xml 60.00 60.00
ICFP_2010___85079.xml 62.67 0.71 60.00
ICFP_2010___85267.xml 60.00 60.00
ICFP_2010___85294.xml 60.00 60.00
ICFP_2010___85345.xml 60.00 60.00
ICFP_2010___85380.xml 60.00 60.00
ICFP_2010___85477.xml 20.86 0.66 20.43 0.67
ICFP_2010___85590.xml 60.00 60.00
ICFP_2010___85650.xml 18.49 0.62 19.12 0.61
ICFP_2010___85675.xml 4.01 0.15 3.96 0.15
ICFP_2010___85721.xml 60.00 60.00
ICFP_2010___85749.xml 8.52 0.11 6.21 0.12
ICFP_2010___85782.xml 60.00 60.00
ICFP_2010___85834.xml 10.10 0.23 9.44 0.24
ICFP_2010___85874.xml 60.00 60.00
ICFP_2010___85920.xml 60.00 60.00
ICFP_2010___86025.xml 60.00 60.00
ICFP_2010___86052.xml 60.00 60.00
ICFP_2010___86452.xml 60.00 60.00
ICFP_2010___86499.xml 60.00 60.00
ICFP_2010___86526.xml 60.00 60.00
ICFP_2010___86559.xml 9.08 0.25 10.85 0.25
ICFP_2010___86577.xml 60.00 60.00
ICFP_2010___86617.xml 60.00 60.00
ICFP_2010___86636.xml 60.00 60.00
ICFP_2010___86745.xml 8.99 0.25 9.07 0.25
ICFP_2010___86816.xml 60.00 60.00
ICFP_2010___86857.xml 60.00 60.00
ICFP_2010___88143.xml 60.00 60.00
ICFP_2010___88156.xml 60.00 22.31 1.79
ICFP_2010___88172.xml 60.00 60.00
ICFP_2010___88183.xml 60.00 60.00
ICFP_2010___88208.xml 60.00 25.83 1.49
ICFP_2010___88283.xml 60.00 60.00
ICFP_2010___91210.xml 60.00 60.00
ICFP_2010___91218.xml 60.00 60.00
ICFP_2010___91233.xml 60.00 10.29 1.50
ICFP_2010___91242.xml 60.00 60.00
ICFP_2010___91254.xml 60.00 60.00
ICFP_2010___95858.xml 60.00 60.00
ICFP_2010___95899.xml 60.00 60.00
ICFP_2010___95952.xml 60.00 60.00
ICFP_2010___95978.xml 60.00 60.00
ICFP_2010___96029.xml 60.00 60.00
ICFP_2010___96065.xml 60.00 60.00
ICFP_2010___96086.xml 13.34 0.07 60.00
ICFP_2010___96104.xml 60.00 60.00
ICFP_2010___96119.xml 60.00 60.00
ICFP_2010___96156.xml 60.00 60.00
ICFP_2010___96176.xml 60.00 60.00
ICFP_2010___96198.xml 60.00 60.00
ICFP_2010___96224.xml 6.76 0.08 6.94 0.10
ICFP_2010___96239.xml 60.00 60.00
ICFP_2010___96256.xml 60.00 60.00
ICFP_2010___96274.xml 6.26 0.10 6.77 0.10
ICFP_2010___96289.xml 60.00 60.00
ICFP_2010___96302.xml 60.00 60.00
ICFP_2010___96334.xml 60.00 60.00
ICFP_2010___96370.xml 17.35 0.42 18.35 0.42
ICFP_2010___96403.xml 60.00 60.00
ICFP_2010___96417.xml 60.00 60.00
ICFP_2010___96438.xml 60.00 60.00
ICFP_2010___96464.xml 22.99 0.54 23.61 0.54
ICFP_2010___96485.xml 3.26 0.09 3.56 0.09
ICFP_2010___96523.xml 60.00 60.00
ICFP_2010___96563.xml 9.33 0.43 10.00 0.30
ICFP_2010___96612.xml 60.00 60.00
ICFP_2010___96642.xml 20.82 0.51 18.59 0.52
ICFP_2010___96673.xml 60.00 60.00
ICFP_2010___97885.xml 60.00 60.00
ICFP_2010___97888.xml 60.00 60.00
ICFP_2010___97901.xml 60.00 60.00
ICFP_2010___97917.xml 60.00 60.00
ICFP_2010___97929.xml 60.00 60.00
ICFP_2010___98362.xml 21.48 0.54 21.29 0.54
ICFP_2010___98623.xml 60.00 60.00
Mixed_CTRS___quick.xml 4.10 0.03 4.30 0.04
Mixed_HO_10___applicative.xml 0.54 0.58
Mixed_HO_10___apply.xml 0.53 0.55
Mixed_HO_10___app.xml 0.53 0.54
Mixed_HO_10___counterex1.xml 0.55 0.55
Mixed_HO_10___counterex2.xml 0.53 0.53
Mixed_HO_10___curry1.xml 0.53 0.54
Mixed_HO_10___curry.xml 0.54 0.54
Mixed_HO_10___deriv.xml 0.56 0.56
Mixed_HO_10___eval.xml 0.54 0.54
Mixed_HO_10___extrec.xml 0.54 0.55
Mixed_HO_10___filter.xml 0.55 0.55
Mixed_HO_10___findzero.xml 0.55 0.55
Mixed_HO_10___foldl.xml 0.54 0.55
Mixed_HO_10___foobar.xml 0.53 0.54
Mixed_HO_10___from.xml 0.56 0.56
Mixed_HO_10___hrsdif1.xml 0.53 0.54
Mixed_HO_10___hrsdif2.xml 0.53 0.54
Mixed_HO_10___if.xml 0.54 0.55
Mixed_HO_10___inlamb.xml 0.54 0.55
Mixed_HO_10___iterative.xml 0.54 0.55
Mixed_HO_10___lambda1.xml 0.53 0.53
Mixed_HO_10___lambda2.xml 0.54 0.56
Mixed_HO_10___lambda3.xml 0.53 0.54
Mixed_HO_10___length.xml 0.54 0.55
Mixed_HO_10___loopy.xml 0.54 0.70
Mixed_HO_10___map.xml 0.54 0.54
Mixed_HO_10___noabs.xml 0.54 0.54
Mixed_HO_10___onearg.xml 0.55 0.56
Mixed_HO_10___ordrec.xml 0.55 0.55
Mixed_HO_10___plode.xml 0.55 0.55
Mixed_HO_10___prefixsum.xml 0.54 0.54
Mixed_HO_10___prenex.xml 0.55 0.56
Mixed_HO_10___process.xml 0.55 0.55
Mixed_HO_10___qsort.xml 0.56 0.57
Mixed_HO_10___rec.xml 0.54 0.54
Mixed_HO_10___reverse.xml 0.55 0.55
Mixed_HO_10___sdu.xml 0.56 0.56
Mixed_HO_10___sort.xml 0.56 0.57
Mixed_HO_10___uncurry.xml 0.54 0.54
Mixed_HO_10___zipWith.xml 0.56 0.57
Mixed_SRS___01-oppelt08.xml 60.00 60.00
Mixed_SRS___01.xml 3.87 0.01 4.52 0.01
Mixed_SRS___02-oppelt08.xml 60.00 60.00
Mixed_SRS___02.xml 3.80 0.01 5.45 0.01
Mixed_SRS___03-oppelt08.xml 60.00 60.00
Mixed_SRS___03.xml 6.77 0.01 9.67 0.01
Mixed_SRS___04-oppelt08.xml 60.00 60.00
Mixed_SRS___04.xml 22.86 0.01 9.49 0.07
Mixed_SRS___05-oppelt08.xml 60.00 60.00
Mixed_SRS___05.xml 6.41 0.03 8.40 0.04
Mixed_SRS___06-oppelt08.xml 60.00 60.00
Mixed_SRS___06.xml 3.75 0.01 4.32 0.01
Mixed_SRS___07-oppelt08.xml 60.00 60.00
Mixed_SRS___07.xml 4.92 0.02 6.10 0.02
Mixed_SRS___08-oppelt08.xml 60.00 60.00
Mixed_SRS___08.xml 60.00 29.68 0.03
Mixed_SRS___09.xml 4.25 0.01 4.47 0.01
Mixed_SRS___1.xml 60.00 60.00
Mixed_SRS___2.xml 3.72 0.01 4.12 0.01
Mixed_SRS___3.xml 3.23 0.01 3.05 0.03
Mixed_SRS___4.xml 60.00 60.00
Mixed_SRS___s6.xml 6.32 0.04 6.38 0.03
Mixed_SRS___touzet.xml 3.09 0.04 3.08 0.01
Mixed_SRS___turing_add.xml 2.89 0.05 2.87 0.02
Mixed_SRS___turing_copy.xml 2.31 0.02 2.55 0.02
Mixed_SRS___turing_mult.xml 2.80 0.03 2.92 0.03
Mixed_TRS___1.xml 3.07 0.01 2.99 0.01
Mixed_TRS___2.xml 2.76 0.03 3.13 0.01
Mixed_TRS___3.xml 2.79 0.01 3.01 0.01
Mixed_TRS___4.xml 3.00 0.03 2.84 0.01
Mixed_TRS___5.xml 2.54 0.01 2.63 0.01
Mixed_TRS___6.xml 60.00 60.00
Mixed_TRS___7.xml 60.00 60.00
Mixed_TRS___beans.xml 4.64 0.03 5.09 0.03
Mixed_TRS___Ex1_Luc04b_GM.xml 4.36 0.05 5.27 0.05
Mixed_TRS___gcdMinMax.xml 60.00 60.00
Mixed_TRS___gcd_triple.xml 4.73 0.03 4.84 0.03
Mixed_TRS___gcd.xml 3.75 0.03 4.22 0.02
Mixed_TRS___hydra.xml 2.45 0.03 2.55 0.01
Mixed_TRS___hydra-Zantema06.xml 60.00 60.00
Mixed_TRS___jones1.xml 2.60 0.04 2.74 0.01
Mixed_TRS___jones2.xml 2.63 0.01 2.66 0.01
Mixed_TRS___jones4.xml 2.51 0.01 2.66 0.00
Mixed_TRS___jones5.xml 2.59 0.01 2.62 0.01
Mixed_TRS___jones6.xml 2.88 0.01 2.88 0.01
Mixed_TRS___minsort.xml 26.99 60.00
Mixed_TRS___motivation.xml 2.69 0.01 2.58 0.01
Mixed_TRS___perfect2.xml 3.36 0.02 3.64 0.02
Mixed_TRS___perfect.xml 2.58 0.04 2.67 0.01
Mixed_TRS___test1.xml 2.53 0.16 2.50 0.00
Mixed_TRS___while2.xml 60.00 60.00
Mixed_TRS___while.xml 14.33 24.21
MNZ_10___0.xml 14.43 0.07 27.24 0.06
MNZ_10___1.xml 62.94 0.06 60.00
MNZ_10___2.xml 60.00 60.00
MNZ_10___3.xml 60.00 60.00
MNZ_10___4.xml 60.00 60.00
MNZ_10___5.xml 60.00 60.00
MNZ_10___6.xml 60.00 60.00
MNZ_10___7.xml 60.00 60.00
MNZ_10___8.xml 60.00 60.00
MNZ_10___9.xml 60.00 60.00
MNZ_10___labelled.xml 60.00 60.00
MNZ_10___nrvsq.xml 60.00 60.00
MNZ_10___nvsr.xml 60.00 60.00
Rubio_04___aoto.xml 3.63 0.02 3.91 0.01
Rubio_04___bintrees.xml 2.98 0.02 2.86 0.01
Rubio_04___bn122.xml 2.59 0.01 2.76 0.01
Rubio_04___bn129.xml 2.62 0.01 2.72 0.01
Rubio_04___division.xml 3.45 0.02 3.31 0.02
Rubio_04___elimdupl.xml 3.35 0.02 3.39 0.02
Rubio_04___enno.xml 3.66 0.03 3.20 0.03
Rubio_04___gcd.xml 3.12 0.02 3.16 0.02
Rubio_04___gmnp.xml 2.27 0.01 2.31 0.01
Rubio_04___gm.xml 2.90 0.01 2.88 0.01
Rubio_04___koen.xml 2.85 0.01 2.69 0.01
Rubio_04___lescanne.xml 2.99 0.01 2.97 0.01
Rubio_04___lindau.xml 2.28 0.01 2.31 0.01
Rubio_04___logarquot.xml 3.16 0.01 3.28 0.01
Rubio_04___ma96.xml 3.92 0.04 4.15 0.04
Rubio_04___mfp90b.xml 2.47 0.01 2.72 0.03
Rubio_04___mfp95.xml 1.99 0.00 2.05 0.00
Rubio_04___nestrec.xml 2.24 0.01 2.26 0.01
Rubio_04___p266.xml 2.26 0.01 2.30 0.01
Rubio_04___polo2.xml 3.05 0.02 3.15 0.02
Rubio_04___prov.xml 2.21 0.01 2.30 0.01
Rubio_04___quick.xml 3.78 0.04 3.82 0.03
Rubio_04___quotminus.xml 2.99 0.01 3.13 0.02
Rubio_04___revlist.xml 2.98 0.01 2.94 0.01
Rubio_04___selsort.xml 4.30 0.04 4.50 0.27
Rubio_04___test4.xml 2.72 0.01 2.58 0.09
Rubio_04___test829.xml 2.53 0.01 2.68 0.01
Rubio_04___wst99.xml 3.13 0.03 3.49 0.03
Secret_05_SRS___aprove1.xml 8.01 0.05 8.16 0.05
Secret_05_SRS___aprove2.xml 4.77 0.03 5.82 0.03
Secret_05_SRS___aprove3.xml 4.29 0.03 4.89 0.03
Secret_05_SRS___aprove4.xml 5.20 0.05 5.79 0.04
Secret_05_SRS___aprove5.xml 8.45 0.06 9.62 0.06
Secret_05_SRS___jambox1.xml 60.00 60.00
Secret_05_SRS___jambox2.xml 60.00 60.00
Secret_05_SRS___jambox3.xml 60.00 60.00
Secret_05_SRS___jambox4.xml 6.43 0.03 7.76 0.03
Secret_05_SRS___jambox5.xml 7.04 0.03 8.79 0.03
Secret_05_SRS___matchbox1.xml 6.21 0.03 7.82 0.03
Secret_05_SRS___matchbox2.xml 7.23 0.03 7.64 0.03
Secret_05_SRS___torpa1.xml 3.41 0.01 3.43 0.01
Secret_05_SRS___torpa2.xml 3.53 0.01 3.96 0.01
Secret_05_SRS___torpa3.xml 3.80 0.02 3.65 0.02
Secret_05_SRS___torpa4.xml 2.99 0.03 3.20 0.03
Secret_05_TRS___aprove1.xml 60.00 60.00
Secret_05_TRS___aprove2.xml 60.00 60.00
Secret_05_TRS___aprove3.xml 21.87 60.00
Secret_05_TRS___aprove4.xml 22.49 60.00
Secret_05_TRS___aprove5.xml 15.62 0.04 17.93 0.04
Secret_05_TRS___cime1.xml 60.00 60.00
Secret_05_TRS___cime2.xml 7.81 0.03 9.41 0.03
Secret_05_TRS___cime3.xml 60.00 60.00
Secret_05_TRS___cime4.xml 2.15 0.01 2.14 0.01
Secret_05_TRS___cime5.xml 13.89 0.13 15.50 0.13
Secret_05_TRS___matchbox1.xml 2.67 4.51 0.02
Secret_05_TRS___matchbox2.xml 2.75 0.01 3.14 0.01
Secret_05_TRS___teparla1.xml 60.00 31.46 0.05
Secret_05_TRS___teparla2.xml 60.00 21.14 0.10
Secret_05_TRS___teparla3.xml 60.00 60.00
Secret_05_TRS___tpa1.xml 60.00 60.00
Secret_05_TRS___tpa2.xml 3.11 0.02 3.24 0.02
Secret_05_TRS___tpa3.xml 18.46 44.15
Secret_05_TRS___tpa4.xml 23.59 43.25
Secret_05_TRS___tpa5.xml 60.00 60.00
Secret_05_TRS___ttt1.xml 2.05 0.01 2.09 0.01
Secret_05_TRS___ttt2.xml 1.99 0.00 2.00 0.01
Secret_06_SRS___10.xml 4.26 0.01 4.61 0.02
Secret_06_SRS___1-matchbox.xml 60.00 60.00
Secret_06_SRS___1.xml 60.00 60.00
Secret_06_SRS___2-matchbox.xml 60.00 33.59 0.05
Secret_06_SRS___2.xml 9.19 0.02 6.83 0.02
Secret_06_SRS___3-matchbox.xml 6.07 0.02 7.62 0.02
Secret_06_SRS___3.xml 60.00 60.00
Secret_06_SRS___5-matchbox.xml 14.65 0.02 5.40 0.07
Secret_06_SRS___5.xml 10.81 0.04 13.59 0.04
Secret_06_SRS___6.xml 4.10 0.01 5.83 0.01
Secret_06_SRS___7.xml 4.05 0.01 4.42 0.01
Secret_06_SRS___8.xml 5.40 0.02 8.36 0.02
Secret_06_SRS___9.xml 3.95 0.01 4.98 0.01
Secret_06_SRS___aprove00.xml 3.28 0.03 3.59 0.03
Secret_06_SRS___aprove01.xml 5.95 0.07 6.58 0.07
Secret_06_SRS___aprove02.xml 10.38 0.04 15.85 0.04
Secret_06_SRS___aprove03.xml 10.84 0.08 11.52 0.08
Secret_06_SRS___aprove04.xml 28.35 0.09 27.63 0.09
Secret_06_SRS___aprove05.xml 4.40 0.06 4.46 0.06
Secret_06_SRS___aprove06.xml 11.13 0.08 8.26 0.08
Secret_06_SRS___aprove07.xml 60.00 60.00
Secret_06_SRS___aprove08.xml 22.50 0.04 48.02 0.04
Secret_06_SRS___aprove09.xml 3.75 0.04 3.68 0.04
Secret_06_SRS___multum1.xml 15.87 0.01 16.93 0.01
Secret_06_SRS___multum2.xml 10.96 0.03 12.82 0.03
Secret_06_SRS___multum3.xml 3.31 0.01 3.98 0.01
Secret_06_SRS___multum4.xml 60.00 60.00
Secret_06_SRS___multum5.xml 7.87 0.01 9.49 0.01
Secret_06_SRS___multum6.xml 5.10 0.02 6.09 0.02
Secret_06_SRS___secr10.xml 5.13 0.02 8.63 0.04
Secret_06_SRS___secr1.xml 2.71 0.01 2.65 0.01
Secret_06_SRS___secr2.xml 3.19 0.02 3.25 0.02
Secret_06_SRS___secr3.xml 4.16 0.02 4.41 0.03
Secret_06_SRS___secr4.xml 10.76 0.06 11.05 0.06
Secret_06_SRS___secr5.xml 60.00 60.00
Secret_06_SRS___secr6.xml 5.35 0.02 7.34 0.02
Secret_06_SRS___secr7.xml 3.88 0.02 5.03 0.01
Secret_06_SRS___secr8.xml 5.52 0.03 7.44 0.03
Secret_06_SRS___secr9.xml 7.42 0.05 10.66 0.06
Secret_06_TRS___10.xml 5.04 0.03 7.17 0.02
Secret_06_TRS___2.xml 3.77 0.02 4.07 0.02
Secret_06_TRS___3.xml 60.00 60.00
Secret_06_TRS___4.xml 3.27 0.01 3.79 0.02
Secret_06_TRS___5.xml 6.54 0.01 7.24 0.01
Secret_06_TRS___6.xml 3.49 0.01 4.08 0.01
Secret_06_TRS___7.xml 2.78 0.01 3.09 0.01
Secret_06_TRS___8.xml 3.69 0.02 4.30 0.02
Secret_06_TRS___9.xml 3.46 0.02 3.78 0.02
Secret_06_TRS___addList.xml 27.76 0.06 28.98 0.06
Secret_06_TRS___cime1.xml 13.11 60.00
Secret_06_TRS___divExp.xml 14.98 26.95
Secret_06_TRS___division.xml 31.32 60.00
Secret_06_TRS___double.xml 25.57 60.00
Secret_06_TRS___gen-10.xml 3.78 0.02 3.68 0.02
Secret_06_TRS___gen-14.xml 3.75 0.02 3.57 0.02
Secret_06_TRS___gen-15.xml 2.78 0.01 2.93 0.01
Secret_06_TRS___gen-17.xml 2.85 0.02 2.80 0.01
Secret_06_TRS___gen-18.xml 6.91 0.02 7.32 0.02
Secret_06_TRS___gen-1.xml 3.40 0.02 3.92 0.02
Secret_06_TRS___gen-22.xml 4.41 0.03 5.51 0.03
Secret_06_TRS___gen-25.xml 3.76 0.02 4.41 0.02
Secret_06_TRS___gen-28.xml 14.07 0.02 15.23 0.02
Secret_06_TRS___gen-9.xml 3.43 0.05 3.56 0.02
Secret_06_TRS___logarithm.xml 60.00 60.00
Secret_06_TRS___nrOfNodes.xml 60.00 60.00
Secret_06_TRS___reverse.xml 11.45 0.03 12.99 0.03
Secret_06_TRS___sumList.xml 25.84 0.04 27.32 0.04
Secret_06_TRS___times.xml 24.30 26.70
Secret_06_TRS___toList.xml 60.00 60.00
Secret_06_TRS___tpa01.xml 3.27 3.97
Secret_06_TRS___tpa02.xml 4.78 6.92
Secret_06_TRS___tpa03.xml 4.66 6.04
Secret_06_TRS___tpa04.xml 60.00 60.00
Secret_06_TRS___tpa05.xml 40.55 60.00
Secret_06_TRS___tpa06.xml 60.00 60.00
Secret_06_TRS___tpa07.xml 21.45 43.56
Secret_06_TRS___tpa08.xml 60.00 60.00
Secret_06_TRS___tpa09.xml 60.00 60.00
Secret_06_TRS___tpa10.xml 60.00 60.00
Secret_07_SRS___dj.xml 2.42 0.01 2.44 0.01
Secret_07_SRS___num-514.xml 60.00 60.00
Secret_07_SRS___num-515.xml 60.00 60.00
Secret_07_SRS___num-518.xml 60.00 60.00
Secret_07_SRS___num-519.xml 60.00 60.00
Secret_07_SRS___num-520.xml 60.00 60.00
Secret_07_SRS___num-521.xml 60.00 60.00
Secret_07_SRS___num-525.xml 60.00 60.00
Secret_07_SRS___num-527.xml 60.00 60.00
Secret_07_SRS___num-530.xml 60.00 60.00
Secret_07_SRS___num-539.xml 60.00 60.00
Secret_07_SRS___x01.xml 5.11 0.04 5.66 0.04
Secret_07_SRS___x02.xml 30.20 0.05 13.91 0.42
Secret_07_SRS___x03.xml 4.00 0.01 4.20 0.02
Secret_07_SRS___x04.xml 7.09 0.05 6.30 0.05
Secret_07_SRS___x05.xml 3.14 0.02 3.32 0.02
Secret_07_SRS___x06.xml 6.72 0.06 7.73 0.07
Secret_07_SRS___x07.xml 22.83 0.08 27.01 0.08
Secret_07_SRS___x08.xml 7.55 0.02 10.17 0.03
Secret_07_SRS___x09.xml 28.30 0.05 38.56 0.05
Secret_07_SRS___x10.xml 6.70 0.03 8.83 0.03
Secret_07_TRS___1.xml 60.00 60.00
Secret_07_TRS___2.xml 60.00 60.00
Secret_07_TRS___3.xml 60.00 60.00
Secret_07_TRS___4.xml 60.00 60.00
Secret_07_TRS___5.xml 60.00 60.00
Secret_07_TRS___7.xml 60.00 60.00
Secret_07_TRS___aprove01.xml 60.00 60.00
Secret_07_TRS___aprove02.xml 18.25 60.00
Secret_07_TRS___aprove03.xml 60.00 60.00
Secret_07_TRS___aprove04.xml 60.00 60.00
Secret_07_TRS___aprove05.xml 9.75 60.00
Secret_07_TRS___aprove06.xml 60.00 60.00
Secret_07_TRS___aprove07.xml 7.73 60.00
Secret_07_TRS___aprove08.xml 60.00 60.00
Secret_07_TRS___aprove09.xml 20.99 23.19
Secret_07_TRS___aprove10.xml 60.00 60.00
Secret_07_TRS___secret1.xml 3.52 0.20 3.83 0.21
Secret_07_TRS___secret2.xml 4.03 0.03 3.95 0.03
Secret_07_TRS___secret3.xml 3.60 0.02 3.47 0.02
Secret_07_TRS___secret4.xml 3.99 0.04 4.06 0.03
Secret_07_TRS___secret5.xml 3.71 0.03 4.09 0.03
SK90___2.01.xml 2.92 0.01 2.73 0.01
SK90___2.02.xml 2.56 0.01 2.77 0.01
SK90___2.03.xml 2.55 0.01 2.68 0.00
SK90___2.04.xml 2.89 0.01 2.71 0.01
SK90___2.05.xml 2.43 0.01 2.54 0.01
SK90___2.06.xml 2.62 0.01 2.71 0.01
SK90___2.07.xml 2.68 0.01 2.62 0.01
SK90___2.08.xml 3.37 0.02 3.10 0.01
SK90___2.09.xml 2.86 0.01 2.66 0.01
SK90___2.10.xml 2.50 0.01 2.84 0.01
SK90___2.11.xml 2.85 0.01 2.70 0.01
SK90___2.12.xml 3.51 0.02 3.19 0.01
SK90___2.13.xml 2.74 0.01 2.94 0.01
SK90___2.14.xml 3.37 0.01 3.07 0.01
SK90___2.15.xml 2.17 0.05 2.45 0.01
SK90___2.16.xml 3.08 0.28 2.98 0.01
SK90___2.17.xml 2.17 0.01 2.20 0.01
SK90___2.18.xml 2.73 0.01 2.25 0.01
SK90___2.19.xml 2.33 0.01 2.39 0.01
SK90___2.20.xml 2.23 0.01 2.47 0.01
SK90___2.21.xml 2.59 0.01 2.67 0.00
SK90___2.22.xml 2.87 0.01 2.80 0.01
SK90___2.23.xml 2.84 0.05 3.09 0.01
SK90___2.24.xml 2.62 0.00 2.61 0.01
SK90___2.25.xml 2.73 0.01 2.99 0.01
SK90___2.26.xml 2.56 0.02 2.72 0.02
SK90___2.27.xml 2.35 0.01 2.40 0.01
SK90___2.28.xml 2.45 0.01 2.60 0.00
SK90___2.29.xml 2.22 0.01 2.26 0.01
SK90___2.30.xml 1.98 0.01 2.00 0.00
SK90___2.31.xml 2.97 0.01 2.72 0.01
SK90___2.32.xml 2.17 0.01 2.18 0.01
SK90___2.33.xml 2.63 0.01 2.73 0.01
SK90___2.34.xml 2.50 0.01 2.63 0.01
SK90___2.35.xml 2.55 0.01 2.77 0.01
SK90___2.36.xml 2.60 0.01 2.89 0.01
SK90___2.37.xml 2.54 0.00 2.50 0.00
SK90___2.38.xml 2.54 0.01 2.76 0.01
SK90___2.39.xml 2.31 0.01 2.33 0.01
SK90___2.40.xml 2.26 0.01 2.23 0.01
SK90___2.41.xml 2.82 0.01 2.68 0.01
SK90___2.42.xml 3.17 0.02 3.19 0.02
SK90___2.43.xml 2.89 0.01 2.91 0.01
SK90___2.44.xml 2.72 0.04 2.83 0.01
SK90___2.45.xml 2.62 0.01 2.72 0.01
SK90___2.46.xml 2.33 0.01 2.39 0.00
SK90___2.47.xml 2.28 0.00 2.34 0.01
SK90___2.48.xml 2.17 0.01 2.24 0.01
SK90___2.49.xml 2.48 0.01 2.39 0.01
SK90___2.50.xml 2.20 0.00 2.24 0.00
SK90___2.51.xml 2.59 0.01 2.89 0.01
SK90___2.52.xml 4.30 0.03 4.10 0.03
SK90___2.53.xml 2.58 0.01 2.68 0.01
SK90___2.54.xml 2.50 0.00 2.86 0.00
SK90___2.55.xml 2.78 0.00 2.47 0.00
SK90___2.56.xml 2.02 0.00 2.08 0.00
SK90___2.57.xml 2.02 0.00 2.08 0.01
SK90___2.58.xml 2.01 0.00 2.04 0.00
SK90___2.59.xml 2.35 0.00 2.43 0.00
SK90___2.60.xml 2.01 0.01 2.14 0.01
SK90___2.61.xml 3.15 0.02 3.05 0.02
SK90___4.01.xml 2.03 0.01 2.05 0.00
SK90___4.02.xml 3.06 0.02 3.51 0.02
SK90___4.03.xml 2.90 0.01 2.98 0.01
SK90___4.04.xml 2.55 0.01 2.72 0.01
SK90___4.05.xml 2.71 0.01 2.66 0.01
SK90___4.06.xml 2.02 0.00 2.03 0.00
SK90___4.07.xml 2.51 0.01 2.58 0.01
SK90___4.08.xml 2.48 0.00 2.77 0.00
SK90___4.09.xml 3.34 0.01 3.29 0.01
SK90___4.10.xml 2.87 0.01 3.04 0.01
SK90___4.11.xml 2.60 0.01 2.91 0.01
SK90___4.12.xml 2.56 0.01 2.70 0.01
SK90___4.13.xml 2.60 0.01 2.63 0.01
SK90___4.14.xml 3.50 0.02 3.92 0.02
SK90___4.15.xml 2.16 0.01 2.55 0.01
SK90___4.16.xml 2.60 0.01 2.69 0.01
SK90___4.17.xml 2.83 0.01 3.04 0.01
SK90___4.18.xml 2.04 0.01 2.05 0.01
SK90___4.19.xml 2.45 0.01 2.47 0.01
SK90___4.20.xml 2.35 0.01 2.45 0.01
SK90___4.21.xml 3.01 0.01 3.12 0.01
SK90___4.22.xml 2.65 0.01 2.89 0.01
SK90___4.23.xml 2.59 0.01 2.66 0.01
SK90___4.24.xml 2.90 0.02 3.00 0.01
SK90___4.25.xml 2.24 0.00 2.58 0.00
SK90___4.26.xml 2.84 0.01 2.79 0.01
SK90___4.27.xml 2.75 0.01 2.79 0.01
SK90___4.28.xml 2.86 0.02 2.97 0.01
SK90___4.29.xml 2.20 0.01 2.24 0.01
SK90___4.30.xml 2.92 0.01 2.91 0.01
SK90___4.31.xml 2.66 0.01 2.79 0.01
SK90___4.32.xml 3.19 0.02 3.34 0.02
SK90___4.33.xml 2.15 0.00 2.18 0.00
SK90___4.34.xml 2.14 0.00 2.16 0.00
SK90___4.35.xml 2.15 0.00 2.17 0.00
SK90___4.36.xml 2.13 0.00 2.17 0.00
SK90___4.37.xml 2.14 0.00 2.18 0.01
SK90___4.38.xml 2.81 0.01 2.63 0.01
SK90___4.39.xml 2.59 0.01 2.69 0.01
SK90___4.40.xml 2.64 0.01 2.66 0.01
SK90___4.41.xml 2.47 0.01 2.53 0.01
SK90___4.42.xml 2.52 0.01 2.64 0.01
SK90___4.43.xml 3.02 0.02 3.05 0.02
SK90___4.44.xml 2.20 0.01 2.37 0.02
SK90___4.45.xml 2.17 0.00 2.24 0.00
SK90___4.46.xml 2.12 0.00 2.18 0.00
SK90___4.47.xml 2.09 0.01 2.13 0.01
SK90___4.48.xml 2.53 0.01 2.72 0.01
SK90___4.49.xml 2.02 0.00 2.05 0.00
SK90___4.50.xml 1.97 0.00 2.05 0.00
SK90___4.51.xml 2.55 0.01 2.60 0.01
SK90___4.52.xml 3.05 0.01 3.15 0.01
SK90___4.53.xml 2.68 0.01 2.86 0.01
SK90___4.54.xml 2.05 0.01 2.05 0.01
SK90___4.55.xml 1.36 2.37 0.01
SK90___4.56.xml 2.00 0.01 2.13 0.00
SK90___4.57.xml 2.13 0.01 2.14 0.01
SK90___4.59.xml 2.30 0.01 2.34 0.01
SK90___4.60.xml 2.91 0.01 3.17 0.01
SK90___4.61.xml 3.53 0.02 3.42 0.02
Strategy_removed_AG01___4.12a.xml 2.12 0.01 2.16 0.01
Strategy_removed_AG01___4.13.xml 1.63 2.96
Strategy_removed_AG01___4.14.xml 2.04 0.00 2.01 0.00
Strategy_removed_AG01___4.15.xml 2.06 0.01 2.07 0.01
Strategy_removed_AG01___4.16.xml 1.99 0.00 2.00 0.00
Strategy_removed_AG01___4.17.xml 2.04 0.01 2.05 0.01
Strategy_removed_AG01___4.18.xml 2.14 0.01 2.16 0.00
Strategy_removed_AG01___4.19.xml 41.06 60.00
Strategy_removed_AG01___4.20a.xml 2.21 0.01 4.35 0.01
Strategy_removed_AG01___4.20.xml 2.13 0.00 2.19 0.00
Strategy_removed_AG01___4.21.xml 2.17 0.00 2.24 0.00
Strategy_removed_AG01___4.22.xml 2.48 0.01 2.87 0.01
Strategy_removed_AG01___4.23.xml 2.66 0.01 2.95 0.01
Strategy_removed_AG01___4.25.xml 1.56 3.26 0.01
Strategy_removed_AG01___4.26.xml 3.11 0.01 3.43 0.01
Strategy_removed_AG01___4.27.xml 3.09 0.01 3.10 0.01
Strategy_removed_AG01___4.28.xml 2.59 0.01 2.65 0.04
Strategy_removed_AG01___4.29.xml 3.91 0.03 3.94 0.02
Strategy_removed_AG01___4.2.xml 2.03 0.01 2.07 0.04
Strategy_removed_AG01___4.30a.xml 5.87 25.32
Strategy_removed_AG01___4.30b.xml 60.00 60.00
Strategy_removed_AG01___4.30c.xml 60.00 60.00
Strategy_removed_AG01___4.30.xml 60.00 60.00
Strategy_removed_AG01___4.32.xml 2.90 0.01 3.04 0.01
Strategy_removed_AG01___4.33.xml 3.16 0.01 3.07 0.01
Strategy_removed_AG01___4.34.xml 2.89 0.01 2.62 0.01
Strategy_removed_AG01___4.35.xml 3.64 0.04 4.05 0.04
Strategy_removed_AG01___4.36.xml 4.32 0.04 4.54 0.04
Strategy_removed_AG01___4.37a.xml 2.99 0.01 2.73 0.01
Strategy_removed_AG01___4.37.xml 2.90 0.01 2.65 0.01
Strategy_removed_AG01___4.3.xml 2.03 0.01 2.05 0.00
Strategy_removed_AG01___4.4.xml 2.03 0.01 2.01 0.00
Strategy_removed_AG01___4.7.xml 1.98 0.00 2.03 0.00
Strategy_removed_CSR_05___Ex1_2_AEL03.xml 2.03 0.01 2.12 0.01
Strategy_removed_CSR_05___Ex1_2_Luc02c.xml 2.02 0.00 2.05 0.00
Strategy_removed_CSR_05___Ex14_AEGL02.xml 1.99 0.00 2.00 0.00
Strategy_removed_CSR_05___Ex15_Luc98.xml 2.01 0.01 2.01 0.01
Strategy_removed_CSR_05___Ex1_GL02a.xml 2.00 0.01 2.02 0.01
Strategy_removed_CSR_05___Ex1_GM03.xml 2.00 0.01 2.02 0.01
Strategy_removed_CSR_05___Ex1_GM99.xml 2.01 0.00 2.01 0.00
Strategy_removed_CSR_05___Ex1_Luc02b.xml 2.00 0.01 2.01 0.00
Strategy_removed_CSR_05___Ex1_Zan97.xml 2.11 0.00 2.14 0.00
Strategy_removed_CSR_05___Ex24_GM04.xml 2.02 0.01 2.08 0.01
Strategy_removed_CSR_05___Ex26_Luc03b.xml 2.00 0.01 2.07 0.01
Strategy_removed_CSR_05___Ex2_Luc03b.xml 2.01 0.01 2.04 0.01
Strategy_removed_CSR_05___Ex3_12_Luc96a.xml 1.99 0.00 2.00 0.00
Strategy_removed_CSR_05___Ex3_2_Luc97.xml 2.01 0.01 2.02 0.01
Strategy_removed_CSR_05___Ex3_3_25_Bor03.xml 2.01 0.01 2.01 0.01
Strategy_removed_CSR_05___Ex4_4_Luc96b.xml 2.01 0.00 1.99 0.00
Strategy_removed_CSR_05___Ex4_7_15_Bor03.xml 1.98 0.00 2.01 0.01
Strategy_removed_CSR_05___Ex4_7_37_Bor03.xml 2.01 0.01 2.06 0.01
Strategy_removed_CSR_05___Ex4_7_56_Bor03.xml 1.98 0.00 2.00 0.00
Strategy_removed_CSR_05___Ex4_7_77_Bor03.xml 2.01 0.00 2.02 0.00
Strategy_removed_CSR_05___Ex49_GM04.xml 3.12 0.01 3.36 0.01
Strategy_removed_CSR_05___Ex4_Zan97.xml 1.99 0.01 2.02 0.00
Strategy_removed_CSR_05___Ex5_7_Luc97.xml 2.03 0.01 2.05 0.01
Strategy_removed_CSR_05___Ex5_Zan97.xml 1.99 0.00 2.00 0.00
Strategy_removed_CSR_05___Ex6_15_AEL02.xml 2.07 0.01 2.07 0.01
Strategy_removed_CSR_05___Ex6_9_Luc02c.xml 1.99 0.00 2.01 0.00
Strategy_removed_CSR_05___Ex6_GM04.xml 2.10 0.00 2.16 0.00
Strategy_removed_CSR_05___Ex6_Luc98.xml 1.98 0.00 2.09 0.00
Strategy_removed_CSR_05___Ex7_BLR02.xml 2.00 0.01 2.08 0.01
Strategy_removed_CSR_05___Ex8_BLR02.xml 2.01 0.01 2.04 0.01
Strategy_removed_CSR_05___Ex9_BLR02.xml 2.01 0.01 2.05 0.01
Strategy_removed_CSR_05___ExAppendixB_AEL03.xml 2.05 0.01 2.07 0.01
Strategy_removed_CSR_05___ExConc_Zan97.xml 2.11 0.00 2.19 0.00
Strategy_removed_CSR_05___ExIntrod_GM01.xml 2.00 0.01 2.01 0.01
Strategy_removed_CSR_05___ExIntrod_GM04.xml 2.00 0.00 2.01 0.00
Strategy_removed_CSR_05___ExIntrod_GM99.xml 2.01 0.01 2.03 0.01
Strategy_removed_CSR_05___ExIntrod_Zan97.xml 2.01 0.01 2.02 0.01
Strategy_removed_mixed_05___bn111.xml 4.01 60.00
Strategy_removed_mixed_05___ex1.xml 2.12 0.00 10.41 0.00
Strategy_removed_mixed_05___ex2.xml 1.98 0.00 2.14 0.00
Strategy_removed_mixed_05___ex3.xml 2.10 0.00 2.29 0.00
Strategy_removed_mixed_05___ex4.xml 2.11 0.00 2.20 0.03
Strategy_removed_mixed_05___ex5.xml 2.11 0.00 2.14 0.00
Strategy_removed_mixed_05___ex6.xml 2.68 5.94
Strategy_removed_mixed_05___ExSec11_1_Luc02a.xml 2.02 0.01 2.05 0.01
Strategy_removed_mixed_05___gkg.xml 1.97 0.00 2.00 0.00
Strategy_removed_mixed_05___muladd.xml 2.04 0.01 2.06 0.01
Strategy_removed_mixed_05___n001.xml 2.12 0.00 2.15 0.00
Strategy_removed_mixed_05___test10.xml 2.04 0.01 2.06 0.01
Strategy_removed_mixed_05___test75.xml 2.11 0.01 2.18 0.01
Strategy_removed_mixed_05___test76.xml 2.78 12.87 0.01
Strategy_removed_mixed_05___test77.xml 2.72 27.42
Strategy_removed_mixed_05___test830.xml 2.58 0.01 2.83 0.01
Strategy_removed_mixed_05___test9.xml 2.17 0.01 2.19 0.01
Strategy_removed_mixed_05___toyama.xml 2.02 0.00 2.08 0.00
Strategy_removed_mixed_05___tricky1.xml 2.07 0.01 2.13 0.01
TCT_09___ackantiinn2.xml 2.67 0.01 2.86 0.01
TCT_09___ackantiinn.xml 3.32 0.02 3.56 0.03
TCT_09___ackhofbauernonsimp.xml 2.83 0.02 3.16 0.02
TCT_09___ackhofbauer.xml 2.67 0.01 2.78 0.01
TCT_09___addmult.xml 2.24 0.01 2.25 0.01
TCT_09___add.xml 2.20 0.00 2.53 0.00
TCT_09___append.xml 2.25 0.00 2.60 0.00
TCT_09___bits.xml 2.58 0.01 2.74 0.01
TCT_09___dexpdp2.xml 2.42 0.00 2.52 0.00
TCT_09___dexpdp.xml 2.50 0.01 2.51 0.01
TCT_09___expantiinn.xml 2.26 0.01 2.29 0.01
TCT_09___insertsort.xml 2.75 0.01 2.82 0.40
TCT_09___lcs.xml 3.71 0.02 3.16 0.02
TCT_09___ma1.xml 2.58 0.01 2.64 0.01
TCT_09___ma2.xml 2.56 0.01 2.67 0.01
TCT_09___ma3.xml 2.58 0.01 2.63 0.01
TCT_09___ma4.xml 2.31 0.01 2.37 0.01
TCT_09___ma5.xml 2.25 0.01 2.30 0.01
TCT_09___ma6.xml 2.85 0.01 3.02 0.02
TCT_09___ma7.xml 3.33 0.02 3.28 0.02
TCT_09___ma8.xml 2.24 0.01 2.35 0.01
TCT_09___ma9.xml 2.15 0.01 2.21 0.01
TCT_09___mergesort.xml 3.46 0.01 3.68 0.01
TCT_09___nonmultrec.xml 37.95 60.00
TCT_09___qbf.xml 3.21 0.02 3.37 0.02
TCT_09___revappend.xml 2.00 0.01 2.02 0.00
TCT_09___shuffle.xml 1.99 0.01 2.01 0.01
TCT_09___supexpdg.xml 2.98 0.01 3.05 0.01
TCT_09___supexpur.xml 2.61 0.01 2.79 0.01
TCT_09___z86.xml 3.20 0.01 3.50 0.01
Trafo_06___dup01.xml 4.29 0.06 3.86 0.07
Trafo_06___dup05.xml 5.57 0.23 5.74 0.05
Trafo_06___dup06.xml 3.12 0.02 3.25 0.02
Trafo_06___dup07.xml 4.28 0.03 4.52 0.03
Trafo_06___dup08.xml 15.82 0.06 14.52 0.61
Trafo_06___dup09.xml 3.91 0.02 3.93 0.02
Trafo_06___dup10.xml 60.00 60.00
Trafo_06___dup11.xml 12.50 0.06 11.90 0.06
Trafo_06___dup12.xml 60.00 60.00
Trafo_06___dup13.xml 10.85 0.02 11.12 0.02
Trafo_06___dup14.xml 7.37 0.02 9.89 0.03
Trafo_06___dup15.xml 6.00 0.03 6.13 0.03
Trafo_06___dup16.xml 2.26 0.01 2.29 0.01
Trafo_06___dup17.xml 5.90 0.03 5.69 0.03
Trafo_06___hom01.xml 5.68 0.02 6.90 0.02
Trafo_06___hom02.xml 2.88 0.01 2.92 0.01
Trafo_06___hom03.xml 11.62 0.02 13.97 0.02
Trafo_06___un02.xml 60.00 60.00
Trafo_06___un04.xml 60.00 60.00
Trafo_06___un05.xml 8.43 0.01 7.87 0.01
Trafo_06___un06.xml 5.09 0.02 5.38 0.14
Trafo_06___un07.xml 5.05 0.01 5.85 0.04
Trafo_06___un08.xml 60.00 60.00
Trafo_06___un09.xml 10.06 0.02 12.05 0.03
Trafo_06___un10.xml 60.00 60.00
Trafo_06___un11.xml 60.00 60.00
Trafo_06___un12.xml 60.00 60.00
Trafo_06___un13.xml 60.00 60.00
Trafo_06___un14.xml 60.00 60.00
Trafo_06___un15.xml 60.00 60.00
Trafo_06___un16.xml 60.00 60.00
Trafo_06___un17.xml 60.00 60.00
Trafo_06___un18.xml 60.00 60.00
Transformed_CSR_04___Ex1_2_AEL03_C.xml 60.00 60.00
Transformed_CSR_04___Ex1_2_AEL03_FR.xml 5.77 0.03 7.17 0.03
Transformed_CSR_04___Ex1_2_AEL03_GM.xml 60.00 60.00
Transformed_CSR_04___Ex1_2_AEL03_iGM.xml 60.00 60.00
Transformed_CSR_04___Ex1_2_AEL03_L.xml 3.21 0.01 4.15 0.01
Transformed_CSR_04___Ex1_2_AEL03_Z.xml 3.17 0.02 3.78 0.02
Transformed_CSR_04___Ex1_2_Luc02c_C.xml 5.96 0.06 5.73 0.06
Transformed_CSR_04___Ex1_2_Luc02c_FR.xml 2.69 0.01 2.81 0.01
Transformed_CSR_04___Ex1_2_Luc02c_GM.xml 4.27 0.03 4.45 0.03
Transformed_CSR_04___Ex1_2_Luc02c_iGM.xml 7.80 0.07 8.58 0.07
Transformed_CSR_04___Ex1_2_Luc02c_L.xml 1.92 0.00 1.98 0.00
Transformed_CSR_04___Ex1_2_Luc02c_Z.xml 2.05 0.01 2.13 0.01
Transformed_CSR_04___Ex14_AEGL02_C.xml 6.99 0.07 8.79 0.09
Transformed_CSR_04___Ex14_AEGL02_FR.xml 7.88 0.01 8.71 0.01
Transformed_CSR_04___Ex14_AEGL02_GM.xml 3.28 0.02 3.18 0.02
Transformed_CSR_04___Ex14_AEGL02_iGM.xml 6.31 0.07 6.84 0.07
Transformed_CSR_04___Ex14_AEGL02_L.xml 2.29 0.00 2.22 0.00
Transformed_CSR_04___Ex14_AEGL02_Z.xml 2.87 0.01 3.00 0.01
Transformed_CSR_04___Ex14_Luc06_C.xml 60.00 60.00
Transformed_CSR_04___Ex14_Luc06_FR.xml 2.36 5.68
Transformed_CSR_04___Ex14_Luc06_GM.xml 8.10 17.94
Transformed_CSR_04___Ex14_Luc06_iGM.xml 60.00 60.00
Transformed_CSR_04___Ex14_Luc06_L.xml 2.12 0.00 2.20 0.00
Transformed_CSR_04___Ex15_Luc06_C.xml 3.89 0.03 3.84 0.03
Transformed_CSR_04___Ex15_Luc06_FR.xml 2.30 0.01 2.36 0.01
Transformed_CSR_04___Ex15_Luc06_GM.xml 2.28 0.01 2.31 0.01
Transformed_CSR_04___Ex15_Luc06_iGM.xml 2.52 0.02 2.58 0.02
Transformed_CSR_04___Ex15_Luc06_L.xml 2.10 0.00 2.12 0.00
Transformed_CSR_04___Ex15_Luc06_Z.xml 2.22 0.01 2.28 0.01
Transformed_CSR_04___Ex15_Luc98_C.xml 8.44 0.11 9.45 0.12
Transformed_CSR_04___Ex15_Luc98_FR.xml 4.97 0.03 5.41 0.03
Transformed_CSR_04___Ex15_Luc98_GM.xml 3.11 0.03 3.43 0.03
Transformed_CSR_04___Ex15_Luc98_iGM.xml 9.35 0.12 10.60 0.12
Transformed_CSR_04___Ex15_Luc98_L.xml 1.96 0.00 1.94 0.00
Transformed_CSR_04___Ex15_Luc98_Z.xml 3.09 0.02 3.06 0.02
Transformed_CSR_04___Ex16_Luc06_C.xml 60.00 60.00
Transformed_CSR_04___Ex16_Luc06_FR.xml 2.00 0.00 2.05 0.00
Transformed_CSR_04___Ex16_Luc06_GM.xml 2.28 0.01 2.24 0.01
Transformed_CSR_04___Ex16_Luc06_iGM.xml 60.00 18.52 1.02
Transformed_CSR_04___Ex16_Luc06_L.xml 2.10 0.00 2.12 0.00
Transformed_CSR_04___Ex18_Luc06_C.xml 2.76 0.02 2.93 0.02
Transformed_CSR_04___Ex18_Luc06_FR.xml 2.27 0.01 2.32 0.01
Transformed_CSR_04___Ex18_Luc06_GM.xml 2.28 0.01 2.34 0.01
Transformed_CSR_04___Ex18_Luc06_iGM.xml 2.69 0.02 2.75 0.02
Transformed_CSR_04___Ex18_Luc06_L.xml 2.12 0.00 2.15 0.00
Transformed_CSR_04___Ex18_Luc06_Z.xml 2.15 0.00 2.19 0.00
Transformed_CSR_04___Ex1_GL02a_C.xml 8.78 0.12 10.65 0.12
Transformed_CSR_04___Ex1_GL02a_FR.xml 60.00 60.00
Transformed_CSR_04___Ex1_GL02a_GM.xml 3.18 0.02 3.07 0.02
Transformed_CSR_04___Ex1_GL02a_iGM.xml 7.33 0.09 8.10 0.09
Transformed_CSR_04___Ex1_GL02a_L.xml 2.02 0.00 2.04 0.00
Transformed_CSR_04___Ex1_GL02a_Z.xml 60.00 60.00
Transformed_CSR_04___Ex1_GM03_C.xml 60.00 60.00
Transformed_CSR_04___Ex1_GM03_FR.xml 60.00 60.00
Transformed_CSR_04___Ex1_GM03_GM.xml 60.00 60.00
Transformed_CSR_04___Ex1_GM03_iGM.xml 60.00 60.00
Transformed_CSR_04___Ex1_GM03_L.xml 2.31 0.00 6.67 0.00
Transformed_CSR_04___Ex1_GM03_Z.xml 2.03 0.01 2.21 0.01
Transformed_CSR_04___Ex1_GM99_C.xml 60.00 60.00
Transformed_CSR_04___Ex1_GM99_FR.xml 2.10 0.01 2.20 0.01
Transformed_CSR_04___Ex1_GM99_GM.xml 42.82 0.01 60.00
Transformed_CSR_04___Ex1_GM99_iGM.xml 48.79 0.01 60.00
Transformed_CSR_04___Ex1_GM99_L.xml 2.10 0.00 2.25 0.01
Transformed_CSR_04___Ex1_Luc02b_C.xml 60.00 60.00
Transformed_CSR_04___Ex1_Luc02b_FR.xml 3.57 0.02 3.57 0.03
Transformed_CSR_04___Ex1_Luc02b_GM.xml 60.00 60.00
Transformed_CSR_04___Ex1_Luc02b_iGM.xml 60.00 60.00
Transformed_CSR_04___Ex1_Luc02b_L.xml 1.93 0.00 2.27 0.00
Transformed_CSR_04___Ex1_Luc02b_Z.xml 2.96 0.01 3.05 0.01
Transformed_CSR_04___Ex1_Luc04b_C.xml 7.90 0.10 9.62 0.10
Transformed_CSR_04___Ex1_Luc04b_FR.xml 3.01 0.01 3.11 0.01
Transformed_CSR_04___Ex1_Luc04b_GM.xml 4.78 0.05 4.87 0.05
Transformed_CSR_04___Ex1_Luc04b_iGM.xml 10.07 0.13 11.22 0.14
Transformed_CSR_04___Ex1_Luc04b_L.xml 1.94 0.00 1.96 0.00
Transformed_CSR_04___Ex1_Luc04b_Z.xml 2.01 0.01 2.02 0.01
Transformed_CSR_04___Ex1_Zan97_C.xml 12.24 0.03 14.08 0.03
Transformed_CSR_04___Ex1_Zan97_FR.xml 2.22 0.01 2.26 0.01
Transformed_CSR_04___Ex1_Zan97_GM.xml 2.16 0.01 2.21 0.01
Transformed_CSR_04___Ex1_Zan97_iGM.xml 2.53 0.01 2.62 0.02
Transformed_CSR_04___Ex1_Zan97_L.xml 2.12 0.00 2.24 0.00
Transformed_CSR_04___Ex23_Luc06_C.xml 3.00 0.03 3.11 0.03
Transformed_CSR_04___Ex23_Luc06_FR.xml 2.32 0.01 2.36 0.01
Transformed_CSR_04___Ex23_Luc06_GM.xml 2.29 0.01 2.34 0.01
Transformed_CSR_04___Ex23_Luc06_iGM.xml 2.64 0.02 2.75 0.02
Transformed_CSR_04___Ex23_Luc06_L.xml 2.12 0.00 2.18 0.00
Transformed_CSR_04___Ex23_Luc06_Z.xml 2.14 0.00 2.19 0.01
Transformed_CSR_04___Ex24_GM04_C.xml 60.00 60.00
Transformed_CSR_04___Ex24_GM04_FR.xml 3.22 33.43
Transformed_CSR_04___Ex24_GM04_GM.xml 1.79 37.65 0.01
Transformed_CSR_04___Ex24_GM04_iGM.xml 60.00 60.00
Transformed_CSR_04___Ex24_GM04_L.xml 2.10 0.00 2.14 0.00
Transformed_CSR_04___Ex24_GM04_Z.xml 2.84 30.62
Transformed_CSR_04___Ex24_Luc06_C.xml 4.57 0.04 5.15 0.04
Transformed_CSR_04___Ex24_Luc06_FR.xml 2.05 0.01 2.05 0.01
Transformed_CSR_04___Ex24_Luc06_GM.xml 2.04 0.01 2.07 0.01
Transformed_CSR_04___Ex24_Luc06_iGM.xml 8.28 0.01 12.13 0.01
Transformed_CSR_04___Ex24_Luc06_L.xml 2.10 0.00 2.12 0.00
Transformed_CSR_04___Ex25_Luc06_C.xml 2.85 0.04 2.94 0.04
Transformed_CSR_04___Ex25_Luc06_FR.xml 2.85 0.02 2.88 0.02
Transformed_CSR_04___Ex25_Luc06_GM.xml 2.53 0.02 2.67 0.02
Transformed_CSR_04___Ex25_Luc06_iGM.xml 4.17 0.04 4.38 0.04
Transformed_CSR_04___Ex25_Luc06_L.xml 2.13 0.00 2.16 0.00
Transformed_CSR_04___Ex25_Luc06_Z.xml 2.21 0.01 2.25 0.01
Transformed_CSR_04___Ex26_Luc03b_C.xml 11.66 0.16 13.04 0.16
Transformed_CSR_04___Ex26_Luc03b_FR.xml 18.03 0.08 17.12 0.08
Transformed_CSR_04___Ex26_Luc03b_GM.xml 4.49 0.05 4.93 0.05
Transformed_CSR_04___Ex26_Luc03b_iGM.xml 13.88 0.16 14.84 0.16
Transformed_CSR_04___Ex26_Luc03b_L.xml 2.00 0.00 2.02 0.01
Transformed_CSR_04___Ex26_Luc03b_Z.xml 5.34 0.07 5.70 0.08
Transformed_CSR_04___Ex2_Luc02a_C.xml 11.69 0.16 14.40 0.30
Transformed_CSR_04___Ex2_Luc02a_FR.xml 3.48 0.03 3.54 0.08
Transformed_CSR_04___Ex2_Luc02a_GM.xml 6.17 0.03 6.16 0.03
Transformed_CSR_04___Ex2_Luc02a_iGM.xml 10.44 0.12 12.94 0.12
Transformed_CSR_04___Ex2_Luc02a_L.xml 3.00 0.01 2.41 0.01
Transformed_CSR_04___Ex2_Luc02a_Z.xml 2.89 0.02 3.18 0.02
Transformed_CSR_04___Ex2_Luc03b_C.xml 7.58 0.10 8.38 0.10
Transformed_CSR_04___Ex2_Luc03b_FR.xml 3.12 0.03 3.36 0.03
Transformed_CSR_04___Ex2_Luc03b_GM.xml 3.01 0.02 3.22 0.02
Transformed_CSR_04___Ex2_Luc03b_iGM.xml 6.99 0.08 7.98 0.08
Transformed_CSR_04___Ex2_Luc03b_L.xml 1.98 0.00 2.01 0.00
Transformed_CSR_04___Ex2_Luc03b_Z.xml 2.91 0.02 2.89 0.02
Transformed_CSR_04___Ex3_12_Luc96a_C.xml 60.00 60.00
Transformed_CSR_04___Ex3_12_Luc96a_FR.xml 3.11 0.01 3.10 0.01
Transformed_CSR_04___Ex3_12_Luc96a_GM.xml 60.00 60.00
Transformed_CSR_04___Ex3_12_Luc96a_iGM.xml 60.00 60.00
Transformed_CSR_04___Ex3_12_Luc96a_L.xml 1.93 0.00 2.29 0.00
Transformed_CSR_04___Ex3_12_Luc96a_Z.xml 2.55 0.01 2.72 0.01
Transformed_CSR_04___Ex3_2_Luc97_C.xml 60.00 60.00
Transformed_CSR_04___Ex3_2_Luc97_FR.xml 60.00 60.00
Transformed_CSR_04___Ex3_2_Luc97_GM.xml 60.00 60.00
Transformed_CSR_04___Ex3_2_Luc97_iGM.xml 60.00 60.00
Transformed_CSR_04___Ex3_2_Luc97_L.xml 2.31 0.00 3.06 0.00
Transformed_CSR_04___Ex3_2_Luc97_Z.xml 60.00 60.00
Transformed_CSR_04___Ex3_3_25_Bor03_C.xml 10.02 0.12 11.37 0.13
Transformed_CSR_04___Ex3_3_25_Bor03_FR.xml 60.00 60.00
Transformed_CSR_04___Ex3_3_25_Bor03_GM.xml 4.00 0.04 4.49 0.04
Transformed_CSR_04___Ex3_3_25_Bor03_iGM.xml 11.23 0.12 12.21 0.12
Transformed_CSR_04___Ex3_3_25_Bor03_L.xml 2.00 0.01 2.03 0.01
Transformed_CSR_04___Ex3_3_25_Bor03_Z.xml 2.03 0.01 2.04 0.01
Transformed_CSR_04___Ex4_4_Luc96b_C.xml 3.94 0.03 3.84 0.03
Transformed_CSR_04___Ex4_4_Luc96b_FR.xml 3.16 0.01 3.38 0.01
Transformed_CSR_04___Ex4_4_Luc96b_GM.xml 2.58 0.01 2.97 0.01
Transformed_CSR_04___Ex4_4_Luc96b_iGM.xml 4.10 0.03 4.04 0.03
Transformed_CSR_04___Ex4_4_Luc96b_L.xml 2.17 0.00 2.18 0.00
Transformed_CSR_04___Ex4_4_Luc96b_Z.xml 2.04 0.01 2.17 0.01
Transformed_CSR_04___Ex4_7_15_Bor03_C.xml 7.64 0.08 8.71 0.08
Transformed_CSR_04___Ex4_7_15_Bor03_FR.xml 2.93 0.01 3.19 0.01
Transformed_CSR_04___Ex4_7_15_Bor03_GM.xml 3.15 0.02 3.08 0.01
Transformed_CSR_04___Ex4_7_15_Bor03_iGM.xml 5.52 0.06 6.05 0.06
Transformed_CSR_04___Ex4_7_15_Bor03_L.xml 2.18 0.01 2.32 0.02
Transformed_CSR_04___Ex4_7_15_Bor03_Z.xml 2.61 0.01 2.65 0.01
Transformed_CSR_04___Ex4_7_37_Bor03_C.xml 60.00 60.00
Transformed_CSR_04___Ex4_7_37_Bor03_FR.xml 4.76 0.04 5.52 0.04
Transformed_CSR_04___Ex4_7_37_Bor03_GM.xml 60.00 60.00
Transformed_CSR_04___Ex4_7_37_Bor03_iGM.xml 60.00 60.00
Transformed_CSR_04___Ex4_7_37_Bor03_L.xml 3.06 0.01 4.49 0.01
Transformed_CSR_04___Ex4_7_37_Bor03_Z.xml 3.69 0.02 4.38 0.02
Transformed_CSR_04___Ex4_7_56_Bor03_C.xml 60.00 60.00
Transformed_CSR_04___Ex4_7_56_Bor03_FR.xml 3.08 0.01 3.10 0.01
Transformed_CSR_04___Ex4_7_56_Bor03_GM.xml 22.18 0.07 25.60 0.07
Transformed_CSR_04___Ex4_7_56_Bor03_iGM.xml 63.39 0.11 60.00
Transformed_CSR_04___Ex4_7_56_Bor03_L.xml 1.94 0.00 2.29 0.00
Transformed_CSR_04___Ex4_7_56_Bor03_Z.xml 2.53 0.01 2.75 0.01
Transformed_CSR_04___Ex4_7_77_Bor03_C.xml 4.58 0.04 5.08 0.04
Transformed_CSR_04___Ex4_7_77_Bor03_FR.xml 2.00 0.01 2.02 0.00
Transformed_CSR_04___Ex4_7_77_Bor03_GM.xml 2.75 0.01 2.74 0.01
Transformed_CSR_04___Ex4_7_77_Bor03_iGM.xml 4.67 0.04 4.52 0.03
Transformed_CSR_04___Ex4_7_77_Bor03_L.xml 1.95 0.00 1.93 0.00
Transformed_CSR_04___Ex49_GM04_C.xml 8.41 0.10 9.71 0.10
Transformed_CSR_04___Ex49_GM04_FR.xml 27.48 0.09 30.38 0.08
Transformed_CSR_04___Ex49_GM04_GM.xml 4.26 0.04 4.40 0.04
Transformed_CSR_04___Ex49_GM04_iGM.xml 10.55 0.13 11.67 0.13
Transformed_CSR_04___Ex49_GM04_L.xml 1.94 0.00 1.94 0.00
Transformed_CSR_04___Ex49_GM04_Z.xml 3.53 0.03 3.66 0.07
Transformed_CSR_04___Ex4_DLMMU04_C.xml 60.00 60.00
Transformed_CSR_04___Ex4_DLMMU04_FR.xml 15.09 0.02 17.42 0.03
Transformed_CSR_04___Ex4_DLMMU04_GM.xml 53.34 0.33 56.76 0.34
Transformed_CSR_04___Ex4_DLMMU04_iGM.xml 60.00 60.00
Transformed_CSR_04___Ex4_DLMMU04_L.xml 2.28 0.01 3.83 0.01
Transformed_CSR_04___Ex4_DLMMU04_Z.xml 12.73 0.02 18.50 0.02
Transformed_CSR_04___Ex4_Zan97_C.xml 60.00 60.00
Transformed_CSR_04___Ex4_Zan97_FR.xml 2.98 0.01 3.06 0.01
Transformed_CSR_04___Ex4_Zan97_GM.xml 60.00 60.00
Transformed_CSR_04___Ex4_Zan97_iGM.xml 60.00 60.00
Transformed_CSR_04___Ex4_Zan97_L.xml 2.03 0.00 2.28 0.00
Transformed_CSR_04___Ex4_Zan97_Z.xml 2.60 0.01 2.89 0.01
Transformed_CSR_04___Ex5_7_Luc97_C.xml 60.00 60.00
Transformed_CSR_04___Ex5_7_Luc97_FR.xml 60.00 60.00
Transformed_CSR_04___Ex5_7_Luc97_GM.xml 60.00 60.00
Transformed_CSR_04___Ex5_7_Luc97_iGM.xml 60.00 60.00
Transformed_CSR_04___Ex5_7_Luc97_L.xml 3.28 0.01 3.69 0.01
Transformed_CSR_04___Ex5_7_Luc97_Z.xml 60.00 60.00
Transformed_CSR_04___Ex5_DLMMU04_C.xml 15.86 0.26 17.88 0.25
Transformed_CSR_04___Ex5_DLMMU04_FR.xml 16.15 0.02 18.66 0.02
Transformed_CSR_04___Ex5_DLMMU04_GM.xml 8.40 0.13 9.31 0.13
Transformed_CSR_04___Ex5_DLMMU04_iGM.xml 16.97 0.23 19.95 0.23
Transformed_CSR_04___Ex5_DLMMU04_L.xml 1.96 0.01 1.95 0.01
Transformed_CSR_04___Ex5_DLMMU04_Z.xml 2.08 0.01 2.12 0.01
Transformed_CSR_04___Ex5_Zan97_C.xml 5.95 0.06 6.40 0.06
Transformed_CSR_04___Ex5_Zan97_FR.xml 2.80 0.01 2.85 0.01
Transformed_CSR_04___Ex5_Zan97_GM.xml 3.38 0.03 3.60 0.03
Transformed_CSR_04___Ex5_Zan97_iGM.xml 6.49 0.07 6.55 0.06
Transformed_CSR_04___Ex5_Zan97_L.xml 1.93 0.00 1.93 0.00
Transformed_CSR_04___Ex5_Zan97_Z.xml 2.57 0.01 2.69 0.01
Transformed_CSR_04___Ex6_15_AEL02_C.xml 60.00 60.00
Transformed_CSR_04___Ex6_15_AEL02_FR.xml 51.54 0.02 60.00
Transformed_CSR_04___Ex6_15_AEL02_GM.xml 60.00 60.00
Transformed_CSR_04___Ex6_15_AEL02_iGM.xml 60.00 60.00
Transformed_CSR_04___Ex6_15_AEL02_L.xml 5.39 0.01 5.70 0.01
Transformed_CSR_04___Ex6_15_AEL02_Z.xml 22.63 0.02 27.84 0.02
Transformed_CSR_04___Ex6_9_Luc02c_C.xml 6.41 0.08 7.03 0.08
Transformed_CSR_04___Ex6_9_Luc02c_FR.xml 2.58 0.01 2.64 0.01
Transformed_CSR_04___Ex6_9_Luc02c_GM.xml 7.19 0.06 8.04 0.06
Transformed_CSR_04___Ex6_9_Luc02c_iGM.xml 12.32 0.12 14.59 0.13
Transformed_CSR_04___Ex6_9_Luc02c_L.xml 1.96 0.00 1.94 0.00
Transformed_CSR_04___Ex6_9_Luc02c_Z.xml 2.06 0.01 2.07 0.43
Transformed_CSR_04___Ex6_GM04_C.xml 3.27 0.02 3.37 0.02
Transformed_CSR_04___Ex6_GM04_FR.xml 2.14 0.01 2.19 0.01
Transformed_CSR_04___Ex6_GM04_GM.xml 2.15 0.01 2.18 0.01
Transformed_CSR_04___Ex6_GM04_iGM.xml 2.29 0.01 2.37 0.02
Transformed_CSR_04___Ex6_GM04_L.xml 2.12 0.00 2.13 0.00
Transformed_CSR_04___Ex6_Luc98_C.xml 6.43 0.07 6.01 0.07
Transformed_CSR_04___Ex6_Luc98_FR.xml 2.92 0.02 2.93 0.16
Transformed_CSR_04___Ex6_Luc98_GM.xml 2.62 0.01 2.73 0.01
Transformed_CSR_04___Ex6_Luc98_iGM.xml 5.61 0.05 5.54 0.05
Transformed_CSR_04___Ex6_Luc98_L.xml 1.97 0.00 1.99 0.00
Transformed_CSR_04___Ex6_Luc98_Z.xml 2.60 0.01 2.71 0.01
Transformed_CSR_04___Ex7_BLR02_C.xml 60.00 60.00
Transformed_CSR_04___Ex7_BLR02_FR.xml 3.50 0.02 3.73 0.02
Transformed_CSR_04___Ex7_BLR02_GM.xml 60.00 60.00
Transformed_CSR_04___Ex7_BLR02_iGM.xml 60.00 60.00
Transformed_CSR_04___Ex7_BLR02_L.xml 1.98 0.00 2.25 0.01
Transformed_CSR_04___Ex7_BLR02_Z.xml 3.09 0.01 3.12 0.02
Transformed_CSR_04___Ex8_BLR02_C.xml 60.00 60.00
Transformed_CSR_04___Ex8_BLR02_FR.xml 3.13 0.03 3.29 0.02
Transformed_CSR_04___Ex8_BLR02_GM.xml 60.00 60.00
Transformed_CSR_04___Ex8_BLR02_iGM.xml 60.00 60.00
Transformed_CSR_04___Ex8_BLR02_L.xml 1.94 0.00 3.09 0.00
Transformed_CSR_04___Ex8_BLR02_Z.xml 2.73 0.01 2.99 0.01
Transformed_CSR_04___Ex9_BLR02_C.xml 9.80 0.29 10.82 0.13
Transformed_CSR_04___Ex9_BLR02_FR.xml 29.62 0.23 32.68 0.14
Transformed_CSR_04___Ex9_BLR02_GM.xml 3.82 0.18 4.15 0.04
Transformed_CSR_04___Ex9_BLR02_iGM.xml 11.36 0.19 11.52 0.13
Transformed_CSR_04___Ex9_BLR02_L.xml 2.05 0.01 2.04 0.01
Transformed_CSR_04___Ex9_BLR02_Z.xml 3.38 0.13 3.37 0.22
Transformed_CSR_04___Ex9_Luc04_C.xml 60.00 60.00
Transformed_CSR_04___Ex9_Luc04_FR.xml 2.06 0.00 2.07 0.00
Transformed_CSR_04___Ex9_Luc04_GM.xml 60.00 60.00
Transformed_CSR_04___Ex9_Luc04_iGM.xml 60.00 60.00
Transformed_CSR_04___Ex9_Luc04_L.xml 2.03 0.10 2.08 0.00
Transformed_CSR_04___Ex9_Luc06_C.xml 4.32 0.22 5.11 0.05
Transformed_CSR_04___Ex9_Luc06_FR.xml 2.05 0.01 2.07 0.01
Transformed_CSR_04___Ex9_Luc06_GM.xml 2.72 0.16 2.90 0.01
Transformed_CSR_04___Ex9_Luc06_iGM.xml 3.73 0.03 3.70 0.03
Transformed_CSR_04___ExAppendixB_AEL03_C.xml 60.00 60.00
Transformed_CSR_04___ExAppendixB_AEL03_FR.xml 5.06 0.03 6.71 0.04
Transformed_CSR_04___ExAppendixB_AEL03_GM.xml 60.00 60.00
Transformed_CSR_04___ExAppendixB_AEL03_iGM.xml 60.00 60.00
Transformed_CSR_04___ExAppendixB_AEL03_L.xml 2.78 0.20 4.70 0.01
Transformed_CSR_04___ExAppendixB_AEL03_Z.xml 3.19 0.03 3.87 0.03
Transformed_CSR_04___ExConc_Zan97_C.xml 2.95 0.02 3.01 0.02
Transformed_CSR_04___ExConc_Zan97_FR.xml 2.39 0.01 2.41 0.01
Transformed_CSR_04___ExConc_Zan97_GM.xml 2.35 0.09 2.42 0.01
Transformed_CSR_04___ExConc_Zan97_iGM.xml 3.31 0.25 3.08 0.02
Transformed_CSR_04___ExConc_Zan97_L.xml 2.12 0.11 2.16 0.00
Transformed_CSR_04___ExConc_Zan97_Z.xml 2.15 0.12 2.25 0.00
Transformed_CSR_04___ExIntrod_GM01_C.xml 10.49 0.15 12.21 0.15
Transformed_CSR_04___ExIntrod_GM01_FR.xml 11.90 0.01 12.78 0.01
Transformed_CSR_04___ExIntrod_GM01_GM.xml 5.17 0.06 5.52 0.06
Transformed_CSR_04___ExIntrod_GM01_iGM.xml 11.56 0.14 12.20 0.14
Transformed_CSR_04___ExIntrod_GM01_L.xml 1.95 0.00 1.94 0.00
Transformed_CSR_04___ExIntrod_GM01_Z.xml 4.92 0.01 5.48 0.01
Transformed_CSR_04___ExIntrod_GM04_C.xml 9.08 0.12 9.01 0.11
Transformed_CSR_04___ExIntrod_GM04_FR.xml 8.10 0.01 8.69 0.01
Transformed_CSR_04___ExIntrod_GM04_GM.xml 3.85 0.03 4.14 0.03
Transformed_CSR_04___ExIntrod_GM04_iGM.xml 9.63 0.11 10.44 0.12
Transformed_CSR_04___ExIntrod_GM04_L.xml 1.94 0.00 1.93 0.01
Transformed_CSR_04___ExIntrod_GM04_Z.xml 5.15 0.01 5.31 0.01
Transformed_CSR_04___ExIntrod_GM99_C.xml 60.00 60.00
Transformed_CSR_04___ExIntrod_GM99_FR.xml 60.00 60.00
Transformed_CSR_04___ExIntrod_GM99_GM.xml 60.00 60.00
Transformed_CSR_04___ExIntrod_GM99_iGM.xml 60.00 60.00
Transformed_CSR_04___ExIntrod_GM99_L.xml 4.56 0.00 4.37 0.01
Transformed_CSR_04___ExIntrod_GM99_Z.xml 3.19 0.01 3.28 0.01
Transformed_CSR_04___ExIntrod_Zan97_C.xml 60.00 60.00
Transformed_CSR_04___ExIntrod_Zan97_FR.xml 60.00 60.00
Transformed_CSR_04___ExIntrod_Zan97_GM.xml 60.00 60.00
Transformed_CSR_04___ExIntrod_Zan97_iGM.xml 60.00 60.00
Transformed_CSR_04___ExIntrod_Zan97_L.xml 2.48 0.01 2.34 0.02
Transformed_CSR_04___ExIntrod_Zan97_Z.xml 2.06 0.01 2.06 0.04
Transformed_CSR_04___ExProp7_Luc06_C.xml 8.00 0.08 8.60 0.08
Transformed_CSR_04___ExProp7_Luc06_FR.xml 3.04 0.01 3.07 0.02
Transformed_CSR_04___ExProp7_Luc06_GM.xml 4.00 0.03 4.63 0.04
Transformed_CSR_04___ExProp7_Luc06_iGM.xml 6.15 0.07 8.65 0.07
Transformed_CSR_04___ExProp7_Luc06_L.xml 2.49 0.01 2.23 0.01
Transformed_CSR_04___ExProp7_Luc06_Z.xml 2.73 0.01 2.81 0.01
Transformed_CSR_04___ExSec11_1_Luc02a_C.xml 12.93 0.18 15.37 0.18
Transformed_CSR_04___ExSec11_1_Luc02a_FR.xml 4.51 0.04 4.33 0.04
Transformed_CSR_04___ExSec11_1_Luc02a_GM.xml 5.92 0.04 8.57 0.04
Transformed_CSR_04___ExSec11_1_Luc02a_iGM.xml 14.14 0.15 15.07 0.14
Transformed_CSR_04___ExSec11_1_Luc02a_L.xml 2.86 0.01 3.03 0.01
Transformed_CSR_04___ExSec11_1_Luc02a_Z.xml 3.25 0.02 3.51 0.02
Transformed_CSR_04___ExSec4_2_DLMMU04_C.xml 60.00 60.00
Transformed_CSR_04___ExSec4_2_DLMMU04_FR.xml 5.02 0.02 6.52 0.02
Transformed_CSR_04___ExSec4_2_DLMMU04_GM.xml 60.00 60.00
Transformed_CSR_04___ExSec4_2_DLMMU04_iGM.xml 60.00 60.00
Transformed_CSR_04___ExSec4_2_DLMMU04_L.xml 3.20 0.01 4.81 0.01
Transformed_CSR_04___ExSec4_2_DLMMU04_Z.xml 3.20 0.02 3.79 0.02
Transformed_CSR_04___LengthOfFiniteLists_complete_C.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_complete_FR.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_complete_GM.xml 14.97 0.21 15.42 0.21
Transformed_CSR_04___LengthOfFiniteLists_complete_iGM.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_complete_L.xml 2.04 0.01 2.04 0.01
Transformed_CSR_04___LengthOfFiniteLists_complete_noand_C.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_complete-noand_FR.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_complete_noand_GM.xml 21.91 0.29 19.74 0.29
Transformed_CSR_04___LengthOfFiniteLists_complete_noand_iGM.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_complete-noand_L.xml 2.09 0.01 2.16 0.01
Transformed_CSR_04___LengthOfFiniteLists_complete-noand_Z.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_complete_Z.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_nokinds_C.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_nokinds_FR.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_nokinds_GM.xml 8.19 0.14 8.59 0.13
Transformed_CSR_04___LengthOfFiniteLists_nokinds_iGM.xml 36.72 0.30 42.32 0.31
Transformed_CSR_04___LengthOfFiniteLists_nokinds_L.xml 1.95 0.01 2.02 0.00
Transformed_CSR_04___LengthOfFiniteLists_nokinds_noand_C.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_nokinds-noand_FR.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_nokinds_noand_GM.xml 10.06 0.18 10.59 0.15
Transformed_CSR_04___LengthOfFiniteLists_nokinds_noand_iGM.xml 34.03 0.55 39.75 0.56
Transformed_CSR_04___LengthOfFiniteLists_nokinds-noand_L.xml 2.02 0.01 2.03 0.02
Transformed_CSR_04___LengthOfFiniteLists_nokinds-noand_Z.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_nokinds_Z.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_nosorts_C.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_nosorts_FR.xml 2.09 0.01 2.12 0.03
Transformed_CSR_04___LengthOfFiniteLists_nosorts_GM.xml 2.08 0.01 2.10 0.01
Transformed_CSR_04___LengthOfFiniteLists_nosorts_iGM.xml 36.62 0.02 60.00
Transformed_CSR_04___LengthOfFiniteLists_nosorts_L.xml 1.93 0.00 1.95 0.00
Transformed_CSR_04___LengthOfFiniteLists_nosorts_noand_C.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_nosorts-noand_FR.xml 3.13 0.01 3.43 0.06
Transformed_CSR_04___LengthOfFiniteLists_nosorts_noand_GM.xml 5.84 0.01 6.98 0.02
Transformed_CSR_04___LengthOfFiniteLists_nosorts_noand_iGM.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_nosorts-noand_L.xml 1.93 0.00 1.94 0.01
Transformed_CSR_04___LISTUTILITIES_complete_C.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_complete_FR.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_complete_GM.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_complete_iGM.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_complete_L.xml 3.20 0.03 3.62 0.08
Transformed_CSR_04___LISTUTILITIES_complete_noand_C.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_complete-noand_FR.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_complete_noand_GM.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_complete_noand_iGM.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_complete-noand_L.xml 2.33 0.05 2.36 0.05
Transformed_CSR_04___LISTUTILITIES_complete-noand_Z.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_complete_Z.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_nokinds_C.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_nokinds_FR.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_nokinds_GM.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_nokinds_iGM.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_nokinds_L.xml 5.30 0.01 3.50 0.01
Transformed_CSR_04___LISTUTILITIES_nokinds_noand_C.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_nokinds-noand_FR.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_nokinds_noand_GM.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_nokinds_noand_iGM.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_nokinds-noand_L.xml 3.54 0.02 3.81 0.02
Transformed_CSR_04___LISTUTILITIES_nokinds-noand_Z.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_nokinds_Z.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_nosorts_C.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_nosorts_FR.xml 5.24 0.03 6.79 0.03
Transformed_CSR_04___LISTUTILITIES_nosorts_GM.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_nosorts_iGM.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_nosorts_L.xml 2.98 0.01 4.54 0.01
Transformed_CSR_04___LISTUTILITIES_nosorts_noand_C.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_nosorts-noand_FR.xml 8.25 0.08 8.52 0.08
Transformed_CSR_04___LISTUTILITIES_nosorts_noand_GM.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_nosorts_noand_iGM.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_nosorts-noand_L.xml 4.97 0.01 3.40 0.02
Transformed_CSR_04___LISTUTILITIES_nosorts-noand_Z.xml 5.51 0.08 5.74 0.08
Transformed_CSR_04___LISTUTILITIES_nosorts_Z.xml 3.15 0.02 3.19 0.03
Transformed_CSR_04___MYNAT_complete_C.xml 23.42 0.36 26.07 0.36
Transformed_CSR_04___MYNAT_complete_FR.xml 11.70 0.09 12.36 0.09
Transformed_CSR_04___MYNAT_complete_GM.xml 14.80 0.12 16.95 0.11
Transformed_CSR_04___MYNAT_complete_iGM.xml 26.37 0.35 28.47 0.35
Transformed_CSR_04___MYNAT_complete_L.xml 2.03 0.01 2.02 0.01
Transformed_CSR_04___MYNAT_complete_noand_C.xml 60.00 60.00
Transformed_CSR_04___MYNAT_complete-noand_FR.xml 60.00 60.00
Transformed_CSR_04___MYNAT_complete_noand_GM.xml 33.29 0.31 34.67 0.37
Transformed_CSR_04___MYNAT_complete_noand_iGM.xml 60.00 60.00
Transformed_CSR_04___MYNAT_complete-noand_L.xml 2.13 0.02 2.24 0.02
Transformed_CSR_04___MYNAT_complete-noand_Z.xml 60.00 60.00
Transformed_CSR_04___MYNAT_complete_Z.xml 10.76 0.09 12.34 0.09
Transformed_CSR_04___MYNAT_nokinds_C.xml 15.45 0.20 17.34 0.20
Transformed_CSR_04___MYNAT_nokinds_FR.xml 5.60 0.05 6.34 0.05
Transformed_CSR_04___MYNAT_nokinds_GM.xml 7.31 0.05 8.11 0.05
Transformed_CSR_04___MYNAT_nokinds_iGM.xml 13.97 0.17 15.25 0.34
Transformed_CSR_04___MYNAT_nokinds_L.xml 1.95 0.01 1.96 0.01
Transformed_CSR_04___MYNAT_nokinds_noand_C.xml 60.00 60.00
Transformed_CSR_04___MYNAT_nokinds-noand_FR.xml 9.57 0.06 10.17 0.06
Transformed_CSR_04___MYNAT_nokinds_noand_GM.xml 10.12 0.09 10.93 0.09
Transformed_CSR_04___MYNAT_nokinds_noand_iGM.xml 60.00 60.00
Transformed_CSR_04___MYNAT_nokinds-noand_L.xml 2.72 0.05 4.28 0.01
Transformed_CSR_04___MYNAT_nokinds-noand_Z.xml 8.74 0.06 8.44 0.05
Transformed_CSR_04___MYNAT_nokinds_Z.xml 5.67 0.04 6.08 0.04
Transformed_CSR_04___MYNAT_nosorts_C.xml 7.04 0.11 8.65 0.08
Transformed_CSR_04___MYNAT_nosorts_FR.xml 2.26 0.01 2.33 0.01
Transformed_CSR_04___MYNAT_nosorts_GM.xml 3.90 0.02 4.16 0.02
Transformed_CSR_04___MYNAT_nosorts_iGM.xml 6.40 0.06 7.00 0.06
Transformed_CSR_04___MYNAT_nosorts_L.xml 1.93 0.00 2.01 0.00
Transformed_CSR_04___MYNAT_nosorts_noand_C.xml 60.00 60.00
Transformed_CSR_04___MYNAT_nosorts-noand_FR.xml 3.15 0.02 5.84 0.02
Transformed_CSR_04___MYNAT_nosorts_noand_GM.xml 6.40 0.03 6.50 0.03
Transformed_CSR_04___MYNAT_nosorts_noand_iGM.xml 13.96 0.17 14.39 0.16
Transformed_CSR_04___MYNAT_nosorts-noand_L.xml 1.96 0.00 2.03 0.01
Transformed_CSR_04___OvConsOS_complete_C.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_complete_FR.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_complete_GM.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_complete_iGM.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_complete_L.xml 2.91 0.01 2.88 0.01
Transformed_CSR_04___OvConsOS_complete_noand_C.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_complete-noand_FR.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_complete_noand_GM.xml 27.62 0.49 31.48 0.54
Transformed_CSR_04___OvConsOS_complete_noand_iGM.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_complete-noand_L.xml 2.13 0.02 2.10 0.02
Transformed_CSR_04___OvConsOS_complete-noand_Z.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_complete_Z.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_nokinds_C.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_nokinds_FR.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_nokinds_GM.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_nokinds_iGM.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_nokinds_L.xml 3.27 0.01 4.02 0.01
Transformed_CSR_04___OvConsOS_nokinds_noand_C.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_nokinds-noand_FR.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_nokinds_noand_GM.xml 14.11 0.15 15.45 0.15
Transformed_CSR_04___OvConsOS_nokinds_noand_iGM.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_nokinds-noand_L.xml 2.07 0.01 2.05 0.01
Transformed_CSR_04___OvConsOS_nokinds-noand_Z.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_nokinds_Z.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_nosorts_C.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_nosorts_FR.xml 2.14 0.01 2.28 0.01
Transformed_CSR_04___OvConsOS_nosorts_GM.xml 2.18 0.01 2.19 0.01
Transformed_CSR_04___OvConsOS_nosorts_iGM.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_nosorts_L.xml 1.94 0.00 2.06 0.00
Transformed_CSR_04___OvConsOS_nosorts_noand_C.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_nosorts-noand_FR.xml 13.74 0.01 20.05 0.02
Transformed_CSR_04___OvConsOS_nosorts_noand_GM.xml 13.16 0.02