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 1362 (1137 YES, 225 NO) 1425 (1207 YES, 218 NO) 1454 (1227 YES, 227 NO)
Failures 1433 (1020 timeouts) 1370 (1038 timeouts)
Time (termination tool) 19h 46m 7s 20h 19m 19s
Accepted 1361 1424 1453
Rejected 1 1
Unsupported 0 0
Time (certification) 0h 0m 56s 0h 2m 35s

Result table

Example no_semlab CeTA with_semlab CeTA
AG01___3.10.xml 2.98 3.92
AG01___3.12.xml 2.76 0.06 3.16 0.01
AG01___3.13.xml 1.99 2.40
AG01___3.15.xml 3.01 0.01 2.89 0.01
AG01___3.16.xml 2.72 0.01 2.85 0.01
AG01___3.17a.xml 3.00 0.02 2.97 0.02
AG01___3.17.xml 3.04 0.02 3.15 0.02
AG01___3.18.xml 2.87 0.01 3.32 0.01
AG01___3.19.xml 3.30 0.01 3.60 0.01
AG01___3.1.xml 3.09 0.01 2.93 0.01
AG01___3.21.xml 2.98 0.01 2.97 0.01
AG01___3.22.xml 2.97 0.02 3.94 0.02
AG01___3.23.xml 2.22 0.00 2.18 0.00
AG01___3.24.xml 2.52 0.01 2.42 0.01
AG01___3.26.xml 2.50 0.01 2.77 0.00
AG01___3.29.xml 2.42 0.00 3.05 0.00
AG01___3.2.xml 2.57 0.01 3.42 0.01
AG01___3.31.xml 2.14 0.00 2.58 0.01
AG01___3.33.xml 2.21 0.01 2.22 0.01
AG01___3.35.xml 2.25 0.01 2.29 0.01
AG01___3.36.xml 1.55 2.71
AG01___3.37.xml 1.29 2.12
AG01___3.38.xml 1.66 1.73
AG01___3.39.xml 2.31 2.23
AG01___3.40.xml 4.79 0.04 5.47 0.04
AG01___3.41.xml 1.28 2.04
AG01___3.42.xml 1.86 2.97
AG01___3.47.xml 2.86 0.01 2.81 0.01
AG01___3.48.xml 2.69 0.01 2.74 0.01
AG01___3.49.xml 2.80 0.01 3.41 0.01
AG01___3.4.xml 2.99 0.01 2.85 0.01
AG01___3.51.xml 2.27 0.01 2.32 0.01
AG01___3.52.xml 1.18 1.26
AG01___3.53a.xml 2.47 0.00 2.65 0.01
AG01___3.53b.xml 1.18 1.21
AG01___3.53.xml 3.63 0.03 3.80 0.03
AG01___3.54.xml 3.37 0.01 3.10 0.01
AG01___3.55.xml 4.55 0.04 4.78 0.04
AG01___3.56.xml 2.90 0.01 2.93 0.01
AG01___3.57.xml 3.75 0.04 3.66 0.03
AG01___3.5a.xml 1.87 1.77
AG01___3.5b.xml 1.78 2.22
AG01___3.5.xml 2.15 2.08
AG01___3.6a.xml 2.37 2.01
AG01___3.6b.xml 3.64 0.02 2.49
AG01___3.6.xml 1.84 1.86
AG01___3.7.xml 2.37 0.01 2.62 0.01
AG01___3.8a.xml 3.12 0.01 3.07 0.01
AG01___3.8b.xml 3.39 0.02 2.33
AG01___4.30c.xml 60.00 60.00
AotoYamada_05___001.xml 2.10 0.00 2.08 0.00
AotoYamada_05___002.xml 2.86 0.02 3.01 0.02
AotoYamada_05___003.xml 2.02 0.01 2.05 0.01
AotoYamada_05___004.xml 3.06 0.01 3.18 0.02
AotoYamada_05___005.xml 3.06 0.01 3.20 0.02
AotoYamada_05___006.xml 3.03 0.02 3.27 0.02
AotoYamada_05___007.xml 3.29 0.02 3.56 0.02
AotoYamada_05___009.xml 3.41 0.03 3.48 0.03
AotoYamada_05___010.xml 5.26 0.04 6.41 0.05
AotoYamada_05___011.xml 4.42 0.03 5.53 0.03
AotoYamada_05___012.xml 3.42 0.03 3.48 0.02
AotoYamada_05___013.xml 4.10 0.03 3.90 0.03
AotoYamada_05___014.xml 3.82 0.03 3.96 0.03
AotoYamada_05___015.xml 2.87 0.02 3.00 0.02
AotoYamada_05___016.xml 2.18 2.04
AotoYamada_05___017.xml 2.57 0.00 2.46 0.00
AotoYamada_05___019.xml 2.52 0.01 2.61 0.01
AotoYamada_05___020.xml 3.60 0.02 3.22 0.02
AotoYamada_05___021.xml 3.96 0.04 3.97 0.04
AotoYamada_05___022.xml 3.24 0.03 3.18 0.02
AotoYamada_05___023.xml 2.65 0.01 2.65 0.01
AotoYamada_05___024.xml 3.00 0.01 2.98 0.01
AotoYamada_05___025.xml 2.49 0.00 2.58 0.00
AotoYamada_05___026.xml 2.93 0.02 3.23 0.02
AotoYamada_05___027.xml 3.65 0.02 4.03
AotoYamada_05___028.xml 2.93 0.02 2.82 0.01
AotoYamada_05___Ex1SimplyTyped.xml 3.05 0.02 3.45 0.02
AotoYamada_05___Ex5TermProof.xml 10.62 60.00
Applicative_05___BTreeMember.xml 3.66 0.04 4.30 0.03
Applicative_05___Ex10Functional.xml 18.05 60.00
Applicative_05___Ex2_6_1Composition.xml 2.49 0.00 2.93 0.00
Applicative_05___Ex2_8_1ConstSubstFix.xml 2.05 0.01 2.07 0.01
Applicative_05___Ex2PrimRec.xml 11.38 27.86
Applicative_05___Ex3Lists.xml 4.20 0.04 3.67 0.03
Applicative_05___Ex4MapList.xml 2.79 0.01 3.00 0.01
Applicative_05___Ex5Folding.xml 10.73 60.00
Applicative_05___Ex5Sorting.xml 26.47 60.00
Applicative_05___Ex6_11.xml 2.61 0.01 4.45 0.01
Applicative_05___Ex6Folding.xml 9.21 60.00
Applicative_05___Ex6Recursor.xml 13.26 25.48
Applicative_05___Ex7_9.xml 28.01 60.00
Applicative_05___Ex7OrdinalRec.xml 22.12 60.00
Applicative_05___Ex7Sorting.xml 26.56 60.00
Applicative_05___Ex8Polymorphic.xml 2.96 0.02 4.29 0.02
Applicative_05___Ex9Maps.xml 60.00 60.00
Applicative_05___Hamming.xml 6.98 5.12
Applicative_05___mapDivMinusHard.xml 60.00 60.00
Applicative_05___mapDivMinus.xml 60.00 60.00
Applicative_05___nonTermF.xml 3.48 0.01 4.21 0.01
Applicative_05___ReverseLastInit.xml 3.24 0.02 3.15 0.02
Applicative_05___TakeDropWhile.xml 3.43 0.03 3.06 0.02
Applicative_05___termMonTypes.xml 2.05 0.01 2.06 0.01
Applicative_05___TreeFlatten.xml 3.50 0.03 3.67 0.03
Applicative_05___TreeHeight.xml 3.80 0.03 3.80 0.03
Applicative_05___TreeLevels.xml 4.68 0.05 4.62 0.05
Applicative_05___TreeMap.xml 3.11 0.02 3.26 0.02
Applicative_05___TreeSize.xml 3.50 0.03 3.59 0.03
Applicative_05___TypeEx1.xml 3.17 0.01 3.45 0.01
Applicative_05___TypeEx3.xml 2.05 0.01 2.06 0.01
Applicative_05___TypeEx5.xml 2.02 0.00 2.03 0.00
Applicative_first_order_05___01.xml 3.52 0.04 3.81 0.04
Applicative_first_order_05___02.xml 3.43 0.04 3.68 0.04
Applicative_first_order_05___06.xml 3.65 0.04 4.31 0.04
Applicative_first_order_05___08.xml 4.57 0.05 4.78 0.05
Applicative_first_order_05___11.xml 6.50 0.11 7.32 0.11
Applicative_first_order_05___12.xml 5.14 0.06 5.27 0.06
Applicative_first_order_05___13.xml 60.00 60.00
Applicative_first_order_05___17.xml 4.78 0.05 4.66 0.05
Applicative_first_order_05___18.xml 3.52 0.04 4.39 0.04
Applicative_first_order_05___21.xml 2.91 2.57
Applicative_first_order_05___29.xml 4.36 0.04 4.55 0.04
Applicative_first_order_05___30.xml 4.89 0.05 5.36 0.06
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.93 0.05 6.09 0.05
Applicative_first_order_05___3.18.xml 60.00 60.00
Applicative_first_order_05___31.xml 5.18 0.06 4.41 0.05
Applicative_first_order_05___3.22.xml 5.87 0.08 7.04 0.08
Applicative_first_order_05___3.25.xml 60.00 19.13 0.06
Applicative_first_order_05___3.27.xml 2.04 4.14 0.04
Applicative_first_order_05___3.2.xml 60.00 60.00
Applicative_first_order_05___3.32.xml 3.41 0.03 3.25 0.03
Applicative_first_order_05___3.36.xml 7.70 60.00
Applicative_first_order_05___3.38.xml 44.78 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 2.67 4.87 0.05
Applicative_first_order_05___3.48.xml 4.79 0.06 4.84 0.06
Applicative_first_order_05___3.52.xml 2.41 2.22
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.28 0.05 4.38 0.05
Applicative_first_order_05___minsort.xml 21.69 60.00
Applicative_first_order_05___motivation.xml 3.95 0.04 4.06 0.04
Applicative_first_order_05___perfect2.xml 60.00 60.00
Applicative_first_order_05___perfect.xml 6.08 0.09 6.71 0.09
AProVE_04___AAECC-ring.xml 60.00 60.00
AProVE_04___AAECC.xml 60.00 60.00
AProVE_04___fac.xml 3.16 0.01 3.11 0.01
AProVE_04___forward_instantiation2.xml 1.85 2.78
AProVE_04___forward_instantiation.xml 1.60 2.06
AProVE_04___IJCAR_12.xml 1.55 1.81
AProVE_04___IJCAR_18.xml 2.47 2.80
AProVE_04___IJCAR_1.xml 1.39 1.54
AProVE_04___IJCAR_26a.xml 3.40 3.74
AProVE_04___IJCAR_26.xml 3.28 3.50
AProVE_04___improved_usable2.xml 2.55 0.01 2.68 0.01
AProVE_04___improved_usable.xml 2.53 0.01 2.53 0.01
AProVE_04___JFP_Ex31.xml 60.00 60.00
AProVE_04___JFP_Ex51.xml 4.18 0.04 5.21 0.04
AProVE_04___Liveness6.1.xml 3.23 0.03 4.07 0.03
AProVE_04___Liveness6.2.xml 3.87 0.02 3.97 0.02
AProVE_04___Liveness6.3.xml 11.51 0.04 14.88 0.04
AProVE_04___Liveness6.4.xml 60.00 60.00
AProVE_04___Liveness8.xml 4.64 0.04 4.26 0.04
AProVE_04___Liveness_WRS.xml 29.68 0.07 58.46 0.07
AProVE_04___LPAR_intlist.xml 1.43 1.58
AProVE_04___rta1.xml 3.21 0.01 3.07 0.01
AProVE_04___rta2.xml 2.42 0.00 2.57 0.00
AProVE_04___rta3.xml 2.87 0.01 3.15 0.01
AProVE_06___div_notCeTermin.xml 60.00 60.00
AProVE_06___div_notTermin.xml 60.00 60.00
AProVE_06___factorial1.xml 4.01 0.02 4.24 0.02
AProVE_06___factorial2.xml 6.88 60.00
AProVE_06___identity.xml 3.69 0.03 4.15 0.03
AProVE_06___logarithm.xml 60.00 60.00
AProVE_06___mapHard.xml 60.00 60.00
AProVE_06___modulo.xml 8.65 60.00
AProVE_06___nonterm.xml 60.00 60.00
AProVE_06___quicksort.xml 4.89 11.75
AProVE_06___quot.xml 21.88 60.00
AProVE_06___sizeChange.xml 60.00 55.61 5.47
AProVE_06___tower_sizeChange.xml 9.51 60.00
AProVE_06___tower.xml 3.98 0.03 4.38 0.03
AProVE_07___kabasci01.xml 11.41 0.13 11.20 0.13
AProVE_07___kabasci02.xml 4.20 4.37
AProVE_07___kabasci03.xml 4.62 0.03 4.89 0.03
AProVE_07___kabasci04.xml 4.24 0.02 4.18 0.02
AProVE_07___kabasci05.xml 4.35 0.03 5.21 0.03
AProVE_07___kabasci06.xml 60.00 60.00
AProVE_07___otto01.xml 60.00 60.00
AProVE_07___otto02.xml 7.37 60.00
AProVE_07___otto03.xml 6.03 60.00
AProVE_07___otto04.xml 60.00 60.00
AProVE_07___otto05.xml 2.11 2.80
AProVE_07___otto06.xml 15.81 28.15
AProVE_07___otto07.xml 6.00 46.18
AProVE_07___otto08.xml 60.00 60.00
AProVE_07___otto09.xml 29.51 60.00
AProVE_07___otto10.xml 36.18 60.00
AProVE_07___otto11.xml 6.74 60.00
AProVE_07___otto12.xml 9.91 60.00
AProVE_07___otto13.xml 60.00 60.00
AProVE_07___thiemann01.xml 18.57 60.00
AProVE_07___thiemann02.xml 60.00 60.00
AProVE_07___thiemann03.xml 60.00 60.00
AProVE_07___thiemann04.xml 60.00 60.00
AProVE_07___thiemann05.xml 26.48 60.00
AProVE_07___thiemann06.xml 60.00 60.00
AProVE_07___thiemann07.xml 60.00 60.00
AProVE_07___thiemann08.xml 1.85 2.21
AProVE_07___thiemann09.xml 4.20 0.03 4.15 0.03
AProVE_07___thiemann10.xml 3.83 0.02 4.11 0.02
AProVE_07___thiemann11.xml 60.00 60.00
AProVE_07___thiemann12.xml 2.91 3.18
AProVE_07___thiemann13.xml 60.00 60.00
AProVE_07___thiemann14.xml 13.68 13.80
AProVE_07___thiemann15.xml 2.10 2.27
AProVE_07___thiemann16.xml 3.96 4.85
AProVE_07___thiemann17.xml 4.02 0.02 4.27 0.02
AProVE_07___thiemann18.xml 5.44 5.44
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 9.18 60.00
AProVE_07___thiemann25.xml 7.78 60.00
AProVE_07___thiemann26.xml 60.00 60.00
AProVE_07___thiemann27.xml 4.87 60.00
AProVE_07___thiemann28.xml 60.00 60.00
AProVE_07___thiemann29.xml 60.00 60.00
AProVE_07___thiemann30.xml 5.76 60.00
AProVE_07___thiemann31.xml 60.00 60.00
AProVE_07___thiemann32.xml 60.00 60.00
AProVE_07___thiemann33.xml 60.00 60.00
AProVE_07___thiemann34.xml 31.98 60.00
AProVE_07___thiemann35.xml 60.00 60.00
AProVE_07___thiemann36.xml 60.00 60.00
AProVE_07___thiemann37.xml 17.24 60.00
AProVE_07___thiemann38.xml 38.14 60.00
AProVE_07___thiemann39.xml 27.74 60.00
AProVE_07___thiemann40.xml 1.52 1.90
AProVE_07___thiemann41.xml 7.53 60.00
AProVE_07___wiehe01.xml 8.56 0.04 11.19 0.04
AProVE_07___wiehe02.xml 9.67 0.06 10.72 0.06
AProVE_07___wiehe03.xml 9.98 0.06 11.70 0.06
AProVE_07___wiehe05.xml 9.05 0.04 10.13 0.05
AProVE_07___wiehe06.xml 9.21 0.05 10.26 0.05
AProVE_07___wiehe07.xml 60.00 60.00
AProVE_07___wiehe08.xml 9.94 0.05 11.68 0.05
AProVE_07___wiehe09.xml 9.18 0.06 9.99 0.05
AProVE_07___wiehe11.xml 10.77 0.08 12.18 0.08
AProVE_07___wiehe12.xml 13.26 0.09 13.52 0.09
AProVE_08___id_inc.xml 4.16 0.02 5.23 0.03
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.06 0.00 2.07 0.01
AProVE_08___round.xml 3.99 7.66
AProVE_08___thiemann40_modified.xml 12.04 36.22
AProVE_09_Inductive___divhard.xml 26.06 60.00
AProVE_09_Inductive___div.xml 25.84 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 25.00 60.00
AProVE_09_Inductive___log.xml 60.00 60.00
AProVE_09_Inductive___maxsortcondition.xml 39.94 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 11.99 60.00
AProVE_10___andIsNat.xml 60.00 60.00
AProVE_10___challenge_fab.xml 60.00 60.00
AProVE_10___double.xml 18.66 60.00
AProVE_10___downfrom.xml 60.00 60.00
AProVE_10___ex1.xml 5.53 13.36
AProVE_10___ex2.xml 60.00 60.00
AProVE_10___ex3.xml 22.42 54.19
AProVE_10___ex4.xml 60.00 60.00
AProVE_10___ex5.xml 2.22 0.00 3.27 0.00
AProVE_10___halfdouble.xml 60.00 60.00
AProVE_10___isList.xml 2.01 0.00 2.03 0.00
AProVE_10___isNat.xml 10.84 19.08
AProVE_10___scnp.xml 2.59 0.01 2.69 0.01
AProVE_10___Zantema06-03-modified.xml 60.00 60.00
Beerendonk_07___10.xml 4.83 0.03 6.25 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 5.08 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 3.03 0.01 3.42 0.01
Beerendonk_07___20.xml 60.00 60.00
Beerendonk_07___21.xml 60.00 60.00
Beerendonk_07___22.xml 3.98 0.02 4.80 0.02
Beerendonk_07___23.xml 3.67 0.02 4.07 0.02
Beerendonk_07___24.xml 60.00 60.00
Beerendonk_07___2.xml 3.21 0.01 3.64 0.01
Beerendonk_07___3.xml 8.30 60.00
Beerendonk_07___4.xml 5.09 40.93
Beerendonk_07___5.xml 3.48 0.02 3.88 0.02
Beerendonk_07___6.xml 3.01 0.01 3.30 0.01
Beerendonk_07___7.xml 3.11 0.01 3.31 0.01
Beerendonk_07___8.xml 3.50 0.02 4.13 0.02
Beerendonk_07___9.xml 3.12 0.02 3.60 0.02
Bouchare_06___01.xml 3.94 0.01 2.57 0.02
Bouchare_06___02.xml 5.60 0.02 2.57 0.02
Bouchare_06___03.xml 3.13 0.01 3.91 0.01
Bouchare_06___04.xml 5.08 0.02 2.46 0.02
Bouchare_06___05.xml 3.21 4.60
Bouchare_06___06.xml 4.21 0.02 4.07
Bouchare_06___07.xml 3.67 0.01 3.63 0.02
Bouchare_06___08.xml 3.63 0.01 5.11 0.01
Bouchare_06___09.xml 5.60 0.01 6.99 0.01
Bouchare_06___10.xml 7.11 0.03 8.45 0.03
Bouchare_06___11.xml 5.80 0.02 6.62 0.02
Bouchare_06___12.xml 4.43 0.02 5.17 0.02
Bouchare_06___13.xml 3.85 0.01 4.89 0.01
Bouchare_06___14.xml 3.60 0.01 2.44 0.02
Bouchare_06___15.xml 6.72 0.03 2.46 0.01
Bouchare_06___16.xml 3.47 0.01 2.34 0.01
Bouchare_06___17.xml 3.66 0.01 2.40 0.01
Bouchare_06___18.xml 3.90 0.01 4.80 0.01
CiME_04___ack_prolog.xml 2.87 0.01 2.90 0.01
CiME_04___append-hard.xml 1.35 1.60
CiME_04___append-wrong.xml 2.78 0.01 2.89 0.01
CiME_04___append.xml 1.30 1.44
CiME_04___big.xml 9.41 0.13 9.81 0.14
CiME_04___boolean_rings.xml 2.48 0.01 2.49 0.01
CiME_04___dpqs.xml 2.32 0.01 2.30 0.01
CiME_04___fact-hard.xml 60.00 60.00
CiME_04___filliatre2.xml 2.15 2.24
CiME_04___filliatre3.xml 2.52 2.22
CiME_04___filliatre.xml 1.85 2.19
CiME_04___intersect.xml 2.72 2.69
CiME_04___list-sum-prod-assoc-append.xml 4.22 0.03 4.43 0.04
CiME_04___list-sum-prod-assoc.xml 3.81 0.02 3.66 0.02
CiME_04___list-sum-prod-bin-assoc-distr-app.xml 4.97 0.05 4.68 0.05
CiME_04___list-sum-prod-bin-assoc.xml 3.72 0.03 4.19 0.03
CiME_04___list-sum-prod-bin.xml 3.73 0.03 3.64 0.03
CiME_04___list-sum-prod.xml 3.45 0.02 3.35 0.02
CiME_04___log2.xml 5.27 0.06 5.03 0.05
CiME_04___lse.xml 4.98 0.06 4.69 0.05
CiME_04___maude2.xml 60.00 60.00
CiME_04___mucrl1.xml 10.31 0.27 9.71 0.29
CiME_04___ternary-hard.xml 5.54 0.07 5.10 0.06
CiME_04___ternary.xml 4.57 0.07 4.86 0.05
CiME_04___tree.xml 6.54 0.09 6.47 0.09
Der95___01.xml 2.01 0.01 2.02 0.01
Der95___02.xml 1.96 0.00 1.99 0.00
Der95___03.xml 2.14 0.00 2.16 0.00
Der95___04.xml 2.16 0.00 2.17 0.00
Der95___06.xml 2.27 0.01 2.35 0.00
Der95___07.xml 2.25 0.01 2.27 0.01
Der95___08.xml 2.66 0.01 2.80 0.01
Der95___09.xml 2.49 0.00 2.59 0.00
Der95___11.xml 2.99 0.02 3.15 0.02
Der95___12.xml 3.37 0.02 2.92 0.01
Der95___13.xml 4.07 0.02 4.02 0.02
Der95___17.xml 2.66 0.01 2.82 0.01
Der95___18.xml 2.14 0.00 2.23 0.00
Der95___20.xml 2.59 0.01 3.10 0.01
Der95___21.xml 1.58 2.72 0.01
Der95___27.xml 1.24 2.71 0.00
Der95___28.xml 2.61 0.01 2.63 0.01
Der95___30.xml 2.73 0.01 2.70 0.01
Der95___31.xml 2.48 0.01 2.53 0.01
Der95___32.xml 3.09 0.01 2.94 0.02
Der95___33.xml 60.00 60.00
Endrullis_06___direct.xml 3.07 0.01 3.34 0.01
Endrullis_06___labeling.xml 3.68 7.67 0.11
Endrullis_06___linear1.xml 3.55 0.09 3.91 0.02
Endrullis_06___linear2.xml 5.50 0.03 5.43 0.02
Endrullis_06___pair2hard.xml 3.49 0.02 4.09 0.01
Endrullis_06___pair2simple1.xml 2.88 0.01 3.01 0.01
Endrullis_06___pair2simple2.xml 2.68 0.01 3.04 0.01
Endrullis_06___pair3hard.xml 60.00 21.34 0.07
Endrullis_06___pair3rotate.xml 3.86 0.01 3.88 0.01
Endrullis_06___pair3swap.xml 3.88 0.01 4.36 0.01
Endrullis_06___quadruple1.xml 3.04 0.01 3.26 0.01
Endrullis_06___quadruple2.xml 3.51 0.01 4.20 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 2.90 3.23
Gebhardt_06___05.xml 60.00 60.00
Gebhardt_06___06.xml 60.00 60.00
Gebhardt_06___07.xml 5.56 0.01 5.15 0.01
Gebhardt_06___08.xml 60.00 60.00
Gebhardt_06___09.xml 23.29 0.01 29.69 0.34
Gebhardt_06___10.xml 60.00 60.00
Gebhardt_06___11.xml 4.48 0.01 6.19 0.01
Gebhardt_06___12.xml 60.00 60.00
Gebhardt_06___13.xml 60.00 60.00
Gebhardt_06___14.xml 5.05 0.01 5.33 0.01
Gebhardt_06___15.xml 60.00 60.00
Gebhardt_06___16.xml 5.65 0.01 7.03 0.01
Gebhardt_06___17.xml 3.07 4.31
Gebhardt_06___18.xml 29.45 47.10
Gebhardt_06___19.xml 60.00 60.00
Gebhardt_06___20.xml 60.00 60.00
GTSSK07___cade01.xml 7.35 60.00
GTSSK07___cade03.xml 5.25 43.89
GTSSK07___cade04t.xml 3.95 44.55
GTSSK07___cade05t.xml 60.00 60.00
GTSSK07___cade06.xml 12.70 60.00
GTSSK07___cade07.xml 60.00 60.00
GTSSK07___cade08.xml 21.26 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.55 60.00
GTSSK07___cade14.xml 12.48 60.00
GTSSK07___cade15.xml 60.00 60.00
GTSSK07___cade16.xml 50.80 60.00
GTSSK07___cade17.xml 60.00 60.00
HirokawaMiddeldorp_04___n002.xml 2.21 0.00 2.14 0.00
HirokawaMiddeldorp_04___n003.xml 2.08 0.00 2.11 0.00
HirokawaMiddeldorp_04___n004.xml 2.09 0.00 2.15 0.00
HirokawaMiddeldorp_04___n005.xml 2.11 0.00 2.12 0.00
HirokawaMiddeldorp_04___n006.xml 2.11 0.00 2.13 0.00
HirokawaMiddeldorp_04___n007.xml 2.00 0.00 2.01 0.00
HirokawaMiddeldorp_04___n008.xml 2.10 0.00 2.13 0.00
HirokawaMiddeldorp_04___t000.xml 7.96 0.09 9.08 0.09
HirokawaMiddeldorp_04___t001.xml 4.00 0.03 4.41 0.03
HirokawaMiddeldorp_04___t002.xml 6.33 29.95
HirokawaMiddeldorp_04___t003.xml 3.34 0.02 3.78 0.02
HirokawaMiddeldorp_04___t004.xml 2.48 0.01 2.54 0.01
HirokawaMiddeldorp_04___t005.xml 11.29 0.29 12.91 0.27
HirokawaMiddeldorp_04___t006.xml 2.44 0.00 2.50 0.01
HirokawaMiddeldorp_04___t007.xml 2.18 0.00 2.32 0.01
HirokawaMiddeldorp_04___t008.xml 2.57 0.01 2.66 0.39
HirokawaMiddeldorp_04___t009.xml 60.00 60.00
HirokawaMiddeldorp_04___t010.xml 2.20 0.00 2.27 0.01
HirokawaMiddeldorp_04___t011.xml 1.27 2.67 0.01
HirokawaMiddeldorp_04___t012.xml 2.85 0.02 3.14 0.02
HirokawaMiddeldorp_04___t013.xml 2.18 2.70
HirokawaMiddeldorp_04___t014.xml 3.25 0.01 3.27 0.01
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 14.30 3.01
ICFP_2010___128280.xml 60.00 12.30 2.74
ICFP_2010___128430.xml 60.00 12.61 2.98
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.80 2.48
ICFP_2010___128691.xml 60.00 12.40 3.16
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 17.90 2.83
ICFP_2010___132611.xml 9.08 0.52 8.17 0.52
ICFP_2010___132622.xml 60.00 11.94 2.71
ICFP_2010___132720.xml 60.00 60.00
ICFP_2010___132738.xml 60.00 16.32 3.13
ICFP_2010___132782.xml 60.00 11.21 2.99
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 13.92 2.55
ICFP_2010___132957.xml 60.00 15.86 3.75
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.28 0.57 8.63 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 41.64 4.64
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.91 0.42 7.74 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.45 0.56 9.89 0.57
ICFP_2010___138194.xml 60.00 60.00
ICFP_2010___138254.xml 10.70 0.62 10.90 0.62
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.60 2.74
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 13.73 2.55
ICFP_2010___139185.xml 60.00 12.03 3.07
ICFP_2010___139190.xml 60.00 11.05 2.20
ICFP_2010___139214.xml 60.00 12.51 3.07
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.47 3.25
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 14.46 2.76
ICFP_2010___140631.xml 60.00 60.00
ICFP_2010___140639.xml 60.00 60.00
ICFP_2010___140654.xml 60.00 23.97 2.03
ICFP_2010___140659.xml 60.00 60.00
ICFP_2010___140664.xml 60.00 60.00
ICFP_2010___142142.xml 60.00 14.06 1.76
ICFP_2010___142146.xml 60.00 9.59 1.97
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 42.01 0.77 42.10 0.77
ICFP_2010___157161.xml 60.00 60.00
ICFP_2010___157275.xml 60.00 60.00
ICFP_2010___157388.xml 17.92 0.51 20.00 0.51
ICFP_2010___157436.xml 60.00 60.00
ICFP_2010___157466.xml 60.00 60.00
ICFP_2010___157593.xml 14.87 0.31 17.85 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 32.11 0.25 32.94 0.25
ICFP_2010___160068.xml 60.00 60.00
ICFP_2010___160210.xml 60.00 60.00
ICFP_2010___160234.xml 13.15 0.25 12.81 0.25
ICFP_2010___160254.xml 60.00 60.00
ICFP_2010___160263.xml 14.96 0.27 14.57 0.27
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.36 1.27 9.71 1.27
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 7.32 1.00 8.46 1.01
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.89 1.42 10.81 1.43
ICFP_2010___188696.xml 60.00 60.00
ICFP_2010___211471.xml 1.60 2.21
ICFP_2010___211639.xml 2.32 2.83
ICFP_2010___211857.xml 6.83 7.12
ICFP_2010___211915.xml 14.73 0.21 15.60 0.21
ICFP_2010___211960.xml 15.86 0.24 16.26 0.24
ICFP_2010___211978.xml 5.28 0.19 6.60 0.19
ICFP_2010___212026.xml 30.00 0.32 33.92 0.32
ICFP_2010___212037.xml 24.61 0.47 25.09 0.47
ICFP_2010___212043.xml 60.00 60.00
ICFP_2010___212062.xml 6.55 0.15 5.26 0.15
ICFP_2010___212094.xml 14.97 15.82
ICFP_2010___212117.xml 14.57 14.43
ICFP_2010___212189.xml 60.00 60.00
ICFP_2010___212263.xml 6.29 0.12 9.73 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 13.18 0.25 12.83 0.25
ICFP_2010___212534.xml 15.33 13.47
ICFP_2010___212612.xml 60.00 60.00
ICFP_2010___212693.xml 6.51 60.00
ICFP_2010___212774.xml 13.34 0.33 15.06 0.33
ICFP_2010___212795.xml 60.00 60.00
ICFP_2010___212892.xml 15.17 14.33
ICFP_2010___213051.xml 14.16 0.22 13.06 0.22
ICFP_2010___213147.xml 19.96 0.25 21.85 0.34
ICFP_2010___213218.xml 6.34 0.23 6.58 0.23
ICFP_2010___213281.xml 10.40 0.20 10.47 0.19
ICFP_2010___213407.xml 8.78 0.21 10.34 0.21
ICFP_2010___213437.xml 21.85 0.37 21.61 0.37
ICFP_2010___213537.xml 20.99 0.34 21.67 0.34
ICFP_2010___213560.xml 24.83 0.32 17.05 0.32
ICFP_2010___213611.xml 3.56 3.82
ICFP_2010___213719.xml 60.00 60.00
ICFP_2010___213865.xml 13.46 0.24 16.16 0.25
ICFP_2010___214011.xml 9.15 0.18 8.29 0.18
ICFP_2010___214091.xml 5.35 0.15 5.70 0.15
ICFP_2010___214169.xml 15.22 0.24 14.85 0.24
ICFP_2010___214183.xml 13.16 0.20 13.60 0.20
ICFP_2010___214261.xml 16.23 0.26 60.00
ICFP_2010___214320.xml 10.59 0.17 11.49 0.17
ICFP_2010___230780.xml 3.05 3.05
ICFP_2010___230819.xml 1.80 2.45
ICFP_2010___230948.xml 1.97 2.56
ICFP_2010___231043.xml 2.87 3.05
ICFP_2010___231149.xml 1.89 2.00
ICFP_2010___231230.xml 2.96 3.02
ICFP_2010___231300.xml 2.30 2.47
ICFP_2010___231378.xml 3.06 3.26
ICFP_2010___231480.xml 3.03 3.29
ICFP_2010___231604.xml 3.28 3.36
ICFP_2010___24100.xml 60.00 60.00
ICFP_2010___246924.xml 2.90 3.54
ICFP_2010___247020.xml 3.27 3.34
ICFP_2010___247254.xml 2.93 3.20
ICFP_2010___247504.xml 2.43 2.56
ICFP_2010___247906.xml 5.39 5.55
ICFP_2010___247992.xml 3.14 3.18
ICFP_2010___248060.xml 2.63 3.05
ICFP_2010___249386.xml 60.00 60.00
ICFP_2010___249459.xml 3.28 4.79
ICFP_2010___249663.xml 2.91 3.42
ICFP_2010___25192.xml 2.45 0.01 3.12 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 26.54 0.01 35.98 0.01
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.51 3.71
ICFP_2010___259625.xml 60.00 9.77 2.84
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 11.36 1.88 11.58 1.88
ICFP_2010___263745.xml 60.00 9.46 3.27
ICFP_2010___264033.xml 8.90 0.22 9.18 0.22
ICFP_2010___264370.xml 2.33 0.01 2.37 0.01
ICFP_2010___264405.xml 2.35 0.02 2.35 0.01
ICFP_2010___26555.xml 2.28 0.01 2.31 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 17.94 22.19
ICFP_2010___3336.xml 9.99 0.18 14.30 0.20
ICFP_2010___3385.xml 60.00 33.00 2.34
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 10.87 0.22 12.04 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.69 0.44 23.82 0.44
ICFP_2010___3989.xml 60.00 60.00
ICFP_2010___3995.xml 60.00 60.00
ICFP_2010___4002.xml 60.00 17.60 0.77
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.52 0.10 7.96 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.82 3.64
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 6.16 0.19 7.18 0.19
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 14.36 3.53
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 2.93 3.86
ICFP_2010___54622.xml 2.64 2.86
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 60.00 31.84 0.40
ICFP_2010___57852.xml 21.84 1.79 19.91 1.79
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 60.00 60.00
ICFP_2010___63142.xml 60.00 10.45 0.66
ICFP_2010___64160.xml 60.00 60.00
ICFP_2010___65081.xml 6.97 0.07 6.91 0.07
ICFP_2010___68322.xml 60.00 60.00
ICFP_2010___68535.xml 35.42 1.14 60.00
ICFP_2010___68989.xml 5.62 0.19 9.18 0.19
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 60.00 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.53 0.66 19.24 0.66
ICFP_2010___85590.xml 60.00 60.00
ICFP_2010___85650.xml 60.00 19.44 0.60
ICFP_2010___85675.xml 5.65 0.15 4.19 0.15
ICFP_2010___85721.xml 60.00 60.00
ICFP_2010___85749.xml 6.77 0.11 6.93 0.11
ICFP_2010___85782.xml 60.00 60.00
ICFP_2010___85834.xml 10.39 0.23 10.10 0.23
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.14 0.24 9.47 0.24
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 10.06 0.24 9.81 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.90 1.74
ICFP_2010___88172.xml 60.00 60.00
ICFP_2010___88183.xml 60.00 60.00
ICFP_2010___88208.xml 60.00 60.00
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 12.59 1.48
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 7.68 0.07 7.79 0.07
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.88 0.08 7.22 0.08
ICFP_2010___96239.xml 60.00 60.00
ICFP_2010___96256.xml 60.00 60.00
ICFP_2010___96274.xml 4.98 5.15
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 25.51 0.57 18.58 0.41
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 23.68 0.53 24.33 0.53
ICFP_2010___96485.xml 2.01 2.17
ICFP_2010___96523.xml 60.00 60.00
ICFP_2010___96563.xml 10.80 0.32 10.35 0.30
ICFP_2010___96612.xml 60.00 60.00
ICFP_2010___96642.xml 60.00 17.86 0.51
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.66 0.53 20.14 0.53
ICFP_2010___98623.xml 60.00 60.00
Mixed_CTRS___quick.xml 2.48 4.59 0.03
Mixed_HO_10___applicative.xml 0.55 0.56
Mixed_HO_10___apply.xml 0.53 0.53
Mixed_HO_10___app.xml 0.54 0.53
Mixed_HO_10___counterex1.xml 0.54 0.54
Mixed_HO_10___counterex2.xml 0.53 0.53
Mixed_HO_10___curry1.xml 0.53 0.53
Mixed_HO_10___curry.xml 0.53 0.53
Mixed_HO_10___deriv.xml 0.56 0.55
Mixed_HO_10___eval.xml 0.54 0.54
Mixed_HO_10___extrec.xml 0.54 0.54
Mixed_HO_10___filter.xml 0.54 0.55
Mixed_HO_10___findzero.xml 0.55 0.55
Mixed_HO_10___foldl.xml 0.54 0.54
Mixed_HO_10___foobar.xml 0.53 0.53
Mixed_HO_10___from.xml 0.55 0.55
Mixed_HO_10___hrsdif1.xml 0.53 0.53
Mixed_HO_10___hrsdif2.xml 0.53 0.53
Mixed_HO_10___if.xml 0.54 0.54
Mixed_HO_10___inlamb.xml 0.53 0.54
Mixed_HO_10___iterative.xml 0.54 0.54
Mixed_HO_10___lambda1.xml 0.53 0.53
Mixed_HO_10___lambda2.xml 0.54 0.54
Mixed_HO_10___lambda3.xml 0.53 0.53
Mixed_HO_10___length.xml 0.60 0.54
Mixed_HO_10___loopy.xml 0.53 0.54
Mixed_HO_10___map.xml 0.54 0.54
Mixed_HO_10___noabs.xml 0.54 0.54
Mixed_HO_10___onearg.xml 0.54 0.55
Mixed_HO_10___ordrec.xml 0.54 0.54
Mixed_HO_10___plode.xml 0.54 0.55
Mixed_HO_10___prefixsum.xml 0.54 0.54
Mixed_HO_10___prenex.xml 0.56 0.56
Mixed_HO_10___process.xml 0.55 0.55
Mixed_HO_10___qsort.xml 0.56 0.56
Mixed_HO_10___rec.xml 0.53 0.54
Mixed_HO_10___reverse.xml 0.54 0.55
Mixed_HO_10___sdu.xml 0.55 0.56
Mixed_HO_10___sort.xml 0.56 0.56
Mixed_HO_10___uncurry.xml 0.53 0.54
Mixed_HO_10___zipWith.xml 0.56 0.57
Mixed_SRS___01-oppelt08.xml 60.00 60.00
Mixed_SRS___01.xml 2.37 3.41
Mixed_SRS___02-oppelt08.xml 60.00 60.00
Mixed_SRS___02.xml 2.51 3.89
Mixed_SRS___03-oppelt08.xml 60.00 60.00
Mixed_SRS___03.xml 7.01 0.01 9.55 0.01
Mixed_SRS___04-oppelt08.xml 60.00 60.00
Mixed_SRS___04.xml 23.00 0.01 8.92 0.07
Mixed_SRS___05-oppelt08.xml 60.00 60.00
Mixed_SRS___05.xml 6.21 0.03 8.03 0.03
Mixed_SRS___06-oppelt08.xml 60.00 60.00
Mixed_SRS___06.xml 3.67 0.01 4.34 0.01
Mixed_SRS___07-oppelt08.xml 60.00 60.00
Mixed_SRS___07.xml 5.01 0.02 6.63 0.02
Mixed_SRS___08-oppelt08.xml 60.00 60.00
Mixed_SRS___08.xml 60.00 34.45 0.03
Mixed_SRS___09.xml 2.08 2.98
Mixed_SRS___1.xml 60.00 60.00
Mixed_SRS___2.xml 2.18 3.06
Mixed_SRS___3.xml 4.14 0.01 3.12 0.03
Mixed_SRS___4.xml 60.00 60.00
Mixed_SRS___s6.xml 6.52 0.03 6.43 0.03
Mixed_SRS___touzet.xml 2.94 0.01 2.68 0.01
Mixed_SRS___turing_add.xml 2.84 0.02 2.99 0.02
Mixed_SRS___turing_copy.xml 2.31 0.02 2.50 0.02
Mixed_SRS___turing_mult.xml 3.13 0.03 2.90 0.03
Mixed_TRS___1.xml 2.98 0.01 3.17 0.01
Mixed_TRS___2.xml 2.76 0.01 3.12 0.01
Mixed_TRS___3.xml 2.76 0.01 3.07 0.01
Mixed_TRS___4.xml 2.92 0.01 3.04 0.01
Mixed_TRS___5.xml 2.56 0.01 2.64 0.01
Mixed_TRS___6.xml 60.00 60.00
Mixed_TRS___7.xml 60.00 60.00
Mixed_TRS___beans.xml 3.97 0.03 5.22 0.03
Mixed_TRS___Ex1_Luc04b_GM.xml 4.59 0.05 5.03 0.05
Mixed_TRS___gcdMinMax.xml 60.00 60.00
Mixed_TRS___gcd_triple.xml 4.51 0.03 4.70 0.03
Mixed_TRS___gcd.xml 3.70 0.02 4.19 0.02
Mixed_TRS___hydra.xml 2.61 0.01 2.66 0.01
Mixed_TRS___hydra-Zantema06.xml 60.00 60.00
Mixed_TRS___jones1.xml 2.63 0.01 2.67 0.01
Mixed_TRS___jones2.xml 1.26 1.37
Mixed_TRS___jones4.xml 2.52 0.01 2.80 0.01
Mixed_TRS___jones5.xml 2.71 0.00 2.57 0.01
Mixed_TRS___jones6.xml 2.89 0.01 3.20 0.01
Mixed_TRS___minsort.xml 28.78 60.00
Mixed_TRS___motivation.xml 2.52 0.01 2.63 0.01
Mixed_TRS___perfect2.xml 3.62 0.03 3.64 0.02
Mixed_TRS___perfect.xml 2.56 0.01 2.70 0.01
Mixed_TRS___test1.xml 2.52 0.00 2.61 0.00
Mixed_TRS___while2.xml 60.00 60.00
Mixed_TRS___while.xml 14.54 24.86
MNZ_10___0.xml 15.46 0.04 18.80 0.05
MNZ_10___1.xml 60.00 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 2.48 0.00 4.39 0.00
Rubio_04___bintrees.xml 2.64 0.01 2.77 0.01
Rubio_04___bn122.xml 2.66 0.01 2.71 0.01
Rubio_04___bn129.xml 2.68 0.01 2.86 0.01
Rubio_04___division.xml 1.88 3.16 0.02
Rubio_04___elimdupl.xml 2.01 2.17
Rubio_04___enno.xml 3.52 0.03 3.41 0.03
Rubio_04___gcd.xml 3.09 0.02 3.23 0.02
Rubio_04___gmnp.xml 2.24 0.01 2.30 0.01
Rubio_04___gm.xml 3.03 0.01 2.80 0.01
Rubio_04___koen.xml 2.85 0.01 2.88 0.01
Rubio_04___lescanne.xml 2.74 0.01 2.79 0.01
Rubio_04___lindau.xml 2.25 0.01 2.32 0.01
Rubio_04___logarquot.xml 3.00 0.01 3.43 0.01
Rubio_04___ma96.xml 3.91 0.04 4.36 0.04
Rubio_04___mfp90b.xml 2.42 0.01 2.46 0.01
Rubio_04___mfp95.xml 0.72 0.99
Rubio_04___nestrec.xml 2.23 0.01 2.25 0.01
Rubio_04___p266.xml 2.28 0.01 2.28 0.01
Rubio_04___polo2.xml 3.03 0.01 3.16 0.02
Rubio_04___prov.xml 2.17 0.01 2.28 0.01
Rubio_04___quick.xml 3.75 0.03 4.00 0.03
Rubio_04___quotminus.xml 2.99 0.01 2.98 0.01
Rubio_04___revlist.xml 1.71 1.73
Rubio_04___selsort.xml 2.82 3.01
Rubio_04___test4.xml 2.71 0.01 2.45 0.01
Rubio_04___test829.xml 2.52 0.01 2.64 0.01
Rubio_04___wst99.xml 3.03 0.03 3.68 0.03
Secret_05_SRS___aprove1.xml 7.99 0.05 8.44 0.05
Secret_05_SRS___aprove2.xml 4.93 0.03 5.63 0.03
Secret_05_SRS___aprove3.xml 2.88 3.38
Secret_05_SRS___aprove4.xml 5.45 0.04 5.53 0.04
Secret_05_SRS___aprove5.xml 8.35 0.05 8.86 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.46 0.03 8.74 0.03
Secret_05_SRS___jambox5.xml 5.67 7.78
Secret_05_SRS___matchbox1.xml 6.64 0.03 7.58 0.03
Secret_05_SRS___matchbox2.xml 5.11 6.38
Secret_05_SRS___torpa1.xml 3.19 0.01 3.46 0.01
Secret_05_SRS___torpa2.xml 2.01 2.67
Secret_05_SRS___torpa3.xml 1.96 2.39
Secret_05_SRS___torpa4.xml 3.03 0.03 3.26 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 22.51 60.00
Secret_05_TRS___aprove4.xml 22.13 60.00
Secret_05_TRS___aprove5.xml 17.27 0.04 18.74 0.04
Secret_05_TRS___cime1.xml 60.00 60.00
Secret_05_TRS___cime2.xml 9.00 0.03 10.64 0.03
Secret_05_TRS___cime3.xml 60.00 60.00
Secret_05_TRS___cime4.xml 2.36 0.01 2.11 0.01
Secret_05_TRS___cime5.xml 14.82 0.12 15.31 0.13
Secret_05_TRS___matchbox1.xml 2.74 4.61 0.02
Secret_05_TRS___matchbox2.xml 2.74 0.01 4.18 0.01
Secret_05_TRS___teparla1.xml 60.00 31.63 0.04
Secret_05_TRS___teparla2.xml 60.00 23.47 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.31 0.02 3.52 0.02
Secret_05_TRS___tpa3.xml 19.92 60.00
Secret_05_TRS___tpa4.xml 24.64 52.78
Secret_05_TRS___tpa5.xml 60.00 60.00
Secret_05_TRS___ttt1.xml 2.04 0.01 2.09 0.01
Secret_05_TRS___ttt2.xml 1.98 0.00 2.00 0.00
Secret_06_SRS___10.xml 5.03 0.01 4.89 0.01
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 40.86 0.05
Secret_06_SRS___2.xml 8.98 0.02 6.49 0.02
Secret_06_SRS___3-matchbox.xml 4.72 5.80
Secret_06_SRS___3.xml 60.00 60.00
Secret_06_SRS___5-matchbox.xml 15.17 0.02 5.30 0.07
Secret_06_SRS___5.xml 11.61 0.04 11.57 0.04
Secret_06_SRS___6.xml 4.07 0.01 5.71 0.01
Secret_06_SRS___7.xml 4.19 0.01 4.83 0.01
Secret_06_SRS___8.xml 3.79 7.12
Secret_06_SRS___9.xml 3.97 0.01 4.97 0.01
Secret_06_SRS___aprove00.xml 3.27 0.03 3.53 0.03
Secret_06_SRS___aprove01.xml 6.31 0.06 6.73 0.04
Secret_06_SRS___aprove02.xml 8.63 14.82
Secret_06_SRS___aprove03.xml 10.61 0.08 10.84 0.08
Secret_06_SRS___aprove04.xml 26.93 0.09 30.12 0.09
Secret_06_SRS___aprove05.xml 4.36 0.06 4.54 0.06
Secret_06_SRS___aprove06.xml 11.05 0.08 12.01 0.08
Secret_06_SRS___aprove07.xml 60.00 60.00
Secret_06_SRS___aprove08.xml 21.07 52.12
Secret_06_SRS___aprove09.xml 4.20 0.04 5.44 0.04
Secret_06_SRS___multum1.xml 14.62 17.69
Secret_06_SRS___multum2.xml 10.91 0.03 14.08 0.03
Secret_06_SRS___multum3.xml 3.32 0.01 3.80 0.01
Secret_06_SRS___multum4.xml 60.00 60.00
Secret_06_SRS___multum5.xml 10.38 7.36
Secret_06_SRS___multum6.xml 6.97 0.02 6.66 0.02
Secret_06_SRS___secr10.xml 5.77 0.02 8.35 0.04
Secret_06_SRS___secr1.xml 2.85 0.01 2.92 0.01
Secret_06_SRS___secr2.xml 3.92 0.02 3.34 0.02
Secret_06_SRS___secr3.xml 4.52 0.02 4.69 0.02
Secret_06_SRS___secr4.xml 10.49 0.06 11.54 0.06
Secret_06_SRS___secr5.xml 60.00 60.00
Secret_06_SRS___secr6.xml 5.18 0.02 7.82 0.02
Secret_06_SRS___secr7.xml 4.07 0.02 4.97 0.01
Secret_06_SRS___secr8.xml 5.50 0.02 6.85 0.02
Secret_06_SRS___secr9.xml 7.63 0.05 10.57 0.05
Secret_06_TRS___10.xml 5.35 0.02 7.51 0.02
Secret_06_TRS___2.xml 2.41 4.16
Secret_06_TRS___3.xml 60.00 60.00
Secret_06_TRS___4.xml 1.81 3.16
Secret_06_TRS___5.xml 6.40 0.01 7.26 0.01
Secret_06_TRS___6.xml 3.63 0.01 3.95 0.01
Secret_06_TRS___7.xml 2.69 0.01 3.10 0.01
Secret_06_TRS___8.xml 3.72 0.02 3.96 0.02
Secret_06_TRS___9.xml 3.34 0.02 3.83 0.02
Secret_06_TRS___addList.xml 27.42 28.36
Secret_06_TRS___cime1.xml 13.32 60.00
Secret_06_TRS___divExp.xml 15.36 28.19
Secret_06_TRS___division.xml 31.98 60.00
Secret_06_TRS___double.xml 26.07 60.00
Secret_06_TRS___gen-10.xml 3.67 0.02 3.75 0.02
Secret_06_TRS___gen-14.xml 3.42 0.02 3.79 0.02
Secret_06_TRS___gen-15.xml 1.40 1.40
Secret_06_TRS___gen-17.xml 2.87 0.01 2.91 0.01
Secret_06_TRS___gen-18.xml 6.03 11.86
Secret_06_TRS___gen-1.xml 2.11 6.39
Secret_06_TRS___gen-22.xml 2.70 8.06
Secret_06_TRS___gen-25.xml 3.97 0.02 4.23 0.02
Secret_06_TRS___gen-28.xml 14.82 0.02 16.27 0.02
Secret_06_TRS___gen-9.xml 2.01 2.22
Secret_06_TRS___logarithm.xml 60.00 60.00
Secret_06_TRS___nrOfNodes.xml 60.00 60.00
Secret_06_TRS___reverse.xml 10.01 11.62
Secret_06_TRS___sumList.xml 25.74 27.75
Secret_06_TRS___times.xml 24.63 27.50
Secret_06_TRS___toList.xml 60.00 60.00
Secret_06_TRS___tpa01.xml 3.23 4.59
Secret_06_TRS___tpa02.xml 4.95 8.29
Secret_06_TRS___tpa03.xml 4.68 6.10
Secret_06_TRS___tpa04.xml 60.00 60.00
Secret_06_TRS___tpa05.xml 60.00 60.00
Secret_06_TRS___tpa06.xml 60.00 60.00
Secret_06_TRS___tpa07.xml 23.76 60.00
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.36 0.01 3.68 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.08 0.04 5.70 0.04
Secret_07_SRS___x02.xml 26.86 14.06 0.41
Secret_07_SRS___x03.xml 3.89 0.02 2.94
Secret_07_SRS___x04.xml 6.57 0.04 10.27 0.04
Secret_07_SRS___x05.xml 3.12 0.02 3.87 0.02
Secret_07_SRS___x06.xml 5.28 5.88
Secret_07_SRS___x07.xml 22.35 0.08 27.15 0.07
Secret_07_SRS___x08.xml 7.49 0.03 9.75 0.02
Secret_07_SRS___x09.xml 24.41 30.30
Secret_07_SRS___x10.xml 5.26 7.84
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 19.45 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.49 60.00
Secret_07_TRS___aprove06.xml 60.00 60.00
Secret_07_TRS___aprove07.xml 7.55 60.00
Secret_07_TRS___aprove08.xml 60.00 60.00
Secret_07_TRS___aprove09.xml 21.71 25.68
Secret_07_TRS___aprove10.xml 60.00 60.00
Secret_07_TRS___secret1.xml 3.55 0.03 4.79 0.04
Secret_07_TRS___secret2.xml 4.14 0.03 4.09 0.03
Secret_07_TRS___secret3.xml 3.32 0.02 3.47 0.02
Secret_07_TRS___secret4.xml 3.99 0.04 4.18 0.04
Secret_07_TRS___secret5.xml 3.54 0.03 3.94 0.03
SK90___2.01.xml 2.85 0.01 3.06 0.01
SK90___2.02.xml 2.61 0.01 2.86 0.01
SK90___2.03.xml 2.49 0.00 2.97 0.00
SK90___2.04.xml 3.41 0.01 2.99 0.01
SK90___2.05.xml 2.47 0.01 2.50 0.01
SK90___2.06.xml 2.56 0.01 2.82 0.01
SK90___2.07.xml 2.55 0.01 2.83 0.01
SK90___2.08.xml 3.07 0.01 3.06 0.01
SK90___2.09.xml 2.54 0.01 2.58 0.00
SK90___2.10.xml 2.65 0.01 2.73 0.01
SK90___2.11.xml 2.58 0.01 2.85 0.01
SK90___2.12.xml 3.32 0.02 3.22 0.01
SK90___2.13.xml 2.73 0.01 2.75 0.01
SK90___2.14.xml 3.25 0.01 3.07 0.01
SK90___2.15.xml 2.17 0.01 2.44 0.00
SK90___2.16.xml 2.60 0.01 2.68 0.01
SK90___2.17.xml 2.17 0.01 2.37 0.01
SK90___2.18.xml 2.24 0.01 2.53 0.01
SK90___2.19.xml 2.36 0.01 2.52 0.01
SK90___2.20.xml 2.16 0.01 2.22 0.01
SK90___2.21.xml 2.69 0.01 2.68 0.00
SK90___2.22.xml 2.92 0.01 2.73 0.01
SK90___2.23.xml 2.87 0.01 3.07 0.01
SK90___2.24.xml 2.76 0.01 2.57 0.00
SK90___2.25.xml 2.66 0.01 2.85 0.01
SK90___2.26.xml 3.06 0.02 3.23 0.02
SK90___2.27.xml 2.34 0.01 2.39 0.01
SK90___2.28.xml 2.44 0.00 2.71 0.00
SK90___2.29.xml 2.21 0.01 2.25 0.01
SK90___2.30.xml 1.97 0.00 2.02 0.00
SK90___2.31.xml 2.71 0.01 2.98 0.01
SK90___2.32.xml 2.16 0.01 2.18 0.01
SK90___2.33.xml 2.62 0.01 2.76 0.01
SK90___2.34.xml 2.48 0.01 2.59 0.01
SK90___2.35.xml 2.63 0.01 2.68 0.01
SK90___2.36.xml 2.66 0.01 2.95 0.01
SK90___2.37.xml 2.45 0.00 2.49 0.00
SK90___2.38.xml 2.51 0.01 2.75 0.01
SK90___2.39.xml 2.27 0.01 2.74 0.01
SK90___2.40.xml 2.45 0.01 2.29 0.01
SK90___2.41.xml 2.72 0.01 2.84 0.01
SK90___2.42.xml 3.20 0.02 2.94 0.02
SK90___2.43.xml 2.69 0.01 3.03 0.01
SK90___2.44.xml 2.75 0.01 2.80 0.01
SK90___2.45.xml 2.55 0.01 2.72 0.01
SK90___2.46.xml 2.30 0.00 2.40 0.01
SK90___2.47.xml 2.28 0.00 2.33 0.00
SK90___2.48.xml 2.18 0.01 2.25 0.01
SK90___2.49.xml 2.30 0.01 2.35 0.01
SK90___2.50.xml 2.19 0.00 2.22 0.00
SK90___2.51.xml 2.50 0.01 2.66 0.01
SK90___2.52.xml 4.07 0.03 4.03 0.03
SK90___2.53.xml 2.54 0.01 2.68
SK90___2.54.xml 2.49 0.00 2.57 0.00
SK90___2.55.xml 2.35 0.00 2.50 0.00
SK90___2.56.xml 2.02 0.00 2.07 0.00
SK90___2.57.xml 2.01 0.01 2.07 0.00
SK90___2.58.xml 2.02 0.00 2.03 0.00
SK90___2.59.xml 2.35 0.00 2.47 0.00
SK90___2.60.xml 0.72 0.88
SK90___2.61.xml 3.05 0.02 3.06 0.02
SK90___4.01.xml 2.02 0.01 2.04 0.01
SK90___4.02.xml 3.40 0.02 3.47 0.02
SK90___4.03.xml 2.67 0.01 3.03 0.01
SK90___4.04.xml 2.58 0.01 2.67 0.01
SK90___4.05.xml 2.67 0.01 2.91 0.01
SK90___4.06.xml 2.04 0.00 2.04 0.00
SK90___4.07.xml 2.47 0.01 2.64 0.00
SK90___4.08.xml 2.47 0.00 2.63 0.01
SK90___4.09.xml 3.08 0.01 3.30 0.01
SK90___4.10.xml 2.83 0.01 2.91 0.01
SK90___4.11.xml 2.52 0.01 2.96 0.01
SK90___4.12.xml 2.59 0.01 2.72 0.01
SK90___4.13.xml 1.22 2.65 0.01
SK90___4.14.xml 3.56 0.02 3.42 0.02
SK90___4.15.xml 2.14 0.00 2.59 0.01
SK90___4.16.xml 2.61 0.01 2.85 0.01
SK90___4.17.xml 2.87 0.01 3.09 0.01
SK90___4.18.xml 2.03 0.01 2.07 0.01
SK90___4.19.xml 2.44 0.00 2.48 0.01
SK90___4.20.xml 2.33 0.01 2.44 0.01
SK90___4.21.xml 2.96 0.01 2.96 0.01
SK90___4.22.xml 2.91 0.01 2.95 0.01
SK90___4.23.xml 2.59 0.01 2.57 0.01
SK90___4.24.xml 1.57 1.63
SK90___4.25.xml 2.24 0.00 2.31 0.00
SK90___4.26.xml 2.97 0.01 2.85 0.01
SK90___4.27.xml 1.48 1.77
SK90___4.28.xml 2.79 0.01 3.03 0.02
SK90___4.29.xml 2.19 0.01 2.32 0.01
SK90___4.30.xml 3.20 0.01 3.05 0.01
SK90___4.31.xml 2.63 0.01 2.69 0.01
SK90___4.32.xml 3.25 0.02 3.21 0.02
SK90___4.33.xml 2.14 0.17 2.17 0.22
SK90___4.34.xml 2.16 0.00 2.15 0.00
SK90___4.35.xml 0.86 0.89
SK90___4.36.xml 0.85 0.90
SK90___4.37.xml 2.14 0.00 2.16 0.00
SK90___4.38.xml 2.56 0.01 2.78 0.01
SK90___4.39.xml 2.50 0.01 2.83 0.01
SK90___4.40.xml 2.72 0.01 2.63 0.01
SK90___4.41.xml 2.44 0.00 2.61 0.00
SK90___4.42.xml 2.59 0.01 2.70 0.01
SK90___4.43.xml 2.89 0.01 3.05 0.01
SK90___4.44.xml 2.20 0.01 2.36 0.02
SK90___4.45.xml 2.11 0.00 2.22 0.00
SK90___4.46.xml 2.14 0.00 2.18 0.00
SK90___4.47.xml 2.08 0.01 2.12 0.01
SK90___4.48.xml 2.52 0.01 2.72 0.01
SK90___4.49.xml 2.02 0.00 2.05 0.00
SK90___4.50.xml 0.70 0.76
SK90___4.51.xml 2.53 0.01 2.59 0.01
SK90___4.52.xml 3.19 0.02 3.48 0.01
SK90___4.53.xml 2.63 0.01 2.61 0.01
SK90___4.54.xml 2.06 0.01 2.03 0.01
SK90___4.55.xml 1.33 2.36 0.01
SK90___4.56.xml 1.99 0.00 2.16 0.00
SK90___4.57.xml 2.12 0.01 2.14 0.01
SK90___4.59.xml 2.40 0.01 2.66 0.01
SK90___4.60.xml 2.91 0.01 3.22 0.01
SK90___4.61.xml 3.67 0.02 3.72 0.02
Strategy_removed_AG01___4.12a.xml 2.12 0.00 2.14 0.01
Strategy_removed_AG01___4.13.xml 1.61 2.93
Strategy_removed_AG01___4.14.xml 1.98 0.01 2.02 0.00
Strategy_removed_AG01___4.15.xml 2.05 0.01 2.07 0.01
Strategy_removed_AG01___4.16.xml 1.98 0.00 1.99 0.00
Strategy_removed_AG01___4.17.xml 2.03 0.01 2.06 0.01
Strategy_removed_AG01___4.18.xml 2.13 0.00 2.14 0.01
Strategy_removed_AG01___4.19.xml 41.86 60.00
Strategy_removed_AG01___4.20a.xml 2.21 0.01 6.23 0.01
Strategy_removed_AG01___4.20.xml 2.13 0.00 2.24 0.00
Strategy_removed_AG01___4.21.xml 2.16 0.00 2.22 0.01
Strategy_removed_AG01___4.22.xml 1.19 4.16
Strategy_removed_AG01___4.23.xml 2.65 0.01 3.28 0.01
Strategy_removed_AG01___4.25.xml 1.61 3.38 0.01
Strategy_removed_AG01___4.26.xml 1.85 2.25
Strategy_removed_AG01___4.27.xml 2.96 0.01 3.14 0.01
Strategy_removed_AG01___4.28.xml 2.58 0.01 2.74 0.01
Strategy_removed_AG01___4.29.xml 2.44 2.58
Strategy_removed_AG01___4.2.xml 2.04 0.01 2.04 0.01
Strategy_removed_AG01___4.30a.xml 6.45 26.09
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.94 0.01 2.94 0.01
Strategy_removed_AG01___4.33.xml 2.98 0.01 2.89 0.01
Strategy_removed_AG01___4.34.xml 2.74 0.01 2.78 0.01
Strategy_removed_AG01___4.35.xml 3.64 0.04 4.06 0.04
Strategy_removed_AG01___4.36.xml 2.55 2.68
Strategy_removed_AG01___4.37a.xml 2.93 0.01 2.61 0.01
Strategy_removed_AG01___4.37.xml 2.97 0.01 2.70 0.01
Strategy_removed_AG01___4.3.xml 2.01 0.00 2.03 0.00
Strategy_removed_AG01___4.4.xml 2.02 0.00 2.05 0.00
Strategy_removed_AG01___4.7.xml 1.98 0.00 2.00 0.00
Strategy_removed_CSR_05___Ex1_2_AEL03.xml 2.03 0.01 2.04 0.01
Strategy_removed_CSR_05___Ex1_2_Luc02c.xml 2.01 0.00 2.04 0.00
Strategy_removed_CSR_05___Ex14_AEGL02.xml 1.99 0.00 2.00 0.00
Strategy_removed_CSR_05___Ex15_Luc98.xml 1.99 0.01 2.01 0.01
Strategy_removed_CSR_05___Ex1_GL02a.xml 2.00 0.01 2.00 0.01
Strategy_removed_CSR_05___Ex1_GM03.xml 1.99 0.01 2.00 0.01
Strategy_removed_CSR_05___Ex1_GM99.xml 2.01 0.00 2.04 0.00
Strategy_removed_CSR_05___Ex1_Luc02b.xml 1.98 0.01 2.00 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.00 2.03 0.00
Strategy_removed_CSR_05___Ex26_Luc03b.xml 1.99 0.01 2.01 0.01
Strategy_removed_CSR_05___Ex2_Luc03b.xml 2.00 0.01 1.99 0.01
Strategy_removed_CSR_05___Ex3_12_Luc96a.xml 1.97 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 1.99 0.01 2.02 0.01
Strategy_removed_CSR_05___Ex4_4_Luc96b.xml 2.00 0.00 1.99 0.00
Strategy_removed_CSR_05___Ex4_7_15_Bor03.xml 1.98 0.00 2.00 0.00
Strategy_removed_CSR_05___Ex4_7_37_Bor03.xml 2.02 0.01 2.02 0.01
Strategy_removed_CSR_05___Ex4_7_56_Bor03.xml 1.99 0.00 1.99 0.00
Strategy_removed_CSR_05___Ex4_7_77_Bor03.xml 2.00 0.00 2.02 0.00
Strategy_removed_CSR_05___Ex49_GM04.xml 3.09 0.01 3.28 0.01
Strategy_removed_CSR_05___Ex4_Zan97.xml 1.98 0.00 2.01 0.00
Strategy_removed_CSR_05___Ex5_7_Luc97.xml 2.03 0.01 2.06 0.01
Strategy_removed_CSR_05___Ex5_Zan97.xml 1.99 0.00 2.05 0.00
Strategy_removed_CSR_05___Ex6_15_AEL02.xml 2.05 0.01 2.08 0.01
Strategy_removed_CSR_05___Ex6_9_Luc02c.xml 1.98 0.00 2.00 0.00
Strategy_removed_CSR_05___Ex6_GM04.xml 2.09 0.00 2.13 0.00
Strategy_removed_CSR_05___Ex6_Luc98.xml 1.98 0.00 1.99 0.00
Strategy_removed_CSR_05___Ex7_BLR02.xml 2.03 0.01 2.02 0.01
Strategy_removed_CSR_05___Ex8_BLR02.xml 1.99 0.01 2.01 0.01
Strategy_removed_CSR_05___Ex9_BLR02.xml 2.03 0.01 2.01 0.01
Strategy_removed_CSR_05___ExAppendixB_AEL03.xml 2.04 0.01 2.06 0.01
Strategy_removed_CSR_05___ExConc_Zan97.xml 2.10 0.00 2.14 0.00
Strategy_removed_CSR_05___ExIntrod_GM01.xml 2.00 0.00 2.00 0.01
Strategy_removed_CSR_05___ExIntrod_GM04.xml 1.97 0.00 2.00 0.00
Strategy_removed_CSR_05___ExIntrod_GM99.xml 2.02 0.01 2.05 0.01
Strategy_removed_CSR_05___ExIntrod_Zan97.xml 2.00 0.01 2.01 0.01
Strategy_removed_mixed_05___bn111.xml 3.93 60.00
Strategy_removed_mixed_05___ex1.xml 2.10 0.00 5.36 0.00
Strategy_removed_mixed_05___ex2.xml 1.97 0.00 2.06 0.00
Strategy_removed_mixed_05___ex3.xml 2.11 0.00 2.20 0.00
Strategy_removed_mixed_05___ex4.xml 2.10 0.00 2.16 0.00
Strategy_removed_mixed_05___ex5.xml 2.10 0.00 2.12 0.00
Strategy_removed_mixed_05___ex6.xml 2.72 6.73
Strategy_removed_mixed_05___ExSec11_1_Luc02a.xml 2.02 0.01 2.14 0.01
Strategy_removed_mixed_05___gkg.xml 1.97 0.00 1.99 0.00
Strategy_removed_mixed_05___muladd.xml 2.03 0.01 2.01 0.01
Strategy_removed_mixed_05___n001.xml 2.24 0.00 2.14 0.00
Strategy_removed_mixed_05___test10.xml 2.04 0.00 2.01 0.01
Strategy_removed_mixed_05___test75.xml 2.10 0.01 2.18 0.01
Strategy_removed_mixed_05___test76.xml 2.65 12.42 0.01
Strategy_removed_mixed_05___test77.xml 2.78 27.39
Strategy_removed_mixed_05___test830.xml 2.79 0.01 2.75 0.01
Strategy_removed_mixed_05___test9.xml 2.15 0.01 2.29 0.00
Strategy_removed_mixed_05___toyama.xml 2.01 0.01 2.05 0.00
Strategy_removed_mixed_05___tricky1.xml 2.06 0.01 2.11 0.01
TCT_09___ackantiinn2.xml 2.74 0.01 2.71 0.01
TCT_09___ackantiinn.xml 3.24 0.03 3.28 0.02
TCT_09___ackhofbauernonsimp.xml 2.87 0.02 3.12 0.02
TCT_09___ackhofbauer.xml 2.64 0.01 2.75 0.01
TCT_09___addmult.xml 2.20 0.01 2.24 0.01
TCT_09___add.xml 2.29 0.00 2.61 0.00
TCT_09___append.xml 2.11 0.00 2.66 0.00
TCT_09___bits.xml 2.55 0.01 2.75 0.01
TCT_09___dexpdp2.xml 2.43 0.00 2.49 0.00
TCT_09___dexpdp.xml 2.45 0.01 2.56 0.00
TCT_09___expantiinn.xml 2.23 0.01 2.28 0.01
TCT_09___insertsort.xml 2.72 0.01 2.95 0.01
TCT_09___lcs.xml 3.45 0.02 3.13 0.01
TCT_09___ma1.xml 2.56 0.01 2.66 0.01
TCT_09___ma2.xml 2.56 0.01 2.62 0.00
TCT_09___ma3.xml 2.54 0.01 2.65 0.01
TCT_09___ma4.xml 2.59 0.01 2.31 0.01
TCT_09___ma5.xml 2.25 0.01 2.46 0.01
TCT_09___ma6.xml 3.06 0.01 3.11 0.01
TCT_09___ma7.xml 3.16 0.02 3.47 0.02
TCT_09___ma8.xml 2.24 0.01 2.33 0.01
TCT_09___ma9.xml 2.14 0.01 2.18 0.01
TCT_09___mergesort.xml 3.76 0.01 3.31 0.01
TCT_09___nonmultrec.xml 37.67 60.00
TCT_09___qbf.xml 3.24 0.02 3.47 0.03
TCT_09___revappend.xml 2.01 0.00 2.01 0.00
TCT_09___shuffle.xml 1.99 0.01 2.03 0.01
TCT_09___supexpdg.xml 2.97 0.01 3.07 0.01
TCT_09___supexpur.xml 2.61 0.01 2.75 0.01
TCT_09___z86.xml 1.83 2.31
Trafo_06___dup01.xml 3.87 0.06 4.03 0.06
Trafo_06___dup05.xml 5.54 0.05 5.69 0.05
Trafo_06___dup06.xml 3.10 0.02 3.64 0.02
Trafo_06___dup07.xml 4.38 0.03 4.53 0.03
Trafo_06___dup08.xml 16.00 0.06 14.35 0.60
Trafo_06___dup09.xml 60.00 2.64
Trafo_06___dup10.xml 60.00 60.00
Trafo_06___dup11.xml 60.00 15.18 0.06
Trafo_06___dup12.xml 60.00 60.00
Trafo_06___dup13.xml 8.35 11.40
Trafo_06___dup14.xml 7.74 0.02 9.55 0.02
Trafo_06___dup15.xml 3.73 4.13
Trafo_06___dup16.xml 2.24 0.01 2.27 0.01
Trafo_06___dup17.xml 3.98 4.54
Trafo_06___hom01.xml 5.95 0.02 7.86 0.02
Trafo_06___hom02.xml 2.94 0.01 1.59
Trafo_06___hom03.xml 11.50 0.02 13.76 0.02
Trafo_06___un02.xml 60.00 60.00
Trafo_06___un04.xml 60.00 60.00
Trafo_06___un05.xml 6.70 8.03
Trafo_06___un06.xml 6.07 0.10 7.68 0.02
Trafo_06___un07.xml 5.23 0.01 5.85 0.03
Trafo_06___un08.xml 60.00 60.00
Trafo_06___un09.xml 10.94 12.44
Trafo_06___un10.xml 27.09 0.02 33.59 0.02
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 19.96 0.03 25.80 0.03
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 7.30 0.03 7.44 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.48 0.01 4.63 0.01
Transformed_CSR_04___Ex1_2_AEL03_Z.xml 3.29 0.02 3.79 0.02
Transformed_CSR_04___Ex1_2_Luc02c_C.xml 6.03 0.05 5.50 0.06
Transformed_CSR_04___Ex1_2_Luc02c_FR.xml 2.68 0.01 2.73 0.01
Transformed_CSR_04___Ex1_2_Luc02c_GM.xml 4.15 0.03 4.53 0.03
Transformed_CSR_04___Ex1_2_Luc02c_iGM.xml 7.93 0.07 9.27 0.07
Transformed_CSR_04___Ex1_2_Luc02c_L.xml 1.91 0.00 1.92 0.00
Transformed_CSR_04___Ex1_2_Luc02c_Z.xml 2.04 0.01 2.08 0.01
Transformed_CSR_04___Ex14_AEGL02_C.xml 6.63 0.08 8.23 0.08
Transformed_CSR_04___Ex14_AEGL02_FR.xml 8.18 0.01 8.60 0.01
Transformed_CSR_04___Ex14_AEGL02_GM.xml 3.24 0.02 1.91
Transformed_CSR_04___Ex14_AEGL02_iGM.xml 7.03 0.07 7.16 0.07
Transformed_CSR_04___Ex14_AEGL02_L.xml 2.22 0.00 2.22 0.00
Transformed_CSR_04___Ex14_AEGL02_Z.xml 2.85 0.01 3.03 0.01
Transformed_CSR_04___Ex14_Luc06_C.xml 60.00 60.00
Transformed_CSR_04___Ex14_Luc06_FR.xml 2.45 5.66
Transformed_CSR_04___Ex14_Luc06_GM.xml 8.87 17.69
Transformed_CSR_04___Ex14_Luc06_iGM.xml 60.00 60.00
Transformed_CSR_04___Ex14_Luc06_L.xml 2.22 0.00 2.16 0.00
Transformed_CSR_04___Ex15_Luc06_C.xml 3.94 0.03 3.81 0.03
Transformed_CSR_04___Ex15_Luc06_FR.xml 2.52 0.01 2.35 0.01
Transformed_CSR_04___Ex15_Luc06_GM.xml 2.57 0.01 2.33 0.01
Transformed_CSR_04___Ex15_Luc06_iGM.xml 1.23 1.35
Transformed_CSR_04___Ex15_Luc06_L.xml 2.14 0.00 2.12 0.00
Transformed_CSR_04___Ex15_Luc06_Z.xml 2.26 0.01 2.27 0.01
Transformed_CSR_04___Ex15_Luc98_C.xml 8.77 0.11 8.84 0.11
Transformed_CSR_04___Ex15_Luc98_FR.xml 3.51 3.85
Transformed_CSR_04___Ex15_Luc98_GM.xml 3.38 0.03 3.41 0.03
Transformed_CSR_04___Ex15_Luc98_iGM.xml 10.86 0.11 10.63 0.11
Transformed_CSR_04___Ex15_Luc98_L.xml 1.94 0.00 1.94 0.00
Transformed_CSR_04___Ex15_Luc98_Z.xml 1.66 3.08 0.02
Transformed_CSR_04___Ex16_Luc06_C.xml 60.00 60.00
Transformed_CSR_04___Ex16_Luc06_FR.xml 1.99 0.00 2.16 0.00
Transformed_CSR_04___Ex16_Luc06_GM.xml 2.18 0.01 2.21 0.01
Transformed_CSR_04___Ex16_Luc06_iGM.xml 60.00 18.23 1.01
Transformed_CSR_04___Ex16_Luc06_L.xml 2.09 0.00 2.13 0.00
Transformed_CSR_04___Ex18_Luc06_C.xml 2.78 0.02 2.89 0.02
Transformed_CSR_04___Ex18_Luc06_FR.xml 2.25 0.01 2.30 0.01
Transformed_CSR_04___Ex18_Luc06_GM.xml 2.29 0.01 2.32 0.01
Transformed_CSR_04___Ex18_Luc06_iGM.xml 2.68 0.02 2.81 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.18 0.00
Transformed_CSR_04___Ex1_GL02a_C.xml 9.41 0.11 9.84 0.11
Transformed_CSR_04___Ex1_GL02a_FR.xml 60.00 60.00
Transformed_CSR_04___Ex1_GL02a_GM.xml 3.16 0.02 3.15 0.02
Transformed_CSR_04___Ex1_GL02a_iGM.xml 5.67 5.52
Transformed_CSR_04___Ex1_GL02a_L.xml 2.00 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.82 0.00 10.39 0.00
Transformed_CSR_04___Ex1_GM03_Z.xml 2.49 0.01 2.74 0.01
Transformed_CSR_04___Ex1_GM99_C.xml 60.00 60.00
Transformed_CSR_04___Ex1_GM99_FR.xml 2.11 0.01 2.16 0.01
Transformed_CSR_04___Ex1_GM99_GM.xml 42.59 0.01 60.00
Transformed_CSR_04___Ex1_GM99_iGM.xml 49.58 0.01 60.00
Transformed_CSR_04___Ex1_GM99_L.xml 2.11 0.00 2.26 0.00
Transformed_CSR_04___Ex1_Luc02b_C.xml 60.00 60.00
Transformed_CSR_04___Ex1_Luc02b_FR.xml 3.68 0.02 3.83 0.02
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.92 0.00 5.52 0.00
Transformed_CSR_04___Ex1_Luc02b_Z.xml 3.18 0.01 2.57
Transformed_CSR_04___Ex1_Luc04b_C.xml 7.73 0.09 10.03 0.10
Transformed_CSR_04___Ex1_Luc04b_FR.xml 2.71 0.01 2.96 0.01
Transformed_CSR_04___Ex1_Luc04b_GM.xml 4.35 0.05 5.15 0.05
Transformed_CSR_04___Ex1_Luc04b_iGM.xml 10.18 0.13 10.89 0.13
Transformed_CSR_04___Ex1_Luc04b_L.xml 1.92 0.00 1.93 0.00
Transformed_CSR_04___Ex1_Luc04b_Z.xml 1.98 0.01 2.02 0.01
Transformed_CSR_04___Ex1_Zan97_C.xml 12.66 0.02 14.80 0.03
Transformed_CSR_04___Ex1_Zan97_FR.xml 2.21 0.01 2.26 0.01
Transformed_CSR_04___Ex1_Zan97_GM.xml 2.15 0.01 2.17 0.01
Transformed_CSR_04___Ex1_Zan97_iGM.xml 2.54 0.01 2.65 0.01
Transformed_CSR_04___Ex1_Zan97_L.xml 2.10 0.00 2.12 0.00
Transformed_CSR_04___Ex23_Luc06_C.xml 3.00 0.03 3.13 0.03
Transformed_CSR_04___Ex23_Luc06_FR.xml 2.29 0.01 2.36 0.01
Transformed_CSR_04___Ex23_Luc06_GM.xml 2.28 0.01 2.33 0.01
Transformed_CSR_04___Ex23_Luc06_iGM.xml 1.21 1.61
Transformed_CSR_04___Ex23_Luc06_L.xml 2.12 0.00 2.15 0.00
Transformed_CSR_04___Ex23_Luc06_Z.xml 2.13 0.00 2.19 0.00
Transformed_CSR_04___Ex24_GM04_C.xml 60.00 60.00
Transformed_CSR_04___Ex24_GM04_FR.xml 3.09 40.15
Transformed_CSR_04___Ex24_GM04_GM.xml 1.96 36.58 0.01
Transformed_CSR_04___Ex24_GM04_iGM.xml 60.00 60.00
Transformed_CSR_04___Ex24_GM04_L.xml 2.09 0.00 2.12 0.00
Transformed_CSR_04___Ex24_GM04_Z.xml 2.82 35.49
Transformed_CSR_04___Ex24_Luc06_C.xml 4.42 0.03 4.78 0.04
Transformed_CSR_04___Ex24_Luc06_FR.xml 2.03 0.00 2.06 0.01
Transformed_CSR_04___Ex24_Luc06_GM.xml 2.05 0.00 2.07 0.01
Transformed_CSR_04___Ex24_Luc06_iGM.xml 8.47 0.01 11.73 0.01
Transformed_CSR_04___Ex24_Luc06_L.xml 2.09 0.00 2.13 0.00
Transformed_CSR_04___Ex25_Luc06_C.xml 2.88 0.04 2.96 0.04
Transformed_CSR_04___Ex25_Luc06_FR.xml 2.76 0.02 2.85 0.02
Transformed_CSR_04___Ex25_Luc06_GM.xml 2.49 0.02 2.61 0.02
Transformed_CSR_04___Ex25_Luc06_iGM.xml 4.38 0.04 4.52 0.04
Transformed_CSR_04___Ex25_Luc06_L.xml 2.12 0.00 2.15 0.00
Transformed_CSR_04___Ex25_Luc06_Z.xml 2.20 0.01 2.22 0.01
Transformed_CSR_04___Ex26_Luc03b_C.xml 11.71 0.16 12.38 0.16
Transformed_CSR_04___Ex26_Luc03b_FR.xml 16.12 15.79
Transformed_CSR_04___Ex26_Luc03b_GM.xml 2.68 3.99
Transformed_CSR_04___Ex26_Luc03b_iGM.xml 11.93 11.80
Transformed_CSR_04___Ex26_Luc03b_L.xml 0.72 0.82
Transformed_CSR_04___Ex26_Luc03b_Z.xml 5.02 0.07 5.38 0.07
Transformed_CSR_04___Ex2_Luc02a_C.xml 11.79 0.16 13.76 0.16
Transformed_CSR_04___Ex2_Luc02a_FR.xml 3.25 0.03 3.51 0.03
Transformed_CSR_04___Ex2_Luc02a_GM.xml 5.95 0.03 6.54 0.03
Transformed_CSR_04___Ex2_Luc02a_iGM.xml 11.03 0.12 13.30 0.12
Transformed_CSR_04___Ex2_Luc02a_L.xml 2.36 0.01 2.84 0.01
Transformed_CSR_04___Ex2_Luc02a_Z.xml 1.52 1.73
Transformed_CSR_04___Ex2_Luc03b_C.xml 8.44 0.11 8.13 0.10
Transformed_CSR_04___Ex2_Luc03b_FR.xml 3.09 0.03 3.24 0.03
Transformed_CSR_04___Ex2_Luc03b_GM.xml 1.54 2.35
Transformed_CSR_04___Ex2_Luc03b_iGM.xml 7.19 0.08 7.21 0.08
Transformed_CSR_04___Ex2_Luc03b_L.xml 2.02 0.00 2.00 0.00
Transformed_CSR_04___Ex2_Luc03b_Z.xml 1.24 2.75 0.02
Transformed_CSR_04___Ex3_12_Luc96a_C.xml 60.00 60.00
Transformed_CSR_04___Ex3_12_Luc96a_FR.xml 2.86 0.01 3.08 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.92 0.00 4.15 0.00
Transformed_CSR_04___Ex3_12_Luc96a_Z.xml 2.64 0.01 3.24 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.35 0.00 3.32 0.00
Transformed_CSR_04___Ex3_2_Luc97_Z.xml 60.00 60.00
Transformed_CSR_04___Ex3_3_25_Bor03_C.xml 10.24 0.12 11.52 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.16 0.04 4.35 0.04
Transformed_CSR_04___Ex3_3_25_Bor03_iGM.xml 10.76 0.12 13.05 0.13
Transformed_CSR_04___Ex3_3_25_Bor03_L.xml 0.72 0.79
Transformed_CSR_04___Ex3_3_25_Bor03_Z.xml 2.03 0.01 2.08 0.01
Transformed_CSR_04___Ex4_4_Luc96b_C.xml 4.12 0.03 4.42 0.03
Transformed_CSR_04___Ex4_4_Luc96b_FR.xml 3.30 0.01 3.43 0.01
Transformed_CSR_04___Ex4_4_Luc96b_GM.xml 2.69 0.01 2.89 0.01
Transformed_CSR_04___Ex4_4_Luc96b_iGM.xml 3.58 5.23
Transformed_CSR_04___Ex4_4_Luc96b_L.xml 2.15 0.00 2.52 0.00
Transformed_CSR_04___Ex4_4_Luc96b_Z.xml 2.04 0.01 2.05 0.01
Transformed_CSR_04___Ex4_7_15_Bor03_C.xml 7.63 0.08 7.87 0.08
Transformed_CSR_04___Ex4_7_15_Bor03_FR.xml 3.08 0.01 3.20 0.01
Transformed_CSR_04___Ex4_7_15_Bor03_GM.xml 1.90 3.09 0.01
Transformed_CSR_04___Ex4_7_15_Bor03_iGM.xml 3.71 7.82
Transformed_CSR_04___Ex4_7_15_Bor03_L.xml 0.89 2.30 0.02
Transformed_CSR_04___Ex4_7_15_Bor03_Z.xml 2.60 0.01 2.70
Transformed_CSR_04___Ex4_7_37_Bor03_C.xml 60.00 60.00
Transformed_CSR_04___Ex4_7_37_Bor03_FR.xml 6.34 0.03 9.18 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.55 0.01 5.46 0.01
Transformed_CSR_04___Ex4_7_37_Bor03_Z.xml 2.24 3.26
Transformed_CSR_04___Ex4_7_56_Bor03_C.xml 60.00 60.00
Transformed_CSR_04___Ex4_7_56_Bor03_FR.xml 2.93 0.01 3.02 0.01
Transformed_CSR_04___Ex4_7_56_Bor03_GM.xml 22.83 0.06 26.23 0.07
Transformed_CSR_04___Ex4_7_56_Bor03_iGM.xml 62.57 0.11 60.00
Transformed_CSR_04___Ex4_7_56_Bor03_L.xml 1.93 0.00 3.94 0.00
Transformed_CSR_04___Ex4_7_56_Bor03_Z.xml 2.57 0.01 2.86 0.01
Transformed_CSR_04___Ex4_7_77_Bor03_C.xml 4.87 0.04 4.70 0.04
Transformed_CSR_04___Ex4_7_77_Bor03_FR.xml 1.99 0.00 2.03 0.00
Transformed_CSR_04___Ex4_7_77_Bor03_GM.xml 2.75 0.01 2.86 0.01
Transformed_CSR_04___Ex4_7_77_Bor03_iGM.xml 4.21 0.03 4.68 0.03
Transformed_CSR_04___Ex4_7_77_Bor03_L.xml 1.94 0.00 1.94 0.00
Transformed_CSR_04___Ex49_GM04_C.xml 8.13 0.10 10.50 0.10
Transformed_CSR_04___Ex49_GM04_FR.xml 29.45 0.08 32.16 0.08
Transformed_CSR_04___Ex49_GM04_GM.xml 4.20 0.04 4.51 0.04
Transformed_CSR_04___Ex49_GM04_iGM.xml 10.13 0.13 11.64 0.13
Transformed_CSR_04___Ex49_GM04_L.xml 1.92 0.00 1.92 0.00
Transformed_CSR_04___Ex49_GM04_Z.xml 3.51 0.03 3.59 0.03
Transformed_CSR_04___Ex4_DLMMU04_C.xml 60.00 60.00
Transformed_CSR_04___Ex4_DLMMU04_FR.xml 13.52 0.02 17.43 0.02
Transformed_CSR_04___Ex4_DLMMU04_GM.xml 51.45 59.38
Transformed_CSR_04___Ex4_DLMMU04_iGM.xml 60.00 60.00
Transformed_CSR_04___Ex4_DLMMU04_L.xml 2.34 0.01 4.76 0.01
Transformed_CSR_04___Ex4_DLMMU04_Z.xml 13.41 0.02 14.23 0.02
Transformed_CSR_04___Ex4_Zan97_C.xml 60.00 60.00
Transformed_CSR_04___Ex4_Zan97_FR.xml 3.28 0.01 2.91 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 1.95 0.00 5.02 0.00
Transformed_CSR_04___Ex4_Zan97_Z.xml 2.77 0.01 3.73 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.41 0.01 4.75 0.01
Transformed_CSR_04___Ex5_7_Luc97_Z.xml 60.00 60.00
Transformed_CSR_04___Ex5_DLMMU04_C.xml 16.18 0.24 17.92 0.25
Transformed_CSR_04___Ex5_DLMMU04_FR.xml 15.70 0.02 19.30 0.02
Transformed_CSR_04___Ex5_DLMMU04_GM.xml 7.99 0.13 9.05 0.13
Transformed_CSR_04___Ex5_DLMMU04_iGM.xml 15.14 14.88
Transformed_CSR_04___Ex5_DLMMU04_L.xml 1.94 0.01 1.95 0.22
Transformed_CSR_04___Ex5_DLMMU04_Z.xml 2.08 0.01 2.13 0.01
Transformed_CSR_04___Ex5_Zan97_C.xml 5.64 0.06 6.49 0.06
Transformed_CSR_04___Ex5_Zan97_FR.xml 2.94 0.01 2.81 0.01
Transformed_CSR_04___Ex5_Zan97_GM.xml 2.10 2.22
Transformed_CSR_04___Ex5_Zan97_iGM.xml 4.58 4.40
Transformed_CSR_04___Ex5_Zan97_L.xml 1.92 0.00 1.92 0.00
Transformed_CSR_04___Ex5_Zan97_Z.xml 2.58 0.01 1.35
Transformed_CSR_04___Ex6_15_AEL02_C.xml 60.00 60.00
Transformed_CSR_04___Ex6_15_AEL02_FR.xml 51.80 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 2.58 0.01 4.64 0.01
Transformed_CSR_04___Ex6_15_AEL02_Z.xml 22.77 0.02 27.09 0.02
Transformed_CSR_04___Ex6_9_Luc02c_C.xml 6.56 0.08 7.03 0.08
Transformed_CSR_04___Ex6_9_Luc02c_FR.xml 2.64 0.01 2.72 0.01
Transformed_CSR_04___Ex6_9_Luc02c_GM.xml 7.17 0.06 7.58 0.06
Transformed_CSR_04___Ex6_9_Luc02c_iGM.xml 12.26 0.12 13.97 0.12
Transformed_CSR_04___Ex6_9_Luc02c_L.xml 1.94 0.00 1.98 0.00
Transformed_CSR_04___Ex6_9_Luc02c_Z.xml 2.04 0.01 2.06 0.01
Transformed_CSR_04___Ex6_GM04_C.xml 3.50 0.02 3.45 0.02
Transformed_CSR_04___Ex6_GM04_FR.xml 2.13 0.00 2.18 0.00
Transformed_CSR_04___Ex6_GM04_GM.xml 2.13 0.01 2.23 0.00
Transformed_CSR_04___Ex6_GM04_iGM.xml 2.28 0.01 2.34 0.01
Transformed_CSR_04___Ex6_GM04_L.xml 2.11 0.00 2.12 0.00
Transformed_CSR_04___Ex6_Luc98_C.xml 6.09 0.07 7.69 0.07
Transformed_CSR_04___Ex6_Luc98_FR.xml 2.74 0.02 2.93 0.02
Transformed_CSR_04___Ex6_Luc98_GM.xml 1.27 1.68
Transformed_CSR_04___Ex6_Luc98_iGM.xml 5.56 0.05 5.28 0.05
Transformed_CSR_04___Ex6_Luc98_L.xml 1.96 0.00 1.97 0.00
Transformed_CSR_04___Ex6_Luc98_Z.xml 1.29 1.52
Transformed_CSR_04___Ex7_BLR02_C.xml 60.00 60.00
Transformed_CSR_04___Ex7_BLR02_FR.xml 3.37 0.02 8.18 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 2.44 0.00 5.25 0.00
Transformed_CSR_04___Ex7_BLR02_Z.xml 1.70 2.92
Transformed_CSR_04___Ex8_BLR02_C.xml 60.00 60.00
Transformed_CSR_04___Ex8_BLR02_FR.xml 3.16 0.02 3.72 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.93 0.00 7.30 0.00
Transformed_CSR_04___Ex8_BLR02_Z.xml 2.85 0.01 3.90 0.01
Transformed_CSR_04___Ex9_BLR02_C.xml 9.66 0.12 10.39 0.12
Transformed_CSR_04___Ex9_BLR02_FR.xml 28.26 0.13 31.49 0.13
Transformed_CSR_04___Ex9_BLR02_GM.xml 3.76 0.04 4.04 0.04
Transformed_CSR_04___Ex9_BLR02_iGM.xml 9.91 0.13 11.11 0.13
Transformed_CSR_04___Ex9_BLR02_L.xml 2.02 0.01 2.03 0.01
Transformed_CSR_04___Ex9_BLR02_Z.xml 1.61 1.90
Transformed_CSR_04___Ex9_Luc04_C.xml 60.00 60.00
Transformed_CSR_04___Ex9_Luc04_FR.xml 2.03 0.00 2.12 0.01
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.01 0.00 2.00 0.00
Transformed_CSR_04___Ex9_Luc06_C.xml 4.39 0.04 4.63 0.04
Transformed_CSR_04___Ex9_Luc06_FR.xml 2.04 0.01 2.06 0.01
Transformed_CSR_04___Ex9_Luc06_GM.xml 2.66 0.01 2.78 0.01
Transformed_CSR_04___Ex9_Luc06_iGM.xml 2.44 2.57
Transformed_CSR_04___ExAppendixB_AEL03_C.xml 60.00 60.00
Transformed_CSR_04___ExAppendixB_AEL03_FR.xml 8.00 0.03 7.29 0.03
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 4.01 0.01 4.60 0.01
Transformed_CSR_04___ExAppendixB_AEL03_Z.xml 3.45 0.03 3.81 0.03
Transformed_CSR_04___ExConc_Zan97_C.xml 2.98 0.02 2.99 0.03
Transformed_CSR_04___ExConc_Zan97_FR.xml 2.38 0.01 2.45 0.01
Transformed_CSR_04___ExConc_Zan97_GM.xml 2.34 0.01 2.36 0.01
Transformed_CSR_04___ExConc_Zan97_iGM.xml 1.70 1.70
Transformed_CSR_04___ExConc_Zan97_L.xml 2.12 0.00 2.18 0.00
Transformed_CSR_04___ExConc_Zan97_Z.xml 2.12 0.00 2.17 0.00
Transformed_CSR_04___ExIntrod_GM01_C.xml 11.21 0.13 11.92 0.15
Transformed_CSR_04___ExIntrod_GM01_FR.xml 11.83 0.01 15.17 0.01
Transformed_CSR_04___ExIntrod_GM01_GM.xml 4.59 0.05 5.13 0.06
Transformed_CSR_04___ExIntrod_GM01_iGM.xml 9.15 9.11
Transformed_CSR_04___ExIntrod_GM01_L.xml 1.93 0.00 1.97 0.00
Transformed_CSR_04___ExIntrod_GM01_Z.xml 4.62 0.01 5.55 0.01
Transformed_CSR_04___ExIntrod_GM04_C.xml 9.41 0.12 10.26 0.12
Transformed_CSR_04___ExIntrod_GM04_FR.xml 8.00 0.01 8.56 0.01
Transformed_CSR_04___ExIntrod_GM04_GM.xml 3.99 0.03 4.09 0.03
Transformed_CSR_04___ExIntrod_GM04_iGM.xml 6.66 7.05
Transformed_CSR_04___ExIntrod_GM04_L.xml 1.99 0.00 1.94 0.00
Transformed_CSR_04___ExIntrod_GM04_Z.xml 4.93 0.01 5.28 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 3.90 0.00 5.50 0.00
Transformed_CSR_04___ExIntrod_GM99_Z.xml 3.12 0.01 3.06 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 4.95 0.00 4.40 0.00
Transformed_CSR_04___ExIntrod_Zan97_Z.xml 2.28 0.01 2.06 0.01
Transformed_CSR_04___ExProp7_Luc06_C.xml 8.89 0.08 8.46 0.08
Transformed_CSR_04___ExProp7_Luc06_FR.xml 1.92 4.21
Transformed_CSR_04___ExProp7_Luc06_GM.xml 2.41 6.86
Transformed_CSR_04___ExProp7_Luc06_iGM.xml 5.02 10.87
Transformed_CSR_04___ExProp7_Luc06_L.xml 1.29 1.06
Transformed_CSR_04___ExProp7_Luc06_Z.xml 2.55 0.01 2.92
Transformed_CSR_04___ExSec11_1_Luc02a_C.xml 14.54 0.18 14.93 0.18
Transformed_CSR_04___ExSec11_1_Luc02a_FR.xml 4.10 0.04 3.87 0.04
Transformed_CSR_04___ExSec11_1_Luc02a_GM.xml 7.20 0.04 7.54 0.04
Transformed_CSR_04___ExSec11_1_Luc02a_iGM.xml 14.03 0.15 15.32 0.15
Transformed_CSR_04___ExSec11_1_Luc02a_L.xml 2.75 0.01 2.93 0.01
Transformed_CSR_04___ExSec11_1_Luc02a_Z.xml 1.89 1.78
Transformed_CSR_04___ExSec4_2_DLMMU04_C.xml 60.00 60.00
Transformed_CSR_04___ExSec4_2_DLMMU04_FR.xml 4.87 0.02 6.93 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 4.20 0.01 4.59 0.01
Transformed_CSR_04___ExSec4_2_DLMMU04_Z.xml 3.14 0.02 3.93 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 11.99 13.16
Transformed_CSR_04___LengthOfFiniteLists_complete_iGM.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_complete_L.xml 3.13 0.01 2.81 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 19.42 18.71
Transformed_CSR_04___LengthOfFiniteLists_complete_noand_iGM.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_complete-noand_L.xml 3.24 0.01 2.14 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 5.93 7.87
Transformed_CSR_04___LengthOfFiniteLists_nokinds_iGM.xml 35.36 60.00
Transformed_CSR_04___LengthOfFiniteLists_nokinds_L.xml 2.12 0.00 4.85 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 6.84 7.84
Transformed_CSR_04___LengthOfFiniteLists_nokinds_noand_iGM.xml 38.26 0.55 32.29
Transformed_CSR_04___LengthOfFiniteLists_nokinds-noand_L.xml 2.02 0.01 3.00 0.01
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.13 0.22 2.10 0.01
Transformed_CSR_04___LengthOfFiniteLists_nosorts_GM.xml 2.09 0.01 2.27 0.01
Transformed_CSR_04___LengthOfFiniteLists_nosorts_iGM.xml 37.12 0.02 60.00
Transformed_CSR_04___LengthOfFiniteLists_nosorts_L.xml 1.93 0.00 1.94 0.00
Transformed_CSR_04___LengthOfFiniteLists_nosorts_noand_C.xml 60.00 60.00
Transformed_CSR_04___LengthOfFiniteLists_nosorts-noand_FR.xml 3.06 0.01 3.44 0.01
Transformed_CSR_04___LengthOfFiniteLists_nosorts_noand_GM.xml 5.94 0.01 7.17 0.01
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.97 0.00
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.13 0.03 3.65 0.03
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.47 0.05 3.30 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.06 0.01 4.44 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.33 0.02 3.70 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 4.73 5.76
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 4.59 0.01 4.68 0.01
Transformed_CSR_04___LISTUTILITIES_nosorts_noand_C.xml 60.00 60.00
Transformed_CSR_04___LISTUTILITIES_nosorts-noand_FR.xml 8.86 0.08 8.32 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.55 0.01 3.48 0.01
Transformed_CSR_04___LISTUTILITIES_nosorts-noand_Z.xml 5.43 0.07 5.46 0.07
Transformed_CSR_04___LISTUTILITIES_nosorts_Z.xml 1.57 1.65
Transformed_CSR_04___MYNAT_complete_C.xml 22.64 0.35 24.69 0.35
Transformed_CSR_04___MYNAT_complete_FR.xml 11.29 0.09 12.64 0.09
Transformed_CSR_04___MYNAT_complete_GM.xml 14.54 0.11 15.06 0.18
Transformed_CSR_04___MYNAT_complete_iGM.xml 26.61 0.34 30.04 0.34
Transformed_CSR_04___MYNAT_complete_L.xml 1.99 0.01 1.98 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 22.71 0.24 25.72 0.24
Transformed_CSR_04___MYNAT_complete_noand_iGM.xml 60.00 60.00
Transformed_CSR_04___MYNAT_complete-noand_L.xml 2.03 0.01 2.07 0.02
Transformed_CSR_04___MYNAT_complete-noand_Z.xml 60.00 60.00
Transformed_CSR_04___MYNAT_complete_Z.xml 10.60 11.11
Transformed_CSR_04___MYNAT_nokinds_C.xml 15.05 0.20 16.68 0.20
Transformed_CSR_04___MYNAT_nokinds_FR.xml 6.14 0.04 6.83 0.05
Transformed_CSR_04___MYNAT_nokinds_GM.xml 7.18 0.05 8.08 0.05
Transformed_CSR_04___MYNAT_nokinds_iGM.xml 14.37 0.17 15.89 0.17
Transformed_CSR_04___MYNAT_nokinds_L.xml 1.97 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 13.02 0.06 11.37 0.06
Transformed_CSR_04___MYNAT_nokinds_noand_GM.xml 10.57 0.08 10.79 0.08
Transformed_CSR_04___MYNAT_nokinds_noand_iGM.xml 60.00 60.00
Transformed_CSR_04___MYNAT_nokinds-noand_L.xml 2.71 0.01 4.32 0.01
Transformed_CSR_04___MYNAT_nokinds-noand_Z.xml 7.09 0.05 8.35 0.05
Transformed_CSR_04___MYNAT_nokinds_Z.xml 6.16 0.04 6.50 0.04
Transformed_CSR_04___MYNAT_nosorts_C.xml 6.88 0.09 8.99 0.09
Transformed_CSR_04___MYNAT_nosorts_FR.xml 2.29 0.01 2.25 0.01
Transformed_CSR_04___MYNAT_nosorts_GM.xml 3.59 0.02 4.16 0.02
Transformed_CSR_04___MYNAT_nosorts_iGM.xml 6.97 0.07 6.99 0.06
Transformed_CSR_04___MYNAT_nosorts_L.xml 1.93 0.00 1.93 0.00
Transformed_CSR_04___MYNAT_nosorts_noand_C.xml 60.00 60.00
Transformed_CSR_04___MYNAT_nosorts-noand_FR.xml 4.85 0.02 7.10 0.02
Transformed_CSR_04___MYNAT_nosorts_noand_GM.xml 5.94 0.03 6.90 0.03
Transformed_CSR_04___MYNAT_nosorts_noand_iGM.xml 13.70 0.16 13.74 0.16
Transformed_CSR_04___MYNAT_nosorts-noand_L.xml 1.94 0.00 1.98 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 3.20 0.01 3.11 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 25.47 31.49 0.47
Transformed_CSR_04___OvConsOS_complete_noand_iGM.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_complete-noand_L.xml 3.31 0.02 2.13 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.73 0.01 4.67 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.44 0.15 15.42 0.15
Transformed_CSR_04___OvConsOS_nokinds_noand_iGM.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_nokinds-noand_L.xml 2.06 0.01 2.06 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 3.03 0.01 2.14 0.01
Transformed_CSR_04___OvConsOS_nosorts_GM.xml 2.17 0.01 2.20 0.01
Transformed_CSR_04___OvConsOS_nosorts_iGM.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_nosorts_L.xml 1.99 0.00 4.56 0.00
Transformed_CSR_04___OvConsOS_nosorts_noand_C.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_nosorts-noand_FR.xml 13.70 0.01 19.11 0.01
Transformed_CSR_04___OvConsOS_nosorts_noand_GM.xml 14.11 0.02 15.43 0.02
Transformed_CSR_04___OvConsOS_nosorts_noand_iGM.xml 60.00 60.00
Transformed_CSR_04___OvConsOS_nosorts-noand_L.xml 5.33 0.01 3.02 0.01
Transformed_CSR_04___OvConsOS_nosorts-noand_Z.xml 11.96 0.01 14.96 0.01
Transformed_CSR_04___OvConsOS_nosorts_Z.xml 2.05 0.01 2.30 0.01
Transformed_CSR_04___PALINDROME_complete_C.xml 30.37 0.49 37.19 0.63
Transformed_CSR_04___PALINDROME_complete_FR.xml 12.23 0.19 12.99 0.19
Transformed_CSR_04___PALINDROME_complete_GM.xml 13.81 0.21 14.78 0.21
Transformed_CSR_04___PALINDROME_complete_iGM.xml 58.92 60.00
Transformed_CSR_04___PALINDROME_complete_L.xml 2.03 0.01 2.04 0.01
Transformed_CSR_04___PALINDROME_complete_noand_C.xml 53.35 0.98 58.71 1.05
Transformed_CSR_04___PALINDROME_complete-noand_FR.xml 12.70 12.00
Transformed_CSR_04___PALINDROME_complete_noand_GM.xml 16.42 16.92
Transformed_CSR_04___PALINDROME_complete_noand_iGM.xml 60.00 60.00
Transformed_CSR_04___PALINDROME_complete-noand_L.xml 2.17 0.02 2.18 0.02
Transformed_CSR_04___PALINDROME_complete-noand_Z.xml 12.01 12.51
Transformed_CSR_04___PALINDROME_complete_Z.xml 9.67 0.13 10.22 0.13
Transformed_CSR_04___PALINDROME_nokinds_C.xml 12.69 0.24 15.85 0.23
Transformed_CSR_04___PALINDROME_nokinds_FR.xml 3.37 5.22 0.06
Transformed_CSR_04___PALINDROME_nokinds_GM.xml 4.30 0.05 4.74 0.05
Transformed_CSR_04___PALINDROME_nokinds_iGM.xml 14.28 15.70
Transformed_CSR_04___PALINDROME_nokinds_L.xml 1.97 0.01 1.98 0.01
Transformed_CSR_04___PALINDROME_nokinds_noand_C.xml 27.07 0.57 27.30 0.51
Transformed_CSR_04___PALINDROME_nokinds-noand_FR.xml 4.35 3.75
Transformed_CSR_04___PALINDROME_nokinds_noand_GM.xml 6.51 7.24
Transformed_CSR_04___PALINDROME_nokinds_noand_iGM.xml 30.89 29.26
Transformed_CSR_04___PALINDROME_nokinds-noand_L.xml 2.04 0.01 2.11 0.01
Transformed_CSR_04___PALINDROME_nokinds-noand_Z.xml 3.88 4.20
Transformed_CSR_04___PALINDROME_nokinds_Z.xml 5.09 0.07 5.32 0.06
Transformed_CSR_04___PALINDROME_nosorts_C.xml 5.88 0.07 7.38 0.08
Transformed_CSR_04___PALINDROME_nosorts_FR.xml 2.57 0.01 2.69 0.01
Transformed_CSR_04___PALINDROME_nosorts_GM.xml 2.19 3.50 0.02
Transformed_CSR_04___PALINDROME_nosorts_iGM.xml 5.65 5.28
Transformed_CSR_04___PALINDROME_nosorts_L.xml 1.92 0.00 1.93 0.00
Transformed_CSR_04___PALINDROME_nosorts_noand_C.xml 6.63 0.08 9.09 0.10
Transformed_CSR_04___PALINDROME_nosorts-noand_FR.xml 2.66 0.01 2.71 0.01
Transformed_CSR_04___PALINDROME_nosorts_noand_GM.xml 3.40 0.03 3.53 0.03
Transformed_CSR_04___PALINDROME_nosorts_noand_iGM.xml 6.49 6.74
Transformed_CSR_04___PALINDROME_nosorts-noand_L.xml 2.61 0.01 2.80 0.01
Transformed_CSR_04___PEANO_complete_C.xml 20.16 0.24 19.81 0.24
Transformed_CSR_04___PEANO_complete_FR.xml 7.16 8.61
Transformed_CSR_04___PEANO_complete_GM.xml 5.73 6.73
Transformed_CSR_04___PEANO_complete_iGM.xml 31.50 0.39 32.52 0.38
Transformed_CSR_04___PEANO_complete_L.xml 2.00 0.01 1.96 0.01
Transformed_CSR_04___PEANO_complete_noand_C.xml 60.00 60.00
Transformed_CSR_04___PEANO_complete-noand_FR.xml 22.20 0.15 27.48 0.17
Transformed_CSR_04___PEANO_complete_noand_GM.xml 9.68 10.22
Transformed_CSR_04___PEANO_complete_noand_iGM.xml 57.53 60.00
Transformed_CSR_04___PEANO_complete-noand_L.xml 2.09 0.01 2.04 0.01
Transformed_CSR_04___PEANO_complete-noand_Z.xml 11.86 0.09 16.36
Transformed_CSR_04___PEANO_complete_Z.xml 6.46 0.09 6.26
Transformed_CSR_04___PEANO_nokinds_C.xml 10.20 0.13 10.50 0.12
Transformed_CSR_04___PEANO_nokinds_FR.xml 2.36 2.67
Transformed_CSR_04___PEANO_nokinds_GM.xml 4.40 0.05 4.59 0.05
Transformed_CSR_04___PEANO_nokinds_iGM.xml 13.44 0.17 15.27 0.18
Transformed_CSR_04___PEANO_nokinds_L.xml 1.96 0.00 1.94 0.00
Transformed_CSR_04___PEANO_nokinds_noand_C.xml 60.00 60.00
Transformed_CSR_04___PEANO_nokinds-noand_FR.xml 4.49 0.04 7.78 0.04
Transformed_CSR_04___PEANO_nokinds_noand_GM.xml 3.05 3.34
Transformed_CSR_04___PEANO_nokinds_noand_iGM.xml 19.28 19.61
Transformed_CSR_04___PEANO_nokinds-noand_L.xml 1.94 0.01 2.00 0.00
Transformed_CSR_04___PEANO_nokinds-noand_Z.xml 2.63 2.92
Transformed_CSR_04___PEANO_nokinds_Z.xml 2.59 2.86
Transformed_CSR_04___PEANO_nosorts_C.xml 6.09 0.06 6.57 0.06
Transformed_CSR_04___PEANO_nosorts_FR.xml 2.21 0.01 2.26 0.01
Transformed_CSR_04___PEANO_nosorts_GM.xml 3.07 0.02 3.28 0.02
Transformed_CSR_04___PEANO_nosorts_iGM.xml 5.52 10.41
Transformed_CSR_04___PEANO_nosorts_L.xml 1.91 0.00 1.93 0.00
Transformed_CSR_04___PEANO_nosorts_noand_C.xml 7.91 0.10 8.69 0.10
Transformed_CSR_04___PEANO_nosorts-noand_FR.xml 2.77 0.01 1.51
Transformed_CSR_04___PEANO_nosorts_noand_GM.xml 3.71 0.03 4.33 0.03
Transformed_CSR_04___PEANO_nosorts_noand_iGM.xml 9.73 0.11 10.04 0.11
Transformed_CSR_04___PEANO_nosorts-noand_L.xml 1.93 0.00 1.93 0.00
Various_04___02.xml 0.75 0.75
Various_04___03.xml 0.74 0.75
Various_04___04.xml 8.58 29.60
Various_04___05.xml 8.45 30.10
Various_04___06.xml 2.11 0.01 2.14 0.01
Various_04___07.xml 1.98 0.00 2.03 0.00
Various_04___08.xml 12.87 60.00
Various_04___09.xml 2.28 0.01 2.58 0.01
Various_04___10.xml 4.08 0.03 4.53 0.03
Various_04___11.xml 2.42 13.01 0.01
Various_04___12.xml 3.53 0.02 3.20 0.02
Various_04___13.xml 4.72 0.04 4.35 0.04
Various_04___14.xml 7.36 0.10 7.19 0.10
Various_04___15.xml 2.84 0.01 3.03 0.01
Various_04___18.xml 2.63 0.01 2.73 0.01
Various_04___19.xml 2.84 0.01 3.13 0.01
Various_04___21.xml 4.09 0.05 4.04 0.05
Various_04___22.xml 2.68 0.01 2.61 0.01
Various_04___23.xml 2.64 0.01 2.82 0.01
Various_04___24.xml 3.02 0.01 3.19 0.01
Various_04___25.xml 2.02 0.00 2.16 0.00
Various_04___26.xml 2.58 0.01 2.80 0.01
Various_04___27.xml 0.70 0.88
Waldmann_06___jwaprove1.xml 60.00 19.99 0.04
Waldmann_06___jwaprove2.xml 60.00 20.21 0.04
Waldmann_06___jwcime1.xml 60.00 18.62 0.04
Waldmann_06___jwcime2.xml 60.00 19.13 0.05
Waldmann_06___jwmatchb1.xml 4.45 0.01 5.06 0.01
Waldmann_06___jwmatchb2.xml 4.58 0.01 5.08 0.01
Waldmann_06___jwno1.xml 2.16 0.01 2.08 0.01
Waldmann_06___jwno2.xml 60.00 60.00
Waldmann_06___jwno3.xml 60.00 60.00
Waldmann_06___jwno4.xml 2.08 0.01 2.35 0.01
Waldmann_06___jwno5.xml 60.00 60.00
Waldmann_06___jwno6.xml 2.06 0.01 2.52 0.01
Waldmann_06___jwno7.xml 60.00 60.00
Waldmann_06___jwno8.xml 60.00 60.00
Waldmann_06___jwno9.xml 2.09 0.01 2.82 0.01
Waldmann_06___jwteparla1.xml 60.00 60.00
Waldmann_06___jwteparla2.xml 60.00 60.00
Waldmann_06___jwtpa1.xml 60.00 24.28 0.06
Waldmann_06___jwtpa2.xml 3.45 0.01 3.96 0.01
Waldmann_06___jwttt.xml 3.04 0.01 3.29 0.01
Waldmann_06_SRS___e.xml 13.53 0.13 16.74 0.13
Waldmann_06_SRS___jw1.xml 2.11 3.23
Waldmann_06_SRS___jw3.xml 6.40 0.02 7.90 0.02
Waldmann_06_SRS___jw4.xml 11.86 0.03 44.90 0.03
Waldmann_06_SRS___jw5.xml 60.00 60.00
Waldmann_06_SRS___pi.xml 14.62 60.00
Waldmann_06_SRS___sym-1.xml 4.80 0.01 4.38 0.01
Waldmann_06_SRS___sym-2.xml 5.46 0.02 6.69 0.02
Waldmann_06_SRS___sym-4.xml 3.68 0.01 2.47 0.02
Waldmann_06_SRS___sym-5.xml 26.84 33.50
Waldmann_06_SRS___sym-6.xml 28.65 41.69
Waldmann_06_SRS___uni-1.xml 3.68 0.01 2.46 0.01
Waldmann_06_SRS___uni-2.xml 9.91 0.01 11.87 0.01
Waldmann_06_SRS___uni-3.xml 60.00 60.00
Waldmann_06_SRS___uni-4.xml 60.00 60.00
Waldmann_06_SRS___uni-5.xml 3.79 0.02 4.17 0.01
Waldmann_06_SRS___uni-6.xml 60.00 60.00
Waldmann_06_SRS___uni-7.xml 60.00 60.00
Waldmann_06_SRS___z086-variant.xml 6.42 0.03 12.22 0.03
Waldmann_07_size11___size-11-alpha-2-num-1.xml 4.47 0.01 5.41 0.01
Waldmann_07_size11___size-11-alpha-2-num-2.xml 5.71 0.01 6.86 0.04
Waldmann_07_size11___size-11-alpha-2-num-3.xml 3.92 5.12
Waldmann_07_size11___size-11-alpha-2-num-4.xml 4.22 0.02 5.07 0.01
Waldmann_07_size11___size-11-alpha-3-num-10.xml 2.96 0.01 3.51 0.01
Waldmann_07_size11___size-11-alpha-3-num-11.xml 2.91 0.01 3.37 0.01
Waldmann_07_size11___size-11-alpha-3-num-12.xml 3.65 0.02 4.56 0.01
Waldmann_07_size11___size-11-alpha-3-num-13.xml 3.04 0.01 3.29 0.01
Waldmann_07_size11___size-11-alpha-3-num-14.xml 2.92 0.01 3.17 0.01
Waldmann_07_size11___size-11-alpha-3-num-15.xml 60.00 60.00
Waldmann_07_size11___size-11-alpha-3-num-16.xml 2.24 0.01 2.27 0.01
Waldmann_07_size11___size-11-alpha-3-num-17.xml 2.90 0.01 3.22 0.01
Waldmann_07_size11___size-11-alpha-3-num-18.xml 60.00 60.00
Waldmann_07_size11___size-11-alpha-3-num-19.xml 2.93 0.01 3.39 0.01
Waldmann_07_size11___size-11-alpha-3-num-1.xml