Joint Spectral Radius Theory
for Automated Complexity Analysis of Rewrite Systems

Statistics

 triangularcharacteristicminimalnot EDAnot EDA, not IDAd+1
#yes 210 196 194 213 224
total time 2393.9 7277.7 6934.6 7860.0 3553.4
average time 11.4 37.1 35.7 36.9 15.9
#no 0 0 0 0 0
total time 0.0 0.0 0.0 0.0 0.0
average time - - - - -
#maybe 85 99 101 81 71
total time 1901.5 5136.3 5565.7 4144.0 2255.1
average time 22.4 51.9 55.1 51.2 31.8
#timeout 0 0 0 1 0
total time 0.0 0.0 0.0 60.0 0.0
average time - - - 60.0 -
#total 295 295 295 295 295
total time 4295.5 12414.0 12500.4 12064.0 5808.5

Bounds

O(n^1) O(n^2) O(n^3) O(n^4) POLY
triangular 92 194 208 210 210
characteristic 66 180 194 196 196
minimal 72 187 193 194 194
not EDA 73 173 188 189 213
not EDA, not IDAd+1 107 214 219 223 224

Results

 triangularcharacteristicminimalnot EDAnot EDA, not IDAd+1
AG01/#3.152 (2.3)2 (55.4)2 (55.3)2 (55.4)2 (50.0)
AG01/#3.241 (0.9)1 (0.9)1 (1.1)1 (1.0)1 (1.0)
AG01/#3.262.555.555.555.7? (50.1)
AG01/#3.331 (2.1)1 (1.9)2 (55.4)2 (55.4)1 (1.4)
AG01/#3.352 (8.2)2 (55.3)2 (55.4)2 (55.4)2 (50.0)
AG01/#3.371 (1.3)1 (1.0)1 (1.3)1 (1.0)1 (1.0)
AG01/#3.511.111.355.63 (55.5)1 (4.2)
AG01/#3.562 (3.3)2 (55.4)2 (55.4)2 (55.4)2 (7.2)
AG01/#3.72 (40.1)2 (55.3)2 (55.3)2 (55.4)2 (50.0)
AProVE_04/Liveness6.22 (39.1)55.555.655.53 (50.0)
AProVE_04/Liveness83 (55.4)55.655.855.6? (50.1)
AProVE_04/Liveness_WRS2 (51.0)55.756.155.92 (50.1)
AProVE_10/ex51 (0.7)1 (0.6)1 (0.8)1 (0.7)1 (0.5)
AotoYamada_05/0052 (4.3)2 (55.4)2 (55.3)2 (55.3)2 (8.9)
AotoYamada_05/0171 (0.5)1 (0.4)1 (0.7)1 (0.7)1 (0.6)
AotoYamada_05/0232 (2.1)2 (55.4)2 (55.3)2 (55.3)2 (7.6)
AotoYamada_05/0251 (0.5)1 (0.4)1 (0.5)1 (0.6)1 (0.7)
Applicative_05/Ex2_6_1Composition1 (0.5)1 (0.5)1 (1.0)1 (0.5)1 (0.5)
Bouchare_06/021 (0.7)1 (1.0)1 (1.4)1 (1.5)1 (0.9)
CiME_04/dpqs1.22 (55.4)2 (55.3)5 (55.4)1 (4.3)
Der95/011 (2.1)1 (0.5)1 (0.8)1 (0.6)1 (0.9)
Der95/021 (1.7)1 (0.4)1 (0.6)1 (0.5)1 (0.8)
Der95/031 (0.4)1 (0.4)1 (0.7)1 (0.5)1 (1.3)
Der95/041 (0.5)1 (0.4)1 (0.5)1 (0.6)1 (1.0)
Der95/064.455.455.655.5? (0.1)
 triangularcharacteristicminimalnot EDAnot EDA, not IDAd+1
