Termination competition 2007 - results

Short legend (help page for more):
Tool id
Problem id NO, it is NOT terminating
Problem id I don't know
Problem id YES, it is terminating

Times for giving answers (in seconds): CPU time (Wall clock time)

Note: wall clock time may be smaller than CPU time, because of multi-processor and/or multi-core architecture

Sub-category: Standard Rewriting, certifying option

Time limit for this table: 120 seconds

problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/AG01 - #3.10 0%107.95 (129.26)138.90 (36.13)14.11 (15.58)28.94 (15.93)1.77 (1.89)18.56 (17.96)
TRS/AG01 - #3.12 0%0.05 (0.21)4.92 (5.15)0.24 (0.30)2.49 (2.47)0.06 (0.19)1.67 (2.13)
TRS/AG01 - #3.13 66%58.56 (63.24)79.69 (25.04)58.42 (65.71)38.98 (46.39)
TRS/AG01 - #3.14 0%0.02 (0.35)4.56 (5.05)0.22 (0.31)2.75 (2.89)0.06 (0.14)1.90 (2.49)
TRS/AG01 - #3.15 0%0.05 (0.27)2.96 (3.12)0.11 (0.17)1.27 (1.43)0.02 (0.23)0.97 (1.21)
TRS/AG01 - #3.16 33%0.05 (0.72)6.35 (7.73)0.45 (0.67)2.18 (2.95)2.36 (2.60)
TRS/AG01 - #3.17a 0%0.10 (0.28)10.01 (13.16)1.41 (1.57)6.58 (5.94)0.60 (0.72)7.01 (6.86)
TRS/AG01 - #3.17 0%0.07 (0.25)8.02 (8.86)1.15 (1.51)5.24 (4.59)0.34 (0.45)5.05 (6.03)
TRS/AG01 - #3.18 66%2.82 (3.19)21.27 (21.75)118.54 (138.17)30.26 (34.12)
TRS/AG01 - #3.19 66%3.12 (4.20)23.19 (21.96)118.43 (135.08)32.61 (37.14)
TRS/AG01 - #3.1 0%0.04 (0.22)3.51 (3.85)0.59 (0.84)1.55 (1.28)0.03 (0.14)1.22 (1.74)
TRS/AG01 - #3.21 66%0.07 (1.22)4.29 (5.86)118.55 (140.45)26.05 (31.00)
TRS/AG01 - #3.22 66%0.26 (0.49)8.90 (12.70)118.61 (146.04)15.01 (19.01)
TRS/AG01 - #3.23 0%0.03 (0.33)2.41 (3.38)0.14 (0.21)0.97 (1.49)0.01 (0.28)0.90 (1.53)
TRS/AG01 - #3.24 0%0.02 (1.29)2.25 (3.16)0.04 (0.13)0.92 (1.19)0.03 (0.26)1.01 (1.30)
TRS/AG01 - #3.26 0%0.04 (0.19)2.22 (5.37)0.20 (0.24)1.02 (1.09)0.00 (0.06)0.80 (1.50)
TRS/AG01 - #3.29 0%0.02 (0.19)2.23 (4.48)0.02 (0.54)0.79 (2.53)0.01 (2.56)0.85 (1.50)
TRS/AG01 - #3.2 0%0.03 (0.29)4.32 (6.03)1.69 (3.74)3.43 (4.54)0.14 (0.30)1.91 (6.28)
TRS/AG01 - #3.31 0%0.02 (0.25)2.69 (3.00)0.22 (0.61)1.08 (2.16)0.02 (3.18)1.00 (1.67)
TRS/AG01 - #3.33 0%0.02 (1.22)2.79 (3.23)0.51 (0.56)1.71 (1.46)0.05 (0.11)1.14 (1.33)
TRS/AG01 - #3.35 0%0.02 (0.28)2.35 (3.20)0.06 (0.13)1.08 (4.79)0.02 (0.08)0.88 (1.20)
TRS/AG01 - #3.36 0%0.05 (0.25)4.48 (4.78)0.84 (0.93)2.57 (3.33)0.05 (0.12)1.49 (1.71)
TRS/AG01 - #3.37 0%4.44 (4.83)7.70 (3.54)0.45 (1.65)2.27 (2.58)0.05 (0.11)1.36 (1.62)
TRS/AG01 - #3.38 0%0.06 (0.27)5.03 (6.54)1.10 (1.27)3.23 (2.97)0.07 (0.13)1.89 (2.15)
TRS/AG01 - #3.39 33%42.01 (48.59)13.10 (23.16)16.42 (4.86)2.44 (2.55)7.31 (7.10)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/AG01 - #3.40 100%74.58 (85.04)118.46 (133.39)41.84 (50.72)
TRS/AG01 - #3.41 33%0.99 (1.20)0.41 (0.47)1.62 (2.64)0.04 (0.11)1.16 (1.83)
TRS/AG01 - #3.42 33%32.13 (38.21)1.39 (1.51)3.21 (2.92)0.20 (0.25)2.22 (2.25)
TRS/AG01 - #3.47 0%0.02 (0.21)3.25 (3.82)0.22 (0.29)1.30 (1.34)0.02 (0.07)1.07 (1.23)
TRS/AG01 - #3.48 0%0.05 (0.22)6.16 (7.00)1.65 (1.73)3.71 (2.59)0.13 (0.43)2.49 (2.65)
TRS/AG01 - #3.49 33%16.55 (18.17)20.96 (4.98)0.40 (0.52)1.79 (2.13)40.66 (50.89)
TRS/AG01 - #3.4 66%0.03 (0.28)5.79 (6.22)24.44 (29.85)6.45 (6.84)
TRS/AG01 - #3.51 0%0.05 (0.19)3.91 (5.15)0.66 (0.72)2.71 (2.34)0.13 (0.19)1.94 (2.33)
TRS/AG01 - #3.52 0%0.02 (0.23)2.97 (3.43)0.27 (0.34)1.31 (1.39)0.02 (0.71)1.10 (1.28)
TRS/AG01 - #3.53a 0%0.02 (0.18)2.42 (2.67)0.03 (0.08)0.95 (1.15)0.01 (0.06)0.87 (1.08)
TRS/AG01 - #3.53b 0%0.04 (0.21)3.38 (6.58)0.31 (0.36)1.48 (1.52)0.02 (0.07)1.14 (1.51)
TRS/AG01 - #3.53 0%0.10 (0.32)18.52 (23.12)3.07 (3.47)11.70 (9.62)0.41 (1.55)10.74 (11.55)
TRS/AG01 - #3.54 0%0.03 (0.20)3.54 (8.98)0.33 (0.46)1.69 (1.74)0.03 (0.10)1.14 (1.82)
TRS/AG01 - #3.55 100%72.17 (79.07)118.61 (138.98)48.13 (61.81)
TRS/AG01 - #3.56 33%10.78 (12.14)0.59 (0.69)2.39 (2.22)0.10 (0.16)1.57 (2.31)
TRS/AG01 - #3.57 66%0.13 (0.32)15.08 (17.29)72.71 (86.35)23.69 (30.34)
TRS/AG01 - #3.5a 0%12.29 (15.50)21.59 (9.72)2.78 (3.61)5.65 (3.48)0.31 (0.40)3.60 (3.92)
TRS/AG01 - #3.5b 0%35.22 (39.52)45.24 (10.38)2.84 (2.99)6.46 (4.04)0.23 (0.30)3.57 (3.59)
TRS/AG01 - #3.5 0%12.31 (12.60)20.89 (9.94)1.82 (1.90)3.79 (2.25)0.06 (0.14)1.69 (2.13)
TRS/AG01 - #3.6a 0%0.18 (0.35)8.84 (10.35)2.43 (3.78)6.15 (4.07)0.11 (0.17)2.51 (2.66)
TRS/AG01 - #3.6b 0%32.70 (35.37)43.48 (12.74)3.02 (3.16)6.45 (3.71)0.42 (0.49)4.73 (4.60)
TRS/AG01 - #3.6 0%0.16 (0.33)9.52 (9.74)4.15 (4.34)7.62 (3.70)0.26 (0.35)4.14 (4.35)
TRS/AG01 - #3.7 0%0.03 (0.20)2.90 (3.15)0.08 (0.12)1.09 (1.24)0.03 (0.08)1.04 (1.25)
TRS/AG01 - #3.8a 0%0.06 (1.31)5.65 (6.98)2.49 (2.68)4.74 (2.47)0.29 (0.35)2.81 (3.72)
TRS/AG01 - #3.8b 0%8.43 (8.68)17.52 (9.41)2.33 (2.53)5.51 (4.95)0.25 (0.34)3.58 (3.71)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/AG01 - #4.30c 100%96.13 (103.13)118.63 (128.38)46.62 (51.15)
TRS/AProVE - AAECC-ring 100%118.87 (129.08)115.84 (125.11)47.63 (51.06)
TRS/AProVE - AAECC 100%119.01 (128.98)111.78 (119.31)52.59 (56.91)
TRS/AProVE - fac 100%7.10 (7.48)118.64 (129.49)32.22 (34.04)
TRS/AProVE - forward_instantiation2 100%9.96 (11.55)0.81 (0.88)0.30 (0.34)
TRS/AProVE - forward_instantiation 100%8.36 (10.12)0.81 (0.86)0.27 (0.32)
TRS/AProVE - IJCAR_12 100%41.75 (44.99)21.04 (22.58)6.95 (7.11)
TRS/AProVE - IJCAR_18 100%48.12 (51.48)57.71 (62.42)15.44 (16.79)
TRS/AProVE - IJCAR_1 100%40.69 (45.35)118.81 (127.67)43.41 (47.47)
TRS/AProVE - IJCAR_26a 100%48.20 (52.33)34.98 (39.43)19.37 (19.81)
TRS/AProVE - IJCAR_26 100%48.17 (51.87)35.16 (38.44)19.27 (21.07)
TRS/AProVE - improved_usable2 33%6.75 (8.32)0.44 (0.55)1.82 (1.60)0.06 (0.14)1.33 (1.86)
TRS/AProVE - improved_usable 33%7.14 (10.11)0.67 (0.75)1.99 (1.63)0.06 (0.12)ERROR (ERROR)
TRS/AProVE - JFP_Ex31 100%51.99 (56.14)119.02 (127.96)56.45 (60.88)
TRS/AProVE - JFP_Ex51 0%1.11 (1.30)16.41 (17.58)3.97 (4.16)14.02 (11.37)0.56 (0.67)9.80 (9.93)
TRS/AProVE - Liveness6.1 66%17.43 (19.41)0.64 (0.74)3.22 (4.60)49.86 (52.82)
TRS/AProVE - Liveness6.2 33%23.42 (25.13)0.45 (0.52)2.69 (2.49)3.71 (3.81)6.43 (2.99)
TRS/AProVE - Liveness6.3 66%61.61 (68.18)1.54 (1.63)5.87 (4.93)53.42 (58.87)
TRS/AProVE - Liveness6.4 100%119.13 (128.64)118.87 (129.10)51.74 (56.28)
TRS/AProVE - Liveness8 0%61.58 (66.89)78.31 (18.73)4.00 (4.17)12.80 (10.13)1.34 (1.47)11.50 (12.23)
TRS/AProVE - Liveness_WRS 33%48.12 (53.29)2.43 (2.55)7.11 (4.94)19.60 (21.19)26.37 (8.34)
TRS/AProVE - LPAR_intlist 66%13.69 (15.73)0.93 (1.00)3.30 (3.60)48.78 (52.02)
TRS/AProVE - rta1 100%6.87 (8.23)118.51 (129.92)31.07 (32.84)
TRS/AProVE - rta2 0%0.02 (0.24)2.37 (2.61)0.02 (0.08)0.84 (1.04)0.03 (0.08)1.17 (1.64)
TRS/AProVE - rta3 100%13.97 (15.82)118.79 (128.86)6.40 (6.52)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/Beerendonk - 10 100%96.64 (105.16)118.66 (127.63)31.50 (34.23)
TRS/Beerendonk - 11 100%96.19 (105.57)18.13 (18.72)5.67 (5.90)
TRS/Beerendonk - 12 100%96.20 (104.60)13.08 (13.41)5.04 (5.19)
TRS/Beerendonk - 13 100%96.16 (104.64)12.47 (12.79)4.38 (4.51)
TRS/Beerendonk - 14 100%69.72 (76.57)24.81 (26.70)16.43 (16.69)
TRS/Beerendonk - 15 100%119.13 (128.07)118.70 (127.91)42.50 (44.30)
TRS/Beerendonk - 16 100%119.09 (128.67)118.91 (127.58)0.00 (1101.24)
TRS/Beerendonk - 17 100%119.11 (129.91)118.49 (127.87)44.72 (49.75)
TRS/Beerendonk - 18 100%119.10 (133.69)118.89 (127.56)49.57 (53.84)
TRS/Beerendonk - 19 100%119.08 (128.83)118.88 (129.95)51.04 (52.92)
TRS/Beerendonk - 1 100%39.51 (41.52)94.34 (101.32)22.84 (24.58)
TRS/Beerendonk - 20 100%96.44 (103.42)118.50 (128.83)40.78 (44.98)
TRS/Beerendonk - 21 100%96.43 (102.60)118.55 (127.56)43.83 (48.01)
TRS/Beerendonk - 22 100%96.14 (103.99)118.80 (129.82)26.14 (30.26)
TRS/Beerendonk - 23 100%96.15 (105.64)118.80 (127.62)33.78 (35.57)
TRS/Beerendonk - 24 100%119.04 (128.46)118.87 (127.71)48.73 (53.13)
TRS/Beerendonk - 2 100%48.07 (52.38)118.88 (128.76)30.77 (33.54)
TRS/Beerendonk - 3 100%42.69 (47.34)56.39 (60.83)10.50 (10.70)
TRS/Beerendonk - 4 100%18.11 (22.24)36.91 (38.80)3.16 (3.27)
TRS/Beerendonk - 5 100%48.06 (52.70)118.75 (128.20)34.06 (36.15)
TRS/Beerendonk - 6 100%23.43 (26.27)56.33 (62.25)8.30 (8.47)
TRS/Beerendonk - 7 100%29.54 (32.85)118.81 (129.34)35.31 (37.13)
TRS/Beerendonk - 8 100%48.06 (52.45)118.74 (129.03)44.40 (47.35)
TRS/Beerendonk - 9 100%48.09 (52.50)118.63 (128.69)43.02 (46.22)
TRS/Cime - ack_prolog 0%8.69 (11.48)13.85 (5.53)1.04 (1.15)3.40 (2.58)0.10 (0.19)2.09 (2.84)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/Cime - append-hard 100%26.73 (29.67)95.98 (103.52)23.95 (25.65)
TRS/Cime - append 0%0.03 (0.21)4.21 (4.41)0.53 (0.59)2.23 (1.91)0.02 (0.10)1.71 (2.28)
TRS/Cime - append-wrong 100%34.00 (37.63)118.81 (127.89)42.33 (47.40)
TRS/Cime - big 100%96.74 (103.96)60.13 (65.41)44.98 (47.96)
TRS/Cime - boolean_rings 0%0.07 (0.23)7.28 (8.84)2.48 (2.58)6.92 (4.70)0.12 (0.19)3.98 (5.93)
TRS/Cime - dpqs 0%0.01 (0.19)2.85 (3.09)0.52 (0.62)2.26 (1.94)0.12 (0.18)1.68 (1.92)
TRS/Cime - fact-hard 100%43.29 (46.25)118.50 (128.57)35.57 (39.07)
TRS/Cime - filliatre2 0%0.11 (0.28)9.45 (9.70)1.03 (1.10)10.97 (11.73)0.78 (0.87)10.06 (11.56)
TRS/Cime - filliatre3 0%0.20 (0.41)12.74 (14.52)5.19 (5.35)21.31 (19.02)1.91 (2.03)15.27 (14.75)
TRS/Cime - filliatre 0%8.26 (8.51)16.83 (10.34)0.87 (0.97)9.31 (8.80)0.57 (0.67)7.96 (9.04)
TRS/Cime - intersect 33%8.36 (8.62)51.99 (49.44)2.74 (2.86)11.18 (11.17)48.68 (51.93)
TRS/Cime - list-sum-prod-assoc-append 33%0.18 (0.38)29.62 (32.68)2.48 (2.71)9.38 (7.58)26.23 (29.19)
TRS/Cime - list-sum-prod-assoc 33%0.14 (0.31)18.20 (19.97)1.76 (1.87)6.18 (5.03)22.70 (25.46)
TRS/Cime - list-sum-prod-bin-assoc-distr-app 33%24.83 (28.95)97.38 (78.45)6.63 (6.83)15.91 (9.90)25.61 (28.69)
TRS/Cime - list-sum-prod-bin-assoc 33%24.67 (27.88)64.16 (42.62)2.27 (2.40)7.83 (6.29)14.51 (14.85)
TRS/Cime - list-sum-prod-bin 33%0.19 (0.38)21.18 (22.68)1.79 (1.90)5.16 (4.01)11.67 (13.57)
TRS/Cime - list-sum-prod 33%0.49 (0.71)12.62 (12.49)1.28 (1.40)4.35 (5.11)33.21 (36.48)
TRS/Cime - log2 66%118.56 (129.02)5.22 (5.48)17.26 (12.94)41.47 (46.53)
TRS/Cime - lse 33%0.37 (0.56)82.58 (90.96)4.26 (4.42)20.48 (17.10)32.40 (36.88)
TRS/Cime - maude2 100%48.11 (51.34)118.81 (129.56)55.62 (60.16)
TRS/Cime - mucrl1 100%118.71 (130.43)50.94 (54.53)56.12 (60.86)
TRS/Cime - quick 0%24.14 (27.05)47.07 (23.49)3.86 (4.03)26.31 (24.29)0.47 (0.63)20.81 (22.32)
TRS/Cime - ternary-hard 100%81.95 (89.72)69.33 (75.58)26.26 (31.72)
TRS/Cime - ternary 33%49.87 (54.43)103.08 (59.53)4.79 (4.99)13.03 (8.94)22.88 (25.67)
TRS/Cime - tree 0%74.77 (79.96)163.33 (98.63)4.69 (7.22)27.03 (22.86)2.37 (2.53)30.46 (30.61)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/CSR - Ex1_Luc04b_GM 66%119.09 (130.02)2.40 (2.55)22.55 (20.68)55.74 (60.15)
TRS/D33 - 01 0%0.02 (0.24)2.02 (4.53)0.09 (0.19)1.13 (3.88)0.01 (0.07)0.75 (1.25)
TRS/D33 - 02 0%0.01 (0.23)1.77 (1.99)0.08 (0.13)1.02 (1.19)0.01 (0.06)0.66 (0.86)
TRS/D33 - 03 0%0.01 (0.24)1.49 (1.74)0.03 (0.08)0.73 (0.99)0.01 (0.06)ERROR (ERROR)
TRS/D33 - 04 0%0.03 (0.24)2.07 (2.26)0.03 (0.09)0.85 (1.04)0.02 (0.08)0.94 (1.17)
TRS/D33 - 06 0%0.04 (0.25)2.01 (2.20)0.04 (0.10)0.83 (1.06)0.01 (0.08)0.74 (1.00)
TRS/D33 - 07 0%0.02 (0.19)2.86 (3.09)0.05 (0.11)1.06 (1.20)0.02 (0.09)1.09 (1.32)
TRS/D33 - 08 66%0.19 (0.68)9.42 (9.82)118.95 (128.46)44.13 (48.40)
TRS/D33 - 09 0%0.03 (0.20)2.25 (2.46)0.02 (0.07)0.77 (0.98)0.01 (0.08)1.00 (1.49)
TRS/D33 - 11 66%19.63 (20.03)37.32 (22.20)118.71 (128.52)47.07 (51.58)
TRS/D33 - 12 100%3.99 (4.31)118.71 (127.74)29.82 (30.18)
TRS/D33 - 13 33%0.10 (0.28)21.18 (21.55)1.68 (1.77)5.17 (4.29)27.72 (32.71)
TRS/D33 - 17 33%0.03 (0.26)4.15 (4.46)0.20 (0.26)2.02 (5.71)5.27 (5.43)
TRS/D33 - 18 0%0.03 (0.19)2.60 (2.84)0.27 (0.34)1.25 (1.27)0.01 (0.07)0.90 (1.11)
TRS/D33 - 20 0%0.05 (0.20)7.16 (7.44)0.45 (0.49)1.75 (1.52)0.02 (0.07)1.30 (1.53)
TRS/D33 - 21 100%1.65 (1.85)71.00 (79.58)32.08 (32.49)
TRS/D33 - 27 0%0.03 (0.21)2.41 (2.66)0.02 (0.07)0.92 (1.10)0.01 (0.07)0.88 (1.59)
TRS/D33 - 28 33%0.11 (0.28)13.09 (17.05)1.38 (1.48)7.39 (6.31)24.26 (24.54)
TRS/D33 - 30 66%0.15 (0.34)18.40 (22.65)118.77 (128.40)27.14 (27.50)
TRS/D33 - 31 66%0.05 (0.23)8.36 (8.81)118.78 (130.20)31.47 (31.90)
TRS/D33 - 32 0%48.14 (48.84)55.37 (13.19)3.01 (3.12)6.04 (7.12)0.15 (0.22)3.11 (3.51)
TRS/D33 - 33 100%48.08 (48.69)118.86 (132.08)50.59 (51.18)
TRS/Endrullis - direct 33%11.59 (15.72)2.25 (2.34)3.85 (1.88)0.25 (0.32)1.88 (2.28)
TRS/Endrullis - labeling 100%0.80 (0.97)7.51 (7.77)3.96 (4.04)
TRS/Endrullis - linear1 100%2.24 (2.48)47.63 (48.38)38.04 (42.20)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/Endrullis - linear2 100%49.85 (54.19)118.85 (127.75)42.23 (46.57)
TRS/Endrullis - pair2hard 66%4.60 (4.86)6.87 (7.03)8.85 (2.74)45.68 (50.71)
TRS/Endrullis - pair2simple1 33%4.69 (4.94)1.17 (1.23)2.44 (1.48)0.08 (0.15)1.34 (1.54)
TRS/Endrullis - pair2simple2 100%5.88 (6.20)51.12 (55.65)40.16 (44.42)
TRS/Endrullis - pair3hard 100%2.02 (2.28)118.74 (129.34)40.31 (45.32)
TRS/Endrullis - pair3rotate 0%0.70 (0.85)35.12 (39.77)12.91 (13.17)15.00 (2.33)1.28 (1.36)3.84 (3.23)
TRS/Endrullis - pair3swap 33%6.13 (6.41)8.40 (8.61)10.64 (2.45)5.97 (6.13)8.80 (3.31)
TRS/Endrullis - quadruple1 33%5.14 (5.39)6.52 (8.17)8.43 (2.14)1.31 (1.38)3.72 (5.06)
TRS/Endrullis - quadruple2 33%7.03 (7.37)12.13 (12.32)14.26 (2.65)4.03 (4.12)6.51 (2.74)
TRS/HM - n002 100%0.04 (0.20)0.03 (0.06)0.01 (0.05)
TRS/HM - n003 100%0.18 (0.35)0.21 (0.23)0.05 (0.08)
TRS/HM - n004 100%0.04 (0.20)0.20 (0.23)0.06 (0.07)
TRS/HM - n005 100%0.09 (0.24)0.79 (0.85)0.24 (0.28)
TRS/HM - n006 100%0.16 (0.33)0.78 (0.82)0.24 (0.28)
TRS/HM - n007 100%0.79 (0.94)0.95 (0.99)0.34 (0.38)
TRS/HM - n008 100%0.10 (0.25)0.17 (0.23)0.05 (0.08)
TRS/HM - t000 0%0.53 (0.77)62.49 (66.80)2.14 (2.32)12.88 (11.09)0.83 (0.91)12.87 (18.25)
TRS/HM - t001 100%97.89 (106.64)49.32 (50.53)34.81 (41.34)
TRS/HM - t002 100%24.76 (25.97)56.27 (61.86)27.56 (31.77)
TRS/HM - t003 66%11.81 (19.34)36.89 (34.78)40.44 (45.72)10.30 (12.17)
TRS/HM - t004 100%1.08 (10.05)118.62 (131.91)36.52 (43.60)
TRS/HM - t005 33%3.57 (23.01)361.55 (395.53)23.85 (25.59)40.49 (25.06)49.75 (58.46)
TRS/HM - t006 0%0.03 (8.67)2.17 (3.71)0.02 (0.55)0.78 (1.53)0.01 (5.84)0.83 (5.78)
TRS/HM - t007 0%0.01 (7.21)1.93 (4.09)0.08 (2.83)1.01 (1.73)0.03 (0.52)1.09 (2.67)
TRS/HM - t008 33%3.34 (15.76)0.92 (5.53)2.62 (4.23)0.32 (0.56)1.80 (3.77)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/HM - t009 100%118.76 (136.48)118.88 (134.78)45.63 (51.51)
TRS/HM - t010 0%0.02 (4.86)1.79 (5.15)0.03 (1.40)0.94 (5.17)0.01 (2.01)0.94 (3.15)
TRS/HM - t011 0%0.04 (4.21)2.48 (3.09)0.04 (0.90)0.93 (1.29)0.01 (0.99)0.94 (2.19)
TRS/HM - t012 0%0.06 (4.30)9.70 (11.53)0.76 (1.92)2.49 (2.98)0.26 (0.85)2.21 (2.62)
TRS/HM - t013 0%0.04 (8.23)4.57 (7.69)1.03 (3.62)3.43 (9.39)0.07 (3.64)1.56 (2.20)
TRS/HM - t014 0%0.06 (1.35)7.09 (8.72)2.13 (3.93)5.16 (3.67)0.07 (0.98)1.75 (4.00)
TRS/HofWald - 1 33%0.88 (11.07)2.36 (6.59)4.03 (4.43)6.12 (7.02)7.93 (6.56)
TRS/HofWald - 2 33%2.94 (7.88)1.07 (2.87)2.53 (4.23)0.03 (4.50)1.21 (4.70)
TRS/HofWald - 3 100%0.51 (4.40)118.87 (131.26)12.62 (13.68)
TRS/HofWald - 4 100%0.56 (6.87)118.84 (129.72)28.32 (30.95)
TRS/HofWald - 5 33%0.39 (10.21)0.70 (4.35)1.86 (4.91)0.11 (3.63)1.40 (11.02)
TRS/HofWald - 6 100%0.69 (3.04)118.92 (130.63)27.92 (29.48)
TRS/HofWald - 7 100%1.54 (2.75)118.83 (128.86)24.27 (26.61)
TRS/Koprowski - gcd_triple 0%0.21 (1.85)20.10 (22.06)8.48 (10.47)13.61 (10.53)50.30 (57.53)55.36 (9.09)
TRS/LJB01 - jones1 0%0.03 (0.75)2.72 (3.47)0.07 (0.12)1.23 (2.20)0.02 (0.49)1.12 (1.33)
TRS/LJB01 - jones2 0%0.03 (1.04)3.46 (4.67)0.40 (0.61)2.29 (3.00)0.69 (2.27)4.53 (5.49)
TRS/LJB01 - jones4 0%0.03 (5.80)2.95 (3.47)0.04 (0.22)1.01 (1.29)0.02 (0.85)0.96 (1.72)
TRS/LJB01 - jones5 0%0.04 (0.25)2.94 (4.56)0.07 (0.35)1.18 (1.71)0.04 (0.60)1.32 (1.70)
TRS/LJB01 - jones6 0%0.03 (1.70)3.96 (4.67)0.13 (0.30)1.74 (3.71)0.05 (0.49)1.49 (1.95)
TRS/Rubio - aoto 33%0.40 (0.64)0.22 (0.27)1.17 (1.15)0.03 (0.26)1.02 (1.55)
TRS/Rubio - bintrees 0%0.03 (0.29)4.57 (4.83)0.22 (1.74)2.75 (3.43)0.06 (0.42)1.94 (2.56)
TRS/Rubio - bn122 0%0.04 (1.11)3.70 (6.57)0.04 (0.21)1.06 (1.95)0.03 (1.27)1.48 (2.25)
TRS/Rubio - bn129 0%0.47 (2.08)4.95 (6.74)1.08 (1.75)2.66 (2.60)0.03 (2.77)1.56 (2.33)
TRS/Rubio - division 0%6.17 (7.93)13.01 (8.79)1.66 (2.68)3.95 (3.10)0.14 (1.19)2.47 (2.99)
TRS/Rubio - elimdupl 0%1.67 (6.49)9.72 (9.86)2.63 (3.01)6.79 (7.72)0.26 (1.37)4.36 (5.82)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/Rubio - enno 0%8.13 (10.93)26.48 (23.16)3.35 (4.07)12.24 (9.26)0.37 (1.43)8.69 (9.67)
TRS/Rubio - gcd 0%0.18 (0.49)9.58 (10.83)4.28 (5.98)8.42 (5.25)0.34 (0.43)3.98 (4.09)
TRS/Rubio - gmnp 0%0.03 (0.32)3.83 (8.06)0.31 (2.35)2.12 (2.06)0.16 (1.54)2.09 (3.25)
TRS/Rubio - gm 0%0.02 (0.88)3.98 (5.70)0.76 (2.03)1.98 (1.99)0.04 (0.26)1.42 (2.15)
TRS/Rubio - koen 0%0.02 (1.79)3.12 (4.23)0.06 (0.13)1.15 (1.79)0.01 (0.07)0.98 (1.28)
TRS/Rubio - lescanne 0%0.05 (0.19)3.49 (4.13)0.08 (0.12)1.30 (1.43)0.06 (0.60)1.89 (3.44)
TRS/Rubio - lindau 33%5.94 (6.34)0.25 (0.62)1.21 (1.54)0.06 (0.78)1.32 (2.41)
TRS/Rubio - logarquot 0%0.05 (0.74)5.02 (8.71)1.13 (1.47)2.84 (2.36)0.09 (0.15)1.76 (2.25)
TRS/Rubio - ma96 100%118.93 (128.43)101.69 (112.94)51.71 (55.20)
TRS/Rubio - mfp90b 0%0.02 (0.44)2.46 (2.89)0.04 (0.33)0.98 (1.44)0.03 (0.11)1.19 (1.84)
TRS/Rubio - mfp95 0%0.02 (1.17)1.88 (3.92)0.03 (2.80)0.80 (3.04)0.02 (0.47)0.83 (1.21)
TRS/Rubio - nestrec 0%0.03 (0.60)2.30 (2.54)0.29 (1.81)1.26 (4.69)0.02 (0.24)0.87 (1.41)
TRS/Rubio - p266 0%0.05 (0.41)2.23 (3.39)0.18 (0.33)1.27 (1.50)0.03 (0.28)0.97 (1.28)
TRS/Rubio - polo2 66%18.57 (19.89)35.68 (22.49)118.74 (128.11)47.23 (51.70)
TRS/Rubio - prov 0%0.03 (5.42)3.18 (5.66)0.44 (3.98)1.57 (6.91)0.03 (6.22)1.29 (9.44)
TRS/Rubio - quick 100%72.11 (85.29)118.65 (129.93)50.93 (57.28)
TRS/Rubio - quotminus 0%0.05 (2.66)6.11 (6.98)1.24 (2.39)3.47 (2.97)0.11 (2.40)2.28 (5.70)
TRS/Rubio - revlist 0%0.06 (4.01)5.31 (6.66)1.22 (1.65)3.34 (3.40)0.11 (0.38)2.24 (3.05)
TRS/Rubio - selsort 100%117.53 (129.15)118.66 (128.83)50.95 (55.81)
TRS/Rubio - test4 0%1.94 (4.83)6.01 (5.76)0.25 (1.78)1.54 (4.44)0.10 (5.14)1.66 (7.41)
TRS/Rubio - test829 0%0.05 (1.48)2.66 (3.59)0.06 (0.81)1.04 (2.53)0.03 (0.84)1.03 (2.10)
TRS/Rubio - wst99 0%8.10 (13.29)21.75 (14.21)4.02 (5.17)13.73 (12.97)0.51 (1.14)8.19 (8.92)
TRS/secret05 - aprove1 100%12.49 (21.92)118.40 (129.39)14.88 (15.26)
TRS/secret05 - aprove2 100%86.40 (95.32)118.85 (130.18)48.94 (54.95)
TRS/secret05 - aprove3 100%39.69 (49.09)28.48 (32.58)4.94 (7.55)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/secret05 - aprove4 100%30.85 (40.86)118.84 (132.39)46.87 (51.94)
TRS/secret05 - aprove5 100%24.33 (34.64)118.17 (130.33)49.21 (54.04)
TRS/secret05 - cime1 66%118.99 (131.69)13.04 (14.47)21.24 (15.52)48.15 (53.90)
TRS/secret05 - cime2 33%0.18 (5.12)26.36 (31.29)2.57 (5.03)7.11 (6.53)8.48 (9.74)
TRS/secret05 - cime3 100%81.19 (96.59)118.66 (129.23)49.25 (53.82)
TRS/secret05 - cime4 100%16.07 (22.08)5.52 (7.72)2.00 (5.24)
TRS/secret05 - cime5 0%68.23 (73.36)205.61 (151.07)51.52 (59.30)TIMEOUT (TIMEOUT)5.90 (8.78)ERROR (ERROR)
TRS/secret05 - matchbox1 100%0.50 (0.70)4.04 (5.17)10.11 (11.82)
TRS/secret05 - matchbox2 33%0.45 (0.63)0.41 (0.48)1.49 (1.34)0.04 (0.14)1.13 (1.88)
TRS/secret05 - teparla1 100%1.19 (1.52)118.44 (130.32)36.56 (38.43)
TRS/secret05 - teparla2 100%1.74 (1.99)118.73 (128.03)33.22 (34.63)
TRS/secret05 - teparla3 100%1.37 (1.59)118.62 (127.94)29.21 (33.36)
TRS/secret05 - tpa1 100%32.08 (32.53)65.47 (72.76)33.68 (37.18)
TRS/secret05 - tpa2 100%14.57 (14.93)38.41 (42.85)46.57 (51.05)
TRS/secret05 - tpa3 100%16.62 (17.00)28.82 (29.47)31.02 (35.17)
TRS/secret05 - tpa4 100%16.37 (18.18)71.28 (76.38)32.91 (37.05)
TRS/secret05 - tpa5 100%27.42 (30.15)118.83 (129.88)48.43 (51.29)
TRS/secret05 - ttt1 100%2.81 (3.01)15.91 (16.29)3.69 (3.83)
TRS/secret05 - ttt2 100%0.35 (0.53)18.73 (22.83)0.63 (0.67)
TRS/secret06 - cime1 100%2.42 (2.71)29.19 (31.36)10.92 (11.22)
TRS/secret06 - tpa01 100%0.78 (1.00)118.91 (128.00)25.90 (28.61)
TRS/secret06 - tpa02 100%0.97 (3.43)118.91 (128.24)24.31 (26.09)
TRS/secret06 - tpa03 100%0.85 (1.07)118.84 (127.77)26.12 (26.44)
TRS/secret06 - tpa04 100%46.96 (51.34)118.82 (127.77)46.57 (51.89)
TRS/secret06 - tpa05 100%34.45 (37.31)14.03 (14.56)37.59 (42.79)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/secret06 - tpa06 100%37.92 (42.31)118.36 (128.03)48.08 (51.06)
TRS/secret06 - tpa07 100%22.38 (25.87)107.52 (114.17)30.67 (34.88)
TRS/secret06 - tpa08 100%43.95 (49.39)15.02 (21.56)38.17 (43.64)
TRS/secret06 - tpa09 100%118.15 (133.29)23.59 (29.01)41.41 (45.26)
TRS/secret06 - tpa10 100%32.37 (37.10)86.51 (93.52)32.40 (37.04)
TRS/SK90 - 2.01 0%0.04 (0.22)4.10 (4.81)0.13 (0.19)1.52 (1.64)0.06 (0.17)1.76 (2.52)
TRS/SK90 - 2.02 0%0.08 (0.28)12.40 (12.79)0.08 (0.12)1.16 (1.38)0.04 (0.09)1.49 (1.74)
TRS/SK90 - 2.03 0%0.03 (0.24)2.80 (3.01)0.08 (0.12)1.11 (1.29)0.02 (0.08)1.03 (2.79)
TRS/SK90 - 2.04 0%0.02 (0.23)2.99 (3.20)0.03 (0.10)0.94 (1.16)0.04 (0.08)1.33 (1.53)
TRS/SK90 - 2.05 100%3.90 (10.05)118.56 (133.48)41.62 (44.41)
TRS/SK90 - 2.06 0%0.05 (0.29)4.31 (9.33)0.12 (6.92)1.33 (1.45)0.05 (0.14)1.78 (7.17)
TRS/SK90 - 2.07 33%0.04 (0.29)8.14 (9.95)1.60 (3.16)5.01 (3.78)4.70 (8.94)
TRS/SK90 - 2.08 0%0.03 (0.30)6.31 (6.58)1.00 (1.09)3.39 (2.66)0.10 (0.20)2.41 (2.63)
TRS/SK90 - 2.09 0%0.01 (0.19)2.50 (2.75)0.04 (0.09)1.03 (1.21)0.01 (0.08)1.06 (1.43)
TRS/SK90 - 2.10 0%0.04 (0.21)4.20 (4.75)0.16 (0.22)1.86 (1.92)0.74 (1.69)4.32 (5.32)
TRS/SK90 - 2.11 0%0.04 (0.21)3.31 (3.52)0.08 (0.16)1.22 (1.36)0.02 (0.07)0.91 (1.13)
TRS/SK90 - 2.12 33%0.11 (0.30)10.33 (10.61)1.97 (6.44)4.87 (3.67)40.23 (43.17)
TRS/SK90 - 2.13 0%0.05 (0.19)3.78 (3.94)0.14 (0.18)1.82 (1.89)0.03 (0.13)1.23 (1.47)
TRS/SK90 - 2.14 0%0.05 (0.22)5.19 (5.40)0.20 (1.61)2.01 (2.14)0.03 (0.08)1.17 (1.36)
TRS/SK90 - 2.15 0%0.03 (0.20)3.09 (3.33)0.46 (0.53)1.94 (1.71)0.03 (0.07)1.25 (1.39)
TRS/SK90 - 2.16 33%0.44 (0.64)13.93 (15.50)11.20 (11.58)13.92 (3.28)24.09 (26.74)
TRS/SK90 - 2.17 0%0.03 (0.21)3.02 (3.32)0.31 (0.36)1.40 (1.31)0.04 (0.08)1.06 (1.24)
TRS/SK90 - 2.18 33%0.11 (0.30)10.11 (11.97)2.40 (2.49)3.49 (1.63)28.89 (31.59)
TRS/SK90 - 2.19 66%0.62 (1.71)16.78 (18.65)118.80 (129.13)41.21 (44.11)
TRS/SK90 - 2.20 0%0.04 (0.64)3.19 (3.44)0.34 (0.57)1.69 (1.80)0.03 (0.30)1.26 (1.66)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/SK90 - 2.21 0%0.02 (1.89)2.82 (4.48)0.50 (0.89)1.84 (1.81)0.03 (0.29)1.11 (2.32)
TRS/SK90 - 2.22 0%0.04 (0.57)5.03 (6.04)0.74 (2.30)2.45 (2.12)0.08 (0.30)1.80 (2.24)
TRS/SK90 - 2.23 66%1.05 (2.64)24.19 (24.13)118.66 (130.09)32.55 (35.14)
TRS/SK90 - 2.24 0%0.02 (0.28)2.56 (4.28)0.04 (0.15)0.99 (1.15)0.02 (0.13)0.89 (1.38)
TRS/SK90 - 2.25 66%0.18 (0.36)10.72 (13.20)118.78 (128.76)39.99 (42.89)
TRS/SK90 - 2.26 66%0.88 (1.87)21.41 (24.21)118.19 (129.14)55.53 (60.23)
TRS/SK90 - 2.27 33%1.65 (1.85)15.70 (15.05)1.98 (2.09)6.31 (7.65)48.64 (51.89)
TRS/SK90 - 2.28 0%0.02 (0.40)2.29 (2.61)0.04 (0.15)0.77 (1.00)0.01 (0.34)0.85 (1.28)
TRS/SK90 - 2.29 0%0.04 (0.77)5.05 (6.27)1.32 (1.63)3.72 (3.03)0.09 (0.31)2.45 (4.23)
TRS/SK90 - 2.30 0%0.02 (0.64)2.35 (3.11)0.08 (0.62)1.65 (2.77)0.01 (0.50)0.75 (1.77)
TRS/SK90 - 2.31 0%0.03 (0.28)4.10 (5.89)0.13 (0.34)1.95 (2.24)0.04 (0.24)1.65 (1.88)
TRS/SK90 - 2.32 0%0.04 (0.23)4.31 (4.98)0.12 (0.28)2.09 (2.23)0.08 (0.79)3.48 (3.98)
TRS/SK90 - 2.33 0%0.03 (1.00)3.45 (3.68)0.08 (0.17)1.24 (1.39)0.03 (1.02)1.50 (1.93)
TRS/SK90 - 2.34 0%0.04 (1.06)4.36 (4.65)0.32 (0.52)2.04 (2.03)0.35 (0.50)3.68 (5.12)
TRS/SK90 - 2.35 0%0.03 (0.34)3.27 (3.47)0.10 (0.27)1.50 (1.63)0.03 (0.12)1.22 (1.42)
TRS/SK90 - 2.36 0%0.04 (0.29)3.19 (3.40)0.07 (0.12)1.15 (1.36)0.02 (0.14)1.13 (2.25)
TRS/SK90 - 2.37 0%0.05 (0.29)2.56 (2.75)0.03 (0.11)0.83 (1.04)0.00 (0.07)0.86 (1.09)
TRS/SK90 - 2.38 0%0.02 (0.39)3.22 (3.53)0.07 (0.15)1.30 (2.79)0.04 (0.11)1.58 (1.87)
TRS/SK90 - 2.39 0%0.03 (0.23)5.01 (5.33)0.17 (0.23)2.17 (2.26)0.05 (0.10)1.78 (2.11)
TRS/SK90 - 2.40 0%0.03 (0.32)4.14 (4.36)0.80 (0.91)3.29 (2.81)0.04 (0.13)1.52 (1.74)
TRS/SK90 - 2.41 0%0.02 (0.30)5.07 (5.37)0.28 (0.49)3.08 (3.15)0.04 (0.10)1.44 (3.15)
TRS/SK90 - 2.42 33%0.06 (0.68)7.58 (9.32)0.39 (0.51)3.61 (3.52)9.92 (11.15)
TRS/SK90 - 2.43 0%0.04 (0.45)6.32 (6.67)6.83 (7.04)8.89 (2.58)0.03 (0.20)0.06 (0.26)
TRS/SK90 - 2.44 0%0.09 (0.29)6.24 (6.77)2.12 (2.27)6.54 (6.29)0.22 (0.40)3.30 (3.46)
TRS/SK90 - 2.45 0%0.06 (0.55)5.42 (5.87)5.20 (6.80)6.99 (2.01)0.08 (0.64)1.82 (2.03)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/SK90 - 2.46 0%0.01 (0.43)2.55 (2.92)0.05 (0.16)0.93 (2.46)0.05 (0.14)1.37 (1.61)
TRS/SK90 - 2.47 0%0.03 (0.46)2.06 (2.39)0.04 (0.08)0.86 (1.09)0.01 (0.06)0.77 (1.10)
TRS/SK90 - 2.48 0%0.02 (0.39)2.32 (2.50)0.09 (0.25)1.69 (1.91)0.02 (0.15)1.25 (1.67)
TRS/SK90 - 2.49 0%0.06 (0.94)4.47 (6.27)0.21 (0.81)2.12 (2.65)0.12 (0.45)1.99 (2.31)
TRS/SK90 - 2.50 0%0.04 (0.50)1.86 (2.52)0.01 (0.09)0.76 (1.41)0.00 (0.26)0.75 (1.08)
TRS/SK90 - 2.51 66%0.18 (0.42)7.75 (9.82)118.78 (128.20)38.50 (41.50)
TRS/SK90 - 2.52 66%3.91 (4.59)47.06 (46.86)57.45 (64.01)26.85 (28.23)
TRS/SK90 - 2.53 0%0.04 (0.35)2.89 (3.10)0.04 (0.27)1.01 (1.39)0.01 (0.18)1.04 (1.60)
TRS/SK90 - 2.54 0%0.02 (0.55)2.23 (2.51)0.03 (0.14)0.90 (1.19)0.00 (0.13)0.88 (2.43)
TRS/SK90 - 2.55 0%0.03 (0.30)2.25 (2.49)0.02 (0.13)0.89 (1.16)0.01 (0.13)0.81 (1.19)
TRS/SK90 - 2.56 0%0.04 (0.30)2.25 (2.48)0.03 (0.12)1.02 (1.30)0.01 (0.12)1.03 (1.28)
TRS/SK90 - 2.57 0%0.03 (0.33)2.53 (2.76)0.04 (0.11)0.90 (1.08)0.02 (0.10)0.92 (1.13)
TRS/SK90 - 2.58 0%8.03 (9.89)10.87 (3.13)0.05 (0.13)1.21 (1.46)0.03 (0.13)1.30 (1.57)
TRS/SK90 - 2.59 0%0.01 (0.29)2.17 (2.53)0.16 (0.24)0.93 (1.96)0.02 (0.08)0.83 (1.02)
TRS/SK90 - 2.60 0%0.03 (0.28)2.35 (2.57)0.04 (0.13)0.85 (1.01)0.02 (0.09)0.89 (1.10)
TRS/SK90 - 2.61 0%0.05 (0.47)7.73 (9.63)0.44 (0.57)4.22 (4.23)0.14 (0.23)3.24 (3.38)
TRS/SK90 - 4.01 0%0.02 (0.49)1.98 (2.24)0.08 (0.15)1.07 (1.29)0.02 (0.10)0.99 (1.28)
TRS/SK90 - 4.02 66%0.22 (0.62)32.69 (34.72)30.06 (33.16)14.85 (16.71)
TRS/SK90 - 4.03 33%0.08 (0.30)8.89 (10.60)1.21 (1.34)3.97 (3.43)12.37 (13.61)
TRS/SK90 - 4.04 0%0.02 (0.41)3.22 (3.50)0.04 (0.11)0.92 (1.08)0.05 (0.13)1.54 (1.75)
TRS/SK90 - 4.05 33%0.05 (0.26)7.54 (8.00)0.60 (0.73)2.10 (2.66)23.07 (24.95)
TRS/SK90 - 4.06 100%25.91 (29.77)118.82 (128.20)31.31 (33.82)
TRS/SK90 - 4.07 0%0.02 (0.34)2.77 (3.15)0.07 (0.14)1.21 (2.73)0.03 (0.18)1.32 (1.91)
TRS/SK90 - 4.08 0%0.02 (0.32)2.29 (2.53)0.03 (0.15)0.92 (1.15)0.02 (0.12)1.05 (1.27)
TRS/SK90 - 4.09 33%0.09 (0.38)12.45 (12.77)1.64 (1.73)4.14 (3.77)20.74 (24.36)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/SK90 - 4.10 33%0.07 (0.43)11.12 (11.43)1.98 (3.46)5.77 (4.51)5.70 (5.91)
TRS/SK90 - 4.11 0%0.04 (0.22)3.01 (3.45)0.06 (0.15)0.99 (1.17)0.03 (0.12)1.16 (1.42)
TRS/SK90 - 4.12 0%0.02 (0.21)2.61 (3.34)0.06 (0.10)0.98 (1.15)0.03 (0.15)1.09 (1.29)
TRS/SK90 - 4.13 33%16.67 (17.24)1.45 (1.63)2.80 (2.60)0.08 (1.65)1.46 (1.75)
TRS/SK90 - 4.14 33%0.11 (0.45)11.70 (12.22)1.06 (1.33)3.80 (4.23)34.54 (37.91)
TRS/SK90 - 4.15 0%0.02 (0.18)2.25 (2.53)0.04 (0.12)0.93 (1.16)0.01 (0.14)1.06 (1.30)
TRS/SK90 - 4.16 0%0.04 (0.42)3.68 (4.07)0.14 (0.35)1.74 (3.13)0.06 (0.21)1.36 (1.81)
TRS/SK90 - 4.17 33%7.50 (8.32)0.85 (0.96)2.16 (1.88)0.07 (0.25)1.39 (1.63)
TRS/SK90 - 4.18 0%0.03 (0.20)3.31 (4.32)1.96 (2.20)3.06 (1.44)0.03 (0.17)0.05 (0.16)
TRS/SK90 - 4.19 0%0.04 (0.71)2.94 (4.76)0.05 (0.10)0.87 (1.00)0.02 (0.07)0.99 (1.18)
TRS/SK90 - 4.20 0%0.03 (0.41)6.11 (6.42)0.81 (0.98)2.81 (2.32)0.08 (0.19)2.94 (4.37)
TRS/SK90 - 4.21 33%0.05 (0.28)7.50 (7.85)1.60 (2.10)4.62 (4.03)19.05 (20.79)
TRS/SK90 - 4.22 66%0.18 (0.38)12.20 (12.85)118.75 (130.66)35.68 (40.11)
TRS/SK90 - 4.23 33%0.12 (1.02)17.19 (18.91)2.35 (2.55)12.56 (13.35)2.84 (2.99)
TRS/SK90 - 4.24 100%40.32 (42.94)118.85 (129.78)30.87 (32.86)
TRS/SK90 - 4.25 0%0.03 (0.39)2.81 (3.06)0.10 (0.20)1.39 (1.53)0.02 (0.14)0.94 (1.57)
TRS/SK90 - 4.26 33%0.04 (0.25)5.15 (5.36)0.29 (0.35)2.83 (2.83)6.19 (9.14)
TRS/SK90 - 4.27 66%14.91 (15.30)0.92 (0.98)3.38 (3.04)48.11 (52.50)
TRS/SK90 - 4.28 0%0.08 (0.28)11.14 (11.43)3.03 (3.18)7.58 (4.81)0.21 (0.30)4.54 (6.04)
TRS/SK90 - 4.29 0%0.04 (0.25)3.32 (3.67)0.12 (0.58)1.70 (1.78)0.02 (0.07)1.06 (1.28)
TRS/SK90 - 4.30 33%5.36 (5.69)0.81 (6.01)3.68 (3.35)0.24 (0.28)2.33 (6.78)
TRS/SK90 - 4.31 0%0.05 (0.25)4.77 (6.34)1.51 (1.64)2.89 (1.58)0.06 (0.13)1.72 (1.84)
TRS/SK90 - 4.32 66%82.87 (89.43)0.83 (0.94)3.58 (3.28)38.51 (41.41)
TRS/SK90 - 4.33 0%0.02 (0.20)1.85 (2.13)0.02 (0.08)0.76 (0.97)0.01 (0.08)0.76 (1.53)
TRS/SK90 - 4.34 100%1.36 (1.57)118.82 (132.14)36.49 (41.31)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/SK90 - 4.35 0%0.02 (0.18)1.78 (1.99)0.11 (0.15)0.96 (1.02)0.01 (0.07)0.82 (1.44)
TRS/SK90 - 4.36 0%0.01 (0.19)1.66 (1.87)0.09 (0.15)0.88 (1.02)0.00 (0.06)0.84 (1.04)
TRS/SK90 - 4.37 0%0.02 (0.20)1.53 (1.72)0.01 (0.07)0.74 (0.95)0.00 (0.06)ERROR (ERROR)
TRS/SK90 - 4.38 0%0.03 (0.22)3.61 (3.83)0.11 (0.15)1.41 (1.53)0.03 (0.09)1.32 (1.57)
TRS/SK90 - 4.39 0%0.03 (0.22)2.56 (5.26)0.14 (0.20)1.07 (1.15)0.02 (0.07)1.08 (1.29)
TRS/SK90 - 4.40 100%0.83 (1.01)11.13 (11.42)1.75 (1.84)
TRS/SK90 - 4.41 0%0.01 (0.23)2.22 (2.46)0.14 (0.20)1.10 (1.22)0.02 (0.07)1.00 (1.20)
TRS/SK90 - 4.42 100%54.91 (60.08)118.88 (132.38)34.32 (36.05)
TRS/SK90 - 4.43 0%0.05 (0.27)6.84 (8.47)0.43 (0.51)3.77 (3.58)0.30 (0.36)3.53 (3.96)
TRS/SK90 - 4.44 0%0.02 (0.24)2.95 (3.18)0.17 (0.24)1.34 (1.41)0.03 (0.13)1.46 (1.66)
TRS/SK90 - 4.45 0%0.03 (0.26)2.04 (2.26)0.02 (0.08)0.85 (1.04)0.01 (0.08)0.83 (1.03)
TRS/SK90 - 4.46 0%0.01 (0.18)1.77 (1.98)0.07 (0.11)0.94 (1.03)0.02 (0.06)0.91 (1.09)
TRS/SK90 - 4.47 0%0.02 (1.08)5.96 (6.20)0.30 (0.37)2.27 (6.67)0.12 (0.17)3.53 (3.68)
TRS/SK90 - 4.48 0%0.03 (0.22)3.35 (4.41)0.05 (0.11)1.04 (1.20)0.02 (0.09)1.24 (6.62)
TRS/SK90 - 4.49 100%1.03 (1.27)19.82 (21.68)3.71 (3.85)
TRS/SK90 - 4.50 100%0.59 (0.80)0.59 (0.64)0.18 (0.22)
TRS/SK90 - 4.51 33%16.46 (16.93)0.23 (0.30)1.59 (1.61)0.06 (0.15)1.39 (1.85)
TRS/SK90 - 4.52 0%0.03 (0.22)5.69 (5.95)0.30 (0.39)2.70 (2.66)0.16 (0.23)2.73 (5.28)
TRS/SK90 - 4.53 66%0.18 (0.38)8.77 (9.19)118.97 (133.69)44.46 (46.44)
TRS/SK90 - 4.54 100%6.76 (7.16)39.96 (45.19)39.42 (41.23)
TRS/SK90 - 4.55 100%0.47 (0.64)0.49 (0.53)0.13 (0.18)
TRS/SK90 - 4.56 0%0.05 (0.24)2.15 (2.33)0.13 (0.18)1.00 (1.12)0.01 (0.08)1.03 (1.58)
TRS/SK90 - 4.57 66%0.02 (2.44)6.73 (6.96)20.41 (27.89)6.63 (9.28)
TRS/SK90 - 4.59 0%0.06 (0.24)7.76 (8.02)3.44 (3.63)5.69 (2.48)0.23 (0.29)0.25 (0.11)
TRS/SK90 - 4.60 0%0.07 (0.24)7.59 (7.81)3.42 (7.33)5.84 (2.68)0.23 (0.29)0.25 (0.33)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/SK90 - 4.61 100%48.10 (51.94)118.61 (128.66)47.18 (51.71)
TRS/Ste92 - hydra 33%0.04 (0.20)4.20 (4.47)0.51 (0.58)1.89 (1.97)28.63 (39.87)
TRS/Ste92 - minsort 100%17.07 (20.05)92.07 (99.73)24.44 (27.43)
TRS/Ste92 - motivation 0%0.02 (0.25)2.48 (2.76)0.56 (0.61)1.82 (1.54)0.05 (0.13)ERROR (ERROR)
TRS/Ste92 - perfect2 66%12.35 (14.04)37.86 (26.31)39.95 (43.50)14.08 (15.73)
TRS/Ste92 - perfect 66%0.03 (0.26)6.73 (7.28)37.20 (40.93)8.24 (9.46)
TRS/Thiemann - div_notCeTermin 100%48.07 (52.32)119.04 (129.99)55.38 (60.13)
TRS/Thiemann - div_notTermin 100%115.69 (126.07)119.00 (128.39)55.67 (60.44)
TRS/Thiemann - factorial1 100%16.71 (19.72)118.52 (128.17)45.81 (49.40)
TRS/Thiemann - factorial2 100%52.81 (59.24)81.98 (90.50)33.43 (35.22)
TRS/Thiemann - identity 100%23.44 (26.84)118.71 (128.40)41.59 (44.42)
TRS/Thiemann - logarithm 100%114.94 (125.91)118.86 (128.50)52.16 (56.79)
TRS/Thiemann - mapHard 100%37.86 (41.54)118.40 (129.37)14.57 (14.85)
TRS/Thiemann - modulo 100%48.12 (52.87)16.69 (18.23)4.83 (4.96)
TRS/Thiemann - nonterm 100%25.84 (27.22)118.75 (128.20)39.44 (42.99)
TRS/Thiemann - quicksort 100%64.39 (69.41)52.26 (57.26)42.63 (47.35)
TRS/Thiemann - quot 100%61.99 (66.66)118.68 (128.41)47.87 (52.30)
TRS/Thiemann - sizeChange 100%19.59 (20.93)29.75 (35.27)3.82 (3.91)
TRS/Thiemann - tower_sizeChange 100%38.76 (42.25)118.67 (128.16)47.12 (51.82)
TRS/Thiemann - tower 100%17.83 (21.15)55.28 (58.93)42.44 (45.55)
TRS/TRCSR - Ex1_2_AEL03_C 100%72.31 (77.41)118.46 (129.24)55.65 (60.56)
TRS/TRCSR - Ex1_2_AEL03_GM 100%119.09 (128.42)51.07 (55.99)48.00 (52.79)
TRS/TRCSR - Ex1_2_AEL03_iGM 100%118.51 (128.29)118.31 (129.53)54.76 (59.39)
TRS/TRCSR - Ex1_2_Luc02c_Z 0%0.01 (0.25)2.97 (3.21)0.09 (0.15)1.79 (1.98)0.06 (0.13)1.95 (2.43)
TRS/TRCSR - Ex14_AEGL02_C 66%43.21 (47.81)32.55 (37.11)51.60 (19.52)52.26 (60.25)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/TRCSR - Ex14_AEGL02_GM 0%16.18 (16.46)24.24 (11.44)1.33 (1.41)5.51 (4.46)0.22 (0.29)4.95 (5.45)
TRS/TRCSR - Ex14_Luc06_C 100%39.00 (39.67)118.93 (129.10)55.38 (60.13)
TRS/TRCSR - Ex14_Luc06_FR 100%32.38 (37.39)2.46 (2.55)0.70 (0.75)
TRS/TRCSR - Ex14_Luc06_GM 100%40.85 (41.49)119.02 (130.90)29.08 (35.41)
TRS/TRCSR - Ex14_Luc06_Z 100%32.37 (38.69)2.50 (2.56)0.71 (0.75)
TRS/TRCSR - Ex15_Luc06_FR 0%0.03 (0.24)3.42 (3.66)0.26 (0.31)2.16 (2.20)0.05 (0.11)1.67 (2.22)
TRS/TRCSR - Ex15_Luc06_GM 0%0.04 (0.24)2.78 (2.97)0.24 (0.28)1.66 (1.71)0.04 (0.10)1.20 (1.38)
TRS/TRCSR - Ex15_Luc98_iGM 0%0.49 (0.70)83.67 (92.13)22.64 (23.31)74.77 (57.35)8.55 (8.75)82.89 (83.15)
TRS/TRCSR - Ex16_Luc06_iGM 100%49.05 (53.98)118.95 (129.79)9.06 (9.29)
TRS/TRCSR - Ex16_Luc06_L 100%0.20 (0.38)0.21 (0.24)0.07 (0.14)
TRS/TRCSR - Ex18_Luc06_FR 0%0.03 (0.22)3.01 (3.28)0.10 (0.15)1.43 (1.57)0.04 (0.11)1.59 (2.24)
TRS/TRCSR - Ex18_Luc06_GM 0%0.02 (0.21)2.79 (3.01)0.17 (0.21)1.57 (1.65)0.04 (0.10)1.15 (1.40)
TRS/TRCSR - Ex1_GL02a_GM 0%0.07 (0.27)10.43 (10.69)2.38 (2.50)9.54 (7.50)0.34 (0.42)7.23 (7.22)
TRS/TRCSR - Ex1_GL02a_Z 100%48.13 (52.60)118.85 (128.13)53.32 (57.86)
TRS/TRCSR - Ex1_GM03_GM 100%117.88 (128.36)118.51 (130.17)46.96 (51.47)
TRS/TRCSR - Ex1_GM99_iGM 100%57.78 (62.61)118.73 (128.19)43.98 (51.61)
TRS/TRCSR - Ex1_Luc02b_C 100%44.71 (49.67)118.76 (128.06)55.19 (60.15)
TRS/TRCSR - Ex1_Luc02b_FR 100%17.12 (17.47)118.64 (130.06)38.57 (42.94)
TRS/TRCSR - Ex1_Luc02b_iGM 100%118.59 (130.73)118.69 (128.27)0.00 (1101.14)
TRS/TRCSR - Ex1_Luc02b_L 100%0.02 (0.15)0.00 (0.03)0.00 (0.04)
TRS/TRCSR - Ex1_Luc04b_iGM 66%118.98 (128.35)10.99 (11.33)34.09 (26.66)55.55 (60.18)
TRS/TRCSR - Ex1_Zan97_C 33%47.13 (50.81)1.21 (2.18)5.48 (4.65)2.77 (2.91)6.26 (4.23)
TRS/TRCSR - Ex1_Zan97_GM 0%0.03 (0.21)3.49 (3.83)0.06 (0.12)1.70 (2.77)0.05 (0.11)1.85 (2.44)
TRS/TRCSR - Ex23_Luc06_iGM 0%0.08 (0.31)9.17 (9.41)0.76 (0.85)3.13 (2.62)0.29 (0.36)3.77 (3.76)
TRS/TRCSR - Ex24_GM04_Z 100%6.62 (6.90)5.98 (6.15)2.94 (3.02)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/TRCSR - Ex24_Luc06_GM 100%21.75 (23.33)119.01 (128.10)2.53 (7.32)
TRS/TRCSR - Ex24_Luc06_L 100%0.22 (0.36)0.22 (0.26)0.05 (0.09)
TRS/TRCSR - Ex25_Luc06_C 0%0.14 (0.31)22.21 (25.47)1.22 (1.30)7.85 (6.93)1.01 (1.10)ERROR (ERROR)
TRS/TRCSR - Ex25_Luc06_L 0%0.02 (0.21)1.76 (1.93)0.01 (0.06)0.82 (1.04)0.01 (0.08)0.89 (1.13)
TRS/TRCSR - Ex26_Luc03b_Z 100%119.06 (133.00)118.90 (128.14)47.72 (52.37)
TRS/TRCSR - Ex2_Luc02a_C 100%72.02 (76.76)118.65 (129.99)55.48 (60.14)
TRS/TRCSR - Ex2_Luc02a_Z 66%57.25 (65.00)86.06 (29.74)118.61 (131.30)40.31 (48.16)
TRS/TRCSR - Ex2_Luc03b_C 0%39.29 (40.04)105.56 (74.00)11.40 (11.67)43.62 (37.03)3.62 (3.85)24.19 (25.17)
TRS/TRCSR - Ex2_Luc03b_iGM 0%0.56 (0.79)56.81 (61.08)21.30 (25.84)61.66 (41.53)8.69 (10.33)48.45 (40.77)
TRS/TRCSR - Ex3_12_Luc96a_FR 66%0.53 (0.74)14.41 (14.58)118.84 (128.18)35.17 (39.59)
TRS/TRCSR - Ex3_12_Luc96a_L 100%0.01 (0.17)0.00 (0.03)0.00 (0.04)
TRS/TRCSR - Ex3_2_Luc97_iGM 100%119.04 (128.29)118.68 (128.14)0.00 (180.02)
TRS/TRCSR - Ex3_2_Luc97_L 100%0.01 (0.23)0.01 (0.04)0.01 (0.06)
TRS/TRCSR - Ex3_3_25_Bor03_C 0%44.47 (45.10)119.68 (86.57)10.37 (10.62)33.42 (27.44)11.81 (15.95)33.95 (23.03)
TRS/TRCSR - Ex4_7_37_Bor03_C 100%62.96 (67.69)118.67 (128.24)55.41 (60.21)
TRS/TRCSR - Ex4_7_37_Bor03_FR 100%32.82 (37.26)92.82 (100.33)42.81 (47.49)
TRS/TRCSR - Ex4_7_37_Bor03_L 100%0.01 (0.19)0.01 (0.04)0.00 (0.04)
TRS/TRCSR - Ex4_7_37_Bor03_Z 100%46.06 (52.72)118.92 (128.25)57.64 (62.38)
TRS/TRCSR - Ex4_7_56_Bor03_GM 100%105.32 (114.55)118.75 (129.80)39.67 (44.12)
TRS/TRCSR - Ex49_GM04_C 100%72.23 (77.12)118.77 (130.28)55.41 (60.13)
TRS/TRCSR - Ex49_GM04_L 100%0.03 (0.17)0.00 (0.03)0.01 (0.04)
TRS/TRCSR - Ex4_DLMMU04_C 100%72.31 (77.29)118.75 (128.10)55.54 (60.29)
TRS/TRCSR - Ex4_DLMMU04_FR 100%72.25 (77.21)118.54 (129.75)50.67 (55.43)
TRS/TRCSR - Ex4_DLMMU04_L 100%0.02 (1.02)0.01 (0.77)0.00 (0.97)
TRS/TRCSR - Ex5_7_Luc97_C 100%72.36 (77.12)118.45 (131.27)56.86 (61.32)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/TRCSR - Ex5_7_Luc97_GM 100%119.02 (129.44)118.66 (131.04)46.41 (54.12)
TRS/TRCSR - Ex5_DLMMU04_L 100%0.01 (0.20)0.00 (0.04)0.00 (0.05)
TRS/TRCSR - Ex5_Zan97_FR 0%0.03 (0.25)3.97 (4.19)0.14 (0.20)2.37 (2.51)0.10 (0.16)2.68 (3.16)
TRS/TRCSR - Ex6_15_AEL02_C 100%72.79 (77.63)118.36 (129.99)55.40 (60.14)
TRS/TRCSR - Ex6_15_AEL02_GM 100%118.51 (131.78)118.32 (133.61)50.08 (54.72)
TRS/TRCSR - Ex6_9_Luc02c_C 0%0.32 (0.51)41.47 (45.89)2.75 (2.91)19.30 (16.94)1.73 (7.18)18.23 (17.24)
TRS/TRCSR - Ex6_GM04_FR 100%32.14 (32.97)118.93 (128.19)36.71 (41.02)
TRS/TRCSR - Ex6_GM04_Z 100%32.19 (33.35)118.92 (128.21)34.24 (40.98)
TRS/TRCSR - Ex6_Luc98_C 0%34.61 (36.62)69.32 (41.81)8.25 (8.50)27.41 (22.19)1.79 (18.67)14.95 (16.88)
TRS/TRCSR - Ex6_Luc98_L 0%0.02 (0.24)1.97 (2.12)0.03 (0.08)0.87 (1.08)0.01 (0.08)0.66 (1.03)
TRS/TRCSR - Ex7_BLR02_C 100%62.44 (67.26)118.76 (128.17)55.45 (60.13)
TRS/TRCSR - Ex7_BLR02_FR 100%20.45 (20.80)118.57 (128.16)39.05 (43.52)
TRS/TRCSR - Ex7_BLR02_GM 100%119.08 (133.89)62.23 (67.13)48.83 (53.45)
TRS/TRCSR - Ex8_BLR02_FR 66%0.99 (1.20)27.45 (27.33)118.60 (128.26)33.51 (37.96)
TRS/TRCSR - Ex8_BLR02_GM 100%119.03 (128.50)38.93 (43.74)44.57 (49.15)
TRS/TRCSR - Ex9_BLR02_Z 0%14.35 (14.68)24.26 (14.21)2.68 (2.80)7.13 (4.74)0.25 (0.32)5.15 (5.63)
TRS/TRCSR - Ex9_Luc04_FR 100%2.01 (2.20)0.95 (1.00)0.28 (0.31)
TRS/TRCSR - Ex9_Luc06_FR 100%9.17 (15.99)118.96 (128.21)36.69 (37.10)
TRS/TRCSR - Ex9_Luc06_L 100%0.22 (0.37)0.21 (0.25)0.06 (0.10)
TRS/TRCSR - ExAppendixB_AEL03_C 100%73.28 (78.42)118.48 (130.67)54.22 (60.23)
TRS/TRCSR - ExAppendixB_AEL03_L 100%0.01 (0.18)0.01 (0.04)0.01 (0.05)
TRS/TRCSR - ExIntrod_GM01_L 100%0.02 (0.17)0.00 (0.03)0.01 (0.03)
TRS/TRCSR - ExIntrod_GM04_GM 0%0.08 (0.28)10.56 (10.88)1.54 (1.62)19.84 (22.65)0.83 (0.94)13.64 (13.72)
TRS/TRCSR - ExIntrod_GM99_C 100%72.38 (80.64)118.70 (131.07)56.12 (61.06)
TRS/TRCSR - ExIntrod_Zan97_GM 100%118.67 (130.29)41.81 (49.85)44.19 (48.80)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/TRCSR - ExProp7_Luc06_C 33%60.29 (68.89)11.78 (12.04)29.48 (18.14)2.69 (2.80)11.17 (9.25)
TRS/TRCSR - ExProp7_Luc06_GM 33%65.71 (70.52)0.48 (0.53)4.10 (3.88)0.32 (0.40)3.74 (4.06)
TRS/TRCSR - ExSec11_1_Luc02a_GM 100%118.95 (128.43)79.30 (86.43)45.02 (52.56)
TRS/TRCSR - ExSec11_1_Luc02a_iGM 66%33.35 (41.11)196.38 (180.20)118.51 (128.29)52.53 (59.94)
TRS/TRCSR - LengthOfFiniteLists_complete_C 100%73.16 (78.08)117.52 (131.24)55.35 (60.25)
TRS/TRCSR - LengthOfFiniteLists_complete-noand_FR 100%118.59 (128.46)118.70 (128.24)55.31 (60.21)
TRS/TRCSR - LengthOfFiniteLists_complete-noand_Z 100%118.98 (129.62)118.36 (134.15)56.56 (61.32)
TRS/TRCSR - LengthOfFiniteLists_nokinds_noand_C 66%72.40 (82.03)66.66 (80.78)287.09 (237.84)55.34 (60.16)
TRS/TRCSR - LengthOfFiniteLists_nokinds_noand_GM 33%119.05 (132.71)7.43 (8.00)202.23 (212.22)3.81 (3.99)178.55 (192.91)
TRS/TRCSR - LengthOfFiniteLists_nosorts_FR 100%32.51 (37.10)119.06 (130.43)40.32 (40.84)
TRS/TRCSR - LengthOfFiniteLists_nosorts_L 100%0.01 (0.17)0.00 (0.03)0.00 (0.05)
TRS/TRCSR - LengthOfFiniteLists_nosorts-noand_Z 100%89.42 (94.54)118.78 (129.49)29.61 (33.91)
TRS/TRCSR - LISTUTILITIES_complete_FR 100%118.70 (131.00)69.35 (75.05)52.33 (60.16)
TRS/TRCSR - LISTUTILITIES_complete_noand_iGM 100%119.04 (129.96)94.87 (101.49)56.28 (60.93)
TRS/TRCSR - LISTUTILITIES_nokinds_GM 100%119.03 (128.59)118.01 (128.38)56.57 (61.29)
TRS/TRCSR - LISTUTILITIES_nokinds_L 100%0.02 (0.16)0.01 (0.03)0.01 (0.04)
TRS/TRCSR - LISTUTILITIES_nokinds_Z 100%118.76 (131.06)118.12 (130.48)53.99 (58.80)
TRS/TRCSR - LISTUTILITIES_nosorts_FR 100%48.83 (53.47)30.80 (37.73)35.83 (36.33)
TRS/TRCSR - LISTUTILITIES_nosorts_noand_C 100%73.27 (78.59)118.11 (128.30)55.23 (60.17)
TRS/TRCSR - MYNAT_complete_C 100%72.54 (77.38)118.62 (128.31)56.07 (60.93)
TRS/TRCSR - MYNAT_complete_GM 100%118.88 (128.52)118.14 (128.41)53.50 (58.25)
TRS/TRCSR - MYNAT_complete_L 100%0.03 (0.20)0.00 (0.04)0.00 (0.06)
TRS/TRCSR - MYNAT_nokinds_C 100%72.55 (79.28)118.46 (128.30)55.26 (60.13)
TRS/TRCSR - MYNAT_nokinds_GM 100%119.02 (133.12)57.04 (62.28)48.17 (52.88)
TRS/TRCSR - MYNAT_nokinds_noand_GM 66%75.28 (86.91)442.78 (401.77)80.33 (89.59)50.62 (57.14)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/TRCSR - MYNAT_nosorts-noand_L 100%0.01 (0.19)0.01 (0.04)0.00 (0.11)
TRS/TRCSR - OvConsOS_complete_L 100%0.03 (0.18)0.01 (0.04)0.01 (0.05)
TRS/TRCSR - OvConsOS_complete-noand_L 100%0.03 (0.19)0.01 (0.04)0.00 (0.05)
TRS/TRCSR - OvConsOS_nokinds_C 100%73.09 (78.30)118.71 (128.17)54.63 (60.75)
TRS/TRCSR - OvConsOS_nokinds_noand_GM 33%116.48 (173.67)31.81 (93.06)TIMEOUT (TIMEOUT)12.45 (19.21)TIMEOUT (TIMEOUT)
TRS/TRCSR - OvConsOS_nosorts_C 100%59.00 (84.76)0.00 (184.93)22.95 (68.47)
TRS/TRCSR - OvConsOS_nosorts_GM 100%117.02 (166.83)0.00 (186.21)0.00 (181.42)
TRS/TRCSR - OvConsOS_nosorts-noand_FR 100%98.97 (135.69)0.00 (182.57)16.64 (59.45)
TRS/TRCSR - OvConsOS_nosorts_noand_GM 100%117.41 (162.04)117.02 (167.79)34.40 (71.34)
TRS/TRCSR - OvConsOS_nosorts_Z 100%45.12 (60.66)117.53 (160.14)14.46 (56.73)
TRS/TRCSR - PALINDROME_complete-noand_FR 0%20.37 (41.30)TIMEOUT (TIMEOUT)62.03 (151.41)TIMEOUT (TIMEOUT)11.56 (16.09)TIMEOUT (TIMEOUT)
TRS/TRCSR - PALINDROME_nokinds-noand_L 100%0.01 (190.93)0.00 (186.76)5.76 (51.02)
TRS/TRCSR - PALINDROME_nosorts_C 33%24.33 (33.58)50.12 (86.82)2.30 (11.81)16.20 (66.52)0.01 (185.02)
TRS/TRCSR - PALINDROME_nosorts_GM 0%0.07 (3.84)11.04 (47.08)0.78 (8.41)7.87 (10.71)0.56 (6.78)9.64 (13.14)
TRS/TRCSR - PALINDROME_nosorts_noand_C 33%31.95 (37.46)64.89 (98.07)3.40 (4.97)27.02 (34.39)24.75 (62.69)
TRS/TRCSR - PALINDROME_nosorts-noand_L 0%0.03 (3.83)3.22 (30.28)0.11 (1.24)1.63 (2.12)0.06 (3.35)2.32 (3.38)
TRS/TRCSR - PALINDROME_nosorts-noand_Z 0%0.03 (0.25)3.50 (17.72)0.06 (0.43)1.30 (1.79)0.06 (0.63)2.32 (3.13)
TRS/TRCSR - PEANO_complete-noand_Z 0%0.32 (19.72)TIMEOUT (TIMEOUT)17.00 (44.57)TIMEOUT (TIMEOUT)3.65 (4.65)TIMEOUT (TIMEOUT)
TRS/TRCSR - PEANO_nokinds_C 100%67.23 (110.84)0.00 (180.22)31.49 (82.48)
TRS/TRCSR - PEANO_nokinds_noand_iGM 66%12.84 (70.78)182.85 (340.46)0.00 (180.02)25.69 (69.24)
TRS/TRCSR - PEANO_nosorts_FR 0%0.02 (8.35)2.86 (3.35)0.03 (2.95)1.10 (1.45)0.01 (12.33)1.15 (3.61)
TRS/TRCSR - PEANO_nosorts_GM 0%0.05 (0.94)7.71 (8.24)0.49 (1.32)5.12 (5.04)0.23 (0.67)4.47 (4.81)
TRS/TRCSR - PEANO_nosorts-noand_L 100%0.01 (0.15)0.00 (0.77)0.00 (0.23)
TRS/various - 02 100%1.20 (1.88)0.65 (0.72)0.22 (0.29)
TRS/various - 03 100%4.58 (4.98)3.03 (3.20)1.09 (1.18)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/various - 04 100%0.01 (180.03)9.63 (81.60)12.69 (13.27)
TRS/various - 05 100%0.00 (181.31)4.92 (45.46)2.43 (52.87)
TRS/various - 06 0%0.02 (5.92)4.12 (37.31)0.05 (0.81)1.38 (12.13)0.01 (6.51)1.60 (23.60)
TRS/various - 07 0%0.02 (0.20)1.86 (2.17)0.01 (0.61)0.93 (1.16)0.00 (2.48)0.83 (1.43)
TRS/various - 08 100%117.09 (173.78)0.00 (185.21)15.21 (45.93)
TRS/various - 09 0%0.04 (3.93)6.33 (7.26)0.10 (2.04)2.17 (2.62)0.04 (2.02)2.44 (4.69)
TRS/various - 10 33%48.09 (77.72)8.41 (12.77)20.61 (47.15)0.89 (0.99)10.47 (10.17)
TRS/various - 11 100%12.94 (16.81)4.88 (8.02)2.24 (9.11)
TRS/various - 12 33%0.13 (1.15)13.10 (45.02)1.39 (6.89)3.93 (3.71)8.94 (30.53)
TRS/various - 13 33%0.35 (5.31)22.80 (72.10)5.88 (8.60)10.88 (6.82)14.65 (34.69)
TRS/various - 14 33%116.99 (160.52)9.35 (12.14)44.78 (85.91)12.02 (19.19)67.25 (132.93)
TRS/various - 15 100%0.53 (32.94)0.00 (180.19)29.53 (43.08)
TRS/various - 18 0%0.04 (1.15)4.41 (17.84)0.08 (0.89)1.33 (2.05)0.10 (0.82)2.58 (9.29)
TRS/various - 19 33%0.15 (3.16)ERROR (ERROR)0.78 (2.44)2.96 (4.19)16.65 (39.36)
TRS/various - 20 100%1.34 (7.68)28.03 (36.13)0.00 (180.70)
TRS/various - 21 0%0.13 (0.42)31.80 (37.19)1.17 (1.96)7.40 (7.46)0.62 (0.78)11.31 (20.97)
TRS/various - 22 0%0.03 (0.22)3.23 (3.97)0.39 (0.48)1.52 (1.73)0.04 (0.38)1.25 (1.93)
TRS/various - 23 0%0.03 (0.26)4.45 (5.14)0.08 (0.16)1.29 (1.63)0.04 (0.12)1.52 (2.05)
TRS/various - 24 0%0.06 (0.22)4.44 (5.45)1.20 (1.33)3.46 (2.59)0.23 (0.29)2.10 (2.14)
TRS/various - 25 0%0.03 (0.24)2.50 (3.10)0.09 (0.15)1.14 (1.43)0.02 (0.09)1.16 (1.56)
TRS/various - 26 0%0.04 (0.25)3.16 (3.82)0.25 (0.38)1.68 (1.91)0.02 (0.10)1.29 (1.74)
TRS/various - 27 0%0.01 (0.24)1.89 (2.39)0.01 (0.08)0.75 (1.12)0.00 (0.07)0.82 (1.15)
TRS/Waldmann - jwaprove1 100%1.87 (2.14)118.55 (136.78)35.65 (42.12)
TRS/Waldmann - jwaprove2 100%2.20 (2.38)118.76 (141.33)36.91 (41.38)
TRS/Waldmann - jwcime1 66%0.17 (0.39)6.04 (6.73)118.62 (150.42)34.15 (34.98)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/Waldmann - jwcime2 100%2.83 (3.04)118.54 (139.30)18.13 (18.87)
TRS/Waldmann - jwmatchb1 100%2.01 (2.23)118.76 (129.91)38.17 (40.63)
TRS/Waldmann - jwmatchb2 100%1.99 (2.25)118.81 (126.79)38.78 (44.90)
TRS/Waldmann - jwno1 100%1.42 (2.62)30.17 (31.25)35.43 (39.52)
TRS/Waldmann - jwno2 100%0.83 (1.01)118.72 (130.99)26.53 (28.77)
TRS/Waldmann - jwno3 100%2.86 (3.07)118.70 (137.68)27.81 (31.81)
TRS/Waldmann - jwno4 100%1.90 (2.12)118.35 (149.58)8.09 (8.29)
TRS/Waldmann - jwno5 100%0.70 (0.88)118.75 (137.90)25.35 (27.94)
TRS/Waldmann - jwno6 100%1.59 (1.86)118.92 (138.97)15.77 (19.41)
TRS/Waldmann - jwno7 100%2.71 (3.47)118.70 (138.39)27.44 (29.87)
TRS/Waldmann - jwno8 100%0.78 (0.98)118.68 (133.81)27.61 (30.20)
TRS/Waldmann - jwno9 100%1.02 (2.66)118.68 (173.38)27.01 (30.41)
TRS/Waldmann - jwteparla1 100%0.83 (2.52)118.82 (135.08)25.83 (27.76)
TRS/Waldmann - jwteparla2 100%0.81 (1.03)118.90 (126.04)28.80 (30.63)
TRS/Waldmann - jwtpa1 100%2.46 (4.10)118.65 (126.17)19.37 (19.57)
TRS/Waldmann - jwtpa2 100%2.08 (2.33)118.81 (125.82)21.39 (23.13)
TRS/Waldmann - jwttt 100%2.16 (2.37)49.41 (52.98)22.15 (22.45)
TRS/Zantema06 - beans 100%5.47 (5.72)118.82 (126.80)47.89 (51.32)
TRS/Zantema06 - gcdMinMax 100%32.09 (34.87)118.93 (125.82)47.49 (51.91)
TRS/Zantema06 - gcd 0%0.10 (0.29)8.91 (9.20)1.91 (3.44)3.99 (2.35)0.21 (0.28)2.37 (3.05)
TRS/Zantema06 - hydra 100%29.02 (29.47)118.73 (131.47)42.73 (44.65)
TRS/Zantema06 - test1 0%0.03 (0.25)2.46 (2.69)0.18 (0.25)1.09 (1.14)0.31 (0.40)2.33 (2.58)
TRS/Zantema06 - while2 100%2.42 (2.65)118.56 (125.76)8.30 (11.74)
TRS/Zantema06 - while 100%21.94 (23.78)118.85 (125.78)25.64 (27.39)
TRS/Zantema - jw01 33%0.74 (0.98)0.42 (0.48)1.43 (1.26)0.02 (0.11)1.03 (1.59)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/Zantema - jw02 33%0.64 (0.88)1.79 (1.90)3.26 (3.10)0.29 (0.35)1.90 (1.84)
TRS/Zantema - jw03 100%0.67 (0.85)10.38 (10.53)1.49 (1.56)
TRS/Zantema - jw04 100%0.55 (0.73)22.18 (22.46)1.30 (1.35)
TRS/Zantema - jw05 33%0.61 (0.77)1.75 (1.90)3.15 (1.65)0.39 (0.47)1.94 (3.15)
TRS/Zantema - jw06 33%0.78 (0.94)0.43 (0.48)1.48 (1.55)0.02 (0.08)1.02 (1.25)
TRS/Zantema - jw07 33%0.65 (0.84)2.19 (4.76)3.81 (1.93)4.64 (4.74)6.45 (2.04)
TRS/Zantema - jw08 33%0.97 (1.20)4.36 (4.58)6.42 (2.32)4.22 (4.38)6.74 (2.79)
TRS/Zantema - jw09 100%0.84 (1.05)118.87 (128.42)39.02 (44.09)
TRS/Zantema - jw11 100%1.19 (1.41)118.81 (125.70)39.44 (41.20)
TRS/Zantema - jw12 100%1.43 (1.58)118.80 (127.58)39.23 (41.07)
TRS/Zantema - jw13 33%1.29 (1.44)2.24 (2.35)3.80 (1.87)0.40 (0.47)2.11 (5.46)
TRS/Zantema - jw14 33%0.81 (0.96)0.96 (1.03)2.47 (1.78)0.05 (0.09)ERROR (ERROR)
TRS/Zantema - jw15 100%0.94 (1.11)118.81 (126.68)27.36 (29.83)
TRS/Zantema - jw16 33%0.52 (0.69)0.61 (0.66)1.70 (1.31)0.05 (0.09)1.12 (1.61)
TRS/Zantema - jw17 33%0.74 (0.90)2.37 (3.85)3.91 (1.82)6.60 (6.69)8.26 (1.92)
TRS/Zantema - jw18 33%0.66 (0.83)0.50 (0.57)1.60 (1.31)0.04 (0.08)1.08 (1.30)
TRS/Zantema - jw19 100%1.16 (1.34)118.95 (126.81)16.39 (17.99)
TRS/Zantema - jw20 100%0.96 (1.18)118.95 (125.76)20.45 (20.68)
TRS/Zantema - jw21 33%0.59 (0.83)0.64 (0.70)1.71 (2.51)0.04 (0.10)1.10 (1.82)
TRS/Zantema - jw22 33%0.71 (0.87)2.77 (2.91)4.28 (1.75)0.40 (0.49)2.08 (1.95)
TRS/Zantema - jw23 33%0.77 (0.93)2.12 (2.23)3.91 (2.05)8.81 (10.38)ERROR (ERROR)
TRS/Zantema - jw24 100%0.64 (0.89)23.64 (25.25)11.34 (11.45)
TRS/Zantema - jw25 100%0.63 (0.78)12.55 (14.30)3.21 (3.30)
TRS/Zantema - jw26 33%0.80 (0.97)2.16 (2.28)3.93 (2.01)3.44 (3.50)ERROR (ERROR)
TRS/Zantema - jw27 33%0.90 (1.07)2.83 (2.93)4.29 (1.75)0.48 (0.53)2.15 (1.90)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/Zantema - jw28 33%0.66 (0.81)0.64 (0.71)1.71 (1.29)0.03 (0.08)1.08 (1.29)
TRS/Zantema - jw29 100%0.96 (1.14)118.90 (128.85)22.83 (24.44)
TRS/Zantema - jw30 100%1.07 (1.31)118.91 (125.90)17.71 (19.39)
TRS/Zantema - jw31 33%0.66 (0.80)0.50 (0.58)1.54 (1.31)0.03 (0.10)1.09 (1.58)
TRS/Zantema - jw32 33%0.73 (0.88)2.26 (2.35)3.70 (1.76)6.63 (6.70)8.27 (1.90)
TRS/Zantema - jw33 33%0.61 (0.76)0.61 (0.66)1.67 (1.30)0.05 (0.08)1.09 (1.29)
TRS/Zantema - jw34 100%0.90 (1.05)118.86 (125.76)22.22 (26.17)
TRS/Zantema - jw35 33%0.80 (0.96)0.97 (1.03)2.53 (1.76)0.07 (0.12)1.65 (2.07)
TRS/Zantema - jw36 33%1.25 (1.44)2.18 (2.30)3.81 (1.87)0.65 (0.70)2.25 (1.82)
TRS/Zantema - jw37 100%1.13 (1.29)118.86 (127.67)38.59 (41.78)
TRS/Zantema - jw38 100%1.16 (3.60)118.88 (126.82)40.40 (42.18)
TRS/Zantema - jw39 33%0.90 (1.08)2.29 (2.43)4.02 (1.94)6.60 (6.76)8.46 (2.40)
TRS/Zantema - jw40 100%0.83 (1.05)118.86 (125.75)38.85 (41.46)
TRS/Zantema - jw41 33%0.83 (1.02)4.42 (4.60)6.47 (2.31)13.09 (14.74)15.51 (3.18)
TRS/Zantema - jw42 33%0.58 (0.73)2.22 (2.32)3.84 (1.87)5.61 (5.69)7.35 (2.02)
TRS/Zantema - jw43 33%4.48 (5.91)0.11 (0.15)0.93 (1.07)0.03 (0.07)1.17 (1.36)
TRS/Zantema - jw44 0%0.03 (0.18)2.51 (2.70)0.04 (0.08)0.78 (1.00)0.02 (0.07)1.04 (1.34)
TRS/Zantema - jw47 0%0.02 (0.20)2.48 (2.70)0.02 (0.08)0.79 (0.98)0.03 (0.07)1.06 (1.24)
TRS/Zantema - jw50 33%4.53 (6.20)0.11 (0.16)0.97 (1.02)0.03 (0.08)1.13 (1.34)
TRS/Zantema - z01 100%33.13 (33.63)21.08 (25.74)32.71 (33.06)
TRS/Zantema - z02 100%1.75 (1.96)94.87 (104.26)1.40 (1.46)
TRS/Zantema - z03 100%4.98 (5.23)93.47 (98.91)36.24 (37.97)
TRS/Zantema - z04 100%2.54 (2.80)14.38 (17.01)1.19 (1.23)
TRS/Zantema - z05 100%17.16 (17.59)118.96 (126.68)1.43 (3.04)
TRS/Zantema - z06 100%1.65 (1.83)118.77 (125.86)3.85 (3.97)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/Zantema - z07 100%0.99 (1.18)118.83 (125.79)2.07 (2.13)
TRS/Zantema - z08 100%1.38 (1.55)33.15 (35.13)34.08 (39.16)
TRS/Zantema - z09 100%6.33 (6.57)25.95 (27.96)5.00 (5.15)
TRS/Zantema - z10 100%12.76 (13.13)32.43 (36.97)6.40 (6.52)
TRS/Zantema - z11 100%2.00 (2.19)118.58 (127.32)6.57 (6.70)
TRS/Zantema - z12 100%4.54 (4.83)91.57 (99.06)46.27 (50.99)
TRS/Zantema - z13 100%5.92 (6.28)118.86 (126.75)45.79 (48.95)
TRS/Zantema - z14 100%4.20 (4.53)118.86 (125.94)47.70 (50.79)
TRS/Zantema - z15 100%4.08 (5.76)119.04 (125.78)43.26 (46.06)
TRS/Zantema - z16 100%3.59 (5.51)118.79 (129.22)49.88 (51.71)
TRS/Zantema - z17 100%32.50 (36.01)118.93 (128.73)44.21 (44.76)
TRS/Zantema - z18 100%3.85 (4.12)118.99 (126.88)47.21 (50.49)
TRS/Zantema - z19 100%2.37 (2.64)118.85 (127.76)34.22 (37.33)
TRS/Zantema - z20 100%7.28 (9.79)55.71 (59.31)41.17 (41.64)
TRS/Zantema - z21 100%1.82 (2.01)118.86 (125.79)39.95 (41.89)
TRS/Zantema - z22 100%5.52 (5.73)118.64 (125.87)38.50 (42.60)
TRS/Zantema - z23 100%16.13 (16.65)119.03 (125.86)49.70 (54.01)
TRS/Zantema - z24 100%23.77 (27.10)118.85 (126.72)48.41 (51.78)
TRS/Zantema - z25 100%9.31 (9.59)118.94 (126.55)1.55 (1.64)
TRS/Zantema - z26 66%60.48 (66.44)0.78 (0.87)2.36 (2.28)46.02 (51.46)
TRS/Zantema - z27 100%5.40 (8.39)118.88 (126.91)31.59 (31.90)
TRS/Zantema - z28 100%3.88 (4.10)118.92 (126.56)26.61 (26.94)
TRS/Zantema - z29 66%3.71 (3.89)0.60 (0.66)2.66 (2.86)2.97 (3.07)
TRS/Zantema - z30 100%44.94 (45.54)40.54 (46.09)91.44 (99.75)
TRS/currying/AG01 - #3.10 100%118.92 (128.45)60.13 (65.08)29.01 (32.34)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/currying/AG01 - #3.13 100%118.85 (125.85)32.99 (33.56)31.19 (36.18)
TRS/currying/AG01 - #3.16 100%12.09 (16.72)118.33 (129.29)8.28 (8.50)
TRS/currying/AG01 - #3.18 100%26.68 (27.29)105.87 (115.79)10.35 (10.61)
TRS/currying/AG01 - #3.22 100%118.92 (127.40)117.72 (127.21)15.78 (16.00)
TRS/currying/AG01 - #3.25 100%11.31 (11.61)93.85 (100.90)32.36 (32.86)
TRS/currying/AG01 - #3.27 100%11.92 (12.22)82.34 (90.20)29.66 (31.26)
TRS/currying/AG01 - #3.2 100%19.18 (22.57)65.58 (69.58)8.95 (9.21)
TRS/currying/AG01 - #3.32 100%11.36 (11.66)80.10 (89.25)32.35 (32.66)
TRS/currying/AG01 - #3.36 100%46.30 (50.91)118.46 (125.92)8.11 (8.31)
TRS/currying/AG01 - #3.38 100%94.31 (103.78)118.26 (128.71)18.67 (18.98)
TRS/currying/AG01 - #3.40 100%65.99 (69.79)37.78 (42.36)14.41 (14.69)
TRS/currying/AG01 - #3.45 100%11.66 (11.99)118.40 (125.86)30.12 (33.38)
TRS/currying/AG01 - #3.48 100%0.00 (1082.41)118.20 (128.29)33.27 (35.10)
TRS/currying/AG01 - #3.52 100%14.75 (31.76)0.00 (180.03)14.02 (33.11)
TRS/currying/AG01 - #3.55 100%118.93 (126.18)117.74 (126.04)22.61 (28.03)
TRS/currying/AG01 - #3.57 100%118.73 (126.12)37.96 (42.59)22.07 (22.41)
TRS/currying/AG01 - #3.6 100%85.05 (93.71)118.26 (129.78)11.84 (12.12)
TRS/currying/AG01 - #3.8 100%75.99 (82.76)87.44 (92.04)12.36 (12.64)
TRS/currying/D33 - 01 100%7.81 (8.07)107.49 (115.80)8.80 (9.06)
TRS/currying/D33 - 02 100%8.24 (8.55)94.14 (101.29)7.82 (8.03)
TRS/currying/D33 - 06 100%12.73 (13.02)101.72 (108.97)31.69 (32.07)
TRS/currying/D33 - 08 100%118.78 (128.16)118.38 (127.09)27.34 (30.60)
TRS/currying/D33 - 11 100%118.79 (126.15)28.03 (28.58)36.31 (40.64)
TRS/currying/D33 - 12 100%30.17 (33.53)118.24 (126.86)8.87 (9.05)
TRS/currying/D33 - 13 100%31.88 (35.39)118.24 (125.89)14.14 (14.40)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/currying/D33 - 17 100%18.17 (18.66)118.29 (126.90)8.29 (8.53)
TRS/currying/D33 - 18 100%14.47 (14.82)118.54 (126.01)28.10 (31.30)
TRS/currying/D33 - 21 100%41.74 (46.41)118.37 (126.08)9.44 (9.66)
TRS/currying/D33 - 29 100%20.31 (20.71)118.37 (129.39)27.47 (30.66)
TRS/currying/D33 - 30 100%93.33 (100.48)33.94 (34.62)37.28 (41.43)
TRS/currying/D33 - 31 100%41.06 (44.62)118.25 (127.83)13.94 (14.24)
TRS/currying/D33 - 33 100%118.94 (128.01)118.06 (127.59)19.52 (19.86)
TRS/currying/Ste92 - hydra 100%43.32 (47.04)40.76 (41.76)11.61 (15.90)
TRS/currying/Ste92 - minsort 100%118.97 (127.48)117.99 (128.03)17.88 (18.19)
TRS/currying/Ste92 - motivation 100%13.57 (13.88)118.41 (127.16)20.59 (22.44)
TRS/currying/Ste92 - perfect2 100%118.25 (126.05)23.16 (23.66)26.20 (29.55)
TRS/currying/Ste92 - perfect 100%118.24 (126.99)22.17 (22.65)27.08 (31.47)
TRS/higher-order/AotoYam - 001 100%0.44 (0.71)18.54 (20.18)6.31 (6.40)
TRS/higher-order/AotoYam - 002 100%38.04 (41.43)118.55 (126.82)29.42 (31.29)
TRS/higher-order/AotoYam - 003 100%4.74 (5.00)23.82 (24.37)4.74 (4.85)
TRS/higher-order/AotoYam - 004 100%1.20 (1.40)26.15 (30.37)3.24 (3.34)
TRS/higher-order/AotoYam - 005 0%0.03 (0.19)4.66 (4.86)0.22 (0.25)1.99 (2.06)0.09 (0.17)2.86 (3.52)
TRS/higher-order/AotoYam - 006 100%10.47 (10.75)118.51 (127.69)31.66 (34.78)
TRS/higher-order/AotoYam - 007 66%10.34 (14.49)26.03 (16.28)27.88 (28.46)3.51 (3.67)
TRS/higher-order/AotoYam - 009 66%0.48 (0.71)17.64 (19.25)42.71 (46.38)32.62 (33.01)
TRS/higher-order/AotoYam - 010 100%17.15 (20.49)100.24 (105.59)6.17 (7.78)
TRS/higher-order/AotoYam - 011 100%11.55 (13.19)34.23 (34.86)4.79 (4.94)
TRS/higher-order/AotoYam - 012 66%0.44 (0.62)17.41 (17.58)41.51 (45.11)33.51 (35.38)
TRS/higher-order/AotoYam - 013 100%7.28 (7.55)118.49 (126.03)4.10 (4.21)
TRS/higher-order/AotoYam - 014 100%4.56 (4.80)90.44 (97.78)4.52 (6.05)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/higher-order/AotoYam - 015 100%118.89 (126.14)47.16 (51.09)5.56 (5.73)
TRS/higher-order/AotoYam - 016 100%55.61 (60.49)41.70 (42.47)25.75 (29.87)
TRS/higher-order/AotoYam - 017 0%0.04 (0.22)2.42 (4.05)0.03 (0.08)0.80 (0.98)0.01 (0.07)0.92 (1.62)
TRS/higher-order/AotoYam - 019 100%2.30 (2.52)8.63 (10.32)1.45 (1.57)
TRS/higher-order/AotoYam - 020 100%2.77 (2.96)58.31 (62.01)3.66 (3.77)
TRS/higher-order/AotoYam - 021 100%11.82 (12.08)113.83 (121.95)5.25 (5.38)
TRS/higher-order/AotoYam - 022 100%6.04 (6.34)67.33 (75.05)19.86 (20.10)
TRS/higher-order/AotoYam - 023 0%0.02 (0.20)3.29 (3.51)0.11 (0.16)1.29 (1.45)0.04 (0.10)1.45 (2.01)
TRS/higher-order/AotoYam - 024 66%1.04 (1.30)6.44 (5.87)118.62 (129.36)29.62 (29.92)
TRS/higher-order/AotoYam - 025 0%0.02 (0.21)1.92 (3.66)0.01 (0.06)0.77 (0.93)0.00 (0.07)0.79 (1.23)
TRS/higher-order/AotoYam - 026 100%4.18 (6.00)50.32 (52.80)3.70 (3.82)
TRS/higher-order/AotoYam - 027 66%4.40 (4.66)23.82 (24.13)31.78 (32.44)3.53 (3.63)
TRS/higher-order/AotoYam - 028 100%39.85 (41.69)118.60 (126.97)4.59 (4.73)
TRS/higher-order/AotoYam - Ex1SimplyTyped 66%0.85 (1.04)10.75 (10.47)25.99 (26.63)3.13 (4.68)
TRS/higher-order/AotoYam - Ex5TermProof 100%4.11 (4.38)118.58 (128.41)4.59 (4.77)
TRS/higher-order/AProVE_HO - mapDivMinusHard 100%22.61 (23.01)118.43 (127.32)6.27 (7.81)
TRS/higher-order/AProVE_HO - mapDivMinus 100%6.70 (6.94)85.97 (94.04)5.17 (5.28)
TRS/higher-order/AProVE_HO - nonTermF 100%3.38 (3.57)30.34 (32.35)7.26 (7.40)
TRS/higher-order/AProVE_HO - ReverseLastInit 33%2.85 (3.10)15.18 (12.68)0.79 (0.87)5.18 (6.53)4.37 (4.50)
TRS/higher-order/AProVE_HO - TakeDropWhile 100%74.55 (78.39)46.54 (51.29)6.77 (6.91)
TRS/higher-order/AProVE_HO - termMonTypes 100%1.01 (1.24)20.86 (25.07)2.68 (2.79)
TRS/higher-order/AProVE_HO - TypeEx1 66%0.32 (0.80)6.40 (8.86)118.75 (125.92)33.97 (34.35)
TRS/higher-order/AProVE_HO - TypeEx3 100%9.72 (9.99)118.63 (125.98)26.64 (28.52)
TRS/higher-order/AProVE_HO - TypeEx5 100%0.38 (0.55)2.05 (2.14)0.77 (0.82)
TRS/higher-order/Bird - BTreeMember 100%63.96 (67.85)90.98 (97.75)37.29 (40.56)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/higher-order/Bird - Ex2_6_1Composition 0%0.03 (0.19)2.37 (3.97)0.03 (0.07)0.79 (0.97)0.01 (0.07)0.94 (1.57)
TRS/higher-order/Bird - Ex2_8_1ConstSubstFix 100%1.13 (1.32)17.11 (17.53)2.55 (2.73)
TRS/higher-order/Bird - Hamming 100%118.86 (127.23)88.90 (94.79)27.11 (28.92)
TRS/higher-order/Bird - TreeFlatten 100%10.62 (10.92)103.20 (110.52)4.92 (5.07)
TRS/higher-order/Bird - TreeHeight 100%28.01 (31.33)118.44 (127.40)6.06 (6.22)
TRS/higher-order/Bird - TreeLevels 100%118.92 (127.37)118.47 (126.92)6.98 (7.13)
TRS/higher-order/Bird - TreeMap 100%9.72 (9.99)63.01 (67.05)29.94 (32.94)
TRS/higher-order/Bird - TreeSize 100%9.16 (9.44)47.38 (51.89)28.09 (28.44)
TRS/higher-order/Kusakari - Ex6_11 66%0.59 (0.82)6.96 (6.98)118.74 (127.13)36.83 (41.13)
TRS/higher-order/Kusakari - Ex7_9 100%112.73 (121.81)98.89 (109.77)11.36 (11.60)
TRS/higher-order/Lifantsev - Ex10Functional 100%35.00 (35.64)83.26 (90.53)10.18 (10.43)
TRS/higher-order/Lifantsev - Ex2PrimRec 100%1.66 (1.88)26.06 (28.16)5.38 (7.76)
TRS/higher-order/Lifantsev - Ex3Lists 100%6.17 (6.42)118.40 (125.96)3.72 (3.84)
TRS/higher-order/Lifantsev - Ex4MapList 66%0.19 (0.36)7.52 (9.31)118.67 (128.69)12.08 (12.26)
TRS/higher-order/Lifantsev - Ex5Sorting 100%118.85 (128.00)118.01 (127.92)12.05 (12.32)
TRS/higher-order/Lifantsev - Ex6Folding 100%4.03 (4.26)32.50 (38.63)4.69 (4.87)
TRS/higher-order/Lifantsev - Ex7OrdinalRec 100%21.45 (21.88)49.66 (53.50)6.94 (7.06)
TRS/higher-order/Lifantsev - Ex8Polymorphic 100%4.79 (4.99)80.43 (87.32)12.65 (12.83)
TRS/higher-order/Lifantsev - Ex9Maps 100%88.20 (96.38)114.47 (126.75)24.77 (25.08)
TRS/higher-order/ToyamaRTA04 - Ex5Folding 100%3.28 (3.58)39.56 (44.60)5.02 (5.27)
TRS/higher-order/ToyamaRTA04 - Ex6Recursor 100%2.20 (2.39)35.59 (36.18)3.03 (3.12)
TRS/higher-order/ToyamaRTA04 - Ex7Sorting 100%118.82 (127.65)108.95 (115.24)11.88 (14.98)
TRS/nontermin/AG01 - #4.12a 100%15.80 (16.39)0.84 (0.90)0.27 (0.34)
TRS/nontermin/AG01 - #4.13 100%1.87 (2.05)0.85 (0.91)0.29 (0.32)
TRS/nontermin/AG01 - #4.14 100%7.55 (9.46)118.83 (127.96)30.46 (31.98)
problemdifficulty rating CiME 2.99+Coccinelle TPA+Rainbow+CoLoR TTT2+Rainbow+CoLoR
TRS/nontermin/AG01 - #4.15 100%39.19 (43.59)118.70 (125.99)21.44 (21.70)
TRS/nontermin/AG01 - #4.16 100%2.99 (3.23)119.01 (129.32)0.84 (0.89)
TRS/nontermin/AG01 - #4.17 100%23.66 (24.05)119.07 (127.93)46.20 (50.88)
TRS/nontermin/AG01 - #4.18 100%0.62 (0.78)98.66 (107.29)46.14 (50.40)
TRS/nontermin/AG01 - #4.19 100%7.79 (9.46)86.34 (90.29)6.57 (6.66)
TRS/nontermin/AG01 - #4.20a 0%0.03 (0.22)2.73 (3.07)0.14 (0.18)1.14 (2.71)0.02 (0.07)ERROR (ERROR)
TRS/nontermin/AG01 - #4.20 0%0.02 (0.21)1.95 (2.18)0.08 (0.13)0.91 (1.06)0.01 (0.06)ERROR (ERROR)
TRS/nontermin/AG01 - #4.21 0%0.03 (0.21)2.76 (2.94)0.25 (0.31)1.46 (1.46)0.04 (0.09)ERROR (ERROR)
TRS/nontermin/AG01 - #4.22 100%4.08 (4.40)118.83 (129.39)