Overview of job-results

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

Statistics

3246 pairs, 916945.1 / 491516.2 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 24271
Solver TCT2_20150725 TCT3_2015 AProVE 2015
Scores 0 769 2102
ntime_Complexity_Innermost_Rewriting/AG01/#3.1.xml ?/n^1 3.4 / 1.5  (-) ?/n^1 0.9 / 0.5  (2) n^1/n^2 23.5 / 20.8  (3)
time_Complexity_Innermost_Rewriting/AG01/#3.10.xml . 578.1 / 297.9  (-) . 583.7 / 293.2  (0) n^1/? 570.3 / 280.9  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.12.xml ?/n^3 290.7 / 153.5  (-) ?/n^3 42.5 / 27.2  (2) n^3/n^3 29.1 / 19.4  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.13.xml . 560.9 / 300.0  (-) . 512.0 / 293.4  (0) n^1/? 570.3 / 280.8  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.15.xml ?/n^1 46.5 / 24.5  (-) ?/n^1 11.4 / 7.2  (2) ?/n^1 13.2 / 21.6  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.16.xml ?/n^3 192.1 / 99.5  (-) ?/n^3 16.1 / 8.5  (2) n^2/n^3 27.8 / 24.4  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.17.xml ?/n^2 326.9 / 148.3  (-) ?/n^2 427.7 / 292.3  (2) n^1/n^2 38.2 / 24.7  (4)
ime_Complexity_Innermost_Rewriting/AG01/#3.17a.xml ?/n^2 320.9 / 148.4  (-) ?/n^2 520.9 / 293.6  (2) n^1/n^2 44.4 / 35.5  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.18.xml . 335.1 / 179.3  (-) . 40.5 / 22.2  (0) n^1/? 305.0 / 280.9  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.19.xml . 543.8 / 297.1  (-) . 54.2 / 25.1  (0) n^1/? 446.7 / 283.8  (2)
ntime_Complexity_Innermost_Rewriting/AG01/#3.2.xml ?/n^2 62.7 / 22.3  (-) ?/n^2 12.8 / 4.2  (2) n^1/n^2 27.5 / 19.7  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.22.xml ?/n^2 17.1 / 11.3  (-) ?/n^2 4.5 / 2.8  (2) n^2/n^2 18.4 / 15.4  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.23.xml ?/n^1 4.8 / 2.9  (-) ?/n^1 0.3 / 0.2  (2) n^1/n^1 3.4 / 5.4  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.24.xml ?/n^1 5.3 / 1.8  (-) ?/n^1 0.9 / 0.7  (2) n^1/n^1 1.0 / 2.2  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.26.xml . 449.4 / 297.3  (-) . 38.6 / 19.3  (0) n^1/? 310.2 / 280.8  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.29.xml ?/n^0 2.1 / 1.3  (-) ?/n^0 0.0 / 0.1  (2) ?/n^0 2.6 / 5.2  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.31.xml . 358.3 / 297.3  (-) . 39.3 / 24.1  (0) ?/? 3.5 / 9.3  (0)
time_Complexity_Innermost_Rewriting/AG01/#3.33.xml ?/n^0 6.3 / 5.6  (-) ?/n^0 0.8 / 1.6  (2) ?/n^0 2.5 / 4.3  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.35.xml ?/n^1 1.4 / 1.1  (-) ?/n^1 0.5 / 0.4  (2) n^1/n^1 1.9 / 3.2  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.36.xml . 539.4 / 297.2  (-) . 112.5 / 72.6  (0) n^1/? 466.1 / 280.9  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.37.xml ?/n^1 5.2 / 1.8  (-) ?/n^1 1.3 / 0.7  (2) ?/n^1 6.8 / 9.5  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.38.xml . 402.1 / 297.2  (-) . 77.1 / 39.0  (0) ?/? 5.5 / 6.3  (0)
time_Complexity_Innermost_Rewriting/AG01/#3.39.xml ?/n^2 185.2 / 74.9  (-) ?/n^1 17.8 / 10.1  (2) n^1/n^2 46.8 / 27.9  (3)
ntime_Complexity_Innermost_Rewriting/AG01/#3.4.xml . 389.8 / 213.3  (-) . 30.8 / 10.3  (0) n^1/? 271.2 / 240.1  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.40.xml ?/n^2 379.4 / 148.3  (-) ?/n^2 64.4 / 26.7  (2) n^1/n^2 42.9 / 55.1  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.41.xml ?/n^1 56.6 / 34.8  (-) ?/n^2 8.3 / 4.0  (1) n^1/n^1 7.2 / 7.4  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.42.xml ?/n^1 108.2 / 85.3  (-) ?/n^2 27.8 / 11.9  (2) n^1/n^2 30.1 / 24.6  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.47.xml ?/n^1 47.2 / 23.0  (-) ?/n^2 5.8 / 2.6  (1) ?/n^1 50.0 / 36.4  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.48.xml ?/n^2 270.8 / 148.3  (-) ?/n^2 388.9 / 293.1  (2) n^1/n^2 15.8 / 26.7  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.49.xml . 520.9 / 297.3  (-) . 325.5 / 291.4  (0) . 553.9 / 280.7  (0)
ntime_Complexity_Innermost_Rewriting/AG01/#3.5.xml ?/n^2 23.0 / 12.1  (-) ?/n^2 25.9 / 16.3  (2) n^1/n^2 32.0 / 20.9  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.51.xml ?/n^1 10.1 / 3.4  (-) ?/n^1 3.8 / 1.3  (2) ?/n^1 3.0 / 4.4  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.52.xml ?/n^1 6.8 / 3.5  (-) ?/n^1 1.4 / 0.9  (2) ?/n^1 6.9 / 13.6  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.53.xml ?/n^3 491.0 / 223.8  (-) ?/n^3 62.0 / 32.3  (2) n^3/n^3 34.8 / 21.3  (4)
ime_Complexity_Innermost_Rewriting/AG01/#3.53a.xml ?/n^0 1.9 / 1.2  (-) ?/n^0 0.2 / 0.1  (2) ?/n^0 4.8 / 5.2  (2)
ime_Complexity_Innermost_Rewriting/AG01/#3.53b.xml ?/n^1 27.5 / 21.9  (-) ?/n^1 1.4 / 0.8  (2) ?/n^1 12.3 / 21.8  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.54.xml . 419.2 / 297.5  (-) . 184.5 / 100.0  (0) n^1/? 405.1 / 280.9  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.55.xml . 450.8 / 298.3  (-) . 479.6 / 292.4  (0) n^2/? 547.1 / 281.2  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.56.xml ?/n^1 3.7 / 1.0  (-) ?/n^1 2.8 / 1.2  (2) ?/n^1 3.9 / 4.2  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.57.xml . 522.6 / 234.4  (-) . 385.7 / 292.8  (0) n^1/? 315.7 / 281.5  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.5a.xml ?/n^2 182.0 / 148.9  (-) ?/n^2 36.2 / 24.0  (2) n^1/n^2 34.2 / 24.4  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.5b.xml ?/n^3 318.6 / 155.2  (-) ?/n^3 108.9 / 63.7  (2) n^1/n^3 53.9 / 40.9  (4)
ntime_Complexity_Innermost_Rewriting/AG01/#3.6.xml ?/n^2 270.5 / 115.4  (-) ?/n^2 32.7 / 10.4  (2) n^1/n^2 36.0 / 29.6  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.6a.xml ?/n^2 142.7 / 118.2  (-) ?/n^2 36.1 / 23.3  (2) n^1/n^2 36.1 / 22.5  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.6b.xml ?/n^3 349.2 / 177.0  (-) ?/n^3 139.5 / 53.0  (2) n^1/n^3 55.8 / 34.8  (4)
ntime_Complexity_Innermost_Rewriting/AG01/#3.7.xml ?/n^1 47.3 / 24.1  (-) ?/n^1 11.3 / 7.4  (2) n^1/n^2 19.5 / 15.4  (3)
time_Complexity_Innermost_Rewriting/AG01/#3.8a.xml ?/n^3 329.4 / 168.4  (-) ?/n^2 36.6 / 32.8  (2) n^1/n^2 39.4 / 25.3  (4)
time_Complexity_Innermost_Rewriting/AG01/#3.8b.xml ?/n^4 486.9 / 245.5  (-) ?/n^4 107.9 / 65.6  (2) n^1/? 599.2 / 281.1  (2)
ime_Complexity_Innermost_Rewriting/AG01/#4.30c.xml . 507.0 / 297.7  (-) . 192.3 / 121.2  (0) n^1/? 661.8 / 281.5  (2)
exity_Innermost_Rewriting/AProVE_04/AAECC-ring.xml . 692.4 / 297.4  (-) . 739.0 / 292.4  (0) . 16.7 / 12.9  (0)
Complexity_Innermost_Rewriting/AProVE_04/AAECC.xml . 388.5 / 297.2  (-) . 605.5 / 292.5  (0) . 10.6 / 14.3  (0)
mplexity_Innermost_Rewriting/AProVE_04/IJCAR_1.xml ?/n^1 35.5 / 20.7  (-) ?/n^1 25.0 / 17.5  (2) n^1/n^1 13.9 / 16.4  (4)
plexity_Innermost_Rewriting/AProVE_04/IJCAR_12.xml ?/n^2 155.7 / 74.7  (-) ?/n^2 13.0 / 5.4  (2) n^2/n^2 21.1 / 17.4  (4)
plexity_Innermost_Rewriting/AProVE_04/IJCAR_18.xml . 362.9 / 297.4  (-) . 645.3 / 292.2  (0) n^2/? 486.3 / 280.6  (2)
plexity_Innermost_Rewriting/AProVE_04/IJCAR_26.xml . 404.8 / 297.9  (-) . 766.2 / 292.3  (0) n^3/? 298.3 / 280.8  (2)
lexity_Innermost_Rewriting/AProVE_04/IJCAR_26a.xml . 672.1 / 300.0  (-) . 481.1 / 292.2  (0) n^3/? 572.1 / 280.6  (2)
plexity_Innermost_Rewriting/AProVE_04/JFP_Ex31.xml . 616.7 / 297.2  (-) . 336.1 / 292.7  (0) n^1/n^1 295.7 / 139.8  (4)
plexity_Innermost_Rewriting/AProVE_04/JFP_Ex51.xml ?/n^1 311.0 / 131.1  (-) ?/n^2 91.1 / 45.3  (2) n^1/? 520.0 / 280.6  (2)
ity_Innermost_Rewriting/AProVE_04/LPAR_intlist.xml . 754.9 / 297.2  (-) . 617.1 / 291.7  (0) n^1/? 523.1 / 281.5  (2)
xity_Innermost_Rewriting/AProVE_04/Liveness6.1.xml . 360.8 / 297.2  (-) . 568.5 / 292.4  (0) n^1/? 429.7 / 281.3  (2)
xity_Innermost_Rewriting/AProVE_04/Liveness6.2.xml . 499.2 / 297.2  (-) ?/n^2 346.9 / 206.1  (2) n^1/? 448.1 / 280.8  (2)
xity_Innermost_Rewriting/AProVE_04/Liveness6.3.xml ?/n^1 43.3 / 24.0  (-) ?/n^1 18.6 / 11.5  (2) n^1/n^1 1.9 / 2.4  (4)
xity_Innermost_Rewriting/AProVE_04/Liveness6.4.xml . 373.6 / 297.7  (-) . 584.6 / 293.1  (0) n^1/? 605.3 / 281.4  (2)
lexity_Innermost_Rewriting/AProVE_04/Liveness8.xml ?/n^1 449.7 / 180.9  (-) ?/n^1 683.0 / 292.5  (2) n^1/n^1 2.1 / 2.3  (4)
ity_Innermost_Rewriting/AProVE_04/Liveness_WRS.xml ?/n^1 611.2 / 298.0  (-) ?/n^1 743.8 / 295.0  (2) n^1/n^1 1.7 / 2.2  (4)
e_Complexity_Innermost_Rewriting/AProVE_04/fac.xml . 623.8 / 297.3  (-) . 175.5 / 112.9  (0) n^2/? 409.3 / 281.2  (2)
_Complexity_Innermost_Rewriting/AProVE_04/rta1.xml . 380.0 / 297.3  (-) . 540.3 / 292.4  (0) n^1/? 618.6 / 281.6  (2)
_Complexity_Innermost_Rewriting/AProVE_04/rta2.xml . 253.0 / 165.5  (-) . 6.2 / 3.1  (0) . 11.8 / 19.5  (0)
_Complexity_Innermost_Rewriting/AProVE_04/rta3.xml . 369.9 / 297.2  (-) . 23.0 / 18.3  (0) n^1/? 505.7 / 280.7  (2)
_Innermost_Rewriting/AProVE_06/div_notCeTermin.xml . 596.1 / 297.3  (-) . 478.7 / 292.1  (0) n^1/? 323.3 / 281.8  (2)
ty_Innermost_Rewriting/AProVE_06/div_notTermin.xml . 650.4 / 297.1  (-) . 722.6 / 292.2  (0) n^1/? 756.6 / 281.5  (2)
exity_Innermost_Rewriting/AProVE_06/factorial1.xml . 481.1 / 297.3  (-) . 412.1 / 292.4  (0) n^3/? 633.4 / 280.9  (2)
exity_Innermost_Rewriting/AProVE_06/factorial2.xml . 551.7 / 297.4  (-) . 50.2 / 24.1  (0) n^2/? 542.8 / 281.2  (2)
plexity_Innermost_Rewriting/AProVE_06/identity.xml . 475.0 / 297.3  (-) . 367.2 / 277.5  (0) n^1/? 489.8 / 281.6  (2)
lexity_Innermost_Rewriting/AProVE_06/logarithm.xml . 402.7 / 300.0  (-) . 322.0 / 207.5  (0) n^1/? 553.3 / 281.5  (2)
omplexity_Innermost_Rewriting/AProVE_06/modulo.xml . 544.1 / 297.2  (-) . 43.6 / 37.8  (0) n^1/? 560.1 / 281.3  (2)
mplexity_Innermost_Rewriting/AProVE_06/nonterm.xml . 703.9 / 297.2  (-) . 634.3 / 292.2  (0) n^1/? 232.7 / 281.1  (2)
lexity_Innermost_Rewriting/AProVE_06/quicksort.xml . 603.5 / 300.0  (-) . 572.0 / 292.5  (0) . 14.7 / 11.8  (0)
_Complexity_Innermost_Rewriting/AProVE_06/quot.xml . 439.2 / 297.1  (-) . 51.8 / 26.3  (0) n^1/? 567.8 / 281.3  (2)
exity_Innermost_Rewriting/AProVE_06/sizeChange.xml . 367.5 / 297.2  (-) . 65.1 / 56.6  (0) ?/n^2 49.2 / 40.9  (2)
Complexity_Innermost_Rewriting/AProVE_06/tower.xml . 438.5 / 297.3  (-) . 484.6 / 292.9  (0) . 20.8 / 16.4  (0)
Innermost_Rewriting/AProVE_06/tower_sizeChange.xml . 390.4 / 297.8  (-) . 185.6 / 99.3  (0) n^1/? 479.8 / 280.9  (2)
lexity_Innermost_Rewriting/AProVE_07/kabasci01.xml . 522.3 / 297.3  (-) . 772.7 / 292.4  (0) n^1/n^1 144.6 / 64.6  (4)
lexity_Innermost_Rewriting/AProVE_07/kabasci02.xml . 670.6 / 298.0  (-) . 686.1 / 292.8  (0) n^3/? 264.6 / 281.3  (2)
lexity_Innermost_Rewriting/AProVE_07/kabasci03.xml ?/n^0 0.8 / 0.4  (-) ?/n^0 0.1 / 0.1  (2) ?/n^0 8.7 / 15.6  (2)
lexity_Innermost_Rewriting/AProVE_07/kabasci04.xml . 448.2 / 297.3  (-) . 679.2 / 292.5  (0) . 9.8 / 16.1  (0)
lexity_Innermost_Rewriting/AProVE_07/kabasci05.xml . 817.4 / 298.5  (-) . 580.5 / 292.3  (0) n^1/? 579.0 / 280.7  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto01.xml . 619.7 / 297.2  (-) . 633.2 / 292.5  (0) n^1/? 569.2 / 281.7  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto02.xml . 653.0 / 297.3  (-) . 533.3 / 292.3  (0) n^1/? 410.5 / 282.0  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto03.xml . 513.2 / 297.6  (-) . 29.5 / 13.2  (0) n^1/? 593.2 / 281.1  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto04.xml . 340.2 / 297.2  (-) . 118.8 / 75.4  (0) n^1/? 477.8 / 280.7  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto05.xml . 422.8 / 297.4  (-) . 242.3 / 162.7  (0) n^1/n^2 79.9 / 55.3  (4)
omplexity_Innermost_Rewriting/AProVE_07/otto06.xml . 549.6 / 297.6  (-) . 488.0 / 292.8  (0) n^1/? 483.0 / 281.1  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto07.xml . 501.4 / 297.3  (-) . 32.0 / 19.7  (0) n^1/? 575.1 / 281.0  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto08.xml . 609.3 / 297.5  (-) . 62.7 / 29.1  (0) n^1/? 667.9 / 280.9  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto09.xml . 536.3 / 297.8  (-) . 69.0 / 25.7  (0) n^1/? 551.2 / 281.6  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto10.xml . 403.4 / 300.0  (-) . 234.6 / 160.4  (0) n^1/? 742.1 / 283.5  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto11.xml . 365.3 / 297.1  (-) . 88.2 / 73.0  (0) n^1/? 690.9 / 281.2  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto12.xml . 574.6 / 297.2  (-) . 125.4 / 65.4  (0) n^2/? 387.5 / 281.3  (2)
omplexity_Innermost_Rewriting/AProVE_07/otto13.xml . 338.0 / 297.3  (-) . 257.4 / 147.7  (0) n^1/? 435.1 / 281.1  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann01.xml . 566.7 / 297.7  (-) . 72.2 / 32.6  (0) n^1/? 666.8 / 281.4  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann02.xml . 573.7 / 297.1  (-) . 426.5 / 292.5  (0) n^1/? 668.2 / 281.4  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann03.xml . 486.5 / 299.3  (-) . 338.0 / 292.4  (0) n^2/? 546.7 / 281.3  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann04.xml . 556.6 / 298.3  (-) . 490.7 / 292.6  (0) n^1/? 600.5 / 284.2  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann05.xml . 565.2 / 297.3  (-) . 316.0 / 292.3  (0) n^1/? 553.3 / 280.4  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann06.xml . 809.7 / 297.9  (-) . 136.4 / 97.8  (0) n^1/? 558.1 / 281.2  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann07.xml . 654.6 / 300.0  (-) . 196.0 / 98.6  (0) n^2/? 569.3 / 281.0  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann08.xml . 410.4 / 297.5  (-) . 39.1 / 22.8  (0) ?/? 14.6 / 13.3  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann09.xml . 590.1 / 297.2  (-) . 541.7 / 292.2  (0) n^1/? 521.8 / 280.6  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann10.xml . 388.7 / 297.4  (-) . 557.3 / 292.4  (0) n^1/n^2 514.2 / 251.8  (4)
exity_Innermost_Rewriting/AProVE_07/thiemann11.xml . 559.5 / 299.1  (-) . 404.9 / 292.3  (0) n^1/? 581.8 / 280.8  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann12.xml . 374.1 / 297.2  (-) . 485.2 / 292.3  (0) n^1/? 724.9 / 281.5  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann13.xml . 403.6 / 297.7  (-) . 422.6 / 292.5  (0) n^1/? 569.4 / 280.7  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann14.xml . 634.9 / 297.2  (-) . 563.4 / 292.6  (0) n^2/? 548.3 / 280.8  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann15.xml . 397.0 / 297.2  (-) . 671.4 / 292.8  (0) n^1/? 495.2 / 282.0  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann16.xml . 424.7 / 297.5  (-) . 643.0 / 292.4  (0) n^1/? 516.5 / 281.1  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann17.xml . 540.2 / 297.5  (-) . 562.0 / 292.3  (0) n^2/? 549.8 / 281.6  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann18.xml . 599.1 / 297.2  (-) . 306.9 / 176.2  (0) n^1/? 707.2 / 280.6  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann19.xml . 584.6 / 297.2  (-) . 102.6 / 111.8  (0) n^1/? 402.2 / 281.0  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann20.xml . 319.4 / 297.8  (-) . 172.3 / 85.8  (0) n^1/? 509.8 / 281.6  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann21.xml . 486.2 / 297.4  (-) . 525.8 / 292.3  (0) n^1/? 616.0 / 280.9  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann22.xml . 753.6 / 297.2  (-) . 553.4 / 292.4  (0) n^1/? 399.6 / 280.8  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann23.xml . 732.0 / 297.1  (-) . 619.4 / 292.4  (0) n^1/? 494.2 / 281.2  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann24.xml . 528.0 / 297.2  (-) . 48.6 / 35.1  (0) n^2/? 511.5 / 281.7  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann25.xml . 612.5 / 297.2  (-) . 41.3 / 17.8  (0) n^1/? 625.4 / 281.3  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann26.xml . 542.9 / 297.3  (-) . 90.9 / 49.5  (0) n^1/n^2 460.0 / 228.4  (4)
exity_Innermost_Rewriting/AProVE_07/thiemann27.xml . 443.8 / 298.8  (-) . 33.5 / 23.9  (0) n^1/? 554.9 / 281.0  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann28.xml . 460.8 / 297.2  (-) . 494.6 / 292.2  (0) n^1/n^2 176.5 / 154.3  (4)
exity_Innermost_Rewriting/AProVE_07/thiemann29.xml . 336.2 / 297.3  (-) . 336.0 / 292.3  (0) n^2/? 554.7 / 281.0  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann30.xml . 405.2 / 300.0  (-) . 621.3 / 292.4  (0) n^1/? 673.3 / 281.4  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann31.xml . 483.2 / 297.2  (-) . 170.0 / 140.4  (0) n^1/? 813.3 / 281.2  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann32.xml . 688.0 / 297.2  (-) . 743.6 / 292.3  (0) n^2/? 578.1 / 281.5  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann33.xml . 404.3 / 297.2  (-) . 130.3 / 61.2  (0) n^1/? 542.6 / 280.8  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann34.xml . 613.0 / 297.3  (-) . 158.6 / 110.4  (0) n^1/? 406.8 / 281.2  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann36.xml . 435.6 / 297.6  (-) . 256.4 / 210.9  (0) n^1/? 628.8 / 281.0  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann37.xml . 612.1 / 297.7  (-) . 497.3 / 292.2  (0) n^1/? 498.2 / 280.4  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann38.xml . 594.2 / 297.2  (-) . 125.7 / 63.8  (0) n^1/? 591.1 / 281.2  (2)
exity_Innermost_Rewriting/AProVE_07/thiemann40.xml . 507.4 / 297.3  (-) . 18.2 / 7.4  (0) n^1/n^1 21.5 / 17.6  (4)
exity_Innermost_Rewriting/AProVE_07/thiemann41.xml . 674.9 / 297.3  (-) . 117.6 / 69.7  (0) n^1/? 474.7 / 281.2  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe01.xml . 617.3 / 297.3  (-) . 699.0 / 292.3  (0) n^1/? 550.6 / 281.0  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe02.xml . 606.5 / 298.3  (-) . 696.7 / 292.5  (0) n^1/? 588.4 / 281.0  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe03.xml . 487.8 / 298.5  (-) . 645.0 / 292.2  (0) n^1/? 498.8 / 280.8  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe05.xml . 558.3 / 297.2  (-) . 606.8 / 292.6  (0) n^1/? 517.7 / 281.0  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe06.xml . 694.0 / 297.7  (-) . 597.7 / 292.1  (0) n^1/? 536.0 / 281.3  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe07.xml . 707.6 / 297.5  (-) . 675.7 / 292.2  (0) n^1/? 540.1 / 280.6  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe08.xml . 716.8 / 297.4  (-) . 561.2 / 292.4  (0) n^1/? 592.4 / 280.9  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe09.xml . 548.6 / 297.5  (-) . 566.9 / 292.2  (0) n^1/? 512.1 / 280.2  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe11.xml . 566.6 / 297.1  (-) . 567.6 / 293.1  (0) n^1/? 548.0 / 280.8  (2)
mplexity_Innermost_Rewriting/AProVE_07/wiehe12.xml . 525.2 / 298.6  (-) . 594.9 / 292.4  (0) n^1/? 784.9 / 281.4  (2)
omplexity_Innermost_Rewriting/AProVE_08/id_inc.xml . 494.5 / 297.3  (-) . 70.8 / 40.5  (0) n^1/? 431.9 / 281.7  (2)
e_Complexity_Innermost_Rewriting/AProVE_08/log.xml . 369.6 / 297.9  (-) . 526.7 / 292.9  (0) n^1/? 541.3 / 281.5  (2)
nnermost_Rewriting/AProVE_08/parting01_reverse.xml . 635.2 / 297.3  (-) . 545.3 / 292.8  (0) n^2/? 345.5 / 281.6  (2)
rmost_Rewriting/AProVE_08/parting02_doublelist.xml . 609.6 / 297.4  (-) . 566.8 / 292.3  (0) n^1/? 503.9 / 281.1  (2)
nnermost_Rewriting/AProVE_08/parting03_minsort.xml . 567.3 / 297.1  (-) . 642.3 / 292.2  (0) n^2/? 564.8 / 281.1  (2)
ermost_Rewriting/AProVE_08/parting04_maxsort_h.xml . 601.3 / 297.2  (-) . 595.0 / 292.4  (0) n^2/? 584.3 / 281.1  (2)
nnermost_Rewriting/AProVE_08/parting05_maxsort.xml . 570.2 / 297.1  (-) . 521.3 / 292.5  (0) n^2/? 639.7 / 281.6  (2)
Complexity_Innermost_Rewriting/AProVE_08/round.xml . 638.5 / 297.4  (-) . 40.3 / 30.5  (0) n^1/? 230.2 / 281.0  (2)
ty_Innermost_Rewriting/AProVE_08/round_nonterm.xml . 437.8 / 297.7  (-) . 414.6 / 291.9  (0) ?/? 0.4 / 2.2  (0)
ermost_Rewriting/AProVE_08/thiemann40_modified.xml . 413.1 / 297.1  (-) . 641.8 / 292.4  (0) n^2/? 354.6 / 281.2  (2)
ty_Innermost_Rewriting/AProVE_09_Inductive/div.xml . 593.3 / 297.3  (-) . 100.8 / 62.2  (0) n^1/? 344.9 / 281.3  (2)
nnermost_Rewriting/AProVE_09_Inductive/divhard.xml . 562.0 / 297.6  (-) . 73.9 / 30.0  (0) n^1/? 583.9 / 281.6  (2)
ty_Innermost_Rewriting/AProVE_09_Inductive/gcd.xml . 455.4 / 300.0  (-) . 73.1 / 43.7  (0) n^1/? 596.4 / 280.6  (2)
y_Innermost_Rewriting/AProVE_09_Inductive/gcd2.xml . 552.6 / 298.6  (-) . 161.7 / 113.0  (0) n^1/? 681.4 / 281.4  (2)
nnermost_Rewriting/AProVE_09_Inductive/gcdhard.xml . 366.8 / 297.7  (-) . 127.5 / 49.4  (0) n^1/? 484.3 / 282.3  (2)
ty_Innermost_Rewriting/AProVE_09_Inductive/log.xml . 381.6 / 297.3  (-) . 375.1 / 292.9  (0) n^1/? 555.8 / 282.2  (2)
nnermost_Rewriting/AProVE_09_Inductive/maxsort.xml . 548.6 / 297.2  (-) . 378.0 / 293.7  (0) n^2/? 749.6 / 280.3  (2)
Rewriting/AProVE_09_Inductive/maxsortcondition.xml . 556.5 / 297.6  (-) . 128.9 / 73.0  (0) n^2/? 517.3 / 281.9  (2)
nnermost_Rewriting/AProVE_09_Inductive/minsort.xml . 552.6 / 300.0  (-) . 605.0 / 292.9  (0) n^1/? 592.8 / 281.5  (2)
ty_Innermost_Rewriting/AProVE_09_Inductive/mod.xml . 651.2 / 297.4  (-) . 321.8 / 193.8  (0) n^1/? 620.7 / 280.9  (2)
_Innermost_Rewriting/AProVE_09_Inductive/qsort.xml . 510.8 / 297.3  (-) . 588.6 / 292.3  (0) n^1/? 511.1 / 280.7  (2)
ermost_Rewriting/AProVE_09_Inductive/qsortlast.xml . 599.4 / 297.1  (-) . 680.0 / 292.4  (0) n^1/? 542.2 / 281.2  (2)
most_Rewriting/AProVE_09_Inductive/qsortmiddle.xml . 574.5 / 297.3  (-) . 624.8 / 296.6  (0) n^1/? 731.0 / 280.4  (2)
nermost_Rewriting/AProVE_09_Inductive/zerolist.xml . 483.0 / 297.3  (-) . 56.4 / 39.4  (0) n^1/? 531.9 / 281.5  (2)
Complexity_Innermost_Rewriting/Beerendonk_07/1.xml . 561.5 / 297.4  (-) . 34.9 / 17.8  (0) n^1/n^2 200.3 / 239.7  (4)
omplexity_Innermost_Rewriting/Beerendonk_07/10.xml . 580.4 / 297.2  (-) . 214.3 / 125.0  (0) n^1/n^2 602.1 / 276.5  (4)
omplexity_Innermost_Rewriting/Beerendonk_07/11.xml . 428.6 / 297.1  (-) . 120.8 / 92.5  (0) n^1/? 579.3 / 280.6  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/12.xml . 567.6 / 297.1  (-) . 117.0 / 82.8  (0) n^1/? 387.6 / 281.5  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/13.xml . 458.8 / 297.4  (-) . 130.0 / 93.1  (0) n^1/? 609.7 / 281.4  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/14.xml . 590.1 / 297.2  (-) . 35.9 / 19.7  (0) n^1/? 341.8 / 281.3  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/15.xml . 515.2 / 297.3  (-) . 631.9 / 292.4  (0) n^1/n^2 422.6 / 226.8  (4)
omplexity_Innermost_Rewriting/Beerendonk_07/16.xml . 550.3 / 297.1  (-) . 556.8 / 292.7  (0) n^1/? 696.9 / 281.5  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/17.xml . 470.9 / 297.3  (-) . 685.2 / 292.3  (0) n^1/? 484.1 / 281.1  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/18.xml . 571.4 / 297.2  (-) . 750.9 / 292.1  (0) n^1/? 558.5 / 281.1  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/19.xml . 564.1 / 297.3  (-) . 613.0 / 292.4  (0) n^1/? 822.1 / 281.4  (2)
Complexity_Innermost_Rewriting/Beerendonk_07/2.xml . 596.9 / 297.1  (-) . 45.4 / 30.8  (0) n^1/n^2 360.1 / 243.8  (4)
omplexity_Innermost_Rewriting/Beerendonk_07/20.xml . 640.4 / 297.6  (-) . 673.6 / 292.5  (0) n^1/n^1 397.2 / 203.2  (4)
omplexity_Innermost_Rewriting/Beerendonk_07/21.xml . 666.7 / 297.2  (-) . 653.4 / 293.0  (0) n^1/? 641.4 / 281.2  (2)
omplexity_Innermost_Rewriting/Beerendonk_07/22.xml . 425.6 / 297.5  (-) . 319.4 / 292.4  (0) n^1/n^2 430.2 / 253.8  (4)
omplexity_Innermost_Rewriting/Beerendonk_07/23.xml . 431.4 / 297.3  (-) . 121.5 / 88.7  (0) n^1/n^2 535.4 / 255.0  (4)
omplexity_Innermost_Rewriting/Beerendonk_07/24.xml . 418.4 / 297.6  (-) . 616.3 / 292.2  (0) n^1/n^2 466.1 / 181.7  (4)
Complexity_Innermost_Rewriting/Beerendonk_07/3.xml . 580.7 / 297.2  (-) . 66.5 / 30.5  (0) n^1/? 259.9 / 280.7  (2)
Complexity_Innermost_Rewriting/Beerendonk_07/4.xml . 525.8 / 297.1  (-) . 38.4 / 38.7  (0) n^1/? 526.3 / 281.0  (2)
Complexity_Innermost_Rewriting/Beerendonk_07/5.xml . 503.2 / 297.2  (-) . 162.4 / 70.7  (0) n^1/? 574.4 / 281.5  (2)
Complexity_Innermost_Rewriting/Beerendonk_07/6.xml . 430.4 / 297.2  (-) . 29.2 / 14.9  (0) n^1/n^2 313.3 / 244.1  (4)
Complexity_Innermost_Rewriting/Beerendonk_07/7.xml . 626.6 / 297.2  (-) . 510.9 / 292.4  (0) n^1/n^2 506.0 / 253.7  (4)
Complexity_Innermost_Rewriting/Beerendonk_07/8.xml . 620.0 / 297.2  (-) . 609.5 / 291.8  (0) n^1/? 440.8 / 281.3  (2)
Complexity_Innermost_Rewriting/Beerendonk_07/9.xml . 437.4 / 297.3  (-) . 583.6 / 292.5  (0) n^1/? 553.2 / 281.0  (2)
plexity_Innermost_Rewriting/CiME_04/ack_prolog.xml . 638.5 / 297.3  (-) . 36.4 / 12.9  (0) n^1/? 262.5 / 281.2  (2)
lexity_Innermost_Rewriting/CiME_04/append-hard.xml . 543.5 / 297.4  (-) . 14.9 / 7.7  (0) n^1/n^1 18.4 / 15.0  (4)
exity_Innermost_Rewriting/CiME_04/append-wrong.xml . 339.6 / 297.2  (-) . 548.0 / 292.4  (0) . 22.9 / 21.8  (0)
_Complexity_Innermost_Rewriting/CiME_04/append.xml ?/n^1 6.1 / 4.8  (-) ?/n^1 1.5 / 0.6  (2) n^1/n^1 18.0 / 14.4  (4)
ime_Complexity_Innermost_Rewriting/CiME_04/big.xml . 625.2 / 297.7  (-) . 763.5 / 292.1  (0) n^1/? 680.5 / 281.7  (2)
me_Complexity_Innermost_Rewriting/CiME_04/dpqs.xml ?/n^0 10.9 / 5.6  (-) ?/n^0 2.5 / 3.1  (2) ?/n^0 2.4 / 4.3  (2)
mplexity_Innermost_Rewriting/CiME_04/fact-hard.xml . 688.9 / 297.2  (-) . 264.9 / 155.3  (0) n^2/? 404.4 / 281.1  (2)
mplexity_Innermost_Rewriting/CiME_04/filliatre.xml . 588.5 / 297.3  (-) . 129.8 / 54.1  (0) n^1/? 630.7 / 281.6  (2)
plexity_Innermost_Rewriting/CiME_04/filliatre2.xml . 616.7 / 297.7  (-) . 173.4 / 74.1  (0) n^1/? 455.8 / 281.5  (2)
plexity_Innermost_Rewriting/CiME_04/filliatre3.xml . 586.9 / 297.4  (-) . 135.6 / 78.7  (0) n^1/? 534.5 / 282.3  (2)
mplexity_Innermost_Rewriting/CiME_04/intersect.xml ?/n^2 615.4 / 297.3  (-) ?/n^4 148.6 / 60.0  (1) n^1/n^2 75.6 / 43.3  (4)
t_Rewriting/CiME_04/list-sum-prod-assoc-append.xml . 407.8 / 297.7  (-) . 93.0 / 55.1  (0) n^2/? 597.8 / 281.0  (2)
nnermost_Rewriting/CiME_04/list-sum-prod-assoc.xml . 659.9 / 298.2  (-) . 64.1 / 33.9  (0) n^2/? 595.9 / 281.6  (2)
ting/CiME_04/list-sum-prod-bin-assoc-distr-app.xml . 636.5 / 297.3  (-) . 856.3 / 292.1  (0) n^1/? 518.2 / 280.7  (2)
most_Rewriting/CiME_04/list-sum-prod-bin-assoc.xml . 490.3 / 297.6  (-) . 538.1 / 292.5  (0) n^1/? 679.7 / 281.4  (2)
_Innermost_Rewriting/CiME_04/list-sum-prod-bin.xml . 518.3 / 297.3  (-) . 451.6 / 292.4  (0) n^1/? 584.9 / 281.6  (2)
xity_Innermost_Rewriting/CiME_04/list-sum-prod.xml . 526.5 / 240.4  (-) . 48.9 / 17.7  (0) n^2/? 652.6 / 281.2  (2)
me_Complexity_Innermost_Rewriting/CiME_04/log2.xml . 672.1 / 300.1  (-) . 553.5 / 292.5  (0) n^1/? 533.5 / 282.1  (2)
ime_Complexity_Innermost_Rewriting/CiME_04/lse.xml ?/n^2 614.4 / 297.5  (-) ?/n^2 518.5 / 293.8  (2) n^2/n^2 46.4 / 25.7  (4)
_Complexity_Innermost_Rewriting/CiME_04/maude2.xml . 472.2 / 297.2  (-) . 677.9 / 292.6  (0) n^1/? 586.9 / 281.2  (2)
_Complexity_Innermost_Rewriting/CiME_04/mucrl1.xml . 511.3 / 297.7  (-) . 819.7 / 292.2  (0) ?/n^1 318.7 / 281.2  (2)
exity_Innermost_Rewriting/CiME_04/ternary-hard.xml . 465.9 / 298.3  (-) . 717.1 / 292.8  (0) n^1/? 603.3 / 286.3  (2)
Complexity_Innermost_Rewriting/CiME_04/ternary.xml . 713.0 / 297.2  (-) . 519.3 / 294.0  (0) n^1/? 595.5 / 283.8  (2)
me_Complexity_Innermost_Rewriting/CiME_04/tree.xml . 578.1 / 297.6  (-) ?/n^4 432.7 / 292.6  (2) n^1/? 558.8 / 280.4  (2)
untime_Complexity_Innermost_Rewriting/Der95/06.xml ?/n^1 1.9 / 1.0  (-) ?/n^1 0.3 / 0.1  (2) n^1/n^1 1.0 / 2.2  (4)
untime_Complexity_Innermost_Rewriting/Der95/07.xml ?/n^1 7.0 / 3.1  (-) ?/n^1 1.0 / 0.4  (2) n^1/n^1 1.4 / 3.5  (4)
untime_Complexity_Innermost_Rewriting/Der95/08.xml ?/n^1 4.1 / 1.4  (-) ?/n^1 3.5 / 1.4  (2) n^1/n^1 19.2 / 14.3  (4)
untime_Complexity_Innermost_Rewriting/Der95/11.xml ?/n^1 279.6 / 148.3  (-) ?/n^1 58.3 / 25.4  (2) n^1/n^1 25.8 / 17.9  (4)
untime_Complexity_Innermost_Rewriting/Der95/12.xml . 426.8 / 211.5  (-) . 26.1 / 16.0  (0) n^1/? 724.3 / 280.7  (2)
untime_Complexity_Innermost_Rewriting/Der95/18.xml ?/n^1 4.9 / 2.9  (-) ?/n^1 0.3 / 0.1  (2) n^1/n^1 5.4 / 10.3  (4)
untime_Complexity_Innermost_Rewriting/Der95/20.xml . 639.3 / 297.4  (-) . 85.7 / 51.7  (0) n^1/? 657.3 / 281.4  (2)
untime_Complexity_Innermost_Rewriting/Der95/21.xml . 491.8 / 297.4  (-) . 102.1 / 53.1  (0) n^2/? 282.2 / 280.8  (2)
untime_Complexity_Innermost_Rewriting/Der95/27.xml ?/n^1 11.2 / 10.4  (-) ?/n^1 0.5 / 0.3  (2) n^1/n^1 1.6 / 4.5  (4)
untime_Complexity_Innermost_Rewriting/Der95/31.xml ?/n^1 18.8 / 12.8  (-) ?/n^1 9.6 / 6.6  (2) n^1/n^1 20.1 / 15.4  (4)
untime_Complexity_Innermost_Rewriting/Der95/32.xml ?/n^2 268.1 / 137.0  (-) ?/n^2 29.0 / 11.3  (2) n^1/n^2 35.0 / 22.4  (4)
untime_Complexity_Innermost_Rewriting/Der95/33.xml . 490.2 / 297.2  (-) . 608.2 / 292.3  (0) n^1/n^1 29.6 / 20.3  (4)
lexity_Innermost_Rewriting/Endrullis_06/direct.xml ?/n^1 172.8 / 96.1  (-) ?/n^0 12.5 / 5.2  (2) ?/n^1 646.4 / 281.2  (1)
_Innermost_Rewriting/Frederiksen_Glenstrup/ack.xml . 568.1 / 297.2  (-) . 43.5 / 17.7  (0) n^1/? 719.7 / 281.0  (2)
_Innermost_Rewriting/Frederiksen_Glenstrup/add.xml ?/n^1 8.5 / 4.7  (-) ?/n^1 0.8 / 0.3  (2) ?/n^1 3.8 / 5.3  (2)
rmost_Rewriting/Frederiksen_Glenstrup/addlists.xml ?/n^1 12.7 / 10.6  (-) ?/n^1 1.1 / 0.4  (2) ?/n^1 4.5 / 5.9  (2)
rmost_Rewriting/Frederiksen_Glenstrup/anchored.xml ?/n^1 10.5 / 4.6  (-) ?/n^1 0.6 / 0.4  (2) ?/n^1 3.9 / 5.3  (2)
nermost_Rewriting/Frederiksen_Glenstrup/append.xml ?/n^1 4.4 / 3.9  (-) ?/n^1 0.3 / 0.3  (2) n^1/n^1 1.3 / 2.3  (4)
ost_Rewriting/Frederiksen_Glenstrup/assrewrite.xml . 597.2 / 298.0  (-) . 92.8 / 97.1  (0) . 41.7 / 42.6  (0)
Innermost_Rewriting/Frederiksen_Glenstrup/badd.xml . 498.5 / 297.3  (-) . 16.7 / 8.4  (0) ?/? 5.9 / 6.4  (0)
nnermost_Rewriting/Frederiksen_Glenstrup/binom.xml . 526.3 / 298.0  (-) . 96.8 / 56.5  (0) n^1/? 597.6 / 281.1  (2)
rmost_Rewriting/Frederiksen_Glenstrup/decrease.xml ?/n^1 8.6 / 4.5  (-) ?/n^1 651.5 / 293.1  (2) n^1/n^1 3.7 / 4.3  (4)
_Rewriting/Frederiksen_Glenstrup/deeprev_typed.xml ?/n^1 15.9 / 8.5  (-) ?/n^1 6.5 / 2.1  (2) ?/n^1 8.0 / 5.3  (2)
rmost_Rewriting/Frederiksen_Glenstrup/disjconj.xml . 187.9 / 102.2  (-) . 19.3 / 9.5  (0) . 296.0 / 281.9  (0)
most_Rewriting/Frederiksen_Glenstrup/duplicate.xml ?/n^1 4.3 / 4.2  (-) ?/n^1 0.6 / 0.6  (2) n^1/n^1 3.9 / 5.2  (4)
nnermost_Rewriting/Frederiksen_Glenstrup/equal.xml . 373.7 / 157.0  (-) . 702.7 / 292.3  (0) ?/? 5.7 / 6.4  (0)
ermost_Rewriting/Frederiksen_Glenstrup/evenodd.xml ?/n^1 3.0 / 1.9  (-) ?/n^1 1.3 / 1.5  (2) n^1/n^1 1.1 / 2.2  (4)
Innermost_Rewriting/Frederiksen_Glenstrup/fold.xml ?/n^1 13.5 / 6.8  (-) ?/n^1 1.0 / 0.5  (2) n^1/n^1 17.6 / 14.6  (4)
Innermost_Rewriting/Frederiksen_Glenstrup/game.xml ?/n^1 11.3 / 5.4  (-) ?/n^1 2.4 / 1.1  (2) n^1/n^1 2.0 / 2.3  (4)
_Innermost_Rewriting/Frederiksen_Glenstrup/gcd.xml . 543.2 / 297.3  (-) . 480.4 / 292.4  (0) . 299.2 / 283.2  (0)
Innermost_Rewriting/Frederiksen_Glenstrup/gcd2.xml . 468.9 / 298.1  (-) . 514.4 / 292.1  (0) . 491.1 / 281.9  (0)
rmost_Rewriting/Frederiksen_Glenstrup/increase.xml . 711.6 / 297.8  (-) . 410.1 / 293.1  (0) ?/? 6.6 / 6.3  (0)
_Innermost_Rewriting/Frederiksen_Glenstrup/int.xml . 618.5 / 297.4  (-) . 657.1 / 292.7  (0) . 362.6 / 284.6  (0)
most_Rewriting/Frederiksen_Glenstrup/intlookup.xml . 518.6 / 297.5  (-) . 13.9 / 7.1  (0) ?/? 0.4 / 2.3  (0)
ewriting/Frederiksen_Glenstrup/lambdaint_typed.xml . 395.1 / 300.0  (-) . 406.1 / 259.3  (0) . 598.2 / 281.9  (0)
nermost_Rewriting/Frederiksen_Glenstrup/letexp.xml . 447.5 / 298.0  (-) . 13.4 / 7.1  (0) ?/? 6.0 / 6.6  (0)
Innermost_Rewriting/Frederiksen_Glenstrup/list.xml ?/n^1 1.4 / 1.3  (-) ?/n^1 0.6 / 0.4  (2) n^1/n^1 0.8 / 2.6  (4)
_Innermost_Rewriting/Frederiksen_Glenstrup/lte.xml ?/n^1 11.3 / 9.8  (-) ?/n^1 3.7 / 3.1  (2) ?/n^1 3.0 / 2.3  (2)
Innermost_Rewriting/Frederiksen_Glenstrup/map0.xml ?/n^1 7.7 / 4.9  (-) ?/n^1 4.2 / 2.9  (2) ?/n^2 3.1 / 3.3  (1)
nermost_Rewriting/Frederiksen_Glenstrup/member.xml ?/n^1 5.9 / 2.3  (-) ?/n^1 4.8 / 3.5  (2) ?/n^1 8.1 / 3.5  (2)
ost_Rewriting/Frederiksen_Glenstrup/mergelists.xml ?/n^1 19.3 / 10.2  (-) ?/n^1 8.9 / 3.8  (2) ?/n^1 7.4 / 4.3  (2)
most_Rewriting/Frederiksen_Glenstrup/mergesort.xml . 454.8 / 297.6  (-) . 150.2 / 73.8  (0) . 610.8 / 282.0  (0)
ermost_Rewriting/Frederiksen_Glenstrup/minsort.xml . 565.4 / 297.2  (-) . 61.7 / 25.1  (0) . 579.9 / 282.2  (0)
_Innermost_Rewriting/Frederiksen_Glenstrup/mul.xml ?/n^3 161.5 / 93.2  (-) ?/n^3 15.5 / 10.7  (2) n^1/n^3 27.9 / 23.6  (4)
ost_Rewriting/Frederiksen_Glenstrup/mul_better.xml ?/n^3 231.3 / 123.1  (-) ?/n^3 18.3 / 7.7  (2) n^1/n^3 27.4 / 24.6  (4)
rmost_Rewriting/Frederiksen_Glenstrup/naiverev.xml ?/n^2 171.6 / 80.8  (-) ?/n^2 32.7 / 17.4  (2) n^2/n^2 23.2 / 19.4  (4)
ermost_Rewriting/Frederiksen_Glenstrup/nestdec.xml ?/n^1 188.0 / 149.6  (-) ?/n^1 729.4 / 293.2  (2) n^1/n^1 2.3 / 2.2  (4)
ermost_Rewriting/Frederiksen_Glenstrup/nesteql.xml . 719.3 / 297.4  (-) . 576.8 / 292.7  (0) ?/? 7.0 / 6.2  (0)
most_Rewriting/Frederiksen_Glenstrup/nestimeql.xml . 739.3 / 297.2  (-) . 407.9 / 294.6  (0) n^1/? 282.1 / 281.0  (2)
ermost_Rewriting/Frederiksen_Glenstrup/nestinc.xml . 633.1 / 297.1  (-) . 577.9 / 292.6  (0) n^1/? 434.0 / 281.3  (2)
ost_Rewriting/Frederiksen_Glenstrup/nolexicord.xml ?/n^1 277.4 / 148.4  (-) ?/n^1 558.8 / 295.9  (2) ?/n^1 7.9 / 4.4  (2)
ermost_Rewriting/Frederiksen_Glenstrup/ordered.xml ?/n^1 13.9 / 7.8  (-) ?/n^1 5.7 / 3.6  (2) ?/n^1 6.5 / 3.3  (2)
Rewriting/Frederiksen_Glenstrup/ordered_better.xml ?/n^1 18.4 / 9.6  (-) ?/n^1 6.5 / 2.7  (2) ?/n^1 3.7 / 6.1  (2)
ermost_Rewriting/Frederiksen_Glenstrup/overlap.xml ?/n^2 92.7 / 41.2  (-) ?/n^2 24.9 / 10.8  (2) ?/n^2 11.4 / 6.3  (2)
ermost_Rewriting/Frederiksen_Glenstrup/parsexp.xml . 824.5 / 297.7  (-) . 119.9 / 64.5  (0) . 574.9 / 282.5  (0)
ermost_Rewriting/Frederiksen_Glenstrup/permute.xml . 630.9 / 297.3  (-) . 415.0 / 292.5  (0) n^1/? 611.3 / 280.6  (2)
nnermost_Rewriting/Frederiksen_Glenstrup/power.xml . 540.3 / 297.1  (-) . 52.6 / 23.9  (0) n^3/? 319.8 / 280.7  (2)
most_Rewriting/Frederiksen_Glenstrup/quicksort.xml . 374.0 / 297.5  (-) . 164.7 / 193.0  (0) . 712.1 / 281.6  (0)
nermost_Rewriting/Frederiksen_Glenstrup/revapp.xml ?/n^1 3.0 / 2.1  (-) ?/n^1 8.8 / 7.4  (2) ?/n^1 3.6 / 4.4  (2)
nermost_Rewriting/Frederiksen_Glenstrup/select.xml ?/n^2 149.8 / 83.2  (-) ?/n^2 9.7 / 5.4  (2) ?/n^2 25.8 / 32.0  (2)
ermost_Rewriting/Frederiksen_Glenstrup/shuffle.xml ?/n^3 300.7 / 154.4  (-) ?/n^3 37.0 / 36.1  (2) n^3/n^3 26.3 / 20.6  (4)
_Innermost_Rewriting/Frederiksen_Glenstrup/sp1.xml . 504.6 / 298.1  (-) . 17.4 / 13.3  (0) ?/? 6.6 / 6.2  (0)
ermost_Rewriting/Frederiksen_Glenstrup/subsets.xml . 366.4 / 216.9  (-) . 25.4 / 12.6  (0) . 353.3 / 282.6  (0)
rmost_Rewriting/Frederiksen_Glenstrup/thetrick.xml . 597.8 / 300.0  (-) . 651.2 / 293.4  (0) . 453.9 / 281.7  (0)
t_Rewriting/Frederiksen_Glenstrup/turing_typed.xml . 631.1 / 298.0  (-) . 282.3 / 122.5  (0) . 532.5 / 282.0  (0)
ewriting/Frederiksen_Glenstrup/vangelder_typed.xml . 629.6 / 297.2  (-) . 375.7 / 291.5  (0) . 504.4 / 282.5  (0)
ity_Innermost_Rewriting/Frederiksen_Others/add.xml ?/n^1 1.5 / 0.7  (-) ?/n^1 0.4 / 0.2  (2) ?/n^1 2.4 / 2.2  (2)
st_Rewriting/Frederiksen_Others/assrewriteSize.xml . 464.6 / 297.2  (-) . 53.6 / 29.9  (0) . 37.5 / 42.6  (0)
nnermost_Rewriting/Frederiksen_Others/boolprog.xml ?/n^1 30.1 / 12.7  (-) ?/n^1 20.7 / 7.9  (2) n^1/n^1 22.9 / 18.5  (4)
ermost_Rewriting/Frederiksen_Others/bubblesort.xml ?/n^2 291.4 / 148.5  (-) ?/n^2 104.9 / 69.9  (2) ?/n^2 11.6 / 6.5  (2)
most_Rewriting/Frederiksen_Others/deadcodeSize.xml . 60.1 / 30.7  (-) . 13.4 / 7.3  (0) ?/? 6.5 / 6.4  (0)
rmost_Rewriting/Frederiksen_Others/disj2_typed.xml ?/n^1 26.3 / 22.3  (-) ?/n^1 1.1 / 0.6  (2) ?/n^1 2.9 / 3.3  (2)
ty_Innermost_Rewriting/Frederiksen_Others/div2.xml ?/n^1 10.3 / 5.4  (-) ?/n^1 0.3 / 0.3  (2) ?/n^1 2.4 / 2.3  (2)
ermost_Rewriting/Frederiksen_Others/dup1_typed.xml ?/n^1 2.8 / 1.0  (-) ?/n^1 2.4 / 1.3  (2) ?/n^2 3.0 / 3.3  (1)
ermost_Rewriting/Frederiksen_Others/dup2_typed.xml ?/n^1 20.6 / 12.4  (-) ?/n^1 0.9 / 0.4  (2) ?/n^1 3.0 / 2.2  (2)
xity_Innermost_Rewriting/Frederiksen_Others/eq.xml ?/n^1 2.0 / 1.5  (-) ?/n^1 0.7 / 0.8  (2) n^1/n^1 1.4 / 3.6  (4)
ity_Innermost_Rewriting/Frederiksen_Others/ex6.xml ?/n^1 2.6 / 1.0  (-) ?/n^1 2.2 / 1.0  (2) ?/n^1 5.9 / 6.4  (2)
ity_Innermost_Rewriting/Frederiksen_Others/fgh.xml . 565.3 / 297.3  (-) . 40.1 / 18.9  (0) ?/? 0.6 / 2.4  (0)
Innermost_Rewriting/Frederiksen_Others/fghSize.xml . 554.2 / 297.1  (-) . 34.5 / 18.4  (0) n^1/? 505.0 / 281.0  (2)
_Innermost_Rewriting/Frederiksen_Others/gexgcd.xml ?/n^1 186.4 / 86.0  (-) ?/n^1 141.8 / 87.9  (2) ?/n^1 20.3 / 8.5  (2)
Innermost_Rewriting/Frederiksen_Others/gexgcd2.xml . 521.3 / 297.1  (-) . 52.1 / 28.6  (0) ?/n^2 17.3 / 10.3  (2)
ewriting/Frederiksen_Others/graphcolour1_typed.xml . 557.9 / 299.5  (-) . 656.2 / 292.8  (0) . 628.6 / 287.6  (0)
ting/Frederiksen_Others/graphcolour2Size_typed.xml . 662.4 / 298.9  (-) . 514.6 / 292.6  (0) . 759.2 / 282.8  (0)
ewriting/Frederiksen_Others/graphcolour2_typed.xml . 736.8 / 297.7  (-) . 742.1 / 292.8  (0) . 596.8 / 290.5  (0)
ewriting/Frederiksen_Others/graphcolour3_typed.xml . 586.8 / 300.0  (-) . 724.4 / 292.0  (0) . 650.9 / 281.4  (0)
Innermost_Rewriting/Frederiksen_Others/inssort.xml ?/n^2 436.0 / 148.7  (-) ?/n^2 109.0 / 78.1  (2) ?/n^2 8.2 / 8.7  (2)
st_Rewriting/Frederiksen_Others/inssort_better.xml ?/n^2 251.1 / 148.4  (-) ?/n^2 39.3 / 33.4  (2) ?/n^2 10.3 / 6.7  (2)
y_Innermost_Rewriting/Frederiksen_Others/match.xml ?/n^2 58.8 / 28.4  (-) ?/n^2 17.7 / 7.6  (2) ?/n^2 8.9 / 4.3  (2)
rmost_Rewriting/Frederiksen_Others/minsortSize.xml . 673.6 / 299.2  (-) . 49.8 / 24.3  (0) . 527.3 / 282.0  (0)
ermost_Rewriting/Frederiksen_Others/ocall-safe.xml ?/n^1 3.5 / 2.3  (-) ?/n^1 0.6 / 0.8  (2) n^1/n^1 1.0 / 2.3  (4)
most_Rewriting/Frederiksen_Others/ocall-unsafe.xml ?/n^1 7.2 / 7.0  (-) ?/n^1 0.2 / 0.2  (2) n^1/n^1 1.1 / 2.2  (4)
Innermost_Rewriting/Frederiksen_Others/oddeven.xml ?/n^1 3.5 / 1.7  (-) ?/n^1 0.8 / 0.3  (2) n^1/n^1 1.3 / 2.3  (4)
_Innermost_Rewriting/Frederiksen_Others/permut.xml ?/n^1 1.2 / 0.6  (-) ?/n^1 0.3 / 0.2  (2) ?/n^1 4.5 / 6.5  (2)
y_Innermost_Rewriting/Frederiksen_Others/power.xml . 388.9 / 297.1  (-) . 61.4 / 35.3  (0) . 361.6 / 281.7  (0)
st_Rewriting/Frederiksen_Others/quicksortPtime.xml ?/n^2 294.0 / 222.0  (-) ?/n^2 95.9 / 40.1  (2) . 568.7 / 282.3  (0)
ost_Rewriting/Frederiksen_Others/quicksortSize.xml . 790.3 / 297.6  (-) . 611.1 / 292.4  (0) . 536.7 / 283.0  (0)
y_Innermost_Rewriting/Frederiksen_Others/reach.xml . 528.1 / 298.2  (-) . 591.2 / 294.0  (0) . 589.2 / 282.2  (0)
Innermost_Rewriting/Frederiksen_Others/rematch.xml . 487.2 / 300.0  (-) . 783.9 / 292.3  (0) . 614.9 / 282.1  (0)
nnermost_Rewriting/Frederiksen_Others/strmatch.xml ?/n^2 213.0 / 103.6  (-) ?/n^2 33.3 / 12.8  (2) ?/n^2 17.6 / 9.5  (2)
most_Rewriting/Frederiksen_Others/thetrickSize.xml ?/n^1 124.9 / 48.9  (-) ?/n^1 10.1 / 2.8  (2) ?/n^1 12.9 / 4.4  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade01.xml . 506.3 / 298.2  (-) . 37.5 / 13.0  (0) n^1/? 336.8 / 281.9  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade03.xml . 646.5 / 298.8  (-) . 44.0 / 21.7  (0) n^1/? 522.7 / 280.8  (2)
Complexity_Innermost_Rewriting/GTSSK07/cade04t.xml . 487.7 / 297.1  (-) . 22.4 / 7.9  (0) n^1/? 667.1 / 280.9  (2)
Complexity_Innermost_Rewriting/GTSSK07/cade05t.xml . 407.9 / 297.4  (-) . 672.4 / 292.6  (0) n^1/? 605.2 / 281.3  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade06.xml . 552.6 / 297.1  (-) . 569.6 / 292.3  (0) n^1/? 445.1 / 280.5  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade07.xml . 436.4 / 298.3  (-) . 76.7 / 53.6  (0) n^1/? 633.0 / 280.9  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade08.xml . 569.7 / 297.1  (-) . 568.5 / 292.4  (0) n^1/? 593.6 / 280.4  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade09.xml . 533.6 / 297.2  (-) . 409.4 / 293.2  (0) n^1/? 566.6 / 281.4  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade10.xml . 296.7 / 297.6  (-) . 319.8 / 207.7  (0) n^1/? 575.9 / 281.1  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade11.xml . 452.8 / 300.0  (-) . 76.6 / 42.2  (0) n^1/? 466.9 / 281.3  (2)
Complexity_Innermost_Rewriting/GTSSK07/cade12t.xml . 408.1 / 297.6  (-) . 696.8 / 292.5  (0) . 9.0 / 14.4  (0)
Complexity_Innermost_Rewriting/GTSSK07/cade13t.xml . 554.5 / 297.4  (-) . 42.7 / 23.7  (0) n^1/? 554.5 / 281.5  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade14.xml . 571.3 / 297.5  (-) . 64.6 / 34.8  (0) n^1/? 722.5 / 281.8  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade15.xml . 479.1 / 297.1  (-) . 274.8 / 138.3  (0) ?/? 10.1 / 17.1  (0)
_Complexity_Innermost_Rewriting/GTSSK07/cade16.xml . 453.5 / 300.0  (-) . 106.6 / 49.9  (0) n^1/? 594.1 / 280.5  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade17.xml . 549.1 / 297.8  (-) . 739.5 / 292.1  (0) n^2/? 782.8 / 281.2  (2)
Innermost_Rewriting/HirokawaMiddeldorp_04/n002.xml . 47.4 / 31.4  (-) . 12.3 / 7.1  (0) ?/? 5.4 / 7.1  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/n003.xml . 63.5 / 30.8  (-) . 12.3 / 7.1  (0) ?/? 6.8 / 6.2  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/n004.xml . 60.9 / 25.3  (-) . 11.7 / 7.2  (0) ?/? 6.4 / 6.3  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/n005.xml . 442.7 / 297.2  (-) . 14.7 / 7.2  (0) ?/? 6.8 / 6.3  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/n006.xml . 88.3 / 45.3  (-) . 20.5 / 7.0  (0) ?/? 6.1 / 6.7  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/n007.xml . 24.9 / 12.4  (-) . 3.6 / 1.9  (0) ?/? 0.4 / 2.3  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/t001.xml . 542.6 / 297.1  (-) . 449.9 / 292.2  (0) n^1/? 428.0 / 280.4  (2)
Innermost_Rewriting/HirokawaMiddeldorp_04/t002.xml . 606.9 / 297.3  (-) . 421.1 / 292.3  (0) n^1/n^2 31.8 / 30.8  (4)
Innermost_Rewriting/HirokawaMiddeldorp_04/t003.xml . 470.4 / 297.7  (-) . 544.3 / 292.5  (0) n^1/? 328.6 / 281.3  (2)
Innermost_Rewriting/HirokawaMiddeldorp_04/t004.xml . 425.2 / 297.2  (-) . 69.4 / 34.9  (0) n^1/? 306.8 / 171.4  (2)
Innermost_Rewriting/HirokawaMiddeldorp_04/t009.xml . 404.9 / 298.1  (-) . 742.3 / 292.3  (0) . 558.5 / 281.3  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/t011.xml ?/n^1 54.1 / 24.2  (-) ?/n^1 17.6 / 7.0  (2) n^1/n^1 1.6 / 2.2  (4)
Innermost_Rewriting/HirokawaMiddeldorp_04/t012.xml . 783.6 / 297.1  (-) . 512.1 / 292.7  (0) n^1/? 579.7 / 281.2  (2)
Innermost_Rewriting/HirokawaMiddeldorp_04/t013.xml . 689.0 / 297.2  (-) . 145.0 / 141.4  (0) n^1/? 289.7 / 281.0  (2)
Innermost_Rewriting/HirokawaMiddeldorp_04/t014.xml ?/n^2 86.1 / 42.6  (-) ?/n^2 10.9 / 5.5  (2) n^1/n^2 27.2 / 21.6  (4)
ty_Innermost_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.xml . 616.7 / 297.8  (-) . 114.9 / 46.7  (0) n^1/? 456.6 / 280.8  (2)
mplexity_Innermost_Rewriting/Mixed_TRS/fossacs.xml . 498.1 / 297.2  (-) . 127.4 / 67.8  (0) n^1/? 526.7 / 281.2  (2)
e_Complexity_Innermost_Rewriting/Mixed_TRS/gcd.xml . 434.5 / 297.3  (-) . 440.2 / 293.0  (0) n^1/? 534.9 / 281.2  (2)
lexity_Innermost_Rewriting/Mixed_TRS/gcdMinMax.xml . 611.4 / 297.1  (-) . 573.9 / 292.2  (0) n^1/? 546.2 / 281.1  (2)
exity_Innermost_Rewriting/Mixed_TRS/gcd_triple.xml . 474.7 / 299.4  (-) . 626.3 / 292.2  (0) n^1/? 512.4 / 281.1  (2)
_Innermost_Rewriting/Mixed_TRS/hydra-Zantema06.xml . 441.4 / 297.3  (-) . 593.9 / 292.2  (0) n^1/n^1 25.2 / 24.7  (4)
Complexity_Innermost_Rewriting/Mixed_TRS/hydra.xml ?/n^1 0.8 / 0.4  (-) ?/n^1 2.4 / 1.1  (2) ?/n^1 15.9 / 15.4  (2)
omplexity_Innermost_Rewriting/Mixed_TRS/jones1.xml ?/n^1 3.0 / 2.0  (-) ?/n^1 1.1 / 1.3  (2) ?/n^1 3.6 / 4.2  (2)
omplexity_Innermost_Rewriting/Mixed_TRS/jones2.xml ?/n^1 7.7 / 4.3  (-) ?/n^1 1.7 / 0.9  (2) ?/n^1 8.7 / 16.8  (2)
omplexity_Innermost_Rewriting/Mixed_TRS/jones4.xml ?/n^1 4.8 / 3.7  (-) ?/n^1 0.8 / 0.3  (2) ?/n^1 5.0 / 6.4  (2)
omplexity_Innermost_Rewriting/Mixed_TRS/jones5.xml . 461.1 / 299.4  (-) . 8.1 / 3.3  (0) . 175.0 / 281.0  (0)
omplexity_Innermost_Rewriting/Mixed_TRS/jones6.xml ?/n^1 31.4 / 8.7  (-) ?/n^1 1.9 / 0.9  (2) ?/n^1 5.8 / 5.3  (2)
mplexity_Innermost_Rewriting/Mixed_TRS/minsort.xml . 747.5 / 297.4  (-) . 580.4 / 292.2  (0) n^1/? 378.2 / 281.2  (2)
mplexity_Innermost_Rewriting/Mixed_TRS/perfect.xml ?/n^1 12.7 / 6.7  (-) ?/n^1 2.9 / 2.4  (2) ?/n^1 11.2 / 16.8  (2)
plexity_Innermost_Rewriting/Mixed_TRS/perfect2.xml . 628.1 / 298.9  (-) . 466.8 / 293.0  (0) n^1/? 389.5 / 281.1  (2)
Complexity_Innermost_Rewriting/Mixed_TRS/test1.xml . 541.6 / 297.4  (-) . 5.5 / 3.3  (0) . 25.4 / 17.3  (0)
Complexity_Innermost_Rewriting/Mixed_TRS/while.xml . 599.9 / 297.1  (-) . 33.9 / 12.2  (0) n^1/? 513.2 / 280.9  (2)
mplexity_Innermost_Rewriting/Rubio_04/bintrees.xml ?/n^1 9.3 / 4.1  (-) ?/n^1 11.9 / 5.6  (2) n^1/n^1 2.1 / 2.3  (4)
_Complexity_Innermost_Rewriting/Rubio_04/bn122.xml ?/n^1 5.2 / 3.4  (-) ?/n^1 2.3 / 1.2  (2) ?/n^2 25.5 / 17.5  (1)
mplexity_Innermost_Rewriting/Rubio_04/division.xml ?/n^3 344.0 / 163.3  (-) ?/n^3 87.1 / 68.5  (2) n^1/n^3 48.0 / 31.3  (4)
mplexity_Innermost_Rewriting/Rubio_04/elimdupl.xml ?/n^2 185.4 / 92.6  (-) ?/n^2 69.1 / 33.9  (2) n^1/n^2 36.7 / 23.3  (4)
e_Complexity_Innermost_Rewriting/Rubio_04/enno.xml ?/n^2 320.8 / 148.9  (-) ?/n^2 345.8 / 291.7  (2) n^1/n^2 61.8 / 44.5  (4)
me_Complexity_Innermost_Rewriting/Rubio_04/gcd.xml ?/n^2 295.2 / 137.2  (-) ?/n^2 27.1 / 11.2  (2) n^1/n^2 43.0 / 25.4  (4)
ime_Complexity_Innermost_Rewriting/Rubio_04/gm.xml ?/n^1 4.1 / 1.6  (-) ?/n^1 1.4 / 0.4  (2) n^1/n^2 24.6 / 21.7  (3)
e_Complexity_Innermost_Rewriting/Rubio_04/gmnp.xml ?/n^1 7.2 / 3.0  (-) ?/n^1 3.2 / 1.7  (2) n^1/n^1 1.5 / 4.3  (4)
e_Complexity_Innermost_Rewriting/Rubio_04/koen.xml ?/n^0 4.2 / 2.2  (-) ?/n^0 0.6 / 0.8  (2) ?/n^0 5.0 / 7.3  (2)
plexity_Innermost_Rewriting/Rubio_04/logarquot.xml ?/n^2 180.2 / 63.8  (-) ?/n^2 15.4 / 10.8  (2) n^1/n^2 35.4 / 28.7  (4)
e_Complexity_Innermost_Rewriting/Rubio_04/ma96.xml . 597.4 / 297.2  (-) . 832.1 / 292.3  (0) n^1/? 509.8 / 285.2  (2)
_Complexity_Innermost_Rewriting/Rubio_04/mfp95.xml ?/n^1 2.0 / 1.4  (-) ?/n^0 0.1 / 0.1  (2) ?/n^0 2.4 / 4.2  (2)
omplexity_Innermost_Rewriting/Rubio_04/nestrec.xml . 559.9 / 297.8  (-) . 206.1 / 99.1  (0) n^1/? 435.1 / 280.8  (2)
e_Complexity_Innermost_Rewriting/Rubio_04/p266.xml ?/n^0 14.4 / 6.8  (-) ?/n^0 0.6 / 0.3  (2) ?/n^0 2.3 / 5.6  (2)
_Complexity_Innermost_Rewriting/Rubio_04/polo2.xml ?/n^1 322.1 / 148.8  (-) ?/n^1 51.9 / 21.7  (2) n^1/n^1 24.0 / 29.0  (4)
e_Complexity_Innermost_Rewriting/Rubio_04/prov.xml ?/n^1 7.7 / 3.4  (-) ?/n^1 1.7 / 0.6  (2) n^1/n^1 6.9 / 6.3  (4)
_Complexity_Innermost_Rewriting/Rubio_04/quick.xml . 594.9 / 299.4  (-) . 451.8 / 292.6  (0) n^2/? 517.8 / 281.3  (2)
plexity_Innermost_Rewriting/Rubio_04/quotminus.xml . 384.0 / 193.5  (-) . 34.7 / 21.3  (0) n^1/? 301.3 / 280.7  (2)
omplexity_Innermost_Rewriting/Rubio_04/revlist.xml . 572.4 / 297.2  (-) . 447.5 / 292.7  (0) n^1/? 510.5 / 283.3  (2)
omplexity_Innermost_Rewriting/Rubio_04/selsort.xml ?/n^3 530.9 / 257.3  (-) ?/n^2 572.7 / 294.0  (2) n^2/? 601.8 / 281.2  (2)
_Complexity_Innermost_Rewriting/Rubio_04/test4.xml ?/n^1 18.2 / 11.5  (-) ?/n^1 7.7 / 4.1  (2) n^1/n^1 2.9 / 3.3  (4)
omplexity_Innermost_Rewriting/Rubio_04/test829.xml ?/n^1 6.2 / 3.2  (-) ?/n^1 0.8 / 0.4  (2) ?/n^1 3.1 / 4.3  (2)
_Complexity_Innermost_Rewriting/Rubio_04/wst99.xml . 558.2 / 297.3  (-) ?/n^2 53.3 / 33.6  (2) n^1/n^2 40.3 / 28.6  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.02.xml ?/n^1 448.8 / 297.3  (-) ?/n^1 29.0 / 12.8  (2) n^1/n^1 1.3 / 2.3  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.03.xml ?/n^1 2.8 / 1.2  (-) ?/n^1 1.4 / 0.6  (2) n^1/n^1 1.1 / 2.2  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.07.xml ?/n^1 23.0 / 12.4  (-) ?/n^1 8.2 / 3.4  (2) n^1/n^1 27.6 / 27.0  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.09.xml ?/n^1 1.6 / 1.1  (-) ?/n^1 0.8 / 0.4  (2) n^1/n^1 1.4 / 2.2  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.11.xml ?/n^1 1.5 / 0.6  (-) ?/n^1 0.6 / 0.5  (2) n^1/n^1 1.6 / 3.4  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.12.xml ?/n^3 289.1 / 148.6  (-) ?/n^3 23.9 / 19.5  (2) n^3/n^3 24.3 / 20.0  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.13.xml ?/n^1 8.1 / 3.7  (-) ?/n^1 3.1 / 2.5  (2) n^1/n^1 16.1 / 17.5  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.14.xml ?/n^1 2.5 / 1.4  (-) ?/n^1 1.2 / 0.7  (2) n^1/n^1 1.9 / 3.7  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.15.xml . 52.2 / 28.3  (-) . 9.2 / 8.5  (0) ?/? 5.0 / 6.8  (0)
ntime_Complexity_Innermost_Rewriting/SK90/2.16.xml ?/n^2 47.1 / 27.0  (-) ?/n^2 10.7 / 4.2  (2) n^1/n^2 31.3 / 20.6  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.17.xml ?/n^1 2.8 / 1.6  (-) ?/n^1 2.2 / 1.3  (2) n^1/n^1 6.7 / 6.2  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.18.xml ?/n^2 16.7 / 10.7  (-) ?/n^2 5.3 / 3.0  (2) n^1/n^2 27.2 / 22.7  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.19.xml ?/n^3 223.0 / 113.3  (-) ?/n^2 11.1 / 4.7  (2) . 16.8 / 13.9  (0)
ntime_Complexity_Innermost_Rewriting/SK90/2.20.xml ?/n^1 1.3 / 0.5  (-) ?/n^1 0.8 / 0.5  (2) n^1/n^1 5.4 / 9.6  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.21.xml . 110.3 / 57.7  (-) . 8.7 / 4.3  (0) n^1/? 23.8 / 14.3  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.22.xml ?/n^2 22.2 / 12.3  (-) ?/n^2 8.2 / 4.0  (2) n^1/n^2 31.7 / 23.8  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.23.xml . 552.2 / 297.2  (-) . 36.5 / 20.5  (0) n^2/? 476.9 / 280.8  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.24.xml . 71.6 / 36.2  (-) . 6.9 / 3.2  (0) n^1/? 28.8 / 21.3  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.25.xml . 561.4 / 297.1  (-) . 24.9 / 12.7  (0) n^1/? 634.7 / 281.6  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.26.xml . 632.7 / 297.2  (-) . 139.3 / 66.5  (0) ?/? 18.0 / 15.5  (0)
ntime_Complexity_Innermost_Rewriting/SK90/2.27.xml . 575.3 / 297.3  (-) . 63.0 / 35.7  (0) n^1/? 291.2 / 281.5  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.28.xml . 515.3 / 297.3  (-) . 8.7 / 6.4  (0) n^1/? 559.4 / 289.1  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.29.xml ?/n^1 13.0 / 10.6  (-) ?/n^1 2.6 / 2.6  (2) ?/n^1 4.7 / 6.3  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.30.xml ?/n^0 0.7 / 0.4  (-) ?/n^0 0.3 / 0.2  (2) ?/n^0 2.3 / 5.5  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.31.xml ?/n^1 6.7 / 4.0  (-) ?/n^1 0.4 / 0.3  (2) n^1/n^1 1.7 / 2.3  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.36.xml ?/n^1 47.0 / 24.1  (-) ?/n^1 11.7 / 7.1  (2) n^1/n^1 1.7 / 3.6  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.37.xml ?/n^0 2.1 / 1.1  (-) ?/n^0 0.5 / 0.2  (2) ?/n^1 3.0 / 6.4  (1)
ntime_Complexity_Innermost_Rewriting/SK90/2.38.xml ?/n^1 6.2 / 3.6  (-) ?/n^1 1.6 / 0.8  (2) n^1/n^1 1.3 / 2.3  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.39.xml ?/n^2 147.8 / 81.7  (-) ?/n^2 21.9 / 17.5  (2) n^2/n^2 28.5 / 19.0  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.40.xml ?/n^1 10.6 / 9.3  (-) ?/n^1 0.8 / 0.3  (2) n^1/n^1 3.5 / 6.3  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.41.xml ?/n^1 1.6 / 0.6  (-) ?/n^1 2.6 / 1.1  (2) n^1/n^1 1.6 / 2.9  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.42.xml ?/n^1 222.1 / 110.2  (-) ?/n^1 25.6 / 12.4  (2) n^1/n^1 1.0 / 2.3  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.43.xml . 584.4 / 297.3  (-) . 90.8 / 79.4  (0) n^1/? 45.6 / 30.5  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.44.xml ?/n^1 17.0 / 10.6  (-) ?/n^1 6.4 / 3.4  (2) n^1/n^1 8.5 / 9.5  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.45.xml ?/n^1 10.1 / 6.5  (-) ?/n^1 1.7 / 1.0  (2) n^1/n^1 15.1 / 11.3  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.47.xml ?/n^1 1.9 / 1.7  (-) ?/n^1 0.4 / 0.2  (2) n^1/n^1 1.0 / 2.4  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.48.xml ?/n^0 1.5 / 0.7  (-) ?/n^0 0.7 / 1.6  (2) ?/n^0 2.4 / 4.6  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.49.xml ?/n^1 4.1 / 2.1  (-) ?/n^0 0.3 / 0.2  (2) ?/n^0 2.6 / 4.3  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.50.xml ?/n^1 1.5 / 0.7  (-) ?/n^1 0.3 / 0.3  (2) n^1/n^1 1.0 / 2.2  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.51.xml . 561.4 / 298.0  (-) . 46.2 / 36.0  (0) n^1/? 463.4 / 280.9  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.52.xml . 742.4 / 297.6  (-) . 276.4 / 172.0  (0) . 470.5 / 280.5  (0)
ntime_Complexity_Innermost_Rewriting/SK90/2.53.xml ?/n^1 2.3 / 1.6  (-) ?/n^1 0.7 / 0.5  (2) n^1/n^1 1.6 / 2.4  (4)
ntime_Complexity_Innermost_Rewriting/SK90/2.54.xml ?/n^1 0.6 / 0.3  (-) ?/n^1 0.5 / 0.4  (2) ?/n^1 3.8 / 8.6  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.55.xml ?/n^1 5.0 / 3.7  (-) ?/n^1 0.6 / 0.2  (2) ?/n^1 3.4 / 5.2  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.59.xml ?/n^1 0.9 / 0.4  (-) ?/n^1 0.3 / 0.2  (2) ?/n^1 2.9 / 5.2  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.61.xml ?/n^1 10.2 / 4.1  (-) ?/n^1 3.3 / 1.2  (2) ?/n^2 32.7 / 21.6  (1)
ntime_Complexity_Innermost_Rewriting/SK90/4.05.xml ?/n^2 36.6 / 16.3  (-) ?/n^2 5.7 / 3.5  (2) n^1/n^2 30.7 / 28.5  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.06.xml . 601.2 / 297.3  (-) . 32.3 / 24.1  (0) ?/? 0.4 / 2.5  (0)
ntime_Complexity_Innermost_Rewriting/SK90/4.07.xml ?/n^0 4.2 / 3.1  (-) ?/n^0 0.1 / 0.1  (2) ?/n^0 8.9 / 17.1  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.09.xml ?/n^0 40.4 / 21.0  (-) ?/n^0 5.5 / 5.8  (2) ?/n^0 16.9 / 14.3  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.10.xml ?/n^2 166.1 / 90.0  (-) ?/n^2 16.2 / 7.4  (2) n^1/n^2 26.3 / 21.3  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.12.xml ?/n^1 49.0 / 24.4  (-) ?/n^1 13.6 / 7.4  (2) n^1/n^1 3.3 / 3.2  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.13.xml ?/n^1 143.2 / 73.0  (-) ?/n^2 11.3 / 5.3  (1) n^1/n^1 15.0 / 20.6  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.16.xml ?/n^1 6.2 / 3.9  (-) ?/n^1 1.4 / 0.4  (2) ?/n^1 3.1 / 4.2  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.17.xml ?/n^2 283.7 / 145.9  (-) ?/n^2 51.9 / 37.1  (2) n^2/? 213.8 / 281.8  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.18.xml ?/n^0 1.4 / 0.6  (-) ?/n^0 0.3 / 0.4  (2) ?/n^0 11.3 / 10.2  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.22.xml . 455.5 / 261.0  (-) . 33.9 / 33.9  (0) n^1/? 546.6 / 280.6  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.24.xml . 585.0 / 297.2  (-) . 552.9 / 292.7  (0) n^1/? 657.5 / 299.1  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.25.xml ?/n^1 3.9 / 3.1  (-) ?/n^1 1.2 / 0.6  (2) n^1/n^1 8.0 / 6.2  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.26.xml ?/n^1 371.9 / 297.5  (-) ?/n^1 13.0 / 3.9  (2) n^1/n^1 1.5 / 3.4  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.27.xml . 713.6 / 297.2  (-) . 518.6 / 292.1  (0) n^1/? 491.9 / 281.2  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.28.xml ?/n^1 6.8 / 3.9  (-) ?/n^1 4.9 / 1.7  (2) n^1/n^2 291.3 / 281.1  (3)
ntime_Complexity_Innermost_Rewriting/SK90/4.29.xml ?/n^1 2.5 / 1.5  (-) ?/n^1 1.4 / 1.0  (2) ?/n^1 3.4 / 5.3  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.30.xml ?/n^1 124.8 / 66.0  (-) ?/n^1 16.4 / 6.6  (2) n^1/n^1 1.6 / 2.4  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.31.xml . 543.0 / 299.2  (-) . 20.6 / 7.0  (0) ?/? 6.4 / 5.2  (0)
ntime_Complexity_Innermost_Rewriting/SK90/4.34.xml . 517.2 / 297.7  (-) . 38.4 / 23.8  (0) n^1/? 52.0 / 49.3  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.35.xml ?/n^0 2.5 / 1.8  (-) ?/n^0 0.1 / 0.1  (2) ?/n^0 2.7 / 5.0  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.38.xml ?/n^1 34.1 / 29.5  (-) ?/n^1 3.6 / 1.9  (2) n^1/n^1 1.2 / 2.4  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.42.xml . 426.9 / 297.4  (-) . 25.1 / 12.7  (0) n^1/? 616.0 / 281.0  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.43.xml . 412.5 / 297.5  (-) ?/n^3 40.6 / 19.5  (2) n^1/? 73.0 / 70.5  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.45.xml ?/n^1 1.0 / 0.7  (-) ?/n^1 0.7 / 1.2  (2) n^1/n^1 3.0 / 5.3  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.47.xml ?/n^0 7.5 / 5.2  (-) ?/n^0 0.3 / 0.2  (2) ?/n^0 2.9 / 4.6  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.48.xml ?/n^0 9.6 / 5.5  (-) ?/n^0 0.1 / 0.1  (2) ?/n^0 18.6 / 15.2  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.51.xml ?/n^1 25.9 / 16.8  (-) ?/n^1 2.9 / 1.0  (2) ?/n^1 3.8 / 6.2  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.53.xml ?/n^1 6.9 / 2.4  (-) ?/n^1 7.5 / 5.4  (2) n^1/n^1 16.7 / 20.7  (4)
ntime_Complexity_Innermost_Rewriting/SK90/4.54.xml . 542.2 / 297.3  (-) . 12.7 / 5.4  (0) ?/? 7.1 / 8.4  (0)
ntime_Complexity_Innermost_Rewriting/SK90/4.57.xml ?/n^0 293.5 / 148.9  (-) ?/n^0 405.6 / 292.2  (2) ?/n^0 15.7 / 14.2  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.59.xml . 288.8 / 184.7  (-) . 40.5 / 30.1  (0) ?/? 6.5 / 5.8  (0)
ntime_Complexity_Innermost_Rewriting/SK90/4.60.xml . 589.2 / 297.5  (-) . 577.7 / 292.7  (0) n^1/? 533.6 / 280.8  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.61.xml . 661.2 / 297.3  (-) . 622.5 / 292.4  (0) ?/? 20.6 / 17.5  (0)
xity_Innermost_Rewriting/Secret_05_TRS/aprove2.xml . 501.8 / 297.2  (-) . 86.4 / 63.4  (0) n^1/n^2 545.8 / 242.6  (4)
xity_Innermost_Rewriting/Secret_05_TRS/aprove3.xml . 541.8 / 297.4  (-) . 45.7 / 25.1  (0) . 242.7 / 281.2  (0)
xity_Innermost_Rewriting/Secret_05_TRS/aprove4.xml . 368.7 / 300.0  (-) . 53.2 / 53.9  (0) n^1/n^2 66.1 / 53.3  (4)
xity_Innermost_Rewriting/Secret_05_TRS/aprove5.xml . 487.5 / 297.3  (-) . 122.6 / 108.5  (0) n^1/? 571.0 / 281.4  (2)
lexity_Innermost_Rewriting/Secret_05_TRS/cime2.xml ?/n^1 50.3 / 29.1  (-) ?/n^1 12.3 / 5.7  (2) n^1/n^1 20.3 / 16.7  (4)
lexity_Innermost_Rewriting/Secret_05_TRS/cime3.xml . 572.2 / 297.4  (-) . 71.6 / 37.5  (0) . 301.0 / 280.6  (0)
lexity_Innermost_Rewriting/Secret_05_TRS/cime4.xml ?/n^0 18.4 / 7.5  (-) ?/n^0 4.9 / 3.1  (2) ?/n^0 2.5 / 8.2  (2)
lexity_Innermost_Rewriting/Secret_05_TRS/cime5.xml . 709.4 / 297.5  (-) . 738.2 / 292.9  (0) n^1/? 655.1 / 281.2  (2)
plexity_Innermost_Rewriting/Secret_05_TRS/tpa1.xml . 670.0 / 297.6  (-) . 555.3 / 292.4  (0) n^1/? 600.2 / 280.6  (2)
plexity_Innermost_Rewriting/Secret_05_TRS/tpa2.xml . 577.9 / 297.3  (-) . 608.9 / 292.1  (0) n^1/n^2 382.2 / 202.5  (4)
plexity_Innermost_Rewriting/Secret_05_TRS/tpa3.xml . 665.6 / 297.2  (-) . 446.8 / 292.6  (0) n^2/? 595.5 / 281.1  (2)
plexity_Innermost_Rewriting/Secret_05_TRS/tpa4.xml . 562.2 / 297.3  (-) . 567.2 / 292.5  (0) n^2/? 584.9 / 281.5  (2)
plexity_Innermost_Rewriting/Secret_05_TRS/tpa5.xml . 503.4 / 297.5  (-) . 693.2 / 292.3  (0) n^1/? 521.0 / 280.9  (2)
plexity_Innermost_Rewriting/Secret_05_TRS/ttt1.xml ?/n^0 235.6 / 148.2  (-) ?/n^0 18.4 / 13.1  (2) ?/n^0 15.4 / 14.5  (2)
plexity_Innermost_Rewriting/Secret_05_TRS/ttt2.xml . 539.4 / 297.6  (-) . 35.4 / 14.9  (0) ?/? 5.5 / 6.4  (0)
omplexity_Innermost_Rewriting/Secret_06_TRS/10.xml ?/n^1 7.4 / 4.8  (-) ?/n^0 0.5 / 0.2  (2) ?/n^1 4.7 / 4.2  (1)
Complexity_Innermost_Rewriting/Secret_06_TRS/4.xml ?/n^1 327.7 / 297.4  (-) ?/n^1 40.5 / 17.7  (2) ?/n^1 18.5 / 11.3  (2)
Complexity_Innermost_Rewriting/Secret_06_TRS/6.xml ?/n^0 1.4 / 1.2  (-) ?/n^0 0.2 / 0.1  (2) ?/n^0 3.0 / 6.1  (2)
xity_Innermost_Rewriting/Secret_06_TRS/addList.xml . 651.9 / 297.3  (-) . 581.3 / 292.4  (0) . 72.5 / 67.7  (0)
exity_Innermost_Rewriting/Secret_06_TRS/divExp.xml . 616.9 / 297.3  (-) . 565.4 / 292.3  (0) n^1/? 254.4 / 281.8  (2)
ity_Innermost_Rewriting/Secret_06_TRS/division.xml . 675.1 / 297.6  (-) . 118.2 / 72.9  (0) n^1/? 626.0 / 281.3  (2)
exity_Innermost_Rewriting/Secret_06_TRS/double.xml . 587.0 / 299.9  (-) . 148.4 / 104.9  (0) n^1/? 582.4 / 280.8  (2)
lexity_Innermost_Rewriting/Secret_06_TRS/gen-1.xml ?/n^0 2.2 / 0.9  (-) ?/n^0 0.1 / 0.1  (2) ?/n^0 7.9 / 7.4  (2)
exity_Innermost_Rewriting/Secret_06_TRS/gen-17.xml ?/n^0 293.3 / 148.8  (-) ?/n^0 37.2 / 21.2  (2) ?/n^0 13.3 / 12.3  (2)
exity_Innermost_Rewriting/Secret_06_TRS/gen-28.xml ?/n^1 312.5 / 148.2  (-) . 39.0 / 20.8  (0) ?/n^0 98.1 / 52.2  (2)
ty_Innermost_Rewriting/Secret_06_TRS/logarithm.xml . 537.7 / 297.2  (-) . 296.5 / 292.5  (0) n^1/? 641.2 / 280.8  (2)
ty_Innermost_Rewriting/Secret_06_TRS/nrOfNodes.xml . 823.3 / 297.6  (-) . 143.1 / 98.1  (0) n^1/? 628.4 / 282.0  (2)
xity_Innermost_Rewriting/Secret_06_TRS/reverse.xml . 509.8 / 297.4  (-) . 428.6 / 292.4  (0) n^1/? 668.5 / 281.2  (2)
xity_Innermost_Rewriting/Secret_06_TRS/sumList.xml . 550.2 / 297.3  (-) . 158.3 / 103.1  (0) n^2/? 425.3 / 284.0  (2)
lexity_Innermost_Rewriting/Secret_06_TRS/times.xml . 637.1 / 297.4  (-) . 97.1 / 87.6  (0) n^1/? 632.1 / 281.2  (2)
exity_Innermost_Rewriting/Secret_06_TRS/toList.xml . 673.7 / 300.0  (-) . 353.8 / 205.3  (0) . 652.1 / 281.4  (0)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa04.xml . 386.6 / 297.5  (-) . 611.4 / 292.4  (0) n^1/? 416.9 / 281.5  (2)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa05.xml . 398.8 / 297.4  (-) . 571.0 / 293.1  (0) n^2/? 582.3 / 280.9  (2)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa06.xml . 431.0 / 300.1  (-) . 603.5 / 292.7  (0) n^1/? 650.9 / 280.8  (2)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa07.xml . 665.3 / 297.3  (-) . 548.3 / 292.6  (0) n^2/? 590.8 / 280.6  (2)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa08.xml . 397.9 / 298.7  (-) . 573.5 / 292.6  (0) n^2/? 402.2 / 281.5  (2)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa09.xml . 450.7 / 297.8  (-) . 683.6 / 292.2  (0) n^2/? 516.1 / 282.3  (2)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa10.xml . 719.0 / 297.8  (-) . 492.9 / 296.1  (0) n^2/? 592.3 / 281.2  (2)
Complexity_Innermost_Rewriting/Secret_07_TRS/3.xml . 574.5 / 297.2  (-) ?/n^1 587.6 / 292.2  (2) ?/n^2 31.7 / 23.8  (1)
ity_Innermost_Rewriting/Secret_07_TRS/aprove01.xml . 639.1 / 297.4  (-) . 154.5 / 94.4  (0) n^1/? 332.4 / 281.0  (2)
ity_Innermost_Rewriting/Secret_07_TRS/aprove02.xml . 571.4 / 297.3  (-) . 106.7 / 49.7  (0) n^1/? 534.5 / 281.5  (2)
ity_Innermost_Rewriting/Secret_07_TRS/aprove03.xml . 729.2 / 297.4  (-) . 690.9 / 292.6  (0) n^1/? 532.7 / 281.0  (2)
ity_Innermost_Rewriting/Secret_07_TRS/aprove04.xml . 693.3 / 297.9  (-) . 610.9 / 292.3  (0) n^1/? 735.6 / 280.7  (2)
ity_Innermost_Rewriting/Secret_07_TRS/aprove05.xml . 548.3 / 297.6  (-) . 198.5 / 123.6  (0) n^1/? 556.8 / 280.8  (2)
ity_Innermost_Rewriting/Secret_07_TRS/aprove06.xml . 406.8 / 297.3  (-) . 316.7 / 176.2  (0) n^1/? 589.4 / 281.0  (2)
ity_Innermost_Rewriting/Secret_07_TRS/aprove07.xml . 592.3 / 297.1  (-) . 140.4 / 87.1  (0) n^1/? 538.6 / 281.4  (2)
ity_Innermost_Rewriting/Secret_07_TRS/aprove08.xml . 542.3 / 297.1  (-) . 162.5 / 100.6  (0) n^1/? 802.8 / 281.1  (2)
ity_Innermost_Rewriting/Secret_07_TRS/aprove09.xml . 618.1 / 297.5  (-) . 106.5 / 61.6  (0) n^1/? 555.5 / 281.2  (2)
ity_Innermost_Rewriting/Secret_07_TRS/aprove10.xml . 595.5 / 298.4  (-) . 592.5 / 292.4  (0) n^1/? 706.4 / 281.1  (2)
xity_Innermost_Rewriting/Secret_07_TRS/secret1.xml . 593.4 / 297.4  (-) . 382.0 / 211.5  (0) n^1/? 745.5 / 280.4  (2)
xity_Innermost_Rewriting/Secret_07_TRS/secret3.xml . 607.3 / 297.5  (-) . 51.8 / 29.6  (0) . 8.7 / 16.2  (0)
xity_Innermost_Rewriting/Secret_07_TRS/secret4.xml . 633.6 / 297.7  (-) . 593.8 / 292.3  (0) n^1/? 611.2 / 281.0  (2)
xity_Innermost_Rewriting/Secret_07_TRS/secret5.xml ?/n^1 8.8 / 5.1  (-) ?/n^1 2.7 / 1.1  (2) ?/n^1 16.5 / 16.3  (2)
nnermost_Rewriting/Strategy_removed_AG01/#4.14.xml ?/n^1 7.9 / 5.4  (-) ?/n^1 106.4 / 144.5  (2) n^1/n^1 2.9 / 5.3  (4)
nnermost_Rewriting/Strategy_removed_AG01/#4.16.xml ?/n^1 18.6 / 9.9  (-) ?/n^1 5.1 / 3.6  (2) n^1/n^1 3.0 / 5.5  (4)
nnermost_Rewriting/Strategy_removed_AG01/#4.17.xml ?/n^1 4.4 / 1.5  (-) ?/n^1 563.0 / 292.0  (2) n^1/n^1 1.0 / 2.3  (4)
nnermost_Rewriting/Strategy_removed_AG01/#4.19.xml . 587.6 / 297.6  (-) . 31.5 / 14.3  (0) ?/n^1 47.5 / 50.1  (2)
Innermost_Rewriting/Strategy_removed_AG01/#4.2.xml ?/n^1 1.2 / 0.6  (-) ?/n^1 432.0 / 292.5  (2) n^1/n^1 3.1 / 6.5  (4)
nermost_Rewriting/Strategy_removed_AG01/#4.20a.xml ?/n^1 5.2 / 1.8  (-) ?/n^1 3.9 / 3.0  (2) n^1/n^1 1.1 / 2.5  (4)
nnermost_Rewriting/Strategy_removed_AG01/#4.22.xml ?/n^1 36.0 / 22.1  (-) ?/n^1 8.3 / 9.0  (2) n^1/n^1 17.6 / 14.8  (4)
nnermost_Rewriting/Strategy_removed_AG01/#4.23.xml . 563.6 / 297.3  (-) . 51.8 / 28.1  (0) n^1/? 101.9 / 89.5  (2)
nnermost_Rewriting/Strategy_removed_AG01/#4.25.xml . 452.4 / 297.5  (-) . 3.6 / 1.5  (0) ?/n^0 2.7 / 5.2  (2)
nnermost_Rewriting/Strategy_removed_AG01/#4.26.xml . 470.4 / 298.6  (-) . 31.2 / 15.3  (0) n^1/n^2 70.8 / 60.9  (4)
nnermost_Rewriting/Strategy_removed_AG01/#4.27.xml ?/n^2 360.2 / 149.5  (-) ?/n^3 37.0 / 16.6  (1) n^1/n^2 26.2 / 30.6  (4)
nnermost_Rewriting/Strategy_removed_AG01/#4.28.xml ?/n^1 63.3 / 26.1  (-) ?/n^1 15.9 / 7.1  (2) n^1/n^2 18.5 / 17.6  (3)
nnermost_Rewriting/Strategy_removed_AG01/#4.29.xml . 529.3 / 297.5  (-) . 748.7 / 292.5  (0) n^1/? 484.6 / 280.8  (2)
nnermost_Rewriting/Strategy_removed_AG01/#4.30.xml . 686.7 / 297.3  (-) . 115.7 / 67.0  (0) n^1/n^2 83.8 / 60.6  (4)
nermost_Rewriting/Strategy_removed_AG01/#4.30a.xml . 556.1 / 297.4  (-) . 21.9 / 8.7  (0) n^1/n^2 32.5 / 45.3  (4)
nermost_Rewriting/Strategy_removed_AG01/#4.30b.xml . 560.0 / 297.1  (-) . 352.9 / 291.8  (0) n^1/n^2 128.4 / 88.0  (4)
nermost_Rewriting/Strategy_removed_AG01/#4.30c.xml . 579.9 / 297.1  (-) . 238.0 / 176.8  (0) n^1/n^2 112.3 / 143.4  (4)
nnermost_Rewriting/Strategy_removed_AG01/#4.32.xml ?/n^1 24.3 / 10.6  (-) ?/n^2 5.5 / 3.1  (1) ?/n^1 9.9 / 17.2  (2)
nnermost_Rewriting/Strategy_removed_AG01/#4.33.xml ?/n^5 514.4 / 252.8  (-) ?/n^3 107.0 / 71.2  (2) n^2/? 563.2 / 281.2  (2)
nnermost_Rewriting/Strategy_removed_AG01/#4.34.xml ?/n^1 15.9 / 6.0  (-) ?/n^1 10.7 / 4.2  (2) n^1/n^2 261.5 / 264.1  (3)
nnermost_Rewriting/Strategy_removed_AG01/#4.35.xml . 398.7 / 298.1  (-) . 740.8 / 293.6  (0) n^1/? 420.9 / 282.8  (2)
nnermost_Rewriting/Strategy_removed_AG01/#4.36.xml ?/n^3 429.7 / 222.0  (-) ?/n^2 342.2 / 192.6  (2) n^2/? 487.7 / 281.0  (2)
nnermost_Rewriting/Strategy_removed_AG01/#4.37.xml ?/n^1 4.8 / 2.4  (-) ?/n^1 1.9 / 0.7  (2) ?/n^1 3.3 / 5.3  (2)
nermost_Rewriting/Strategy_removed_AG01/#4.37a.xml ?/n^1 19.9 / 17.9  (-) ?/n^1 2.5 / 1.7  (2) ?/n^1 4.2 / 10.0  (2)
Innermost_Rewriting/Strategy_removed_AG01/#4.7.xml ?/n^0 3.3 / 1.5  (-) ?/n^0 0.3 / 0.6  (2) ?/n^0 2.3 / 5.3  (2)
_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.xml . 96.8 / 40.3  (-) . 6.3 / 2.8  (0) ?/? 0.4 / 2.8  (0)
t_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.xml . 116.3 / 52.5  (-) . 9.6 / 5.5  (0) ?/? 0.4 / 2.2  (0)
_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.xml . 292.0 / 148.5  (-) . 16.4 / 7.6  (0) ?/? 0.4 / 2.4  (0)
Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml . 99.1 / 50.3  (-) . 4.4 / 2.6  (0) ?/? 0.4 / 2.4  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.xml . 121.8 / 71.4  (-) . 9.8 / 6.1  (0) ?/? 0.4 / 2.6  (0)
ost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.xml . 569.7 / 297.3  (-) . 51.4 / 34.8  (0) ?/? 0.4 / 2.9  (0)
t_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.xml . 86.9 / 36.9  (-) . 9.9 / 4.8  (0) ?/? 0.4 / 2.4  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.xml . 55.5 / 35.3  (-) . 35.6 / 16.7  (0) ?/? 7.1 / 6.2  (0)
_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.xml . 606.8 / 297.9  (-) . 47.7 / 24.0  (0) ?/? 0.4 / 2.4  (0)
t_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.xml . 124.7 / 65.1  (-) . 8.0 / 3.3  (0) ?/? 0.4 / 2.2  (0)
ewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml . 81.8 / 58.9  (-) . 5.3 / 2.4  (0) ?/? 0.4 / 2.3  (0)
_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.xml . 114.9 / 60.0  (-) . 11.3 / 3.5  (0) ?/? 0.4 / 2.2  (0)
writing/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml . 492.5 / 298.8  (-) . 37.3 / 22.5  (0) ?/? 0.4 / 2.3  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.xml ?/n^1 11.4 / 6.0  (-) ?/n^1 3.7 / 1.9  (2) n^1/n^1 21.1 / 15.6  (4)
Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml . 616.5 / 297.3  (-) . 10.0 / 4.3  (0) ?/? 0.4 / 2.2  (0)
writing/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml . 443.7 / 297.5  (-) . 30.4 / 15.1  (0) ?/? 6.1 / 6.3  (0)
writing/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml . 152.0 / 88.8  (-) . 12.6 / 6.4  (0) ?/? 0.4 / 2.3  (0)
writing/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml . 84.8 / 35.3  (-) . 7.6 / 4.1  (0) ?/? 0.4 / 2.4  (0)
writing/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml . 55.4 / 25.3  (-) . 21.1 / 7.0  (0) ?/? 3.3 / 7.0  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.xml . 452.2 / 298.9  (-) . 28.2 / 21.3  (0) ?/? 0.4 / 2.6  (0)
_Rewriting/Strategy_removed_CSR_05/Ex5_7_Luc97.xml . 117.4 / 40.4  (-) . 19.0 / 11.3  (0) ?/? 0.4 / 2.2  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.xml . 54.5 / 28.2  (-) . 13.7 / 7.1  (0) ?/? 5.2 / 6.5  (0)
Rewriting/Strategy_removed_CSR_05/Ex6_15_AEL02.xml . 316.1 / 148.3  (-) . 23.2 / 7.5  (0) ?/? 0.4 / 2.3  (0)
Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml . 121.7 / 48.3  (-) . 6.7 / 3.3  (0) ?/? 0.4 / 2.3  (0)
ost_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.xml . 84.4 / 42.9  (-) . 9.1 / 7.4  (0) ?/? 6.5 / 6.2  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.xml . 194.1 / 143.4  (-) . 5.5 / 2.7  (0) ?/? 0.4 / 3.0  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.xml . 136.7 / 69.9  (-) . 7.5 / 3.0  (0) ?/? 0.4 / 2.5  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.xml . 619.0 / 297.5  (-) . 20.4 / 9.2  (0) ?/? 0.4 / 2.2  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.xml . 499.4 / 300.0  (-) . 57.7 / 24.8  (0) ?/? 0.4 / 2.2  (0)
ting/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml . 161.3 / 75.0  (-) . 23.5 / 10.0  (0) ?/? 0.4 / 2.3  (0)
Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.xml . 76.8 / 33.4  (-) . 13.3 / 7.0  (0) ?/? 5.8 / 6.7  (0)
ewriting/Strategy_removed_CSR_05/ExIntrod_GM01.xml . 133.3 / 65.0  (-) . 28.1 / 12.0  (0) ?/? 6.6 / 6.3  (0)
ewriting/Strategy_removed_CSR_05/ExIntrod_GM04.xml . 193.4 / 149.2  (-) . 25.2 / 16.1  (0) ?/? 5.7 / 6.4  (0)
ewriting/Strategy_removed_CSR_05/ExIntrod_GM99.xml . 779.0 / 297.6  (-) . 122.3 / 55.2  (0) ?/? 0.4 / 2.2  (0)
writing/Strategy_removed_CSR_05/ExIntrod_Zan97.xml . 630.0 / 297.1  (-) . 591.1 / 292.5  (0) ?/? 0.4 / 2.3  (0)
ing/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml . 379.9 / 297.6  (-) . 52.8 / 25.8  (0) ?/? 0.4 / 2.6  (0)
ermost_Rewriting/Strategy_removed_mixed_05/ex1.xml . 63.9 / 28.7  (-) . 17.5 / 7.1  (0) ?/? 6.3 / 6.2  (0)
ermost_Rewriting/Strategy_removed_mixed_05/ex2.xml . 81.1 / 35.9  (-) . 4.2 / 1.8  (0) ?/? 0.4 / 2.3  (0)
ermost_Rewriting/Strategy_removed_mixed_05/ex3.xml . 46.7 / 25.4  (-) . 9.7 / 7.5  (0) ?/? 5.0 / 6.4  (0)
ermost_Rewriting/Strategy_removed_mixed_05/ex4.xml . 590.7 / 297.2  (-) . 21.0 / 12.0  (0) ?/? 4.9 / 6.4  (0)
ermost_Rewriting/Strategy_removed_mixed_05/ex5.xml . 77.0 / 26.0  (-) . 14.5 / 7.0  (0) ?/? 5.2 / 6.6  (0)
ermost_Rewriting/Strategy_removed_mixed_05/ex6.xml . 547.7 / 298.0  (-) . 16.1 / 7.0  (0) . 280.4 / 281.0  (0)
ost_Rewriting/Strategy_removed_mixed_05/muladd.xml . 429.1 / 297.3  (-) . 41.7 / 32.4  (0) ?/? 0.4 / 2.2  (0)
ost_Rewriting/Strategy_removed_mixed_05/test10.xml ?/n^1 83.1 / 53.9  (-) ?/n^1 7.8 / 4.5  (2) n^1/n^1 19.1 / 14.4  (4)
ost_Rewriting/Strategy_removed_mixed_05/test76.xml . 463.1 / 297.5  (-) . 16.7 / 9.6  (0) n^1/n^1 15.1 / 15.7  (4)
ost_Rewriting/Strategy_removed_mixed_05/test77.xml . 490.4 / 297.3  (-) . 20.7 / 9.5  (0) n^1/n^1 23.2 / 19.9  (4)
st_Rewriting/Strategy_removed_mixed_05/test830.xml ?/n^1 9.4 / 5.5  (-) ?/n^1 3.0 / 1.7  (2) n^1/n^1 0.9 / 2.2  (4)
st_Rewriting/Strategy_removed_mixed_05/tricky1.xml ?/n^0 31.7 / 25.6  (-) ?/n^0 5.5 / 6.0  (2) ?/n^0 3.2 / 5.2  (2)
xity_Innermost_Rewriting/TCT_12/polycounter-10.xml ?/n^? 646.9 / 250.1  (-) . 158.6 / 109.8  (0) . 607.6 / 281.0  (0)
exity_Innermost_Rewriting/TCT_12/polycounter-5.xml ?/n^? 155.0 / 77.7  (-) . 36.6 / 11.6  (0) . 638.1 / 281.5  (0)
lexity_Innermost_Rewriting/TCT_12/recursion-10.xml ?/n^10 489.2 / 297.5  (-) ?/n^10 438.6 / 275.1  (2) n^1/? 312.8 / 281.7  (2)
plexity_Innermost_Rewriting/TCT_12/recursion-5.xml ?/n^5 321.6 / 262.4  (-) ?/n^5 81.0 / 43.3  (2) n^1/? 83.6 / 68.3  (2)
time_Complexity_Innermost_Rewriting/TCT_12/sat.xml ?/n^2 48.0 / 16.3  (-) ?/n^2 39.7 / 13.8  (2) n^1/n^2 40.3 / 59.7  (4)
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_C.xml . 648.8 / 297.3  (-) . 621.6 / 292.2  (0) n^1/n^3 305.5 / 225.7  (4)
st_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.xml . 419.6 / 297.2  (-) . 67.0 / 30.0  (0) . 483.8 / 281.9  (0)
st_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.xml ?/n^2 355.5 / 298.4  (-) ?/n^3 50.8 / 33.4  (2) n^1/? 475.1 / 281.3  (2)
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.xml . 54.8 / 43.4  (-) . 16.0 / 7.1  (0) ?/? 6.6 / 6.3  (0)
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.xml . 695.7 / 297.3  (-) . 21.4 / 8.0  (0) n^1/? 336.5 / 280.8  (2)
most_Rewriting/Transformed_CSR_04/Ex14_Luc06_C.xml . 528.3 / 297.3  (-) . 400.7 / 292.6  (0) n^1/n^2 269.9 / 236.4  (4)
ost_Rewriting/Transformed_CSR_04/Ex14_Luc06_GM.xml . 526.5 / 297.4  (-) . 79.7 / 45.5  (0) n^1/? 376.7 / 281.5  (2)
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_C.xml ?/n^1 542.0 / 297.1  (-) ?/n^1 487.7 / 292.3  (2) n^1/n^1 1.5 / 2.2  (4)
ost_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.xml ?/n^1 9.2 / 6.5  (-) ?/n^1 2.0 / 1.0  (2) ?/n^1 3.0 / 4.3  (2)
ost_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.xml ?/n^1 5.2 / 4.2  (-) ?/n^1 0.8 / 0.8  (2) ?/n^1 2.8 / 4.6  (2)
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.xml . 54.1 / 25.3  (-) . 9.7 / 7.0  (0) ?/? 6.3 / 6.2  (0)
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.xml ?/n^1 9.1 / 5.7  (-) ?/n^0 1.1 / 0.6  (2) ?/n^0 2.8 / 7.0  (2)
most_Rewriting/Transformed_CSR_04/Ex15_Luc98_C.xml . 493.6 / 299.1  (-) . 708.2 / 292.6  (0) n^1/n^1 144.2 / 113.1  (4)
ost_Rewriting/Transformed_CSR_04/Ex15_Luc98_FR.xml . 618.4 / 297.2  (-) . 18.9 / 9.4  (0) n^1/? 367.5 / 281.3  (2)
ost_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.xml ?/n^1 44.4 / 35.7  (-) ?/n^1 29.6 / 9.2  (2) n^1/n^1 25.5 / 20.3  (4)
most_Rewriting/Transformed_CSR_04/Ex15_Luc98_L.xml . 0.2 / 0.2  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
most_Rewriting/Transformed_CSR_04/Ex15_Luc98_Z.xml . 216.6 / 151.3  (-) . 16.7 / 15.0  (0) . 254.2 / 281.1  (0)
most_Rewriting/Transformed_CSR_04/Ex16_Luc06_C.xml . 658.5 / 297.2  (-) . 645.4 / 292.5  (0) n^1/n^1 56.1 / 37.8  (4)
ost_Rewriting/Transformed_CSR_04/Ex16_Luc06_GM.xml ?/n^1 56.4 / 24.0  (-) ?/n^1 12.4 / 7.3  (2) n^1/n^1 32.0 / 50.3  (4)
most_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.xml . 81.2 / 39.3  (-) . 14.8 / 7.1  (0) ?/? 5.5 / 6.5  (0)
most_Rewriting/Transformed_CSR_04/Ex18_Luc06_C.xml ?/n^1 359.1 / 163.4  (-) ?/n^1 514.7 / 275.1  (2) n^1/n^1 1.6 / 2.4  (4)
ost_Rewriting/Transformed_CSR_04/Ex18_Luc06_FR.xml ?/n^1 1.9 / 1.2  (-) ?/n^1 0.3 / 0.2  (2) n^1/n^1 1.5 / 3.9  (4)
ost_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.xml ?/n^1 2.1 / 0.9  (-) ?/n^1 0.7 / 0.3  (2) n^1/n^1 3.1 / 3.2  (4)
most_Rewriting/Transformed_CSR_04/Ex18_Luc06_Z.xml ?/n^0 1.1 / 0.6  (-) ?/n^0 0.1 / 0.1  (2) ?/n^0 2.3 / 4.3  (2)
ost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_C.xml . 595.0 / 297.2  (-) . 760.4 / 294.0  (0) n^1/n^2 479.9 / 281.1  (4)
st_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_FR.xml ?/n^1 5.1 / 2.0  (-) ?/n^1 3.5 / 1.3  (2) n^1/n^1 17.7 / 16.9  (4)
st_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.xml . 725.0 / 297.9  (-) . 711.5 / 294.0  (0) n^1/? 459.9 / 282.7  (2)
ost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.0  (0) ?/? 0.3 / 0.2  (0)
ost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_Z.xml ?/n^2 33.0 / 20.1  (-) ?/n^2 13.2 / 6.6  (2) n^2/n^2 19.1 / 16.4  (4)
st_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_C.xml . 578.0 / 297.3  (-) . 694.3 / 292.8  (0) n^1/n^2 535.0 / 271.7  (4)
t_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml ?/n^1 2.6 / 1.2  (-) ?/n^1 1.7 / 1.3  (2) n^1/n^1 16.0 / 14.5  (4)
t_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml ?/n^4 473.4 / 298.1  (-) . 16.9 / 7.9  (0) n^1/? 618.3 / 281.8  (2)
st_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.1  (0) ?/? 0.3 / 0.2  (0)
st_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml ?/n^0 4.1 / 2.6  (-) ?/n^0 0.6 / 0.9  (2) ?/n^0 11.3 / 14.6  (2)
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_C.xml . 519.1 / 297.3  (-) . 460.1 / 293.2  (0) n^1/n^2 454.6 / 229.7  (4)
most_Rewriting/Transformed_CSR_04/Ex1_GL02a_FR.xml . 372.2 / 297.4  (-) . 507.7 / 292.3  (0) n^1/? 649.5 / 281.1  (2)
most_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.xml ?/n^1 23.2 / 12.4  (-) ?/n^1 8.8 / 5.1  (2) n^1/n^1 19.4 / 18.4  (4)
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.xml . 65.3 / 27.6  (-) . 17.0 / 7.0  (0) ?/? 6.7 / 6.2  (0)
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_Z.xml . 485.5 / 297.1  (-) . 555.5 / 292.7  (0) n^1/? 485.9 / 281.3  (2)
ermost_Rewriting/Transformed_CSR_04/Ex1_GM03_C.xml . 638.4 / 297.2  (-) . 709.7 / 292.3  (0) n^1/n^3 265.6 / 239.9  (4)
rmost_Rewriting/Transformed_CSR_04/Ex1_GM03_FR.xml ?/n^1 26.7 / 13.4  (-) ?/n^1 11.7 / 6.1  (2) n^1/n^1 10.7 / 21.6  (4)
rmost_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.xml . 611.4 / 297.4  (-) . 620.3 / 292.6  (0) n^2/? 494.6 / 281.2  (2)
ermost_Rewriting/Transformed_CSR_04/Ex1_GM03_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.1  (0) ?/? 0.3 / 0.6  (0)
ermost_Rewriting/Transformed_CSR_04/Ex1_GM03_Z.xml . 670.3 / 297.4  (-) . 38.6 / 27.0  (0) ?/? 0.4 / 2.3  (0)
ermost_Rewriting/Transformed_CSR_04/Ex1_GM99_C.xml . 618.2 / 297.2  (-) . 325.0 / 292.4  (0) n^1/n^1 95.7 / 43.9  (4)
rmost_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.xml . 563.2 / 297.3  (-) . 84.5 / 110.5  (0) n^1/? 465.2 / 280.8  (2)
ermost_Rewriting/Transformed_CSR_04/Ex1_GM99_L.xml . 71.1 / 56.9  (-) . 12.0 / 7.1  (0) ?/? 5.0 / 6.5  (0)
most_Rewriting/Transformed_CSR_04/Ex1_Luc02b_C.xml . 542.9 / 297.3  (-) . 873.9 / 292.5  (0) n^1/n^2 319.7 / 230.3  (4)
ost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_FR.xml ?/n^1 8.4 / 5.4  (-) ?/n^1 3.3 / 2.2  (2) ?/n^1 13.5 / 18.4  (2)
ost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.xml . 561.0 / 297.3  (-) . 86.9 / 64.5  (0) . 634.7 / 280.2  (0)
most_Rewriting/Transformed_CSR_04/Ex1_Luc02b_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.1  (0) ?/? 0.3 / 0.5  (0)
most_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.xml ?/n^2 216.3 / 148.1  (-) ?/n^1 318.2 / 292.2  (2) ?/n^2 28.2 / 20.3  (1)
most_Rewriting/Transformed_CSR_04/Ex1_Luc04b_C.xml ?/n^1 656.6 / 297.1  (-) ?/n^1 727.5 / 292.4  (2) n^1/? 651.8 / 280.6  (2)
ost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.xml . 505.9 / 297.5  (-) . 31.4 / 20.3  (0) ?/? 8.1 / 6.3  (0)
ost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.xml . 572.6 / 298.5  (-) . 131.4 / 92.2  (0) n^1/? 484.5 / 281.5  (2)
most_Rewriting/Transformed_CSR_04/Ex1_Luc04b_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.1  (0) ?/? 0.3 / 0.4  (0)
most_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.xml . 336.9 / 219.5  (-) . 33.6 / 33.2  (0) ?/? 6.3 / 6.3  (0)
rmost_Rewriting/Transformed_CSR_04/Ex1_Zan97_C.xml ?/n^1 206.5 / 93.1  (-) ?/n^1 576.2 / 292.3  (2) ?/n^1 44.9 / 25.5  (2)
most_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.xml . 457.4 / 297.2  (-) . 550.1 / 292.5  (0) ?/? 6.6 / 6.2  (0)
most_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.xml ?/n^1 5.0 / 3.6  (-) ?/n^0 1.0 / 0.6  (2) ?/n^1 3.0 / 4.3  (1)
rmost_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.xml . 35.5 / 27.0  (-) . 13.3 / 7.0  (0) ?/? 6.2 / 6.3  (0)
most_Rewriting/Transformed_CSR_04/Ex23_Luc06_C.xml ?/n^1 676.0 / 297.2  (-) ?/n^1 593.3 / 264.1  (2) n^1/n^1 2.0 / 2.3  (4)
ost_Rewriting/Transformed_CSR_04/Ex23_Luc06_FR.xml ?/n^1 6.2 / 2.7  (-) ?/n^1 0.7 / 0.3  (2) n^1/n^1 1.4 / 2.2  (4)
ost_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.xml ?/n^1 4.7 / 4.2  (-) ?/n^1 2.4 / 1.3  (2) n^1/n^1 3.1 / 4.4  (4)
most_Rewriting/Transformed_CSR_04/Ex23_Luc06_Z.xml ?/n^0 0.5 / 0.2  (-) ?/n^0 0.4 / 0.4  (2) ?/n^0 2.3 / 4.2  (2)
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_C.xml . 657.6 / 297.2  (-) . 488.6 / 292.1  (0) n^1/n^1 203.4 / 119.5  (4)
most_Rewriting/Transformed_CSR_04/Ex24_GM04_FR.xml . 450.9 / 297.3  (-) . 24.4 / 15.8  (0) n^1/? 441.7 / 281.4  (2)
most_Rewriting/Transformed_CSR_04/Ex24_GM04_GM.xml ?/n^1 50.7 / 33.4  (-) ?/n^1 6.0 / 4.0  (2) n^1/n^1 15.3 / 17.0  (4)
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_L.xml . 72.4 / 25.8  (-) . 18.7 / 7.0  (0) ?/? 6.9 / 6.2  (0)
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_Z.xml . 584.3 / 297.4  (-) . 7.7 / 2.8  (0) . 88.3 / 72.6  (0)
most_Rewriting/Transformed_CSR_04/Ex24_Luc06_C.xml ?/n^2 377.5 / 182.3  (-) . 740.0 / 292.8  (0) n^1/n^1 188.8 / 86.5  (4)
ost_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.xml ?/n^1 30.4 / 19.5  (-) ?/n^1 1.1 / 0.6  (2) n^1/n^1 13.2 / 12.3  (4)
most_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.xml . 73.3 / 36.5  (-) . 8.1 / 7.5  (0) . 9.2 / 10.3  (0)
most_Rewriting/Transformed_CSR_04/Ex25_Luc06_C.xml ?/n^1 510.0 / 189.2  (-) ?/n^1 457.5 / 234.1  (2) n^1/n^1 2.2 / 2.3  (4)
ost_Rewriting/Transformed_CSR_04/Ex25_Luc06_FR.xml ?/n^1 8.6 / 4.2  (-) ?/n^1 1.7 / 1.5  (2) n^1/n^1 3.6 / 3.2  (4)
ost_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.xml ?/n^1 3.4 / 1.7  (-) ?/n^1 2.0 / 1.4  (2) n^1/n^1 2.6 / 4.6  (4)
most_Rewriting/Transformed_CSR_04/Ex25_Luc06_Z.xml ?/n^0 4.6 / 2.3  (-) ?/n^0 1.1 / 1.2  (2) ?/n^0 2.8 / 4.2  (2)
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_C.xml . 570.0 / 297.8  (-) . 642.7 / 298.3  (0) n^1/n^2 459.3 / 231.6  (4)
st_Rewriting/Transformed_CSR_04/Ex26_Luc03b_FR.xml ?/n^1 13.9 / 8.2  (-) ?/n^1 5.9 / 3.4  (2) ?/n^1 15.9 / 14.4  (2)
st_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.xml . 532.7 / 297.5  (-) ?/n^2 386.9 / 162.4  (2) n^1/? 586.0 / 281.2  (2)
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.xml ?/n^0 1.5 / 0.7  (-) ?/n^0 0.1 / 0.1  (2) ?/n^0 2.4 / 4.5  (2)
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_Z.xml ?/n^0 5.6 / 3.1  (-) ?/n^0 0.7 / 0.5  (2) ?/n^0 15.9 / 15.1  (2)
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_C.xml . 626.9 / 300.0  (-) . 412.7 / 294.2  (0) n^1/n^3 531.1 / 243.0  (4)
ost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_FR.xml ?/n^1 4.1 / 1.6  (-) ?/n^1 1.7 / 0.7  (2) ?/n^1 11.2 / 17.9  (2)
ost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.xml . 594.1 / 298.9  (-) . 692.2 / 293.5  (0) n^1/? 556.9 / 280.8  (2)
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.xml ?/n^3 163.9 / 118.4  (-) ?/n^3 16.9 / 8.8  (2) n^3/? 430.0 / 281.0  (2)
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.xml ?/n^4 336.8 / 161.5  (-) ?/n^3 37.2 / 12.9  (2) n^3/? 470.1 / 281.5  (2)
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_C.xml . 559.8 / 297.4  (-) . 637.6 / 295.4  (0) n^1/n^2 484.0 / 243.9  (4)
ost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_FR.xml ?/n^1 127.1 / 60.6  (-) ?/n^3 38.0 / 14.7  (2) . 612.4 / 280.3  (0)
ost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.xml . 323.7 / 300.0  (-) ?/n^2 46.5 / 24.1  (2) n^1/? 639.8 / 281.2  (2)
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.xml ?/n^0 4.3 / 4.0  (-) ?/n^0 0.1 / 0.2  (2) ?/n^0 2.4 / 4.5  (2)
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.xml ?/n^1 5.6 / 1.9  (-) ?/n^1 7.5 / 2.4  (2) ?/n^1 17.2 / 15.7  (2)
t_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_C.xml . 516.6 / 297.2  (-) . 506.7 / 292.2  (0) n^1/n^2 458.3 / 256.6  (4)
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml ?/n^1 2.1 / 1.7  (-) ?/n^1 0.8 / 0.6  (2) ?/n^1 9.5 / 19.9  (2)
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml . 647.7 / 297.3  (-) . 41.6 / 23.7  (0) . 555.9 / 281.4  (0)
t_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_L.xml . 0.1 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.5  (0)
t_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml ?/n^1 1.6 / 0.7  (-) ?/n^1 228.5 / 292.9  (2) ?/n^1 18.3 / 15.4  (2)
ost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_C.xml . 361.0 / 297.3  (-) . 710.4 / 292.4  (0) n^1/n^3 524.9 / 262.7  (4)
st_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_FR.xml . 542.6 / 297.5  (-) . 39.7 / 17.3  (0) n^1/? 520.1 / 281.0  (2)
st_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.xml . 555.4 / 297.5  (-) . 43.6 / 32.2  (0) . 371.2 / 281.3  (0)
ost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_L.xml . 0.0 / 0.1  (-) . 0.1 / 0.3  (0) ?/? 0.3 / 0.3  (0)
ost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_Z.xml . 474.8 / 297.1  (-) . 23.3 / 11.4  (0) . 558.1 / 281.3  (0)
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml . 486.4 / 297.2  (-) . 567.3 / 295.3  (0) n^1/n^1 238.2 / 96.7  (4)
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml . 618.1 / 297.2  (-) . 41.9 / 18.8  (0) . 540.4 / 280.4  (0)
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml ?/n^2 405.0 / 297.8  (-) ?/n^2 167.4 / 95.2  (2) n^1/? 560.2 / 288.4  (2)
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml ?/n^0 2.1 / 1.3  (-) ?/n^0 0.2 / 0.2  (2) ?/n^0 2.6 / 5.5  (2)
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml . 174.7 / 97.6  (-) . 13.6 / 7.1  (0) ?/? 0.4 / 2.4  (0)
rmost_Rewriting/Transformed_CSR_04/Ex49_GM04_C.xml . 676.2 / 297.1  (-) . 623.5 / 292.6  (0) n^1/n^1 153.3 / 84.7  (4)
most_Rewriting/Transformed_CSR_04/Ex49_GM04_FR.xml ?/n^2 393.3 / 297.5  (-) ?/n^2 36.7 / 17.0  (2) n^2/? 467.3 / 280.7  (2)
most_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.xml ?/n^1 483.3 / 254.9  (-) ?/n^2 89.1 / 36.4  (2) n^1/? 725.5 / 284.5  (2)
rmost_Rewriting/Transformed_CSR_04/Ex49_GM04_L.xml . 0.2 / 0.3  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.3  (0)
rmost_Rewriting/Transformed_CSR_04/Ex49_GM04_Z.xml ?/n^1 13.2 / 8.1  (-) ?/n^1 4.0 / 1.5  (2) n^1/n^1 17.8 / 17.0  (4)
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_C.xml ?/n^2 553.4 / 220.1  (-) ?/n^2 170.8 / 71.0  (2) n^1/n^2 404.8 / 274.7  (4)
t_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml ?/n^1 7.2 / 3.1  (-) ?/n^1 0.4 / 0.2  (2) n^1/n^1 17.8 / 15.2  (4)
t_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml ?/n^2 27.5 / 16.0  (-) ?/n^2 54.3 / 45.8  (2) n^1/? 423.9 / 281.5  (2)
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.xml ?/n^1 1.8 / 1.4  (-) ?/n^1 0.1 / 0.1  (2) n^1/n^1 0.8 / 2.2  (4)
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml . 394.4 / 297.4  (-) . 16.8 / 9.3  (0) . 241.7 / 209.5  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml ?/n^1 652.6 / 297.1  (-) ?/n^1 439.4 / 292.4  (2) n^1/n^1 2.2 / 2.3  (4)
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml ?/n^1 5.0 / 2.4  (-) ?/n^1 0.8 / 0.4  (2) n^1/n^1 1.9 / 4.0  (4)
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml ?/n^1 41.3 / 15.3  (-) ?/n^1 10.3 / 5.1  (2) n^1/n^1 2.2 / 5.1  (4)
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml ?/n^1 3.3 / 1.5  (-) ?/n^0 0.7 / 0.3  (2) ?/n^1 4.0 / 4.2  (1)
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml ?/n^1 3.3 / 2.1  (-) ?/n^0 1.0 / 0.8  (2) ?/n^1 4.0 / 4.3  (1)
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml . 697.4 / 297.8  (-) . 662.2 / 292.9  (0) n^1/n^3 554.4 / 276.0  (4)
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml . 487.9 / 299.0  (-) . 20.2 / 9.9  (0) . 505.9 / 280.8  (0)
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml . 462.5 / 298.0  (-) . 719.9 / 293.1  (0) . 640.5 / 283.6  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.1  (0) ?/? 0.3 / 0.2  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml . 464.4 / 297.1  (-) . 272.8 / 256.7  (0) n^1/? 333.0 / 281.4  (2)
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml . 475.6 / 297.2  (-) . 696.9 / 292.3  (0) n^1/n^1 277.5 / 136.8  (4)
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml ?/n^1 1.9 / 1.6  (-) ?/n^1 1.2 / 0.5  (2) ?/n^1 16.4 / 14.9  (2)
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml . 580.5 / 297.3  (-) . 40.4 / 20.7  (0) . 553.9 / 281.3  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.2  (0) ?/? 0.3 / 0.3  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml ?/n^1 2.3 / 1.7  (-) ?/n^1 1.0 / 0.5  (2) n^1/n^1 12.7 / 14.7  (4)
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml ?/n^1 497.2 / 297.2  (-) ?/n^1 831.2 / 292.2  (2) n^1/n^1 4.0 / 2.3  (4)
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml ?/n^0 0.2 / 0.1  (-) ?/n^0 0.3 / 0.3  (2) ?/n^0 2.4 / 4.3  (2)
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml ?/n^1 26.8 / 16.7  (-) ?/n^1 12.4 / 8.5  (2) n^1/n^1 1.5 / 4.4  (4)
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml . 0.0 / 0.1  (-) . 0.0 / 0.2  (0) ?/? 0.3 / 0.2  (0)
ost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_C.xml . 525.5 / 297.3  (-) . 678.0 / 292.8  (0) n^1/? 509.4 / 282.9  (2)
st_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_FR.xml . 503.5 / 297.3  (-) . 199.9 / 106.2  (0) n^2/? 496.3 / 280.4  (2)
st_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.xml . 596.7 / 299.2  (-) . 610.8 / 294.9  (0) n^1/? 351.5 / 284.1  (2)
ost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.8  (0)
ost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_Z.xml . 463.9 / 297.6  (-) . 104.1 / 61.2  (0) n^1/? 264.9 / 280.6  (2)
rmost_Rewriting/Transformed_CSR_04/Ex4_Zan97_C.xml . 527.2 / 297.3  (-) . 553.4 / 293.6  (0) n^1/n^3 439.0 / 242.7  (4)
most_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.xml . 380.2 / 297.6  (-) . 110.9 / 88.5  (0) . 346.2 / 280.4  (0)
most_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.xml . 472.9 / 298.0  (-) . 64.1 / 51.3  (0) . 494.3 / 281.1  (0)
rmost_Rewriting/Transformed_CSR_04/Ex4_Zan97_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.3  (0)
rmost_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.xml . 706.9 / 297.6  (-) . 33.2 / 18.1  (0) n^1/? 342.6 / 280.9  (2)
ost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_C.xml . 543.2 / 297.5  (-) . 706.9 / 292.8  (0) n^1/n^3 488.1 / 280.5  (4)
st_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_FR.xml . 625.5 / 298.6  (-) . 43.7 / 22.6  (0) n^1/? 671.9 / 281.6  (2)
st_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.xml . 800.5 / 299.1  (-) . 667.6 / 293.1  (0) n^1/? 559.7 / 280.8  (2)
ost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_L.xml . 0.2 / 0.1  (-) . 0.1 / 0.0  (0) ?/? 0.3 / 0.6  (0)
ost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_Z.xml . 282.9 / 211.0  (-) . 25.6 / 13.9  (0) . 542.2 / 280.9  (0)
ost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_C.xml . 566.3 / 297.6  (-) . 719.1 / 293.0  (0) n^1/? 470.8 / 282.0  (2)
st_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_FR.xml ?/n^1 6.7 / 2.9  (-) ?/n^1 12.3 / 10.3  (2) n^1/n^2 27.4 / 26.1  (3)
st_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.xml . 546.6 / 297.8  (-) . 542.5 / 294.4  (0) n^1/? 513.6 / 281.1  (2)
ost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.1  (0) ?/? 0.3 / 0.2  (0)
ost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_Z.xml . 212.7 / 105.1  (-) . 20.5 / 7.2  (0) ?/? 0.5 / 3.5  (0)
rmost_Rewriting/Transformed_CSR_04/Ex5_Zan97_C.xml ?/n^1 357.0 / 297.2  (-) ?/n^1 488.0 / 292.3  (2) n^1/n^1 2.8 / 5.4  (4)
most_Rewriting/Transformed_CSR_04/Ex5_Zan97_FR.xml ?/n^1 72.5 / 32.4  (-) ?/n^1 11.3 / 5.4  (2) n^1/n^1 6.0 / 6.4  (4)
most_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.xml . 602.4 / 297.4  (-) . 33.9 / 10.2  (0) n^1/? 423.4 / 281.4  (2)
rmost_Rewriting/Transformed_CSR_04/Ex5_Zan97_L.xml . 0.2 / 0.3  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
rmost_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.xml ?/n^1 2.4 / 1.7  (-) ?/n^1 1.4 / 1.2  (2) ?/n^1 3.1 / 5.4  (2)
st_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_C.xml . 628.9 / 298.8  (-) . 578.4 / 294.0  (0) n^1/? 396.0 / 281.2  (2)
t_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_FR.xml . 453.4 / 298.2  (-) . 369.4 / 252.5  (0) n^1/? 540.7 / 281.1  (2)
t_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.xml . 394.8 / 298.8  (-) . 522.5 / 293.2  (0) n^1/? 375.0 / 281.2  (2)
st_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_L.xml . 0.4 / 0.3  (-) . 0.1 / 0.0  (0) ?/? 0.3 / 0.7  (0)
st_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_Z.xml . 511.7 / 297.1  (-) . 251.3 / 211.1  (0) n^1/? 437.9 / 281.0  (2)
st_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_C.xml . 584.3 / 297.3  (-) . 662.6 / 300.0  (0) n^1/n^2 430.4 / 235.9  (4)
t_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml ?/n^1 258.0 / 130.2  (-) ?/n^1 8.2 / 5.6  (2) ?/n^1 15.3 / 14.6  (2)
t_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml . 510.8 / 297.8  (-) . 41.2 / 18.5  (0) n^1/? 532.9 / 280.4  (2)
st_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.0  (0) ?/? 0.3 / 1.3  (0)
st_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml ?/n^1 16.8 / 8.5  (-) ?/n^0 3.0 / 2.3  (2) ?/n^0 14.1 / 14.4  (2)
ermost_Rewriting/Transformed_CSR_04/Ex6_GM04_C.xml ?/n^1 370.9 / 162.8  (-) ?/n^1 422.6 / 292.4  (2) ?/n^1 581.5 / 281.1  (2)
rmost_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.xml . 136.3 / 98.6  (-) . 539.8 / 292.1  (0) ?/? 6.5 / 6.3  (0)
rmost_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.xml ?/n^0 4.5 / 2.3  (-) ?/n^0 0.1 / 0.1  (2) ?/n^0 2.3 / 4.4  (2)
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_C.xml . 578.7 / 297.1  (-) . 561.0 / 292.4  (0) n^1/n^1 275.4 / 131.5  (4)
most_Rewriting/Transformed_CSR_04/Ex6_Luc98_FR.xml ?/n^1 16.1 / 13.6  (-) ?/n^1 1.1 / 0.5  (2) ?/n^1 11.3 / 15.6  (2)
most_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.xml ?/n^2 367.0 / 297.5  (-) ?/n^2 46.1 / 29.0  (2) n^1/? 571.7 / 280.6  (2)
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.xml ?/n^0 2.1 / 2.1  (-) ?/n^0 0.4 / 0.2  (2) ?/n^0 2.5 / 4.4  (2)
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.xml ?/n^1 1.9 / 0.7  (-) ?/n^1 1.0 / 0.5  (2) ?/n^1 12.6 / 17.1  (2)
rmost_Rewriting/Transformed_CSR_04/Ex7_BLR02_C.xml . 589.1 / 297.4  (-) . 687.7 / 292.5  (0) n^1/n^3 402.5 / 208.2  (4)
most_Rewriting/Transformed_CSR_04/Ex7_BLR02_FR.xml ?/n^1 241.1 / 109.0  (-) ?/n^1 7.6 / 6.8  (2) ?/n^1 16.2 / 15.4  (2)
most_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.xml . 597.9 / 298.0  (-) . 661.0 / 293.1  (0) . 486.2 / 280.7  (0)
rmost_Rewriting/Transformed_CSR_04/Ex7_BLR02_L.xml . 0.2 / 0.1  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
rmost_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.xml ?/n^2 207.9 / 148.3  (-) ?/n^1 285.8 / 292.9  (2) ?/n^2 26.1 / 35.5  (1)
rmost_Rewriting/Transformed_CSR_04/Ex8_BLR02_C.xml . 532.5 / 297.3  (-) . 694.6 / 294.2  (0) n^1/n^1 185.8 / 97.4  (4)
most_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.xml . 638.0 / 297.1  (-) . 43.1 / 22.9  (0) n^1/? 490.7 / 280.8  (2)
most_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.xml . 425.2 / 297.8  (-) . 800.6 / 292.9  (0) n^2/? 500.8 / 281.4  (2)
rmost_Rewriting/Transformed_CSR_04/Ex8_BLR02_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.1  (0) ?/? 0.3 / 0.2  (0)
rmost_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.xml . 397.8 / 297.5  (-) . 31.0 / 13.7  (0) n^1/? 207.5 / 194.9  (2)
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_C.xml . 606.3 / 297.5  (-) . 483.3 / 292.9  (0) n^1/? 580.9 / 281.4  (2)
most_Rewriting/Transformed_CSR_04/Ex9_BLR02_FR.xml . 550.5 / 297.6  (-) . 27.3 / 14.0  (0) . 337.8 / 280.7  (0)
most_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.xml ?/n^2 741.2 / 297.6  (-) ?/n^2 180.4 / 137.1  (2) n^1/? 660.3 / 281.1  (2)
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.xml ?/n^0 5.2 / 3.6  (-) ?/n^0 0.8 / 0.4  (2) ?/n^0 2.4 / 4.6  (2)
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.xml . 696.9 / 297.3  (-) . 76.8 / 56.8  (0) . 565.5 / 281.4  (0)
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc04_C.xml . 557.4 / 297.2  (-) . 295.6 / 292.3  (0) n^1/n^1 133.1 / 77.5  (4)
most_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.xml . 525.4 / 298.4  (-) . 26.5 / 10.3  (0) n^1/? 533.5 / 280.8  (2)
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.xml . 13.9 / 6.1  (-) . 2.1 / 2.5  (0) ?/? 0.4 / 2.2  (0)
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc06_C.xml . 491.6 / 300.0  (-) . 664.9 / 292.4  (0) n^1/n^1 75.1 / 40.6  (4)
most_Rewriting/Transformed_CSR_04/Ex9_Luc06_FR.xml . 404.6 / 297.2  (-) . 563.0 / 292.4  (0) ?/? 0.4 / 2.4  (0)
most_Rewriting/Transformed_CSR_04/Ex9_Luc06_GM.xml ?/n^1 44.7 / 24.2  (-) ?/n^1 13.7 / 7.5  (2) n^1/n^1 110.0 / 106.4  (4)
writing/Transformed_CSR_04/ExAppendixB_AEL03_C.xml . 581.4 / 297.2  (-) . 635.4 / 293.0  (0) n^1/? 439.4 / 280.8  (2)
riting/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml ?/n^1 9.8 / 5.0  (-) ?/n^1 1.3 / 0.9  (2) ?/n^1 13.1 / 15.6  (2)
riting/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml . 642.5 / 297.9  (-) . 389.8 / 293.0  (0) . 535.6 / 285.0  (0)
writing/Transformed_CSR_04/ExAppendixB_AEL03_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
writing/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml ?/n^2 235.9 / 116.1  (-) ?/n^2 32.0 / 22.1  (2) n^2/n^2 27.8 / 17.3  (4)
st_Rewriting/Transformed_CSR_04/ExConc_Zan97_C.xml ?/n^1 429.9 / 200.3  (-) ?/n^1 108.6 / 49.2  (2) n^1/n^1 2.1 / 2.4  (4)
t_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.xml ?/n^1 4.5 / 2.6  (-) ?/n^1 1.6 / 1.0  (2) n^1/n^1 1.3 / 2.3  (4)
t_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.xml ?/n^1 8.6 / 8.2  (-) ?/n^1 3.0 / 2.1  (2) n^1/n^1 1.0 / 2.2  (4)
st_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.xml . 99.3 / 53.7  (-) . 19.1 / 7.0  (0) ?/? 6.5 / 6.2  (0)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM01_C.xml ?/n^1 663.5 / 297.3  (-) . 709.2 / 292.5  (0) n^1/? 483.3 / 280.4  (2)
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.xml . 688.2 / 297.5  (-) . 36.8 / 15.3  (0) n^1/? 524.1 / 288.0  (2)
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.xml . 705.2 / 300.0  (-) . 529.7 / 291.8  (0) n^1/? 568.6 / 280.7  (2)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM01_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.xml . 665.6 / 297.6  (-) . 36.2 / 40.1  (0) ?/? 8.0 / 7.5  (0)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM04_C.xml ?/n^1 471.0 / 297.6  (-) ?/n^1 731.3 / 292.8  (2) n^1/? 507.2 / 281.4  (2)
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.xml . 451.5 / 298.0  (-) . 35.2 / 15.1  (0) . 392.9 / 281.3  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.xml . 669.0 / 297.6  (-) ?/n^3 63.7 / 27.9  (2) . 516.3 / 282.2  (0)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM04_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.1  (0) ?/? 0.3 / 0.2  (0)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.xml . 402.3 / 298.7  (-) . 63.1 / 74.8  (0) . 360.8 / 281.0  (0)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM99_C.xml . 557.3 / 298.1  (-) . 600.7 / 293.6  (0) n^1/? 532.4 / 281.8  (2)
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_FR.xml ?/n^1 14.8 / 6.6  (-) ?/n^1 3.0 / 1.7  (2) n^1/n^1 17.3 / 16.8  (4)
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.xml . 598.8 / 298.2  (-) . 595.9 / 293.1  (0) n^1/? 653.5 / 280.7  (2)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM99_L.xml . 0.2 / 0.4  (-) . 0.0 / 0.1  (0) ?/? 0.3 / 0.2  (0)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM99_Z.xml ?/n^0 9.3 / 5.3  (-) ?/n^0 1.7 / 0.9  (2) ?/n^0 14.8 / 14.4  (2)
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_C.xml . 685.0 / 297.2  (-) . 726.0 / 294.8  (0) n^1/n^2 439.2 / 218.8  (4)
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_FR.xml ?/n^1 66.1 / 12.0  (-) ?/n^1 12.2 / 15.6  (2) n^1/n^1 10.9 / 21.7  (4)
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.xml . 763.3 / 298.2  (-) . 544.8 / 293.6  (0) n^1/? 564.3 / 280.8  (2)
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_Z.xml . 548.7 / 297.2  (-) . 15.4 / 8.0  (0) ?/? 0.4 / 2.3  (0)
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_C.xml ?/n^1 552.1 / 297.1  (-) ?/n^1 591.1 / 292.3  (2) n^1/n^1 2.7 / 2.3  (4)
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_FR.xml ?/n^1 4.4 / 2.3  (-) ?/n^1 0.8 / 0.8  (2) n^1/n^1 1.9 / 4.3  (4)
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.xml . 540.8 / 297.1  (-) . 260.8 / 190.6  (0) n^1/? 533.6 / 280.9  (2)
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.xml ?/n^1 23.7 / 15.1  (-) ?/n^1 1.4 / 0.6  (1) ?/n^0 4.4 / 5.6  (2)
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.xml ?/n^1 16.5 / 9.1  (-) ?/n^1 2.9 / 3.1  (1) ?/n^0 4.5 / 7.6  (2)
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml . 593.0 / 297.3  (-) . 469.6 / 293.5  (0) n^1/n^3 437.5 / 280.7  (4)
writing/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml ?/n^1 14.2 / 8.0  (-) ?/n^1 4.8 / 3.4  (2) ?/n^1 12.5 / 15.5  (2)
writing/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml . 420.0 / 300.0  (-) . 771.3 / 293.9  (0) n^1/? 618.1 / 281.0  (2)
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml ?/n^3 285.8 / 131.1  (-) ?/n^3 26.9 / 9.5  (2) n^3/? 655.9 / 282.3  (2)
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml ?/n^4 373.1 / 188.0  (-) ?/n^3 43.0 / 29.9  (2) n^3/? 598.2 / 281.2  (2)
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml . 371.8 / 297.3  (-) . 822.2 / 293.0  (0) n^1/? 488.1 / 280.6  (2)
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml ?/n^1 8.1 / 5.5  (-) ?/n^1 11.9 / 5.6  (2) ?/n^1 16.4 / 14.4  (2)
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml . 665.9 / 298.0  (-) . 587.2 / 293.0  (0) . 511.3 / 281.2  (0)
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.3  (0) ?/? 0.3 / 0.3  (0)
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml ?/n^1 10.5 / 6.7  (-) ?/n^1 32.4 / 22.5  (2) ?/n^1 17.2 / 14.3  (2)
sformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml . 772.2 / 297.6  (-) . 705.0 / 292.3  (0) . 532.0 / 280.9  (0)
nsformed_CSR_04/LISTUTILITIES_complete-noand_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0) ?/? 0.4 / 0.6  (0)
nsformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml . 540.8 / 300.0  (-) . 611.7 / 292.2  (0) . 510.9 / 281.4  (0)
ng/Transformed_CSR_04/LISTUTILITIES_complete_C.xml . 584.1 / 300.0  (-) . 574.8 / 291.7  (0) n^1/? 686.3 / 283.0  (2)
g/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml . 590.8 / 298.2  (-) . 434.7 / 292.6  (0) . 574.5 / 281.0  (0)
g/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml . 498.6 / 298.6  (-) . 597.2 / 292.3  (0) . 515.2 / 280.5  (0)
ng/Transformed_CSR_04/LISTUTILITIES_complete_L.xml . 0.2 / 0.1  (-) . 0.1 / 0.1  (0) ?/? 0.3 / 0.3  (0)
ng/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml . 495.0 / 297.9  (-) . 498.1 / 293.8  (0) . 349.1 / 281.3  (0)
nsformed_CSR_04/LISTUTILITIES_complete_noand_C.xml . 609.3 / 298.4  (-) . 595.2 / 294.0  (0) n^1/? 661.6 / 281.2  (2)
sformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml . 431.4 / 300.0  (-) . 710.1 / 292.2  (0) . 528.8 / 281.0  (0)
nsformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml . 625.8 / 297.3  (-) . 561.0 / 291.6  (0) . 491.9 / 280.4  (0)
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml . 0.2 / 0.2  (-) . 0.1 / 0.2  (0) ?/? 0.3 / 0.2  (0)
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml . 548.5 / 297.6  (-) . 639.6 / 292.2  (0) . 580.7 / 280.9  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml . 554.0 / 298.6  (-) . 567.8 / 292.6  (0) n^1/? 510.0 / 281.3  (2)
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml . 391.8 / 299.3  (-) . 482.9 / 292.9  (0) . 496.4 / 281.8  (0)
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml . 668.1 / 298.9  (-) . 631.1 / 294.0  (0) . 459.2 / 282.1  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.3  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml . 746.2 / 300.0  (-) . 567.6 / 294.1  (0) . 523.6 / 281.3  (0)
ansformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml . 487.5 / 297.6  (-) . 569.1 / 292.8  (0) n^1/? 446.0 / 280.9  (2)
nsformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml . 428.8 / 299.1  (-) . 545.9 / 293.9  (0) . 546.2 / 280.7  (0)
nsformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml ?/n^? 318.8 / 148.7  (-) . 506.4 / 292.0  (0) . 481.8 / 280.4  (0)
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml ?/n^1 272.2 / 149.3  (-) ?/n^1 479.7 / 294.2  (2) ?/n^1 18.7 / 16.4  (2)
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml . 546.6 / 297.7  (-) . 534.0 / 293.5  (0) n^1/? 518.4 / 281.0  (2)
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml ?/n^1 283.5 / 150.0  (-) ?/n^1 331.8 / 293.8  (2) ?/n^1 19.3 / 18.1  (2)
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml . 552.7 / 297.7  (-) . 603.7 / 292.6  (0) . 518.7 / 281.1  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml . 0.1 / 0.1  (-) . 0.1 / 0.1  (0) ?/? 0.3 / 0.8  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml ?/n^1 344.2 / 148.2  (-) ?/n^1 356.9 / 293.1  (2) ?/n^1 18.2 / 14.4  (2)
ansformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml . 401.7 / 300.0  (-) . 533.4 / 292.4  (0) n^1/? 522.0 / 280.7  (2)
nsformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml . 659.3 / 298.3  (-) . 614.5 / 293.3  (0) . 573.4 / 280.6  (0)
d_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml . 536.3 / 298.0  (-) . 772.5 / 292.4  (0) n^1/? 501.0 / 281.4  (2)
ed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml . 0.1 / 0.1  (-) . 0.1 / 0.1  (0) ?/? 0.3 / 0.8  (0)
ed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml . 678.3 / 297.4  (-) . 393.6 / 292.4  (0) . 618.4 / 281.4  (0)
nsformed_CSR_04/LengthOfFiniteLists_complete_C.xml . 419.2 / 299.8  (-) . 674.4 / 292.2  (0) n^1/? 583.1 / 280.5  (2)
sformed_CSR_04/LengthOfFiniteLists_complete_FR.xml . 605.0 / 297.9  (-) . 633.3 / 293.0  (0) n^1/? 635.7 / 284.2  (2)
sformed_CSR_04/LengthOfFiniteLists_complete_GM.xml . 467.3 / 299.2  (-) . 595.9 / 294.7  (0) . 373.0 / 281.8  (0)
nsformed_CSR_04/LengthOfFiniteLists_complete_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.1  (0) ?/? 0.3 / 0.4  (0)
nsformed_CSR_04/LengthOfFiniteLists_complete_Z.xml . 640.3 / 298.0  (-) . 706.5 / 294.2  (0) . 631.5 / 286.4  (0)
ed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml . 550.1 / 297.3  (-) . 600.8 / 292.2  (0) n^1/? 628.3 / 281.1  (2)
d_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml . 476.0 / 297.5  (-) . 551.8 / 292.5  (0) . 639.5 / 281.2  (0)
ed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml . 603.5 / 297.3  (-) . 342.3 / 292.6  (0) n^1/? 714.0 / 280.3  (2)
med_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.9  (0)
med_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml . 572.1 / 298.2  (-) . 267.6 / 292.9  (0) . 554.8 / 280.8  (0)
ansformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml . 612.5 / 297.6  (-) . 743.0 / 293.3  (0) n^1/? 625.0 / 280.8  (2)
nsformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml . 422.8 / 297.2  (-) . 318.5 / 134.4  (0) n^1/? 621.0 / 280.2  (2)
nsformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml . 557.9 / 297.7  (-) ?/n^4 515.6 / 292.5  (2) n^1/? 409.7 / 288.2  (2)
ansformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.3  (0)
ansformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml . 501.2 / 298.0  (-) . 78.3 / 38.8  (0) . 599.2 / 281.1  (0)
med_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml . 359.5 / 297.3  (-) . 717.0 / 292.7  (0) n^1/? 501.5 / 280.8  (2)
ed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml . 431.6 / 299.2  (-) ?/n^4 813.7 / 294.6  (2) . 478.6 / 282.1  (0)
ed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml . 538.1 / 297.2  (-) . 134.2 / 193.4  (0) . 532.5 / 281.3  (0)
med_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml . 0.2 / 0.2  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
ansformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml ?/n^1 663.4 / 297.6  (-) ?/n^1 686.1 / 293.1  (2) n^1/n^1 4.3 / 7.5  (4)
nsformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml . 426.1 / 297.3  (-) . 611.3 / 292.6  (0) ?/? 5.4 / 6.4  (0)
nsformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml . 465.7 / 297.2  (-) . 59.7 / 80.4  (0) ?/? 7.1 / 6.3  (0)
ansformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.3  (0)
med_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml ?/n^1 572.4 / 297.8  (-) ?/n^1 833.8 / 292.7  (2) n^1/n^1 4.0 / 6.7  (4)
ed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml . 435.8 / 297.3  (-) . 143.9 / 91.5  (0) ?/? 9.0 / 7.4  (0)
ing/Transformed_CSR_04/MYNAT_complete-noand_FR.xml . 440.6 / 297.7  (-) . 396.9 / 292.2  (0) n^2/? 594.1 / 280.9  (2)
ting/Transformed_CSR_04/MYNAT_complete-noand_L.xml . 0.2 / 0.2  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
ting/Transformed_CSR_04/MYNAT_complete-noand_Z.xml ?/n^2 694.6 / 285.7  (-) ?/n^2 554.4 / 292.8  (2) n^1/? 595.5 / 281.2  (2)
_Rewriting/Transformed_CSR_04/MYNAT_complete_C.xml . 453.3 / 297.6  (-) . 515.8 / 300.0  (0) n^1/? 433.7 / 280.8  (2)
Rewriting/Transformed_CSR_04/MYNAT_complete_FR.xml . 519.1 / 298.3  (-) . 628.1 / 293.3  (0) n^1/? 361.4 / 287.9  (2)
Rewriting/Transformed_CSR_04/MYNAT_complete_GM.xml . 660.3 / 299.7  (-) . 792.2 / 294.0  (0) . 411.0 / 282.0  (0)
_Rewriting/Transformed_CSR_04/MYNAT_complete_L.xml . 0.1 / 0.0  (-) . 0.1 / 0.1  (0) ?/? 0.3 / 0.4  (0)
_Rewriting/Transformed_CSR_04/MYNAT_complete_Z.xml . 878.8 / 297.2  (-) . 455.3 / 300.0  (0) n^1/? 599.8 / 281.8  (2)
ting/Transformed_CSR_04/MYNAT_complete_noand_C.xml . 499.6 / 297.8  (-) . 617.4 / 293.0  (0) n^1/? 539.2 / 280.3  (2)
ing/Transformed_CSR_04/MYNAT_complete_noand_GM.xml . 504.4 / 298.8  (-) . 620.3 / 292.5  (0) n^1/? 486.8 / 280.4  (2)
ting/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml . 621.7 / 297.7  (-) ?/n^2 384.3 / 296.9  (2) n^2/n^2 35.9 / 26.0  (4)
iting/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml . 0.1 / 0.1  (-) . 0.1 / 0.3  (0) ?/? 0.3 / 0.3  (0)
iting/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml ?/n^1 41.3 / 22.8  (-) ?/n^1 18.7 / 8.9  (2) n^1/n^1 22.1 / 19.4  (4)
t_Rewriting/Transformed_CSR_04/MYNAT_nokinds_C.xml . 605.4 / 297.2  (-) . 652.3 / 292.3  (0) n^1/n^2 479.7 / 275.7  (4)
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_FR.xml ?/n^2 574.6 / 298.3  (-) ?/n^2 76.8 / 37.3  (2) n^1/? 503.2 / 280.8  (2)
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.xml . 655.3 / 299.4  (-) . 617.9 / 293.3  (0) n^1/? 420.0 / 280.8  (2)
t_Rewriting/Transformed_CSR_04/MYNAT_nokinds_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
t_Rewriting/Transformed_CSR_04/MYNAT_nokinds_Z.xml ?/n^1 231.0 / 140.9  (-) ?/n^1 34.6 / 15.4  (2) n^1/? 426.8 / 282.1  (2)
iting/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml . 601.5 / 297.3  (-) . 688.9 / 293.3  (0) n^1/? 555.4 / 280.7  (2)
ting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml . 665.8 / 300.0  (-) . 602.2 / 293.5  (0) n^1/? 548.7 / 282.3  (2)
ting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml . 528.9 / 300.0  (-) ?/n^2 344.8 / 292.3  (2) n^2/n^2 25.0 / 19.5  (4)
iting/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.8  (0)
t_Rewriting/Transformed_CSR_04/MYNAT_nosorts_C.xml . 394.6 / 297.7  (-) . 402.0 / 292.3  (0) n^1/n^2 504.3 / 268.4  (4)
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.xml ?/n^2 18.3 / 10.3  (-) ?/n^2 5.8 / 3.6  (2) n^2/n^2 19.1 / 17.6  (4)
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.xml . 566.2 / 297.2  (-) . 732.0 / 292.1  (0) n^2/? 521.3 / 281.8  (2)
t_Rewriting/Transformed_CSR_04/MYNAT_nosorts_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.1  (0) ?/? 0.3 / 1.2  (0)
iting/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml . 618.4 / 298.0  (-) . 691.2 / 292.3  (0) n^1/n^2 513.6 / 230.9  (4)
ting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml . 561.1 / 298.3  (-) . 701.0 / 293.0  (0) n^2/? 431.3 / 280.9  (2)
/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml . 698.0 / 298.8  (-) . 660.6 / 293.6  (0) n^1/? 634.9 / 280.8  (2)
g/Transformed_CSR_04/OvConsOS_complete-noand_L.xml . 0.2 / 0.3  (-) . 0.1 / 0.1  (0) ?/? 0.3 / 0.2  (0)
g/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml . 404.3 / 297.7  (-) . 766.8 / 292.2  (0) . 663.7 / 281.2  (0)
writing/Transformed_CSR_04/OvConsOS_complete_C.xml . 621.2 / 297.6  (-) . 802.7 / 292.2  (0) n^1/? 616.6 / 281.2  (2)
riting/Transformed_CSR_04/OvConsOS_complete_FR.xml . 613.6 / 297.8  (-) . 670.8 / 292.8  (0) n^1/? 396.8 / 281.4  (2)
riting/Transformed_CSR_04/OvConsOS_complete_GM.xml . 578.0 / 298.1  (-) . 496.9 / 293.0  (0) . 335.5 / 280.9  (0)
writing/Transformed_CSR_04/OvConsOS_complete_L.xml . 0.1 / 0.0  (-) . 0.1 / 0.4  (0) ?/? 0.3 / 0.6  (0)
writing/Transformed_CSR_04/OvConsOS_complete_Z.xml . 580.9 / 298.4  (-) . 693.9 / 292.1  (0) . 590.7 / 281.3  (0)
g/Transformed_CSR_04/OvConsOS_complete_noand_C.xml . 495.9 / 300.0  (-) . 657.3 / 293.5  (0) n^1/? 516.9 / 281.1  (2)
/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml . 574.9 / 297.2  (-) . 423.9 / 292.5  (0) . 588.1 / 280.7  (0)
g/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml . 735.6 / 297.7  (-) . 666.2 / 291.3  (0) n^1/? 621.3 / 284.2  (2)
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml . 0.1 / 0.1  (-) . 0.1 / 0.2  (0) ?/? 0.3 / 0.2  (0)
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml . 725.9 / 297.6  (-) . 209.1 / 118.8  (0) . 502.7 / 280.9  (0)
ewriting/Transformed_CSR_04/OvConsOS_nokinds_C.xml . 549.1 / 300.0  (-) . 685.7 / 292.9  (0) n^1/? 526.0 / 281.2  (2)
writing/Transformed_CSR_04/OvConsOS_nokinds_FR.xml . 559.0 / 297.8  (-) . 613.6 / 293.7  (0) n^1/? 667.8 / 281.9  (2)
writing/Transformed_CSR_04/OvConsOS_nokinds_GM.xml . 463.2 / 297.8  (-) . 635.2 / 293.0  (0) n^1/? 739.7 / 280.3  (2)
ewriting/Transformed_CSR_04/OvConsOS_nokinds_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
ewriting/Transformed_CSR_04/OvConsOS_nokinds_Z.xml . 559.2 / 297.2  (-) . 142.0 / 57.5  (0) . 495.6 / 281.4  (0)
ng/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml . 434.5 / 299.8  (-) . 622.1 / 292.3  (0) n^1/? 520.9 / 280.2  (2)
g/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml . 558.4 / 298.2  (-) . 598.5 / 293.5  (0) . 490.3 / 281.3  (0)
g/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml . 298.7 / 297.1  (-) . 76.3 / 32.5  (0) n^1/? 529.9 / 281.2  (2)
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.9  (0)
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml . 454.5 / 297.4  (-) . 57.5 / 51.0  (0) n^1/? 468.3 / 281.3  (2)
ewriting/Transformed_CSR_04/OvConsOS_nosorts_C.xml ?/n^1 602.0 / 297.6  (-) ?/n^1 629.0 / 292.8  (2) n^1/n^1 5.0 / 3.3  (4)
writing/Transformed_CSR_04/OvConsOS_nosorts_FR.xml . 527.7 / 297.1  (-) . 173.3 / 102.2  (0) ?/? 3.9 / 6.7  (0)
writing/Transformed_CSR_04/OvConsOS_nosorts_GM.xml . 598.5 / 297.2  (-) . 63.6 / 26.0  (0) ?/? 6.4 / 6.3  (0)
ewriting/Transformed_CSR_04/OvConsOS_nosorts_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.7  (0)
ewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.xml . 487.4 / 297.1  (-) . 97.6 / 38.6  (0) ?/? 6.8 / 6.2  (0)
ng/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml . 472.3 / 299.5  (-) . 604.8 / 294.1  (0) n^1/? 562.8 / 281.6  (2)
g/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml . 584.8 / 298.8  (-) . 539.4 / 293.2  (0) ?/? 9.6 / 10.4  (0)
ransformed_CSR_04/PALINDROME_complete-noand_FR.xml . 648.4 / 297.2  (-) . 619.7 / 292.5  (0) n^2/? 722.7 / 280.7  (2)
Transformed_CSR_04/PALINDROME_complete-noand_L.xml . 435.5 / 298.2  (-) . 498.4 / 293.2  (0) ?/? 6.2 / 6.2  (0)
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml ?/n^2 484.0 / 252.1  (-) ?/n^2 617.6 / 260.3  (2) n^1/? 587.7 / 280.4  (2)
iting/Transformed_CSR_04/PALINDROME_complete_C.xml . 604.5 / 297.4  (-) . 569.3 / 292.3  (0) n^1/? 676.2 / 280.5  (2)
ting/Transformed_CSR_04/PALINDROME_complete_FR.xml . 606.9 / 297.5  (-) . 647.9 / 293.8  (0) n^1/? 558.2 / 281.0  (2)
ting/Transformed_CSR_04/PALINDROME_complete_GM.xml . 667.0 / 298.3  (-) . 601.3 / 293.5  (0) . 321.1 / 283.4  (0)
iting/Transformed_CSR_04/PALINDROME_complete_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.4  (0)
iting/Transformed_CSR_04/PALINDROME_complete_Z.xml . 608.5 / 297.6  (-) . 759.6 / 292.3  (0) n^1/? 556.8 / 280.8  (2)
Transformed_CSR_04/PALINDROME_complete_noand_C.xml . 478.7 / 297.9  (-) . 419.6 / 293.6  (0) n^1/? 628.5 / 281.3  (2)
ransformed_CSR_04/PALINDROME_complete_noand_GM.xml . 574.1 / 297.4  (-) . 543.6 / 292.0  (0) n^1/? 378.7 / 281.4  (2)
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml ?/n^2 292.1 / 148.1  (-) ?/n^2 71.4 / 29.3  (2) n^2/n^2 47.3 / 39.9  (4)
/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml . 159.1 / 66.7  (-) . 37.8 / 18.5  (0) ?/? 4.3 / 6.4  (0)
/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml ?/n^1 70.9 / 28.1  (-) ?/n^1 36.6 / 13.3  (2) n^1/n^1 24.9 / 20.6  (4)
riting/Transformed_CSR_04/PALINDROME_nokinds_C.xml ?/n^1 380.6 / 298.0  (-) . 476.2 / 296.1  (0) n^1/n^2 495.1 / 244.3  (4)
iting/Transformed_CSR_04/PALINDROME_nokinds_FR.xml . 474.0 / 300.0  (-) ?/n^2 252.6 / 131.5  (2) n^2/? 600.7 / 280.8  (2)
iting/Transformed_CSR_04/PALINDROME_nokinds_GM.xml . 637.3 / 297.4  (-) . 606.1 / 292.5  (0) n^1/? 339.7 / 281.3  (2)
riting/Transformed_CSR_04/PALINDROME_nokinds_L.xml . 0.1 / 0.2  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
riting/Transformed_CSR_04/PALINDROME_nokinds_Z.xml . 401.2 / 300.0  (-) ?/n^1 90.6 / 40.1  (2) n^1/? 555.1 / 280.9  (2)
/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml ?/n^1 644.3 / 297.9  (-) ?/n^1 665.0 / 292.0  (2) n^1/? 537.5 / 280.5  (2)
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml . 645.6 / 297.4  (-) . 752.1 / 293.6  (0) n^1/? 537.4 / 281.7  (2)
riting/Transformed_CSR_04/PALINDROME_nosorts_C.xml ?/n^1 637.6 / 297.2  (-) ?/n^1 793.5 / 292.2  (2) n^1/n^3 249.8 / 265.6  (3)
iting/Transformed_CSR_04/PALINDROME_nosorts_GM.xml . 482.7 / 297.5  (-) . 413.9 / 292.5  (0) n^1/? 606.7 / 280.6  (2)
riting/Transformed_CSR_04/PALINDROME_nosorts_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.4  (0)
/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml ?/n^1 721.0 / 297.1  (-) ?/n^1 707.5 / 292.4  (2) n^1/n^1 456.1 / 255.6  (4)
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml . 482.9 / 297.2  (-) . 504.7 / 292.4  (0) n^1/? 438.2 / 280.5  (2)
ing/Transformed_CSR_04/PEANO_complete-noand_FR.xml . 597.7 / 297.5  (-) ?/n^3 420.4 / 293.0  (2) n^2/? 616.3 / 281.3  (2)
ting/Transformed_CSR_04/PEANO_complete-noand_L.xml . 0.4 / 0.7  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
ting/Transformed_CSR_04/PEANO_complete-noand_Z.xml ?/n^2 371.0 / 154.5  (-) ?/n^2 385.0 / 292.6  (2) n^1/? 367.9 / 281.4  (2)
_Rewriting/Transformed_CSR_04/PEANO_complete_C.xml . 586.4 / 297.5  (-) . 395.5 / 292.5  (0) n^1/? 528.4 / 281.6  (2)
Rewriting/Transformed_CSR_04/PEANO_complete_FR.xml . 556.9 / 297.2  (-) . 624.9 / 293.1  (0) n^1/? 537.8 / 281.9  (2)
Rewriting/Transformed_CSR_04/PEANO_complete_GM.xml . 585.8 / 297.6  (-) . 612.7 / 295.6  (0) n^1/? 565.8 / 281.4  (2)
_Rewriting/Transformed_CSR_04/PEANO_complete_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.4  (0)
_Rewriting/Transformed_CSR_04/PEANO_complete_Z.xml ?/n^2 412.6 / 193.9  (-) . 690.5 / 292.3  (0) n^1/? 539.9 / 280.6  (2)
ting/Transformed_CSR_04/PEANO_complete_noand_C.xml . 672.3 / 297.5  (-) . 592.7 / 292.2  (0) n^1/? 506.3 / 281.1  (2)
ing/Transformed_CSR_04/PEANO_complete_noand_GM.xml . 497.0 / 298.7  (-) . 668.6 / 293.5  (0) n^1/? 494.3 / 281.9  (2)
ting/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml ?/n^2 340.3 / 213.2  (-) ?/n^2 71.1 / 36.1  (2) n^2/n^2 25.8 / 24.7  (4)
iting/Transformed_CSR_04/PEANO_nokinds-noand_L.xml . 0.1 / 0.2  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.6  (0)
iting/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml ?/n^1 28.4 / 14.9  (-) ?/n^1 4.2 / 2.4  (2) n^1/n^1 20.3 / 14.5  (4)
t_Rewriting/Transformed_CSR_04/PEANO_nokinds_C.xml . 541.2 / 297.3  (-) . 852.1 / 292.2  (0) n^1/n^3 513.4 / 270.4  (4)
_Rewriting/Transformed_CSR_04/PEANO_nokinds_FR.xml ?/n^2 412.6 / 300.0  (-) ?/n^2 49.3 / 22.3  (2) n^2/? 553.4 / 280.6  (2)
_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.xml . 402.2 / 297.4  (-) . 417.3 / 293.3  (0) n^1/? 630.9 / 282.2  (2)
t_Rewriting/Transformed_CSR_04/PEANO_nokinds_L.xml . 0.3 / 0.4  (-) . 0.0 / 0.1  (0) ?/? 0.3 / 0.3  (0)
t_Rewriting/Transformed_CSR_04/PEANO_nokinds_Z.xml ?/n^1 106.3 / 72.3  (-) ?/n^1 26.3 / 8.9  (2) n^1/? 501.8 / 280.6  (2)
iting/Transformed_CSR_04/PEANO_nokinds_noand_C.xml . 628.0 / 298.4  (-) . 712.5 / 292.9  (0) n^1/n^1 344.1 / 174.7  (4)
ting/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml . 633.5 / 297.8  (-) . 432.9 / 298.3  (0) . 18.1 / 13.3  (0)
ting/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml ?/n^1 54.2 / 24.1  (-) ?/n^1 16.4 / 7.1  (2) n^1/n^1 2.0 / 3.5  (4)
iting/Transformed_CSR_04/PEANO_nosorts-noand_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.6  (0)
t_Rewriting/Transformed_CSR_04/PEANO_nosorts_C.xml ?/n^1 693.1 / 276.3  (-) ?/n^1 500.2 / 292.2  (2) n^1/n^1 2.3 / 4.7  (4)
_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.xml ?/n^1 0.9 / 0.6  (-) ?/n^1 0.6 / 0.3  (2) n^1/n^1 1.3 / 2.2  (4)
_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.xml . 630.2 / 297.9  (-) . 39.8 / 14.1  (0) n^2/? 471.3 / 280.9  (2)
t_Rewriting/Transformed_CSR_04/PEANO_nosorts_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.3  (0) ?/? 0.3 / 0.4  (0)
iting/Transformed_CSR_04/PEANO_nosorts_noand_C.xml ?/n^1 641.4 / 297.2  (-) ?/n^1 642.4 / 292.5  (2) n^1/n^1 3.7 / 4.8  (4)
ting/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml . 550.1 / 298.5  (-) . 37.6 / 25.6  (0) n^2/? 533.2 / 281.4  (2)
e_Complexity_Innermost_Rewriting/Various_04/04.xml ?/n^0 22.2 / 11.9  (-) ?/n^0 1.2 / 1.0  (2) ?/n^0 14.3 / 14.3  (2)
e_Complexity_Innermost_Rewriting/Various_04/08.xml ?/n^0 251.4 / 119.2  (-) ?/n^0 110.9 / 64.7  (2) ?/n^0 18.3 / 14.7  (2)
e_Complexity_Innermost_Rewriting/Various_04/10.xml ?/n^3 305.8 / 241.1  (-) ?/n^3 493.0 / 292.3  (2) . 13.2 / 13.4  (0)
e_Complexity_Innermost_Rewriting/Various_04/11.xml . 586.8 / 297.3  (-) . 11.2 / 7.0  (0) ?/n^0 10.0 / 15.1  (2)
e_Complexity_Innermost_Rewriting/Various_04/12.xml . 586.5 / 297.3  (-) . 642.9 / 292.3  (0) n^1/? 509.1 / 280.4  (2)
e_Complexity_Innermost_Rewriting/Various_04/13.xml . 642.2 / 297.2  (-) . 419.3 / 293.4  (0) n^1/? 272.6 / 281.0  (2)
e_Complexity_Innermost_Rewriting/Various_04/14.xml . 655.3 / 297.5  (-) ?/n^2 382.5 / 298.9  (2) n^1/n^2 166.6 / 83.9  (4)
e_Complexity_Innermost_Rewriting/Various_04/15.xml ?/n^1 261.6 / 148.2  (-) ?/n^1 7.8 / 4.4  (2) n^1/n^1 1.1 / 2.9  (4)
e_Complexity_Innermost_Rewriting/Various_04/18.xml ?/n^1 764.3 / 297.2  (-) ?/n^1 36.0 / 16.8  (2) n^1/n^1 20.4 / 15.7  (4)
e_Complexity_Innermost_Rewriting/Various_04/22.xml ?/n^1 57.7 / 39.1  (-) ?/n^1 9.9 / 4.5  (2) n^1/n^1 8.9 / 16.6  (4)
e_Complexity_Innermost_Rewriting/Various_04/23.xml ?/n^1 9.2 / 5.5  (-) ?/n^1 0.6 / 0.4  (2) n^1/n^1 6.6 / 6.2  (4)
e_Complexity_Innermost_Rewriting/Various_04/24.xml . 366.2 / 297.2  (-) ?/n^2 50.8 / 20.5  (1) n^1/n^1 2.4 / 2.2  (4)
xity_Innermost_Rewriting/Waldmann_06/jwmatchb1.xml ?/n^1 39.8 / 22.7  (-) ?/n^1 16.0 / 21.8  (2) n^1/n^1 1.4 / 3.4  (4)
xity_Innermost_Rewriting/Waldmann_06/jwmatchb2.xml ?/n^1 14.9 / 6.4  (-) ?/n^1 13.6 / 9.6  (2) n^1/n^1 1.4 / 3.5  (4)
mplexity_Innermost_Rewriting/Waldmann_06/jwno1.xml . 628.5 / 297.3  (-) . 23.4 / 16.9  (0) . 206.5 / 280.8  (0)
mplexity_Innermost_Rewriting/Waldmann_06/jwno4.xml . 591.7 / 297.1  (-) . 18.0 / 7.4  (0) . 13.8 / 16.9  (0)
mplexity_Innermost_Rewriting/Waldmann_06/jwno6.xml . 761.9 / 297.4  (-) . 18.9 / 7.8  (0) . 15.9 / 11.2  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z10.xml . 897.5 / 299.4  (-) . 21.5 / 6.3  (0) . 104.2 / 57.9  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z12.xml . 384.0 / 297.3  (-) . 144.6 / 84.3  (0) . 649.5 / 280.7  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z13.xml . 420.9 / 297.2  (-) . 131.0 / 91.8  (0) . 612.9 / 281.8  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z14.xml . 350.3 / 297.4  (-) . 117.2 / 70.1  (0) . 617.9 / 280.5  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z15.xml . 464.6 / 297.0  (-) . 648.4 / 292.0  (0) . 332.7 / 281.5  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z16.xml . 443.0 / 297.2  (-) . 129.9 / 77.4  (0) . 666.8 / 281.2  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z17.xml . 327.5 / 297.2  (-) . 344.9 / 292.4  (0) . 588.4 / 281.3  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z18.xml . 430.3 / 297.2  (-) . 372.5 / 208.9  (0) . 637.5 / 281.8  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z23.xml . 551.8 / 297.1  (-) . 213.8 / 292.5  (0) ?/n^1 547.2 / 281.2  (2)
_Complexity_Innermost_Rewriting/Zantema_05/z24.xml . 673.4 / 297.2  (-) . 554.5 / 292.5  (0) . 544.9 / 282.1  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z26.xml ?/n^1 479.1 / 297.7  (-) ?/n^1 6.3 / 2.5  (2) n^1/n^1 1.5 / 4.0  (4)
_Complexity_Innermost_Rewriting/Zantema_05/z27.xml . 523.3 / 297.8  (-) . 15.3 / 11.0  (0) n^1/? 272.8 / 280.6  (2)
_Complexity_Innermost_Rewriting/Zantema_05/z28.xml . 619.1 / 297.3  (-) . 16.1 / 6.5  (0) n^1/? 137.6 / 109.3  (2)
omplexity_Innermost_Rewriting/hoca/dfs-flatten.xml ?/n^1 31.3 / 26.3  (-) ?/n^1 2.7 / 1.6  (2) ?/n^1 7.8 / 6.5  (2)
_Complexity_Innermost_Rewriting/hoca/fib_llist.xml . 583.9 / 297.2  (-) . 534.5 / 292.8  (0) n^1/? 625.0 / 281.0  (2)
me_Complexity_Innermost_Rewriting/hoca/flatten.xml ?/n^1 3.8 / 1.5  (-) ?/n^1 4.3 / 1.8  (2) n^1/n^1 1.8 / 4.0  (4)
me_Complexity_Innermost_Rewriting/hoca/foldsum.xml ?/n^1 18.5 / 7.7  (-) ?/n^1 11.6 / 4.7  (2) n^1/n^1 26.5 / 31.9  (4)
Runtime_Complexity_Innermost_Rewriting/hoca/id.xml ?/n^1 1.4 / 0.5  (-) ?/n^1 1.3 / 0.4  (2) n^1/n^1 2.4 / 3.3  (4)
Complexity_Innermost_Rewriting/hoca/isort-fold.xml ?/n^2 270.1 / 148.3  (-) ?/n^2 29.5 / 12.6  (2) n^1/n^2 30.7 / 18.3  (4)
time_Complexity_Innermost_Rewriting/hoca/isort.xml ?/n^2 197.5 / 97.3  (-) ?/n^2 31.0 / 12.7  (2) n^1/n^2 26.0 / 20.4  (4)
e_Complexity_Innermost_Rewriting/hoca/mappplus.xml ?/n^2 19.6 / 14.4  (-) ?/n^2 4.5 / 4.3  (2) n^1/n^2 23.0 / 18.3  (4)
mplexity_Innermost_Rewriting/hoca/mergesort-dc.xml . 541.9 / 297.5  (-) . 622.4 / 292.6  (0) n^1/? 500.3 / 281.3  (2)
untime_Complexity_Innermost_Rewriting/hoca/mss.xml ?/n^? 374.6 / 190.5  (-) . 48.4 / 22.7  (0) n^1/? 512.9 / 281.2  (2)
ime_Complexity_Innermost_Rewriting/hoca/rev-dl.xml ?/n^1 14.3 / 7.2  (-) ?/n^1 2.6 / 1.4  (2) n^1/n^1 1.9 / 2.2  (4)
_Complexity_Innermost_Rewriting/hoca/rev-fletf.xml ?/n^1 5.0 / 1.8  (-) ?/n^1 5.0 / 1.7  (2) n^1/n^1 3.1 / 3.2  (4)
_Complexity_Innermost_Rewriting/hoca/rev-foldl.xml ?/n^1 3.6 / 2.0  (-) ?/n^1 0.7 / 0.4  (2) ?/n^1 3.6 / 4.2  (2)
e_Complexity_Innermost_Rewriting/hoca/rpm-lazy.xml . 625.1 / 297.8  (-) . 386.5 / 211.4  (0) . 281.9 / 281.3  (0)
untime_Complexity_Innermost_Rewriting/hoca/sum.xml ?/n^1 5.1 / 2.8  (-) ?/n^1 2.0 / 1.6  (2) n^1/n^1 1.8 / 3.7  (4)
e_Complexity_Innermost_Rewriting/hoca/sum_sqs3.xml ?/n^? 681.6 / 297.4  (-) . 103.0 / 40.6  (0) n^2/? 216.6 / 280.5  (2)
lexity_Innermost_Rewriting/raML/appendAll.raml.xml ?/n^1 16.1 / 6.9  (-) ?/n^1 9.4 / 4.9  (2) n^1/n^1 31.2 / 21.7  (4)
e_Complexity_Innermost_Rewriting/raML/bfs.raml.xml ?/n^2 407.9 / 190.4  (-) . 657.8 / 293.0  (0) . 493.2 / 300.0  (0)
lexity_Innermost_Rewriting/raML/bft_mmult.raml.xml . 678.3 / 297.3  (-) ?/n^3 386.4 / 292.9  (2) . 517.9 / 281.3  (0)
exity_Innermost_Rewriting/raML/bitvectors.raml.xml ?/n^2 500.3 / 242.7  (-) . 638.2 / 292.4  (0) . 647.6 / 281.9  (0)
xity_Innermost_Rewriting/raML/clevermmult.raml.xml ?/n^2 231.2 / 82.4  (-) ?/n^2 59.6 / 26.7  (2) ?/n^2 20.4 / 7.4  (2)
exity_Innermost_Rewriting/raML/duplicates.raml.xml ?/n^2 214.5 / 89.4  (-) ?/n^2 55.5 / 25.4  (2) ?/n^2 21.1 / 9.5  (2)
Complexity_Innermost_Rewriting/raML/dyade.raml.xml ?/n^2 129.3 / 54.4  (-) ?/n^2 12.9 / 5.7  (2) ?/n^2 12.1 / 6.4  (2)
ity_Innermost_Rewriting/raML/eratosthenes.raml.xml ?/n^2 292.7 / 148.5  (-) ?/n^2 395.4 / 293.9  (2) . 543.1 / 281.6  (0)
mplexity_Innermost_Rewriting/raML/flatten.raml.xml ?/n^2 373.7 / 148.4  (-) ?/n^2 94.3 / 36.9  (2) ?/n^2 27.5 / 10.3  (2)
ty_Innermost_Rewriting/raML/insertionsort.raml.xml . 767.6 / 297.5  (-) . 665.4 / 292.6  (0) . 589.2 / 281.5  (0)
plexity_Innermost_Rewriting/raML/listsort.raml.xml ?/n^2 305.7 / 154.1  (-) ?/n^2 573.7 / 292.7  (2) . 542.4 / 281.8  (0)
t_Rewriting/raML/longestCommonSubsequence.raml.xml . 620.5 / 297.2  (-) ?/n^2 545.1 / 293.5  (2) . 544.8 / 281.8  (0)
omplexity_Innermost_Rewriting/raML/matrix.raml.xml . 707.9 / 297.3  (-) . 638.3 / 292.9  (0) . 637.8 / 282.8  (0)
lexity_Innermost_Rewriting/raML/mergesort.raml.xml . 582.8 / 297.2  (-) ?/n^2 417.9 / 291.9  (2) . 597.9 / 281.7  (0)
mplexity_Innermost_Rewriting/raML/minsort.raml.xml ?/n^2 208.5 / 95.7  (-) ?/n^2 79.6 / 58.6  (2) ?/n^2 10.8 / 6.4  (2)
Complexity_Innermost_Rewriting/raML/queue.raml.xml . 660.9 / 297.5  (-) . 378.1 / 292.6  (0) . 515.0 / 281.2  (0)
lexity_Innermost_Rewriting/raML/quicksort.raml.xml . 597.6 / 297.8  (-) . 836.0 / 292.4  (0) . 512.5 / 281.7  (0)
nnermost_Rewriting/raML/rationalPotential.raml.xml ?/n^1 14.2 / 8.3  (-) ?/n^1 5.5 / 2.1  (2) n^1/n^1 3.8 / 3.4  (4)
ity_Innermost_Rewriting/raML/splitandsort.raml.xml . 609.7 / 297.1  (-) ?/n^6 367.2 / 164.9  (2) . 631.2 / 281.7  (0)
plexity_Innermost_Rewriting/raML/subtrees.raml.xml ?/n^2 115.2 / 92.3  (-) ?/n^2 22.9 / 14.3  (2) n^1/n^2 28.9 / 27.0  (4)