Der95/072 (31.8)2 (55.4)2 (55.3)2 (55.4)2 (0.8)
Der95/092 (0.8)2 (55.3)2 (55.3)2 (55.4)2 (50.0)
Der95/200.955.355.432.8? (50.0)
Der95/272 (10.0)2 (55.3)2 (55.3)2 (55.5)2 (50.0)
Endrullis_06/direct3 (9.8)3 (55.5)3 (55.3)3 (55.4)1 (3.4)
Endrullis_06/quadruple13 (35.8)3 (55.6)56.055.62 (50.0)
Endrullis_06/quadruple22 (55.4)2 (55.4)2 (55.4)5 (55.4)2 (50.0)
HirokawaMiddeldorp_04/t0040.755.355.529.9? (50.1)
HirokawaMiddeldorp_04/t0061 (0.4)1 (0.3)1 (0.5)1 (0.6)1 (0.6)
HirokawaMiddeldorp_04/t0071 (0.6)1 (0.6)1 (0.8)1 (1.0)1 (1.7)
HirokawaMiddeldorp_04/t0086.055.455.73 (55.5)2 (50.0)
HirokawaMiddeldorp_04/t0101 (0.7)1 (1.0)2 (55.3)1 (0.8)1 (2.3)
HirokawaMiddeldorp_04/t0112 (1.2)2 (55.4)2 (55.3)2 (55.4)2 (50.0)
HirokawaMiddeldorp_04/t0121.122.655.544.8? (50.0)
ICFP_2010/21147159.459.658.860.0? (50.3)
ICFP_2010/251921 (1.1)1 (2.1)2 (55.4)1 (5.2)1 (1.4)
ICFP_2010/2643701 (6.3)2 (55.5)1 (42.3)1 (23.4)1 (4.7)
ICFP_2010/2644051 (6.0)2 (55.4)2 (55.3)1 (4.2)1 (2.4)
ICFP_2010/265551 (2.6)1 (2.3)2 (55.5)1 (7.0)1 (1.1)
Mixed_SRS/0918.655.456.055.5? (0.1)
Mixed_SRS/32.355.52 (55.4)5 (55.4)1 (13.3)
Mixed_SRS/turing_add2 (55.4)2 (55.4)2 (55.4)2 (55.4)2 (4.5)
Mixed_TRS/jones12 (1.7)2 (55.4)2 (55.3)2 (55.4)2 (3.5)
Mixed_TRS/jones41 (1.4)1 (0.4)1 (0.7)1 (0.5)1 (0.5)
Mixed_TRS/jones62 (2.2)2 (55.3)2 (55.3)2 (55.4)2 (6.0)
 triangularcharacteristicminimalnot EDAnot EDA, not IDAd+1
Rubio_04/aoto1 (0.6)1 (0.9)1 (1.1)1 (1.0)1 (0.9)
Rubio_04/bintrees2 (2.8)2 (55.4)2 (55.4)2 (55.4)2 (9.9)
Rubio_04/gmnp1.133.455.523.9? (50.0)
Rubio_04/koen1 (0.6)1 (0.6)1 (1.0)1 (0.9)1 (0.5)
Rubio_04/lescanne2 (1.5)2 (55.4)2 (55.4)2 (55.3)2 (50.0)
Rubio_04/lindau1 (1.4)1 (23.9)1 (4.1)1 (6.5)1 (3.2)
Rubio_04/mfp90b1 (0.8)1 (0.4)1 (0.9)1 (0.5)1 (1.4)
Rubio_04/mfp951 (0.7)2 (55.4)2 (55.3)1 (1.2)1 (0.7)
Rubio_04/nestrec5.855.455.655.5? (0.1)
Rubio_04/p2661 (1.2)2 (55.4)2 (55.4)1 (1.2)1 (0.9)
Rubio_04/test41 (0.6)2 (55.4)1 (1.7)2 (55.4)1 (0.8)
Rubio_04/test8292 (38.7)2 (55.3)2 (55.4)2 (55.4)1 (1.1)
SK90/2.012 (2.9)2 (55.4)2 (55.4)2 (55.4)2 (6.5)
SK90/2.032 (2.0)2 (55.4)2 (55.3)2 (55.4)2 (4.1)
SK90/2.042 (0.9)2 (55.4)2 (55.3)2 (55.4)2 (50.0)
SK90/2.062 (1.5)2 (55.4)2 (55.3)2 (55.4)2 (50.0)
SK90/2.092 (1.6)2 (55.4)2 (55.3)2 (55.4)2 (3.2)
SK90/2.101.05.255.311.4? (50.0)
SK90/2.112 (1.9)2 (55.3)2 (55.3)2 (55.4)2 (4.5)
SK90/2.141.055.455.515.0? (50.0)
SK90/2.312 (2.6)2 (55.4)2 (55.3)2 (55.4)2 (4.9)
SK90/2.332 (2.4)2 (55.4)2 (55.4)2 (55.4)2 (5.5)
SK90/2.340.78.355.35.4? (50.0)
SK90/2.362 (1.5)2 (55.3)2 (55.3)2 (55.5)2 (50.0)
SK90/2.382 (2.1)2 (55.3)2 (55.4)2 (55.4)2 (4.6)
 triangularcharacteristicminimalnot EDAnot EDA, not IDAd+1
