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)
L
lexicographic path orders (LPO) with argument filtering
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)
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. 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 E2L E3L E4L LE1 LE2 LE3 LE4 E2S2 S2E2 AProVE NaTT total
YES 57 4 20 22 8 43 45 47 10 47 47 41 30 47 47 49 27 31 31 31 47 45 86 66 106
(sec) 0.80 0.21 4.01 6.36 0.54 5.00 10.27 29.09 1.13 17.75 28.86 3.83 5.11 11.23 22.90 59.86 4.47 6.72 14.11 26.34 13.05 13.30 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 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 34.36 0.80
MAYBE 0 122 106 104 118 83 81 79 116 79 79 85 96 79 79 77 99 95 95 95 79 81 0 53 122
(sec) 0.00 4.68 6.53 9.12 2.88 2.18 4.07 7.64 4.43 5.56 9.15 1.98 3.15 3.43 7.17 9.22 3.23 3.86 6.94 12.22 4.04 5.22 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 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 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
Individual results
file d L LL LLL E1 E2 E3 E4 S2 S2S2 S2S2S2 E1E1 E1L E2L E3L E4L LE1 LE2 LE3 LE4 E2S2 S2E2 AProVE NaTT
AProVE_24_combination 0.01 0.02 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.01 0.01 0.01 0.01 0.01 0.01 1.06 0.36
AProVE_24_combination_2 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.01 0.02 0.02 0.01 0.01 0.01 0.01 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.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.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 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.02 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.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.70 0.10
AProVE_24_gcdSet_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.94 0.24
AProVE_24_gcdSet_a 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.83 0.22
AProVE_24_gcdSet_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.94 0.24
AProVE_24_gcdSet_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.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.89 0.20
AProVE_24_gcdSet_c2 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 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.02 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.30
AProVE_24_lasso 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.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.76 0.07
AProVE_24_lessleaves 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.01 0.72 0.04
AProVE_24_log 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 1.61 0.05
AProVE_24_mset 0.01 0.13 0.22 0.32 0.09 0.11 0.20 0.45 0.12 0.24 0.42 0.09 0.15 0.21 0.40 1.00 0.16 0.22 0.42 0.87 0.21 0.22 0.88 0.04
AProVE_24_mset_a2 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.91 0.13
AProVE_24_mset_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.01 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.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.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.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.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.86 0.18
AProVE_24_purge_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.97 0.17
AProVE_24_shuffle_a2 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.85 0.06
AProVE_24_shuffle_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.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.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.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.02 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.06 0.08 0.03 0.04 0.05 0.11 0.04 0.07 0.10 0.03 0.04 0.06 0.09 0.30 0.04 0.06 0.10 0.24 0.05 0.07 1.11 0.12
INVY_15_3.1_rand 0.01 0.04 0.11 0.14 0.03 0.07 0.11 0.24 0.04 0.15 0.20 0.07 0.08 0.12 0.19 0.54 0.08 0.11 0.21 0.46 0.12 0.13 0.82 0.10
INVY_15_3.2_rand 0.02 0.04 0.11 0.15 0.03 0.07 0.11 0.26 0.05 0.14 0.23 0.07 0.08 0.12 0.21 0.60 0.08 0.12 0.23 0.52 0.12 0.14 1.28 0.10
INVY_15_3.4_rand 0.01 0.05 0.28 0.44 0.03 0.15 0.26 0.66 0.04 0.35 0.57 0.13 0.19 0.30 0.56 1.34 0.19 0.28 0.58 1.32 0.30 0.33 60.00 0.12
INVY_15_3.5_rand 0.01 0.06 0.10 0.15 0.03 0.13 0.25 0.63 0.06 0.32 0.58 0.11 0.17 0.26 0.49 1.32 0.06 0.09 0.19 0.41 0.31 0.31 1.37 0.15
INVY_15_3.5a_rand 0.01 0.06 0.09 0.16 0.04 0.13 0.26 0.66 0.05 0.34 0.57 0.11 0.20 0.28 0.52 1.30 0.07 0.10 0.20 0.42 0.32 0.32 1.13 0.17
INVY_15_3.5b_rand 0.01 0.06 0.11 0.17 0.03 0.17 0.38 1.04 0.06 0.54 0.97 0.13 0.22 0.38 0.76 1.78 0.08 0.10 0.24 0.46 0.45 0.54 1.12 0.31
INVY_15_3.6_rand 0.01 0.07 0.12 0.20 0.03 0.13 0.29 0.74 0.08 0.38 0.66 0.10 0.08 0.32 0.59 1.39 0.07 0.11 0.24 0.44 0.33 0.38 1.09 0.34
INVY_15_3.6a_rand 0.01 0.07 0.12 0.18 0.03 0.13 0.27 0.71 0.06 0.34 0.66 0.10 0.08 0.30 0.54 1.37 0.08 0.12 0.24 0.42 0.34 0.33 1.07 0.30
INVY_15_3.6b_rand 0.02 0.07 0.15 0.21 0.04 0.17 0.40 1.11 0.09 0.59 1.04 0.14 0.09 0.39 0.79 1.95 0.08 0.13 0.28 0.50 0.44 0.60 60.00 2.74
INVY_15_3.7_rand 0.01 0.04 0.08 0.11 0.03 0.07 0.11 0.20 0.04 0.15 0.21 0.06 0.07 0.09 0.17 0.50 0.09 0.09 0.18 0.44 0.11 0.12 0.92 0.06
INVY_15_3.8a_rand 0.02 0.06 0.24 0.42 0.03 0.12 0.23 0.68 0.07 0.56 0.94 0.10 0.18 0.24 0.55 1.40 0.17 0.23 0.50 1.08 0.33 0.40 1.36 0.16
INVY_15_3.8b_rand 0.01 0.06 0.11 0.17 0.03 0.20 0.51 1.62 0.08 1.28 1.88 0.15 0.28 0.48 1.02 2.58 0.08 0.10 0.21 0.40 0.70 0.82 1.11 0.28
INVY_15_3.10_rand 0.01 0.13 0.30 0.50 0.15 0.54 1.38 3.98 0.44 3.26 5.94 0.35 0.16 1.38 3.28 7.57 0.16 0.24 0.50 0.90 1.74 2.20 60.00 0.47
INVY_15_3.15_rand 0.01 0.05 0.07 0.09 0.03 0.08 0.08 0.16 0.05 0.17 0.13 0.07 0.05 0.12 0.24 0.32 0.09 0.12 0.12 0.31 0.08 0.15 0.91 0.05
INVY_15_3.16_rand 0.01 0.04 0.05 0.07 0.03 0.04 0.04 0.09 0.03 0.05 0.08 0.03 0.04 0.04 0.07 0.19 0.04 0.06 0.09 0.22 0.04 0.06 60.00 0.09
INVY_15_3.17_mset 0.01 0.22 0.48 0.54 0.12 0.21 0.42 1.26 0.24 1.04 1.06 0.10 0.34 0.52 1.14 3.04 0.43 0.49 1.12 1.50 0.54 0.44 1.34 0.06
INVY_15_3.17a_mset 0.01 0.34 0.70 1.20 0.15 0.21 0.58 1.28 0.40 1.10 1.47 0.11 0.36 0.72 1.50 3.48 0.50 0.72 1.58 2.74 1.02 0.62 1.29 0.07
INVY_15_3.18_rand 0.01 0.05 0.20 0.28 0.03 0.05 0.08 0.23 0.05 0.30 0.47 0.04 0.14 0.20 0.46 1.17 0.06 0.08 0.18 0.40 0.27 0.11 1.05 0.12
INVY_15_3.19_rand 0.01 0.06 0.28 0.41 0.03 0.05 0.13 0.35 0.06 0.40 0.70 0.04 0.18 0.26 0.56 1.40 0.08 0.11 0.28 0.52 0.33 0.13 1.08 0.14
INVY_15_3.22_rand 0.01 0.07 0.10 0.15 0.04 0.05 0.08 0.24 0.05 0.14 0.20 0.04 0.08 0.09 0.20 0.52 0.07 0.11 0.20 0.40 0.11 0.11 60.00 0.16
INVY_15_3.23_rand 0.01 0.04 0.04 0.06 0.03 0.04 0.05 0.08 0.04 0.05 0.07 0.04 0.05 0.05 0.06 0.13 0.05 0.06 0.07 0.18 0.05 0.05 0.88 0.07
INVY_15_3.24_rand 0.01 0.04 0.05 0.06 0.03 0.07 0.05 0.10 0.04 0.06 0.09 0.03 0.04 0.05 0.08 0.22 0.04 0.05 0.08 0.22 0.09 0.05 1.03 0.06
INVY_15_3.26_rand 0.01 0.04 0.04 0.04 0.03 0.04 0.05 0.09 0.04 0.06 0.08 0.04 0.04 0.06 0.07 0.18 0.04 0.04 0.09 0.21 0.05 0.06 1.18 0.04
INVY_15_3.29_rand 0.01 0.04 0.04 0.04 0.03 0.04 0.05 0.08 0.04 0.05 0.06 0.04 0.04 0.05 0.06 0.11 0.04 0.04 0.08 0.14 0.05 0.05 0.78 0.04
INVY_15_3.35_rand 0.01 0.04 0.04 0.05 0.03 0.04 0.05 0.09 0.04 0.06 0.09 0.04 0.04 0.05 0.07 0.16 0.04 0.05 0.08 0.20 0.05 0.06 0.92 0.04
INVY_15_3.36_rand 0.01 0.04 0.06 0.10 0.03 0.08 0.12 0.26 0.04 0.14 0.23 0.06 0.05 0.12 0.20 0.54 0.09 0.14 0.22 0.47 0.12 0.16 1.28 0.10
INVY_15_3.37_rand 0.01 0.04 0.06 0.08 0.03 0.04 0.07 0.10 0.04 0.06 0.10 0.04 0.05 0.07 0.09 0.18 0.04 0.06 0.10 0.22 0.06 0.06 1.11 0.04
INVY_15_3.38_rand 0.01 0.05 0.08 0.12 0.06 0.09 0.17 0.38 0.09 0.19 0.32 0.07 0.10 0.16 0.30 0.76 0.05 0.08 0.17 0.36 0.18 0.19 0.88 0.05
INVY_15_3.39_rand 0.01 0.07 0.13 0.20 0.03 0.16 0.42 1.14 0.05 0.60 1.06 0.13 0.08 0.46 1.00 1.76 0.08 0.10 0.19 0.36 0.48 0.51 60.00 0.27
INVY_15_3.40_rand 0.01 0.09 0.20 0.30 0.03 0.19 0.80 2.24 0.05 1.08 2.06 0.17 0.10 0.70 1.92 4.02 0.11 0.14 0.29 0.44 0.86 0.88 60.00 0.35
INVY_15_3.41_rand 0.01 0.04 0.04 0.06 0.03 0.04 0.05 0.10 0.04 0.06 0.09 0.04 0.04 0.04 0.08 0.22 0.04 0.04 0.08 0.22 0.05 0.06 60.00 0.10
INVY_15_3.42_rand 0.01 0.04 0.06 0.24 0.03 0.04 0.18 0.46 0.05 0.25 0.38 0.04 0.04 0.17 0.34 0.97 0.05 0.16 0.37 0.87 0.20 0.22 60.00 0.19
INVY_15_3.47_rand 0.02 0.07 0.09 0.11 0.05 0.07 0.10 0.18 0.07 0.11 0.16 0.07 0.08 0.08 0.16 0.34 0.08 0.08 0.15 0.44 0.10 0.09 1.07 0.08
INVY_15_3.48_rand 0.01 0.05 0.07 0.10 0.06 0.09 0.15 0.44 0.09 0.22 0.36 0.07 0.11 0.15 0.32 0.81 0.05 0.08 0.15 0.31 0.18 0.20 1.34 0.14
INVY_15_3.49_rand 0.01 0.05 0.09 0.14 0.03 0.12 0.24 0.55 0.06 0.34 0.64 0.11 0.08 0.19 0.52 0.96 0.15 0.25 0.47 0.84 0.27 0.30 1.20 0.06
INVY_15_3.52_rand 0.01 0.04 0.06 0.08 0.03 0.04 0.05 0.09 0.04 0.06 0.08 0.04 0.05 0.06 0.09 0.17 0.05 0.06 0.09 0.22 0.06 0.05 60.00 0.08
INVY_15_3.53_rand 0.01 0.07 0.48 0.74 0.03 0.35 0.83 2.20 0.06 1.14 2.04 0.28 0.64 0.90 1.90 4.16 0.27 0.40 0.84 1.44 1.00 1.02 1.34 0.28
INVY_15_3.53a_rand 0.01 0.04 0.04 0.06 0.03 0.04 0.05 0.08 0.04 0.05 0.07 0.04 0.04 0.04 0.06 0.12 0.04 0.04 0.07 0.15 0.04 0.05 0.92 0.04
INVY_15_3.53b_rand 0.01 0.04 0.07 0.10 0.03 0.04 0.05 0.09 0.04 0.06 0.08 0.04 0.05 0.06 0.09 0.18 0.06 0.06 0.09 0.23 0.05 0.05 60.00 0.10
INVY_15_3.54_rand 0.01 0.07 0.10 0.12 0.05 0.07 0.10 0.20 0.07 0.12 0.17 0.07 0.07 0.09 0.17 0.39 0.07 0.09 0.17 0.48 0.10 0.10 0.95 0.05
INVY_15_3.55_rand 0.02 0.09 1.40 2.28 0.03 0.24 0.80 3.42 0.08 1.46 2.62 0.15 0.34 0.58 1.62 3.64 0.80 1.30 3.00 5.39 0.85 1.29 60.00 0.43
INVY_15_3.56_rand 0.02 0.04 0.12 0.17 0.03 0.08 0.12 0.30 0.04 0.16 0.25 0.07 0.08 0.11 0.23 0.62 0.09 0.12 0.28 0.55 0.13 0.14 1.04 0.06
INVY_15_3.57_rand 0.02 0.09 0.74 1.24 0.03 0.34 0.90 2.31 0.07 1.70 3.06 0.26 0.70 1.08 2.42 5.36 0.70 1.06 2.52 3.64 1.18 1.34 60.00 0.19
INVY_15_4.30c_rand 0.02 0.06 0.10 0.16 0.03 0.06 0.17 0.70 0.06 0.18 0.31 0.04 0.07 0.11 0.28 1.04 0.07 0.10 0.22 0.39 0.15 0.23 60.00 0.29
INVY_15_ex1 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 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.05 0.06 0.03 0.04 0.04 0.09 0.04 0.06 0.06 0.03 0.06 0.04 0.06 0.12 0.04 0.04 0.07 0.16 0.05 0.04 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.01 0.81 0.08
INVY_15_ex4 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.02 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.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.84 0.08
INVY_15_ex7 0.01 0.03 0.03 0.04 0.03 0.03 0.04 0.05 0.04 0.04 0.04 0.03 0.03 0.04 0.04 0.07 0.03 0.03 0.04 0.06 0.03 0.04 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.01 0.75 0.03
INVY_15_quicktest 0.01 0.05 0.08 0.12 0.03 0.05 0.07 0.16 0.05 0.10 0.16 0.04 0.08 0.08 0.13 0.34 0.05 0.07 0.14 0.33 0.09 0.08 2.60 0.13
INVY_15_quicktest_sum 0.01 0.15 0.43 0.66 0.09 0.18 0.42 0.98 0.14 0.50 0.84 0.15 0.27 0.40 0.80 1.92 0.26 0.41 0.81 1.78 0.44 0.46 11.40 0.21
Mixed_relative_TRS_abp2 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 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 0.15
Mixed_relative_TRS_abp 0.01 0.01 0.02 0.01 0.01 0.02 0.02 0.02 0.02 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 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.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 1.07 0.18
Mixed_relative_TRS_carbridge 0.01 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.02 0.01 0.01 0.02 0.01 0.01 0.01 0.91 0.15
Mixed_relative_TRS_gcd 0.01 0.01 0.01 0.01 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.01 0.01 60.00 0.10
Mixed_relative_TRS_gcd_list 0.02 0.10 0.18 0.28 0.05 0.12 0.36 1.18 0.36 0.86 1.50 0.09 0.20 0.34 0.84 2.02 0.10 0.16 0.41 0.66 0.43 0.73 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.01 0.01 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.44 0.22
Mixed_relative_TRS_ijcar2006 0.02 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.01 0.01 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.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 60.00 0.08
Mixed_relative_TRS_rt-rw4 0.01 0.01 0.02 0.01 0.01 0.01 0.02 0.02 0.02 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 60.00 60.00
Mixed_relative_TRS_trafic 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 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.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.01 0.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.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.02 0.01 0.01 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.09 0.14 0.04 0.05 0.10 0.18 0.06 0.10 0.16 0.04 0.06 0.09 0.15 0.36 0.06 0.08 0.16 0.30 0.08 0.08 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.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.02 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 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.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.80 0.09
Relative_05_rt2-2 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.02 0.02 0.02 0.01 0.01 0.01 0.01 0.02 0.01 0.01 0.02 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.02 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.84 0.03
Relative_05_rt2-4 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.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.01 0.02 0.01 0.01 0.01 0.80 0.10
Relative_05_rt2-7 0.01 0.04 0.04 0.05 0.03 0.04 0.05 0.12 0.06 0.08 0.12 0.03 0.04 0.05 0.10 0.24 0.03 0.05 0.08 0.22 0.06 0.07 0.94 0.06
Relative_05_rt2-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 1.23 0.10
Relative_05_rt3-1 0.02 0.01 0.01 0.01 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 0.01 0.01 0.01 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.02 0.01 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.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.01 0.01 0.01 0.98 0.08
Relative_05_rt3-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.01 0.01 0.01 0.02 0.01 0.01 0.01 0.01 0.01 0.01 0.85 0.09
Relative_05_rt3-5 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 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 0.16
Relative_05_rt3-6 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 1.38 0.09
Relative_05_rt3-7 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.82 0.08
Relative_05_rt3-8 0.01 0.01 0.01 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 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.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.88 0.04
Relative_05_rtL-cbn1 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.02 0.01 0.01 0.01 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.01 0.01 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.01 60.00 0.26
Relative_05_rtL-evnz 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.01 18.08 0.69
Relative_05_rtL-evo 0.01 0.01 0.01 0.01 0.01 0.01 0.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 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.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.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.99 0.04
Relative_05_rtL-pwl 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.01 17.26 2.02
Relative_05_rtL-rw2 0.01 0.01 0.01 0.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 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.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 60.00 34.82
Relative_05_rtL-wl1nz 0.01 0.08 0.12 0.15 0.05 0.08 0.14 0.17 0.08 0.19 0.26 0.06 0.09 0.12 0.25 0.34 0.09 0.12 0.26 0.59 0.07 0.09 0.84 0.04
Relative_05_rtL-wl1o 0.01 0.06 0.08 0.10 0.05 0.07 0.10 0.27 0.07 0.12 0.18 0.06 0.07 0.08 0.17 0.48 0.07 0.08 0.16 0.45 0.10 0.13 60.00 0.11