Data shown here is incomplete. This page will refresh with updates pulled from star-exec.

Overview of job-results

flexible query (experimental) | consistency check | view original jobs on star-exec:18385, | concepts

Statistics

2043 of 2044 pairs, 92266.1 / 32471.8 s

Results

Legend

YES NO MAYBE CERTIFIED ERROR BOUNDS OTHER NOTHING
The results are displayed in the following pattern: result | cpu-time/wallclock-time in seconds | complexity-score
Jobs Runti Compl Inner Rewri 76917
Solver AProVE standard f065806 tct
Scores 2549 2163
ntime_Complexity_Innermost_Rewriting/AG01/#3.1.xml n^1/n^2 6.5 / 2.5  (3) n^1/n^1 1.1 / 0.4  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.10.xml n^1/? 82.2 / 26.4  (2) n^1/? 84.1 / 22.1  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.12.xml n^3/n^3 10.4 / 4.1  (4) n^1/n^3 73.9 / 22.0  (3)
time_Complexity_Innermost_Rewriting/AG01/#3.13.xml n^1/? 51.8 / 27.2  (2) n^1/? 84.0 / 22.1  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.15.xml n^1/n^2 9.1 / 3.8  (3) n^1/n^1 18.2 / 7.1  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.16.xml n^2/n^3 10.5 / 4.3  (4) n^1/n^3 20.1 / 6.3  (3)
time_Complexity_Innermost_Rewriting/AG01/#3.17.xml n^1/n^2 9.4 / 3.8  (4) n^1/n^2 42.3 / 22.7  (4)
ime_Complexity_Innermost_Rewriting/AG01/#3.17a.xml n^1/n^2 49.5 / 8.7  (4) n^1/n^2 54.5 / 22.1  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.18.xml n^1/? 48.2 / 26.7  (2) n^1/? 53.2 / 22.0  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.19.xml n^1/? 54.1 / 26.4  (2) n^1/? 56.4 / 18.2  (2)
ntime_Complexity_Innermost_Rewriting/AG01/#3.2.xml n^1/n^2 10.7 / 3.8  (4) n^1/n^2 16.6 / 9.1  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.22.xml n^2/n^2 8.1 / 3.7  (4) n^1/n^2 4.5 / 1.5  (3)
time_Complexity_Innermost_Rewriting/AG01/#3.23.xml n^1/n^1 4.9 / 2.4  (4) n^1/n^1 0.3 / 0.1  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.24.xml n^1/n^1 4.3 / 2.2  (4) n^1/n^1 2.0 / 0.6  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.26.xml n^1/? 35.7 / 28.4  (2) n^1/? 46.0 / 22.0  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.29.xml ?/n^0 3.8 / 2.0  (2) ?/n^0 0.1 / 0.0  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.31.xml exp/? 11.9 / 8.2  (2) exp/? 10.3 / 3.3  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.33.xml ?/n^0 3.9 / 1.8  (2) ?/n^0 0.6 / 0.3  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.35.xml n^1/n^1 4.3 / 2.3  (4) ?/n^1 0.7 / 0.3  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.36.xml n^1/? 76.2 / 26.5  (2) n^1/? 53.8 / 22.0  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.37.xml n^1/n^1 9.0 / 4.1  (4) ?/n^1 2.4 / 1.9  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.38.xml exp/? 5.8 / 2.4  (2) n^1/? 76.2 / 22.0  (1)
time_Complexity_Innermost_Rewriting/AG01/#3.39.xml n^1/n^2 14.3 / 6.1  (3) n^1/n^1 17.1 / 5.9  (4)
ntime_Complexity_Innermost_Rewriting/AG01/#3.4.xml n^1/? 47.9 / 26.4  (2) n^1/? 38.7 / 11.5  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.40.xml n^1/n^2 15.8 / 6.5  (4) n^1/n^2 53.2 / 22.0  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.41.xml n^1/n^1 15.7 / 8.7  (4) ?/n^2 5.8 / 2.2  (1)
time_Complexity_Innermost_Rewriting/AG01/#3.42.xml n^1/n^2 8.8 / 4.6  (4) n^1/n^2 26.6 / 8.9  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.47.xml n^1/n^1 13.5 / 4.1  (4) n^1/n^2 6.1 / 1.6  (3)
time_Complexity_Innermost_Rewriting/AG01/#3.48.xml n^1/n^2 5.7 / 2.7  (4) n^1/n^2 40.5 / 22.1  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.49.xml n^1/? 68.5 / 26.4  (2) n^1/? 74.0 / 22.1  (2)
ntime_Complexity_Innermost_Rewriting/AG01/#3.5.xml n^1/n^2 10.1 / 3.6  (4) n^1/n^2 15.5 / 5.1  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.51.xml n^1/n^1 6.3 / 3.8  (4) n^1/n^1 2.2 / 0.9  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.52.xml n^1/n^1 7.8 / 3.8  (4) n^1/n^1 1.2 / 0.3  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.53.xml n^3/n^3 23.0 / 7.3  (4) n^1/n^3 73.6 / 22.1  (3)
ime_Complexity_Innermost_Rewriting/AG01/#3.53a.xml ?/n^0 4.3 / 2.7  (2) ?/n^0 0.2 / 0.1  (2)
ime_Complexity_Innermost_Rewriting/AG01/#3.53b.xml n^1/n^1 8.3 / 3.4  (4) n^1/n^1 1.2 / 0.4  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.54.xml n^1/? 60.1 / 26.4  (2) n^1/? 54.5 / 22.1  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.55.xml n^2/? 43.7 / 30.1  (2) n^1/? 74.3 / 22.3  (1)
time_Complexity_Innermost_Rewriting/AG01/#3.56.xml n^1/n^1 8.0 / 3.1  (4) n^1/n^1 2.8 / 0.8  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.57.xml n^1/? 51.8 / 26.4  (2) n^1/? 72.3 / 22.0  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.5a.xml n^1/n^2 20.9 / 8.0  (4) n^1/n^2 43.8 / 16.8  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.5b.xml n^1/n^3 20.2 / 6.4  (4) n^1/n^3 67.9 / 22.1  (4)
ntime_Complexity_Innermost_Rewriting/AG01/#3.6.xml n^1/n^2 26.6 / 8.5  (4) n^1/n^2 46.1 / 17.0  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.6a.xml n^1/n^2 16.1 / 5.2  (4) n^1/n^2 22.9 / 7.0  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.6b.xml n^1/n^3 33.1 / 14.6  (4) n^1/n^3 65.2 / 22.1  (4)
ntime_Complexity_Innermost_Rewriting/AG01/#3.7.xml n^1/n^2 19.8 / 9.9  (3) n^1/n^1 15.7 / 7.1  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.8a.xml n^1/n^2 18.5 / 5.7  (4) n^1/n^2 24.3 / 10.3  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.8b.xml n^1/? 62.8 / 26.4  (2) n^1/? 85.2 / 22.1  (2)
ime_Complexity_Innermost_Rewriting/AG01/#4.30c.xml n^1/? 74.8 / 26.5  (2) n^1/? 82.7 / 22.0  (2)
exity_Innermost_Rewriting/AProVE_04/AAECC-ring.xml n^1/? 84.5 / 28.9  (2) n^1/? 72.9 / 23.0  (2)
Complexity_Innermost_Rewriting/AProVE_04/AAECC.xml n^1/? 76.5 / 27.9  (2) n^1/? 71.1 / 22.3  (2)
mplexity_Innermost_Rewriting/AProVE_04/IJCAR_1.xml n^1/n^1 15.9 / 6.3  (4) n^1/n^1 32.7 / 22.0  (4)
plexity_Innermost_Rewriting/AProVE_04/IJCAR_12.xml n^2/n^2 13.4 / 5.9  (4) n^1/n^2 15.6 / 6.4  (3)
plexity_Innermost_Rewriting/AProVE_04/IJCAR_18.xml n^2/? 69.5 / 26.5  (2) n^1/? 70.3 / 22.0  (1)
plexity_Innermost_Rewriting/AProVE_04/IJCAR_26.xml n^3/? 72.0 / 28.2  (2) n^1/? 76.2 / 22.0  (1)
lexity_Innermost_Rewriting/AProVE_04/IJCAR_26a.xml n^3/? 67.8 / 26.9  (2) n^1/? 70.9 / 22.1  (1)
plexity_Innermost_Rewriting/AProVE_04/JFP_Ex31.xml n^1/? 68.4 / 26.8  (2) n^1/? 85.5 / 22.0  (2)
plexity_Innermost_Rewriting/AProVE_04/JFP_Ex51.xml n^1/? 66.9 / 26.4  (2) n^1/n^1 72.9 / 22.7  (4)
ity_Innermost_Rewriting/AProVE_04/LPAR_intlist.xml n^1/? 56.9 / 26.4  (2) n^1/? 87.0 / 22.0  (2)
xity_Innermost_Rewriting/AProVE_04/Liveness6.1.xml n^1/? 49.2 / 26.4  (2) n^1/? 86.9 / 22.1  (2)
xity_Innermost_Rewriting/AProVE_04/Liveness6.2.xml n^1/? 51.3 / 26.6  (2) n^1/n^2 83.5 / 22.4  (4)
xity_Innermost_Rewriting/AProVE_04/Liveness6.3.xml n^1/n^1 25.9 / 14.3  (4) n^1/n^1 12.5 / 3.3  (4)
xity_Innermost_Rewriting/AProVE_04/Liveness6.4.xml n^1/? 51.6 / 26.5  (2) n^1/? 88.0 / 22.5  (2)
lexity_Innermost_Rewriting/AProVE_04/Liveness8.xml n^1/n^1 4.7 / 2.1  (4) n^1/n^1 86.0 / 22.0  (4)
ity_Innermost_Rewriting/AProVE_04/Liveness_WRS.xml n^1/n^1 4.6 / 2.2  (4) n^1/n^1 93.6 / 23.9  (4)
e_Complexity_Innermost_Rewriting/AProVE_04/fac.xml n^2/? 62.5 / 26.4  (2) n^1/? 73.4 / 22.2  (1)
_Complexity_Innermost_Rewriting/AProVE_04/rta1.xml n^1/? 71.5 / 26.5  (2) n^1/? 67.2 / 22.1  (2)
_Complexity_Innermost_Rewriting/AProVE_04/rta2.xml n^1/? 13.1 / 4.7  (2) n^1/? 5.6 / 2.3  (2)
_Complexity_Innermost_Rewriting/AProVE_04/rta3.xml n^1/? 54.7 / 26.7  (2) n^1/? 20.3 / 6.1  (2)
_Innermost_Rewriting/AProVE_06/div_notCeTermin.xml n^1/? 68.7 / 26.4  (2) n^1/? 79.2 / 22.0  (2)
ty_Innermost_Rewriting/AProVE_06/div_notTermin.xml n^1/? 82.2 / 26.6  (2) n^1/? 80.2 / 22.0  (2)
exity_Innermost_Rewriting/AProVE_06/factorial1.xml n^4/? 69.2 / 26.4  (2) n^1/? 75.9 / 22.0  (1)
exity_Innermost_Rewriting/AProVE_06/factorial2.xml n^2/? 81.0 / 26.8  (2) n^1/? 65.0 / 19.5  (1)
plexity_Innermost_Rewriting/AProVE_06/identity.xml n^1/? 67.5 / 26.3  (2) n^1/? 75.2 / 22.1  (2)
lexity_Innermost_Rewriting/AProVE_06/logarithm.xml n^1/? 83.7 / 26.7  (2) n^1/? 76.1 / 22.0  (2)
omplexity_Innermost_Rewriting/AProVE_06/modulo.xml n^1/? 70.5 / 26.4  (2) n^1/? 58.3 / 20.1  (2)
mplexity_Innermost_Rewriting/AProVE_06/nonterm.xml exp/? 8.1 / 3.2  (2) n^1/? 53.9 / 22.0  (1)
lexity_Innermost_Rewriting/AProVE_06/quicksort.xml n^2/? 80.1 / 26.4  (2) n^1/? 85.8 / 22.1  (1)
_Complexity_Innermost_Rewriting/AProVE_06/quot.xml n^1/? 68.9 / 26.4  (2) n^1/? 85.0 / 22.0  (2)
exity_Innermost_Rewriting/AProVE_06/sizeChange.xml n^1/n^2 14.1 / 4.5  (4) n^1/? 37.1 / 22.1  (2)
Complexity_Innermost_Rewriting/AProVE_06/tower.xml n^3/? 70.9 / 26.5  (2) n^1/? 80.3 / 22.1  (1)
Innermost_Rewriting/AProVE_06/tower_sizeChange.xml n^1/? 71.2 / 26.5  (2) n^1/? 83.2 / 22.0  (2)
lexity_Innermost_Rewriting/AProVE_07/kabasci01.xml n^1/n^1 62.7 / 20.1  (4) n^1/? 73.0 / 22.3  (2)
lexity_Innermost_Rewriting/AProVE_07/kabasci02.xml n^3/? 58.7 / 27.4  (2) n^1/? 71.1 / 22.1  (1)
lexity_Innermost_Rewriting/AProVE_07/kabasci03.xml ?/n^0 3.3 / 1.7  (2) ?/n^0 0.1 / 0.0  (2)
lexity_Innermost_Rewriting/AProVE_07/kabasci04.xml n^1/? 67.1 / 26.6  (2) n^1/? 49.7 / 22.9  (2)
lexity_Innermost_Rewriting/AProVE_07/kabasci05.xml n^1/? 75.9 / 26.5  (2) n^1/? 71.5 / 22.1  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto01.xml n^1/? 67.1 / 26.8  (2) n^1/? 59.8 / 22.3  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto02.xml n^1/? 57.9 / 26.5  (2) n^1/? 81.0 / 22.0  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto03.xml n^1/? 52.0 / 26.6  (2) n^1/? 54.3 / 19.6  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto04.xml exp/? 18.6 / 6.2  (2) exp/? 69.7 / 22.2  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto05.xml n^1/n^2 29.2 / 11.4  (4) n^1/? 67.8 / 22.1  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto06.xml n^1/? 67.7 / 26.7  (2) n^1/? 74.6 / 22.0  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto07.xml n^1/? 54.0 / 26.4  (2) n^1/? 57.5 / 22.0  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto08.xml n^1/? 63.1 / 26.5  (2) n^1/? 74.9 / 22.5  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto09.xml n^1/? 69.1 / 26.4  (2) n^1/? 73.5 / 22.0  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto10.xml n^1/? 77.3 / 26.4  (2) n^1/? 63.0 / 22.1  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto11.xml n^1/? 66.2 / 26.5  (2) n^1/? 58.8 / 22.3  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto12.xml n^2/? 70.9 / 26.5  (2) n^1/? 76.7 / 22.0  (1)
omplexity_Innermost_Rewriting/AProVE_07/otto13.xml n^1/? 60.1 / 26.4  (2) n^1/? 62.6 / 22.3  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann01.xml n^1/? 69.2 / 26.4  (2) n^1/? 75.6 / 22.0  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann02.xml n^1/? 60.9 / 27.1  (2) n^1/? 70.1 / 22.2  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann03.xml n^3/? 70.0 / 26.6  (2) n^1/? 58.1 / 22.4  (1)
exity_Innermost_Rewriting/AProVE_07/thiemann04.xml n^1/? 78.1 / 26.4  (2) n^1/? 85.5 / 22.2  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann05.xml n^1/? 72.0 / 26.4  (2) n^1/? 73.1 / 22.0  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann06.xml n^1/? 78.3 / 26.7  (2) n^1/? 61.7 / 22.3  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann07.xml n^2/? 72.7 / 26.5  (2) n^1/? 71.9 / 22.6  (1)
exity_Innermost_Rewriting/AProVE_07/thiemann08.xml exp/? 6.2 / 3.8  (2) n^1/? 39.9 / 22.4  (1)
exity_Innermost_Rewriting/AProVE_07/thiemann09.xml n^1/? 79.2 / 26.5  (2) n^1/? 71.6 / 22.0  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann10.xml n^1/? 70.1 / 26.4  (2) n^1/? 86.0 / 22.1  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann11.xml n^1/? 69.2 / 26.6  (2) n^1/? 68.3 / 22.0  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann12.xml n^1/? 68.0 / 26.5  (2) n^1/? 69.5 / 22.1  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann13.xml n^1/? 69.3 / 26.7  (2) n^1/? 71.0 / 22.1  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann14.xml n^2/? 75.5 / 26.6  (2) n^1/? 82.6 / 22.2  (1)
exity_Innermost_Rewriting/AProVE_07/thiemann15.xml n^1/? 61.0 / 26.4  (2) n^1/? 66.6 / 22.1  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann16.xml n^1/? 70.8 / 26.6  (2) n^1/? 72.0 / 22.6  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann17.xml n^2/? 74.0 / 26.5  (2) n^1/? 59.3 / 22.3  (1)
exity_Innermost_Rewriting/AProVE_07/thiemann18.xml n^1/? 79.0 / 26.5  (2) n^1/? 85.3 / 22.2  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann19.xml n^1/? 63.5 / 26.7  (2) n^1/? 68.6 / 22.1  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann20.xml n^1/? 54.9 / 27.2  (2) n^1/? 86.8 / 22.2  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann21.xml n^1/? 69.9 / 26.7  (2) n^1/? 82.7 / 22.2  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann22.xml n^1/? 59.7 / 26.5  (2) n^1/? 71.5 / 22.1  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann23.xml n^1/? 52.4 / 26.4  (2) n^1/? 44.2 / 22.1  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann24.xml n^2/? 62.3 / 26.6  (2) n^1/? 71.2 / 22.1  (1)
exity_Innermost_Rewriting/AProVE_07/thiemann25.xml n^1/? 58.2 / 26.5  (2) n^1/? 50.9 / 16.9  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann26.xml n^1/? 67.0 / 26.4  (2) n^1/? 60.0 / 22.0  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann27.xml n^1/? 55.1 / 26.4  (2) n^1/? 49.3 / 17.2  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann28.xml n^1/? 73.9 / 26.5  (2) n^1/? 75.2 / 22.2  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann29.xml n^2/? 44.7 / 29.3  (2) n^1/? 84.3 / 22.1  (1)
exity_Innermost_Rewriting/AProVE_07/thiemann30.xml n^1/? 54.7 / 28.1  (2) n^1/? 62.3 / 22.4  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann31.xml n^1/? 76.6 / 26.4  (2) n^1/? 72.6 / 22.1  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann32.xml n^2/? 76.5 / 26.5  (2) n^1/? 67.5 / 22.0  (1)
exity_Innermost_Rewriting/AProVE_07/thiemann33.xml n^1/? 74.4 / 26.5  (2) n^1/? 70.8 / 22.4  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann34.xml n^1/? 70.8 / 26.6  (2) n^1/? 71.4 / 22.1  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann36.xml n^1/? 73.8 / 26.4  (2) n^1/? 84.8 / 22.1  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann37.xml n^1/? 56.0 / 26.5  (2) n^1/? 76.8 / 22.0  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann38.xml n^1/? 64.2 / 26.6  (2) n^1/? 61.9 / 22.4  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann40.xml n^1/n^2 10.1 / 4.3  (4) . 21.7 / 9.5  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann41.xml n^1/? 68.2 / 26.4  (2) n^1/? 68.8 / 22.2  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe01.xml n^1/? 72.6 / 26.6  (2) n^1/? 71.2 / 22.4  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe02.xml n^1/? 69.6 / 26.6  (2) n^1/? 70.5 / 22.3  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe03.xml n^1/? 70.9 / 26.7  (2) n^1/? 69.8 / 22.1  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe05.xml n^1/? 71.1 / 26.4  (2) n^1/? 64.2 / 22.0  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe06.xml n^1/? 101.7 / 30.1  (2) n^1/? 64.3 / 22.0  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe07.xml n^1/? 71.3 / 26.6  (2) n^1/? 67.1 / 22.1  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe08.xml n^1/? 72.8 / 26.5  (2) n^1/? 66.0 / 22.0  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe09.xml n^1/? 76.0 / 26.4  (2) n^1/? 80.4 / 22.0  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe11.xml n^1/? 74.1 / 26.4  (2) n^1/? 70.6 / 22.2  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe12.xml n^1/? 80.2 / 26.6  (2) n^1/? 84.7 / 22.0  (2)
omplexity_Innermost_Rewriting/AProVE_08/id_inc.xml n^1/? 63.0 / 26.6  (2) n^1/? 76.0 / 22.2  (2)
e_Complexity_Innermost_Rewriting/AProVE_08/log.xml n^1/? 53.4 / 26.7  (2) n^1/? 80.0 / 22.0  (2)
nnermost_Rewriting/AProVE_08/parting01_reverse.xml n^2/? 62.6 / 26.4  (2) n^1/? 62.6 / 22.0  (1)
rmost_Rewriting/AProVE_08/parting02_doublelist.xml n^1/? 63.2 / 26.7  (2) n^1/? 61.8 / 22.0  (2)
nnermost_Rewriting/AProVE_08/parting03_minsort.xml n^2/? 70.0 / 26.7  (2) n^1/? 63.5 / 22.0  (1)
ermost_Rewriting/AProVE_08/parting04_maxsort_h.xml n^2/? 69.0 / 26.7  (2) n^1/? 71.2 / 22.1  (1)
nnermost_Rewriting/AProVE_08/parting05_maxsort.xml n^2/? 65.1 / 26.5  (2) n^1/? 64.9 / 22.0  (1)
Complexity_Innermost_Rewriting/AProVE_08/round.xml n^1/? 57.7 / 26.6  (2) n^1/? 51.9 / 22.0  (2)
ty_Innermost_Rewriting/AProVE_08/round_nonterm.xml exp/? 10.5 / 4.6  (2) n^1/? 85.2 / 22.0  (1)
ermost_Rewriting/AProVE_08/thiemann40_modified.xml n^2/? 64.9 / 26.5  (2) n^1/? 84.9 / 22.1  (1)
ty_Innermost_Rewriting/AProVE_09_Inductive/div.xml n^1/? 71.2 / 26.5  (2) n^1/? 82.0 / 22.1  (2)
nnermost_Rewriting/AProVE_09_Inductive/divhard.xml n^1/? 91.3 / 27.7  (2) n^1/? 85.1 / 22.2  (2)
ty_Innermost_Rewriting/AProVE_09_Inductive/gcd.xml n^1/? 71.8 / 26.5  (2) n^1/? 75.3 / 22.2  (2)
y_Innermost_Rewriting/AProVE_09_Inductive/gcd2.xml n^1/? 76.4 / 26.5  (2) n^1/? 77.8 / 22.0  (2)
nnermost_Rewriting/AProVE_09_Inductive/gcdhard.xml n^1/? 66.0 / 26.4  (2) n^1/? 73.2 / 22.0  (2)
ty_Innermost_Rewriting/AProVE_09_Inductive/log.xml n^1/? 66.9 / 26.5  (2) n^1/? 94.4 / 22.0  (2)
nnermost_Rewriting/AProVE_09_Inductive/maxsort.xml n^2/? 59.0 / 26.8  (2) n^1/? 66.3 / 22.0  (1)
Rewriting/AProVE_09_Inductive/maxsortcondition.xml n^2/? 56.0 / 26.9  (2) n^1/? 69.2 / 22.0  (1)
nnermost_Rewriting/AProVE_09_Inductive/minsort.xml n^1/? 73.5 / 26.6  (2) n^1/? 73.7 / 22.0  (2)
ty_Innermost_Rewriting/AProVE_09_Inductive/mod.xml n^1/? 69.4 / 26.4  (2) n^1/? 72.2 / 22.0  (2)
_Innermost_Rewriting/AProVE_09_Inductive/qsort.xml n^1/? 56.3 / 26.4  (2) n^1/? 86.9 / 22.4  (2)
ermost_Rewriting/AProVE_09_Inductive/qsortlast.xml n^1/? 65.9 / 26.9  (2) n^1/? 70.4 / 22.3  (2)
most_Rewriting/AProVE_09_Inductive/qsortmiddle.xml n^1/? 76.3 / 26.5  (2) n^1/? 77.1 / 22.1  (2)
nermost_Rewriting/AProVE_09_Inductive/zerolist.xml n^1/? 71.5 / 26.4  (2) n^1/? 70.6 / 22.1  (2)
Complexity_Innermost_Rewriting/Beerendonk_07/1.xml n^1/? 62.1 / 26.4  (2) n^1/? 60.1 / 21.8  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/10.xml n^1/? 71.9 / 26.4  (2) n^1/? 80.2 / 22.2  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/11.xml n^1/? 47.5 / 28.7  (2) n^1/? 46.4 / 22.1  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/12.xml n^1/? 64.9 / 26.4  (2) n^1/? 50.6 / 22.1  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/13.xml n^1/? 69.8 / 26.4  (2) n^1/? 47.6 / 22.0  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/14.xml n^1/? 69.7 / 26.5  (2) n^1/? 46.7 / 22.5  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/15.xml n^1/? 75.5 / 26.6  (2) n^1/? 81.0 / 22.0  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/16.xml n^1/? 71.8 / 26.4  (2) n^1/? 80.6 / 22.0  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/17.xml n^1/? 81.3 / 26.4  (2) n^1/? 72.9 / 22.0  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/18.xml n^1/? 77.9 / 26.5  (2) n^1/? 86.5 / 22.0  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/19.xml n^1/? 69.2 / 26.6  (2) n^1/? 85.5 / 22.1  (2)
Complexity_Innermost_Rewriting/Beerendonk_07/2.xml n^1/? 64.6 / 26.4  (2) n^1/? 68.5 / 22.0  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/20.xml n^1/? 54.2 / 28.8  (2) n^1/? 86.3 / 22.0  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/21.xml n^1/? 76.3 / 26.4  (2) n^1/? 87.7 / 22.1  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/22.xml n^1/? 66.0 / 26.4  (2) n^1/? 69.2 / 22.0  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/23.xml n^1/? 60.2 / 27.1  (2) n^1/? 56.0 / 22.5  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/24.xml n^1/? 75.1 / 26.5  (2) n^1/? 87.7 / 22.3  (2)
Complexity_Innermost_Rewriting/Beerendonk_07/3.xml n^1/? 57.4 / 26.4  (2) n^1/? 77.3 / 22.0  (2)
Complexity_Innermost_Rewriting/Beerendonk_07/4.xml n^1/? 35.3 / 27.9  (2) n^1/? 38.4 / 22.3  (2)
Complexity_Innermost_Rewriting/Beerendonk_07/5.xml n^1/? 58.3 / 26.9  (2) n^1/? 86.5 / 22.1  (2)
Complexity_Innermost_Rewriting/Beerendonk_07/6.xml n^1/n^2 62.9 / 23.8  (4) n^1/? 60.0 / 22.1  (2)
Complexity_Innermost_Rewriting/Beerendonk_07/7.xml n^1/? 62.8 / 27.1  (2) n^1/? 61.3 / 22.0  (2)
Complexity_Innermost_Rewriting/Beerendonk_07/8.xml n^1/? 77.3 / 26.4  (2) n^1/? 73.6 / 22.1  (2)
Complexity_Innermost_Rewriting/Beerendonk_07/9.xml n^1/? 77.1 / 26.4  (2) n^1/? 86.3 / 22.1  (2)
plexity_Innermost_Rewriting/CiME_04/ack_prolog.xml n^1/? 47.5 / 28.0  (2) n^1/? 58.9 / 22.0  (2)
lexity_Innermost_Rewriting/CiME_04/append-hard.xml n^1/n^1 14.7 / 4.4  (4) . 24.5 / 11.9  (0)
exity_Innermost_Rewriting/CiME_04/append-wrong.xml exp/? 8.8 / 3.9  (2) . 57.7 / 22.0  (0)
_Complexity_Innermost_Rewriting/CiME_04/append.xml n^1/n^1 5.2 / 2.5  (4) ?/n^1 2.0 / 0.8  (2)
ime_Complexity_Innermost_Rewriting/CiME_04/big.xml n^1/? 49.4 / 30.1  (2) n^1/? 67.8 / 22.8  (2)
me_Complexity_Innermost_Rewriting/CiME_04/dpqs.xml ?/n^0 4.1 / 2.4  (2) ?/n^0 2.1 / 0.8  (2)
mplexity_Innermost_Rewriting/CiME_04/fact-hard.xml n^2/? 75.1 / 26.4  (2) n^1/? 80.7 / 22.1  (1)
mplexity_Innermost_Rewriting/CiME_04/filliatre.xml n^1/? 64.6 / 26.7  (2) n^1/? 67.4 / 22.7  (2)
plexity_Innermost_Rewriting/CiME_04/filliatre2.xml n^1/? 74.1 / 26.5  (2) n^1/? 84.0 / 22.1  (2)
plexity_Innermost_Rewriting/CiME_04/filliatre3.xml n^1/? 46.0 / 28.3  (2) n^1/? 86.5 / 22.3  (2)
mplexity_Innermost_Rewriting/CiME_04/intersect.xml n^1/n^2 45.0 / 23.0  (4) n^1/? 84.1 / 22.0  (2)
t_Rewriting/CiME_04/list-sum-prod-assoc-append.xml n^2/? 73.6 / 26.4  (2) n^1/? 63.5 / 22.1  (1)
nnermost_Rewriting/CiME_04/list-sum-prod-assoc.xml . 42.8 / 30.1  (0) n^1/? 72.5 / 22.0  (2)
ting/CiME_04/list-sum-prod-bin-assoc-distr-app.xml n^1/? 74.0 / 27.0  (2) n^1/? 106.5 / 23.2  (2)
most_Rewriting/CiME_04/list-sum-prod-bin-assoc.xml n^1/? 57.3 / 26.7  (2) n^1/? 63.5 / 24.1  (2)
_Innermost_Rewriting/CiME_04/list-sum-prod-bin.xml n^1/? 63.0 / 26.5  (2) n^1/? 57.7 / 22.6  (2)
xity_Innermost_Rewriting/CiME_04/list-sum-prod.xml n^2/? 60.6 / 26.7  (2) n^1/? 54.4 / 21.7  (1)
me_Complexity_Innermost_Rewriting/CiME_04/log2.xml n^1/? 70.5 / 27.1  (2) n^1/? 74.0 / 22.6  (2)
ime_Complexity_Innermost_Rewriting/CiME_04/lse.xml n^2/n^2 29.2 / 11.0  (4) n^1/n^2 88.9 / 22.8  (3)
_Complexity_Innermost_Rewriting/CiME_04/maude2.xml n^1/? 86.6 / 26.5  (2) n^1/? 81.2 / 22.3  (2)
_Complexity_Innermost_Rewriting/CiME_04/mucrl1.xml n^1/n^1 49.1 / 19.9  (4) n^1/? 85.7 / 22.2  (2)
exity_Innermost_Rewriting/CiME_04/ternary-hard.xml n^1/? 64.4 / 26.4  (2) n^1/? 87.3 / 22.3  (2)
Complexity_Innermost_Rewriting/CiME_04/ternary.xml n^1/? 53.8 / 27.2  (2) n^1/? 61.8 / 23.5  (2)
me_Complexity_Innermost_Rewriting/CiME_04/tree.xml n^1/? 71.6 / 26.7  (2) n^1/? 58.5 / 22.8  (2)
untime_Complexity_Innermost_Rewriting/Der95/06.xml n^1/n^1 4.8 / 3.1  (4) n^1/n^1 0.5 / 0.2  (4)
untime_Complexity_Innermost_Rewriting/Der95/07.xml n^1/n^1 5.1 / 2.5  (4) n^1/n^1 0.8 / 0.3  (4)
untime_Complexity_Innermost_Rewriting/Der95/08.xml n^1/n^3 15.8 / 9.9  (3) n^1/n^1 5.8 / 1.7  (4)
untime_Complexity_Innermost_Rewriting/Der95/11.xml n^1/n^1 14.1 / 4.5  (4) n^1/n^2 71.5 / 22.6  (3)
untime_Complexity_Innermost_Rewriting/Der95/12.xml n^1/? 55.9 / 29.9  (2) n^1/? 30.1 / 10.3  (2)
untime_Complexity_Innermost_Rewriting/Der95/18.xml n^1/n^1 5.6 / 2.4  (4) n^1/n^1 0.3 / 0.1  (4)
untime_Complexity_Innermost_Rewriting/Der95/20.xml n^1/? 55.6 / 27.1  (2) n^1/? 46.4 / 21.8  (2)
untime_Complexity_Innermost_Rewriting/Der95/21.xml n^2/? 51.7 / 26.5  (2) n^1/? 86.3 / 22.1  (1)
untime_Complexity_Innermost_Rewriting/Der95/27.xml n^1/n^1 5.4 / 2.4  (4) ?/n^1 0.7 / 0.2  (2)
untime_Complexity_Innermost_Rewriting/Der95/31.xml n^1/n^1 6.8 / 3.2  (4) n^1/n^1 7.0 / 2.3  (4)
untime_Complexity_Innermost_Rewriting/Der95/32.xml n^1/n^2 19.8 / 7.6  (4) n^1/n^2 35.6 / 15.7  (4)
untime_Complexity_Innermost_Rewriting/Der95/33.xml n^1/n^2 23.1 / 8.9  (4) n^1/? 76.0 / 22.0  (2)
lexity_Innermost_Rewriting/Endrullis_06/direct.xml n^1/n^1 8.8 / 3.9  (4) n^1/n^1 18.3 / 7.1  (4)
_Innermost_Rewriting/Frederiksen_Glenstrup/ack.xml n^1/? 62.7 / 26.4  (2) n^1/? 60.0 / 22.0  (2)
_Innermost_Rewriting/Frederiksen_Glenstrup/add.xml n^1/n^1 4.9 / 2.6  (4) n^1/n^1 1.0 / 0.3  (4)
rmost_Rewriting/Frederiksen_Glenstrup/addlists.xml n^1/n^1 9.3 / 3.6  (4) n^1/n^1 1.4 / 0.6  (4)
rmost_Rewriting/Frederiksen_Glenstrup/anchored.xml n^1/n^1 5.1 / 2.5  (4) n^1/n^1 0.6 / 0.2  (4)
nermost_Rewriting/Frederiksen_Glenstrup/append.xml n^1/n^1 4.6 / 2.4  (4) n^1/n^1 0.4 / 0.2  (4)
ost_Rewriting/Frederiksen_Glenstrup/assrewrite.xml n^1/? 63.7 / 26.4  (2) n^1/? 64.6 / 22.0  (2)
Innermost_Rewriting/Frederiksen_Glenstrup/badd.xml exp/? 12.7 / 5.1  (2) n^1/? 18.9 / 8.1  (1)
nnermost_Rewriting/Frederiksen_Glenstrup/binom.xml exp/? 9.4 / 3.7  (2) n^1/? 62.1 / 22.0  (1)
rmost_Rewriting/Frederiksen_Glenstrup/decrease.xml n^1/n^1 7.9 / 3.8  (4) n^1/n^1 47.4 / 22.5  (4)
_Rewriting/Frederiksen_Glenstrup/deeprev_typed.xml n^1/n^1 8.7 / 4.1  (4) n^1/n^1 3.1 / 1.1  (4)
rmost_Rewriting/Frederiksen_Glenstrup/disjconj.xml exp/? 19.6 / 5.9  (2) n^1/? 26.3 / 11.6  (1)
most_Rewriting/Frederiksen_Glenstrup/duplicate.xml n^1/n^1 4.9 / 3.0  (4) n^1/n^1 0.6 / 0.3  (4)
nnermost_Rewriting/Frederiksen_Glenstrup/equal.xml exp/? 7.6 / 3.3  (2) . 66.5 / 22.0  (0)
ermost_Rewriting/Frederiksen_Glenstrup/evenodd.xml n^1/n^1 3.8 / 1.9  (4) ?/n^1 0.9 / 0.3  (2)
Innermost_Rewriting/Frederiksen_Glenstrup/fold.xml n^1/n^3 8.9 / 3.6  (3) n^1/n^1 1.1 / 0.3  (4)
Innermost_Rewriting/Frederiksen_Glenstrup/game.xml n^1/n^1 22.6 / 8.2  (4) n^1/n^1 2.6 / 0.8  (4)
_Innermost_Rewriting/Frederiksen_Glenstrup/gcd.xml n^1/? 74.9 / 26.4  (2) n^1/? 76.0 / 22.0  (2)
Innermost_Rewriting/Frederiksen_Glenstrup/gcd2.xml n^1/? 77.8 / 26.4  (2) n^1/? 70.2 / 22.1  (2)
rmost_Rewriting/Frederiksen_Glenstrup/increase.xml exp/? 9.0 / 3.2  (2) . 71.9 / 22.0  (0)
_Innermost_Rewriting/Frederiksen_Glenstrup/int.xml . 85.0 / 26.5  (0) n^1/? 83.5 / 22.1  (2)
most_Rewriting/Frederiksen_Glenstrup/intlookup.xml exp/? 13.1 / 4.6  (2) n^1/? 17.4 / 6.2  (1)
ewriting/Frederiksen_Glenstrup/lambdaint_typed.xml n^1/? 73.3 / 26.5  (2) n^1/? 82.8 / 22.0  (2)
nermost_Rewriting/Frederiksen_Glenstrup/letexp.xml exp/? 9.4 / 3.2  (2) . 22.7 / 7.0  (0)
Innermost_Rewriting/Frederiksen_Glenstrup/list.xml n^1/n^1 3.6 / 1.8  (4) n^1/n^1 0.4 / 0.1  (4)
_Innermost_Rewriting/Frederiksen_Glenstrup/lte.xml n^1/n^3 12.2 / 4.8  (3) n^1/n^1 2.7 / 0.9  (4)
Innermost_Rewriting/Frederiksen_Glenstrup/map0.xml n^1/n^1 22.6 / 7.5  (4) n^1/n^1 1.3 / 0.4  (4)
nermost_Rewriting/Frederiksen_Glenstrup/member.xml n^1/n^2 14.0 / 5.0  (3) ?/n^1 4.3 / 1.1  (2)
ost_Rewriting/Frederiksen_Glenstrup/mergelists.xml n^1/n^2 15.8 / 6.1  (3) ?/n^1 3.8 / 1.0  (2)
most_Rewriting/Frederiksen_Glenstrup/mergesort.xml n^1/? 69.0 / 26.6  (2) n^1/? 76.0 / 22.0  (2)
ermost_Rewriting/Frederiksen_Glenstrup/minsort.xml n^1/? 41.8 / 30.1  (2) . 71.9 / 22.1  (0)
_Innermost_Rewriting/Frederiksen_Glenstrup/mul.xml n^3/n^3 10.3 / 4.3  (4) n^1/n^3 16.9 / 4.6  (3)
ost_Rewriting/Frederiksen_Glenstrup/mul_better.xml n^3/n^3 10.8 / 5.6  (4) n^1/n^3 22.5 / 9.0  (3)
rmost_Rewriting/Frederiksen_Glenstrup/naiverev.xml n^2/n^2 9.0 / 4.3  (4) n^1/n^2 49.0 / 22.0  (3)
ermost_Rewriting/Frederiksen_Glenstrup/nestdec.xml n^1/n^1 4.4 / 2.1  (4) ?/n^1 27.7 / 10.8  (2)
ermost_Rewriting/Frederiksen_Glenstrup/nesteql.xml exp/? 10.7 / 4.1  (2) . 30.0 / 8.1  (0)
most_Rewriting/Frederiksen_Glenstrup/nestimeql.xml exp/? 10.2 / 3.8  (2) n^1/? 69.8 / 22.1  (1)
ermost_Rewriting/Frederiksen_Glenstrup/nestinc.xml n^1/? 57.4 / 29.8  (2) n^1/? 49.5 / 13.0  (2)
ost_Rewriting/Frederiksen_Glenstrup/nolexicord.xml ?/n^2 20.6 / 7.8  (1) ?/n^1 16.4 / 4.5  (2)
ermost_Rewriting/Frederiksen_Glenstrup/ordered.xml n^1/n^2 13.9 / 5.4  (3) ?/n^1 4.0 / 1.1  (2)
Rewriting/Frederiksen_Glenstrup/ordered_better.xml ?/n^2 17.1 / 7.1  (1) ?/n^1 5.8 / 1.5  (2)
ermost_Rewriting/Frederiksen_Glenstrup/overlap.xml n^1/n^3 24.0 / 9.0  (3) ?/n^2 21.9 / 6.5  (2)
ermost_Rewriting/Frederiksen_Glenstrup/parsexp.xml exp/? 42.1 / 19.0  (2) . 73.5 / 22.0  (0)
ermost_Rewriting/Frederiksen_Glenstrup/permute.xml exp/? 16.3 / 5.5  (2) n^1/? 74.9 / 22.1  (1)
nnermost_Rewriting/Frederiksen_Glenstrup/power.xml n^3/? 66.7 / 26.9  (2) n^1/? 53.5 / 22.0  (1)
most_Rewriting/Frederiksen_Glenstrup/quicksort.xml n^1/? 74.9 / 26.5  (2) n^1/? 81.6 / 22.0  (2)
nermost_Rewriting/Frederiksen_Glenstrup/revapp.xml n^1/n^1 4.8 / 2.5  (4) n^1/n^1 20.1 / 7.0  (4)
nermost_Rewriting/Frederiksen_Glenstrup/select.xml n^1/n^3 34.7 / 16.1  (3) n^1/n^2 9.2 / 2.5  (4)
ermost_Rewriting/Frederiksen_Glenstrup/shuffle.xml n^3/n^3 10.7 / 4.0  (4) n^1/n^3 70.8 / 22.0  (3)
_Innermost_Rewriting/Frederiksen_Glenstrup/sp1.xml exp/? 8.0 / 3.7  (2) . 25.1 / 7.0  (0)
ermost_Rewriting/Frederiksen_Glenstrup/subsets.xml n^1/? 76.0 / 27.8  (2) n^1/? 64.9 / 22.0  (2)
rmost_Rewriting/Frederiksen_Glenstrup/thetrick.xml exp/? 24.6 / 7.9  (2) n^1/? 86.8 / 22.2  (1)
t_Rewriting/Frederiksen_Glenstrup/turing_typed.xml exp/? 19.4 / 6.3  (2) n^1/? 68.1 / 22.0  (1)
ewriting/Frederiksen_Glenstrup/vangelder_typed.xml n^1/? 45.0 / 26.9  (2) . 46.1 / 23.1  (0)
ity_Innermost_Rewriting/Frederiksen_Others/add.xml n^1/n^1 14.6 / 4.6  (4) ?/n^1 0.2 / 0.1  (2)
st_Rewriting/Frederiksen_Others/assrewriteSize.xml n^1/? 54.2 / 26.4  (2) . 59.9 / 22.0  (0)
nnermost_Rewriting/Frederiksen_Others/boolprog.xml n^1/n^1 29.8 / 12.7  (4) ?/n^1 23.6 / 6.1  (2)
ermost_Rewriting/Frederiksen_Others/bubblesort.xml n^1/n^3 35.9 / 15.0  (3) n^1/n^2 56.3 / 22.1  (4)
most_Rewriting/Frederiksen_Others/deadcodeSize.xml exp/? 9.0 / 3.0  (2) . 20.4 / 7.1  (0)
rmost_Rewriting/Frederiksen_Others/disj2_typed.xml n^1/n^1 5.0 / 2.2  (4) n^1/n^1 1.1 / 0.3  (4)
ty_Innermost_Rewriting/Frederiksen_Others/div2.xml n^1/n^1 5.3 / 2.3  (4) n^1/n^1 0.3 / 0.1  (4)
ermost_Rewriting/Frederiksen_Others/dup1_typed.xml n^1/n^1 13.8 / 7.8  (4) n^1/n^1 1.7 / 0.5  (4)
ermost_Rewriting/Frederiksen_Others/dup2_typed.xml n^1/n^1 12.5 / 5.0  (4) n^1/n^1 1.1 / 0.3  (4)
xity_Innermost_Rewriting/Frederiksen_Others/eq.xml n^1/n^1 4.4 / 2.1  (4) n^1/n^1 0.4 / 0.1  (4)
ity_Innermost_Rewriting/Frederiksen_Others/ex6.xml n^1/n^1 5.2 / 2.8  (4) n^1/n^1 1.6 / 0.5  (4)
ity_Innermost_Rewriting/Frederiksen_Others/fgh.xml exp/? 14.0 / 4.6  (2) n^1/? 47.5 / 18.3  (1)
Innermost_Rewriting/Frederiksen_Others/fghSize.xml exp/? 15.3 / 6.7  (2) n^1/? 33.0 / 15.0  (1)
_Innermost_Rewriting/Frederiksen_Others/gexgcd.xml n^1/n^2 69.6 / 26.5  (4) . 71.1 / 22.2  (0)
Innermost_Rewriting/Frederiksen_Others/gexgcd2.xml n^1/n^2 46.6 / 19.7  (4) n^1/? 71.4 / 22.1  (2)
ewriting/Frederiksen_Others/graphcolour1_typed.xml n^1/? 69.9 / 27.0  (2) n^1/? 84.7 / 22.1  (2)
ting/Frederiksen_Others/graphcolour2Size_typed.xml . 70.9 / 26.9  (0) n^1/? 72.2 / 22.4  (2)
ewriting/Frederiksen_Others/graphcolour2_typed.xml n^1/? 71.1 / 26.9  (2) n^1/? 86.3 / 22.2  (2)
ewriting/Frederiksen_Others/graphcolour3_typed.xml . 57.1 / 27.6  (0) n^1/? 59.2 / 22.7  (2)
Innermost_Rewriting/Frederiksen_Others/inssort.xml n^1/n^2 34.0 / 10.6  (4) n^1/n^2 52.4 / 22.2  (4)
st_Rewriting/Frederiksen_Others/inssort_better.xml n^1/n^2 30.3 / 12.5  (4) n^1/n^2 54.5 / 22.1  (4)
y_Innermost_Rewriting/Frederiksen_Others/match.xml n^1/n^3 18.5 / 6.2  (3) ?/n^2 17.1 / 5.4  (2)
rmost_Rewriting/Frederiksen_Others/minsortSize.xml n^1/? 67.7 / 26.5  (2) . 83.4 / 22.0  (0)
ermost_Rewriting/Frederiksen_Others/ocall-safe.xml n^1/n^1 3.7 / 1.8  (4) n^1/n^1 0.4 / 0.1  (4)
most_Rewriting/Frederiksen_Others/ocall-unsafe.xml n^1/n^1 3.9 / 1.8  (4) n^1/n^1 0.5 / 0.2  (4)
Innermost_Rewriting/Frederiksen_Others/oddeven.xml n^1/n^1 3.9 / 1.9  (4) ?/n^1 0.5 / 0.2  (2)
_Innermost_Rewriting/Frederiksen_Others/permut.xml n^1/n^1 10.3 / 4.3  (4) ?/n^1 0.5 / 0.2  (2)
y_Innermost_Rewriting/Frederiksen_Others/power.xml n^2/? 48.2 / 27.1  (2) n^1/? 55.8 / 22.0  (1)
st_Rewriting/Frederiksen_Others/quicksortPtime.xml n^1/n^2 62.6 / 23.9  (4) n^1/? 73.8 / 22.2  (2)
ost_Rewriting/Frederiksen_Others/quicksortSize.xml n^1/? 72.3 / 26.5  (2) n^1/? 75.1 / 22.4  (2)
y_Innermost_Rewriting/Frederiksen_Others/reach.xml n^1/? 76.1 / 26.5  (2) . 86.5 / 22.3  (0)
Innermost_Rewriting/Frederiksen_Others/rematch.xml . 81.7 / 27.4  (0) n^1/? 86.0 / 23.2  (2)
nnermost_Rewriting/Frederiksen_Others/strmatch.xml n^1/n^2 37.4 / 13.9  (4) n^1/n^2 39.8 / 10.4  (4)
most_Rewriting/Frederiksen_Others/thetrickSize.xml n^1/n^1 20.3 / 7.9  (4) n^1/n^1 9.7 / 2.8  (4)
_Complexity_Innermost_Rewriting/GTSSK07/cade01.xml n^1/? 54.5 / 26.4  (2) n^1/? 58.4 / 21.6  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade03.xml n^1/? 56.7 / 26.4  (2) n^1/? 64.1 / 22.0  (2)
Complexity_Innermost_Rewriting/GTSSK07/cade04t.xml n^1/? 65.7 / 26.4  (2) n^1/? 29.4 / 10.2  (2)
Complexity_Innermost_Rewriting/GTSSK07/cade05t.xml n^1/? 63.5 / 26.6  (2) n^1/? 77.7 / 23.1  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade06.xml n^1/? 56.1 / 26.5  (2) n^1/? 68.2 / 22.0  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade07.xml n^1/? 69.6 / 26.4  (2) n^1/? 75.3 / 22.0  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade08.xml n^1/? 74.7 / 26.5  (2) n^1/? 77.8 / 22.1  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade09.xml n^1/? 72.3 / 26.4  (2) n^1/? 71.7 / 22.1  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade10.xml n^1/? 69.3 / 26.7  (2) n^1/? 71.4 / 22.1  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade11.xml n^1/? 46.5 / 26.6  (2) n^1/? 73.4 / 22.0  (2)
Complexity_Innermost_Rewriting/GTSSK07/cade12t.xml n^1/? 78.3 / 26.5  (2) n^1/? 73.9 / 22.2  (2)
Complexity_Innermost_Rewriting/GTSSK07/cade13t.xml n^1/? 67.8 / 26.4  (2) n^1/? 49.5 / 16.3  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade14.xml n^1/? 66.2 / 26.5  (2) n^1/? 77.8 / 22.0  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade15.xml exp/? 7.7 / 3.0  (2) exp/? 68.0 / 22.2  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade16.xml n^1/? 67.5 / 26.7  (2) n^1/? 82.9 / 22.0  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade17.xml n^2/? 69.8 / 26.4  (2) n^1/? 82.6 / 22.1  (1)
Innermost_Rewriting/HirokawaMiddeldorp_04/n002.xml exp/? 7.5 / 3.3  (2) . 20.1 / 7.0  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/n003.xml exp/? 8.9 / 3.0  (2) . 22.8 / 7.0  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/n004.xml exp/? 9.2 / 3.1  (2) . 19.9 / 7.0  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/n005.xml exp/? 8.5 / 2.9  (2) . 24.7 / 7.0  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/n006.xml exp/? 6.5 / 3.8  (2) . 15.8 / 7.1  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/n007.xml exp/? 6.2 / 3.0  (2) . 4.0 / 1.7  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/t001.xml n^1/? 58.4 / 26.4  (2) n^1/? 73.4 / 22.2  (2)
Innermost_Rewriting/HirokawaMiddeldorp_04/t002.xml n^1/n^2 16.5 / 6.5  (4) n^1/? 75.2 / 22.0  (2)
Innermost_Rewriting/HirokawaMiddeldorp_04/t003.xml n^1/? 43.3 / 26.6  (2) n^1/? 79.4 / 22.0  (2)
Innermost_Rewriting/HirokawaMiddeldorp_04/t004.xml exp/? 5.1 / 2.5  (2) . 55.8 / 22.2  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/t009.xml . 69.1 / 26.8  (0) . 88.5 / 22.6  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/t011.xml n^1/n^1 6.0 / 2.8  (4) ?/n^1 18.3 / 7.0  (2)
Innermost_Rewriting/HirokawaMiddeldorp_04/t012.xml n^1/? 72.4 / 26.5  (2) n^1/? 59.3 / 22.0  (2)
Innermost_Rewriting/HirokawaMiddeldorp_04/t013.xml n^1/? 79.6 / 28.2  (2) n^1/? 51.5 / 22.1  (2)
Innermost_Rewriting/HirokawaMiddeldorp_04/t014.xml n^1/n^2 8.4 / 3.7  (4) n^1/n^2 11.9 / 3.4  (4)
ty_Innermost_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.xml n^1/? 52.4 / 26.4  (2) n^1/? 83.8 / 22.1  (2)
mplexity_Innermost_Rewriting/Mixed_TRS/fossacs.xml n^1/? 51.0 / 26.5  (2) n^1/? 65.3 / 22.0  (2)
e_Complexity_Innermost_Rewriting/Mixed_TRS/gcd.xml n^1/? 67.9 / 26.5  (2) n^1/? 89.6 / 22.4  (2)
lexity_Innermost_Rewriting/Mixed_TRS/gcdMinMax.xml n^1/? 71.0 / 26.4  (2) n^1/? 77.7 / 22.0  (2)
exity_Innermost_Rewriting/Mixed_TRS/gcd_triple.xml n^1/? 74.6 / 26.4  (2) n^1/? 53.6 / 22.3  (2)
_Innermost_Rewriting/Mixed_TRS/hydra-Zantema06.xml n^1/n^1 27.2 / 9.4  (4) n^1/? 66.9 / 22.2  (2)
Complexity_Innermost_Rewriting/Mixed_TRS/hydra.xml n^1/n^1 18.3 / 8.8  (4) n^1/n^1 2.6 / 0.8  (4)
omplexity_Innermost_Rewriting/Mixed_TRS/jones1.xml n^1/n^1 4.7 / 2.5  (4) n^1/n^1 0.6 / 0.2  (4)
omplexity_Innermost_Rewriting/Mixed_TRS/jones2.xml n^1/n^2 11.8 / 4.0  (3) ?/n^1 1.3 / 0.5  (2)
omplexity_Innermost_Rewriting/Mixed_TRS/jones4.xml n^1/n^1 8.1 / 3.3  (4) ?/n^1 1.1 / 0.3  (2)
omplexity_Innermost_Rewriting/Mixed_TRS/jones5.xml n^1/? 49.9 / 26.5  (2) . 8.1 / 3.4  (0)
omplexity_Innermost_Rewriting/Mixed_TRS/jones6.xml n^1/n^2 17.6 / 10.8  (3) n^1/n^1 1.6 / 0.6  (4)
mplexity_Innermost_Rewriting/Mixed_TRS/minsort.xml exp/? 9.4 / 7.1  (2) n^1/? 62.0 / 22.1  (1)
mplexity_Innermost_Rewriting/Mixed_TRS/perfect.xml n^1/n^1 36.2 / 11.6  (4) ?/n^1 4.4 / 1.6  (2)
plexity_Innermost_Rewriting/Mixed_TRS/perfect2.xml exp/? 16.6 / 5.5  (2) n^1/? 70.3 / 22.0  (1)
Complexity_Innermost_Rewriting/Mixed_TRS/test1.xml n^1/? 26.0 / 10.0  (2) n^1/? 5.9 / 1.7  (2)
Complexity_Innermost_Rewriting/Mixed_TRS/while.xml n^1/? 67.2 / 26.4  (2) n^1/? 58.3 / 22.0  (2)
mplexity_Innermost_Rewriting/Rubio_04/bintrees.xml n^1/n^1 5.6 / 2.8  (4) n^1/n^1 12.3 / 3.2  (4)
_Complexity_Innermost_Rewriting/Rubio_04/bn122.xml n^1/n^2 11.8 / 3.7  (3) ?/n^1 1.2 / 0.4  (2)
mplexity_Innermost_Rewriting/Rubio_04/division.xml n^1/n^3 17.1 / 8.2  (4) n^1/n^3 68.3 / 22.0  (4)
mplexity_Innermost_Rewriting/Rubio_04/elimdupl.xml n^1/n^2 12.0 / 4.8  (4) n^1/n^2 74.3 / 22.1  (4)
e_Complexity_Innermost_Rewriting/Rubio_04/enno.xml n^1/n^2 33.0 / 11.0  (4) n^1/? 82.8 / 22.2  (2)
me_Complexity_Innermost_Rewriting/Rubio_04/gcd.xml n^1/n^2 31.5 / 12.0  (4) n^1/n^2 45.0 / 18.2  (4)
ime_Complexity_Innermost_Rewriting/Rubio_04/gm.xml n^1/n^2 11.5 / 4.0  (3) n^1/n^1 1.3 / 0.4  (4)
e_Complexity_Innermost_Rewriting/Rubio_04/gmnp.xml n^1/n^1 4.5 / 2.0  (4) n^1/n^1 2.8 / 1.1  (4)
e_Complexity_Innermost_Rewriting/Rubio_04/koen.xml ?/n^0 3.9 / 2.0  (2) ?/n^0 0.1 / 0.1  (2)
plexity_Innermost_Rewriting/Rubio_04/logarquot.xml n^1/n^2 22.4 / 4.0  (4) n^1/n^2 21.1 / 6.6  (4)
e_Complexity_Innermost_Rewriting/Rubio_04/ma96.xml n^1/? 66.9 / 26.7  (2) n^1/? 68.6 / 22.1  (2)
_Complexity_Innermost_Rewriting/Rubio_04/mfp95.xml ?/n^0 3.9 / 1.8  (2) ?/n^0 0.1 / 0.0  (2)
omplexity_Innermost_Rewriting/Rubio_04/nestrec.xml exp/? 4.8 / 2.2  (2) n^1/? 62.7 / 22.0  (1)
e_Complexity_Innermost_Rewriting/Rubio_04/p266.xml ?/n^0 3.3 / 1.6  (2) ?/n^0 0.4 / 0.3  (2)
_Complexity_Innermost_Rewriting/Rubio_04/polo2.xml n^1/n^1 14.8 / 4.7  (4) n^1/n^1 54.1 / 16.9  (4)
e_Complexity_Innermost_Rewriting/Rubio_04/prov.xml n^1/n^1 6.6 / 2.6  (4) n^1/n^1 1.3 / 0.4  (4)
_Complexity_Innermost_Rewriting/Rubio_04/quick.xml n^2/? 78.6 / 26.5  (2) n^1/? 73.8 / 22.5  (1)
plexity_Innermost_Rewriting/Rubio_04/quotminus.xml n^1/? 48.1 / 26.7  (2) n^1/? 34.9 / 12.6  (2)
omplexity_Innermost_Rewriting/Rubio_04/revlist.xml n^1/? 68.2 / 26.5  (2) n^1/? 88.9 / 22.7  (2)
omplexity_Innermost_Rewriting/Rubio_04/selsort.xml n^2/? 81.6 / 26.5  (2) n^1/? 83.9 / 22.8  (1)
_Complexity_Innermost_Rewriting/Rubio_04/test4.xml n^1/n^1 13.5 / 5.6  (4) n^1/n^1 7.4 / 2.8  (4)
omplexity_Innermost_Rewriting/Rubio_04/test829.xml n^1/n^1 7.6 / 3.1  (4) n^1/n^1 0.7 / 0.3  (4)
_Complexity_Innermost_Rewriting/Rubio_04/wst99.xml n^1/n^2 18.3 / 6.9  (4) n^1/n^2 49.9 / 13.1  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.02.xml n^1/? 28.0 / 27.4  (2) n^1/n^1 46.4 / 22.3  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.03.xml n^1/n^1 5.0 / 2.1  (4) n^1/n^1 0.8 / 0.3  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.07.xml n^1/n^1 20.7 / 8.6  (4) n^1/n^1 5.5 / 1.6  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.09.xml n^1/n^1 5.2 / 3.0  (4) n^1/n^1 0.5 / 0.3  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.11.xml n^1/n^1 4.9 / 2.8  (4) n^1/n^1 0.8 / 0.4  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.12.xml n^3/n^3 21.9 / 6.9  (4) n^1/n^3 38.0 / 12.6  (3)
ntime_Complexity_Innermost_Rewriting/SK90/2.13.xml n^1/n^1 8.2 / 3.5  (4) n^1/n^1 1.4 / 0.4  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.14.xml n^1/n^1 5.7 / 2.5  (4) n^1/n^1 1.3 / 0.4  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.15.xml exp/? 14.9 / 7.8  (2) exp/? 7.7 / 3.0  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.16.xml n^2/n^2 17.5 / 6.4  (4) n^1/n^2 8.6 / 2.3  (3)
ntime_Complexity_Innermost_Rewriting/SK90/2.17.xml n^1/n^1 23.1 / 7.0  (4) n^1/n^1 0.8 / 0.2  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.18.xml n^1/n^2 12.8 / 5.5  (4) n^1/n^2 3.6 / 1.4  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.19.xml n^2/n^2 11.2 / 4.3  (4) n^1/n^2 19.6 / 3.4  (3)
ntime_Complexity_Innermost_Rewriting/SK90/2.20.xml n^1/n^1 7.6 / 2.9  (4) n^1/n^1 1.7 / 1.2  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.21.xml exp/? 9.0 / 3.1  (2) n^1/? 10.4 / 3.5  (1)
ntime_Complexity_Innermost_Rewriting/SK90/2.22.xml n^1/n^2 22.6 / 8.3  (4) n^1/n^2 6.1 / 1.7  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.23.xml . 10.1 / 10.3  (0) n^1/? 55.8 / 22.1  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.24.xml exp/? 7.6 / 2.8  (2) exp/? 7.8 / 3.0  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.25.xml exp/? 10.6 / 4.9  (2) exp/? 41.7 / 15.4  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.26.xml exp/? 7.4 / 3.2  (2) exp/? 71.4 / 22.0  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.27.xml n^1/? 53.6 / 26.5  (2) n^1/? 79.0 / 22.1  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.28.xml n^1/? 50.9 / 26.7  (2) n^1/? 12.0 / 3.5  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.29.xml n^1/n^1 12.9 / 5.0  (4) n^1/n^1 1.2 / 0.4  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.30.xml ?/n^0 3.3 / 1.7  (2) ?/n^0 1.0 / 0.9  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.31.xml n^1/n^1 6.8 / 2.9  (4) n^1/n^1 0.6 / 0.2  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.36.xml n^1/n^1 4.8 / 2.2  (4) n^1/n^1 19.4 / 7.0  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.37.xml ?/n^0 3.7 / 1.7  (2) ?/n^0 0.6 / 0.2  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.38.xml n^1/n^1 4.8 / 2.5  (4) n^1/n^1 1.5 / 0.4  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.39.xml n^2/n^2 9.7 / 3.8  (4) n^1/n^2 42.4 / 22.1  (3)
ntime_Complexity_Innermost_Rewriting/SK90/2.40.xml n^1/n^1 4.6 / 2.8  (4) n^1/n^1 0.3 / 0.1  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.41.xml n^1/n^1 5.5 / 2.4  (4) n^1/n^1 2.2 / 1.0  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.42.xml n^1/n^1 3.8 / 1.9  (4) n^1/n^1 24.6 / 11.2  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.43.xml exp/? 26.5 / 12.6  (2) n^1/? 37.0 / 22.0  (1)
ntime_Complexity_Innermost_Rewriting/SK90/2.44.xml n^1/n^1 7.1 / 2.8  (4) ?/n^1 4.3 / 1.3  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.45.xml n^1/n^1 19.1 / 9.2  (4) n^1/n^1 1.1 / 0.3  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.47.xml n^1/n^1 4.4 / 2.0  (4) n^1/n^1 0.3 / 0.1  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.48.xml ?/n^0 3.5 / 1.7  (2) ?/n^0 0.3 / 0.1  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.49.xml ?/n^0 3.4 / 1.6  (2) ?/n^0 0.4 / 0.2  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.50.xml n^1/n^1 4.5 / 2.0  (4) n^1/n^1 0.1 / 0.1  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.51.xml n^1/? 57.9 / 26.6  (2) n^1/? 43.5 / 22.0  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.52.xml n^1/? 68.4 / 26.5  (2) n^1/? 53.8 / 22.0  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.53.xml n^1/n^1 5.7 / 2.4  (4) n^1/n^1 1.0 / 0.3  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.54.xml n^1/n^1 4.5 / 2.5  (4) n^1/n^1 0.3 / 0.1  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.55.xml n^1/n^2 5.2 / 2.2  (3) n^1/n^1 0.3 / 0.1  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.59.xml ?/n^0 3.5 / 1.7  (2) ?/n^1 0.3 / 0.1  (1)
ntime_Complexity_Innermost_Rewriting/SK90/2.61.xml ?/n^2 17.3 / 5.6  (1) ?/n^1 2.7 / 1.1  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.05.xml n^1/n^2 16.8 / 8.1  (4) n^1/n^2 6.2 / 3.0  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.06.xml exp/? 6.3 / 2.5  (2) n^1/? 31.7 / 10.8  (1)
ntime_Complexity_Innermost_Rewriting/SK90/4.07.xml ?/n^0 3.7 / 1.6  (2) ?/n^0 0.1 / 0.1  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.09.xml ?/n^0 3.4 / 1.5  (2) ?/n^0 3.3 / 1.5  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.10.xml n^1/n^3 10.7 / 4.1  (3) n^1/n^2 9.0 / 3.0  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.12.xml n^1/n^1 14.8 / 6.1  (4) ?/n^1 18.7 / 7.0  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.13.xml n^1/n^1 12.3 / 6.6  (4) ?/n^2 10.4 / 4.9  (1)
ntime_Complexity_Innermost_Rewriting/SK90/4.16.xml n^1/n^1 8.8 / 4.9  (4) n^1/n^1 2.3 / 1.1  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.17.xml n^2/? 57.3 / 26.4  (2) n^1/n^2 24.6 / 9.2  (3)
ntime_Complexity_Innermost_Rewriting/SK90/4.18.xml ?/n^0 3.8 / 1.8  (2) ?/n^0 0.3 / 0.1  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.22.xml n^1/? 66.3 / 26.5  (2) n^1/? 49.3 / 21.1  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.24.xml n^1/? 70.7 / 26.4  (2) n^1/? 84.6 / 22.0  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.25.xml n^1/n^1 10.0 / 3.5  (4) n^1/n^1 0.7 / 0.2  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.26.xml n^1/n^1 5.0 / 2.6  (4) n^1/n^1 22.9 / 13.8  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.27.xml n^1/? 30.6 / 30.0  (2) n^1/? 86.1 / 22.0  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.28.xml n^1/n^1 20.5 / 8.8  (4) n^1/n^1 4.1 / 1.3  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.29.xml n^1/n^1 8.1 / 3.2  (4) n^1/n^1 0.5 / 0.2  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.30.xml n^1/? 59.2 / 27.1  (2) n^1/n^1 18.9 / 5.3  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.31.xml exp/? 10.6 / 3.5  (2) exp/? 24.3 / 8.6  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.34.xml n^1/? 39.7 / 26.4  (2) n^1/? 79.9 / 22.0  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.35.xml ?/n^0 3.6 / 1.8  (2) ?/n^0 0.1 / 0.0  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.38.xml n^1/n^1 4.4 / 2.1  (4) n^1/n^1 1.4 / 0.4  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.42.xml n^1/? 65.1 / 26.5  (2) n^1/? 35.0 / 14.1  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.43.xml n^1/? 57.5 / 26.7  (2) n^1/n^3 43.7 / 15.4  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.45.xml n^1/n^1 5.3 / 2.7  (4) n^1/n^1 0.2 / 0.1  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.47.xml ?/n^0 3.8 / 1.7  (2) ?/n^0 0.3 / 0.1  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.48.xml ?/n^0 3.7 / 1.6  (2) ?/n^0 0.1 / 0.1  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.51.xml ?/n^0 3.5 / 1.7  (2) ?/n^1 2.9 / 1.4  (1)
ntime_Complexity_Innermost_Rewriting/SK90/4.53.xml n^1/n^3 48.7 / 8.1  (3) n^1/n^1 4.1 / 1.3  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.54.xml exp/? 10.7 / 3.5  (2) exp/? 11.9 / 3.3  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.57.xml ?/n^0 7.3 / 3.4  (2) ?/n^0 55.1 / 22.1  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.59.xml exp/? 11.0 / 3.8  (2) exp/? 66.6 / 21.6  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.60.xml exp/? 30.6 / 9.1  (2) n^1/? 61.3 / 22.1  (1)
ntime_Complexity_Innermost_Rewriting/SK90/4.61.xml exp/? 8.0 / 3.5  (2) n^1/? 87.9 / 22.5  (1)
xity_Innermost_Rewriting/Secret_05_TRS/aprove2.xml n^1/? 68.6 / 26.4  (2) n^1/? 74.9 / 22.0  (2)
xity_Innermost_Rewriting/Secret_05_TRS/aprove3.xml n^1/? 54.8 / 26.4  (2) n^1/? 48.6 / 22.3  (2)
xity_Innermost_Rewriting/Secret_05_TRS/aprove4.xml n^1/n^2 12.1 / 4.9  (4) n^1/? 47.9 / 22.2  (2)
xity_Innermost_Rewriting/Secret_05_TRS/aprove5.xml n^1/? 56.4 / 26.5  (2) n^1/? 59.4 / 22.0  (2)
lexity_Innermost_Rewriting/Secret_05_TRS/cime2.xml n^1/n^1 8.4 / 3.5  (4) n^1/n^1 9.2 / 3.2  (4)
lexity_Innermost_Rewriting/Secret_05_TRS/cime3.xml n^1/? 47.5 / 28.1  (2) n^1/? 55.0 / 22.4  (2)
lexity_Innermost_Rewriting/Secret_05_TRS/cime4.xml ?/n^0 4.2 / 5.8  (2) ?/n^0 6.1 / 4.1  (2)
lexity_Innermost_Rewriting/Secret_05_TRS/cime5.xml n^1/? 65.5 / 27.0  (2) n^1/? 67.9 / 22.2  (2)
plexity_Innermost_Rewriting/Secret_05_TRS/tpa1.xml n^1/? 64.2 / 26.7  (2) n^1/? 65.9 / 22.4  (2)
plexity_Innermost_Rewriting/Secret_05_TRS/tpa2.xml n^1/n^2 52.3 / 18.3  (4) n^1/? 51.4 / 24.2  (2)
plexity_Innermost_Rewriting/Secret_05_TRS/tpa3.xml n^2/? 58.1 / 29.9  (2) n^1/? 62.9 / 22.0  (1)
plexity_Innermost_Rewriting/Secret_05_TRS/tpa4.xml n^2/? 56.8 / 27.2  (2) n^1/? 62.8 / 22.1  (1)
plexity_Innermost_Rewriting/Secret_05_TRS/tpa5.xml n^1/? 65.9 / 26.7  (2) n^1/? 65.8 / 22.2  (2)
plexity_Innermost_Rewriting/Secret_05_TRS/ttt1.xml ?/n^0 3.5 / 2.2  (2) ?/n^0 20.5 / 10.0  (2)
plexity_Innermost_Rewriting/Secret_05_TRS/ttt2.xml exp/? 8.7 / 2.9  (2) . 32.2 / 11.2  (0)
omplexity_Innermost_Rewriting/Secret_06_TRS/10.xml ?/n^0 3.5 / 1.6  (2) ?/n^0 0.9 / 0.5  (2)
Complexity_Innermost_Rewriting/Secret_06_TRS/4.xml ?/n^0 3.5 / 1.6  (2) ?/n^1 72.1 / 22.0  (1)
Complexity_Innermost_Rewriting/Secret_06_TRS/6.xml ?/n^0 3.4 / 1.8  (2) ?/n^0 0.2 / 0.1  (2)
xity_Innermost_Rewriting/Secret_06_TRS/addList.xml n^1/? 76.3 / 26.5  (2) n^1/? 71.0 / 22.2  (2)
exity_Innermost_Rewriting/Secret_06_TRS/divExp.xml n^1/? 71.2 / 26.4  (2) n^1/? 65.8 / 22.1  (2)
ity_Innermost_Rewriting/Secret_06_TRS/division.xml n^1/? 65.0 / 26.7  (2) n^1/? 79.8 / 22.5  (2)
exity_Innermost_Rewriting/Secret_06_TRS/double.xml n^1/? 72.9 / 26.4  (2) n^1/? 59.8 / 22.1  (2)
lexity_Innermost_Rewriting/Secret_06_TRS/gen-1.xml ?/n^0 7.5 / 1.8  (2) ?/n^0 0.1 / 0.1  (2)
exity_Innermost_Rewriting/Secret_06_TRS/gen-17.xml ?/n^0 3.5 / 1.6  (2) ?/n^0 22.8 / 14.4  (2)
exity_Innermost_Rewriting/Secret_06_TRS/gen-28.xml ?/n^0 3.4 / 1.7  (2) ?/n^2 59.9 / 18.2  (1)
ty_Innermost_Rewriting/Secret_06_TRS/logarithm.xml n^1/? 72.2 / 26.9  (2) n^1/? 71.4 / 22.1  (2)
ty_Innermost_Rewriting/Secret_06_TRS/nrOfNodes.xml n^2/? 76.5 / 26.4  (2) n^1/? 70.6 / 22.0  (1)
xity_Innermost_Rewriting/Secret_06_TRS/reverse.xml n^2/? 76.0 / 26.7  (2) n^1/? 65.2 / 22.1  (1)
xity_Innermost_Rewriting/Secret_06_TRS/sumList.xml n^2/? 75.5 / 26.5  (2) n^1/? 72.8 / 22.1  (1)
lexity_Innermost_Rewriting/Secret_06_TRS/times.xml n^1/? 73.2 / 26.4  (2) n^1/? 58.4 / 22.1  (2)
exity_Innermost_Rewriting/Secret_06_TRS/toList.xml n^1/? 68.5 / 26.6  (2) n^1/? 67.6 / 22.1  (2)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa04.xml n^1/? 67.2 / 26.6  (2) n^1/? 72.6 / 22.3  (2)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa05.xml n^2/? 67.2 / 26.7  (2) n^1/? 74.0 / 22.0  (1)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa06.xml n^1/? 74.3 / 26.5  (2) n^1/? 70.8 / 22.3  (2)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa07.xml n^2/? 74.7 / 26.4  (2) n^1/? 63.8 / 22.0  (1)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa08.xml n^2/? 65.0 / 26.7  (2) n^1/? 54.8 / 22.3  (1)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa09.xml n^2/? 69.4 / 26.8  (2) n^1/? 79.6 / 22.1  (1)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa10.xml n^2/? 70.0 / 26.6  (2) n^1/? 68.5 / 22.1  (1)
Complexity_Innermost_Rewriting/Secret_07_TRS/3.xml ?/n^0 3.5 / 1.7  (2) ?/n^1 74.1 / 22.1  (1)
ity_Innermost_Rewriting/Secret_07_TRS/aprove01.xml n^1/? 79.3 / 26.5  (2) n^1/? 63.8 / 22.1  (2)
ity_Innermost_Rewriting/Secret_07_TRS/aprove02.xml n^1/? 72.5 / 26.7  (2) n^1/? 66.2 / 22.0  (2)
ity_Innermost_Rewriting/Secret_07_TRS/aprove03.xml n^1/? 73.3 / 26.9  (2) n^1/? 69.1 / 22.1  (2)
ity_Innermost_Rewriting/Secret_07_TRS/aprove04.xml n^1/? 71.7 / 26.8  (2) n^1/? 84.3 / 22.1  (2)
ity_Innermost_Rewriting/Secret_07_TRS/aprove05.xml n^1/? 54.2 / 26.7  (2) n^1/? 69.4 / 22.0  (2)
ity_Innermost_Rewriting/Secret_07_TRS/aprove06.xml n^1/? 59.1 / 26.6  (2) n^1/? 75.9 / 22.0  (2)
ity_Innermost_Rewriting/Secret_07_TRS/aprove07.xml n^1/? 62.6 / 26.6  (2) n^1/? 65.6 / 22.1  (2)
ity_Innermost_Rewriting/Secret_07_TRS/aprove08.xml n^1/? 66.4 / 27.2  (2) n^1/? 73.0 / 22.2  (2)
ity_Innermost_Rewriting/Secret_07_TRS/aprove09.xml n^1/? 69.4 / 26.7  (2) n^1/? 73.7 / 22.7  (2)
ity_Innermost_Rewriting/Secret_07_TRS/aprove10.xml n^1/? 75.1 / 26.5  (2) n^1/? 67.9 / 22.1  (2)
xity_Innermost_Rewriting/Secret_07_TRS/secret1.xml n^1/? 65.0 / 26.7  (2) n^1/? 88.6 / 22.6  (2)
xity_Innermost_Rewriting/Secret_07_TRS/secret3.xml n^1/? 56.4 / 26.4  (2) n^1/? 69.0 / 22.1  (2)
xity_Innermost_Rewriting/Secret_07_TRS/secret4.xml n^1/? 64.1 / 29.3  (2) n^1/? 86.7 / 22.1  (2)
xity_Innermost_Rewriting/Secret_07_TRS/secret5.xml n^1/n^1 8.9 / 3.5  (4) n^1/n^1 1.8 / 0.5  (4)
nnermost_Rewriting/Strategy_removed_AG01/#4.14.xml n^1/n^1 4.4 / 2.1  (4) n^1/n^1 66.7 / 22.0  (4)
nnermost_Rewriting/Strategy_removed_AG01/#4.16.xml n^1/n^1 4.5 / 2.0  (4) n^1/n^1 8.4 / 2.8  (4)
nnermost_Rewriting/Strategy_removed_AG01/#4.17.xml n^1/n^1 4.2 / 2.0  (4) n^1/n^1 64.0 / 22.1  (4)
nnermost_Rewriting/Strategy_removed_AG01/#4.19.xml n^1/n^1 58.1 / 25.9  (4) n^1/? 31.7 / 10.8  (2)
Innermost_Rewriting/Strategy_removed_AG01/#4.2.xml n^1/n^1 4.4 / 2.0  (4) n^1/n^1 65.1 / 22.0  (4)
nermost_Rewriting/Strategy_removed_AG01/#4.20a.xml n^1/n^1 9.1 / 2.3  (4) n^1/n^1 2.6 / 0.9  (4)
nnermost_Rewriting/Strategy_removed_AG01/#4.22.xml n^1/n^1 5.7 / 2.4  (4) n^1/n^1 13.3 / 8.7  (4)
nnermost_Rewriting/Strategy_removed_AG01/#4.23.xml n^1/? 53.8 / 26.6  (2) n^1/? 58.6 / 22.0  (2)
nnermost_Rewriting/Strategy_removed_AG01/#4.25.xml ?/n^0 3.6 / 1.7  (2) . 3.6 / 1.2  (0)
nnermost_Rewriting/Strategy_removed_AG01/#4.26.xml n^1/n^2 21.3 / 9.7  (4) n^1/? 58.0 / 21.8  (2)
nnermost_Rewriting/Strategy_removed_AG01/#4.27.xml n^1/n^2 17.0 / 6.6  (4) n^1/n^3 29.3 / 7.9  (3)
nnermost_Rewriting/Strategy_removed_AG01/#4.28.xml n^1/n^2 11.0 / 4.0  (3) n^1/n^1 24.3 / 7.0  (4)
nnermost_Rewriting/Strategy_removed_AG01/#4.29.xml n^1/? 64.4 / 26.7  (2) n^1/? 76.9 / 22.1  (2)
nnermost_Rewriting/Strategy_removed_AG01/#4.30.xml n^1/n^2 18.5 / 7.4  (4) n^1/? 69.5 / 22.1  (2)
nermost_Rewriting/Strategy_removed_AG01/#4.30a.xml n^1/n^2 15.7 / 5.1  (4) n^1/? 36.2 / 13.3  (2)
nermost_Rewriting/Strategy_removed_AG01/#4.30b.xml n^1/n^2 37.1 / 15.2  (4) n^1/? 87.3 / 22.4  (2)
nermost_Rewriting/Strategy_removed_AG01/#4.30c.xml n^1/n^2 48.4 / 18.2  (4) n^1/? 60.6 / 22.5  (2)
nnermost_Rewriting/Strategy_removed_AG01/#4.32.xml n^1/n^1 14.9 / 6.1  (4) n^1/n^2 8.4 / 2.3  (3)
nnermost_Rewriting/Strategy_removed_AG01/#4.33.xml n^2/? 48.3 / 26.4  (2) n^1/n^3 70.4 / 22.5  (3)
nnermost_Rewriting/Strategy_removed_AG01/#4.34.xml n^1/? 59.1 / 26.7  (2) n^1/n^1 7.9 / 2.8  (4)
nnermost_Rewriting/Strategy_removed_AG01/#4.35.xml n^1/? 59.1 / 26.9  (2) n^1/? 79.5 / 22.0  (2)
nnermost_Rewriting/Strategy_removed_AG01/#4.36.xml n^2/? 61.8 / 27.1  (2) n^1/? 86.2 / 22.2  (1)
nnermost_Rewriting/Strategy_removed_AG01/#4.37.xml n^1/n^1 8.5 / 3.8  (4) n^1/n^1 1.9 / 0.6  (4)
nermost_Rewriting/Strategy_removed_AG01/#4.37a.xml n^1/n^1 8.7 / 4.3  (4) n^1/n^1 1.8 / 0.5  (4)
Innermost_Rewriting/Strategy_removed_AG01/#4.7.xml ?/n^0 3.1 / 1.5  (2) ?/n^0 0.1 / 0.1  (2)
_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.xml exp/? 5.1 / 2.2  (2) . 4.9 / 1.9  (0)
t_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.xml exp/? 7.5 / 3.1  (2) n^1/? 10.3 / 5.3  (1)
_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.xml exp/? 23.2 / 7.5  (2) n^1/? 26.7 / 10.8  (1)
Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml exp/? 6.0 / 3.1  (2) . 4.1 / 1.7  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.xml exp/? 6.9 / 2.7  (2) n^1/? 11.4 / 5.4  (1)
ost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.xml exp/? 10.4 / 3.7  (2) n^1/? 51.1 / 22.0  (1)
t_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.xml exp/? 8.0 / 3.3  (2) n^1/? 12.1 / 6.4  (1)
st_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.xml exp/? 8.8 / 3.0  (2) . 61.8 / 20.2  (0)
_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.xml exp/? 12.2 / 4.6  (2) n^1/? 63.0 / 22.0  (1)
t_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.xml exp/? 7.3 / 3.2  (2) n^1/? 13.6 / 8.0  (1)
ewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml exp/? 6.6 / 2.5  (2) n^1/? 5.6 / 2.3  (1)
_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.xml exp/? 10.3 / 3.7  (2) n^1/? 13.5 / 4.9  (1)
writing/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml exp/? 21.2 / 8.8  (2) n^1/? 41.7 / 22.0  (1)
st_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.xml n^1/n^1 7.5 / 3.0  (4) n^1/n^1 4.7 / 1.3  (4)
Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml exp/? 7.1 / 3.0  (2) n^1/? 11.4 / 3.5  (1)
writing/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml exp/? 8.8 / 3.5  (2) . 28.1 / 7.5  (0)
writing/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml exp/? 24.0 / 8.4  (2) n^1/? 15.8 / 5.8  (1)
writing/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml exp/? 4.8 / 2.1  (2) n^1/? 5.3 / 2.0  (1)
writing/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml exp/? 8.6 / 3.0  (2) . 21.2 / 7.0  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.xml n^1/? 17.3 / 8.0  (2) n^1/? 48.2 / 21.7  (2)
_Rewriting/Strategy_removed_CSR_05/Ex5_7_Luc97.xml exp/? 28.0 / 8.4  (2) n^1/? 22.6 / 8.6  (1)
st_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.xml exp/? 8.7 / 2.9  (2) . 18.1 / 7.0  (0)
Rewriting/Strategy_removed_CSR_05/Ex6_15_AEL02.xml exp/? 13.1 / 4.4  (2) n^1/? 29.6 / 11.2  (1)
Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml exp/? 6.1 / 3.0  (2) . 8.1 / 4.4  (0)
ost_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.xml exp/? 8.3 / 3.0  (2) . 11.4 / 7.2  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.xml exp/? 5.5 / 2.3  (2) n^1/? 6.2 / 2.7  (1)
st_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.xml exp/? 8.9 / 3.1  (2) n^1/? 11.7 / 6.3  (1)
st_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.xml exp/? 18.2 / 7.9  (2) n^1/? 26.6 / 9.8  (1)
st_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.xml exp/? 21.5 / 6.6  (2) n^1/? 75.2 / 22.0  (1)
ting/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml exp/? 36.2 / 10.8  (2) n^1/? 32.7 / 13.3  (1)
Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.xml exp/? 5.5 / 6.2  (2) . 21.9 / 7.0  (0)
ewriting/Strategy_removed_CSR_05/ExIntrod_GM01.xml exp/? 10.3 / 3.7  (2) n^1/? 44.9 / 12.1  (1)
ewriting/Strategy_removed_CSR_05/ExIntrod_GM04.xml exp/? 10.1 / 3.4  (2) n^1/? 42.4 / 12.2  (1)
ewriting/Strategy_removed_CSR_05/ExIntrod_GM99.xml exp/? 10.5 / 3.7  (2) n^1/? 57.0 / 22.0  (1)
writing/Strategy_removed_CSR_05/ExIntrod_Zan97.xml n^2/? 86.2 / 28.9  (2) n^1/? 59.9 / 22.0  (1)
ing/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml exp/? 13.2 / 4.7  (2) n^1/? 77.5 / 22.0  (1)
ermost_Rewriting/Strategy_removed_mixed_05/ex1.xml exp/? 8.3 / 2.9  (2) . 21.8 / 7.0  (0)
ermost_Rewriting/Strategy_removed_mixed_05/ex2.xml exp/? 9.2 / 3.1  (2) . 4.8 / 2.0  (0)
ermost_Rewriting/Strategy_removed_mixed_05/ex3.xml exp/? 8.4 / 3.0  (2) . 21.8 / 7.0  (0)
ermost_Rewriting/Strategy_removed_mixed_05/ex4.xml exp/? 8.3 / 2.9  (2) . 51.9 / 22.0  (0)
ermost_Rewriting/Strategy_removed_mixed_05/ex5.xml exp/? 8.3 / 2.9  (2) . 21.8 / 7.0  (0)
ermost_Rewriting/Strategy_removed_mixed_05/ex6.xml . 58.0 / 26.6  (0) . 18.2 / 5.9  (0)
ost_Rewriting/Strategy_removed_mixed_05/muladd.xml exp/? 7.0 / 2.9  (2) . 34.6 / 21.4  (0)
ost_Rewriting/Strategy_removed_mixed_05/test10.xml n^1/n^1 4.7 / 2.2  (4) n^1/n^1 10.4 / 6.3  (4)
ost_Rewriting/Strategy_removed_mixed_05/test76.xml n^1/n^1 6.7 / 3.1  (4) n^1/? 22.6 / 9.6  (2)
ost_Rewriting/Strategy_removed_mixed_05/test77.xml n^1/n^1 7.5 / 3.3  (4) n^1/? 24.9 / 9.7  (2)
st_Rewriting/Strategy_removed_mixed_05/test830.xml n^1/n^1 4.5 / 2.0  (4) n^1/n^1 1.9 / 0.5  (4)
st_Rewriting/Strategy_removed_mixed_05/tricky1.xml ?/n^0 3.4 / 1.6  (2) ?/n^0 1.7 / 1.0  (2)
xity_Innermost_Rewriting/TCT_12/polycounter-10.xml n^1/? 79.6 / 26.5  (2) n^1/? 73.3 / 22.1  (2)
exity_Innermost_Rewriting/TCT_12/polycounter-5.xml n^1/? 52.9 / 26.4  (2) n^1/? 48.2 / 14.7  (2)
lexity_Innermost_Rewriting/TCT_12/recursion-10.xml n^1/? 74.9 / 26.5  (2) n^1/? 83.6 / 22.3  (2)
plexity_Innermost_Rewriting/TCT_12/recursion-5.xml n^1/? 55.5 / 26.4  (2) n^1/? 61.5 / 22.3  (2)
time_Complexity_Innermost_Rewriting/TCT_12/sat.xml n^1/n^2 22.2 / 6.5  (4) n^1/n^2 29.0 / 8.6  (4)
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_C.xml n^1/? 73.3 / 26.5  (2) n^1/? 85.5 / 22.0  (2)
st_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.xml n^1/? 118.8 / 26.7  (2) n^1/? 55.5 / 22.0  (2)
st_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.xml n^1/? 53.3 / 26.5  (2) n^1/n^3 73.5 / 22.1  (4)
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.xml exp/? 8.7 / 3.2  (2) . 22.1 / 7.0  (0)
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.xml exp/? 25.2 / 5.2  (2) . 83.5 / 22.0  (0)
most_Rewriting/Transformed_CSR_04/Ex14_Luc06_C.xml n^1/? 74.5 / 26.9  (2) n^1/? 75.6 / 22.0  (2)
ost_Rewriting/Transformed_CSR_04/Ex14_Luc06_GM.xml n^1/? 53.3 / 26.6  (2) n^1/? 70.4 / 22.0  (2)
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_C.xml n^1/n^1 4.6 / 2.0  (4) n^1/n^1 68.7 / 22.1  (4)
ost_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.xml n^1/n^1 8.1 / 3.3  (4) n^1/n^1 3.8 / 1.9  (4)
ost_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.xml n^1/n^1 7.4 / 3.6  (4) n^1/n^1 0.8 / 0.3  (4)
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.xml exp/? 9.1 / 3.1  (2) . 19.2 / 7.0  (0)
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.xml ?/n^0 3.6 / 1.7  (2) ?/n^0 1.1 / 0.4  (2)
most_Rewriting/Transformed_CSR_04/Ex15_Luc98_C.xml n^1/? 71.2 / 27.0  (2) n^1/? 71.5 / 22.5  (2)
ost_Rewriting/Transformed_CSR_04/Ex15_Luc98_FR.xml exp/? 9.0 / 4.7  (2) n^1/? 26.3 / 8.3  (1)
ost_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.xml n^1/n^1 12.2 / 4.6  (4) n^1/n^1 26.4 / 8.1  (4)
most_Rewriting/Transformed_CSR_04/Ex15_Luc98_Z.xml exp/? 8.0 / 3.8  (2) . 21.7 / 9.1  (0)
most_Rewriting/Transformed_CSR_04/Ex16_Luc06_C.xml n^1/n^3 56.7 / 22.6  (4) n^1/? 86.9 / 22.0  (2)
ost_Rewriting/Transformed_CSR_04/Ex16_Luc06_GM.xml n^1/n^1 12.5 / 13.0  (4) n^1/n^1 23.2 / 7.0  (4)
most_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.xml exp/? 9.0 / 3.1  (2) . 22.5 / 7.0  (0)
most_Rewriting/Transformed_CSR_04/Ex18_Luc06_C.xml n^1/? 51.6 / 28.5  (2) n^1/n^1 82.6 / 22.1  (4)
ost_Rewriting/Transformed_CSR_04/Ex18_Luc06_FR.xml n^1/n^1 4.3 / 2.3  (4) n^1/n^1 0.6 / 0.2  (4)
ost_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.xml n^1/n^1 6.4 / 2.5  (4) n^1/n^1 0.8 / 0.3  (4)
most_Rewriting/Transformed_CSR_04/Ex18_Luc06_Z.xml ?/n^0 3.6 / 1.9  (2) ?/n^0 0.1 / 0.0  (2)
ost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_C.xml n^1/? 86.4 / 27.0  (2) n^1/? 66.9 / 22.1  (2)
st_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_FR.xml n^1/n^3 14.7 / 3.4  (3) n^1/n^1 1.7 / 0.6  (4)
st_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.xml n^1/? 70.5 / 26.6  (2) n^1/? 88.0 / 22.3  (2)
ost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_Z.xml n^2/n^2 11.0 / 5.7  (4) n^1/n^2 7.4 / 2.1  (3)
st_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_C.xml n^1/? 73.2 / 26.5  (2) n^1/? 75.8 / 22.2  (2)
t_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml n^1/n^1 6.8 / 10.2  (4) n^1/n^1 1.3 / 0.5  (4)
t_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml n^1/? 58.3 / 26.4  (2) n^1/? 52.2 / 22.1  (2)
st_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml ?/n^0 3.3 / 2.8  (2) ?/n^0 0.2 / 0.1  (2)
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_C.xml n^1/? 61.5 / 27.1  (2) n^1/? 69.1 / 22.3  (2)
most_Rewriting/Transformed_CSR_04/Ex1_GL02a_FR.xml n^1/? 62.2 / 26.7  (2) n^1/? 67.4 / 22.1  (2)
most_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.xml n^1/n^1 7.0 / 2.7  (4) n^1/n^1 8.4 / 1.3  (4)
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.xml exp/? 7.7 / 3.4  (2) . 23.6 / 7.2  (0)
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_Z.xml n^1/? 65.7 / 26.4  (2) . 86.9 / 22.2  (0)
ermost_Rewriting/Transformed_CSR_04/Ex1_GM03_C.xml n^1/? 69.1 / 26.7  (2) n^1/? 87.5 / 22.3  (2)
rmost_Rewriting/Transformed_CSR_04/Ex1_GM03_FR.xml n^1/n^1 5.5 / 2.3  (4) n^1/n^1 12.2 / 5.5  (4)
rmost_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.xml n^2/? 69.9 / 27.0  (2) n^1/? 85.5 / 22.7  (1)
ermost_Rewriting/Transformed_CSR_04/Ex1_GM03_Z.xml n^1/? 39.7 / 26.7  (2) . 32.5 / 22.0  (0)
ermost_Rewriting/Transformed_CSR_04/Ex1_GM99_C.xml n^1/? 79.3 / 26.4  (2) n^1/? 84.2 / 22.1  (2)
rmost_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.xml n^1/? 64.1 / 26.4  (2) n^1/? 78.5 / 22.0  (2)
ermost_Rewriting/Transformed_CSR_04/Ex1_GM99_L.xml exp/? 8.1 / 3.4  (2) . 23.9 / 7.0  (0)
most_Rewriting/Transformed_CSR_04/Ex1_Luc02b_C.xml n^1/? 76.5 / 26.5  (2) n^1/? 87.7 / 22.3  (2)
ost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_FR.xml n^1/n^1 9.3 / 3.5  (4) n^1/n^1 1.1 / 0.4  (4)
ost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.xml n^1/? 62.5 / 26.5  (2) n^1/? 78.9 / 22.0  (2)
most_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.xml n^1/n^2 10.9 / 3.9  (3) ?/n^1 46.1 / 22.0  (2)
most_Rewriting/Transformed_CSR_04/Ex1_Luc04b_C.xml not finished n^1/n^1 88.2 / 22.5  (4)
ost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.xml exp/? 25.8 / 4.2  (2) n^1/? 53.0 / 22.1  (1)
ost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.xml n^1/? 56.9 / 26.4  (2) n^1/? 86.0 / 22.5  (2)
most_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.xml exp/? 9.9 / 3.4  (2) . 39.8 / 12.9  (0)
rmost_Rewriting/Transformed_CSR_04/Ex1_Zan97_C.xml n^1/n^1 8.4 / 3.7  (4) n^1/n^1 62.5 / 22.2  (4)
most_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.xml exp/? 9.2 / 3.8  (2) . 87.1 / 22.1  (0)
most_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.xml ?/n^0 3.7 / 1.7  (2) ?/n^0 1.0 / 0.4  (2)
rmost_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.xml exp/? 8.8 / 3.0  (2) . 23.3 / 7.6  (0)
most_Rewriting/Transformed_CSR_04/Ex23_Luc06_C.xml n^1/n^1 5.4 / 2.3  (4) n^1/n^1 73.3 / 22.2  (4)
ost_Rewriting/Transformed_CSR_04/Ex23_Luc06_FR.xml n^1/n^1 4.1 / 1.9  (4) n^1/n^1 0.6 / 0.2  (4)
ost_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.xml n^1/n^1 6.3 / 2.4  (4) n^1/n^1 1.9 / 0.6  (4)
most_Rewriting/Transformed_CSR_04/Ex23_Luc06_Z.xml ?/n^0 3.6 / 1.7  (2) ?/n^0 0.1 / 0.0  (2)
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_C.xml n^1/? 70.3 / 30.0  (2) n^1/? 87.4 / 22.2  (2)
most_Rewriting/Transformed_CSR_04/Ex24_GM04_FR.xml n^1/? 50.5 / 26.7  (2) n^1/? 21.3 / 8.2  (2)
most_Rewriting/Transformed_CSR_04/Ex24_GM04_GM.xml n^1/n^1 7.5 / 2.8  (4) n^1/n^1 7.0 / 3.3  (4)
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_L.xml exp/? 6.0 / 6.9  (2) . 19.5 / 7.1  (0)
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_Z.xml ?/n^0 4.6 / 2.8  (2) . 9.5 / 4.6  (0)
most_Rewriting/Transformed_CSR_04/Ex24_Luc06_C.xml n^1/n^1 76.1 / 26.2  (4) n^1/? 71.9 / 22.1  (2)
ost_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.xml n^1/n^1 4.6 / 2.5  (4) n^1/n^1 37.4 / 22.0  (4)
most_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.xml exp/? 7.8 / 3.2  (2) . 22.2 / 7.0  (0)
most_Rewriting/Transformed_CSR_04/Ex25_Luc06_C.xml n^1/n^1 5.4 / 2.3  (4) n^1/n^1 86.4 / 22.1  (4)
ost_Rewriting/Transformed_CSR_04/Ex25_Luc06_FR.xml n^1/n^1 7.4 / 4.2  (4) n^1/n^1 2.0 / 1.3  (4)
ost_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.xml n^1/n^1 5.0 / 2.2  (4) n^1/n^1 2.6 / 1.0  (4)
most_Rewriting/Transformed_CSR_04/Ex25_Luc06_Z.xml ?/n^0 3.6 / 2.1  (2) ?/n^0 0.9 / 0.5  (2)
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_C.xml n^1/? 79.7 / 26.5  (2) n^1/? 87.8 / 22.4  (2)
st_Rewriting/Transformed_CSR_04/Ex26_Luc03b_FR.xml n^1/n^1 9.4 / 4.0  (4) n^1/n^1 4.3 / 1.9  (4)
st_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.xml n^1/? 70.8 / 26.4  (2) n^1/? 70.1 / 22.3  (2)
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.xml ?/n^0 3.9 / 1.7  (2) ?/n^0 0.4 / 0.2  (2)
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_Z.xml ?/n^0 3.6 / 1.7  (2) ?/n^0 0.8 / 0.3  (2)
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_C.xml n^1/? 78.5 / 26.9  (2) n^1/? 89.2 / 22.7  (2)
ost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_FR.xml n^1/n^3 9.2 / 3.6  (3) n^1/n^1 1.2 / 0.5  (4)
ost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.xml n^1/? 65.6 / 27.1  (2) n^1/? 86.2 / 22.3  (2)
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.xml n^3/? 54.6 / 28.1  (2) n^1/n^3 27.0 / 9.8  (3)
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.xml n^3/? 62.3 / 26.4  (2) n^1/n^3 42.6 / 13.8  (3)
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_C.xml n^1/? 70.6 / 26.8  (2) n^1/? 75.1 / 22.8  (2)
ost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_FR.xml n^1/? 61.2 / 26.7  (2) n^1/n^2 40.5 / 17.7  (4)
ost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.xml n^1/? 60.0 / 26.4  (2) n^1/n^2 73.4 / 22.1  (4)
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.xml ?/n^0 3.0 / 1.5  (2) ?/n^0 0.2 / 0.1  (2)
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.xml n^1/n^1 9.2 / 3.7  (4) ?/n^1 11.9 / 3.2  (2)
t_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_C.xml n^1/? 72.7 / 26.4  (2) n^1/? 81.6 / 22.3  (2)
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml n^1/n^1 8.8 / 3.2  (4) n^1/n^1 1.1 / 0.4  (4)
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml n^1/? 66.6 / 26.5  (2) n^1/? 37.7 / 12.7  (2)
t_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml n^1/n^1 9.2 / 3.3  (4) ?/n^1 45.3 / 22.0  (2)
ost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_C.xml n^1/? 76.1 / 26.5  (2) n^1/? 89.0 / 22.5  (2)
st_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_FR.xml exp/? 9.7 / 3.5  (2) n^1/? 58.8 / 15.9  (1)
st_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.xml n^1/? 70.0 / 26.4  (2) n^1/? 46.4 / 16.7  (2)
ost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_Z.xml exp/? 9.4 / 7.5  (2) . 41.3 / 13.4  (0)
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml n^1/? 78.6 / 26.5  (2) n^1/? 74.3 / 22.6  (2)
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml n^1/? 65.7 / 26.4  (2) n^1/? 42.1 / 14.1  (2)
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml n^1/? 62.5 / 26.6  (2) n^1/? 86.8 / 22.2  (2)
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml ?/n^0 3.2 / 1.5  (2) ?/n^0 0.1 / 0.1  (2)
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml exp/? 9.1 / 3.6  (2) . 19.2 / 7.6  (0)
rmost_Rewriting/Transformed_CSR_04/Ex49_GM04_C.xml n^1/? 74.5 / 26.5  (2) n^1/? 65.5 / 22.3  (2)
most_Rewriting/Transformed_CSR_04/Ex49_GM04_FR.xml n^2/? 58.1 / 26.5  (2) n^1/n^2 38.9 / 11.0  (3)
most_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.xml . 40.6 / 30.1  (0) n^1/n^3 75.8 / 22.1  (4)
rmost_Rewriting/Transformed_CSR_04/Ex49_GM04_Z.xml n^1/n^2 9.0 / 3.3  (3) ?/n^1 2.9 / 0.8  (2)
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_C.xml n^1/? 71.5 / 28.2  (2) n^1/? 87.8 / 22.4  (2)
t_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml n^1/n^3 6.0 / 3.5  (3) n^1/n^1 0.4 / 0.2  (4)
t_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml n^1/? 49.1 / 26.4  (2) n^1/n^2 34.9 / 17.5  (4)
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.xml n^1/n^1 4.2 / 2.0  (4) n^1/n^1 0.2 / 0.1  (4)
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml exp/? 8.3 / 3.3  (2) n^1/? 30.3 / 15.1  (1)
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml n^1/n^1 6.7 / 2.7  (4) n^1/n^1 86.6 / 22.2  (4)
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml n^1/n^1 4.5 / 2.4  (4) n^1/n^1 1.5 / 1.0  (4)
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml n^1/n^1 4.5 / 2.1  (4) n^1/n^1 11.7 / 3.2  (4)
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml ?/n^0 3.3 / 1.6  (2) ?/n^0 0.6 / 0.2  (2)
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml ?/n^0 3.7 / 2.0  (2) ?/n^0 1.8 / 0.9  (2)
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml n^1/? 76.7 / 26.6  (2) n^1/? 87.9 / 22.4  (2)
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml n^1/? 66.2 / 27.8  (2) n^1/? 24.2 / 7.5  (2)
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml n^1/? 77.2 / 26.4  (2) n^1/? 88.1 / 22.4  (2)
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml n^1/? 58.4 / 26.4  (2) n^1/? 72.5 / 22.2  (2)
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml n^1/? 71.4 / 26.4  (2) n^1/? 80.0 / 22.2  (2)
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml n^1/n^1 7.2 / 4.1  (4) n^1/n^1 1.2 / 1.0  (4)
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml n^1/? 61.7 / 26.8  (2) n^1/? 44.9 / 18.9  (2)
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml n^1/n^1 5.2 / 2.2  (4) ?/n^1 1.3 / 0.4  (2)
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml n^1/? 54.4 / 27.4  (2) n^1/n^1 62.8 / 23.1  (4)
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml ?/n^0 3.3 / 1.5  (2) ?/n^0 0.2 / 0.1  (2)
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml n^1/n^1 4.6 / 2.1  (4) n^1/n^1 20.4 / 7.0  (4)
ost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_C.xml n^1/? 81.7 / 26.6  (2) n^1/? 87.0 / 22.5  (2)
st_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_FR.xml n^2/? 61.3 / 26.5  (2) n^1/? 73.7 / 22.2  (1)
st_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.xml n^1/? 71.8 / 26.7  (2) n^1/? 87.5 / 22.2  (2)
ost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_Z.xml n^1/? 69.9 / 26.6  (2) . 61.4 / 22.3  (0)
rmost_Rewriting/Transformed_CSR_04/Ex4_Zan97_C.xml n^1/? 75.8 / 26.5  (2) n^1/? 86.7 / 22.2  (2)
most_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.xml n^1/? 57.5 / 27.1  (2) n^1/? 54.0 / 22.1  (2)
most_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.xml n^1/? 55.7 / 26.4  (2) n^1/? 84.2 / 22.0  (2)
rmost_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.xml n^1/? 65.7 / 26.4  (2) n^1/? 79.4 / 22.1  (2)
ost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_C.xml n^1/? 81.0 / 26.7  (2) n^1/? 88.3 / 22.7  (2)
st_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_FR.xml exp/? 10.2 / 3.4  (2) n^1/? 50.1 / 16.2  (1)
st_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.xml n^1/? 67.9 / 26.4  (2) n^1/? 86.4 / 22.3  (2)
ost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_Z.xml exp/? 10.3 / 4.5  (2) . 47.0 / 22.2  (0)
ost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_C.xml n^1/? 68.0 / 26.7  (2) n^1/? 87.8 / 22.5  (2)
st_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_FR.xml n^1/n^1 8.1 / 3.0  (4) n^1/n^1 5.8 / 2.0  (4)
st_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.xml n^1/? 63.3 / 26.4  (2) n^1/? 87.9 / 22.4  (2)
ost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_Z.xml exp/? 7.8 / 3.3  (2) . 27.8 / 8.7  (0)
rmost_Rewriting/Transformed_CSR_04/Ex5_Zan97_C.xml n^1/n^1 6.1 / 2.5  (4) n^1/n^1 78.7 / 22.0  (4)
most_Rewriting/Transformed_CSR_04/Ex5_Zan97_FR.xml n^1/n^3 14.5 / 5.8  (3) n^1/n^1 9.1 / 4.2  (4)
most_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.xml n^1/? 62.9 / 26.5  (2) n^1/? 40.0 / 11.4  (2)
rmost_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.xml ?/n^0 4.0 / 1.7  (2) ?/n^1 1.3 / 0.5  (1)
st_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_C.xml n^1/? 92.5 / 26.6  (2) n^1/? 85.7 / 22.6  (2)
t_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_FR.xml n^1/? 65.0 / 26.5  (2) n^1/? 57.2 / 22.0  (2)
t_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.xml n^1/? 73.0 / 26.5  (2) n^1/? 69.8 / 22.5  (2)
st_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_Z.xml n^1/? 53.7 / 26.5  (2) n^1/? 48.0 / 22.0  (2)
st_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_C.xml n^1/? 74.7 / 26.5  (2) n^1/? 87.5 / 22.3  (2)
t_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml n^1/n^1 7.3 / 4.2  (4) n^1/n^1 9.6 / 5.5  (4)
t_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml n^1/? 59.3 / 26.7  (2) n^1/? 42.9 / 13.8  (2)
st_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml ?/n^0 3.6 / 1.7  (2) ?/n^0 3.4 / 1.1  (2)
ermost_Rewriting/Transformed_CSR_04/Ex6_GM04_C.xml n^1/n^1 8.9 / 5.0  (4) n^1/n^1 60.6 / 22.2  (4)
rmost_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.xml exp/? 9.5 / 3.4  (2) . 81.3 / 22.0  (0)
rmost_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.xml ?/n^0 3.8 / 2.3  (2) ?/n^0 0.1 / 0.0  (2)
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_C.xml n^1/? 72.8 / 26.4  (2) n^1/? 74.2 / 22.7  (2)
most_Rewriting/Transformed_CSR_04/Ex6_Luc98_FR.xml n^1/n^1 12.2 / 3.9  (4) n^1/n^1 1.3 / 0.5  (4)
most_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.xml n^1/? 53.6 / 27.3  (2) n^1/n^2 48.2 / 22.2  (4)
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.xml ?/n^0 3.3 / 5.5  (2) ?/n^0 0.1 / 0.1  (2)
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.xml n^1/n^1 7.7 / 3.6  (4) ?/n^1 1.1 / 0.3  (2)
rmost_Rewriting/Transformed_CSR_04/Ex7_BLR02_C.xml n^1/? 71.2 / 26.8  (2) n^1/? 87.3 / 22.2  (2)
most_Rewriting/Transformed_CSR_04/Ex7_BLR02_FR.xml n^1/n^3 9.0 / 4.0  (3) n^1/n^1 11.1 / 7.2  (4)
most_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.xml n^1/? 55.2 / 26.5  (2) n^1/? 89.6 / 22.7  (2)
rmost_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.xml n^1/n^2 13.5 / 7.6  (3) ?/n^1 46.3 / 22.1  (2)
rmost_Rewriting/Transformed_CSR_04/Ex8_BLR02_C.xml n^1/? 79.6 / 26.5  (2) n^1/? 87.9 / 22.3  (2)
most_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.xml n^1/? 58.5 / 26.5  (2) n^1/? 90.3 / 14.8  (2)
most_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.xml n^2/? 76.0 / 26.4  (2) n^1/? 88.8 / 22.6  (1)
rmost_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.xml n^1/? 55.4 / 26.4  (2) n^1/? 57.2 / 22.0  (2)
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_C.xml n^1/? 83.2 / 26.7  (2) n^1/? 87.9 / 22.3  (2)
most_Rewriting/Transformed_CSR_04/Ex9_BLR02_FR.xml n^1/? 77.2 / 26.4  (2) n^1/? 34.5 / 12.4  (2)
most_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.xml n^1/? 73.0 / 26.6  (2) n^1/? 83.9 / 22.1  (2)
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.xml ?/n^0 3.2 / 1.5  (2) ?/n^0 0.6 / 0.2  (2)
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.xml n^1/? 50.4 / 26.7  (2) . 58.4 / 22.0  (0)
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc04_C.xml n^1/n^2 61.5 / 20.5  (4) n^1/? 57.3 / 22.1  (2)
most_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.xml n^1/? 62.3 / 26.5  (2) n^1/? 67.1 / 22.1  (2)
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.xml exp/? 7.2 / 3.4  (2) . 1.9 / 0.7  (0)
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc06_C.xml n^1/? 79.0 / 26.4  (2) n^1/? 74.7 / 22.1  (2)
most_Rewriting/Transformed_CSR_04/Ex9_Luc06_FR.xml exp/? 8.7 / 3.7  (2) . 51.3 / 22.2  (0)
most_Rewriting/Transformed_CSR_04/Ex9_Luc06_GM.xml n^1/n^1 17.9 / 9.2  (4) n^1/n^1 21.5 / 7.0  (4)
writing/Transformed_CSR_04/ExAppendixB_AEL03_C.xml n^1/? 64.7 / 27.3  (2) n^1/? 53.7 / 22.4  (2)
riting/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml n^1/n^1 9.9 / 4.1  (4) n^1/n^1 3.3 / 2.7  (4)
riting/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml n^1/? 72.7 / 27.0  (2) n^1/? 87.3 / 22.3  (2)
writing/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml n^2/n^2 18.2 / 7.8  (4) n^1/n^2 34.7 / 14.2  (3)
st_Rewriting/Transformed_CSR_04/ExConc_Zan97_C.xml n^1/n^1 5.4 / 2.8  (4) n^1/n^1 72.5 / 22.2  (4)
t_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.xml n^1/n^1 4.7 / 2.4  (4) n^1/n^1 0.7 / 0.3  (4)
t_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.xml n^1/n^1 4.6 / 2.8  (4) n^1/n^1 1.3 / 0.4  (4)
st_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.xml exp/? 8.0 / 3.0  (2) . 21.9 / 7.0  (0)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM01_C.xml n^1/? 74.8 / 26.4  (2) n^1/n^1 87.5 / 22.3  (4)
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.xml exp/? 15.6 / 9.0  (2) n^1/? 59.3 / 22.0  (1)
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.xml n^1/? 48.4 / 26.7  (2) n^1/? 63.9 / 22.5  (2)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.xml exp/? 12.4 / 12.8  (2) . 56.6 / 22.0  (0)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM04_C.xml n^1/? 73.3 / 26.4  (2) n^1/n^1 78.4 / 22.5  (4)
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.xml n^1/? 53.9 / 26.5  (2) n^1/? 60.7 / 22.0  (2)
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.xml n^1/? 49.5 / 26.7  (2) n^1/? 46.5 / 22.3  (2)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.xml n^1/? 56.1 / 26.6  (2) . 60.4 / 22.1  (0)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM99_C.xml n^1/? 79.9 / 26.5  (2) n^1/? 72.7 / 22.8  (2)
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_FR.xml n^1/n^3 9.1 / 3.9  (3) n^1/n^1 3.0 / 1.1  (4)
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.xml n^1/? 58.6 / 26.4  (2) n^1/? 87.9 / 22.3  (2)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM99_Z.xml ?/n^0 3.4 / 1.8  (2) ?/n^0 1.3 / 0.4  (2)
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_C.xml n^1/? 62.6 / 27.3  (2) n^1/? 70.5 / 22.5  (2)
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_FR.xml n^1/n^1 6.6 / 3.0  (4) n^1/n^1 13.4 / 4.7  (4)
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.xml n^1/? 77.0 / 26.5  (2) n^1/? 47.3 / 22.8  (2)
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_Z.xml n^1/? 35.7 / 24.9  (2) . 15.3 / 5.5  (0)
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_C.xml n^1/? 48.1 / 30.1  (2) n^1/n^1 50.5 / 22.4  (4)
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_FR.xml n^1/n^1 4.7 / 2.1  (4) n^1/n^1 0.8 / 0.3  (4)
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.xml n^1/? 55.4 / 26.8  (2) n^1/? 82.6 / 22.1  (2)
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.xml ?/n^0 3.3 / 1.6  (2) ?/n^1 1.4 / 0.4  (1)
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.xml ?/n^0 3.5 / 1.6  (2) ?/n^1 2.3 / 0.7  (1)
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml n^1/? 63.4 / 27.2  (2) n^1/? 87.4 / 22.4  (2)
writing/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml n^1/n^1 8.8 / 3.5  (4) n^1/n^1 1.4 / 0.6  (4)
writing/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml n^1/? 62.6 / 26.8  (2) n^1/? 87.3 / 22.2  (2)
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml n^3/? 59.5 / 27.8  (2) n^1/n^3 48.5 / 20.4  (3)
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml n^3/? 109.4 / 26.7  (2) n^1/n^3 67.0 / 22.1  (3)
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml n^1/? 88.5 / 26.6  (2) n^1/? 85.1 / 22.6  (2)
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml n^1/n^1 10.7 / 3.5  (4) n^1/n^1 13.4 / 7.2  (4)
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml n^1/? 76.2 / 26.5  (2) n^1/? 87.7 / 22.3  (2)
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml n^1/n^1 9.3 / 4.0  (4) ?/n^1 43.2 / 22.3  (2)
sformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml . 78.8 / 27.9  (0) n^1/? 71.2 / 22.3  (2)
nsformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml . 96.1 / 28.2  (0) . 85.1 / 22.1  (0)
ng/Transformed_CSR_04/LISTUTILITIES_complete_C.xml n^1/? 103.8 / 28.3  (2) n^1/? 84.8 / 22.3  (2)
g/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml exp/? 82.6 / 30.1  (2) n^1/? 71.3 / 22.2  (1)
g/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml . 75.6 / 28.4  (0) n^1/? 83.9 / 22.1  (2)
ng/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml exp/? 101.3 / 30.1  (2) . 84.5 / 22.1  (0)
nsformed_CSR_04/LISTUTILITIES_complete_noand_C.xml n^1/? 92.6 / 28.4  (2) n^1/? 87.5 / 22.3  (2)
sformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml . 47.0 / 30.0  (0) n^1/? 48.0 / 24.4  (2)
nsformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml n^1/? 95.0 / 28.0  (2) n^1/? 81.5 / 22.1  (2)
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml exp/? 112.0 / 30.1  (2) . 80.9 / 22.0  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml n^1/? 97.3 / 27.0  (2) n^1/? 85.1 / 22.3  (2)
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml n^1/? 76.8 / 26.5  (2) n^1/? 65.5 / 22.1  (2)
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml . 72.8 / 26.9  (0) n^1/? 69.4 / 22.1  (2)
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml n^1/? 78.7 / 26.5  (2) . 65.2 / 22.1  (0)
ansformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml n^1/? 86.2 / 29.8  (2) n^1/? 86.8 / 22.1  (2)
nsformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml . 93.9 / 28.5  (0) n^1/? 82.0 / 22.1  (2)
nsformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml n^1/? 61.3 / 27.0  (2) n^1/? 72.2 / 22.2  (2)
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml ?/n^1 18.4 / 6.0  (2) ?/n^1 60.4 / 22.1  (2)
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml n^1/? 78.0 / 26.9  (2) n^1/? 57.1 / 22.5  (2)
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml n^1/n^1 11.5 / 4.5  (4) n^1/n^1 59.5 / 22.0  (4)
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml n^1/? 93.3 / 29.7  (2) n^1/? 87.5 / 22.4  (2)
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml n^1/n^1 10.9 / 4.3  (4) ?/n^1 50.0 / 22.2  (2)
ansformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml n^1/? 96.5 / 26.9  (2) n^1/? 83.6 / 22.1  (2)
nsformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml . 82.3 / 30.1  (0) n^1/? 69.2 / 22.2  (2)
d_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml n^1/? 88.9 / 26.6  (2) n^1/? 45.1 / 22.7  (2)
ed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml n^1/? 85.8 / 26.5  (2) . 66.8 / 22.1  (0)
nsformed_CSR_04/LengthOfFiniteLists_complete_C.xml n^1/? 94.8 / 26.5  (2) n^1/? 82.9 / 22.1  (2)
sformed_CSR_04/LengthOfFiniteLists_complete_FR.xml exp/? 34.7 / 10.6  (2) n^1/? 68.3 / 22.9  (1)
sformed_CSR_04/LengthOfFiniteLists_complete_GM.xml . 62.5 / 27.0  (0) n^1/? 55.3 / 22.5  (2)
nsformed_CSR_04/LengthOfFiniteLists_complete_Z.xml n^1/? 87.8 / 26.6  (2) . 53.6 / 22.2  (0)
ed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml n^1/? 103.4 / 27.5  (2) n^1/? 83.3 / 22.1  (2)
d_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml . 85.8 / 26.6  (0) n^1/? 53.8 / 22.5  (2)
ed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml n^1/? 72.6 / 26.5  (2) n^1/? 73.4 / 22.1  (2)
med_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml n^1/? 114.9 / 26.4  (2) . 73.6 / 22.2  (0)
ansformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml n^1/? 77.5 / 26.6  (2) n^1/? 89.1 / 22.8  (2)
nsformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml n^1/? 58.1 / 26.7  (2) n^1/? 87.1 / 22.4  (2)
nsformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml n^1/? 57.7 / 26.5  (2) n^1/? 87.7 / 22.3  (2)
ansformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml n^1/? 46.5 / 30.9  (2) . 73.9 / 22.2  (0)
med_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml n^1/? 93.2 / 26.9  (2) n^1/? 85.2 / 22.1  (2)
ed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml n^1/? 54.9 / 26.7  (2) n^1/? 87.6 / 22.4  (2)
ed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml exp/? 10.2 / 3.5  (2) . 73.9 / 22.0  (0)
ansformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml n^1/? 71.8 / 26.4  (2) n^1/n^1 87.0 / 22.1  (4)
nsformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml exp/? 8.2 / 3.6  (2) . 87.0 / 22.1  (0)
nsformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml exp/? 10.6 / 3.5  (2) n^1/? 67.3 / 22.0  (1)
med_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml n^1/? 58.6 / 27.3  (2) n^1/n^1 54.6 / 22.7  (4)
ed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml exp/? 11.1 / 4.1  (2) n^1/? 69.7 / 22.0  (1)
ing/Transformed_CSR_04/MYNAT_complete-noand_FR.xml n^2/? 97.1 / 26.7  (2) n^1/? 82.1 / 22.0  (1)
ting/Transformed_CSR_04/MYNAT_complete-noand_Z.xml n^1/? 86.5 / 26.6  (2) . 65.9 / 22.1  (0)
_Rewriting/Transformed_CSR_04/MYNAT_complete_C.xml n^1/? 89.6 / 30.1  (2) n^1/? 84.6 / 22.0  (2)
Rewriting/Transformed_CSR_04/MYNAT_complete_FR.xml exp/? 24.0 / 7.1  (2) n^1/? 87.7 / 22.4  (1)
Rewriting/Transformed_CSR_04/MYNAT_complete_GM.xml exp/? 52.8 / 23.7  (2) n^1/? 57.5 / 22.6  (1)
_Rewriting/Transformed_CSR_04/MYNAT_complete_Z.xml n^1/? 78.4 / 26.5  (2) . 87.4 / 22.3  (0)
ting/Transformed_CSR_04/MYNAT_complete_noand_C.xml n^1/? 90.1 / 28.4  (2) n^1/? 59.5 / 22.7  (2)
ing/Transformed_CSR_04/MYNAT_complete_noand_GM.xml n^1/? 64.6 / 28.4  (2) n^1/? 83.7 / 22.0  (2)
ting/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml n^2/n^2 22.7 / 8.3  (4) n^1/? 87.8 / 22.5  (1)
iting/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml n^1/n^1 9.7 / 3.7  (4) ?/n^1 28.1 / 9.0  (2)
t_Rewriting/Transformed_CSR_04/MYNAT_nokinds_C.xml n^1/? 82.5 / 26.5  (2) n^1/? 86.2 / 22.7  (2)
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_FR.xml n^1/? 58.2 / 27.4  (2) n^1/? 61.7 / 22.5  (2)
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.xml exp/? 20.2 / 7.8  (2) n^1/? 66.5 / 22.3  (1)
t_Rewriting/Transformed_CSR_04/MYNAT_nokinds_Z.xml n^1/? 60.6 / 26.6  (2) ?/n^1 24.6 / 6.4  (2)
iting/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml n^1/? 92.9 / 26.6  (2) n^1/? 68.6 / 22.1  (2)
ting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml exp/? 29.8 / 13.1  (2) n^1/? 69.5 / 22.8  (1)
ting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml n^2/n^2 12.5 / 4.5  (4) ?/n^2 56.7 / 22.0  (2)
t_Rewriting/Transformed_CSR_04/MYNAT_nosorts_C.xml n^1/? 73.7 / 27.0  (2) n^1/? 87.9 / 22.4  (2)
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.xml n^2/n^2 10.2 / 5.3  (4) n^1/n^2 5.2 / 1.7  (3)
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.xml n^2/? 41.5 / 30.1  (2) n^1/? 74.7 / 22.4  (1)
iting/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml n^1/? 88.2 / 26.5  (2) n^1/? 67.4 / 22.2  (2)
ting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml exp/? 38.6 / 14.7  (2) n^1/? 70.5 / 22.3  (1)
/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml n^1/? 85.0 / 27.9  (2) n^1/? 83.4 / 22.1  (2)
g/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml n^1/? 83.5 / 27.2  (2) . 83.6 / 22.1  (0)
writing/Transformed_CSR_04/OvConsOS_complete_C.xml n^1/? 99.7 / 26.7  (2) n^1/? 83.0 / 22.1  (2)
riting/Transformed_CSR_04/OvConsOS_complete_FR.xml exp/? 40.6 / 12.7  (2) n^1/? 68.6 / 22.5  (1)
riting/Transformed_CSR_04/OvConsOS_complete_GM.xml . 88.9 / 27.6  (0) n^1/? 83.5 / 22.1  (2)
writing/Transformed_CSR_04/OvConsOS_complete_Z.xml n^1/? 73.4 / 26.7  (2) . 84.9 / 22.2  (0)
g/Transformed_CSR_04/OvConsOS_complete_noand_C.xml n^1/? 103.3 / 28.3  (2) n^1/? 77.6 / 24.0  (2)
/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml . 89.3 / 27.5  (0) n^1/? 66.3 / 22.2  (2)
g/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml n^1/? 79.2 / 26.4  (2) n^1/? 84.0 / 22.4  (2)
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml n^1/? 65.6 / 26.6  (2) . 85.0 / 22.0  (0)
ewriting/Transformed_CSR_04/OvConsOS_nokinds_C.xml n^1/? 80.9 / 26.5  (2) n^1/? 67.7 / 22.1  (2)
writing/Transformed_CSR_04/OvConsOS_nokinds_FR.xml n^1/? 63.4 / 26.4  (2) n^1/? 87.8 / 22.3  (2)
writing/Transformed_CSR_04/OvConsOS_nokinds_GM.xml n^1/? 62.6 / 26.7  (2) n^1/? 86.5 / 22.3  (2)
ewriting/Transformed_CSR_04/OvConsOS_nokinds_Z.xml n^1/? 50.8 / 26.5  (2) . 84.3 / 22.1  (0)
ng/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml n^1/? 101.9 / 28.1  (2) n^1/? 82.1 / 22.1  (2)
g/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml n^1/? 75.9 / 26.6  (2) n^1/? 83.4 / 22.2  (2)
g/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml n^1/? 67.1 / 26.4  (2) n^1/? 82.6 / 22.4  (2)
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml exp/? 10.2 / 4.5  (2) . 71.4 / 22.2  (0)
ewriting/Transformed_CSR_04/OvConsOS_nosorts_C.xml n^1/? 76.6 / 26.4  (2) n^1/n^1 87.8 / 22.4  (4)
writing/Transformed_CSR_04/OvConsOS_nosorts_FR.xml exp/? 9.0 / 3.9  (2) n^1/? 64.8 / 22.2  (1)
writing/Transformed_CSR_04/OvConsOS_nosorts_GM.xml exp/? 12.4 / 4.0  (2) n^1/? 69.8 / 22.0  (1)
ewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.xml exp/? 9.9 / 3.5  (2) . 70.4 / 22.0  (0)
ng/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml n^1/? 81.5 / 26.6  (2) n^1/? 95.4 / 22.1  (2)
g/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml exp/? 15.3 / 5.9  (2) n^1/? 87.7 / 22.3  (1)
ransformed_CSR_04/PALINDROME_complete-noand_FR.xml n^2/? 99.4 / 26.6  (2) n^1/? 59.0 / 22.3  (1)
Transformed_CSR_04/PALINDROME_complete-noand_L.xml exp/? 20.6 / 6.4  (2) . 85.7 / 22.1  (0)
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml n^1/? 90.3 / 26.7  (2) . 81.0 / 22.0  (0)
iting/Transformed_CSR_04/PALINDROME_complete_C.xml n^1/? 99.3 / 26.8  (2) n^1/? 84.8 / 22.1  (2)
ting/Transformed_CSR_04/PALINDROME_complete_FR.xml exp/? 42.0 / 15.5  (2) n^1/? 66.3 / 22.1  (1)
ting/Transformed_CSR_04/PALINDROME_complete_GM.xml n^1/? 84.1 / 30.1  (2) n^1/? 82.9 / 22.1  (2)
iting/Transformed_CSR_04/PALINDROME_complete_Z.xml . 11.4 / 15.6  (0) . 84.0 / 22.5  (0)
Transformed_CSR_04/PALINDROME_complete_noand_C.xml n^1/? 86.1 / 27.1  (2) n^1/? 85.1 / 22.1  (2)
ransformed_CSR_04/PALINDROME_complete_noand_GM.xml n^1/? 92.7 / 26.6  (2) n^1/? 85.3 / 22.2  (2)
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml n^2/n^2 35.4 / 11.9  (4) n^1/n^3 89.6 / 22.9  (2)
/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml exp/? 11.2 / 3.7  (2) . 67.8 / 22.0  (0)
/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml n^1/n^1 17.8 / 5.7  (4) ?/n^1 36.9 / 11.9  (2)
riting/Transformed_CSR_04/PALINDROME_nokinds_C.xml n^1/? 72.9 / 26.5  (2) n^1/n^1 87.7 / 22.4  (4)
iting/Transformed_CSR_04/PALINDROME_nokinds_FR.xml n^1/? 55.9 / 27.2  (2) n^1/n^3 60.7 / 23.5  (4)
iting/Transformed_CSR_04/PALINDROME_nokinds_GM.xml n^1/? 64.7 / 26.7  (2) n^1/? 78.6 / 22.3  (2)
riting/Transformed_CSR_04/PALINDROME_nokinds_Z.xml n^1/? 63.7 / 26.5  (2) ?/n^1 60.4 / 22.1  (2)
/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml n^1/? 82.0 / 26.9  (2) n^1/n^1 78.8 / 22.1  (4)
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml n^1/? 82.7 / 28.6  (2) n^1/? 86.0 / 22.5  (2)
riting/Transformed_CSR_04/PALINDROME_nosorts_C.xml n^1/? 72.8 / 26.6  (2) n^1/n^1 87.5 / 22.3  (4)
iting/Transformed_CSR_04/PALINDROME_nosorts_GM.xml n^1/? 119.7 / 27.1  (2) n^1/? 64.6 / 22.3  (2)
/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml n^1/? 74.2 / 26.5  (2) n^1/n^1 87.2 / 22.4  (4)
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml n^1/? 68.0 / 26.4  (2) n^1/? 86.2 / 22.1  (2)
ing/Transformed_CSR_04/PEANO_complete-noand_FR.xml n^2/? 83.5 / 26.9  (2) n^1/? 85.3 / 22.2  (1)
ting/Transformed_CSR_04/PEANO_complete-noand_Z.xml n^1/n^2 37.5 / 11.4  (4) . 88.2 / 22.6  (0)
_Rewriting/Transformed_CSR_04/PEANO_complete_C.xml n^1/? 79.7 / 26.6  (2) n^1/? 81.5 / 22.1  (2)
Rewriting/Transformed_CSR_04/PEANO_complete_FR.xml exp/? 16.9 / 6.6  (2) n^1/? 87.9 / 22.3  (1)
Rewriting/Transformed_CSR_04/PEANO_complete_GM.xml n^1/? 75.8 / 27.3  (2) n^1/? 60.6 / 22.6  (2)
_Rewriting/Transformed_CSR_04/PEANO_complete_Z.xml n^1/? 92.1 / 27.9  (2) . 83.9 / 22.2  (0)
ting/Transformed_CSR_04/PEANO_complete_noand_C.xml n^1/? 108.2 / 30.1  (2) n^1/? 82.5 / 22.1  (2)
ing/Transformed_CSR_04/PEANO_complete_noand_GM.xml n^1/? 82.0 / 26.6  (2) n^1/? 81.1 / 22.2  (2)
ting/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml n^2/n^2 15.4 / 4.9  (4) n^1/n^2 52.6 / 17.4  (3)
iting/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml n^1/n^1 8.6 / 3.7  (4) ?/n^1 2.8 / 1.1  (2)
t_Rewriting/Transformed_CSR_04/PEANO_nokinds_C.xml n^1/? 74.2 / 27.2  (2) n^1/? 86.4 / 22.1  (2)
_Rewriting/Transformed_CSR_04/PEANO_nokinds_FR.xml n^2/? 74.6 / 26.4  (2) n^1/n^2 56.6 / 18.3  (3)
_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.xml n^1/? 63.5 / 26.7  (2) n^1/? 87.9 / 22.4  (2)
t_Rewriting/Transformed_CSR_04/PEANO_nokinds_Z.xml n^1/? 59.8 / 26.5  (2) ?/n^1 18.2 / 4.8  (2)
iting/Transformed_CSR_04/PEANO_nokinds_noand_C.xml n^1/? 68.5 / 26.7  (2) n^1/? 85.0 / 22.3  (2)
ting/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml n^1/? 66.0 / 26.9  (2) n^1/? 87.6 / 22.4  (2)
ting/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml n^1/n^1 5.1 / 2.7  (4) ?/n^1 15.0 / 7.2  (2)
t_Rewriting/Transformed_CSR_04/PEANO_nosorts_C.xml n^1/? 50.9 / 28.0  (2) n^1/n^1 73.3 / 22.2  (4)
_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.xml n^1/n^1 4.6 / 2.4  (4) n^1/n^1 0.5 / 0.1  (4)
_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.xml n^2/? 53.3 / 26.7  (2) n^1/? 64.1 / 22.0  (1)
iting/Transformed_CSR_04/PEANO_nosorts_noand_C.xml n^1/? 63.6 / 26.6  (2) n^1/n^1 83.8 / 22.1  (4)
ting/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml n^2/? 57.7 / 26.8  (2) n^1/? 71.6 / 22.0  (1)
e_Complexity_Innermost_Rewriting/Various_04/04.xml ?/n^0 3.5 / 1.6  (2) ?/n^0 2.1 / 1.1  (2)
e_Complexity_Innermost_Rewriting/Various_04/08.xml ?/n^0 3.9 / 2.0  (2) ?/n^0 67.0 / 22.1  (2)
e_Complexity_Innermost_Rewriting/Various_04/10.xml n^1/? 51.1 / 27.0  (2) n^1/? 84.0 / 22.4  (2)
e_Complexity_Innermost_Rewriting/Various_04/11.xml ?/n^0 3.4 / 1.6  (2) . 9.9 / 3.7  (0)
e_Complexity_Innermost_Rewriting/Various_04/12.xml n^1/? 63.3 / 27.9  (2) n^1/? 70.0 / 22.1  (2)
e_Complexity_Innermost_Rewriting/Various_04/13.xml n^1/? 63.1 / 26.4  (2) n^1/? 77.5 / 22.0  (2)
e_Complexity_Innermost_Rewriting/Various_04/14.xml n^1/n^2 52.0 / 19.6  (4) n^1/? 50.8 / 22.6  (2)
e_Complexity_Innermost_Rewriting/Various_04/15.xml n^1/n^1 3.9 / 1.9  (4) ?/n^1 45.0 / 22.0  (2)
e_Complexity_Innermost_Rewriting/Various_04/18.xml n^1/n^1 8.8 / 3.2  (4) ?/n^1 68.8 / 22.0  (2)
e_Complexity_Innermost_Rewriting/Various_04/22.xml n^1/n^1 7.1 / 2.9  (4) n^1/n^1 13.5 / 5.3  (4)
e_Complexity_Innermost_Rewriting/Various_04/23.xml n^1/n^1 16.0 / 2.9  (4) n^1/n^1 2.0 / 0.7  (4)
e_Complexity_Innermost_Rewriting/Various_04/24.xml n^1/n^1 4.8 / 2.9  (4) n^1/n^2 33.4 / 12.0  (3)
xity_Innermost_Rewriting/Waldmann_06/jwmatchb1.xml n^1/n^1 5.0 / 2.1  (4) n^1/n^1 31.9 / 22.0  (4)
xity_Innermost_Rewriting/Waldmann_06/jwmatchb2.xml n^1/n^1 4.8 / 2.4  (4) n^1/n^1 32.1 / 22.0  (4)
mplexity_Innermost_Rewriting/Waldmann_06/jwno1.xml n^1/? 41.3 / 26.5  (2) n^1/? 21.6 / 7.0  (2)
mplexity_Innermost_Rewriting/Waldmann_06/jwno4.xml n^1/? 29.0 / 6.2  (2) n^1/? 25.7 / 11.8  (2)
mplexity_Innermost_Rewriting/Waldmann_06/jwno6.xml n^1/? 14.5 / 4.9  (2) n^1/? 24.5 / 8.9  (2)
_Complexity_Innermost_Rewriting/Zantema_05/z10.xml n^1/? 52.0 / 28.7  (2) n^1/? 23.5 / 6.8  (2)
_Complexity_Innermost_Rewriting/Zantema_05/z12.xml n^1/? 52.6 / 26.5  (2) n^1/? 69.2 / 22.0  (2)
_Complexity_Innermost_Rewriting/Zantema_05/z13.xml n^1/? 42.1 / 28.3  (2) n^1/? 57.9 / 22.6  (2)
_Complexity_Innermost_Rewriting/Zantema_05/z14.xml n^1/? 61.0 / 26.6  (2) n^1/? 68.0 / 22.1  (2)
_Complexity_Innermost_Rewriting/Zantema_05/z15.xml n^1/? 75.8 / 26.4  (2) n^1/? 48.0 / 22.4  (2)
_Complexity_Innermost_Rewriting/Zantema_05/z16.xml n^1/? 64.7 / 26.4  (2) n^1/? 73.6 / 22.2  (2)
_Complexity_Innermost_Rewriting/Zantema_05/z17.xml n^1/? 41.1 / 28.0  (2) n^1/? 86.9 / 22.1  (2)
_Complexity_Innermost_Rewriting/Zantema_05/z18.xml n^1/? 59.6 / 26.7  (2) n^1/? 84.4 / 22.1  (2)
_Complexity_Innermost_Rewriting/Zantema_05/z23.xml n^1/n^1 5.8 / 2.5  (4) n^1/? 75.4 / 22.0  (2)
_Complexity_Innermost_Rewriting/Zantema_05/z24.xml n^1/? 68.2 / 26.4  (2) n^1/? 79.4 / 22.0  (2)
_Complexity_Innermost_Rewriting/Zantema_05/z26.xml n^1/n^1 5.1 / 2.6  (4) n^1/n^1 5.7 / 1.5  (4)
_Complexity_Innermost_Rewriting/Zantema_05/z27.xml n^1/? 49.9 / 26.5  (2) n^1/? 15.1 / 4.3  (2)
_Complexity_Innermost_Rewriting/Zantema_05/z28.xml n^1/? 44.8 / 27.3  (2) n^1/? 45.5 / 22.0  (2)
omplexity_Innermost_Rewriting/hoca/dfs-flatten.xml n^1/n^1 10.0 / 5.9  (4) n^1/n^1 2.1 / 0.6  (4)
_Complexity_Innermost_Rewriting/hoca/fib_llist.xml n^1/? 76.6 / 26.8  (2) n^1/? 86.6 / 22.1  (2)
me_Complexity_Innermost_Rewriting/hoca/flatten.xml n^1/n^1 13.2 / 6.8  (4) n^1/n^1 3.7 / 1.2  (4)
me_Complexity_Innermost_Rewriting/hoca/foldsum.xml n^1/n^1 26.2 / 11.6  (4) n^1/n^1 10.8 / 3.0  (4)
Runtime_Complexity_Innermost_Rewriting/hoca/id.xml n^1/n^1 5.7 / 2.7  (4) n^1/n^1 1.4 / 0.4  (4)
Complexity_Innermost_Rewriting/hoca/isort-fold.xml n^1/n^2 33.1 / 8.4  (4) n^1/n^2 58.9 / 22.2  (4)
time_Complexity_Innermost_Rewriting/hoca/isort.xml n^1/n^2 12.6 / 4.2  (4) n^1/n^2 45.4 / 21.9  (4)
e_Complexity_Innermost_Rewriting/hoca/mappplus.xml n^1/n^2 7.6 / 4.9  (4) n^1/n^2 3.7 / 1.5  (4)
mplexity_Innermost_Rewriting/hoca/mergesort-dc.xml n^1/? 87.8 / 26.5  (2) n^1/? 80.2 / 22.0  (2)
untime_Complexity_Innermost_Rewriting/hoca/mss.xml n^1/? 49.4 / 27.2  (2) n^1/? 48.2 / 17.3  (2)
ime_Complexity_Innermost_Rewriting/hoca/rev-dl.xml n^1/n^1 5.7 / 3.0  (4) n^1/n^1 2.0 / 0.6  (4)
_Complexity_Innermost_Rewriting/hoca/rev-fletf.xml n^1/n^1 5.1 / 2.5  (4) n^1/n^1 3.2 / 0.9  (4)
_Complexity_Innermost_Rewriting/hoca/rev-foldl.xml n^1/n^1 5.2 / 2.9  (4) n^1/n^1 0.5 / 0.2  (4)
e_Complexity_Innermost_Rewriting/hoca/rpm-lazy.xml n^1/? 75.8 / 26.5  (2) n^1/? 85.0 / 22.1  (2)
untime_Complexity_Innermost_Rewriting/hoca/sum.xml n^1/n^1 4.7 / 2.5  (4) n^1/n^1 1.1 / 0.3  (4)
e_Complexity_Innermost_Rewriting/hoca/sum_sqs3.xml n^2/? 58.0 / 26.8  (2) n^1/? 66.9 / 22.1  (1)
lexity_Innermost_Rewriting/raML/appendAll.raml.xml n^1/n^1 13.2 / 5.4  (4) ?/n^1 11.3 / 3.7  (2)
e_Complexity_Innermost_Rewriting/raML/bfs.raml.xml n^1/? 63.1 / 29.4  (2) . 48.6 / 22.5  (0)
lexity_Innermost_Rewriting/raML/bft_mmult.raml.xml n^1/? 61.4 / 27.4  (2) . 41.5 / 22.7  (0)
exity_Innermost_Rewriting/raML/bitvectors.raml.xml . 86.9 / 27.4  (0) . 84.7 / 22.1  (0)
xity_Innermost_Rewriting/raML/clevermmult.raml.xml n^1/n^2 47.9 / 19.3  (4) ?/n^2 71.8 / 19.3  (2)
exity_Innermost_Rewriting/raML/duplicates.raml.xml n^1/n^2 24.9 / 20.0  (4) . 72.7 / 22.1  (0)
Complexity_Innermost_Rewriting/raML/dyade.raml.xml n^1/n^2 36.0 / 14.8  (4) ?/n^2 9.8 / 3.2  (2)
ity_Innermost_Rewriting/raML/eratosthenes.raml.xml . 69.0 / 26.7  (0) ?/n^2 75.1 / 22.1  (2)
mplexity_Innermost_Rewriting/raML/flatten.raml.xml n^1/n^2 45.3 / 20.6  (4) . 57.0 / 22.9  (0)
ty_Innermost_Rewriting/raML/insertionsort.raml.xml n^1/? 63.7 / 26.8  (2) . 56.4 / 22.3  (0)
plexity_Innermost_Rewriting/raML/listsort.raml.xml n^1/? 65.1 / 26.9  (2) ?/n^2 66.1 / 23.1  (2)
t_Rewriting/raML/longestCommonSubsequence.raml.xml n^1/? 79.6 / 26.5  (2) . 66.1 / 22.3  (0)
omplexity_Innermost_Rewriting/raML/matrix.raml.xml . 67.0 / 27.3  (0) . 85.1 / 22.1  (0)
lexity_Innermost_Rewriting/raML/mergesort.raml.xml n^1/? 65.0 / 26.7  (2) . 86.8 / 22.3  (0)
mplexity_Innermost_Rewriting/raML/minsort.raml.xml n^1/n^3 39.0 / 15.0  (3) ?/n^2 59.1 / 22.7  (2)
Complexity_Innermost_Rewriting/raML/queue.raml.xml n^1/? 54.1 / 27.1  (2) . 62.4 / 22.1  (0)
lexity_Innermost_Rewriting/raML/quicksort.raml.xml . 11.3 / 25.1  (0) . 86.4 / 22.2  (0)
nnermost_Rewriting/raML/rationalPotential.raml.xml n^1/n^1 6.1 / 2.9  (4) ?/n^1 6.1 / 2.1  (2)
ity_Innermost_Rewriting/raML/splitandsort.raml.xml n^1/? 63.3 / 30.1  (2) . 57.7 / 22.3  (0)
plexity_Innermost_Rewriting/raML/subtrees.raml.xml n^1/n^2 14.9 / 12.0  (4) ?/n^2 26.1 / 9.9  (2)