SK90/2.412 (4.4)2 (55.4)2 (55.3)2 (55.3)2 (50.0)
SK90/2.462 (6.4)2 (55.3)2 (55.4)2 (55.4)2 (0.6)
SK90/2.472 (1.4)2 (55.3)2 (55.3)2 (55.4)2 (0.5)
SK90/2.481 (1.7)1 (0.4)1 (0.7)1 (0.7)1 (0.9)
SK90/2.491 (0.7)1 (0.5)1 (0.6)1 (0.8)1 (0.8)
SK90/2.506.255.355.855.5? (0.1)
SK90/2.532 (12.6)2 (55.4)2 (55.3)2 (55.4)2 (50.0)
SK90/2.542 (1.3)2 (55.4)2 (55.3)2 (55.4)2 (2.8)
SK90/2.552 (1.6)2 (55.4)2 (55.4)2 (55.3)2 (2.9)
SK90/2.561 (0.4)1 (0.4)1 (0.7)1 (0.5)1 (1.3)
SK90/2.601 (0.7)2 (55.3)1 (2.6)1 (1.9)1 (1.1)
SK90/2.611 (0.6)1 (0.7)1 (0.9)1 (1.1)1 (1.1)
SK90/4.011 (1.8)1 (0.4)1 (0.6)1 (0.5)1 (0.8)
SK90/4.042 (1.7)2 (55.4)2 (55.3)2 (55.4)2 (50.0)
SK90/4.072 (1.9)2 (55.4)2 (55.3)2 (55.3)2 (3.4)
SK90/4.082 (1.5)2 (55.4)2 (55.3)2 (55.4)2 (3.1)
SK90/4.112 (1.7)2 (55.3)2 (55.3)2 (55.3)2 (4.7)
SK90/4.122 (1.9)3 (55.4)2 (55.3)2 (55.3)2 (5.6)
SK90/4.152 (1.3)2 (55.4)2 (55.3)2 (55.4)2 (6.8)
SK90/4.161 (1.4)2 (55.4)2 (55.3)2 (55.4)1 (1.6)
SK90/4.191 (0.9)1 (0.4)1 (0.6)1 (0.7)1 (0.6)
SK90/4.252 (1.7)2 (55.3)2 (55.3)2 (55.3)2 (50.0)
SK90/4.292 (2.5)3 (55.4)2 (55.3)2 (55.4)2 (7.6)
SK90/4.303 (55.3)4 (55.5)4 (55.6)5 (55.4)2 (50.0)
SK90/4.331 (0.6)1 (0.4)1 (0.7)1 (0.4)1 (0.7)
 triangularcharacteristicminimalnot EDAnot EDA, not IDAd+1
