overview | termination | relative termination

Experiments on relative termination problems

General Information

Our termination tool employs the dependency pair method by Iborra et al. (2017) with cycle analysis of dependency graphs, reduction pairs, and rule removal by monotone reduction pairs. Note that usable rules are not used due to a soundness reason. The problem set is taken from the TRS Relative category of the Termination Problem Database.

d
applicability of the dependency pair method by Iborra et al. (2017) (R dominates S and S is non-duplicating)
Ed
echelon-form matrix interpretations on Nd with 0,1-matrix coefficients, equipped with the lexicographic order (Section 5)
Sd
matrix interpretations on Nd with 0,1-matrix coefficients, equipped with the standard order (by Endrullis et al. 2008)
M
max/plus interpretations of the form fA(x1,....,xn) = max{b0, a1(x1 + b1), ..., an(x1 + bn)} with ai in {0,1} and bi in N
L
lexicographic path orders (LPO) with argument filtering
Wd
weighted path orders (WPO) with algebras based on ed
AProVE
AProVE 2024
NaTT
NaTT (termCOMP 2022 version)

For instance, E1L stands for the lexicographic combination of E1 and L. Note that E1 and S1 are identical. Concerning heterogeneous combinations, (e.g.) E1 ⊆ E1L does not hold in general, as weak orientation by E1 does not guarantee weak orientation by L. On the other hand, A ⊆ WA holds. Column A-B in the following table tries AA, BB, AB, and (then) BA Here AB stands for the lexicographic combination of A and B. Concerning NaTT, we employed the termCOMP 2022 version, which is the latest correct version among available versions for relative termination proofs.

Meanings of Statuses
Y: YES proved termination
N: NO proved non-termination
M: MAYBE failed to prove
T: TIMEOUT exceeded time limit 60 seconds
E: ERROR tool terminated with some error

Note

