Partial Status for KBO

This page provides information of experiments in this note.

Please choose experiment mode:

Summary

counting...

Details

Problem TC2011 KBOS KBOpS KBOpS-min KBOpS-max KBOpS-minmax
AG01/3.1.trs YES 0.24 0.08 0.08 0.09 0.09
AG01/3.10.trs YES 1.15 1.17 1.71 2.46 1.76
AG01/3.12.trs YES 0.07 0.11 0.19 0.11 0.19
AG01/3.13.trs YES 0.26 0.30 0.47 0.33 0.43
AG01/3.15.trs YES 0.38 0.39 0.44 0.44 0.38
AG01/3.16.trs YES 0.10 0.14 0.14 0.15 0.15
AG01/3.17.trs YES 0.50 0.56 0.64 0.57 0.64
AG01/3.17a.trs YES 0.55 0.62 0.69 0.63 0.70
AG01/3.18.trs YES 0.07 0.09 0.10 0.10 0.10
AG01/3.19.trs YES 0.11 0.14 0.14 0.14 0.15
AG01/3.2.trs YES 0.05 0.06 0.06 0.06 0.06
AG01/3.21.trs YES 0.05 0.05 0.05 0.05 0.05
AG01/3.22.trs YES 0.13 0.14 0.15 0.15 0.15
AG01/3.23.trs YES 0.02 0.02 0.02 0.02 0.02
AG01/3.24.trs YES 0.02 0.01 0.02 0.01 0.02
AG01/3.26.trs YES 0.02 0.02 0.02 0.02 0.02
AG01/3.29.trs YES 0.03 0.05 0.05 0.05 0.06
AG01/3.31.trs YES 0.01 0.01 0.01 0.01 0.01
AG01/3.33.trs YES 0.00 0.00 0.00 0.00 0.00
AG01/3.35.trs YES 0.06 0.07 0.08 0.09 0.11
AG01/3.36.trs YES 0.08 0.10 0.10 0.10 0.10
AG01/3.37.trs YES 0.30 0.35 0.36 0.35 0.36
AG01/3.38.trs YES 0.09 0.15 0.24 0.15 0.24
AG01/3.39.trs YES 0.11 0.15 0.15 0.15 0.15
AG01/3.4.trs YES 0.45 0.45 0.45 0.45 0.52
AG01/3.40.trs YES 0.61 0.69 0.69 0.65 0.66
AG01/3.41.trs YES 0.01 0.01 0.01 0.01 0.01
AG01/3.42.trs YES 0.02 0.03 0.03 0.03 0.03
AG01/3.47.trs YES 0.45 0.46 0.46 0.46 0.45
AG01/3.48.trs YES 0.06 0.06 0.06 0.06 0.06
AG01/3.49.trs YES 0.42 0.52 0.47 0.52 0.53
AG01/3.5.trs YES 0.12 0.16 0.17 0.17 0.17
AG01/3.51.trs YES 0.02 0.02 0.02 0.02 0.02
AG01/3.52.trs YES 0.28 0.32 0.35 0.33 0.36
AG01/3.53.trs YES 0.83 0.93 1.00 0.90 0.98
AG01/3.53a.trs YES 0.03 0.05 0.06 0.05 0.06
AG01/3.53b.trs YES 0.28 0.32 0.35 0.33 0.36
AG01/3.54.trs YES 0.04 0.06 0.06 0.06 0.07
AG01/3.55.trs YES 1.39 1.48 1.19 1.09 1.55
AG01/3.56.trs YES 0.08 0.12 0.13 0.13 0.14
AG01/3.57.trs YES 1.26 1.30 1.40 1.30 1.48
AG01/3.5a.trs YES 0.11 0.14 0.15 0.15 0.15
AG01/3.5b.trs YES 0.50 0.54 0.55 0.55 0.55
AG01/3.6.trs YES 0.12 0.16 0.15 0.16 0.16
AG01/3.6a.trs YES 0.13 0.17 0.17 0.18 0.19
AG01/3.6b.trs YES 0.50 0.57 0.58 0.56 0.55
AG01/3.7.trs YES 0.02 0.02 0.02 0.02 0.02
AG01/3.8a.trs YES 0.41 0.45 0.46 0.43 0.43
AG01/3.8b.trs YES 0.52 0.55 0.55 0.57 0.57
AG01/4.30c.trs YES 0.10 0.14 0.14 0.15 0.15
AotoYamada_05/001.trs NO 0.04 0.05 0.05 0.05 0.05
AotoYamada_05/002.trs YES 0.35 0.37 0.37 0.37 0.38
AotoYamada_05/003.trs NO 0.19 0.20 0.20 0.20 0.21
AotoYamada_05/004.trs YES 0.16 0.16 0.17 0.16 0.17
AotoYamada_05/005.trs YES 0.07 0.07 0.07 0.07 0.07
AotoYamada_05/006.trs YES 0.61 0.63 0.65 0.63 0.66
AotoYamada_05/007.trs YES 0.15 0.16 0.16 0.16 0.16
AotoYamada_05/009.trs YES 0.24 0.25 0.26 0.25 0.26
AotoYamada_05/010.trs YES 0.29 0.30 0.30 0.30 0.30
AotoYamada_05/011.trs YES 0.17 0.18 0.18 0.18 0.18
AotoYamada_05/012.trs YES 0.24 0.25 0.26 0.25 0.26
AotoYamada_05/013.trs YES 0.39 0.40 0.41 0.41 0.42
AotoYamada_05/014.trs YES 0.27 0.28 0.28 0.28 0.29
AotoYamada_05/015.trs YES 0.50 0.52 0.53 0.52 0.53
AotoYamada_05/016.trs YES 0.38 0.41 0.41 0.40 0.42
AotoYamada_05/017.trs YES 0.03 0.03 0.03 0.03 0.03
AotoYamada_05/019.trs YES 0.03 0.03 0.03 0.03 0.03
AotoYamada_05/020.trs YES 0.18 0.19 0.19 0.19 0.19
AotoYamada_05/021.trs YES 0.30 0.31 0.32 0.31 0.32
AotoYamada_05/022.trs YES 0.24 0.24 0.25 0.24 0.25
AotoYamada_05/023.trs YES 0.05 0.05 0.05 0.05 0.05
AotoYamada_05/024.trs YES 0.12 0.13 0.13 0.12 0.13
AotoYamada_05/025.trs YES 0.05 0.20 0.23 0.21 0.24
AotoYamada_05/026.trs YES 0.14 0.15 0.15 0.15 0.15
AotoYamada_05/027.trs YES 0.17 0.17 0.18 0.17 0.18
AotoYamada_05/028.trs YES 0.23 0.24 0.24 0.24 0.24
AotoYamada_05/Ex1SimplyTyped.trs YES 0.16 0.16 0.16 0.16 0.16
AotoYamada_05/Ex5TermProof.trs MAYBE 0.30 0.31 0.32 0.31 0.32
Applicative_05/BTreeMember.trs YES 2.83 2.92 3.20 2.96 3.03
Applicative_05/Ex10Functional.trs MAYBE 0.65 0.66 0.69 0.67 0.69
Applicative_05/Ex2_6_1Composition.trs YES 0.03 0.03 0.03 0.03 0.03
Applicative_05/Ex2_8_1ConstSubstFix.trs NO 0.05 0.05 0.06 0.06 0.06
Applicative_05/Ex2PrimRec.trs MAYBE 0.12 0.12 0.13 0.13 0.13
Applicative_05/Ex3Lists.trs YES 0.54 0.54 0.56 0.55 0.56
Applicative_05/Ex4MapList.trs YES 0.20 0.20 0.21 0.21 0.21
Applicative_05/Ex5Folding.trs MAYBE 0.35 0.36 0.37 0.37 0.38
Applicative_05/Ex5Sorting.trs MAYBE 2.22 2.26 2.30 2.30 2.34
Applicative_05/Ex6_11.trs YES 0.25 0.26 0.27 0.27 0.27
Applicative_05/Ex6Folding.trs MAYBE 0.25 0.25 0.26 0.25 0.26
Applicative_05/Ex6Recursor.trs MAYBE 0.16 0.16 0.16 0.16 0.16
Applicative_05/Ex7_9.trs YES 1.39 1.47 1.50 1.48 1.51
Applicative_05/Ex7OrdinalRec.trs MAYBE 1.60 1.64 1.70 1.67 1.71
Applicative_05/Ex7Sorting.trs MAYBE 2.23 2.26 2.34 2.31 2.36
Applicative_05/Ex8Polymorphic.trs YES 0.36 0.36 0.37 0.37 0.38
Applicative_05/Ex9Maps.trs YES 1.75 1.81 1.85 1.81 1.86
Applicative_05/Hamming.trs NO 0.02 0.02 0.02 0.02 0.02
Applicative_05/mapDivMinus.trs YES 0.35 0.36 0.37 0.36 0.37
Applicative_05/mapDivMinusHard.trs YES 0.47 0.49 0.50 0.49 0.50
Applicative_05/nonTermF.trs NO 0.24 0.25 0.26 0.25 0.26
Applicative_05/ReverseLastInit.trs YES 0.15 0.17 0.15 0.17 0.15
Applicative_05/TakeDropWhile.trs YES 0.57 0.58 0.60 0.59 0.61
Applicative_05/termMonTypes.trs NO 0.10 0.10 0.10 0.10 0.10
Applicative_05/TreeFlatten.trs YES 0.49 0.50 0.51 0.50 0.52
Applicative_05/TreeHeight.trs YES 0.49 0.50 0.52 0.51 0.52
Applicative_05/TreeLevels.trs YES 1.25 1.27 1.31 1.27 1.32
Applicative_05/TreeMap.trs YES 0.32 0.33 0.34 0.33 0.34
Applicative_05/TreeSize.trs YES 0.30 0.31 0.32 0.31 0.32
Applicative_05/TypeEx1.trs YES 0.06 0.06 0.06 0.06 0.06
Applicative_05/TypeEx3.trs NO 0.23 0.23 0.24 0.23 0.24
Applicative_05/TypeEx5.trs NO 0.28 0.29 0.31 0.29 0.31
Applicative_first_order_05/3.10.trs YES 7.21 7.45 7.60 7.44 7.68
Applicative_first_order_05/3.13.trs YES 47.42 51.53 51.51 50.83 51.79
Applicative_first_order_05/3.16.trs YES 0.72 0.74 0.76 0.74 0.77
Applicative_first_order_05/3.18.trs YES 1.15 1.26 1.29 1.27 1.29
Applicative_first_order_05/3.2.trs YES 0.84 0.85 0.87 0.86 0.88
Applicative_first_order_05/3.22.trs YES 2.28 2.37 2.46 2.35 2.45
Applicative_first_order_05/3.25.trs YES 0.60 0.62 0.64 0.61 0.63
Applicative_first_order_05/3.27.trs YES 0.59 0.61 0.62 0.61 0.63
Applicative_first_order_05/3.32.trs YES 0.61 0.62 0.63 0.63 0.64
Applicative_first_order_05/3.36.trs YES 0.73 0.75 0.77 0.75 0.78
Applicative_first_order_05/3.38.trs YES 1.04 1.05 1.09 1.06 1.10
Applicative_first_order_05/3.40.trs YES 5.16 5.37 5.37 5.27 5.41
Applicative_first_order_05/3.45.trs YES 1.27 1.42 1.44 1.42 1.45
Applicative_first_order_05/3.48.trs YES 1.45 1.58 1.61 1.58 1.62
Applicative_first_order_05/3.52.trs YES 0.91 0.93 0.94 0.92 0.96
Applicative_first_order_05/3.55.trs YES 2.70 2.76 2.84 2.76 2.85
Applicative_first_order_05/3.57.trs YES 5.10 5.11 5.28 5.14 5.33
Applicative_first_order_05/3.6.trs YES 1.60 1.64 1.67 1.65 1.68
Applicative_first_order_05/3.8.trs YES 1.27 1.30 1.35 1.31 1.35
Applicative_first_order_05/01.trs YES 0.61 0.62 0.64 0.62 0.64
Applicative_first_order_05/02.trs YES 0.61 0.62 0.63 0.62 0.64
Applicative_first_order_05/06.trs YES 0.89 0.99 1.01 1.01 1.01
Applicative_first_order_05/08.trs YES 1.00 1.02 1.04 1.02 1.05
Applicative_first_order_05/11.trs YES 3.70 3.73 3.90 3.79 3.93
Applicative_first_order_05/12.trs YES 1.32 1.33 1.36 1.34 1.38
Applicative_first_order_05/13.trs YES 1.39 1.41 1.43 1.43 1.46
Applicative_first_order_05/17.trs YES 0.80 0.81 0.84 0.82 0.84
Applicative_first_order_05/18.trs YES 0.80 0.80 0.83 0.82 0.84
Applicative_first_order_05/21.trs YES 0.81 0.82 0.85 0.83 0.84
Applicative_first_order_05/29.trs YES 0.77 0.79 0.80 0.78 0.81
Applicative_first_order_05/30.trs YES 60.10 60.10 60.04 60.40 60.04
Applicative_first_order_05/31.trs YES 1.37 1.40 1.46 1.43 1.45
Applicative_first_order_05/33.trs MAYBE 3.36 3.43 3.52 3.43 3.52
Applicative_first_order_05/hydra.trs YES 1.52 1.55 1.59 1.56 1.59
Applicative_first_order_05/minsort.trs MAYBE 2.35 2.46 2.49 2.43 2.51
Applicative_first_order_05/motivation.trs YES 0.67 0.69 0.71 0.69 0.71
Applicative_first_order_05/perfect.trs YES 18.48 19.94 20.17 19.95 20.37
Applicative_first_order_05/perfect2.trs YES 18.49 19.67 20.09 19.80 20.33
AProVE_04/AAECC.trs YES 0.42 0.62 0.92 0.62 0.96
AProVE_04/AAECC-ring.trs YES 4.61 3.64 4.54 3.46 4.17
AProVE_04/fac.trs YES 0.07 0.09 0.09 0.09 0.09
AProVE_04/forward_instantiation.trs YES 0.05 0.05 0.05 0.05 0.05
AProVE_04/forward_instantiation2.trs YES 0.05 0.05 0.05 0.05 0.05
AProVE_04/IJCAR_1.trs YES 0.41 0.48 0.72 0.54 0.72
AProVE_04/IJCAR_12.trs YES 0.28 0.58 0.46 0.36 0.83
AProVE_04/IJCAR_18.trs YES 0.95 0.82 0.97 1.23 0.97
AProVE_04/IJCAR_26.trs YES 0.87 2.09 2.41 2.14 2.41
AProVE_04/IJCAR_26a.trs YES 0.88 2.09 2.43 2.14 2.41
AProVE_04/improved_usable.trs YES 0.02 0.02 0.02 0.03 0.03
AProVE_04/improved_usable2.trs YES 0.02 0.02 0.02 0.02 0.02
AProVE_04/JFP_Ex31.trs MAYBE 0.20 0.24 0.23 0.20 0.21
AProVE_04/JFP_Ex51.trs YES 0.19 0.33 0.33 0.32 0.35
AProVE_04/Liveness_WRS.trs YES 0.11 0.12 0.15 0.11 0.15
AProVE_04/Liveness6.1.trs YES 0.03 0.03 0.03 0.03 0.03
AProVE_04/Liveness6.2.trs YES 0.02 0.02 0.02 0.02 0.02
AProVE_04/Liveness6.3.trs YES 0.07 0.06 0.06 0.08 0.09
AProVE_04/Liveness6.4.trs YES 0.09 0.10 0.10 0.10 0.12
AProVE_04/Liveness8.trs YES 0.16 0.17 0.16 0.21 0.21
AProVE_04/LPAR_intlist.trs YES 0.11 0.13 0.14 0.14 0.14
AProVE_04/rta1.trs YES 0.43 0.46 0.48 0.48 0.48
AProVE_04/rta2.trs YES 0.07 0.09 0.09 0.09 0.09
AProVE_04/rta3.trs YES 0.04 0.04 0.04 0.04 0.04
AProVE_06/div_notCeTermin.trs YES 0.98 1.16 1.30 1.18 1.33
AProVE_06/div_notTermin.trs MAYBE 1.02 1.20 1.34 1.20 1.37
AProVE_06/factorial1.trs YES 0.27 0.29 0.38 0.29 0.38
AProVE_06/factorial2.trs YES 0.11 0.15 0.15 0.15 0.15
AProVE_06/identity.trs YES 0.50 0.53 0.57 0.54 0.58
AProVE_06/logarithm.trs YES 0.50 0.58 0.58 0.55 0.56
AProVE_06/mapHard.trs YES 0.61 0.63 0.64 0.62 0.64
AProVE_06/modulo.trs YES 0.12 0.16 0.16 0.17 0.17
AProVE_06/nonterm.trs NO 0.07 0.08 0.08 0.07 0.08
AProVE_06/quicksort.trs YES 0.96 1.02 1.10 1.01 1.09
AProVE_06/quot.trs YES 0.12 0.16 0.16 0.16 0.17
AProVE_06/sizeChange.trs YES 0.43 0.46 0.41 0.46 0.41
AProVE_06/tower.trs YES 0.27 0.29 0.38 0.29 0.38
AProVE_06/tower_sizeChange.trs YES 0.04 0.04 0.05 0.04 0.05
AProVE_07/kabasci01.trs YES 0.28 0.32 0.32 0.33 0.37
AProVE_07/kabasci02.trs YES 0.77 1.90 2.20 1.94 2.21
AProVE_07/kabasci03.trs YES 0.31 0.38 0.40 0.40 0.41
AProVE_07/kabasci04.trs YES 0.50 0.55 0.54 0.54 0.54
AProVE_07/kabasci05.trs YES 0.19 0.25 0.26 0.27 0.27
AProVE_07/kabasci06.trs YES 0.58 0.60 0.61 0.59 0.61
AProVE_07/otto01.trs YES 0.24 0.33 0.40 0.34 0.42
AProVE_07/otto02.trs YES 0.45 0.49 0.53 0.49 0.53
AProVE_07/otto03.trs YES 0.07 0.09 0.09 0.09 0.09
AProVE_07/otto04.trs YES 0.11 0.13 0.14 0.14 0.14
AProVE_07/otto05.trs YES 0.08 0.10 0.10 0.11 0.11
AProVE_07/otto06.trs YES 0.15 0.18 0.19 0.18 0.19
AProVE_07/otto07.trs YES 0.07 0.09 0.09 0.09 0.09
AProVE_07/otto08.trs YES 0.15 0.21 0.22 0.22 0.22
AProVE_07/otto09.trs YES 0.12 0.16 0.16 0.16 0.16
AProVE_07/otto10.trs YES 0.19 0.25 0.34 0.26 0.34
AProVE_07/otto11.trs YES 0.14 0.20 0.20 0.20 0.21
AProVE_07/otto12.trs YES 0.19 0.24 0.25 0.24 0.25
AProVE_07/otto13.trs YES 0.16 0.21 0.21 0.23 0.23
AProVE_07/thiemann01.trs YES 0.13 0.17 0.17 0.18 0.18
AProVE_07/thiemann02.trs YES 1.11 1.20 1.31 2.01 1.31
AProVE_07/thiemann03.trs YES 0.10 0.15 0.23 0.15 0.23
AProVE_07/thiemann04.trs YES 0.39 0.46 0.68 0.51 0.66
AProVE_07/thiemann05.trs YES 0.09 0.14 0.22 0.14 0.22
AProVE_07/thiemann06.trs YES 0.14 0.26 0.28 0.32 0.31
AProVE_07/thiemann07.trs YES 0.28 0.32 0.48 0.34 0.50
AProVE_07/thiemann08.trs YES 0.33 0.34 0.34 0.34 0.34
AProVE_07/thiemann09.trs YES 0.07 0.08 0.08 0.08 0.08
AProVE_07/thiemann10.trs YES 0.05 0.05 0.05 0.05 0.05
AProVE_07/thiemann11.trs YES 0.24 0.31 0.33 0.30 0.33
AProVE_07/thiemann12.trs YES 0.09 0.11 0.12 0.12 0.13
AProVE_07/thiemann13.trs YES 0.52 0.61 0.59 0.59 0.63
AProVE_07/thiemann14.trs YES 0.18 0.18 0.23 0.19 0.23
AProVE_07/thiemann15.trs YES 0.04 0.05 0.05 0.04 0.05
AProVE_07/thiemann16.trs YES 0.09 0.10 0.11 0.10 0.10
AProVE_07/thiemann17.trs YES 0.51 0.90 0.91 0.90 0.92
AProVE_07/thiemann18.trs YES 0.68 0.67 0.68 0.69 0.70
AProVE_07/thiemann19.trs YES 0.07 0.09 0.10 0.10 0.10
AProVE_07/thiemann20.trs YES 0.10 0.14 0.14 0.14 0.14
AProVE_07/thiemann21.trs MAYBE 0.12 1.44 1.45 1.45 1.48
AProVE_07/thiemann22.trs YES 0.11 0.13 0.14 0.14 0.15
AProVE_07/thiemann23.trs YES 0.07 0.09 0.10 0.10 0.10
AProVE_07/thiemann24.trs YES 0.14 0.18 0.19 0.19 0.19
AProVE_07/thiemann25.trs YES 0.12 0.15 0.15 0.15 0.15
AProVE_07/thiemann26.trs MAYBE 0.14 0.18 0.18 0.19 0.19
AProVE_07/thiemann27.trs YES 0.07 0.09 0.09 0.09 0.09
AProVE_07/thiemann28.trs NO 0.12 0.16 0.16 0.17 0.17
AProVE_07/thiemann29.trs YES 0.21 0.23 0.26 0.27 0.30
AProVE_07/thiemann30.trs MAYBE 0.55 0.60 0.68 0.62 0.70
AProVE_07/thiemann31.trs YES 0.17 0.19 0.21 0.20 0.24
AProVE_07/thiemann32.trs YES 0.13 0.19 0.21 0.19 0.21
AProVE_07/thiemann33.trs YES 0.08 0.10 0.10 0.11 0.11
AProVE_07/thiemann34.trs YES 0.24 0.31 0.32 0.32 0.33
AProVE_07/thiemann35.trs YES 1.67 1.69 1.76 1.71 1.76
AProVE_07/thiemann36.trs YES 0.28 0.24 0.30 0.25 0.30
AProVE_07/thiemann37.trs YES 0.21 0.26 0.26 0.25 0.29
AProVE_07/thiemann38.trs YES 0.13 0.15 0.15 0.14 0.17
AProVE_07/thiemann39.trs YES 1.04 1.05 1.11 1.07 1.10
AProVE_07/thiemann40.trs YES 0.02 0.02 0.03 0.02 0.03
AProVE_07/thiemann41.trs YES 0.13 0.18 0.18 0.18 0.18
AProVE_07/wiehe01.trs YES 0.15 0.18 0.18 0.18 0.19
AProVE_07/wiehe02.trs YES 1.20 1.29 1.39 1.31 1.40
AProVE_07/wiehe03.trs YES 1.26 1.35 1.44 1.37 1.47
AProVE_07/wiehe05.trs YES 0.17 0.21 0.21 0.22 0.22
AProVE_07/wiehe06.trs YES 0.21 0.25 0.25 0.24 0.26
AProVE_07/wiehe07.trs YES 0.48 0.53 0.54 0.53 0.54
AProVE_07/wiehe08.trs YES 0.52 0.60 0.60 0.57 0.58
AProVE_07/wiehe09.trs YES 0.66 0.75 0.76 0.73 0.77
AProVE_07/wiehe11.trs YES 2.43 2.14 2.25 2.60 2.66
AProVE_07/wiehe12.trs YES 1.06 1.17 1.19 1.19 1.22
AProVE_08/id_inc.trs YES 0.04 0.04 0.04 0.04 0.04
AProVE_08/log.trs YES 0.05 0.06 0.06 0.06 0.06
AProVE_08/parting01_reverse.trs YES 0.09 0.11 0.11 0.12 0.12
AProVE_08/parting02_doublelist.trs YES 0.08 0.11 0.11 0.11 0.12
AProVE_08/parting03_minsort.trs YES 0.15 0.19 0.19 0.20 0.20
AProVE_08/parting04_maxsort_h.trs YES 0.17 0.22 0.23 0.22 0.23
AProVE_08/parting05_maxsort.trs YES 0.16 0.21 0.21 0.21 0.22
AProVE_08/round.trs YES 0.02 0.02 0.03 0.03 0.03
AProVE_08/round_nonterm.trs NO 0.02 0.02 0.02 0.02 0.03
AProVE_08/thiemann40_modified.trs YES 0.04 0.04 0.04 0.04 0.04
AProVE_09_Inductive/div.trs YES 0.55 0.60 0.61 0.60 0.61
AProVE_09_Inductive/divhard.trs MAYBE 0.36 0.44 0.51 0.45 0.50
AProVE_09_Inductive/gcd.trs YES 0.55 0.60 0.60 0.59 0.59
AProVE_09_Inductive/gcd2.trs YES 0.57 0.64 0.65 0.64 0.65
AProVE_09_Inductive/gcdhard.trs MAYBE 0.13 0.17 0.17 0.18 0.18
AProVE_09_Inductive/log.trs MAYBE 0.07 0.10 0.10 0.10 0.10
AProVE_09_Inductive/maxsort.trs YES 0.16 0.21 0.21 0.22 0.22
AProVE_09_Inductive/maxsortcondition.trs YES 0.55 0.60 0.60 0.59 0.60
AProVE_09_Inductive/minsort.trs YES 0.17 0.21 0.21 0.22 0.22
AProVE_09_Inductive/mod.trs YES 0.54 0.58 0.58 0.58 0.59
AProVE_09_Inductive/qsort.trs YES 0.29 0.40 0.52 0.40 0.52
AProVE_09_Inductive/qsortlast.trs YES 0.30 0.41 0.53 0.42 0.53
AProVE_09_Inductive/qsortmiddle.trs MAYBE 0.73 0.85 0.99 0.86 1.00
AProVE_09_Inductive/zerolist.trs YES 0.08 0.11 0.11 0.11 0.12
AProVE_10/andIsNat.trs MAYBE 0.04 0.04 0.05 0.04 0.05
AProVE_10/challenge_fab.trs MAYBE 0.05 0.06 0.07 0.06 0.06
AProVE_10/double.trs MAYBE 0.02 0.02 0.02 0.02 0.02
AProVE_10/downfrom.trs MAYBE 0.03 0.03 0.03 0.03 0.03
AProVE_10/ex1.trs MAYBE 0.07 0.09 0.09 0.09 0.09
AProVE_10/ex2.trs MAYBE 0.06 0.08 0.08 0.08 0.08
AProVE_10/ex3.trs MAYBE 0.03 0.02 0.03 0.02 0.03
AProVE_10/ex4.trs MAYBE 0.04 0.04 0.04 0.04 0.04
AProVE_10/ex5.trs YES 0.01 0.01 0.01 0.01 0.01
AProVE_10/halfdouble.trs MAYBE 0.08 0.10 0.10 0.11 0.11
AProVE_10/isList.trs NO 0.01 0.01 0.01 0.01 0.01
AProVE_10/isNat.trs MAYBE 0.02 0.02 0.02 0.02 0.02
AProVE_10/scnp.trs YES 0.37 0.38 0.38 0.36 0.36
AProVE_10/Zantema06-03-modified.trs MAYBE 0.09 0.09 0.09 0.09 0.09
Beerendonk_07/1.trs YES 0.06 0.08 0.08 0.09 0.09
Beerendonk_07/10.trs YES 0.05 0.06 0.06 0.06 0.06
Beerendonk_07/11.trs YES 0.13 0.17 0.17 0.17 0.18
Beerendonk_07/12.trs YES 0.08 0.10 0.10 0.10 0.10
Beerendonk_07/13.trs YES 0.08 0.10 0.10 0.10 0.11
Beerendonk_07/14.trs YES 0.11 0.15 0.15 0.16 0.16
Beerendonk_07/15.trs YES 0.15 0.20 0.21 0.19 0.22
Beerendonk_07/16.trs YES 0.19 0.25 0.26 0.25 0.26
Beerendonk_07/17.trs YES 0.20 0.27 0.27 0.28 0.28
Beerendonk_07/18.trs YES 0.15 0.18 0.20 0.19 0.20
Beerendonk_07/19.trs YES 0.21 0.22 0.26 0.24 0.27
Beerendonk_07/2.trs YES 0.07 0.08 0.09 0.09 0.10
Beerendonk_07/20.trs YES 0.15 0.19 0.20 0.20 0.21
Beerendonk_07/21.trs MAYBE 0.17 0.20 0.22 0.21 0.23
Beerendonk_07/22.trs YES 0.09 0.11 0.12 0.11 0.12
Beerendonk_07/23.trs YES 0.11 0.13 0.12 0.13 0.13
Beerendonk_07/24.trs YES 0.18 0.23 0.27 0.23 0.26
Beerendonk_07/3.trs YES 0.09 0.12 0.12 0.13 0.13
Beerendonk_07/4.trs YES 0.06 0.08 0.08 0.09 0.08
Beerendonk_07/5.trs YES 0.04 0.04 0.04 0.04 0.04
Beerendonk_07/6.trs YES 0.02 0.02 0.02 0.02 0.02
Beerendonk_07/7.trs YES 0.02 0.02 0.02 0.03 0.03
Beerendonk_07/8.trs YES 0.03 0.04 0.04 0.03 0.04
Beerendonk_07/9.trs YES 0.08 0.10 0.10 0.10 0.10
CiME_04/ack_prolog.trs YES 0.09 0.10 0.10 0.10 0.11
CiME_04/append.trs YES 0.31 0.31 0.38 0.34 0.36
CiME_04/append-hard.trs YES 0.02 0.02 0.02 0.02 0.02
CiME_04/append-wrong.trs NO 0.02 0.02 0.03 0.02 0.03
CiME_04/big.trs YES 2.59 4.65 3.86 3.95 4.39
CiME_04/boolean_rings.trs YES 0.08 0.14 0.30 0.15 0.30
CiME_04/dpqs.trs YES 0.01 0.01 0.01 0.01 0.01
CiME_04/fact-hard.trs YES 0.15 0.22 0.22 0.23 0.23
CiME_04/filliatre.trs YES 0.60 0.24 0.24 0.58 0.19
CiME_04/filliatre2.trs YES 0.60 0.30 0.38 0.33 0.33
CiME_04/filliatre3.trs YES 0.66 0.69 0.42 0.37 0.69
CiME_04/intersect.trs YES 0.87 0.99 1.10 1.29 1.35
CiME_04/list-sum-prod.trs YES 0.10 0.14 0.14 0.15 0.15
CiME_04/list-sum-prod-assoc.trs YES 0.56 1.43 1.39 0.50 0.54
CiME_04/list-sum-prod-assoc-append.trs YES 0.58 1.50 1.52 0.59 0.70
CiME_04/list-sum-prod-bin.trs YES 0.17 0.16 0.22 0.23 0.23
CiME_04/list-sum-prod-bin-assoc.trs YES 0.58 1.50 0.11 0.18 0.12
CiME_04/list-sum-prod-bin-assoc-distr-app.trs YES 0.70 1.65 1.51 1.23 1.87
CiME_04/log2.trs YES 1.18 2.97 1.82 2.15 2.19
CiME_04/lse.trs YES 1.13 0.89 1.60 1.28 1.61
CiME_04/maude2.trs MAYBE 0.21 0.30 0.30 0.31 0.31
CiME_04/mucrl1.trs YES 3.85 4.23 4.88 4.22 4.94
CiME_04/ternary.trs YES 0.63 0.63 0.74 0.67 0.68
CiME_04/ternary-hard.trs YES 0.73 0.80 0.96 0.81 0.98
CiME_04/tree.trs YES 1.20 2.98 1.42 2.61 2.19
Der95/01.trs YES 0.01 0.01 0.01 0.00 0.00
Der95/02.trs YES 0.00 0.01 0.00 0.00 0.00
Der95/03.trs YES 0.01 0.01 0.01 0.01 0.01
Der95/04.trs YES 0.02 0.02 0.02 0.02 0.02
Der95/06.trs YES 0.01 0.01 0.01 0.01 0.01
Der95/07.trs YES 0.02 0.02 0.02 0.02 0.02
Der95/08.trs YES 0.02 0.02 0.02 0.02 0.02
Der95/09.trs YES 0.02 0.02 0.02 0.02 0.02
Der95/11.trs YES 0.03 0.03 0.03 0.03 0.03
Der95/12.trs YES 0.10 0.20 0.38 0.22 0.38
Der95/13.trs YES 0.20 0.42 0.44 0.42 0.45
Der95/17.trs YES 0.03 0.03 0.03 0.03 0.03
Der95/18.trs YES 0.09 0.15 0.31 0.16 0.32
Der95/20.trs YES 0.04 0.04 0.04 0.04 0.04
Der95/21.trs YES 0.06 0.08 0.08 0.08 0.08
Der95/27.trs YES 0.11 0.11 0.16 0.15 0.19
Der95/28.trs YES 0.04 0.04 0.04 0.04 0.04
Der95/30.trs YES 0.25 0.26 0.26 0.26 0.27
Der95/31.trs YES 0.05 0.05 0.05 0.05 0.05
Der95/32.trs YES 0.82 0.79 0.80 0.79 0.80
Der95/33.trs MAYBE 0.14 0.17 0.17 0.18 0.18
Endrullis_06/direct.trs YES 0.40 0.45 0.45 0.45 0.46
Endrullis_06/labeling.trs YES 0.03 0.03 0.03 0.03 0.03
Endrullis_06/linear1.trs YES 0.05 0.05 0.05 0.05 0.05
Endrullis_06/linear2.trs YES 0.50 0.51 0.53 0.52 0.53
Endrullis_06/pair2hard.trs YES 0.12 0.12 0.13 0.13 0.13
Endrullis_06/pair2simple1.trs YES 0.12 0.12 0.13 0.12 0.13
Endrullis_06/pair2simple2.trs YES 0.15 0.14 0.15 0.15 0.15
Endrullis_06/pair3hard.trs YES 0.11 0.12 0.12 0.11 0.12
Endrullis_06/pair3rotate.trs YES 0.27 0.27 0.27 0.27 0.28
Endrullis_06/pair3swap.trs YES 0.37 0.38 0.40 0.38 0.39
Endrullis_06/quadruple1.trs YES 0.11 0.12 0.12 0.12 0.12
Endrullis_06/quadruple2.trs YES 0.13 0.16 0.16 0.16 0.16
GTSSK07/cade01.trs YES 0.07 0.09 0.10 0.09 0.09
GTSSK07/cade03.trs YES 0.07 0.09 0.09 0.09 0.10
GTSSK07/cade04t.trs MAYBE 0.06 0.09 0.09 0.09 0.09
GTSSK07/cade05t.trs YES 0.11 0.16 0.16 0.17 0.17
GTSSK07/cade06.trs YES 0.10 0.14 0.14 0.14 0.14
GTSSK07/cade07.trs YES 0.10 0.13 0.15 0.13 0.13
GTSSK07/cade08.trs MAYBE 0.08 0.11 0.11 0.11 0.11
GTSSK07/cade09.trs YES 0.08 0.10 0.10 0.10 0.10
GTSSK07/cade10.trs YES 0.07 0.10 0.10 0.10 0.11
GTSSK07/cade11.trs YES 0.07 0.09 0.09 0.09 0.09
GTSSK07/cade12t.trs MAYBE 0.12 0.15 0.15 0.15 0.16
GTSSK07/cade13t.trs YES 0.11 0.15 0.16 0.15 0.16
GTSSK07/cade14.trs YES 0.13 0.18 0.18 0.18 0.19
GTSSK07/cade15.trs YES 0.20 0.28 0.38 0.29 0.40
GTSSK07/cade16.trs YES 0.08 0.10 0.11 0.10 0.11
GTSSK07/cade17.trs MAYBE 0.14 0.17 0.18 0.19 0.19
HirokawaMiddeldorp_04/n002.trs NO 0.01 0.01 0.01 0.01 0.01
HirokawaMiddeldorp_04/n003.trs NO 0.01 0.01 0.01 0.01 0.01
HirokawaMiddeldorp_04/n004.trs NO 0.01 0.01 0.01 0.01 0.01
HirokawaMiddeldorp_04/n005.trs NO 0.01 0.01 0.01 0.01 0.01
HirokawaMiddeldorp_04/n006.trs NO 0.01 0.01 0.01 0.01 0.01
HirokawaMiddeldorp_04/n007.trs NO 0.02 0.02 0.02 0.02 0.03
HirokawaMiddeldorp_04/n008.trs NO 0.01 0.01 0.01 0.01 0.01
HirokawaMiddeldorp_04/t000.trs YES 0.22 0.26 0.22 0.19 0.22
HirokawaMiddeldorp_04/t001.trs YES 0.12 0.15 0.15 0.16 0.16
HirokawaMiddeldorp_04/t002.trs YES 0.10 0.14 0.14 0.15 0.15
HirokawaMiddeldorp_04/t003.trs YES 0.13 0.17 0.17 0.17 0.17
HirokawaMiddeldorp_04/t004.trs YES 0.01 0.01 0.01 0.01 0.02
HirokawaMiddeldorp_04/t005.trs YES 0.46 0.48 0.61 0.65 0.57
HirokawaMiddeldorp_04/t006.trs YES 0.39 0.39 0.39 0.39 0.39
HirokawaMiddeldorp_04/t007.trs YES 0.01 0.00 0.00 0.00 0.01
HirokawaMiddeldorp_04/t008.trs YES 0.02 0.02 0.02 0.02 0.02
HirokawaMiddeldorp_04/t009.trs YES 7.37 8.08 8.57 6.56 8.56
HirokawaMiddeldorp_04/t010.trs YES 0.01 0.01 0.01 0.01 0.00
HirokawaMiddeldorp_04/t011.trs YES 0.16 0.17 0.25 0.20 0.28
HirokawaMiddeldorp_04/t012.trs YES 0.05 0.05 0.05 0.05 0.05
HirokawaMiddeldorp_04/t013.trs YES 0.08 0.10 0.10 0.10 0.10
HirokawaMiddeldorp_04/t014.trs YES 0.10 0.14 0.14 0.15 0.15
Mixed_TRS/1.trs YES 0.05 0.06 0.06 0.06 0.06
Mixed_TRS/2.trs YES 0.08 0.08 0.08 0.08 0.09
Mixed_TRS/3.trs YES 0.03 0.04 0.04 0.04 0.04
Mixed_TRS/4.trs YES 0.05 0.05 0.05 0.05 0.05
Mixed_TRS/5.trs YES 0.02 0.02 0.02 0.02 0.02
Mixed_TRS/6.trs MAYBE 0.03 0.03 0.04 0.03 0.03
Mixed_TRS/7.trs MAYBE 0.11 0.12 0.12 0.12 0.12
Mixed_TRS/beans.trs YES 0.26 0.27 0.29 0.27 0.28
Mixed_TRS/Ex1_Luc04b_GM.trs YES 0.06 0.08 0.07 0.07 0.08
Mixed_TRS/fossacs.trs 0.04 0.04 0.04 0.04 0.04
Mixed_TRS/gcd.trs YES 0.16 0.23 0.23 0.24 0.24
Mixed_TRS/gcd_triple.trs YES 0.21 0.27 0.28 0.29 0.29
Mixed_TRS/gcdMinMax.trs YES 0.16 0.22 0.22 0.24 0.24
Mixed_TRS/hydra.trs YES 0.04 0.04 0.04 0.04 0.04
Mixed_TRS/hydra-Zantema06.trs MAYBE 0.13 0.16 0.16 0.16 0.16
Mixed_TRS/jones1.trs YES 0.19 0.37 0.39 0.37 0.40
Mixed_TRS/jones2.trs YES 0.39 0.39 0.38 0.39 0.38
Mixed_TRS/jones4.trs YES 0.14 0.19 0.29 0.19 0.30
Mixed_TRS/jones5.trs YES 0.31 0.36 0.37 0.36 0.37
Mixed_TRS/jones6.trs YES 0.36 0.71 0.76 0.71 0.76
Mixed_TRS/minsort.trs MAYBE 0.18 0.24 0.32 0.26 0.33
Mixed_TRS/motivation.trs YES 0.03 0.03 0.03 0.03 0.03
Mixed_TRS/perfect.trs YES 0.41 0.39 0.39 0.39 0.77
Mixed_TRS/perfect2.trs YES 0.13 0.17 0.17 0.17 0.18
Mixed_TRS/test1.trs YES 0.10 0.27 0.30 0.27 0.31
Mixed_TRS/while.trs YES 0.06 0.08 0.08 0.08 0.09
Mixed_TRS/while2.trs MAYBE 0.08 0.08 0.08 0.08 0.08
MNZ_10/0.trs YES 0.10 0.13 0.14 0.18 0.18
MNZ_10/1.trs YES 0.12 0.15 0.19 0.22 0.20
MNZ_10/2.trs YES 0.12 0.17 0.19 0.31 0.30
MNZ_10/3.trs YES 0.14 0.19 0.21 0.26 0.34
MNZ_10/4.trs YES 0.17 0.22 0.29 0.32 0.39
MNZ_10/5.trs YES 0.18 0.26 0.28 0.52 0.43
MNZ_10/6.trs YES 0.21 0.29 0.35 0.43 0.42
MNZ_10/7.trs YES 0.15 0.19 0.21 0.28 0.34
MNZ_10/8.trs YES 0.16 0.20 0.24 0.26 0.35
MNZ_10/9.trs YES 0.17 0.24 0.27 0.31 0.54
MNZ_10/labelled.trs YES 37.93 60.15 60.00 60.03 60.06
MNZ_10/nrvsq.trs MAYBE 0.23 0.38 0.46 0.50 0.67
MNZ_10/nvsr.trs YES 0.12 0.14 0.17 0.18 0.21
Rubio_04/aoto.trs YES 0.02 0.02 0.02 0.02 0.02
Rubio_04/bintrees.trs YES 0.07 0.11 0.19 0.11 0.19
Rubio_04/bn122.trs YES 0.03 0.04 0.04 0.04 0.04
Rubio_04/bn129.trs YES 0.11 0.11 0.11 0.11 0.11
Rubio_04/division.trs YES 0.48 0.50 0.50 0.51 0.51
Rubio_04/elimdupl.trs YES 0.49 0.51 0.51 0.51 0.90
Rubio_04/enno.trs YES 0.21 0.28 0.43 0.30 0.45
Rubio_04/gcd.trs YES 0.12 0.15 0.15 0.16 0.17
Rubio_04/gm.trs YES 0.07 0.08 0.09 0.09 0.09
Rubio_04/gmnp.trs YES 0.01 0.01 0.01 0.01 0.01
Rubio_04/koen.trs YES 0.74 0.74 0.73 0.74 0.74
Rubio_04/lescanne.trs YES 0.03 0.04 0.04 0.04 0.04
Rubio_04/lindau.trs YES 0.02 0.03 0.03 0.04 0.04
Rubio_04/logarquot.trs YES 0.42 0.46 0.46 0.45 0.46
Rubio_04/ma96.trs YES 0.68 0.74 0.83 0.74 0.79
Rubio_04/mfp90b.trs YES 0.02 0.02 0.02 0.02 0.02
Rubio_04/mfp95.trs YES 0.00 0.01 0.00 0.01 0.01
Rubio_04/nestrec.trs YES 0.02 0.02 0.02 0.02 0.02
Rubio_04/p266.trs YES 0.01 0.01 0.01 0.01 0.01
Rubio_04/polo2.trs YES 0.03 0.03 0.03 0.03 0.03
Rubio_04/prov.trs YES 0.07 0.09 0.09 0.04 0.04
Rubio_04/quick.trs YES 0.61 0.65 1.46 0.66 1.49
Rubio_04/quotminus.trs YES 0.44 0.52 0.51 0.45 0.46
Rubio_04/revlist.trs YES 0.10 0.17 0.26 0.16 0.26
Rubio_04/selsort.trs YES 1.08 1.06 1.48 1.10 1.09
Rubio_04/test4.trs YES 0.46 0.47 0.52 0.48 0.53
Rubio_04/test829.trs YES 0.04 0.06 0.07 0.07 0.07
Rubio_04/wst99.trs YES 0.21 0.22 0.21 0.21 0.19
Secret_05_TRS/aprove1.trs YES 0.59 0.60 0.62 0.60 0.62
Secret_05_TRS/aprove2.trs YES 0.13 0.18 0.18 0.18 0.18
Secret_05_TRS/aprove3.trs YES 0.43 0.43 0.44 0.44 0.44
Secret_05_TRS/aprove4.trs YES 0.40 0.41 0.79 0.40 0.47
Secret_05_TRS/aprove5.trs YES 0.05 0.05 0.05 0.05 0.05
Secret_05_TRS/cime1.trs YES 3.13 3.24 3.23 3.27 3.25
Secret_05_TRS/cime2.trs YES 0.13 0.13 0.13 0.14 0.14
Secret_05_TRS/cime3.trs MAYBE 0.12 0.15 0.14 0.13 0.12
Secret_05_TRS/cime4.trs NO 0.09 0.10 0.10 0.09 0.09
Secret_05_TRS/cime5.trs YES 12.16 14.91 15.61 12.98 15.96
Secret_05_TRS/matchbox1.trs YES 0.02 0.02 0.02 0.02 0.02
Secret_05_TRS/matchbox2.trs YES 0.03 0.03 0.03 0.03 0.03
Secret_05_TRS/teparla1.trs YES 0.13 0.13 0.14 0.13 0.14
Secret_05_TRS/teparla2.trs YES 0.10 0.10 0.11 0.11 0.11
Secret_05_TRS/teparla3.trs YES 0.09 0.09 0.10 0.09 0.09
Secret_05_TRS/tpa1.trs YES 0.16 0.22 0.22 0.24 0.24
Secret_05_TRS/tpa2.trs YES 0.08 0.10 0.11 0.10 0.12
Secret_05_TRS/tpa3.trs MAYBE 0.11 0.15 0.16 0.16 0.16
Secret_05_TRS/tpa4.trs MAYBE 0.11 0.16 0.15 0.16 0.17
Secret_05_TRS/tpa5.trs MAYBE 0.14 0.19 0.18 0.20 0.19
Secret_05_TRS/ttt1.trs NO 0.09 0.09 0.10 0.09 0.09
Secret_05_TRS/ttt2.trs NO 0.01 0.01 0.02 0.01 0.02
Secret_06_TRS/10.trs YES 0.04 0.04 0.05 0.04 0.05
Secret_06_TRS/2.trs YES 0.08 0.11 0.13 0.12 0.13
Secret_06_TRS/3.trs MAYBE 0.10 0.11 0.12 0.15 0.15
Secret_06_TRS/4.trs YES 0.04 0.05 0.06 0.05 0.06
Secret_06_TRS/5.trs YES 0.04 0.04 0.04 0.04 0.04
Secret_06_TRS/6.trs YES 0.26 0.27 0.28 0.27 0.28
Secret_06_TRS/7.trs YES 0.05 0.05 0.05 0.05 0.05
Secret_06_TRS/8.trs YES 0.02 0.02 0.02 0.02 0.02
Secret_06_TRS/9.trs YES 0.04 0.04 0.04 0.06 0.05
Secret_06_TRS/addList.trs YES 0.15 0.19 0.26 0.19 0.28
Secret_06_TRS/cime1.trs MAYBE 0.17 0.28 0.46 0.29 0.46
Secret_06_TRS/divExp.trs YES 0.07 0.10 0.10 0.10 0.10
Secret_06_TRS/division.trs YES 0.14 0.18 0.18 0.19 0.19
Secret_06_TRS/double.trs YES 0.74 0.86 0.87 0.92 0.87
Secret_06_TRS/gen-1.trs YES 0.05 0.05 0.05 0.05 0.06
Secret_06_TRS/gen-10.trs YES 0.06 0.07 0.08 0.08 0.09
Secret_06_TRS/gen-14.trs YES 0.03 0.04 0.04 0.04 0.04
Secret_06_TRS/gen-15.trs YES 0.05 0.06 0.07 0.06 0.06
Secret_06_TRS/gen-17.trs YES 0.15 0.15 0.16 0.15 0.16
Secret_06_TRS/gen-18.trs YES 0.04 0.04 0.04 0.04 0.04
Secret_06_TRS/gen-22.trs YES 0.43 0.44 0.45 0.45 0.46
Secret_06_TRS/gen-25.trs YES 0.07 0.07 0.07 0.07 0.07
Secret_06_TRS/gen-28.trs YES 0.08 0.08 0.08 0.08 0.08
Secret_06_TRS/gen-9.trs YES 0.08 0.08 0.09 0.08 0.08
Secret_06_TRS/logarithm.trs YES 0.10 0.12 0.12 0.12 0.13
Secret_06_TRS/nrOfNodes.trs YES 0.06 0.06 0.06 0.06 0.06
Secret_06_TRS/reverse.trs YES 0.10 0.13 0.21 0.14 0.21
Secret_06_TRS/sumList.trs YES 0.06 0.06 0.07 0.06 0.06
Secret_06_TRS/times.trs YES 0.14 0.18 0.19 0.20 0.20
Secret_06_TRS/toList.trs YES 0.11 0.26 0.30 0.27 0.30
Secret_06_TRS/tpa01.trs YES 0.03 0.03 0.03 0.03 0.03
Secret_06_TRS/tpa02.trs YES 0.03 0.03 0.03 0.03 0.03
Secret_06_TRS/tpa03.trs YES 0.03 0.03 0.03 0.03 0.03
Secret_06_TRS/tpa04.trs MAYBE 0.18 0.25 0.25 0.27 0.26
Secret_06_TRS/tpa05.trs MAYBE 0.12 0.16 0.16 0.17 0.17
Secret_06_TRS/tpa06.trs YES 0.17 0.21 0.22 0.22 0.23
Secret_06_TRS/tpa07.trs MAYBE 0.13 0.17 0.17 0.18 0.18
Secret_06_TRS/tpa08.trs MAYBE 0.12 0.16 0.16 0.17 0.17
Secret_06_TRS/tpa09.trs MAYBE 0.20 0.28 0.29 0.30 0.30
Secret_06_TRS/tpa10.trs YES 0.23 0.31 0.32 0.33 0.34
Secret_07_TRS/1.trs YES 0.02 0.02 0.02 0.02 0.02
Secret_07_TRS/2.trs YES 0.02 0.02 0.02 0.02 0.02
Secret_07_TRS/3.trs YES 0.02 0.02 0.02 0.02 0.02
Secret_07_TRS/4.trs YES 0.11 0.11 0.12 0.12 0.12
Secret_07_TRS/5.trs YES 0.02 0.02 0.04 0.02 0.04
Secret_07_TRS/7.trs MAYBE 0.75 0.78 0.82 0.78 0.84
Secret_07_TRS/aprove01.trs YES 0.41 0.44 0.45 0.44 0.45
Secret_07_TRS/aprove02.trs YES 0.33 0.37 0.44 0.39 0.44
Secret_07_TRS/aprove03.trs MAYBE 0.43 0.48 0.50 0.49 0.51
Secret_07_TRS/aprove04.trs YES 0.41 0.46 0.46 0.46 0.46
Secret_07_TRS/aprove05.trs YES 0.48 0.50 0.51 0.51 0.51
Secret_07_TRS/aprove06.trs YES 0.50 0.53 0.54 0.55 0.55
Secret_07_TRS/aprove07.trs YES 0.41 0.45 0.45 0.44 0.45
Secret_07_TRS/aprove08.trs YES 0.32 0.43 0.49 0.45 0.45
Secret_07_TRS/aprove09.trs YES 0.45 0.52 0.51 0.51 0.52
Secret_07_TRS/aprove10.trs YES 0.18 0.23 0.32 0.24 0.33
Secret_07_TRS/secret1.trs YES 0.06 0.07 0.14 0.08 0.06
Secret_07_TRS/secret2.trs YES 1.76 2.68 1.85 2.71 2.29
Secret_07_TRS/secret3.trs YES 0.16 0.21 0.28 0.22 0.29
Secret_07_TRS/secret4.trs YES 2.18 3.09 2.34 3.10 2.78
Secret_07_TRS/secret5.trs YES 0.13 0.15 0.16 0.16 0.16
SK90/2.01.trs YES 0.03 0.03 0.04 0.04 0.04
SK90/2.02.trs YES 0.05 0.05 0.06 0.05 0.06
SK90/2.03.trs YES 0.02 0.02 0.02 0.02 0.02
SK90/2.04.trs YES 0.03 0.03 0.03 0.03 0.03
SK90/2.05.trs NO 0.10 0.13 0.14 0.13 0.14
SK90/2.06.trs YES 0.09 0.09 0.11 0.09 0.09
SK90/2.07.trs YES 0.04 0.04 0.04 0.04 0.04
SK90/2.08.trs YES 0.37 0.52 0.67 0.54 0.68
SK90/2.09.trs YES 0.06 0.14 0.09 0.09 0.15
SK90/2.10.trs YES 0.03 0.09 0.04 0.09 0.10
SK90/2.11.trs YES 0.07 0.10 0.10 0.11 0.11
SK90/2.12.trs YES 0.15 0.21 0.21 0.22 0.22
SK90/2.13.trs YES 0.08 0.11 0.11 0.12 0.11
SK90/2.14.trs YES 0.06 0.08 0.08 0.08 0.08
SK90/2.15.trs YES 0.01 0.01 0.01 0.01 0.01
SK90/2.16.trs YES 0.05 0.06 0.06 0.06 0.06
SK90/2.17.trs YES 0.02 0.02 0.02 0.02 0.02
SK90/2.18.trs YES 0.04 0.04 0.05 0.05 0.05
SK90/2.19.trs YES 0.04 0.05 0.05 0.05 0.05
SK90/2.20.trs YES 0.01 0.01 0.01 0.01 0.01
SK90/2.21.trs YES 0.07 0.11 0.16 0.17 0.12
SK90/2.22.trs YES 0.10 0.14 0.13 0.14 0.14
SK90/2.23.trs YES 0.08 0.10 0.10 0.10 0.10
SK90/2.24.trs YES 0.01 0.01 0.01 0.01 0.01
SK90/2.25.trs YES 0.04 0.05 0.05 0.05 0.05
SK90/2.26.trs YES 0.04 0.05 0.05 0.05 0.05
SK90/2.27.trs YES 0.04 0.04 0.05 0.05 0.05
SK90/2.28.trs YES 0.03 0.03 0.03 0.03 0.03
SK90/2.29.trs YES 0.14 0.16 0.19 0.19 0.22
SK90/2.30.trs YES 0.01 0.00 0.00 0.00 0.00
SK90/2.31.trs YES 0.08 0.11 0.11 0.11 0.11
SK90/2.32.trs YES 0.01 0.00 0.00 0.00 0.00
SK90/2.33.trs YES 0.02 0.02 0.02 0.02 0.02
SK90/2.34.trs YES 0.05 0.05 0.06 0.05 0.06
SK90/2.35.trs YES 0.02 0.02 0.02 0.02 0.02
SK90/2.36.trs YES 0.72 0.71 0.38 0.71 0.38
SK90/2.37.trs YES 0.40 0.38 0.38 0.38 0.38
SK90/2.38.trs YES 0.03 0.03 0.04 0.04 0.03
SK90/2.39.trs YES 0.05 0.08 0.16 0.09 0.16
SK90/2.40.trs YES 0.08 0.14 0.29 0.14 0.29
SK90/2.41.trs YES 0.11 0.19 0.34 0.20 0.35
SK90/2.42.trs YES 0.05 0.05 0.05 0.05 0.05
SK90/2.43.trs YES 0.45 0.47 0.56 0.86 0.57
SK90/2.44.trs YES 0.07 0.07 0.06 0.07 0.06
SK90/2.45.trs YES 0.40 0.41 0.41 0.41 0.41
SK90/2.46.trs YES 0.03 0.03 0.03 0.02 0.03
SK90/2.47.trs YES 0.01 0.01 0.01 0.01 0.01
SK90/2.48.trs YES 0.01 0.00 0.00 0.00 0.00
SK90/2.49.trs YES 0.02 0.02 0.02 0.02 0.02
SK90/2.50.trs YES 0.01 0.01 0.01 0.01 0.01
SK90/2.51.trs YES 0.07 0.08 0.08 0.08 0.09
SK90/2.52.trs YES 1.33 1.37 1.38 1.39 1.39
SK90/2.53.trs YES 0.13 0.14 0.19 0.19 0.24
SK90/2.54.trs YES 0.04 0.06 0.06 0.06 0.07
SK90/2.55.trs YES 0.04 0.06 0.06 0.06 0.07
SK90/2.56.trs YES 0.00 0.00 0.01 0.00 0.00
SK90/2.57.trs YES 0.00 0.00 0.01 0.00 0.00
SK90/2.58.trs YES 0.04 0.04 0.05 0.04 0.05
SK90/2.59.trs YES 0.08 0.08 0.08 0.09 0.09
SK90/2.60.trs YES 0.00 0.00 0.01 0.01 0.01
SK90/2.61.trs YES 0.42 0.44 0.41 0.40 0.41
SK90/4.01.trs YES 0.00 0.00 0.01 0.01 0.01
SK90/4.02.trs YES 0.17 0.17 0.18 0.18 0.18
SK90/4.03.trs YES 0.14 0.23 0.36 0.20 0.36
SK90/4.04.trs YES 0.02 0.02 0.02 0.02 0.02
SK90/4.05.trs YES 0.23 0.29 0.39 0.30 0.39
SK90/4.06.trs NO 0.41 0.41 0.41 0.40 0.40
SK90/4.07.trs YES 0.02 0.02 0.03 0.03 0.03
SK90/4.08.trs YES 0.02 0.02 0.02 0.02 0.02
SK90/4.09.trs YES 0.25 0.31 0.42 0.33 0.42
SK90/4.10.trs YES 0.49 0.39 0.69 0.76 0.78
SK90/4.11.trs YES 0.04 0.05 0.05 0.05 0.05
SK90/4.12.trs YES 0.03 0.03 0.03 0.03 0.03
SK90/4.13.trs YES 0.01 0.02 0.02 0.02 0.02
SK90/4.14.trs YES 0.15 0.21 0.21 0.22 0.22
SK90/4.15.trs YES 0.05 0.08 0.15 0.08 0.16
SK90/4.16.trs YES 0.01 0.02 0.02 0.02 0.02
SK90/4.17.trs YES 0.02 0.02 0.02 0.02 0.02
SK90/4.18.trs YES 0.00 0.01 0.00 0.01 0.01
SK90/4.19.trs YES 0.07 0.07 0.07 0.08 0.08
SK90/4.20.trs YES 0.08 0.14 0.29 0.15 0.30
SK90/4.21.trs YES 0.57 0.54 1.16 0.87 0.96
SK90/4.22.trs YES 0.09 0.15 0.30 0.16 0.31
SK90/4.23.trs YES 0.48 0.40 0.84 0.63 0.45
SK90/4.24.trs YES 0.10 0.16 0.25 0.17 0.26
SK90/4.25.trs YES 0.01 0.01 0.01 0.01 0.01
SK90/4.26.trs YES 0.08 0.11 0.19 0.11 0.19
SK90/4.27.trs YES 0.11 0.13 0.14 0.14 0.14
SK90/4.28.trs YES 0.20 0.30 0.53 0.37 0.59
SK90/4.29.trs YES 0.38 0.39 0.38 0.39 0.39
SK90/4.30.trs YES 0.07 0.20 0.33 0.16 0.43
SK90/4.31.trs YES 0.11 0.17 0.32 0.18 0.33
SK90/4.32.trs YES 0.04 0.06 0.06 0.06 0.07
SK90/4.33.trs YES 0.01 0.01 0.01 0.01 0.01
SK90/4.34.trs NO 0.01 0.01 0.01 0.01 0.01
SK90/4.35.trs YES 0.01 0.00 0.00 0.00 0.01
SK90/4.36.trs YES 0.01 0.01 0.01 0.01 0.01
SK90/4.37.trs YES 0.01 0.01 0.01 0.01 0.01
SK90/4.38.trs YES 0.82 0.45 0.39 0.38 0.39
SK90/4.39.trs YES 0.03 0.04 0.05 0.04 0.05
SK90/4.40.trs NO 0.04 0.04 0.04 0.04 0.04
SK90/4.41.trs YES 0.02 0.02 0.01 0.01 0.02
SK90/4.42.trs YES 0.08 0.09 0.11 0.09 0.09
SK90/4.43.trs YES 0.07 0.08 0.08 0.14 0.15
SK90/4.44.trs YES 0.02 0.02 0.03 0.02 0.03
SK90/4.45.trs YES 0.03 0.04 0.04 0.04 0.04
SK90/4.46.trs YES 0.00 0.00 0.00 0.00 0.01
SK90/4.47.trs YES 0.00 0.00 0.01 0.00 0.01
SK90/4.48.trs YES 0.04 0.04 0.04 0.04 0.04
SK90/4.49.trs NO 0.03 0.03 0.04 0.04 0.04
SK90/4.50.trs YES 0.02 0.02 0.02 0.02 0.02
SK90/4.51.trs YES 0.01 0.02 0.02 0.02 0.02
SK90/4.52.trs YES 0.16 0.27 0.37 0.28 0.37
SK90/4.53.trs YES 0.02 0.02 0.02 0.02 0.02
SK90/4.54.trs NO 0.03 0.03 0.03 0.03 0.03
SK90/4.55.trs YES 0.01 0.01 0.01 0.01 0.01
SK90/4.56.trs YES 0.01 0.00 0.01 0.00 0.01
SK90/4.57.trs YES 0.01 0.01 0.01 0.00 0.01
SK90/4.59.trs YES 0.21 0.33 0.64 0.34 0.65
SK90/4.60.trs YES 0.16 0.28 0.54 0.30 0.54
SK90/4.61.trs YES 0.09 0.10 0.10 0.10 0.10
Strategy_removed_AG01/4.12a.trs NO 0.04 0.04 0.05 0.04 0.05
Strategy_removed_AG01/4.13.trs NO 0.02 0.02 0.02 0.02 0.02
Strategy_removed_AG01/4.14.trs NO 0.02 0.02 0.02 0.02 0.02
Strategy_removed_AG01/4.15.trs NO 0.04 0.04 0.04 0.04 0.04
Strategy_removed_AG01/4.16.trs NO 0.02 0.02 0.02 0.02 0.02
Strategy_removed_AG01/4.17.trs NO 0.03 0.03 0.03 0.03 0.03
Strategy_removed_AG01/4.18.trs NO 0.01 0.01 0.01 0.01 0.02
Strategy_removed_AG01/4.19.trs MAYBE 0.40 0.41 0.41 0.42 0.41
Strategy_removed_AG01/4.2.trs NO 0.02 0.02 0.02 0.02 0.02
Strategy_removed_AG01/4.20.trs YES 0.02 0.01 0.02 0.02 0.02
Strategy_removed_AG01/4.20a.trs YES 0.02 0.02 0.02 0.02 0.02
Strategy_removed_AG01/4.21.trs YES 0.03 0.03 0.03 0.02 0.02
Strategy_removed_AG01/4.22.trs YES 0.11 0.15 0.15 0.15 0.15
Strategy_removed_AG01/4.23.trs YES 0.06 0.07 0.07 0.07 0.07
Strategy_removed_AG01/4.25.trs YES 0.01 0.01 0.01 0.01 0.01
Strategy_removed_AG01/4.26.trs YES 0.06 0.09 0.09 0.09 0.09
Strategy_removed_AG01/4.27.trs YES 0.05 0.08 0.08 0.08 0.09
Strategy_removed_AG01/4.28.trs YES 0.02 0.02 0.02 0.02 0.02
Strategy_removed_AG01/4.29.trs YES 0.10 0.10 0.09 0.11 0.12
Strategy_removed_AG01/4.3.trs NO 0.10 0.12 0.32 0.12 0.32
Strategy_removed_AG01/4.30.trs YES 0.11 0.15 0.16 0.17 0.17
Strategy_removed_AG01/4.30a.trs YES 0.10 0.14 0.14 0.15 0.15
Strategy_removed_AG01/4.30b.trs YES 0.12 0.16 0.16 0.17 0.17
Strategy_removed_AG01/4.30c.trs YES 0.12 0.16 0.16 0.17 0.17
Strategy_removed_AG01/4.32.trs YES 0.46 0.48 0.48 0.48 0.48
Strategy_removed_AG01/4.33.trs YES 0.50 0.92 0.93 0.91 0.92
Strategy_removed_AG01/4.34.trs YES 0.06 0.05 0.06 0.05 0.05
Strategy_removed_AG01/4.35.trs YES 0.69 0.73 0.74 0.69 0.79
Strategy_removed_AG01/4.36.trs YES 0.70 1.11 1.52 1.10 1.12
Strategy_removed_AG01/4.37.trs YES 0.08 0.12 0.13 0.13 0.13
Strategy_removed_AG01/4.37a.trs YES 0.08 0.13 0.13 0.13 0.14
Strategy_removed_AG01/4.4.trs NO 0.02 0.02 0.02 0.02 0.02
Strategy_removed_AG01/4.7.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex1_2_AEL03.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex1_2_Luc02c.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex1_GL02a.trs NO 0.05 0.07 0.07 0.08 0.08
Strategy_removed_CSR_05/Ex1_GM03.trs NO 0.05 0.07 0.07 0.08 0.08
Strategy_removed_CSR_05/Ex1_GM99.trs NO 0.02 0.02 0.02 0.02 0.02
Strategy_removed_CSR_05/Ex1_Luc02b.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex1_Zan97.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex14_AEGL02.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex15_Luc98.trs NO 0.09 0.14 0.21 0.15 0.22
Strategy_removed_CSR_05/Ex2_Luc03b.trs NO 0.07 0.11 0.18 0.11 0.19
Strategy_removed_CSR_05/Ex24_GM04.trs NO 0.03 0.03 0.03 0.03 0.03
Strategy_removed_CSR_05/Ex26_Luc03b.trs NO 0.04 0.05 0.05 0.05 0.05
Strategy_removed_CSR_05/Ex3_12_Luc96a.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex3_2_Luc97.trs NO 0.12 0.18 0.33 0.19 0.34
Strategy_removed_CSR_05/Ex3_3_25_Bor03.trs NO 0.05 0.08 0.16 0.08 0.16
Strategy_removed_CSR_05/Ex4_4_Luc96b.trs NO 0.02 0.02 0.02 0.02 0.02
Strategy_removed_CSR_05/Ex4_7_15_Bor03.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex4_7_37_Bor03.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex4_7_56_Bor03.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex4_7_77_Bor03.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex4_Zan97.trs NO 0.02 0.02 0.02 0.02 0.02
Strategy_removed_CSR_05/Ex49_GM04.trs YES 0.10 0.14 0.14 0.15 0.15
Strategy_removed_CSR_05/Ex5_7_Luc97.trs NO 0.12 0.18 0.34 0.19 0.34
Strategy_removed_CSR_05/Ex5_Zan97.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex6_15_AEL02.trs NO 0.13 0.20 0.35 0.21 0.36
Strategy_removed_CSR_05/Ex6_9_Luc02c.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex6_GM04.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex6_Luc98.trs NO 0.07 0.11 0.18 0.11 0.18
Strategy_removed_CSR_05/Ex7_BLR02.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/Ex8_BLR02.trs NO 0.10 0.14 0.22 0.15 0.23
Strategy_removed_CSR_05/Ex9_BLR02.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/ExAppendixB_AEL03.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/ExConc_Zan97.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/ExIntrod_GM01.trs NO 0.02 0.02 0.02 0.02 0.02
Strategy_removed_CSR_05/ExIntrod_GM04.trs NO 0.02 0.02 0.02 0.02 0.02
Strategy_removed_CSR_05/ExIntrod_GM99.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_CSR_05/ExIntrod_Zan97.trs NO 0.06 0.08 0.08 0.08 0.08
Strategy_removed_mixed_05/bn111.trs YES 0.02 0.02 0.02 0.02 0.02
Strategy_removed_mixed_05/ex1.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_mixed_05/ex2.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_mixed_05/ex3.trs NO 0.02 0.02 0.02 0.02 0.02
Strategy_removed_mixed_05/ex4.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_mixed_05/ex5.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_mixed_05/ex6.trs NO 0.02 0.02 0.02 0.02 0.01
Strategy_removed_mixed_05/ExSec11_1_Luc02a.trs NO 0.04 0.05 0.05 0.05 0.05
Strategy_removed_mixed_05/gkg.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_mixed_05/muladd.trs NO 0.05 0.05 0.05 0.05 0.05
Strategy_removed_mixed_05/n001.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_mixed_05/test10.trs NO 0.05 0.06 0.06 0.07 0.07
Strategy_removed_mixed_05/test75.trs NO 0.01 0.01 0.01 0.01 0.01
Strategy_removed_mixed_05/test76.trs NO 0.04 0.05 0.05 0.06 0.05
Strategy_removed_mixed_05/test77.trs NO 0.04 0.05 0.05 0.06 0.05
Strategy_removed_mixed_05/test830.trs YES 0.03 0.03 0.03 0.03 0.03
Strategy_removed_mixed_05/test9.trs NO 0.05 0.05 0.06 0.05 0.06
Strategy_removed_mixed_05/toyama.trs NO 0.02 0.02 0.02 0.02 0.02
Strategy_removed_mixed_05/tricky1.trs YES 0.06 0.06 0.07 0.06 0.06
TCT_12/polycounter-10.trs 4.16 4.18 4.19 4.23 4.23
TCT_12/polycounter-5.trs 1.07 1.13 1.13 1.16 1.16
TCT_12/recursion-10.trs 0.24 0.35 0.35 0.37 0.37
TCT_12/recursion-5.trs 0.12 0.18 0.18 0.19 0.19
TCT_12/sat.trs 0.18 0.21 0.28 0.22 0.29
Transformed_CSR_04/Ex1_2_AEL03_C.trs YES 0.56 0.57 0.62 0.61 0.64
Transformed_CSR_04/Ex1_2_AEL03_FR.trs YES 0.12 0.14 0.14 0.14 0.14
Transformed_CSR_04/Ex1_2_AEL03_GM.trs YES 0.42 0.46 0.50 0.46 0.54
Transformed_CSR_04/Ex1_2_AEL03_iGM.trs YES 1.92 2.47 2.50 2.41 2.30
Transformed_CSR_04/Ex1_2_AEL03_L.trs NO 0.00 0.01 0.01 0.00 0.01
Transformed_CSR_04/Ex1_2_AEL03_Z.trs YES 0.09 0.12 0.12 0.12 0.12
Transformed_CSR_04/Ex1_2_Luc02c_C.trs YES 0.22 0.24 0.23 0.25 0.25
Transformed_CSR_04/Ex1_2_Luc02c_FR.trs YES 0.02 0.03 0.03 0.02 0.02
Transformed_CSR_04/Ex1_2_Luc02c_GM.trs YES 0.04 0.04 0.04 0.04 0.04
Transformed_CSR_04/Ex1_2_Luc02c_iGM.trs YES 0.28 0.38 0.40 0.31 0.32
Transformed_CSR_04/Ex1_2_Luc02c_L.trs NO 0.01 0.00 0.01 0.00 0.00
Transformed_CSR_04/Ex1_2_Luc02c_Z.trs YES 0.01 0.01 0.01 0.00 0.01
Transformed_CSR_04/Ex1_GL02a_C.trs YES 0.25 0.30 0.32 0.32 0.31
Transformed_CSR_04/Ex1_GL02a_FR.trs MAYBE 0.09 0.09 0.10 0.10 0.10
Transformed_CSR_04/Ex1_GL02a_GM.trs YES 0.06 0.08 0.08 0.09 0.09
Transformed_CSR_04/Ex1_GL02a_iGM.trs YES 1.60 3.09 1.23 1.77 1.52
Transformed_CSR_04/Ex1_GL02a_L.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_GL02a_Z.trs NO 0.07 0.08 0.08 0.08 0.09
Transformed_CSR_04/Ex1_GM03_C.trs MAYBE 0.30 0.35 0.35 0.31 0.32
Transformed_CSR_04/Ex1_GM03_FR.trs MAYBE 0.10 0.13 0.13 0.14 0.14
Transformed_CSR_04/Ex1_GM03_GM.trs MAYBE 0.13 0.14 0.14 0.14 0.16
Transformed_CSR_04/Ex1_GM03_iGM.trs MAYBE 0.77 1.15 1.16 1.11 1.12
Transformed_CSR_04/Ex1_GM03_L.trs NO 0.01 0.00 0.00 0.00 0.00
Transformed_CSR_04/Ex1_GM03_Z.trs NO 0.05 0.07 0.07 0.08 0.08
Transformed_CSR_04/Ex1_GM99_C.trs YES 0.20 0.23 0.23 0.21 0.21
Transformed_CSR_04/Ex1_GM99_FR.trs NO 0.02 0.02 0.02 0.02 0.02
Transformed_CSR_04/Ex1_GM99_GM.trs NO 0.05 0.04 0.05 0.05 0.05
Transformed_CSR_04/Ex1_GM99_iGM.trs NO 0.08 0.08 0.08 0.08 0.08
Transformed_CSR_04/Ex1_GM99_L.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_Luc02b_C.trs YES 0.26 0.26 0.27 0.30 0.30
Transformed_CSR_04/Ex1_Luc02b_FR.trs YES 0.09 0.09 0.10 0.09 0.09
Transformed_CSR_04/Ex1_Luc02b_GM.trs MAYBE 0.10 0.11 0.11 0.12 0.11
Transformed_CSR_04/Ex1_Luc02b_iGM.trs MAYBE 0.79 1.01 1.03 0.88 0.88
Transformed_CSR_04/Ex1_Luc02b_L.trs NO 0.00 0.00 0.00 0.00 0.00
Transformed_CSR_04/Ex1_Luc02b_Z.trs YES 0.39 0.37 0.39 0.38 0.39
Transformed_CSR_04/Ex1_Luc04b_C.trs YES 0.22 0.23 0.22 0.25 0.25
Transformed_CSR_04/Ex1_Luc04b_FR.trs NO 0.03 0.03 0.03 0.04 0.04
Transformed_CSR_04/Ex1_Luc04b_GM.trs YES 0.06 0.07 0.07 0.07 0.07
Transformed_CSR_04/Ex1_Luc04b_iGM.trs YES 0.34 0.46 0.47 0.40 0.41
Transformed_CSR_04/Ex1_Luc04b_L.trs NO 0.00 0.00 0.00 0.00 0.00
Transformed_CSR_04/Ex1_Luc04b_Z.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex1_Zan97_C.trs YES 0.06 0.06 0.07 0.06 0.06
Transformed_CSR_04/Ex1_Zan97_FR.trs NO 0.01 0.01 0.02 0.02 0.02
Transformed_CSR_04/Ex1_Zan97_GM.trs YES 0.03 0.03 0.03 0.03 0.03
Transformed_CSR_04/Ex1_Zan97_iGM.trs YES 0.04 0.05 0.04 0.05 0.04
Transformed_CSR_04/Ex1_Zan97_L.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex14_AEGL02_C.trs YES 0.20 0.22 0.23 0.26 0.27
Transformed_CSR_04/Ex14_AEGL02_FR.trs NO 0.03 0.03 0.03 0.04 0.03
Transformed_CSR_04/Ex14_AEGL02_GM.trs YES 0.13 0.13 0.17 0.16 0.20
Transformed_CSR_04/Ex14_AEGL02_iGM.trs YES 1.17 1.28 1.21 0.45 1.52
Transformed_CSR_04/Ex14_AEGL02_L.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex14_AEGL02_Z.trs NO 0.02 0.03 0.03 0.03 0.03
Transformed_CSR_04/Ex14_Luc06_C.trs YES 0.30 0.29 0.30 0.36 0.38
Transformed_CSR_04/Ex14_Luc06_FR.trs NO 0.02 0.02 0.02 0.02 0.02
Transformed_CSR_04/Ex14_Luc06_GM.trs NO 0.06 0.09 0.14 0.09 0.09
Transformed_CSR_04/Ex14_Luc06_iGM.trs MAYBE 0.43 0.69 0.71 0.60 0.65
Transformed_CSR_04/Ex14_Luc06_L.trs NO 0.01 0.01 0.01 0.01 0.02
Transformed_CSR_04/Ex15_Luc06_C.trs YES 0.07 0.08 0.08 0.07 0.07
Transformed_CSR_04/Ex15_Luc06_FR.trs YES 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex15_Luc06_GM.trs YES 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex15_Luc06_iGM.trs YES 0.45 0.83 0.84 0.83 0.45
Transformed_CSR_04/Ex15_Luc06_L.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex15_Luc06_Z.trs YES 0.00 0.00 0.01 0.00 0.00
Transformed_CSR_04/Ex15_Luc98_C.trs YES 0.84 0.86 0.85 0.96 0.95
Transformed_CSR_04/Ex15_Luc98_FR.trs YES 0.08 0.09 0.09 0.09 0.09
Transformed_CSR_04/Ex15_Luc98_GM.trs YES 0.10 0.12 0.12 0.12 0.10
Transformed_CSR_04/Ex15_Luc98_iGM.trs YES 1.14 1.80 1.74 1.44 1.47
Transformed_CSR_04/Ex15_Luc98_L.trs NO 0.00 0.00 0.00 0.00 0.00
Transformed_CSR_04/Ex15_Luc98_Z.trs YES 0.39 0.37 0.38 0.37 0.38
Transformed_CSR_04/Ex16_Luc06_C.trs YES 0.15 0.15 0.16 0.20 0.20
Transformed_CSR_04/Ex16_Luc06_FR.trs YES 0.02 0.01 0.02 0.01 0.02
Transformed_CSR_04/Ex16_Luc06_GM.trs YES 0.01 0.01 0.02 0.02 0.02
Transformed_CSR_04/Ex16_Luc06_iGM.trs YES 0.04 0.06 0.07 0.06 0.06
Transformed_CSR_04/Ex16_Luc06_L.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex18_Luc06_C.trs YES 0.46 0.46 0.46 0.46 0.45
Transformed_CSR_04/Ex18_Luc06_FR.trs YES 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex18_Luc06_GM.trs YES 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex18_Luc06_iGM.trs YES 0.07 0.06 0.06 0.06 0.07
Transformed_CSR_04/Ex18_Luc06_L.trs YES 0.00 0.00 0.00 0.00 0.00
Transformed_CSR_04/Ex18_Luc06_Z.trs YES 0.00 0.00 0.00 0.00 0.00
Transformed_CSR_04/Ex2_Luc02a_C.trs YES 0.35 0.35 0.36 0.39 0.41
Transformed_CSR_04/Ex2_Luc02a_FR.trs YES 0.11 0.13 0.13 0.13 0.14
Transformed_CSR_04/Ex2_Luc02a_GM.trs YES 0.15 0.18 0.19 0.19 0.21
Transformed_CSR_04/Ex2_Luc02a_iGM.trs YES 0.97 1.21 1.22 0.94 0.96
Transformed_CSR_04/Ex2_Luc02a_L.trs YES 0.04 0.05 0.05 0.05 0.05
Transformed_CSR_04/Ex2_Luc02a_Z.trs YES 0.37 0.37 0.38 0.38 0.38
Transformed_CSR_04/Ex2_Luc03b_C.trs YES 0.74 0.64 0.66 0.77 0.79
Transformed_CSR_04/Ex2_Luc03b_FR.trs YES 0.11 0.12 0.12 0.13 0.12
Transformed_CSR_04/Ex2_Luc03b_GM.trs YES 0.10 0.11 0.10 0.12 0.15
Transformed_CSR_04/Ex2_Luc03b_iGM.trs YES 0.82 1.08 1.10 0.87 0.86
Transformed_CSR_04/Ex2_Luc03b_L.trs YES 0.00 0.00 0.01 0.00 0.01
Transformed_CSR_04/Ex2_Luc03b_Z.trs YES 0.35 0.36 0.54 0.35 0.54
Transformed_CSR_04/Ex23_Luc06_C.trs YES 0.10 0.11 0.11 0.12 0.11
Transformed_CSR_04/Ex23_Luc06_FR.trs YES 0.02 0.02 0.02 0.01 0.01
Transformed_CSR_04/Ex23_Luc06_GM.trs YES 0.02 0.02 0.02 0.01 0.01
Transformed_CSR_04/Ex23_Luc06_iGM.trs YES 0.47 0.10 0.09 0.08 0.09
Transformed_CSR_04/Ex23_Luc06_L.trs YES 0.00 0.00 0.01 0.00 0.00
Transformed_CSR_04/Ex23_Luc06_Z.trs YES 0.00 0.00 0.01 0.00 0.01
Transformed_CSR_04/Ex24_GM04_C.trs YES 0.12 0.16 0.16 0.17 0.17
Transformed_CSR_04/Ex24_GM04_FR.trs MAYBE 0.02 0.02 0.03 0.02 0.03
Transformed_CSR_04/Ex24_GM04_GM.trs NO 0.03 0.03 0.04 0.03 0.04
Transformed_CSR_04/Ex24_GM04_iGM.trs MAYBE 0.88 0.48 0.89 0.48 0.48
Transformed_CSR_04/Ex24_GM04_L.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex24_GM04_Z.trs MAYBE 0.02 0.02 0.02 0.02 0.02
Transformed_CSR_04/Ex24_Luc06_C.trs YES 0.21 0.20 0.21 0.21 0.21
Transformed_CSR_04/Ex24_Luc06_FR.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex24_Luc06_GM.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex24_Luc06_iGM.trs NO 0.07 0.09 0.10 0.09 0.11
Transformed_CSR_04/Ex24_Luc06_L.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex25_Luc06_C.trs YES 0.13 0.15 0.15 0.12 0.12
Transformed_CSR_04/Ex25_Luc06_FR.trs YES 0.06 0.04 0.05 0.05 0.05
Transformed_CSR_04/Ex25_Luc06_GM.trs YES 0.02 0.02 0.02 0.01 0.01
Transformed_CSR_04/Ex25_Luc06_iGM.trs YES 0.11 0.19 0.16 0.11 0.11
Transformed_CSR_04/Ex25_Luc06_L.trs YES 0.00 0.00 0.01 0.01 0.01
Transformed_CSR_04/Ex25_Luc06_Z.trs YES 0.40 0.41 0.39 0.41 0.37
Transformed_CSR_04/Ex26_Luc03b_C.trs YES 0.86 0.74 0.74 0.87 0.90
Transformed_CSR_04/Ex26_Luc03b_FR.trs YES 0.11 0.12 0.13 0.13 0.13
Transformed_CSR_04/Ex26_Luc03b_GM.trs YES 0.15 0.12 0.15 0.15 0.13
Transformed_CSR_04/Ex26_Luc03b_iGM.trs YES 0.87 1.19 1.18 1.08 0.99
Transformed_CSR_04/Ex26_Luc03b_L.trs YES 0.01 0.00 0.01 0.01 0.00
Transformed_CSR_04/Ex26_Luc03b_Z.trs YES 0.13 0.15 0.14 0.14 0.15
Transformed_CSR_04/Ex3_12_Luc96a_C.trs YES 0.20 0.20 0.20 0.24 0.24
Transformed_CSR_04/Ex3_12_Luc96a_FR.trs YES 0.04 0.04 0.04 0.04 0.03
Transformed_CSR_04/Ex3_12_Luc96a_GM.trs MAYBE 0.06 0.07 0.07 0.07 0.07
Transformed_CSR_04/Ex3_12_Luc96a_iGM.trs MAYBE 0.49 0.66 0.71 0.59 0.56
Transformed_CSR_04/Ex3_12_Luc96a_L.trs NO 0.00 0.00 0.01 0.00 0.00
Transformed_CSR_04/Ex3_12_Luc96a_Z.trs YES 0.02 0.02 0.03 0.02 0.03
Transformed_CSR_04/Ex3_2_Luc97_C.trs MAYBE 0.32 0.35 0.35 0.39 0.40
Transformed_CSR_04/Ex3_2_Luc97_FR.trs MAYBE 0.13 0.13 0.13 0.13 0.13
Transformed_CSR_04/Ex3_2_Luc97_GM.trs MAYBE 0.08 0.09 0.09 0.08 0.08
Transformed_CSR_04/Ex3_2_Luc97_iGM.trs MAYBE 0.91 1.12 1.13 0.96 0.98
Transformed_CSR_04/Ex3_2_Luc97_L.trs NO 0.00 0.00 0.01 0.00 0.00
Transformed_CSR_04/Ex3_2_Luc97_Z.trs MAYBE 0.10 0.10 0.13 0.11 0.11
Transformed_CSR_04/Ex3_3_25_Bor03_C.trs YES 0.86 0.75 0.78 0.89 0.91
Transformed_CSR_04/Ex3_3_25_Bor03_FR.trs MAYBE 0.11 0.11 0.12 0.12 0.12
Transformed_CSR_04/Ex3_3_25_Bor03_GM.trs YES 0.17 0.17 0.19 0.18 0.22
Transformed_CSR_04/Ex3_3_25_Bor03_iGM.trs YES 0.98 1.31 1.27 1.17 1.25
Transformed_CSR_04/Ex3_3_25_Bor03_L.trs YES 0.01 0.00 0.00 0.01 0.00
Transformed_CSR_04/Ex3_3_25_Bor03_Z.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex4_4_Luc96b_C.trs YES 0.18 0.17 0.17 0.20 0.22
Transformed_CSR_04/Ex4_4_Luc96b_FR.trs NO 0.04 0.04 0.04 0.04 0.04
Transformed_CSR_04/Ex4_4_Luc96b_GM.trs YES 0.04 0.05 0.05 0.04 0.05
Transformed_CSR_04/Ex4_4_Luc96b_iGM.trs YES 0.25 0.38 0.36 0.21 0.21
Transformed_CSR_04/Ex4_4_Luc96b_L.trs YES 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex4_4_Luc96b_Z.trs NO 0.03 0.03 0.03 0.03 0.03
Transformed_CSR_04/Ex4_7_15_Bor03_C.trs YES 0.21 0.23 0.24 0.26 0.26
Transformed_CSR_04/Ex4_7_15_Bor03_FR.trs YES 0.03 0.03 0.03 0.02 0.02
Transformed_CSR_04/Ex4_7_15_Bor03_GM.trs YES 0.04 0.04 0.04 0.04 0.04
Transformed_CSR_04/Ex4_7_15_Bor03_iGM.trs YES 0.34 0.46 0.53 0.38 0.47
Transformed_CSR_04/Ex4_7_15_Bor03_L.trs YES 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex4_7_15_Bor03_Z.trs YES 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex4_7_37_Bor03_C.trs YES 0.38 0.38 0.39 0.43 0.44
Transformed_CSR_04/Ex4_7_37_Bor03_FR.trs YES 0.53 0.57 0.59 0.54 0.56
Transformed_CSR_04/Ex4_7_37_Bor03_GM.trs MAYBE 0.38 0.42 0.47 0.41 0.49
Transformed_CSR_04/Ex4_7_37_Bor03_iGM.trs MAYBE 1.28 1.84 1.83 1.67 1.70
Transformed_CSR_04/Ex4_7_37_Bor03_L.trs NO 0.00 0.01 0.00 0.01 0.00
Transformed_CSR_04/Ex4_7_37_Bor03_Z.trs YES 0.81 0.87 0.88 0.83 0.84
Transformed_CSR_04/Ex4_7_56_Bor03_C.trs YES 0.21 0.20 0.21 0.25 0.25
Transformed_CSR_04/Ex4_7_56_Bor03_FR.trs YES 0.04 0.04 0.04 0.04 0.04
Transformed_CSR_04/Ex4_7_56_Bor03_GM.trs YES 0.06 0.06 0.07 0.07 0.07
Transformed_CSR_04/Ex4_7_56_Bor03_iGM.trs YES 0.47 0.67 0.66 0.65 0.66
Transformed_CSR_04/Ex4_7_56_Bor03_L.trs NO 0.00 0.00 0.00 0.01 0.00
Transformed_CSR_04/Ex4_7_56_Bor03_Z.trs YES 0.02 0.03 0.02 0.03 0.02
Transformed_CSR_04/Ex4_7_77_Bor03_C.trs YES 0.16 0.15 0.16 0.19 0.20
Transformed_CSR_04/Ex4_7_77_Bor03_FR.trs YES 0.01 0.01 0.00 0.01 0.00
Transformed_CSR_04/Ex4_7_77_Bor03_GM.trs YES 0.03 0.03 0.04 0.03 0.03
Transformed_CSR_04/Ex4_7_77_Bor03_iGM.trs YES 0.23 0.33 0.33 0.28 0.28
Transformed_CSR_04/Ex4_7_77_Bor03_L.trs NO 0.00 0.01 0.00 0.00 0.00
Transformed_CSR_04/Ex4_DLMMU04_C.trs YES 0.93 0.96 0.98 1.06 1.09
Transformed_CSR_04/Ex4_DLMMU04_FR.trs NO 0.34 0.32 0.39 0.44 0.41
Transformed_CSR_04/Ex4_DLMMU04_GM.trs YES 0.44 0.54 0.59 0.54 0.59
Transformed_CSR_04/Ex4_DLMMU04_iGM.trs YES 2.26 3.18 3.23 3.54 3.27
Transformed_CSR_04/Ex4_DLMMU04_L.trs NO 0.01 0.01 0.01 0.01 0.00
Transformed_CSR_04/Ex4_DLMMU04_Z.trs NO 0.31 0.46 0.34 0.38 0.36
Transformed_CSR_04/Ex4_Zan97_C.trs YES 0.23 0.23 0.23 0.26 0.26
Transformed_CSR_04/Ex4_Zan97_FR.trs YES 0.05 0.05 0.06 0.05 0.05
Transformed_CSR_04/Ex4_Zan97_GM.trs MAYBE 0.08 0.10 0.09 0.08 0.09
Transformed_CSR_04/Ex4_Zan97_iGM.trs MAYBE 0.52 0.72 0.72 0.60 0.61
Transformed_CSR_04/Ex4_Zan97_L.trs NO 0.01 0.00 0.00 0.01 0.00
Transformed_CSR_04/Ex4_Zan97_Z.trs YES 0.04 0.04 0.03 0.04 0.04
Transformed_CSR_04/Ex49_GM04_C.trs YES 0.56 0.63 0.62 0.62 0.66
Transformed_CSR_04/Ex49_GM04_FR.trs YES 0.16 0.18 0.18 0.18 0.19
Transformed_CSR_04/Ex49_GM04_GM.trs YES 0.19 0.32 0.41 0.33 0.36
Transformed_CSR_04/Ex49_GM04_iGM.trs YES 1.07 1.52 1.53 1.63 1.64
Transformed_CSR_04/Ex49_GM04_L.trs NO 0.01 0.00 0.01 0.00 0.01
Transformed_CSR_04/Ex49_GM04_Z.trs YES 0.07 0.07 0.07 0.07 0.07
Transformed_CSR_04/Ex5_7_Luc97_C.trs MAYBE 0.43 0.48 0.48 0.52 0.54
Transformed_CSR_04/Ex5_7_Luc97_FR.trs MAYBE 0.11 0.11 0.12 0.12 0.12
Transformed_CSR_04/Ex5_7_Luc97_GM.trs MAYBE 0.22 0.23 0.26 0.27 0.26
Transformed_CSR_04/Ex5_7_Luc97_iGM.trs MAYBE 1.22 1.62 1.61 1.50 1.51
Transformed_CSR_04/Ex5_7_Luc97_L.trs NO 0.01 0.00 0.00 0.00 0.00
Transformed_CSR_04/Ex5_7_Luc97_Z.trs MAYBE 0.10 0.10 0.10 0.10 0.11
Transformed_CSR_04/Ex5_DLMMU04_C.trs YES 0.40 0.43 0.42 0.44 0.47
Transformed_CSR_04/Ex5_DLMMU04_FR.trs NO 0.13 0.14 0.13 0.14 0.14
Transformed_CSR_04/Ex5_DLMMU04_GM.trs YES 0.17 0.18 0.21 0.18 0.18
Transformed_CSR_04/Ex5_DLMMU04_iGM.trs YES 1.16 1.58 1.59 1.58 1.59
Transformed_CSR_04/Ex5_DLMMU04_L.trs NO 0.00 0.01 0.00 0.00 0.01
Transformed_CSR_04/Ex5_DLMMU04_Z.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/Ex5_Zan97_C.trs YES 0.07 0.09 0.09 0.08 0.08
Transformed_CSR_04/Ex5_Zan97_FR.trs YES 0.03 0.05 0.05 0.05 0.05
Transformed_CSR_04/Ex5_Zan97_GM.trs YES 0.05 0.05 0.06 0.06 0.05
Transformed_CSR_04/Ex5_Zan97_iGM.trs YES 0.28 0.45 0.45 0.49 0.50
Transformed_CSR_04/Ex5_Zan97_L.trs NO 0.00 0.01 0.00 0.00 0.00
Transformed_CSR_04/Ex5_Zan97_Z.trs YES 0.12 0.13 0.26 0.14 0.27
Transformed_CSR_04/Ex6_15_AEL02_C.trs MAYBE 0.55 0.56 0.59 0.62 0.62
Transformed_CSR_04/Ex6_15_AEL02_FR.trs MAYBE 0.11 0.12 0.12 0.12 0.13
Transformed_CSR_04/Ex6_15_AEL02_GM.trs MAYBE 0.53 0.49 0.66 0.62 0.58
Transformed_CSR_04/Ex6_15_AEL02_iGM.trs MAYBE 2.14 2.90 2.71 2.33 2.40
Transformed_CSR_04/Ex6_15_AEL02_L.trs NO 0.00 0.00 0.00 0.01 0.00
Transformed_CSR_04/Ex6_15_AEL02_Z.trs NO 0.10 0.10 0.11 0.11 0.11
Transformed_CSR_04/Ex6_9_Luc02c_C.trs YES 0.22 0.79 0.82 0.89 0.87
Transformed_CSR_04/Ex6_9_Luc02c_FR.trs YES 0.02 0.02 0.02 0.01 0.01
Transformed_CSR_04/Ex6_9_Luc02c_GM.trs YES 0.05 0.05 0.06 0.05 0.06
Transformed_CSR_04/Ex6_9_Luc02c_iGM.trs YES 0.48 0.70 0.71 0.49 0.50
Transformed_CSR_04/Ex6_9_Luc02c_L.trs NO 0.00 0.01 0.00 0.00 0.00
Transformed_CSR_04/Ex6_9_Luc02c_Z.trs YES 0.00 0.01 0.01 0.01 0.00
Transformed_CSR_04/Ex6_GM04_C.trs YES 0.45 0.42 0.06 0.42 0.05
Transformed_CSR_04/Ex6_GM04_FR.trs NO 0.05 0.05 0.06 0.07 0.07
Transformed_CSR_04/Ex6_GM04_GM.trs YES 0.00 0.00 0.01 0.01 0.00
Transformed_CSR_04/Ex6_GM04_iGM.trs YES 0.04 0.05 0.05 0.04 0.04
Transformed_CSR_04/Ex6_GM04_L.trs YES 0.00 0.00 0.01 0.01 0.00
Transformed_CSR_04/Ex6_Luc98_C.trs YES 0.48 0.44 0.43 0.50 0.50
Transformed_CSR_04/Ex6_Luc98_FR.trs YES 0.06 0.06 0.06 0.06 0.07
Transformed_CSR_04/Ex6_Luc98_GM.trs YES 0.08 0.07 0.07 0.06 0.06
Transformed_CSR_04/Ex6_Luc98_iGM.trs YES 0.52 0.70 0.69 0.58 0.59
Transformed_CSR_04/Ex6_Luc98_L.trs YES 0.00 0.01 0.01 0.01 0.00
Transformed_CSR_04/Ex6_Luc98_Z.trs YES 0.35 0.33 0.34 0.33 0.34
Transformed_CSR_04/Ex7_BLR02_C.trs YES 0.28 0.30 0.29 0.33 0.34
Transformed_CSR_04/Ex7_BLR02_FR.trs YES 0.09 0.09 0.09 0.08 0.09
Transformed_CSR_04/Ex7_BLR02_GM.trs MAYBE 0.14 0.15 0.17 0.15 0.15
Transformed_CSR_04/Ex7_BLR02_iGM.trs MAYBE 0.79 1.16 1.19 0.93 0.94
Transformed_CSR_04/Ex7_BLR02_L.trs NO 0.01 0.01 0.00 0.01 0.00
Transformed_CSR_04/Ex7_BLR02_Z.trs YES 0.38 0.38 0.40 0.37 0.38
Transformed_CSR_04/Ex8_BLR02_C.trs YES 0.28 0.28 0.28 0.32 0.33
Transformed_CSR_04/Ex8_BLR02_FR.trs YES 0.08 0.09 0.09 0.10 0.09
Transformed_CSR_04/Ex8_BLR02_GM.trs MAYBE 0.13 0.15 0.17 0.16 0.18
Transformed_CSR_04/Ex8_BLR02_iGM.trs MAYBE 1.01 1.36 1.40 0.97 1.06
Transformed_CSR_04/Ex8_BLR02_L.trs NO 0.00 0.00 0.00 0.01 0.00
Transformed_CSR_04/Ex8_BLR02_Z.trs YES 0.06 0.07 0.07 0.07 0.07
Transformed_CSR_04/Ex9_BLR02_C.trs YES 0.90 0.70 0.71 0.88 0.90
Transformed_CSR_04/Ex9_BLR02_FR.trs YES 0.12 0.12 0.13 0.13 0.12
Transformed_CSR_04/Ex9_BLR02_GM.trs YES 0.17 0.21 0.22 0.15 0.16
Transformed_CSR_04/Ex9_BLR02_iGM.trs YES 0.86 1.06 1.08 1.14 1.29
Transformed_CSR_04/Ex9_BLR02_L.trs YES 0.00 0.01 0.00 0.00 0.00
Transformed_CSR_04/Ex9_BLR02_Z.trs YES 0.48 0.52 0.54 0.49 0.16
Transformed_CSR_04/Ex9_Luc04_C.trs YES 0.07 0.08 0.08 0.08 0.08
Transformed_CSR_04/Ex9_Luc04_FR.trs NO 0.02 0.02 0.02 0.02 0.02
Transformed_CSR_04/Ex9_Luc04_GM.trs NO 0.04 0.04 0.04 0.04 0.04
Transformed_CSR_04/Ex9_Luc04_iGM.trs MAYBE 0.06 0.06 0.07 0.07 0.07
Transformed_CSR_04/Ex9_Luc04_L.trs NO 0.01 0.02 0.01 0.02 0.01
Transformed_CSR_04/Ex9_Luc06_C.trs YES 0.21 0.20 0.20 0.22 0.22
Transformed_CSR_04/Ex9_Luc06_FR.trs NO 0.02 0.02 0.02 0.02 0.02
Transformed_CSR_04/Ex9_Luc06_GM.trs YES 0.02 0.03 0.03 0.03 0.03
Transformed_CSR_04/Ex9_Luc06_iGM.trs YES 0.07 0.40 0.40 0.53 0.53
Transformed_CSR_04/ExAppendixB_AEL03_C.trs YES 0.74 0.76 0.78 0.85 0.88
Transformed_CSR_04/ExAppendixB_AEL03_FR.trs YES 0.14 0.16 0.16 0.16 0.17
Transformed_CSR_04/ExAppendixB_AEL03_GM.trs MAYBE 0.51 0.56 0.68 0.52 0.63
Transformed_CSR_04/ExAppendixB_AEL03_iGM.trs YES 2.18 2.80 2.86 2.58 2.69
Transformed_CSR_04/ExAppendixB_AEL03_L.trs NO 0.01 0.01 0.00 0.01 0.00
Transformed_CSR_04/ExAppendixB_AEL03_Z.trs YES 0.12 0.15 0.15 0.15 0.15
Transformed_CSR_04/ExConc_Zan97_C.trs YES 0.08 0.08 0.09 0.08 0.09
Transformed_CSR_04/ExConc_Zan97_FR.trs YES 0.02 0.02 0.02 0.01 0.01
Transformed_CSR_04/ExConc_Zan97_GM.trs YES 0.02 0.02 0.02 0.01 0.01
Transformed_CSR_04/ExConc_Zan97_iGM.trs YES 0.07 0.46 0.46 0.44 0.07
Transformed_CSR_04/ExConc_Zan97_L.trs YES 0.01 0.00 0.00 0.01 0.00
Transformed_CSR_04/ExConc_Zan97_Z.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/ExIntrod_GM01_C.trs YES 0.26 0.27 0.26 0.29 0.29
Transformed_CSR_04/ExIntrod_GM01_FR.trs NO 0.09 0.10 0.11 0.11 0.11
Transformed_CSR_04/ExIntrod_GM01_GM.trs YES 0.10 0.10 0.11 0.12 0.11
Transformed_CSR_04/ExIntrod_GM01_iGM.trs YES 0.42 0.52 0.54 0.46 0.47
Transformed_CSR_04/ExIntrod_GM01_L.trs NO 0.01 0.00 0.00 0.01 0.00
Transformed_CSR_04/ExIntrod_GM01_Z.trs NO 0.10 0.11 0.11 0.12 0.11
Transformed_CSR_04/ExIntrod_GM04_C.trs YES 0.18 0.20 0.21 0.20 0.20
Transformed_CSR_04/ExIntrod_GM04_FR.trs NO 0.07 0.07 0.07 0.07 0.08
Transformed_CSR_04/ExIntrod_GM04_GM.trs YES 0.07 0.08 0.08 0.08 0.09
Transformed_CSR_04/ExIntrod_GM04_iGM.trs YES 0.40 0.50 0.52 0.44 0.45
Transformed_CSR_04/ExIntrod_GM04_L.trs NO 0.00 0.00 0.01 0.00 0.00
Transformed_CSR_04/ExIntrod_GM04_Z.trs NO 0.06 0.06 0.07 0.07 0.07
Transformed_CSR_04/ExIntrod_GM99_C.trs YES 0.79 0.83 0.85 0.83 0.88
Transformed_CSR_04/ExIntrod_GM99_FR.trs MAYBE 0.15 0.16 0.17 0.16 0.18
Transformed_CSR_04/ExIntrod_GM99_GM.trs YES 0.23 0.25 0.28 0.27 0.27
Transformed_CSR_04/ExIntrod_GM99_iGM.trs MAYBE 1.78 2.31 2.37 2.23 2.08
Transformed_CSR_04/ExIntrod_GM99_L.trs NO 0.01 0.00 0.00 0.01 0.01
Transformed_CSR_04/ExIntrod_GM99_Z.trs NO 0.12 0.13 0.14 0.13 0.14
Transformed_CSR_04/ExIntrod_Zan97_C.trs MAYBE 0.33 0.38 0.38 0.34 0.34
Transformed_CSR_04/ExIntrod_Zan97_FR.trs MAYBE 0.11 0.13 0.14 0.14 0.13
Transformed_CSR_04/ExIntrod_Zan97_GM.trs MAYBE 0.15 0.18 0.20 0.17 0.19
Transformed_CSR_04/ExIntrod_Zan97_iGM.trs MAYBE 0.85 1.21 1.22 1.16 1.20
Transformed_CSR_04/ExIntrod_Zan97_L.trs NO 0.01 0.00 0.00 0.00 0.01
Transformed_CSR_04/ExIntrod_Zan97_Z.trs NO 0.06 0.08 0.08 0.08 0.09
Transformed_CSR_04/ExProp7_Luc06_C.trs YES 0.21 0.20 0.21 0.25 0.25
Transformed_CSR_04/ExProp7_Luc06_FR.trs YES 0.01 0.03 0.03 0.02 0.02
Transformed_CSR_04/ExProp7_Luc06_GM.trs YES 0.05 0.07 0.07 0.07 0.07
Transformed_CSR_04/ExProp7_Luc06_iGM.trs YES 0.39 0.49 0.54 0.43 0.57
Transformed_CSR_04/ExProp7_Luc06_L.trs YES 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/ExProp7_Luc06_Z.trs YES 0.01 0.01 0.01 0.01 0.02
Transformed_CSR_04/ExSec11_1_Luc02a_C.trs YES 0.38 0.37 0.38 0.42 0.43
Transformed_CSR_04/ExSec11_1_Luc02a_FR.trs YES 0.12 0.13 0.13 0.14 0.14
Transformed_CSR_04/ExSec11_1_Luc02a_GM.trs YES 0.18 0.22 0.26 0.22 0.26
Transformed_CSR_04/ExSec11_1_Luc02a_iGM.trs YES 0.93 1.26 1.28 1.00 1.02
Transformed_CSR_04/ExSec11_1_Luc02a_L.trs YES 0.04 0.05 0.06 0.06 0.06
Transformed_CSR_04/ExSec11_1_Luc02a_Z.trs YES 0.38 0.39 0.40 0.39 0.39
Transformed_CSR_04/ExSec4_2_DLMMU04_C.trs YES 0.58 0.66 0.68 0.74 0.73
Transformed_CSR_04/ExSec4_2_DLMMU04_FR.trs YES 0.04 0.04 0.04 0.04 0.04
Transformed_CSR_04/ExSec4_2_DLMMU04_GM.trs MAYBE 0.38 0.55 0.47 0.50 0.46
Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.trs MAYBE 2.03 3.22 3.24 2.85 2.96
Transformed_CSR_04/ExSec4_2_DLMMU04_L.trs NO 0.00 0.01 0.01 0.00 0.01
Transformed_CSR_04/ExSec4_2_DLMMU04_Z.trs YES 0.02 0.03 0.03 0.02 0.03
Transformed_CSR_04/LengthOfFiniteLists_complete_C.trs MAYBE 1.06 1.11 1.06 1.20 1.19
Transformed_CSR_04/LengthOfFiniteLists_complete_FR.trs MAYBE 0.39 0.43 0.43 0.43 0.52
Transformed_CSR_04/LengthOfFiniteLists_complete_GM.trs YES 0.76 0.77 0.81 0.80 0.89
Transformed_CSR_04/LengthOfFiniteLists_complete_iGM.trs MAYBE 3.40 4.56 4.54 4.21 4.35
Transformed_CSR_04/LengthOfFiniteLists_complete_L.trs NO 0.01 0.01 0.01 0.01 0.00
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_C.trs YES 3.82 4.28 4.07 4.12 4.28
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_GM.trs YES 2.34 4.54 10.43 3.77 6.42
Transformed_CSR_04/LengthOfFiniteLists_complete_noand_iGM.trs MAYBE 7.95 10.97 12.08 12.38 10.18
Transformed_CSR_04/LengthOfFiniteLists_complete_Z.trs MAYBE 0.37 0.41 0.43 0.42 0.51
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_FR.trs MAYBE 0.69 0.94 1.38 0.88 1.06
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_L.trs NO 0.01 0.00 0.01 0.01 0.01
Transformed_CSR_04/LengthOfFiniteLists_complete-noand_Z.trs MAYBE 0.82 0.77 0.99 1.25 1.70
Transformed_CSR_04/LengthOfFiniteLists_nokinds_C.trs YES 0.53 0.54 0.54 0.66 0.67
Transformed_CSR_04/LengthOfFiniteLists_nokinds_FR.trs NO 0.21 0.25 0.28 0.27 0.33
Transformed_CSR_04/LengthOfFiniteLists_nokinds_GM.trs YES 0.18 0.21 0.20 0.20 0.20
Transformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.trs YES 0.96 1.25 1.28 1.13 1.11
Transformed_CSR_04/LengthOfFiniteLists_nokinds_L.trs NO 0.00 0.01 0.00 0.00 0.01
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_C.trs YES 0.89 0.94 0.94 1.05 1.09
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.trs YES 1.17 1.22 1.23 1.39 1.58
Transformed_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.trs YES 1.86 2.13 2.20 2.30 1.85
Transformed_CSR_04/LengthOfFiniteLists_nokinds_Z.trs NO 0.24 0.25 0.23 0.22 0.25
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.trs NO 0.13 0.12 0.14 0.15 0.15
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_L.trs NO 0.01 0.00 0.00 0.00 0.01
Transformed_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.trs NO 0.13 0.13 0.14 0.15 0.14
Transformed_CSR_04/LengthOfFiniteLists_nosorts_C.trs NO 0.30 0.29 0.30 0.37 0.37
Transformed_CSR_04/LengthOfFiniteLists_nosorts_FR.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/LengthOfFiniteLists_nosorts_GM.trs NO 0.05 0.06 0.06 0.06 0.08
Transformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.trs NO 0.45 0.66 0.65 0.55 0.56
Transformed_CSR_04/LengthOfFiniteLists_nosorts_L.trs NO 0.00 0.00 0.00 0.00 0.00
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_C.trs NO 0.45 0.44 0.45 0.57 0.57
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.trs NO 0.07 0.19 0.16 0.14 0.25
Transformed_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.trs MAYBE 0.67 0.97 0.98 0.85 0.82
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.trs NO 0.02 0.03 0.03 0.03 0.03
Transformed_CSR_04/LengthOfFiniteLists_nosorts-noand_L.trs NO 0.00 0.00 0.00 0.00 0.00
Transformed_CSR_04/LISTUTILITIES_complete_C.trs MAYBE 6.99 9.36 9.60 9.71 10.28
Transformed_CSR_04/LISTUTILITIES_complete_FR.trs MAYBE 6.94 7.30 7.04 6.65 8.57
Transformed_CSR_04/LISTUTILITIES_complete_GM.trs MAYBE 10.08 11.55 12.40 12.50 14.38
Transformed_CSR_04/LISTUTILITIES_complete_iGM.trs MAYBE 18.71 23.02 31.44 25.82 24.74
Transformed_CSR_04/LISTUTILITIES_complete_L.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/LISTUTILITIES_complete_noand_C.trs YES 14.68 21.08 20.76 22.72 23.92
Transformed_CSR_04/LISTUTILITIES_complete_noand_GM.trs MAYBE 32.21 34.75 38.56 41.23 39.54
Transformed_CSR_04/LISTUTILITIES_complete_noand_iGM.trs MAYBE 60.20 60.06 60.07 60.10 60.10
Transformed_CSR_04/LISTUTILITIES_complete_Z.trs MAYBE 6.03 9.47 6.91 9.31 8.06
Transformed_CSR_04/LISTUTILITIES_complete-noand_FR.trs MAYBE 34.15 35.39 33.55 42.13 40.63
Transformed_CSR_04/LISTUTILITIES_complete-noand_L.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/LISTUTILITIES_complete-noand_Z.trs MAYBE 35.91 36.07 36.80 35.93 34.09
Transformed_CSR_04/LISTUTILITIES_nokinds_C.trs MAYBE 2.64 2.83 2.99 3.23 3.22
Transformed_CSR_04/LISTUTILITIES_nokinds_FR.trs MAYBE 1.85 2.45 1.54 1.99 1.88
Transformed_CSR_04/LISTUTILITIES_nokinds_GM.trs MAYBE 2.31 2.29 2.90 2.36 2.98
Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.trs MAYBE 6.25 8.95 8.73 8.82 8.74
Transformed_CSR_04/LISTUTILITIES_nokinds_L.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_C.trs YES 3.60 3.77 4.06 4.19 4.30
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.trs MAYBE 3.76 5.00 5.77 7.07 5.49
Transformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.trs MAYBE 13.23 17.90 17.33 21.92 16.41
Transformed_CSR_04/LISTUTILITIES_nokinds_Z.trs MAYBE 1.41 1.67 1.48 1.51 1.77
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.trs MAYBE 2.49 2.20 2.56 2.10 3.28
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_L.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.trs MAYBE 2.10 2.45 2.26 2.08 3.12
Transformed_CSR_04/LISTUTILITIES_nosorts_C.trs YES 0.83 0.93 0.95 1.04 1.07
Transformed_CSR_04/LISTUTILITIES_nosorts_FR.trs YES 0.06 0.06 0.06 0.05 0.06
Transformed_CSR_04/LISTUTILITIES_nosorts_GM.trs MAYBE 0.40 0.43 0.54 0.47 0.63
Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.trs MAYBE 2.37 3.68 3.92 3.24 3.32
Transformed_CSR_04/LISTUTILITIES_nosorts_L.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_C.trs YES 2.53 2.73 3.20 3.10 3.22
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.trs MAYBE 1.49 2.21 1.93 2.40 3.09
Transformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.trs MAYBE 7.25 11.37 11.23 10.42 10.78
Transformed_CSR_04/LISTUTILITIES_nosorts_Z.trs YES 0.04 0.04 0.04 0.04 0.04
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.trs YES 0.09 0.08 0.10 0.09 0.09
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_L.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.trs YES 0.08 0.09 0.07 0.07 0.09
Transformed_CSR_04/MYNAT_complete_C.trs YES 1.45 1.61 1.67 1.61 1.73
Transformed_CSR_04/MYNAT_complete_FR.trs YES 0.67 0.76 0.74 0.76 0.87
Transformed_CSR_04/MYNAT_complete_GM.trs YES 0.79 1.09 0.98 0.97 1.04
Transformed_CSR_04/MYNAT_complete_iGM.trs YES 3.80 5.36 5.36 5.48 5.38
Transformed_CSR_04/MYNAT_complete_L.trs NO 0.01 0.01 0.01 0.00 0.00
Transformed_CSR_04/MYNAT_complete_noand_C.trs YES 4.57 4.78 4.93 4.59 4.75
Transformed_CSR_04/MYNAT_complete_noand_GM.trs MAYBE 2.43 3.01 2.54 2.42 3.40
Transformed_CSR_04/MYNAT_complete_noand_iGM.trs MAYBE 7.86 11.61 11.75 12.62 16.72
Transformed_CSR_04/MYNAT_complete_Z.trs YES 0.67 0.72 0.75 0.79 0.77
Transformed_CSR_04/MYNAT_complete-noand_FR.trs YES 1.65 1.54 1.91 1.64 1.79
Transformed_CSR_04/MYNAT_complete-noand_L.trs NO 0.00 0.00 0.00 0.01 0.01
Transformed_CSR_04/MYNAT_complete-noand_Z.trs YES 1.57 1.98 1.60 1.42 1.88
Transformed_CSR_04/MYNAT_nokinds_C.trs YES 0.77 0.89 0.91 0.90 0.94
Transformed_CSR_04/MYNAT_nokinds_FR.trs YES 0.25 0.25 0.25 0.27 0.27
Transformed_CSR_04/MYNAT_nokinds_GM.trs YES 0.29 0.35 0.36 0.40 0.42
Transformed_CSR_04/MYNAT_nokinds_iGM.trs YES 1.88 2.50 2.55 2.31 2.38
Transformed_CSR_04/MYNAT_nokinds_L.trs NO 0.00 0.00 0.01 0.00 0.01
Transformed_CSR_04/MYNAT_nokinds_noand_C.trs YES 1.21 1.41 1.43 1.37 1.43
Transformed_CSR_04/MYNAT_nokinds_noand_GM.trs YES 0.79 0.91 0.87 0.82 0.85
Transformed_CSR_04/MYNAT_nokinds_noand_iGM.trs YES 2.79 3.64 3.63 3.47 3.70
Transformed_CSR_04/MYNAT_nokinds_Z.trs YES 0.21 0.25 0.27 0.24 0.26
Transformed_CSR_04/MYNAT_nokinds-noand_FR.trs YES 0.25 0.27 0.27 0.28 0.26
Transformed_CSR_04/MYNAT_nokinds-noand_L.trs NO 0.01 0.01 0.00 0.00 0.00
Transformed_CSR_04/MYNAT_nokinds-noand_Z.trs YES 0.24 0.25 0.27 0.26 0.26
Transformed_CSR_04/MYNAT_nosorts_C.trs YES 0.23 0.23 0.24 0.27 0.27
Transformed_CSR_04/MYNAT_nosorts_FR.trs YES 0.06 0.08 0.08 0.08 0.08
Transformed_CSR_04/MYNAT_nosorts_GM.trs YES 0.10 0.11 0.11 0.11 0.12
Transformed_CSR_04/MYNAT_nosorts_iGM.trs YES 0.68 0.94 0.95 0.80 0.80
Transformed_CSR_04/MYNAT_nosorts_L.trs NO 0.01 0.01 0.00 0.00 0.00
Transformed_CSR_04/MYNAT_nosorts_noand_C.trs YES 0.72 0.91 0.89 0.80 0.78
Transformed_CSR_04/MYNAT_nosorts_noand_GM.trs YES 0.22 0.23 0.24 0.22 0.24
Transformed_CSR_04/MYNAT_nosorts_noand_iGM.trs YES 1.60 2.57 2.56 2.43 2.49
Transformed_CSR_04/MYNAT_nosorts-noand_FR.trs YES 0.06 0.06 0.07 0.06 0.06
Transformed_CSR_04/MYNAT_nosorts-noand_L.trs NO 0.01 0.00 0.00 0.00 0.00
Transformed_CSR_04/OvConsOS_complete_C.trs MAYBE 3.15 3.25 3.36 3.57 3.69
Transformed_CSR_04/OvConsOS_complete_FR.trs MAYBE 1.50 1.87 1.62 1.50 1.98
Transformed_CSR_04/OvConsOS_complete_GM.trs MAYBE 1.92 2.60 2.06 1.97 2.07
Transformed_CSR_04/OvConsOS_complete_iGM.trs MAYBE 6.95 8.66 9.12 8.13 8.45
Transformed_CSR_04/OvConsOS_complete_L.trs NO 0.01 0.01 0.01 0.00 0.01
Transformed_CSR_04/OvConsOS_complete_noand_C.trs YES 4.55 5.41 5.43 5.92 5.75
Transformed_CSR_04/OvConsOS_complete_noand_GM.trs YES 3.96 4.82 4.57 6.17 4.56
Transformed_CSR_04/OvConsOS_complete_noand_iGM.trs MAYBE 19.84 25.98 24.42 24.60 29.03
Transformed_CSR_04/OvConsOS_complete_Z.trs MAYBE 1.69 2.53 2.23 2.24 2.23
Transformed_CSR_04/OvConsOS_complete-noand_FR.trs MAYBE 4.82 4.50 6.05 5.72 4.46
Transformed_CSR_04/OvConsOS_complete-noand_L.trs NO 0.01 0.01 0.01 0.01 0.01
Transformed_CSR_04/OvConsOS_complete-noand_Z.trs MAYBE 5.52 5.79 4.99 4.17 6.35
Transformed_CSR_04/OvConsOS_nokinds_C.trs MAYBE 0.97 1.05 1.12 1.22 1.20
Transformed_CSR_04/OvConsOS_nokinds_FR.trs MAYBE 0.48 0.60 0.68 0.60 0.47
Transformed_CSR_04/OvConsOS_nokinds_GM.trs MAYBE 0.46 0.45 0.50 0.50 0.61
Transformed_CSR_04/OvConsOS_nokinds_iGM.trs MAYBE 2.21 3.17 3.41 2.74 2.80
Transformed_CSR_04/OvConsOS_nokinds_L.trs NO 0.01 0.00 0.00 0.01 0.01
Transformed_CSR_04/OvConsOS_nokinds_noand_C.trs YES 0.79 0.89 0.88 0.88 0.86
Transformed_CSR_04/OvConsOS_nokinds_noand_GM.trs YES 1.16 1.72 1.41 1.24 1.41
Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.trs MAYBE 3.80 6.52 6.43 5.58 6.35
Transformed_CSR_04/OvConsOS_nokinds_Z.trs NO 0.52 0.47 0.60 0.68 0.63
Transformed_CSR_04/OvConsOS_nokinds-noand_FR.trs NO 0.64 0.51 0.60 0.58 0.61
Transformed_CSR_04/OvConsOS_nokinds-noand_L.trs NO 0.00 0.00 0.01 0.01 0.01
Transformed_CSR_04/OvConsOS_nokinds-noand_Z.trs NO 0.65 0.59 0.62 0.68 0.57
Transformed_CSR_04/OvConsOS_nosorts_C.trs NO 0.35 0.36 0.36 0.43 0.43
Transformed_CSR_04/OvConsOS_nosorts_FR.trs NO 0.03 0.04 0.04 0.04 0.04
Transformed_CSR_04/OvConsOS_nosorts_GM.trs NO 0.08 0.09 0.08 0.09 0.10
Transformed_CSR_04/OvConsOS_nosorts_iGM.trs NO 0.73 1.02 1.02 0.86 0.87
Transformed_CSR_04/OvConsOS_nosorts_L.trs NO 0.00 0.00 0.01 0.00 0.00
Transformed_CSR_04/OvConsOS_nosorts_noand_C.trs NO 1.16 1.25 1.25 1.38 1.44
Transformed_CSR_04/OvConsOS_nosorts_noand_GM.trs NO 0.26 0.32 0.38 0.31 0.34
Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.trs MAYBE 2.40 4.81 4.83 4.69 4.49
Transformed_CSR_04/OvConsOS_nosorts_Z.trs NO 0.03 0.03 0.03 0.03 0.03
Transformed_CSR_04/OvConsOS_nosorts-noand_FR.trs NO 0.11 0.12 0.11 0.11 0.11
Transformed_CSR_04/OvConsOS_nosorts-noand_L.trs NO 0.01 0.01 0.01 0.00 0.00
Transformed_CSR_04/OvConsOS_nosorts-noand_Z.trs NO 0.10 0.12 0.11 0.11 0.12
Transformed_CSR_04/PALINDROME_complete_C.trs YES 1.58 1.65 1.66 1.82 1.86
Transformed_CSR_04/PALINDROME_complete_FR.trs YES 1.14 1.34 1.92 1.50 1.37
Transformed_CSR_04/PALINDROME_complete_GM.trs YES 1.09 1.07 1.09 1.09 1.40
Transformed_CSR_04/PALINDROME_complete_iGM.trs YES 4.44 6.10 7.01 6.08 6.44
Transformed_CSR_04/PALINDROME_complete_L.trs NO 0.01 0.00 0.01 0.01 0.01
Transformed_CSR_04/PALINDROME_complete_noand_C.trs YES 1.42 1.53 1.60 1.68 1.68
Transformed_CSR_04/PALINDROME_complete_noand_GM.trs YES 4.20 3.66 3.84 3.85 3.79
Transformed_CSR_04/PALINDROME_complete_noand_iGM.trs MAYBE 16.68 19.50 25.63 22.15 30.64
Transformed_CSR_04/PALINDROME_complete_Z.trs YES 1.36 1.66 2.14 1.88 2.01
Transformed_CSR_04/PALINDROME_complete-noand_FR.trs YES 3.05 2.74 2.97 2.06 2.10
Transformed_CSR_04/PALINDROME_complete-noand_L.trs NO 0.19 0.42 0.44 0.75 0.44
Transformed_CSR_04/PALINDROME_complete-noand_Z.trs YES 2.17 2.14 2.76 2.29 1.97
Transformed_CSR_04/PALINDROME_nokinds_C.trs YES 0.33 0.35 0.37 0.39 0.42
Transformed_CSR_04/PALINDROME_nokinds_FR.trs YES 0.40 0.67 1.08 0.65 0.67
Transformed_CSR_04/PALINDROME_nokinds_GM.trs YES 0.23 0.24 0.26 0.20 0.26
Transformed_CSR_04/PALINDROME_nokinds_iGM.trs YES 0.88 1.34 1.78 1.53 1.54
Transformed_CSR_04/PALINDROME_nokinds_L.trs NO 0.01 0.00 0.00 0.01 0.00
Transformed_CSR_04/PALINDROME_nokinds_noand_C.trs YES 0.80 0.81 0.79 0.93 0.94
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.trs YES 1.22 1.18 1.24 1.27 1.40
Transformed_CSR_04/PALINDROME_nokinds_noand_iGM.trs YES 2.36 2.72 4.37 2.68 3.18
Transformed_CSR_04/PALINDROME_nokinds_Z.trs YES 0.41 0.66 1.11 0.64 0.70
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.trs YES 0.69 0.97 1.41 0.97 1.00
Transformed_CSR_04/PALINDROME_nokinds-noand_L.trs NO 0.17 0.41 0.42 0.73 0.42
Transformed_CSR_04/PALINDROME_nokinds-noand_Z.trs YES 0.69 0.92 1.35 0.92 0.98
Transformed_CSR_04/PALINDROME_nosorts_C.trs YES 0.19 0.19 0.19 0.23 0.23
Transformed_CSR_04/PALINDROME_nosorts_FR.trs YES 0.02 0.02 0.02 0.02 0.02
Transformed_CSR_04/PALINDROME_nosorts_GM.trs YES 0.09 0.11 0.11 0.15 0.11
Transformed_CSR_04/PALINDROME_nosorts_iGM.trs YES 0.47 0.67 0.72 0.66 0.71
Transformed_CSR_04/PALINDROME_nosorts_L.trs NO 0.01 0.00 0.00 0.00 0.00
Transformed_CSR_04/PALINDROME_nosorts_noand_C.trs YES 0.12 0.13 0.13 0.12 0.12
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.trs YES 0.09 0.10 0.11 0.10 0.11
Transformed_CSR_04/PALINDROME_nosorts_noand_iGM.trs YES 0.32 0.52 0.49 0.51 0.61
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.trs YES 0.02 0.02 0.02 0.02 0.02
Transformed_CSR_04/PALINDROME_nosorts-noand_L.trs YES 0.02 0.02 0.02 0.02 0.02
Transformed_CSR_04/PEANO_complete_C.trs YES 1.18 1.25 1.24 1.34 1.36
Transformed_CSR_04/PEANO_complete_FR.trs YES 0.38 0.44 0.39 0.38 0.42
Transformed_CSR_04/PEANO_complete_GM.trs YES 0.46 0.45 0.54 0.52 0.58
Transformed_CSR_04/PEANO_complete_iGM.trs YES 2.17 3.09 3.60 3.06 3.29
Transformed_CSR_04/PEANO_complete_L.trs NO 0.00 0.00 0.01 0.00 0.00
Transformed_CSR_04/PEANO_complete_noand_C.trs YES 1.09 1.47 1.30 1.15 1.09
Transformed_CSR_04/PEANO_complete_noand_GM.trs YES 1.77 2.13 2.12 1.98 2.24
Transformed_CSR_04/PEANO_complete_noand_iGM.trs YES 9.17 10.83 9.13 10.39 13.12
Transformed_CSR_04/PEANO_complete_Z.trs YES 0.47 0.45 0.75 0.42 0.51
Transformed_CSR_04/PEANO_complete-noand_FR.trs YES 0.91 0.89 1.31 0.90 0.88
Transformed_CSR_04/PEANO_complete-noand_L.trs NO 0.01 0.01 0.01 0.01 0.00
Transformed_CSR_04/PEANO_complete-noand_Z.trs YES 1.07 0.83 0.86 0.91 1.15
Transformed_CSR_04/PEANO_nokinds_C.trs YES 0.52 0.56 0.60 0.63 0.63
Transformed_CSR_04/PEANO_nokinds_FR.trs YES 0.15 0.17 0.18 0.17 0.22
Transformed_CSR_04/PEANO_nokinds_GM.trs YES 0.17 0.20 0.22 0.19 0.21
Transformed_CSR_04/PEANO_nokinds_iGM.trs YES 1.09 1.59 1.61 1.37 1.40
Transformed_CSR_04/PEANO_nokinds_L.trs NO 0.00 0.00 0.00 0.00 0.00
Transformed_CSR_04/PEANO_nokinds_noand_C.trs YES 0.72 0.79 0.77 0.82 0.82
Transformed_CSR_04/PEANO_nokinds_noand_GM.trs YES 0.63 0.68 0.75 0.70 0.63
Transformed_CSR_04/PEANO_nokinds_noand_iGM.trs YES 1.49 2.23 2.68 2.26 2.26
Transformed_CSR_04/PEANO_nokinds_Z.trs YES 0.13 0.16 0.18 0.23 0.16
Transformed_CSR_04/PEANO_nokinds-noand_FR.trs YES 0.18 0.16 0.18 0.34 0.20
Transformed_CSR_04/PEANO_nokinds-noand_L.trs NO 0.01 0.00 0.00 0.00 0.00
Transformed_CSR_04/PEANO_nokinds-noand_Z.trs YES 0.17 0.20 0.23 0.17 0.18
Transformed_CSR_04/PEANO_nosorts_C.trs YES 0.19 0.19 0.19 0.22 0.23
Transformed_CSR_04/PEANO_nosorts_FR.trs YES 0.03 0.04 0.05 0.04 0.04
Transformed_CSR_04/PEANO_nosorts_GM.trs YES 0.06 0.06 0.07 0.07 0.06
Transformed_CSR_04/PEANO_nosorts_iGM.trs YES 0.42 0.63 0.67 0.53 0.54
Transformed_CSR_04/PEANO_nosorts_L.trs NO 0.00 0.00 0.01 0.00 0.00
Transformed_CSR_04/PEANO_nosorts_noand_C.trs YES 0.41 0.46 0.47 0.41 0.42
Transformed_CSR_04/PEANO_nosorts_noand_GM.trs YES 0.11 0.12 0.14 0.12 0.12
Transformed_CSR_04/PEANO_nosorts_noand_iGM.trs YES 0.78 1.26 1.27 1.27 1.38
Transformed_CSR_04/PEANO_nosorts-noand_FR.trs YES 0.03 0.03 0.03 0.03 0.03
Transformed_CSR_04/PEANO_nosorts-noand_L.trs NO 0.00 0.00 0.00 0.00 0.00
Various_04/02.trs YES 0.02 0.02 0.02 0.02 0.02
Various_04/03.trs YES 0.06 0.07 0.07 0.07 0.07
Various_04/04.trs MAYBE 0.51 0.51 0.51 0.52 0.52
Various_04/05.trs MAYBE 0.51 0.52 0.51 0.52 0.52
Various_04/06.trs YES 0.01 0.01 0.01 0.00 0.01
Various_04/07.trs YES 0.01 0.01 0.01 0.00 0.00
Various_04/08.trs MAYBE 0.60 0.61 0.60 0.62 0.61
Various_04/09.trs YES 0.01 0.01 0.01 0.01 0.01
Various_04/10.trs YES 0.90 1.03 1.10 1.02 1.10
Various_04/11.trs YES 0.02 0.02 0.02 0.02 0.02
Various_04/12.trs YES 0.16 0.15 0.21 0.22 0.22
Various_04/13.trs YES 0.93 1.05 2.40 0.95 2.25
Various_04/14.trs YES 1.19 1.74 3.52 1.90 2.19
Various_04/15.trs YES 0.01 0.01 0.02 0.01 0.01
Various_04/18.trs YES 0.06 0.06 0.07 0.07 0.06
Various_04/19.trs YES 0.07 0.07 0.09 0.09 0.09
Various_04/21.trs YES 0.21 0.22 0.22 0.20 0.22
Various_04/22.trs YES 0.06 0.08 0.08 0.09 0.09
Various_04/23.trs YES 0.37 0.38 0.38 0.38 0.37
Various_04/24.trs YES 0.42 0.42 0.43 0.42 0.42
Various_04/25.trs YES 0.01 0.02 0.02 0.02 0.02
Various_04/26.trs YES 0.02 0.02 0.02 0.02 0.03
Various_04/27.trs YES 0.00 0.00 0.00 0.01 0.00
Waldmann_06/jwaprove1.trs YES 0.03 0.04 0.04 0.04 0.04
Waldmann_06/jwaprove2.trs YES 0.03 0.04 0.04 0.04 0.04
Waldmann_06/jwcime1.trs YES 0.03 0.03 0.03 0.03 0.04
Waldmann_06/jwcime2.trs YES 0.05 0.05 0.05 0.05 0.05
Waldmann_06/jwmatchb1.trs YES 0.02 0.02 0.02 0.02 0.02
Waldmann_06/jwmatchb2.trs YES 0.02 0.02 0.02 0.02 0.02
Waldmann_06/jwno1.trs NO 0.03 0.03 0.03 0.03 0.03
Waldmann_06/jwno2.trs MAYBE 0.04 0.04 0.04 0.04 0.04
Waldmann_06/jwno3.trs MAYBE 0.04 0.05 0.05 0.05 0.05
Waldmann_06/jwno4.trs NO 0.02 0.02 0.02 0.02 0.02
Waldmann_06/jwno5.trs MAYBE 0.03 0.03 0.03 0.03 0.03
Waldmann_06/jwno6.trs NO 0.02 0.02 0.02 0.02 0.02
Waldmann_06/jwno7.trs MAYBE 0.04 0.04 0.04 0.04 0.04
Waldmann_06/jwno8.trs MAYBE 0.05 0.05 0.05 0.05 0.05
Waldmann_06/jwno9.trs NO 0.05 0.06 0.06 0.06 0.06
Waldmann_06/jwteparla1.trs YES 0.04 0.05 0.05 0.05 0.05
Waldmann_06/jwteparla2.trs YES 0.04 0.05 0.05 0.05 0.05
Waldmann_06/jwtpa1.trs YES 0.06 0.07 0.07 0.07 0.07
Waldmann_06/jwtpa2.trs YES 0.06 0.09 0.08 0.09 0.08
Waldmann_06/jwttt.trs YES 0.07 0.09 0.09 0.10 0.09
Zantema_05/jw01.trs YES 0.03 0.03 0.03 0.03 0.03
Zantema_05/jw02.trs YES 0.04 0.04 0.04 0.04 0.04
Zantema_05/jw03.trs YES 0.02 0.02 0.02 0.02 0.02
Zantema_05/jw04.trs YES 0.02 0.02 0.02 0.02 0.02
Zantema_05/jw05.trs YES 0.04 0.05 0.05 0.04 0.04
Zantema_05/jw06.trs YES 0.03 0.03 0.03 0.03 0.03
Zantema_05/jw07.trs YES 0.06 0.06 0.06 0.06 0.06
Zantema_05/jw08.trs YES 0.07 0.07 0.08 0.07 0.08
Zantema_05/jw09.trs YES 0.06 0.06 0.06 0.06 0.06
Zantema_05/jw11.trs YES 0.06 0.06 0.06 0.06 0.06
Zantema_05/jw12.trs YES 0.06 0.06 0.06 0.06 0.06
Zantema_05/jw13.trs YES 0.05 0.05 0.05 0.05 0.05
Zantema_05/jw14.trs YES 0.05 0.05 0.05 0.05 0.05
Zantema_05/jw15.trs YES 0.04 0.04 0.05 0.04 0.04
Zantema_05/jw16.trs YES 0.04 0.04 0.05 0.04 0.04
Zantema_05/jw17.trs YES 0.06 0.06 0.07 0.06 0.07
Zantema_05/jw18.trs YES 0.03 0.03 0.03 0.03 0.03
Zantema_05/jw19.trs YES 0.03 0.03 0.03 0.03 0.03
Zantema_05/jw20.trs YES 0.04 0.04 0.04 0.04 0.04
Zantema_05/jw21.trs YES 0.03 0.04 0.04 0.04 0.04
Zantema_05/jw22.trs YES 0.05 0.05 0.05 0.05 0.05
Zantema_05/jw23.trs YES 0.03 0.03 0.03 0.03 0.03
Zantema_05/jw24.trs YES 0.03 0.03 0.03 0.03 0.03
Zantema_05/jw25.trs YES 0.03 0.03 0.03 0.03 0.03
Zantema_05/jw26.trs YES 0.03 0.03 0.03 0.03 0.03
Zantema_05/jw27.trs YES 0.05 0.05 0.05 0.05 0.05
Zantema_05/jw28.trs YES 0.03 0.04 0.04 0.03 0.04
Zantema_05/jw29.trs YES 0.04 0.04 0.04 0.04 0.04
Zantema_05/jw30.trs YES 0.03 0.03 0.03 0.03 0.03
Zantema_05/jw31.trs YES 0.03 0.03 0.03 0.03 0.03
Zantema_05/jw32.trs YES 0.06 0.06 0.06 0.06 0.07
Zantema_05/jw33.trs YES 0.04 0.04 0.05 0.04 0.05
Zantema_05/jw34.trs YES 0.04 0.04 0.04 0.04 0.04
Zantema_05/jw35.trs YES 0.05 0.05 0.05 0.05 0.05
Zantema_05/jw36.trs YES 0.05 0.05 0.05 0.05 0.06
Zantema_05/jw37.trs YES 0.06 0.06 0.06 0.06 0.07
Zantema_05/jw38.trs YES 0.06 0.06 0.06 0.06 0.07
Zantema_05/jw39.trs YES 0.05 0.06 0.06 0.06 0.06
Zantema_05/jw40.trs YES 0.05 0.06 0.06 0.06 0.06
Zantema_05/jw41.trs YES 0.07 0.07 0.08 0.07 0.07
Zantema_05/jw42.trs YES 0.06 0.06 0.06 0.06 0.06
Zantema_05/jw43.trs YES 0.05 0.06 0.06 0.06 0.06
Zantema_05/jw44.trs YES 0.04 0.04 0.04 0.04 0.04
Zantema_05/jw47.trs YES 0.04 0.04 0.04 0.04 0.04
Zantema_05/jw50.trs YES 0.05 0.06 0.06 0.06 0.06
Zantema_05/z01.trs YES 0.69 0.73 0.73 0.73 0.74
Zantema_05/z02.trs YES 0.03 0.03 0.03 0.03 0.03
Zantema_05/z03.trs YES 0.18 0.19 0.19 0.19 0.19
Zantema_05/z04.trs YES 0.02 0.02 0.02 0.02 0.03
Zantema_05/z05.trs YES 0.08 0.09 0.09 0.09 0.10
Zantema_05/z06.trs YES 0.07 0.08 0.08 0.08 0.08
Zantema_05/z07.trs YES 0.05 0.05 0.05 0.05 0.05
Zantema_05/z08.trs YES 0.08 0.08 0.08 0.08 0.09
Zantema_05/z09.trs YES 0.05 0.05 0.05 0.05 0.05
Zantema_05/z10.trs YES 0.05 0.05 0.05 0.05 0.05
Zantema_05/z11.trs YES 0.07 0.07 0.07 0.07 0.07
Zantema_05/z12.trs YES 0.43 0.45 0.45 0.45 0.45
Zantema_05/z13.trs YES 0.39 0.42 0.42 0.42 0.43
Zantema_05/z14.trs YES 0.38 0.42 0.42 0.42 0.42
Zantema_05/z15.trs YES 0.39 0.39 0.40 0.41 0.40
Zantema_05/z16.trs YES 0.40 0.43 0.44 0.44 0.44
Zantema_05/z17.trs MAYBE 0.41 0.43 0.41 0.43 0.41
Zantema_05/z18.trs YES 0.39 0.39 0.40 0.40 0.40
Zantema_05/z19.trs YES 0.06 0.06 0.06 0.06 0.06
Zantema_05/z20.trs MAYBE 0.14 0.15 0.15 0.14 0.15
Zantema_05/z21.trs YES 0.05 0.06 0.07 0.06 0.06
Zantema_05/z22.trs YES 0.18 0.19 0.19 0.21 0.19
Zantema_05/z23.trs YES 0.43 0.44 0.45 0.44 0.45
Zantema_05/z24.trs YES 0.41 0.42 0.42 0.42 0.42
Zantema_05/z25.trs YES 0.08 0.09 0.10 0.10 0.09
Zantema_05/z26.trs YES 0.14 0.16 0.17 0.17 0.18
Zantema_05/z27.trs YES 0.29 0.36 0.38 0.38 0.40
Zantema_05/z28.trs YES 0.03 0.03 0.03 0.04 0.03
Zantema_05/z29.trs YES 0.03 0.03 0.03 0.04 0.04
Zantema_05/z30.trs YES 60.04 60.04 60.03 60.45 60.03
EEG_IJCAR_12/emmes-nonloop-ex1_1.trs 0.07 0.10 0.09 0.10 0.10
EEG_IJCAR_12/emmes-nonloop-ex1_2.trs 0.11 0.15 0.15 0.15 0.16
EEG_IJCAR_12/emmes-nonloop-ex1_3.trs 0.10 0.13 0.13 0.14 0.14
EEG_IJCAR_12/emmes-nonloop-ex1_4.trs 0.11 0.15 0.15 0.15 0.16
EEG_IJCAR_12/emmes-nonloop-ex1_5.trs 0.10 0.13 0.13 0.13 0.13
EEG_IJCAR_12/emmes-nonloop-ex2_1.trs 0.17 0.24 0.24 0.25 0.25
EEG_IJCAR_12/emmes-nonloop-ex2_2.trs 0.07 0.10 0.10 0.10 0.10
EEG_IJCAR_12/emmes-nonloop-ex2_3.trs 0.10 0.15 0.15 0.15 0.15
EEG_IJCAR_12/emmes-nonloop-ex2_4.trs 0.14 0.19 0.19 0.19 0.20
EEG_IJCAR_12/emmes-nonloop-ex2_5.trs 0.12 0.17 0.17 0.18 0.17
EEG_IJCAR_12/emmes-nonloop-ex3_1.trs 0.13 0.17 0.17 0.17 0.18
EEG_IJCAR_12/emmes-nonloop-ex3_2.trs 0.06 0.08 0.08 0.08 0.09
EEG_IJCAR_12/emmes-nonloop-ex3_3.trs 0.09 0.12 0.12 0.12 0.13
EEG_IJCAR_12/emmes-nonloop-ex3_4.trs 0.10 0.12 0.12 0.13 0.13
EEG_IJCAR_12/emmes-nonloop-ex4_1.trs 0.07 0.09 0.09 0.10 0.10
EEG_IJCAR_12/emmes-nonloop-ex4_2.trs 0.11 0.15 0.15 0.15 0.16
EEG_IJCAR_12/emmes-nonloop-ex4_3.trs 0.10 0.13 0.13 0.14 0.14
EEG_IJCAR_12/emmes-nonloop-ex4_4.trs 0.10 0.13 0.13 0.13 0.14
EEG_IJCAR_12/emmes-nonloop-ex5_1.trs 0.19 0.25 0.25 0.26 0.26
EEG_IJCAR_12/emmes-nonloop-ex5_2.trs 0.08 0.11 0.11 0.11 0.11
EEG_IJCAR_12/emmes-nonloop-ex5_3.trs 0.11 0.15 0.16 0.16 0.17
EEG_IJCAR_12/emmes-nonloop-ex6_1.trs 0.07 0.11 0.19 0.11 0.19
EEG_IJCAR_12/emmes-nonloop-ex6_2.trs 0.22 0.39 0.42 0.39 0.42
EEG_IJCAR_12/emmes-nonloop-ex7_1.trs 0.08 0.10 0.10 0.11 0.11
EEG_IJCAR_12/emmes-nonloop-ex7_2.trs 0.13 0.19 0.27 0.20 0.27
EEG_IJCAR_12/emmes-nonloop-ex7_3.trs 0.14 0.19 0.27 0.20 0.28
EEG_IJCAR_12/emmes-nonloop-ex7_4.trs 0.28 0.49 0.53 0.50 0.54
EEG_IJCAR_12/emmes-nonloop-ex7_5.trs 0.29 0.49 0.53 0.50 0.54
EEG_IJCAR_12/emmes-nonloop-ex7_6.trs 0.28 0.49 0.54 0.50 0.54
EEG_IJCAR_12/emmes-nonloop-ex7_7.trs 0.13 0.19 0.27 0.19 0.28
EEG_IJCAR_12/emmes-nonloop-ex7_8.trs 0.13 0.19 0.27 0.20 0.28
EEG_IJCAR_12/emmes-nonloop-ex7_9.trs 0.28 0.49 0.53 0.50 0.53
EEG_IJCAR_12/enger-nonloop-add.trs 0.04 0.04 0.04 0.04 0.04
EEG_IJCAR_12/enger-nonloop-addTrue.trs 0.04 0.04 0.04 0.04 0.04
EEG_IJCAR_12/enger-nonloop-ex_payet.trs 0.09 0.11 0.12 0.12 0.12
EEG_IJCAR_12/enger-nonloop-isDNat.trs 0.02 0.02 0.02 0.02 0.02
EEG_IJCAR_12/enger-nonloop-isList.trs 0.02 0.02 0.02 0.02 0.02
EEG_IJCAR_12/enger-nonloop-isList-List.trs 0.02 0.02 0.02 0.02 0.02
EEG_IJCAR_12/enger-nonloop-isTrueList.trs 0.02 0.02 0.02 0.02 0.02
EEG_IJCAR_12/enger-nonloop-swap_decr.trs 0.06 0.08 0.09 0.09 0.09
EEG_IJCAR_12/enger-nonloop-swapX.trs 0.05 0.07 0.07 0.07 0.08
EEG_IJCAR_12/enger-nonloop-swapXY.trs 0.06 0.07 0.08 0.08 0.08
EEG_IJCAR_12/enger-nonloop-swapXY2.trs 0.06 0.07 0.08 0.08 0.08
EEG_IJCAR_12/enger-nonloop-toOne.trs 0.07 0.09 0.09 0.10 0.10
EEG_IJCAR_12/enger-nonloop-unbounded.trs 0.06 0.09 0.09 0.09 0.09
EEG_IJCAR_12/enger-nonloop-while-lt.trs 0.06 0.08 0.08 0.09 0.09
EEG_IJCAR_12/rybalchenko-nonloop-popl08.trs 0.13 0.17 0.18 0.18 0.18
EEG_IJCAR_12/velroyen-nonloop-AlternatingIncr_c.trs 0.15 0.18 0.19 0.19 0.19
EEG_IJCAR_12/velroyen-nonloop-ConvLower_c.trs 0.18 0.25 0.26 0.26 0.26
KBOS KBOpS KBOpS-min KBOpS-max KBOpS-minmax
YES # 439 463 464 464 465
time 188.46 189.1 206.5 188.04 210.73
avr. 0.429 0.408 0.445 0.405 0.453
NO # 60 60 60 60 60
time 0.33 0.25 0.27 0.25 0.22
avr. 0.006 0.004 0.005 0.004 0.004
MAYBE # 961 936 935 935 934
time 710.1 826.07 858.28 845.74 872.65
avr. 0.739 0.883 0.918 0.905 0.934
TIMEOUT # 3 4 4 4 4
time 180.34 240.35 240.14 240.98 240.23
avr. 60.113 60.088 60.035 60.245 60.058
Total # 1463 1463 1463 1463 1463
time 1079.23 1255.77 1305.19 1275.01 1323.83
avr. 0.738 0.858 0.892 0.872 0.905