SK90/4.351 (0.5)2 (55.3)1 (1.5)2 (55.3)1 (0.8)
SK90/4.361 (0.5)2 (55.4)1 (1.5)1 (0.9)1 (1.4)
SK90/4.371 (0.4)1 (0.4)1 (0.4)1 (0.6)1 (0.2)
SK90/4.382 (2.6)2 (55.4)2 (55.4)2 (55.4)2 (50.0)
SK90/4.392 (55.3)2 (55.4)2 (55.4)2 (55.3)2 (50.0)
SK90/4.441 (0.6)2 (55.4)1 (1.8)1 (1.0)1 (1.1)
SK90/4.451 (0.5)1 (0.4)1 (0.5)1 (0.5)1 (1.2)
SK90/4.461 (0.6)2 (55.3)2 (55.3)1 (0.9)1 (1.3)
SK90/4.471 (3.2)2 (55.4)2 (55.3)2 (55.4)1 (1.9)
SK90/4.481 (1.7)1 (0.4)1 (0.6)1 (0.7)1 (1.0)
SK90/4.511 (1.6)1 (1.3)1 (5.5)2 (55.4)1 (2.2)
SK90/4.522 (3.7)2 (55.4)2 (55.4)2 (55.4)2 (8.5)
SK90/4.561 (0.8)2 (55.4)1 (0.9)2 (55.5)1 (1.7)
Secret_05_SRS/matchbox22 (17.5)55.355.555.4? (50.1)
Secret_06_SRS/1040.955.455.855.5? (0.1)
Secret_06_SRS/655.355.456.055.94 (50.0)
Secret_06_SRS/755.455.555.955.6? (0.2)
Secret_06_SRS/multum455.555.856.45 (55.4)2 (50.1)
Secret_06_SRS/multum510.755.555.755.7? (50.2)
Secret_06_TRS/55.755.455.655.55 (50.0)
Secret_06_TRS/63 (47.5)3 (55.4)3 (55.4)3 (55.4)? (45.9)
Secret_06_TRS/755.455.656.65 (55.5)2 (50.0)
Secret_06_TRS/84.055.455.555.42 (24.6)
Secret_06_TRS/93 (3.0)3 (55.4)3 (55.4)3 (55.5)2 (50.0)
Secret_07_SRS/dj2.555.555.655.4? (0.1)
 triangularcharacteristicminimalnot EDAnot EDA, not IDAd+1
Strategy_removed_AG01/#4.201 (0.5)2 (55.4)2 (55.3)1 (0.8)1 (0.6)
Strategy_removed_AG01/#4.20a1 (0.5)2 (55.4)1 (1.7)1 (0.8)1 (1.2)
Strategy_removed_AG01/#4.211 (0.5)1 (0.9)1 (1.5)1 (1.4)1 (2.2)
Strategy_removed_AG01/#4.284.655.555.63 (55.5)2 (50.0)
Strategy_removed_AG01/#4.372 (11.2)2 (55.3)2 (55.4)2 (55.4)1 (1.4)
Strategy_removed_AG01/#4.37a2 (7.8)2 (55.4)2 (55.3)2 (55.4)1 (1.6)
Strategy_removed_mixed_05/test8301 (1.3)2 (55.4)1 (3.3)1 (1.5)1 (1.1)
TCT_09/add2 (1.6)2 (55.3)2 (55.4)2 (55.4)2 (3.3)
TCT_09/append2 (22.7)2 (55.3)2 (55.3)2 (55.3)2 (50.0)
TCT_09/bits5.455.455.63 (55.5)2 (50.0)
TCT_09/expantiinn11.655.455.655.5? (50.0)
TCT_09/ma22 (2.4)2 (55.4)2 (55.3)2 (55.4)2 (3.6)
TCT_09/ma31 (1.5)1 (0.4)1 (0.7)1 (0.8)1 (0.7)
TCT_09/ma513.255.455.955.6? (50.0)
TCT_09/ma91 (1.2)1 (0.8)1 (1.4)1 (1.0)1 (0.9)
Trafo_06/dup1555.455.656.155.8? (0.1)
Trafo_06/hom026.955.555.555.4? (50.1)
Transformed_CSR_04/Ex15_Luc06_FR3 (2.0)3 (55.4)2 (55.3)3 (55.4)2 (5.4)
Transformed_CSR_04/Ex15_Luc06_GM2 (28.1)3 (55.4)2 (55.4)2 (55.5)2 (50.0)
Transformed_CSR_04/Ex15_Luc06_Z2 (2.0)2 (55.4)2 (55.4)2 (55.3)1 (1.1)
Transformed_CSR_04/Ex15_Luc06_iGM2 (33.6)3 (55.5)2 (55.4)5 (55.3)1 (5.0)
Transformed_CSR_04/Ex18_Luc06_C4 (55.5)55.756.155.63 (50.1)
Transformed_CSR_04/Ex18_Luc06_FR2 (2.6)2 (55.4)2 (55.3)2 (55.4)2 (4.3)
Transformed_CSR_04/Ex18_Luc06_GM2 (18.3)2 (55.3)2 (55.3)2 (55.4)2 (50.0)
Transformed_CSR_04/Ex18_Luc06_L1 (0.6)1 (0.4)1 (0.8)1 (0.6)1 (1.4)
 triangularcharacteristicminimalnot EDAnot EDA, not IDAd+1