Summary
status d L LL LLL E1 E2 E3 E4 S2 S2S2 S2S2S2 E1E1 E1L LE1 M MM WM WE1 WE2 WS2 WM-WE2 WM-WS2 WE2-WS2 AProVE NaTT total
YES 57 4 20 22 8 43 45 47 10 47 47 41 30 27 6 12 20 29 47 31 48 48 47 86 66 106
(sec) 0.80 0.22 3.40 5.08 0.57 5.03 9.72 27.05 1.11 16.90 27.20 4.03 4.81 3.97 0.30 0.68 3.02 12.13 27.82 27.69 60.45 74.81 56.61 111.90 7.58
NO 69 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 13 5 71
(sec) 0.97 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 34.36 0.80
MAYBE 0 122 106 104 118 83 81 79 116 79 79 85 96 99 120 114 106 97 79 95 78 78 79 0 53 123
(sec) 0.00 4.28 5.63 7.10 3.15 2.16 3.95 7.27 4.32 5.27 8.82 2.06 3.00 3.08 3.44 3.88 6.68 5.06 7.58 10.56 30.47 40.40 38.93 0.00 72.39
TIMEOUT 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 27 2 27
(sec) 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 1620.00 120.00
total 126 126 126 126 126 126 126 126 126 126 126 126 126 126 126 126 126 126 126 126 126 126 126 126 126
Individual results
file d L LL LLL E1 E2 E3 E4 S2 S2S2 S2S2S2 E1E1 E1L LE1 M MM WM WE1 WE2 WS2 WM-WE2 WM-WS2 WE2-WS2 AProVE NaTT
AProVE_24_combination 0.01 0.02 0.01 0.02 0.02 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.02 0.02 0.02 1.06 0.36
AProVE_24_combination_2 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 1.06 0.28
AProVE_24_conf_1 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.77 0.07
AProVE_24_depGraph 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 1.18 0.09
AProVE_24_depGraph_2 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.57 0.05
AProVE_24_divMinusExchange 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.70 0.10
AProVE_24_gcdSet_a2 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.94 0.24
AProVE_24_gcdSet_a 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.83 0.22
AProVE_24_gcdSet_b2 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.94 0.24
AProVE_24_gcdSet_b 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.89 0.20
AProVE_24_gcdSet_c2 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 1.02 0.37
AProVE_24_gcdSet_c 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.94 0.30
AProVE_24_lasso 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.76 0.07
AProVE_24_lessleaves 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.72 0.04
AProVE_24_log 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 1.61 0.05
AProVE_24_mset 0.01 0.14 0.20 0.29 0.10 0.12 0.18 0.42 0.12 0.22 0.40 0.10 0.15 0.14 0.09 0.07 0.24 0.26 0.40 0.42 0.45 0.44 0.80 0.88 0.04
AProVE_24_mset_a2 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.91 0.13
AProVE_24_mset_a 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.88 0.13
AProVE_24_mset_b2 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.91 0.13
AProVE_24_mset_b 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.80 0.13
AProVE_24_mset_c2 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.94 0.22
AProVE_24_mset_c 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.97 0.21
AProVE_24_purge 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.86 0.18
AProVE_24_purge_2 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.97 0.17
AProVE_24_shuffle_a2 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.85 0.06
AProVE_24_shuffle_a 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.76 0.04
AProVE_24_subsets 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.86 0.15
AProVE_24_subsets_2 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.98 0.14
INVY_15_3.1_gen 0.01 0.04 0.05 0.07 0.03 0.04 0.05 0.12 0.04 0.06 0.10 0.04 0.04 0.04 0.03 0.04 0.06 0.06 0.09 0.11 0.52 0.54 0.72 1.11 0.12
INVY_15_3.1_rand 0.01 0.04 0.10 0.14 0.04 0.08 0.10 0.24 0.04 0.14 0.20 0.07 0.08 0.08 0.04 0.04 0.06 0.14 0.18 0.22 0.54 0.62 0.36 0.82 0.10
INVY_15_3.2_rand 0.02 0.04 0.10 0.14 0.03 0.07 0.12 0.24 0.04 0.14 0.22 0.07 0.08 0.08 0.03 0.04 0.06 0.08 0.20 0.11 0.61 0.70 0.40 1.28 0.10
INVY_15_3.4_rand 0.01 0.05 0.28 0.37 0.03 0.16 0.28 0.64 0.04 0.34 0.56 0.14 0.20 0.20 0.04 0.04 0.08 0.34 0.51 0.56 1.29 1.44 1.09 60.00 0.12
INVY_15_3.5_rand 0.01 0.05 0.08 0.12 0.03 0.13 0.24 0.60 0.05 0.29 0.56 0.11 0.16 0.06 0.04 0.05 0.12 0.30 0.48 0.51 1.00 1.06 1.03 1.37 0.15
INVY_15_3.5a_rand 0.01 0.05 0.08 0.12 0.04 0.14 0.26 0.62 0.06 0.34 0.54 0.11 0.18 0.06 0.04 0.06 0.12 0.14 0.50 0.25 1.01 1.18 1.03 1.13 0.17
INVY_15_3.5b_rand 0.01 0.06 0.12 0.14 0.04 0.16 0.35 0.96 0.05 0.50 0.88 0.13 0.22 0.06 0.07 0.10 0.16 0.16 0.70 0.32 1.38 1.68 1.61 1.12 0.31
INVY_15_3.6_rand 0.01 0.06 0.12 0.16 0.04 0.14 0.26 0.68 0.06 0.37 0.58 0.12 0.07 0.08 0.04 0.06 0.14 0.16 0.84 0.28 1.26 2.45 1.29 1.09 0.34
INVY_15_3.6a_rand 0.01 0.06 0.10 0.16 0.04 0.13 0.24 0.68 0.06 0.32 0.60 0.12 0.07 0.08 0.04 0.06 0.14 0.16 0.79 0.28 1.20 2.10 1.24 1.07 0.30
INVY_15_3.6b_rand 0.02 0.08 0.12 0.16 0.04 0.18 0.40 1.00 0.08 0.54 0.98 0.14 0.08 0.08 0.06 0.11 0.20 0.18 0.82 0.44 1.70 3.51 1.93 60.00 2.74
INVY_15_3.7_rand 0.01 0.04 0.09 0.10 0.03 0.08 0.10 0.20 0.04 0.14 0.22 0.07 0.10 0.08 0.03 0.08 0.12 0.10 0.16 0.18 0.20 0.22 0.28 0.92 0.06
INVY_15_3.8a_rand 0.02 0.05 0.22 0.32 0.03 0.12 0.23 0.64 0.08 0.56 0.88 0.10 0.16 0.16 0.04 0.05 0.12 0.10 0.50 0.28 1.72 2.72 1.11 1.36 0.16
INVY_15_3.8b_rand 0.01 0.06 0.10 0.14 0.03 0.20 0.48 1.50 0.08 1.24 1.74 0.16 0.26 0.08 0.04 0.06 0.14 0.12 1.03 0.34 3.45 5.50 2.36 1.11 0.28
INVY_15_3.10_rand 0.01 0.10 0.18 0.28 0.14 0.54 1.28 3.62 0.44 3.07 5.42 0.38 0.12 0.12 0.04 0.10 0.30 2.63 4.43 6.14 10.51 11.24 8.66 60.00 0.47
INVY_15_3.15_rand 0.01 0.05 0.08 0.08 0.04 0.08 0.06 0.15 0.04 0.15 0.14 0.07 0.05 0.10 0.04 0.04 0.08 0.08 0.24 0.14 0.64 0.76 0.44 0.91 0.05
INVY_15_3.16_rand 0.01 0.04 0.05 0.06 0.03 0.04 0.04 0.08 0.04 0.04 0.08 0.04 0.04 0.04 0.03 0.04 0.16 0.06 0.07 0.08 0.20 0.20 0.50 60.00 0.09
INVY_15_3.17_mset 0.01 0.20 0.36 0.39 0.12 0.22 0.42 1.22 0.24 0.98 1.00 0.14 0.30 0.36 0.07 0.13 0.40 0.85 1.67 2.63 3.88 5.37 3.65 1.34 0.06
INVY_15_3.17a_mset 0.01 0.26 0.69 0.77 0.15 0.20 0.54 1.16 0.38 1.04 1.44 0.12 0.40 0.40 0.12 0.19 0.87 1.42 3.11 4.53 5.78 7.84 6.59 1.29 0.07
INVY_15_3.18_rand 0.01 0.05 0.20 0.28 0.04 0.04 0.10 0.22 0.04 0.30 0.48 0.04 0.14 0.06 0.04 0.05 0.09 0.41 0.61 0.69 1.41 2.05 0.98 1.05 0.12
INVY_15_3.19_rand 0.01 0.05 0.24 0.34 0.04 0.05 0.12 0.34 0.06 0.40 0.66 0.04 0.18 0.06 0.04 0.05 0.12 0.63 1.05 1.19 3.23 1.77 2.24 1.08 0.14
INVY_15_3.22_rand 0.01 0.06 0.10 0.14 0.03 0.04 0.07 0.21 0.06 0.12 0.20 0.04 0.06 0.06 0.04 0.05 0.16 0.14 0.24 0.30 1.34 1.64 2.05 60.00 0.16
INVY_15_3.23_rand 0.01 0.04 0.05 0.06 0.03 0.04 0.06 0.08 0.04 0.06 0.08 0.04 0.05 0.04 0.06 0.06 0.10 0.09 0.12 0.12 0.14 0.14 0.20 0.88 0.07
INVY_15_3.24_rand 0.01 0.04 0.06 0.06 0.04 0.08 0.05 0.10 0.04 0.08 0.09 0.04 0.04 0.04 0.04 0.04 0.11 0.10 0.13 0.16 0.19 0.20 0.16 1.03 0.06
INVY_15_3.26_rand 0.01 0.03 0.04 0.06 0.03 0.04 0.06 0.09 0.04 0.06 0.08 0.04 0.04 0.04 0.04 0.04 0.09 0.08 0.10 0.13 0.08 0.08 0.12 1.18 0.04
INVY_15_3.29_rand 0.01 0.04 0.04 0.06 0.03 0.04 0.05 0.08 0.04 0.06 0.07 0.04 0.04 0.04 0.04 0.04 0.06 0.06 0.06 0.06 0.16 0.18 0.10 0.78 0.04
INVY_15_3.35_rand 0.01 0.04 0.04 0.06 0.04 0.04 0.06 0.10 0.04 0.06 0.08 0.04 0.04 0.04 0.03 0.04 0.06 0.05 0.08 0.08 0.09 0.09 0.12 0.92 0.04
INVY_15_3.36_rand 0.01 0.04 0.05 0.07 0.03 0.08 0.12 0.26 0.05 0.14 0.22 0.07 0.06 0.08 0.03 0.05 0.26 0.24 0.34 0.38 0.37 0.38 0.55 1.28 0.10
INVY_15_3.37_rand 0.01 0.04 0.06 0.08 0.03 0.04 0.06 0.10 0.04 0.06 0.10 0.04 0.05 0.04 0.04 0.04 0.09 0.08 0.09 0.10 0.14 0.14 0.18 1.11 0.04
INVY_15_3.38_rand 0.01 0.05 0.08 0.10 0.07 0.09 0.16 0.34 0.10 0.20 0.30 0.07 0.10 0.06 0.10 0.08 0.28 0.26 0.38 0.43 0.48 0.48 0.78 0.88 0.05
INVY_15_3.39_rand 0.01 0.06 0.12 0.16 0.03 0.18 0.42 1.10 0.06 0.58 1.06 0.14 0.08 0.06 0.04 0.05 0.16 0.16 1.21 0.31 5.07 5.92 5.26 60.00 0.27
INVY_15_3.40_rand 0.01 0.08 0.14 0.24 0.04 0.20 0.78 2.16 0.06 1.00 2.00 0.16 0.10 0.10 0.04 0.07 0.20 0.20 1.97 0.49 9.08 11.44 9.16 60.00 0.35
INVY_15_3.41_rand 0.01 0.03 0.04 0.06 0.03 0.04 0.06 0.10 0.04 0.06 0.08 0.03 0.04 0.04 0.03 0.05 0.06 0.06 0.08 0.08 0.10 0.10 0.12 60.00 0.10
INVY_15_3.42_rand 0.01 0.04 0.05 0.22 0.03 0.04 0.18 0.42 0.04 0.24 0.38 0.04 0.06 0.04 0.04 0.12 0.07 0.06 0.30 0.12 0.42 0.42 0.60 60.00 0.19
INVY_15_3.47_rand 0.02 0.06 0.09 0.12 0.06 0.07 0.10 0.18 0.07 0.12 0.16 0.08 0.08 0.07 0.06 0.07 0.12 0.12 0.16 0.16 0.20 0.18 0.28 1.07 0.08
INVY_15_3.48_rand 0.01 0.04 0.06 0.10 0.06 0.10 0.16 0.40 0.09 0.20 0.33 0.07 0.10 0.06 0.06 0.08 0.28 0.26 0.40 0.52 0.50 0.50 0.86 1.34 0.14
INVY_15_3.49_rand 0.01 0.06 0.08 0.12 0.04 0.12 0.24 0.54 0.06 0.34 0.62 0.10 0.06 0.18 0.04 0.06 0.12 0.12 0.50 0.26 0.84 1.08 0.75 1.20 0.06
INVY_15_3.52_rand 0.01 0.04 0.06 0.08 0.04 0.05 0.06 0.10 0.04 0.06 0.08 0.04 0.06 0.06 0.04 0.04 0.08 0.08 0.10 0.10 0.14 0.14 0.18 60.00 0.08
INVY_15_3.53_rand 0.01 0.06 0.34 0.50 0.04 0.34 0.78 2.02 0.06 1.08 1.92 0.28 0.54 0.22 0.04 0.06 0.16 1.22 1.89 2.14 5.09 5.47 4.27 1.34 0.28
INVY_15_3.53a_rand 0.01 0.03 0.04 0.06 0.04 0.04 0.05 0.07 0.04 0.05 0.07 0.04 0.04 0.04 0.03 0.04 0.05 0.04 0.06 0.05 0.18 0.18 0.10 0.92 0.04
INVY_15_3.53b_rand 0.01 0.04 0.06 0.08 0.04 0.04 0.06 0.08 0.04 0.05 0.08 0.04 0.05 0.05 0.04 0.04 0.10 0.08 0.10 0.10 0.16 0.16 0.20 60.00 0.10
INVY_15_3.54_rand 0.01 0.07 0.10 0.12 0.06 0.08 0.09 0.18 0.08 0.12 0.16 0.07 0.08 0.07 0.06 0.07 0.16 0.16 0.24 0.22 0.46 0.46 0.32 0.95 0.05
INVY_15_3.55_rand 0.02 0.07 1.01 1.53 0.04 0.22 0.76 3.26 0.07 1.38 2.44 0.16 0.28 0.64 0.04 0.08 0.20 0.66 1.26 1.59 5.73 7.53 8.52 60.00 0.43
INVY_15_3.56_rand 0.02 0.04 0.12 0.16 0.03 0.08 0.12 0.28 0.04 0.16 0.25 0.07 0.10 0.08 0.04 0.04 0.16 0.14 0.22 0.28 0.30 0.28 0.44 1.04 0.06
INVY_15_3.57_rand 0.02 0.08 0.54 0.82 0.04 0.36 0.84 2.12 0.08 1.61 3.02 0.28 0.62 0.59 0.04 0.06 0.18 1.39 2.62 4.16 6.31 8.43 6.00 60.00 0.19
INVY_15_4.30c_rand 0.02 0.06 0.10 0.12 0.03 0.05 0.18 0.66 0.06 0.16 0.30 0.04 0.06 0.06 0.04 0.06 0.12 0.14 0.24 0.24 1.38 1.52 2.34 60.00 0.29
INVY_15_ex1 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 1.20 0.08
INVY_15_ex2 0.01 0.04 0.04 0.06 0.04 0.04 0.05 0.08 0.04 0.05 0.06 0.04 0.04 0.04 0.04 0.04 0.04 0.06 0.06 0.06 0.08 0.08 0.10 0.76 0.04
INVY_15_ex3 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.81 0.08
INVY_15_ex4 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.78 0.03
INVY_15_ex6 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.84 0.08
INVY_15_ex7 0.01 0.03 0.04 0.03 0.03 0.04 0.04 0.04 0.03 0.04 0.04 0.03 0.03 0.04 0.03 0.03 0.04 0.03 0.04 0.04 0.16 0.16 0.16 0.99 0.09
INVY_15_invNSS03 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.75 0.03
INVY_15_quicktest 0.01 0.04 0.08 0.10 0.03 0.05 0.08 0.14 0.04 0.08 0.13 0.04 0.06 0.06 0.03 0.05 0.12 0.12 0.16 0.18 0.24 0.24 0.33 2.60 0.13
INVY_15_quicktest_sum 0.01 0.15 0.36 0.53 0.09 0.18 0.38 0.88 0.14 0.44 0.78 0.16 0.24 0.24 0.09 0.05 0.62 0.55 0.79 0.96 1.19 1.20 1.89 11.40 0.21
Mixed_relative_TRS_abp2 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.02 0.01 60.00 0.15
Mixed_relative_TRS_abp 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.02 0.02 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.02 0.02 60.00 60.00
Mixed_relative_TRS_assoc 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 1.07 0.18
Mixed_relative_TRS_carbridge 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.02 0.02 0.01 0.02 0.01 0.02 0.02 0.02 0.01 0.02 0.91 0.15
Mixed_relative_TRS_gcd 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.01 0.02 0.02 0.02 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.02 60.00 0.10
Mixed_relative_TRS_gcd_list 0.02 0.08 0.14 0.22 0.07 0.12 0.31 1.08 0.34 0.80 1.46 0.08 0.18 0.10 0.04 0.08 0.22 0.60 1.36 2.88 5.79 10.20 8.64 60.00 0.51
Mixed_relative_TRS_gcd_many 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 1.44 0.22
Mixed_relative_TRS_ijcar2006 0.02 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.81 0.09
Mixed_relative_TRS_relsubst 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 60.00 0.08
Mixed_relative_TRS_rt-rw4 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.02 0.01 0.02 0.01 0.01 0.02 0.02 0.01 0.02 0.01 0.02 0.02 60.00 60.00
Mixed_relative_TRS_trafic 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.02 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.02 1.60 1.20
Relative_05_rt1-1 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.02 0.72 0.03
Relative_05_rt1-2 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.74 0.03
Relative_05_rt1-3 0.01 0.05 0.08 0.12 0.04 0.05 0.08 0.18 0.05 0.10 0.16 0.04 0.06 0.06 0.05 0.04 0.09 0.22 0.30 0.32 0.55 0.72 0.36 0.87 0.03
Relative_05_rt1-4 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.80 0.03
Relative_05_rt1-5 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 1.53 0.03
Relative_05_rt2-1 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.80 0.09
Relative_05_rt2-2 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.78 0.03
Relative_05_rt2-3 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.84 0.03
Relative_05_rt2-4 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.77 0.09
Relative_05_rt2-5 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.80 0.10
Relative_05_rt2-7 0.01 0.03 0.06 0.08 0.03 0.04 0.06 0.11 0.06 0.08 0.12 0.03 0.04 0.04 0.04 0.04 0.08 0.06 0.10 0.12 0.12 0.12 0.15 0.94 0.06
Relative_05_rt2-8 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 1.23 0.10
Relative_05_rt3-1 0.02 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.02 0.82 0.10
Relative_05_rt3-2 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.92 0.08
Relative_05_rt3-3 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.98 0.08
Relative_05_rt3-4 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.85 0.09
Relative_05_rt3-5 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 60.00 0.16
Relative_05_rt3-6 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.01 1.38 0.09
Relative_05_rt3-7 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 0.82 0.08
Relative_05_rt3-8 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 1.16 0.12
Relative_05_rt3-9 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.88 0.04
Relative_05_rtL-cbn1 0.02 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 60.00 0.47
Relative_05_rtL-cbn5 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 60.00 5.16
Relative_05_rtL-cbo 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 60.00 0.26
Relative_05_rtL-evnz 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 18.08 0.69
Relative_05_rtL-evo 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 4.06 0.29
Relative_05_rtL-me2 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.93 0.04
Relative_05_rtL-me3 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.99 0.04
Relative_05_rtL-pwl 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 17.26 2.02
Relative_05_rtL-rw2 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 60.00 18.19
Relative_05_rtL-rw5 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 60.00 34.82
Relative_05_rtL-wl1nz 0.01 0.08 0.10 0.14 0.06 0.08 0.14 0.16 0.08 0.17 0.24 0.07 0.08 0.08 0.06 0.08 0.14 0.14 0.22 0.25 0.46 0.54 0.37 0.84 0.04
Relative_05_rtL-wl1o 0.01 0.07 0.08 0.10 0.06 0.07 0.12 0.28 0.07 0.10 0.18 0.07 0.08 0.07 0.06 0.08 0.10 0.10 0.14 0.14 0.46 0.48 0.60 60.00 0.11