Transformed_CSR_04/Ex18_Luc06_Z1 (1.6)1 (0.4)1 (0.7)1 (0.8)1 (0.6)
Transformed_CSR_04/Ex18_Luc06_iGM2 (16.0)2 (55.4)2 (55.3)2 (55.4)1 (4.4)
Transformed_CSR_04/Ex1_Zan97_C55.555.756.055.72 (50.1)
Transformed_CSR_04/Ex1_Zan97_GM1 (1.4)1 (1.2)1 (1.3)1 (1.2)1 (0.8)
Transformed_CSR_04/Ex1_Zan97_iGM1 (1.7)1 (2.5)1 (5.0)3 (55.5)1 (5.3)
Transformed_CSR_04/Ex23_Luc06_FR2 (2.6)2 (55.4)2 (55.3)2 (55.4)2 (6.1)
Transformed_CSR_04/Ex23_Luc06_GM2 (55.3)2 (55.3)2 (55.3)2 (55.4)2 (50.0)
Transformed_CSR_04/Ex23_Luc06_L1 (0.4)1 (0.4)1 (0.8)1 (0.5)1 (1.2)
Transformed_CSR_04/Ex23_Luc06_Z1 (1.6)1 (0.4)1 (0.6)1 (0.6)1 (0.7)
Transformed_CSR_04/Ex23_Luc06_iGM2 (15.9)3 (55.7)3 (55.3)5 (55.3)1 (20.7)
Transformed_CSR_04/Ex25_Luc06_C2 (55.4)2 (55.4)56.02 (55.5)2 (15.2)
Transformed_CSR_04/Ex25_Luc06_FR2 (1.7)2 (55.4)2 (55.4)2 (55.3)2 (4.5)
Transformed_CSR_04/Ex25_Luc06_GM2 (31.7)2 (55.3)2 (55.3)2 (55.4)2 (1.1)
Transformed_CSR_04/Ex25_Luc06_L1 (1.2)1 (0.4)1 (0.6)1 (0.6)1 (1.2)
Transformed_CSR_04/Ex25_Luc06_Z1 (0.7)1 (0.5)1 (0.7)1 (0.5)1 (1.2)
Transformed_CSR_04/Ex25_Luc06_iGM2 (52.0)2 (55.3)2 (55.4)2 (55.4)2 (2.6)
Transformed_CSR_04/Ex26_Luc03b_L1 (2.2)1 (0.5)1 (0.7)1 (0.7)1 (0.8)
Transformed_CSR_04/Ex2_Luc03b_L1 (1.5)1 (0.4)1 (0.6)1 (0.7)1 (0.7)
Transformed_CSR_04/Ex3_3_25_Bor03_L1 (1.8)1 (0.5)1 (0.5)1 (0.6)1 (0.7)
Transformed_CSR_04/Ex4_4_Luc96b_L1 (0.4)1 (0.3)1 (0.9)1 (0.7)1 (1.3)
Transformed_CSR_04/Ex4_7_15_Bor03_FR2 (3.0)2 (55.3)2 (55.3)2 (55.4)2 (5.9)
Transformed_CSR_04/Ex4_7_15_Bor03_GM3 (55.5)3 (55.4)3 (55.4)3 (55.5)2 (50.1)
Transformed_CSR_04/Ex4_7_15_Bor03_L1 (0.7)2 (55.4)1 (1.7)2 (55.4)1 (0.7)
Transformed_CSR_04/Ex4_7_15_Bor03_Z2 (2.4)2 (55.4)2 (55.3)2 (55.3)1 (1.1)
Transformed_CSR_04/Ex4_7_77_Bor03_FR1 (1.3)1 (0.5)1 (0.8)1 (0.7)1 (0.7)
 triangularcharacteristicminimalnot EDAnot EDA, not IDAd+1
Transformed_CSR_04/Ex4_7_77_Bor03_GM2 (5.4)2 (55.4)2 (55.4)2 (55.4)2 (50.0)
Transformed_CSR_04/Ex4_7_77_Bor03_iGM3 (17.4)55.555.655.5? (50.1)
Transformed_CSR_04/Ex5_Zan97_Z1 (0.5)1 (0.4)1 (1.0)1 (0.7)1 (0.7)
Transformed_CSR_04/Ex6_GM04_C2 (55.7)55.656.255.82 (50.1)
Transformed_CSR_04/Ex6_GM04_GM1 (1.4)1 (1.0)1 (1.5)1 (1.3)1 (0.8)
Transformed_CSR_04/Ex6_GM04_L1 (1.1)1 (1.1)1 (1.3)1 (1.2)1 (0.5)
Transformed_CSR_04/Ex6_GM04_iGM1 (1.9)1 (2.9)2 (55.3)1 (2.1)1 (2.1)
Transformed_CSR_04/Ex6_Luc98_L1 (0.5)1 (0.4)1 (0.8)1 (0.6)1 (0.8)
Transformed_CSR_04/Ex9_BLR02_L1 (0.6)1 (0.5)1 (0.6)1 (0.6)1 (0.8)
Transformed_CSR_04/Ex9_Luc06_GM2 (14.3)2 (55.3)2 (55.3)2 (55.4)2 (50.0)
Transformed_CSR_04/Ex9_Luc06_iGM3 (55.6)55.555.655.51 (48.5)
Transformed_CSR_04/ExConc_Zan97_C2 (55.4)2 (55.5)2 (55.4)2 (55.4)2 (2.2)
Transformed_CSR_04/ExConc_Zan97_FR2 (2.1)2 (55.3)2 (55.4)2 (55.4)2 (0.8)
Transformed_CSR_04/ExConc_Zan97_GM2 (1.5)2 (55.4)2 (55.4)2 (55.4)2 (0.6)
Transformed_CSR_04/ExConc_Zan97_L1 (0.3)1 (0.3)1 (0.8)1 (0.5)1 (1.0)
Transformed_CSR_04/ExConc_Zan97_iGM2 (35.3)3 (55.4)2 (55.4)2 (55.5)2 (5.7)
Transformed_CSR_04/ExIntrod_GM04_GM3 (22.2)55.455.555.53 (50.1)
Transformed_CSR_04/ExProp7_Luc06_FR1.127.055.33 (55.5)2 (17.4)
Transformed_CSR_04/ExProp7_Luc06_GM34.055.555.555.53 (50.1)
Transformed_CSR_04/ExProp7_Luc06_L1.02 (55.4)2 (55.3)2 (55.5)1 (1.2)
Transformed_CSR_04/ExProp7_Luc06_Z1.16.248.23 (55.5)1 (2.8)
Transformed_CSR_04/PALINDROME_nokinds-noand_Z2 (7.2)2 (55.4)2 (55.4)2 (55.4)? (50.1)
Transformed_CSR_04/PALINDROME_nokinds_Z2 (3.0)2 (55.4)2 (55.3)2 (55.4)? (50.1)
Transformed_CSR_04/PALINDROME_nosorts-noand_FR2 (2.0)2 (55.3)2 (55.3)2 (55.3)2 (4.8)
Transformed_CSR_04/PALINDROME_nosorts-noand_L2 (2.0)2 (55.3)2 (55.3)2 (55.4)2 (4.7)
 triangularcharacteristicminimalnot EDAnot EDA, not IDAd+1
Transformed_CSR_04/PALINDROME_nosorts_FR2 (1.9)2 (55.3)2 (55.4)2 (55.4)2 (4.8)
Transformed_CSR_04/PEANO_nosorts-noand_FR2 (2.4)2 (55.4)2 (55.4)2 (55.4)2 (50.0)
Transformed_CSR_04/PEANO_nosorts_FR2 (1.8)2 (55.4)2 (55.3)2 (55.4)2 (3.7)
Various_04/071 (1.0)1 (0.4)1 (0.5)1 (0.6)1 (0.4)
Various_04/232 (2.7)3 (55.5)2 (55.4)2 (55.4)2 (6.1)
Various_04/2443.055.756.155.7? (50.1)
Various_04/251 (1.3)1 (1.0)1 (2.6)1 (1.4)1 (1.8)
Various_04/271 (0.6)1 (1.5)2 (55.4)1 (0.8)1 (1.3)
Waldmann_06/jwmatchb13.055.455.655.5? (50.0)
Waldmann_06/jwmatchb24.155.455.655.4? (50.0)
Waldmann_06_SRS/pi3 (55.6)55.555.655.64 (50.1)
Waldmann_07_size12/size-12-alpha-3-num-53553.755.455.855.5? (0.2)
Waldmann_07_size12/size-12-alpha-3-num-53616.555.555.855.6? (50.2)
Zantema_04/z00155.555.555.955.6? (50.2)
Zantema_04/z0022 (12.1)2 (55.5)2 (55.3)5 (55.4)1 (6.0)
Zantema_04/z0037.655.355.44 (55.8)2 (50.1)
Zantema_04/z0043 (55.3)55.556.05 (55.3)1 (36.8)
Zantema_04/z00525.855.455.555.52 (50.1)
Zantema_04/z0062 (12.4)2 (55.3)2 (55.4)2 (55.4)2 (0.5)
Zantema_04/z0072 (7.2)2 (55.3)2 (55.3)2 (55.4)2 (0.7)
Zantema_04/z00855.455.656.155.84 (50.0)
Zantema_04/z0094 (33.6)4 (55.7)3 (55.3)55.42 (5.0)
Zantema_04/z01116.855.455.555.4? (0.1)
Zantema_04/z0123.055.355.430.9? (50.1)
Zantema_04/z01311.155.455.655.5? (50.1)
 triangularcharacteristicminimalnot EDAnot EDA, not IDAd+1
Zantema_04/z01410.255.455.755.5? (0.2)
Zantema_04/z0152.653.841.242.3? (0.2)
Zantema_04/z01710.855.555.555.5? (0.1)
Zantema_04/z01910.555.555.455.4? (0.1)
Zantema_04/z02155.355.555.555.5? (0.1)
Zantema_04/z02225.255.455.755.6? (0.1)
Zantema_04/z02310.155.455.755.6? (0.1)
Zantema_04/z0241 (1.6)1 (5.8)1 (6.7)5 (55.4)1 (3.8)
Zantema_04/z0252 (2.0)2 (55.4)2 (55.3)2 (55.4)? (50.1)
Zantema_04/z02655.455.555.855.7? (50.0)
Zantema_04/z02855.455.556.055.7? (50.2)
Zantema_04/z0332 (55.3)55.755.85 (55.4)1 (4.5)
Zantema_04/z04555.455.956.155.84 (50.1)
Zantema_04/z04755.355.855.75 (55.5)1 (21.1)
Zantema_04/z0491 (1.1)2 (55.6)2 (55.3)5 (55.3)1 (6.6)
Zantema_04/z0501 (1.0)2 (55.7)2 (55.7)5 (55.4)1 (6.8)
Zantema_04/z05155.43 (55.7)55.75 (55.4)2 (50.1)
Zantema_04/z0522 (55.3)55.755.73 (55.7)1 (19.4)
Zantema_04/z0532 (55.3)55.656.15 (55.3)2 (50.1)
Zantema_04/z0551 (2.0)55.955.75 (55.4)1 (12.8)
Zantema_04/z05655.455.756.155.72 (50.1)
Zantema_04/z0572 (20.7)55.756.15 (55.6)2 (50.0)
Zantema_04/z0582 (47.9)55.755.75 (55.3)2 (50.1)
Zantema_04/z05929.355.455.655.62 (50.0)
Zantema_04/z06037.655.556.355.63 (50.0)
 triangularcharacteristicminimalnot EDAnot EDA, not IDAd+1
Zantema_04/z0611 (1.0)2 (55.5)2 (55.4)5 (55.3)1 (3.1)
Zantema_04/z0621 (2.2)2 (55.6)2 (55.4)5 (55.3)1 (3.3)
Zantema_04/z0631 (2.2)2 (55.5)1 (28.1)5 (55.3)1 (4.3)
Zantema_04/z0642 (55.6)55.756.355.72 (50.1)
Zantema_04/z06555.455.755.955.7? (50.2)
Zantema_04/z0663 (55.5)2 (55.4)2 (55.5)3 (55.5)2 (8.3)
Zantema_04/z06755.52 (55.4)2 (55.4)2 (55.5)2 (5.1)
Zantema_04/z0685.755.655.855.62 (10.4)
Zantema_04/z06913.455.856.756.1? (50.1)
Zantema_04/z0712.355.555.855.5? (50.1)
Zantema_04/z07255.455.756.155.8? (50.2)
Zantema_04/z08141.555.555.555.4? (50.1)
Zantema_04/z0826.455.555.655.6? (0.2)
Zantema_04/z0842 (1.6)2 (55.4)2 (55.3)2 (55.3)? (50.0)
Zantema_04/z0851 (0.4)1 (0.4)1 (0.6)1 (0.7)1 (0.3)
Zantema_04/z08755.42 (55.5)2 (55.6)5 (55.3)2 (4.0)
Zantema_04/z08823.155.555.555.4? (0.2)
Zantema_04/z08917.955.455.955.6? (0.1)
Zantema_04/z0922 (55.5)2 (55.4)2 (55.5)2 (55.4)2 (2.9)
Zantema_04/z0932 (7.3)2 (55.3)2 (55.3)2 (55.4)2 (0.7)
Zantema_04/z0941.320.555.329.8? (0.1)
Zantema_04/z1011 (0.5)1 (0.5)1 (0.7)1 (0.5)? (50.1)
Zantema_04/z1021 (0.5)1 (0.4)1 (0.7)1 (0.5)? (50.2)
Zantema_04/z1036.255.455.555.4? (0.1)
Zantema_04/z1082 (34.7)2 (55.4)2 (55.3)2 (55.4)? (50.2)
 triangularcharacteristicminimalnot EDAnot EDA, not IDAd+1
Zantema_04/z1090.73.810.56.1? (50.2)
Zantema_04/z1105.755.455.555.4? (0.1)
Zantema_04/z1126.255.455.555.4? (50.2)
Zantema_04/z1141.855.355.446.9? (0.1)
Zantema_04/z1152 (9.2)2 (55.4)2 (55.3)2 (55.4)? (50.1)
Zantema_04/z1161 (0.7)1 (0.4)1 (0.7)1 (0.7)? (50.2)
Zantema_04/z1172.055.455.546.4? (0.2)
Zantema_04/z1242 (55.5)2 (55.4)2 (55.4)2 (55.4)2 (2.2)
Zantema_04/z1261 (1.1)1 (1.5)1 (1.9)1 (2.5)1 (2.8)
Zantema_05/jw431 (0.6)2 (55.4)1 (3.2)1 (1.1)1 (1.7)
Zantema_05/jw442 (47.8)2 (55.3)2 (55.4)2 (55.4)2 (50.0)
Zantema_05/jw472 (52.9)2 (55.3)2 (55.3)2 (55.4)2 (50.0)
Zantema_05/jw501 (0.9)1 (0.9)1 (22.5)2 (55.5)1 (1.3)
Zantema_05/z262 (12.8)2 (55.4)2 (55.4)2 (55.4)2 (50.0)
Zantema_06/0225.855.455.555.4? (1.7)
Zantema_06/161 (4.4)2 (55.4)2 (55.3)2 (55.5)? (50.1)
Zantema_06/171 (12.3)2 (55.4)2 (55.5)2 (55.5)? (50.1)
Zantema_06/beans155.755.656.33 (55.5)2 (7.6)
Zantema_06/beans455.455.656.055.7? (50.0)
Zantema_06/while22 (6.5)55.555.555.62 (9.0)