Overview of job-results

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

Statistics

3246 pairs, 898136.9 / 471493.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 certi 53578
Solver TCT2_20150725 TCT3_2015 AProVE certified
Scores 0 689 495
ntime_Complexity_Innermost_Rewriting/AG01/#3.1.xml ?/n^1 1.0 / 0.4  (-) ?/n^1 0.4 / 0.2  (2) ?/n^2 4.4 / 3.9  (1)
time_Complexity_Innermost_Rewriting/AG01/#3.10.xml . 800.1 / 300.0  (-) . 575.1 / 296.2  (0) . 489.8 / 300.1  (0)
time_Complexity_Innermost_Rewriting/AG01/#3.12.xml . 618.4 / 298.4  (-) ?/n^3 24.6 / 9.2  (2) ?/n^3 8.4 / 13.7  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.13.xml . 600.2 / 300.1  (-) . 448.3 / 296.4  (0) . 444.4 / 300.0  (0)
time_Complexity_Innermost_Rewriting/AG01/#3.15.xml ?/n^1 2.7 / 1.9  (-) ?/n^1 0.5 / 0.3  (2) ?/n^1 3.3 / 3.6  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.16.xml . 721.9 / 298.3  (-) ?/n^3 16.4 / 8.8  (2) ?/n^3 8.5 / 5.1  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.17.xml . 457.7 / 298.5  (-) ?/n^2 19.2 / 13.0  (2) . 613.2 / 300.0  (0)
ime_Complexity_Innermost_Rewriting/AG01/#3.17a.xml . 483.5 / 298.3  (-) ?/n^2 17.7 / 8.3  (2) . 386.8 / 300.1  (0)
time_Complexity_Innermost_Rewriting/AG01/#3.18.xml . 587.4 / 298.3  (-) . 52.8 / 21.1  (0) . 13.7 / 16.7  (0)
time_Complexity_Innermost_Rewriting/AG01/#3.19.xml . 760.1 / 298.5  (-) . 80.3 / 33.4  (0) . 9.3 / 6.7  (0)
ntime_Complexity_Innermost_Rewriting/AG01/#3.2.xml . 580.9 / 298.2  (-) ?/n^2 5.0 / 2.6  (2) ?/n^2 7.1 / 3.2  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.22.xml ?/n^2 4.1 / 1.8  (-) ?/n^2 3.5 / 1.6  (2) ?/n^2 393.7 / 230.7  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.23.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (2) ?/n^1 3.8 / 2.4  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.24.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (2) ?/n^2 4.4 / 4.8  (1)
time_Complexity_Innermost_Rewriting/AG01/#3.26.xml . 773.6 / 298.4  (-) . 30.4 / 39.7  (0) . 4.1 / 3.8  (0)
time_Complexity_Innermost_Rewriting/AG01/#3.29.xml ?/n^1 0.2 / 0.1  (-) ?/n^0 0.2 / 0.3  (2) ?/n^1 2.5 / 2.1  (1)
time_Complexity_Innermost_Rewriting/AG01/#3.31.xml . 557.6 / 299.6  (-) . 99.6 / 44.2  (0) . 16.7 / 28.1  (0)
time_Complexity_Innermost_Rewriting/AG01/#3.33.xml ?/n^1 0.1 / 0.2  (-) ?/n^0 0.5 / 0.5  (2) ?/n^1 3.7 / 3.5  (1)
time_Complexity_Innermost_Rewriting/AG01/#3.35.xml ?/n^1 0.0 / 0.0  (-) ?/n^1 0.1 / 0.1  (2) ?/n^1 2.5 / 2.2  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.36.xml . 516.4 / 299.7  (-) . 86.3 / 40.0  (0) . 218.8 / 209.0  (0)
time_Complexity_Innermost_Rewriting/AG01/#3.37.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 0.5 / 0.7  (2) ?/n^2 21.2 / 10.5  (1)
time_Complexity_Innermost_Rewriting/AG01/#3.38.xml . 484.3 / 300.0  (-) . 638.0 / 296.1  (0) . 108.4 / 108.1  (0)
time_Complexity_Innermost_Rewriting/AG01/#3.39.xml ?/n^1 15.0 / 7.4  (-) ?/n^1 3.8 / 2.2  (2) . 578.4 / 300.0  (0)
ntime_Complexity_Innermost_Rewriting/AG01/#3.4.xml . 647.9 / 298.2  (-) . 37.8 / 15.8  (0) . 92.4 / 100.9  (0)
time_Complexity_Innermost_Rewriting/AG01/#3.40.xml ?/n^1 238.8 / 200.0  (-) ?/n^1 5.1 / 7.0  (2) . 44.2 / 28.8  (0)
time_Complexity_Innermost_Rewriting/AG01/#3.41.xml ?/n^3 11.5 / 3.2  (-) ?/n^3 5.2 / 2.6  (2) . 5.6 / 4.9  (0)
time_Complexity_Innermost_Rewriting/AG01/#3.42.xml ?/n^5 358.2 / 171.3  (-) ?/n^3 64.1 / 25.9  (2) ?/n^3 40.1 / 30.2  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.47.xml ?/n^3 34.6 / 22.8  (-) ?/n^2 3.8 / 1.7  (2) ?/n^2 7.2 / 3.9  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.48.xml . 525.2 / 298.2  (-) ?/n^2 19.9 / 10.7  (2) ?/n^2 13.8 / 6.1  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.49.xml . 788.5 / 298.3  (-) . 569.6 / 296.1  (0) . 697.5 / 300.0  (0)
ntime_Complexity_Innermost_Rewriting/AG01/#3.5.xml ?/n^2 16.9 / 7.6  (-) ?/n^2 5.5 / 2.6  (2) ?/n^2 12.6 / 5.7  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.51.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.3 / 0.3  (2) ?/n^2 4.1 / 2.2  (1)
time_Complexity_Innermost_Rewriting/AG01/#3.52.xml ?/n^2 0.5 / 0.3  (-) ?/n^2 1.2 / 0.5  (2) ?/n^2 3.5 / 2.7  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.53.xml . 634.6 / 298.7  (-) ?/n^3 46.4 / 23.9  (2) ?/n^3 26.9 / 16.0  (2)
ime_Complexity_Innermost_Rewriting/AG01/#3.53a.xml ?/n^1 0.5 / 0.3  (-) ?/n^0 0.3 / 0.2  (2) ?/n^1 2.6 / 1.7  (1)
ime_Complexity_Innermost_Rewriting/AG01/#3.53b.xml ?/n^2 3.7 / 2.1  (-) ?/n^2 1.1 / 0.6  (2) ?/n^2 4.0 / 2.2  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.54.xml . 557.2 / 298.9  (-) . 104.0 / 109.7  (0) . 6.6 / 6.8  (0)
time_Complexity_Innermost_Rewriting/AG01/#3.55.xml . 758.7 / 298.4  (-) . 720.7 / 296.2  (0) . 734.9 / 300.0  (0)
time_Complexity_Innermost_Rewriting/AG01/#3.56.xml ?/n^1 0.1 / 0.0  (-) ?/n^1 0.1 / 0.2  (2) ?/n^2 3.4 / 3.1  (1)
time_Complexity_Innermost_Rewriting/AG01/#3.57.xml . 564.5 / 298.5  (-) . 468.4 / 296.1  (0) . 534.0 / 300.1  (0)
time_Complexity_Innermost_Rewriting/AG01/#3.5a.xml . 633.5 / 298.2  (-) ?/n^2 17.2 / 5.4  (2) ?/n^2 16.9 / 9.3  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.5b.xml . 423.5 / 298.7  (-) ?/n^3 44.5 / 33.0  (2) ?/n^3 27.8 / 16.3  (2)
ntime_Complexity_Innermost_Rewriting/AG01/#3.6.xml . 666.4 / 298.3  (-) ?/n^2 17.4 / 10.2  (2) ?/n^2 16.1 / 8.2  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.6a.xml ?/n^2 43.6 / 42.6  (-) ?/n^2 3.8 / 1.6  (2) ?/n^2 13.4 / 7.4  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.6b.xml . 595.6 / 298.5  (-) . 269.3 / 232.7  (0) ?/n^3 35.7 / 14.2  (2)
ntime_Complexity_Innermost_Rewriting/AG01/#3.7.xml ?/n^1 3.8 / 2.4  (-) ?/n^1 1.2 / 0.6  (2) ?/n^2 3.8 / 2.3  (1)
time_Complexity_Innermost_Rewriting/AG01/#3.8a.xml . 709.7 / 298.8  (-) ?/n^2 10.6 / 5.0  (2) ?/n^2 16.4 / 8.6  (2)
time_Complexity_Innermost_Rewriting/AG01/#3.8b.xml . 562.2 / 298.3  (-) ?/n^4 195.9 / 87.5  (1) ?/n^3 75.9 / 37.7  (2)
ime_Complexity_Innermost_Rewriting/AG01/#4.30c.xml . 559.4 / 298.7  (-) . 216.5 / 124.5  (0) . 50.3 / 38.2  (0)
exity_Innermost_Rewriting/AProVE_04/AAECC-ring.xml . 537.3 / 298.3  (-) . 550.3 / 296.2  (0) . 741.1 / 300.0  (0)
Complexity_Innermost_Rewriting/AProVE_04/AAECC.xml . 578.4 / 299.3  (-) . 638.2 / 296.3  (0) . 700.9 / 300.1  (0)
mplexity_Innermost_Rewriting/AProVE_04/IJCAR_1.xml . 378.3 / 299.6  (-) . 88.4 / 75.0  (0) . 4.7 / 3.1  (0)
plexity_Innermost_Rewriting/AProVE_04/IJCAR_12.xml . 363.1 / 298.7  (-) . 45.6 / 27.1  (0) . 15.7 / 6.9  (0)
plexity_Innermost_Rewriting/AProVE_04/IJCAR_18.xml . 999.1 / 298.5  (-) . 850.7 / 296.3  (0) . 334.9 / 300.0  (0)
plexity_Innermost_Rewriting/AProVE_04/IJCAR_26.xml . 580.8 / 298.4  (-) . 657.5 / 296.4  (0) . 620.9 / 300.0  (0)
lexity_Innermost_Rewriting/AProVE_04/IJCAR_26a.xml . 535.8 / 298.8  (-) . 672.5 / 296.6  (0) . 606.9 / 300.1  (0)
plexity_Innermost_Rewriting/AProVE_04/JFP_Ex31.xml . 702.3 / 298.7  (-) . 173.4 / 296.3  (0) . 577.4 / 300.1  (0)
plexity_Innermost_Rewriting/AProVE_04/JFP_Ex51.xml ?/n^2 72.2 / 32.6  (-) ?/n^2 59.0 / 19.7  (2) ?/n^2 117.8 / 154.3  (2)
ity_Innermost_Rewriting/AProVE_04/LPAR_intlist.xml . 854.0 / 298.7  (-) . 416.2 / 296.0  (0) . 311.4 / 300.0  (0)
xity_Innermost_Rewriting/AProVE_04/Liveness6.1.xml . 448.6 / 299.8  (-) . 533.5 / 296.3  (0) . 561.6 / 300.0  (0)
xity_Innermost_Rewriting/AProVE_04/Liveness6.2.xml . 712.5 / 298.3  (-) ?/n^4 244.3 / 103.8  (2) . 555.8 / 300.1  (0)
xity_Innermost_Rewriting/AProVE_04/Liveness6.3.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.7 / 0.6  (2) ?/n^1 50.9 / 49.3  (2)
xity_Innermost_Rewriting/AProVE_04/Liveness6.4.xml . 814.6 / 298.8  (-) . 692.2 / 296.1  (0) . 595.3 / 300.0  (0)
lexity_Innermost_Rewriting/AProVE_04/Liveness8.xml ?/n^1 1.4 / 1.6  (-) ?/n^1 0.8 / 0.9  (2) ?/n^1 125.5 / 47.1  (2)
ity_Innermost_Rewriting/AProVE_04/Liveness_WRS.xml ?/n^1 1.9 / 1.4  (-) ?/n^1 1.3 / 0.8  (2) ?/n^1 152.1 / 47.7  (2)
e_Complexity_Innermost_Rewriting/AProVE_04/fac.xml . 625.7 / 298.7  (-) . 472.7 / 239.7  (0) . 465.7 / 300.0  (0)
_Complexity_Innermost_Rewriting/AProVE_04/rta1.xml . 699.3 / 298.8  (-) . 604.5 / 296.3  (0) . 322.4 / 300.0  (0)
_Complexity_Innermost_Rewriting/AProVE_04/rta2.xml . 453.8 / 276.8  (-) . 6.6 / 2.8  (0) . 3.0 / 2.5  (0)
_Complexity_Innermost_Rewriting/AProVE_04/rta3.xml . 689.6 / 298.5  (-) . 27.6 / 14.8  (0) . 9.0 / 5.1  (0)
_Innermost_Rewriting/AProVE_06/div_notCeTermin.xml . 720.8 / 299.2  (-) . 693.3 / 296.1  (0) . 289.8 / 259.2  (0)
ty_Innermost_Rewriting/AProVE_06/div_notTermin.xml . 727.7 / 299.0  (-) . 665.0 / 296.2  (0) . 524.9 / 300.0  (0)
exity_Innermost_Rewriting/AProVE_06/factorial1.xml . 507.9 / 298.9  (-) . 637.2 / 296.2  (0) . 625.5 / 300.0  (0)
exity_Innermost_Rewriting/AProVE_06/factorial2.xml . 471.1 / 298.5  (-) . 87.9 / 54.1  (0) . 50.4 / 27.9  (0)
plexity_Innermost_Rewriting/AProVE_06/identity.xml . 683.5 / 298.5  (-) . 208.2 / 180.5  (0) . 35.4 / 22.5  (0)
lexity_Innermost_Rewriting/AProVE_06/logarithm.xml . 739.6 / 299.0  (-) . 650.4 / 296.1  (0) . 443.3 / 300.0  (0)
omplexity_Innermost_Rewriting/AProVE_06/modulo.xml . 597.4 / 299.0  (-) . 65.1 / 33.8  (0) . 25.6 / 12.6  (0)
mplexity_Innermost_Rewriting/AProVE_06/nonterm.xml . 687.0 / 299.7  (-) . 455.9 / 296.2  (0) . 328.2 / 300.1  (0)
lexity_Innermost_Rewriting/AProVE_06/quicksort.xml . 715.8 / 298.8  (-) . 571.2 / 296.2  (0) . 538.4 / 300.1  (0)
_Complexity_Innermost_Rewriting/AProVE_06/quot.xml . 605.0 / 298.5  (-) . 49.9 / 24.5  (0) . 27.7 / 16.1  (0)
exity_Innermost_Rewriting/AProVE_06/sizeChange.xml . 614.1 / 298.6  (-) . 90.7 / 53.7  (0) . 150.8 / 144.6  (0)
Complexity_Innermost_Rewriting/AProVE_06/tower.xml . 668.0 / 298.8  (-) . 677.8 / 296.0  (0) . 571.6 / 300.0  (0)
Innermost_Rewriting/AProVE_06/tower_sizeChange.xml . 740.5 / 298.4  (-) . 155.6 / 69.7  (0) . 32.0 / 26.7  (0)
lexity_Innermost_Rewriting/AProVE_07/kabasci01.xml . 715.0 / 298.6  (-) . 904.2 / 296.3  (0) . 578.4 / 300.1  (0)
lexity_Innermost_Rewriting/AProVE_07/kabasci02.xml . 595.1 / 299.8  (-) . 761.5 / 296.3  (0) . 621.6 / 300.1  (0)
lexity_Innermost_Rewriting/AProVE_07/kabasci03.xml ?/n^1 0.2 / 0.1  (-) ?/n^0 0.1 / 0.1  (2) . 371.4 / 300.0  (0)
lexity_Innermost_Rewriting/AProVE_07/kabasci04.xml . 545.6 / 298.8  (-) . 574.0 / 296.3  (0) . 573.0 / 300.0  (0)
lexity_Innermost_Rewriting/AProVE_07/kabasci05.xml . 536.1 / 298.8  (-) . 521.1 / 296.2  (0) . 511.0 / 300.1  (0)
omplexity_Innermost_Rewriting/AProVE_07/otto01.xml . 430.3 / 299.3  (-) . 868.0 / 296.3  (0) . 586.7 / 300.0  (0)
omplexity_Innermost_Rewriting/AProVE_07/otto02.xml . 676.8 / 300.0  (-) . 704.5 / 296.2  (0) . 217.3 / 196.9  (0)
omplexity_Innermost_Rewriting/AProVE_07/otto03.xml . 504.7 / 298.8  (-) . 30.5 / 11.9  (0) . 9.8 / 5.2  (0)
omplexity_Innermost_Rewriting/AProVE_07/otto04.xml . 486.7 / 299.0  (-) . 152.4 / 85.4  (0) . 306.4 / 300.0  (0)
omplexity_Innermost_Rewriting/AProVE_07/otto05.xml . 609.2 / 298.2  (-) . 381.8 / 262.1  (0) . 155.5 / 144.9  (0)
omplexity_Innermost_Rewriting/AProVE_07/otto06.xml . 637.3 / 298.5  (-) . 476.7 / 296.5  (0) . 351.9 / 300.1  (0)
omplexity_Innermost_Rewriting/AProVE_07/otto07.xml . 540.4 / 298.2  (-) . 36.4 / 31.6  (0) . 8.6 / 4.3  (0)
omplexity_Innermost_Rewriting/AProVE_07/otto08.xml . 518.5 / 298.5  (-) . 94.2 / 48.9  (0) . 112.5 / 75.7  (0)
omplexity_Innermost_Rewriting/AProVE_07/otto09.xml . 493.7 / 298.5  (-) . 78.0 / 31.6  (0) . 160.2 / 151.7  (0)
omplexity_Innermost_Rewriting/AProVE_07/otto10.xml . 660.7 / 299.3  (-) . 232.1 / 114.2  (0) . 149.4 / 101.8  (0)
omplexity_Innermost_Rewriting/AProVE_07/otto11.xml . 592.9 / 299.1  (-) . 72.1 / 41.5  (0) . 39.2 / 32.9  (0)
omplexity_Innermost_Rewriting/AProVE_07/otto12.xml . 654.7 / 298.1  (-) . 122.5 / 60.4  (0) . 26.3 / 12.4  (0)
omplexity_Innermost_Rewriting/AProVE_07/otto13.xml . 537.7 / 299.2  (-) . 160.0 / 90.8  (0) . 198.4 / 178.1  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann01.xml . 692.3 / 298.3  (-) . 89.7 / 49.3  (0) . 39.3 / 23.4  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann02.xml . 410.6 / 298.7  (-) . 475.2 / 296.3  (0) . 719.4 / 300.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann03.xml . 592.2 / 298.7  (-) . 280.0 / 148.1  (0) . 411.9 / 300.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann04.xml . 541.8 / 298.4  (-) . 619.4 / 296.3  (0) . 737.8 / 300.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann05.xml . 697.0 / 298.6  (-) . 195.8 / 100.7  (0) . 251.3 / 300.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann06.xml . 689.6 / 299.1  (-) . 119.3 / 100.4  (0) . 287.7 / 200.9  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann07.xml . 511.7 / 299.0  (-) . 297.9 / 184.1  (0) . 482.8 / 300.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann08.xml . 667.7 / 299.6  (-) . 191.5 / 295.8  (0) . 77.3 / 78.8  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann09.xml . 553.6 / 298.7  (-) . 524.6 / 296.3  (0) . 735.3 / 300.1  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann10.xml . 532.1 / 299.1  (-) . 683.9 / 296.0  (0) . 311.1 / 300.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann11.xml . 728.7 / 298.3  (-) . 661.9 / 296.1  (0) . 483.9 / 300.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann12.xml . 577.4 / 300.1  (-) . 665.4 / 296.1  (0) . 123.4 / 116.5  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann13.xml . 800.9 / 299.3  (-) . 422.1 / 296.1  (0) . 620.1 / 300.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann14.xml . 782.4 / 298.5  (-) . 589.3 / 296.4  (0) . 620.1 / 300.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann15.xml . 729.6 / 298.2  (-) . 789.0 / 296.1  (0) . 294.6 / 300.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann16.xml . 660.7 / 299.4  (-) . 604.8 / 296.5  (0) . 428.6 / 300.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann17.xml . 393.7 / 298.2  (-) . 590.9 / 296.9  (0) . 571.1 / 300.1  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann18.xml . 343.2 / 298.3  (-) . 390.9 / 281.8  (0) . 652.5 / 300.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann19.xml . 708.3 / 298.7  (-) . 93.9 / 62.3  (0) . 386.5 / 300.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann20.xml . 744.0 / 298.5  (-) . 268.9 / 130.4  (0) . 70.6 / 44.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann21.xml . 400.1 / 299.0  (-) . 482.8 / 296.1  (0) . 513.7 / 300.1  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann22.xml . 605.5 / 300.0  (-) . 553.5 / 296.5  (0) . 356.2 / 300.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann23.xml . 402.2 / 299.6  (-) . 466.7 / 296.3  (0) . 57.0 / 49.7  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann24.xml . 695.1 / 298.3  (-) . 109.2 / 60.3  (0) . 20.4 / 10.8  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann25.xml . 625.2 / 298.3  (-) . 64.8 / 29.9  (0) . 16.6 / 7.9  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann26.xml . 533.5 / 298.6  (-) . 77.5 / 47.8  (0) . 36.3 / 20.2  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann27.xml . 625.5 / 300.0  (-) . 25.5 / 12.2  (0) . 8.1 / 5.7  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann28.xml . 675.2 / 298.7  (-) . 730.1 / 296.3  (0) . 176.7 / 300.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann29.xml . 663.2 / 300.0  (-) . 167.5 / 92.3  (0) . 340.7 / 300.1  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann30.xml . 602.9 / 300.1  (-) . 647.5 / 296.2  (0) . 292.1 / 300.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann31.xml . 605.7 / 299.0  (-) . 167.8 / 107.4  (0) . 47.7 / 31.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann32.xml . 609.5 / 298.6  (-) . 557.3 / 296.5  (0) . 85.2 / 126.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann33.xml . 545.1 / 298.9  (-) . 556.3 / 225.1  (0) . 28.9 / 20.2  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann34.xml . 517.3 / 298.7  (-) . 89.2 / 52.2  (0) . 30.0 / 22.3  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann36.xml . 632.5 / 300.0  (-) . 175.8 / 115.3  (0) . 54.8 / 34.1  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann37.xml . 652.7 / 299.2  (-) . 580.4 / 296.3  (0) . 685.7 / 300.0  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann38.xml . 457.0 / 298.7  (-) . 149.8 / 99.8  (0) . 61.6 / 40.4  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann40.xml . 586.6 / 298.3  (-) . 32.5 / 17.0  (0) . 11.2 / 6.2  (0)
exity_Innermost_Rewriting/AProVE_07/thiemann41.xml . 659.5 / 298.7  (-) . 140.5 / 72.8  (0) . 108.8 / 75.7  (0)
mplexity_Innermost_Rewriting/AProVE_07/wiehe01.xml . 488.1 / 299.3  (-) . 664.4 / 296.3  (0) . 504.5 / 300.0  (0)
mplexity_Innermost_Rewriting/AProVE_07/wiehe02.xml . 590.4 / 298.5  (-) . 594.8 / 296.5  (0) . 451.1 / 300.0  (0)
mplexity_Innermost_Rewriting/AProVE_07/wiehe03.xml . 522.8 / 298.5  (-) . 672.8 / 296.5  (0) . 534.2 / 300.1  (0)
mplexity_Innermost_Rewriting/AProVE_07/wiehe05.xml . 451.2 / 300.0  (-) . 520.6 / 296.4  (0) . 519.5 / 300.0  (0)
mplexity_Innermost_Rewriting/AProVE_07/wiehe06.xml . 501.4 / 298.6  (-) . 457.4 / 296.4  (0) . 675.1 / 300.0  (0)
mplexity_Innermost_Rewriting/AProVE_07/wiehe07.xml . 413.8 / 299.0  (-) . 761.8 / 296.2  (0) . 773.0 / 300.0  (0)
mplexity_Innermost_Rewriting/AProVE_07/wiehe08.xml . 482.4 / 298.3  (-) . 554.7 / 296.4  (0) . 559.5 / 300.1  (0)
mplexity_Innermost_Rewriting/AProVE_07/wiehe09.xml . 432.3 / 298.6  (-) . 678.9 / 296.4  (0) . 655.1 / 300.1  (0)
mplexity_Innermost_Rewriting/AProVE_07/wiehe11.xml . 524.7 / 298.6  (-) . 634.9 / 296.2  (0) . 589.9 / 300.1  (0)
mplexity_Innermost_Rewriting/AProVE_07/wiehe12.xml . 556.0 / 300.0  (-) . 718.0 / 296.3  (0) . 393.8 / 300.0  (0)
omplexity_Innermost_Rewriting/AProVE_08/id_inc.xml . 621.6 / 298.3  (-) . 136.9 / 65.0  (0) . 55.0 / 53.8  (0)
e_Complexity_Innermost_Rewriting/AProVE_08/log.xml . 655.0 / 298.4  (-) . 784.4 / 296.2  (0) . 809.2 / 300.0  (0)
nnermost_Rewriting/AProVE_08/parting01_reverse.xml . 549.2 / 298.3  (-) . 617.4 / 296.6  (0) . 340.6 / 300.0  (0)
rmost_Rewriting/AProVE_08/parting02_doublelist.xml . 644.2 / 298.9  (-) . 516.8 / 296.3  (0) . 336.6 / 300.0  (0)
nnermost_Rewriting/AProVE_08/parting03_minsort.xml . 641.0 / 299.2  (-) . 770.9 / 296.2  (0) . 322.1 / 300.0  (0)
ermost_Rewriting/AProVE_08/parting04_maxsort_h.xml . 522.2 / 298.6  (-) . 531.3 / 296.5  (0) . 636.6 / 300.0  (0)
nnermost_Rewriting/AProVE_08/parting05_maxsort.xml . 546.0 / 298.5  (-) . 456.5 / 296.4  (0) . 427.4 / 300.0  (0)
Complexity_Innermost_Rewriting/AProVE_08/round.xml . 597.7 / 300.0  (-) . 79.7 / 37.5  (0) . 42.5 / 85.0  (0)
ty_Innermost_Rewriting/AProVE_08/round_nonterm.xml . 527.9 / 298.8  (-) . 103.6 / 79.3  (0) . 24.8 / 46.0  (0)
ermost_Rewriting/AProVE_08/thiemann40_modified.xml . 739.6 / 299.2  (-) . 650.2 / 296.1  (0) . 310.0 / 300.0  (0)
ty_Innermost_Rewriting/AProVE_09_Inductive/div.xml . 772.3 / 298.7  (-) . 536.4 / 296.1  (0) . 407.2 / 300.0  (0)
nnermost_Rewriting/AProVE_09_Inductive/divhard.xml . 739.7 / 298.4  (-) . 161.0 / 76.4  (0) . 366.6 / 300.0  (0)
ty_Innermost_Rewriting/AProVE_09_Inductive/gcd.xml . 725.4 / 298.3  (-) . 132.6 / 115.2  (0) . 383.9 / 300.0  (0)
y_Innermost_Rewriting/AProVE_09_Inductive/gcd2.xml . 880.6 / 298.4  (-) . 234.2 / 242.8  (0) . 534.9 / 300.0  (0)
nnermost_Rewriting/AProVE_09_Inductive/gcdhard.xml . 714.9 / 299.1  (-) . 209.4 / 169.5  (0) . 188.2 / 147.0  (0)
ty_Innermost_Rewriting/AProVE_09_Inductive/log.xml . 768.0 / 298.9  (-) . 494.1 / 296.2  (0) . 347.5 / 300.0  (0)
nnermost_Rewriting/AProVE_09_Inductive/maxsort.xml . 998.5 / 299.1  (-) . 674.5 / 296.2  (0) . 452.2 / 300.0  (0)
Rewriting/AProVE_09_Inductive/maxsortcondition.xml . 584.6 / 298.4  (-) . 98.8 / 60.4  (0) . 62.2 / 40.2  (0)
nnermost_Rewriting/AProVE_09_Inductive/minsort.xml . 574.2 / 298.5  (-) . 679.9 / 296.1  (0) . 611.9 / 300.0  (0)
ty_Innermost_Rewriting/AProVE_09_Inductive/mod.xml . 744.9 / 298.6  (-) . 331.1 / 207.0  (0) . 345.8 / 289.5  (0)
_Innermost_Rewriting/AProVE_09_Inductive/qsort.xml . 413.1 / 300.0  (-) . 466.7 / 296.5  (0) . 670.6 / 300.1  (0)
ermost_Rewriting/AProVE_09_Inductive/qsortlast.xml . 616.4 / 298.6  (-) . 684.8 / 296.1  (0) . 797.1 / 300.0  (0)
most_Rewriting/AProVE_09_Inductive/qsortmiddle.xml . 554.9 / 300.0  (-) . 537.6 / 296.5  (0) . 715.2 / 300.0  (0)
nermost_Rewriting/AProVE_09_Inductive/zerolist.xml . 588.0 / 298.6  (-) . 93.9 / 45.3  (0) . 63.1 / 48.9  (0)
Complexity_Innermost_Rewriting/Beerendonk_07/1.xml . 623.1 / 298.2  (-) . 41.2 / 34.5  (0) . 10.4 / 9.8  (0)
omplexity_Innermost_Rewriting/Beerendonk_07/10.xml . 717.9 / 300.0  (-) . 233.4 / 147.2  (0) . 351.1 / 300.0  (0)
omplexity_Innermost_Rewriting/Beerendonk_07/11.xml . 660.3 / 300.0  (-) . 68.3 / 47.9  (0) . 343.0 / 300.0  (0)
omplexity_Innermost_Rewriting/Beerendonk_07/12.xml . 626.5 / 298.5  (-) . 46.9 / 31.1  (0) . 65.3 / 28.5  (0)
omplexity_Innermost_Rewriting/Beerendonk_07/13.xml . 687.3 / 298.2  (-) . 57.7 / 44.9  (0) . 279.6 / 271.0  (0)
omplexity_Innermost_Rewriting/Beerendonk_07/14.xml . 610.0 / 298.3  (-) . 38.8 / 18.7  (0) . 14.8 / 11.0  (0)
omplexity_Innermost_Rewriting/Beerendonk_07/15.xml . 344.7 / 299.3  (-) . 546.8 / 296.3  (0) . 654.6 / 300.1  (0)
omplexity_Innermost_Rewriting/Beerendonk_07/16.xml . 648.0 / 298.9  (-) . 620.9 / 296.6  (0) . 584.1 / 300.1  (0)
omplexity_Innermost_Rewriting/Beerendonk_07/17.xml . 633.5 / 298.5  (-) . 635.8 / 296.3  (0) . 725.0 / 300.1  (0)
omplexity_Innermost_Rewriting/Beerendonk_07/18.xml . 596.5 / 298.4  (-) . 614.8 / 296.2  (0) . 620.8 / 300.1  (0)
omplexity_Innermost_Rewriting/Beerendonk_07/19.xml . 896.6 / 298.9  (-) . 475.4 / 296.3  (0) . 733.0 / 300.0  (0)
Complexity_Innermost_Rewriting/Beerendonk_07/2.xml . 569.8 / 298.3  (-) . 41.4 / 22.8  (0) . 9.7 / 5.7  (0)
omplexity_Innermost_Rewriting/Beerendonk_07/20.xml . 880.8 / 298.3  (-) . 589.9 / 296.6  (0) . 738.1 / 300.0  (0)
omplexity_Innermost_Rewriting/Beerendonk_07/21.xml . 705.2 / 298.8  (-) . 717.1 / 296.2  (0) . 375.5 / 300.1  (0)
omplexity_Innermost_Rewriting/Beerendonk_07/22.xml . 637.5 / 298.7  (-) . 223.7 / 296.2  (0) . 179.9 / 300.0  (0)
omplexity_Innermost_Rewriting/Beerendonk_07/23.xml . 702.0 / 298.3  (-) . 128.5 / 66.4  (0) . 47.3 / 41.1  (0)
omplexity_Innermost_Rewriting/Beerendonk_07/24.xml . 619.8 / 298.8  (-) . 587.3 / 296.2  (0) . 717.4 / 300.0  (0)
Complexity_Innermost_Rewriting/Beerendonk_07/3.xml . 817.0 / 298.5  (-) . 54.2 / 23.6  (0) . 13.9 / 9.5  (0)
Complexity_Innermost_Rewriting/Beerendonk_07/4.xml . 695.1 / 298.3  (-) . 23.6 / 17.6  (0) . 7.2 / 4.5  (0)
Complexity_Innermost_Rewriting/Beerendonk_07/5.xml . 642.6 / 298.6  (-) . 168.1 / 101.5  (0) . 805.5 / 300.0  (0)
Complexity_Innermost_Rewriting/Beerendonk_07/6.xml . 515.8 / 298.7  (-) . 21.6 / 9.0  (0) . 6.2 / 3.4  (0)
Complexity_Innermost_Rewriting/Beerendonk_07/7.xml . 603.7 / 299.0  (-) . 871.4 / 296.4  (0) . 288.6 / 300.0  (0)
Complexity_Innermost_Rewriting/Beerendonk_07/8.xml . 754.5 / 298.5  (-) . 697.0 / 296.3  (0) . 732.2 / 300.0  (0)
Complexity_Innermost_Rewriting/Beerendonk_07/9.xml . 739.2 / 300.1  (-) . 577.5 / 296.4  (0) . 544.8 / 300.0  (0)
plexity_Innermost_Rewriting/CiME_04/ack_prolog.xml . 682.8 / 298.3  (-) . 97.8 / 48.5  (0) . 64.6 / 54.9  (0)
lexity_Innermost_Rewriting/CiME_04/append-hard.xml . 687.7 / 298.4  (-) . 22.2 / 11.1  (0) . 6.4 / 5.5  (0)
exity_Innermost_Rewriting/CiME_04/append-wrong.xml . 444.4 / 298.3  (-) . 448.1 / 296.5  (0) . 140.5 / 173.0  (0)
_Complexity_Innermost_Rewriting/CiME_04/append.xml ?/n^1 8.9 / 9.0  (-) ?/n^1 0.5 / 0.4  (2) ?/n^1 3.6 / 2.4  (2)
ime_Complexity_Innermost_Rewriting/CiME_04/big.xml . 724.5 / 298.7  (-) . 754.5 / 296.2  (0) . 603.9 / 300.0  (0)
me_Complexity_Innermost_Rewriting/CiME_04/dpqs.xml ?/n^1 0.1 / 0.0  (-) ?/n^1 0.3 / 0.2  (2) ?/n^2 3.6 / 2.7  (1)
mplexity_Innermost_Rewriting/CiME_04/fact-hard.xml . 348.0 / 298.9  (-) . 240.3 / 150.4  (0) . 640.7 / 300.0  (0)
mplexity_Innermost_Rewriting/CiME_04/filliatre.xml . 771.6 / 299.0  (-) . 394.2 / 296.1  (0) . 135.9 / 89.8  (0)
plexity_Innermost_Rewriting/CiME_04/filliatre2.xml . 388.8 / 299.0  (-) . 415.6 / 296.2  (0) . 90.1 / 99.5  (0)
plexity_Innermost_Rewriting/CiME_04/filliatre3.xml . 461.2 / 300.0  (-) . 541.0 / 276.2  (0) . 89.2 / 53.0  (0)
mplexity_Innermost_Rewriting/CiME_04/intersect.xml ?/n^2 56.1 / 26.4  (-) . 467.0 / 260.3  (0) ?/n^2 39.3 / 27.7  (2)
t_Rewriting/CiME_04/list-sum-prod-assoc-append.xml . 622.9 / 298.4  (-) . 103.8 / 74.1  (0) . 100.2 / 77.9  (0)
nnermost_Rewriting/CiME_04/list-sum-prod-assoc.xml . 620.4 / 298.3  (-) . 60.2 / 26.1  (0) . 53.5 / 78.0  (0)
ting/CiME_04/list-sum-prod-bin-assoc-distr-app.xml . 466.0 / 298.8  (-) . 612.4 / 296.3  (0) . 295.8 / 300.0  (0)
most_Rewriting/CiME_04/list-sum-prod-bin-assoc.xml . 511.7 / 298.4  (-) . 700.2 / 296.1  (0) . 252.7 / 300.0  (0)
_Innermost_Rewriting/CiME_04/list-sum-prod-bin.xml . 642.7 / 298.5  (-) . 462.6 / 296.4  (0) . 563.1 / 300.1  (0)
xity_Innermost_Rewriting/CiME_04/list-sum-prod.xml . 736.1 / 298.4  (-) . 48.2 / 34.0  (0) . 35.1 / 21.4  (0)
me_Complexity_Innermost_Rewriting/CiME_04/log2.xml . 538.5 / 300.0  (-) . 739.4 / 296.3  (0) . 278.8 / 300.1  (0)
ime_Complexity_Innermost_Rewriting/CiME_04/lse.xml ?/n^2 85.3 / 53.6  (-) ?/n^2 46.8 / 18.2  (2) ?/n^2 33.9 / 15.5  (2)
_Complexity_Innermost_Rewriting/CiME_04/maude2.xml . 593.1 / 298.6  (-) . 635.1 / 296.2  (0) . 539.4 / 300.0  (0)
_Complexity_Innermost_Rewriting/CiME_04/mucrl1.xml . 516.4 / 300.0  (-) ?/n^1 810.4 / 294.1  (2) . 477.2 / 300.0  (0)
exity_Innermost_Rewriting/CiME_04/ternary-hard.xml . 587.1 / 298.6  (-) . 592.1 / 296.2  (0) . 476.4 / 300.0  (0)
Complexity_Innermost_Rewriting/CiME_04/ternary.xml . 477.8 / 298.6  (-) . 697.0 / 296.2  (0) . 322.7 / 300.1  (0)
me_Complexity_Innermost_Rewriting/CiME_04/tree.xml . 482.7 / 298.4  (-) . 483.2 / 296.2  (0) . 502.8 / 300.0  (0)
untime_Complexity_Innermost_Rewriting/Der95/06.xml ?/n^1 0.4 / 1.1  (-) ?/n^1 0.1 / 0.1  (2) ?/n^1 2.4 / 1.6  (2)
untime_Complexity_Innermost_Rewriting/Der95/07.xml ?/n^1 0.5 / 0.4  (-) ?/n^1 0.2 / 0.1  (2) ?/n^1 3.5 / 3.1  (2)
untime_Complexity_Innermost_Rewriting/Der95/08.xml ?/n^2 0.9 / 0.4  (-) ?/n^1 2.2 / 0.9  (2) ?/n^1 2.6 / 2.1  (2)
untime_Complexity_Innermost_Rewriting/Der95/11.xml ?/n^1 25.5 / 11.4  (-) ?/n^1 10.3 / 3.5  (2) ?/n^1 4.5 / 2.8  (2)
untime_Complexity_Innermost_Rewriting/Der95/12.xml . 591.4 / 298.7  (-) . 28.3 / 14.0  (0) . 11.9 / 14.5  (0)
untime_Complexity_Innermost_Rewriting/Der95/18.xml ?/n^1 0.1 / 0.0  (-) ?/n^1 0.1 / 0.0  (2) ?/n^2 2.4 / 1.9  (1)
untime_Complexity_Innermost_Rewriting/Der95/20.xml . 765.3 / 298.2  (-) . 105.0 / 51.8  (0) . 13.4 / 11.2  (0)
untime_Complexity_Innermost_Rewriting/Der95/21.xml . 883.9 / 300.0  (-) . 198.4 / 106.5  (0) . 180.7 / 161.8  (0)
untime_Complexity_Innermost_Rewriting/Der95/27.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (2) ?/n^1 2.4 / 1.9  (2)
untime_Complexity_Innermost_Rewriting/Der95/31.xml ?/n^2 13.8 / 7.9  (-) ?/n^1 3.7 / 1.5  (2) ?/n^2 6.8 / 3.7  (1)
untime_Complexity_Innermost_Rewriting/Der95/32.xml ?/n^2 145.9 / 73.4  (-) ?/n^2 21.1 / 14.5  (2) ?/n^2 12.7 / 6.5  (2)
untime_Complexity_Innermost_Rewriting/Der95/33.xml . 812.6 / 298.8  (-) . 630.8 / 296.4  (0) . 604.4 / 300.0  (0)
lexity_Innermost_Rewriting/Endrullis_06/direct.xml ?/n^1 0.5 / 0.3  (-) ?/n^1 0.2 / 0.1  (2) ?/n^3 9.0 / 4.8  (1)
_Innermost_Rewriting/Frederiksen_Glenstrup/ack.xml . 613.0 / 298.8  (-) . 79.8 / 39.8  (0) . 14.1 / 8.9  (0)
_Innermost_Rewriting/Frederiksen_Glenstrup/add.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 0.2 / 0.1  (2) ?/n^1 4.0 / 9.1  (2)
rmost_Rewriting/Frederiksen_Glenstrup/addlists.xml ?/n^1 0.5 / 0.2  (-) ?/n^1 0.5 / 0.3  (2) ?/n^1 3.2 / 2.2  (2)
rmost_Rewriting/Frederiksen_Glenstrup/anchored.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (2) ?/n^1 3.5 / 3.2  (2)
nermost_Rewriting/Frederiksen_Glenstrup/append.xml ?/n^1 0.2 / 0.3  (-) ?/n^1 0.3 / 0.2  (2) ?/n^1 2.8 / 2.7  (2)
ost_Rewriting/Frederiksen_Glenstrup/assrewrite.xml . 612.0 / 298.3  (-) . 122.4 / 110.4  (0) . 23.4 / 10.2  (0)
Innermost_Rewriting/Frederiksen_Glenstrup/badd.xml . 555.3 / 298.4  (-) . 24.8 / 8.1  (0) . 9.8 / 7.3  (0)
nnermost_Rewriting/Frederiksen_Glenstrup/binom.xml . 580.7 / 298.3  (-) . 102.5 / 40.7  (0) . 26.3 / 15.6  (0)
rmost_Rewriting/Frederiksen_Glenstrup/decrease.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 1.6 / 1.2  (2) ?/n^2 2.8 / 2.1  (1)
_Rewriting/Frederiksen_Glenstrup/deeprev_typed.xml ?/n^1 1.1 / 0.8  (-) ?/n^1 3.2 / 1.4  (2) ?/n^1 9.9 / 10.7  (2)
rmost_Rewriting/Frederiksen_Glenstrup/disjconj.xml . 595.5 / 298.5  (-) . 40.9 / 18.9  (0) . 30.1 / 15.9  (0)
most_Rewriting/Frederiksen_Glenstrup/duplicate.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.2 / 0.1  (2) ?/n^1 2.5 / 2.0  (2)
nnermost_Rewriting/Frederiksen_Glenstrup/equal.xml . 351.2 / 298.7  (-) . 384.6 / 296.7  (0) . 3.4 / 7.8  (0)
ermost_Rewriting/Frederiksen_Glenstrup/evenodd.xml ?/n^1 1.1 / 0.9  (-) ?/n^1 0.1 / 0.1  (2) ?/n^3 4.1 / 3.1  (1)
Innermost_Rewriting/Frederiksen_Glenstrup/fold.xml ?/n^1 2.1 / 1.2  (-) ?/n^1 0.6 / 0.3  (2) ?/n^1 9.4 / 5.6  (2)
Innermost_Rewriting/Frederiksen_Glenstrup/game.xml ?/n^1 8.4 / 3.7  (-) ?/n^1 1.8 / 1.0  (2) ?/n^1 7.9 / 11.5  (2)
_Innermost_Rewriting/Frederiksen_Glenstrup/gcd.xml . 638.4 / 299.0  (-) . 488.0 / 296.2  (0) . 765.7 / 300.0  (0)
Innermost_Rewriting/Frederiksen_Glenstrup/gcd2.xml . 551.7 / 300.0  (-) . 525.5 / 296.1  (0) . 681.0 / 300.0  (0)
rmost_Rewriting/Frederiksen_Glenstrup/increase.xml . 424.4 / 298.1  (-) . 334.6 / 296.4  (0) . 4.7 / 2.6  (0)
_Innermost_Rewriting/Frederiksen_Glenstrup/int.xml . 713.9 / 300.0  (-) . 920.8 / 296.3  (0) . 660.1 / 300.0  (0)
most_Rewriting/Frederiksen_Glenstrup/intlookup.xml . 599.6 / 299.8  (-) . 16.3 / 7.3  (0) . 6.8 / 4.7  (0)
ewriting/Frederiksen_Glenstrup/lambdaint_typed.xml . 721.4 / 298.5  (-) . 451.6 / 296.4  (0) . 607.9 / 300.0  (0)
nermost_Rewriting/Frederiksen_Glenstrup/letexp.xml . 592.8 / 298.8  (-) . 17.6 / 8.3  (0) . 3.9 / 3.1  (0)
Innermost_Rewriting/Frederiksen_Glenstrup/list.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.4 / 0.2  (2) ?/n^1 2.6 / 2.2  (2)
_Innermost_Rewriting/Frederiksen_Glenstrup/lte.xml ?/n^1 5.8 / 4.8  (-) ?/n^1 1.7 / 1.4  (2) ?/n^1 7.8 / 3.5  (2)
Innermost_Rewriting/Frederiksen_Glenstrup/map0.xml ?/n^1 1.8 / 0.9  (-) ?/n^1 1.2 / 0.7  (2) ?/n^1 3.1 / 2.7  (2)
nermost_Rewriting/Frederiksen_Glenstrup/member.xml ?/n^1 7.4 / 7.8  (-) ?/n^1 1.1 / 0.7  (2) ?/n^1 5.2 / 3.8  (2)
ost_Rewriting/Frederiksen_Glenstrup/mergelists.xml ?/n^1 2.4 / 1.8  (-) ?/n^1 0.6 / 0.5  (2) ?/n^1 7.8 / 5.8  (2)
most_Rewriting/Frederiksen_Glenstrup/mergesort.xml . 721.2 / 298.6  (-) . 165.4 / 86.7  (0) . 56.0 / 35.9  (0)
ermost_Rewriting/Frederiksen_Glenstrup/minsort.xml . 599.6 / 298.4  (-) . 124.4 / 57.2  (0) . 26.8 / 18.8  (0)
_Innermost_Rewriting/Frederiksen_Glenstrup/mul.xml . 657.7 / 298.5  (-) ?/n^3 13.2 / 6.5  (2) ?/n^3 9.2 / 4.0  (2)
ost_Rewriting/Frederiksen_Glenstrup/mul_better.xml . 588.2 / 298.4  (-) ?/n^3 19.4 / 10.5  (2) ?/n^3 7.2 / 9.4  (2)
rmost_Rewriting/Frederiksen_Glenstrup/naiverev.xml ?/n^2 138.3 / 58.9  (-) ?/n^2 12.4 / 9.1  (2) ?/n^2 6.4 / 3.7  (2)
ermost_Rewriting/Frederiksen_Glenstrup/nestdec.xml ?/n^1 0.6 / 0.3  (-) ?/n^1 0.6 / 0.4  (2) ?/n^1 10.4 / 5.7  (2)
ermost_Rewriting/Frederiksen_Glenstrup/nesteql.xml . 653.4 / 298.3  (-) . 334.5 / 296.4  (0) . 6.8 / 4.1  (0)
most_Rewriting/Frederiksen_Glenstrup/nestimeql.xml . 741.1 / 298.8  (-) . 504.6 / 296.1  (0) . 232.8 / 136.1  (0)
ermost_Rewriting/Frederiksen_Glenstrup/nestinc.xml . 620.1 / 298.4  (-) . 442.5 / 296.4  (0) . 164.3 / 111.4  (0)
ost_Rewriting/Frederiksen_Glenstrup/nolexicord.xml . 394.0 / 298.8  (-) ?/n^1 9.2 / 5.1  (2) ?/n^1 10.3 / 7.1  (2)
ermost_Rewriting/Frederiksen_Glenstrup/ordered.xml ?/n^1 3.2 / 2.4  (-) ?/n^1 1.1 / 0.6  (2) ?/n^1 4.2 / 2.8  (2)
Rewriting/Frederiksen_Glenstrup/ordered_better.xml ?/n^1 5.9 / 3.6  (-) ?/n^1 0.8 / 0.5  (2) ?/n^1 5.0 / 3.1  (2)
ermost_Rewriting/Frederiksen_Glenstrup/overlap.xml ?/n^2 14.3 / 8.4  (-) ?/n^2 10.2 / 3.8  (2) ?/n^2 15.4 / 7.8  (2)
ermost_Rewriting/Frederiksen_Glenstrup/parsexp.xml . 419.8 / 300.0  (-) . 535.4 / 296.2  (0) . 617.1 / 300.0  (0)
ermost_Rewriting/Frederiksen_Glenstrup/permute.xml . 710.6 / 298.9  (-) . 662.7 / 296.2  (0) . 465.8 / 300.0  (0)
nnermost_Rewriting/Frederiksen_Glenstrup/power.xml . 628.6 / 298.3  (-) . 25.0 / 14.8  (0) . 14.5 / 7.9  (0)
most_Rewriting/Frederiksen_Glenstrup/quicksort.xml . 577.5 / 300.0  (-) . 212.6 / 116.7  (0) . 318.0 / 300.0  (0)
nermost_Rewriting/Frederiksen_Glenstrup/revapp.xml ?/n^1 0.3 / 0.4  (-) ?/n^1 0.4 / 0.2  (2) ?/n^3 3.1 / 8.0  (1)
nermost_Rewriting/Frederiksen_Glenstrup/select.xml ?/n^2 9.4 / 6.5  (-) ?/n^2 3.5 / 2.9  (2) ?/n^2 4.8 / 2.6  (2)
ermost_Rewriting/Frederiksen_Glenstrup/shuffle.xml . 493.7 / 300.0  (-) ?/n^3 23.7 / 7.0  (2) ?/n^3 8.2 / 3.7  (2)
_Innermost_Rewriting/Frederiksen_Glenstrup/sp1.xml . 674.2 / 299.4  (-) . 24.2 / 12.2  (0) . 7.8 / 5.8  (0)
ermost_Rewriting/Frederiksen_Glenstrup/subsets.xml . 619.4 / 298.8  (-) . 27.2 / 13.4  (0) . 10.8 / 4.5  (0)
rmost_Rewriting/Frederiksen_Glenstrup/thetrick.xml . 543.8 / 299.8  (-) . 632.1 / 296.5  (0) . 586.7 / 300.1  (0)
t_Rewriting/Frederiksen_Glenstrup/turing_typed.xml . 490.7 / 299.9  (-) . 157.5 / 104.1  (0) . 44.5 / 54.2  (0)
ewriting/Frederiksen_Glenstrup/vangelder_typed.xml . 471.5 / 299.2  (-) . 673.0 / 296.3  (0) . 673.1 / 300.1  (0)
ity_Innermost_Rewriting/Frederiksen_Others/add.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 0.4 / 1.1  (2) ?/n^1 4.2 / 2.8  (2)
st_Rewriting/Frederiksen_Others/assrewriteSize.xml . 632.1 / 298.6  (-) . 91.8 / 61.8  (0) . 21.7 / 10.2  (0)
nnermost_Rewriting/Frederiksen_Others/boolprog.xml ?/n^1 13.4 / 7.6  (-) ?/n^1 2.1 / 1.2  (2) ?/n^1 18.8 / 12.3  (2)
ermost_Rewriting/Frederiksen_Others/bubblesort.xml . 663.9 / 298.4  (-) ?/n^2 14.4 / 5.3  (2) ?/n^2 13.0 / 10.5  (2)
most_Rewriting/Frederiksen_Others/deadcodeSize.xml . 36.3 / 16.5  (-) . 15.3 / 8.1  (0) . 2.9 / 2.7  (0)
rmost_Rewriting/Frederiksen_Others/disj2_typed.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 2.0 / 1.2  (2) ?/n^1 11.1 / 8.8  (2)
ty_Innermost_Rewriting/Frederiksen_Others/div2.xml ?/n^1 0.1 / 0.2  (-) ?/n^1 0.3 / 0.2  (2) ?/n^1 4.5 / 2.8  (2)
ermost_Rewriting/Frederiksen_Others/dup1_typed.xml ?/n^1 0.8 / 0.5  (-) ?/n^1 0.8 / 0.6  (2) ?/n^1 7.3 / 3.0  (2)
ermost_Rewriting/Frederiksen_Others/dup2_typed.xml ?/n^1 9.5 / 6.2  (-) ?/n^1 1.0 / 0.5  (2) ?/n^1 12.4 / 6.1  (2)
xity_Innermost_Rewriting/Frederiksen_Others/eq.xml ?/n^1 0.0 / 0.0  (-) ?/n^1 0.2 / 0.2  (2) ?/n^1 2.5 / 2.2  (2)
ity_Innermost_Rewriting/Frederiksen_Others/ex6.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.3 / 0.2  (2) ?/n^2 3.4 / 2.0  (1)
ity_Innermost_Rewriting/Frederiksen_Others/fgh.xml . 799.6 / 298.8  (-) . 350.5 / 296.0  (0) . 434.2 / 300.0  (0)
Innermost_Rewriting/Frederiksen_Others/fghSize.xml . 650.7 / 299.6  (-) . 358.2 / 295.5  (0) . 367.4 / 284.6  (0)
_Innermost_Rewriting/Frederiksen_Others/gexgcd.xml ?/n^2 581.2 / 297.0  (-) ?/n^2 413.3 / 144.0  (1) ?/n^1 98.4 / 40.4  (2)
Innermost_Rewriting/Frederiksen_Others/gexgcd2.xml . 480.5 / 299.6  (-) . 254.5 / 161.4  (0) . 39.4 / 21.8  (0)
ewriting/Frederiksen_Others/graphcolour1_typed.xml . 524.3 / 300.0  (-) . 765.2 / 296.2  (0) . 534.0 / 300.1  (0)
ting/Frederiksen_Others/graphcolour2Size_typed.xml . 641.0 / 298.5  (-) . 823.2 / 296.2  (0) . 580.2 / 300.0  (0)
ewriting/Frederiksen_Others/graphcolour2_typed.xml . 484.1 / 298.3  (-) . 678.9 / 296.3  (0) . 438.1 / 300.1  (0)
ewriting/Frederiksen_Others/graphcolour3_typed.xml . 460.7 / 298.4  (-) . 444.2 / 297.0  (0) . 493.4 / 300.0  (0)
Innermost_Rewriting/Frederiksen_Others/inssort.xml . 663.7 / 298.3  (-) ?/n^2 14.0 / 8.1  (2) ?/n^2 10.2 / 10.6  (2)
st_Rewriting/Frederiksen_Others/inssort_better.xml . 424.6 / 299.3  (-) ?/n^2 10.9 / 3.8  (2) ?/n^2 13.3 / 8.1  (2)
y_Innermost_Rewriting/Frederiksen_Others/match.xml ?/n^2 10.1 / 5.6  (-) ?/n^2 2.9 / 1.5  (2) ?/n^2 7.8 / 6.4  (2)
rmost_Rewriting/Frederiksen_Others/minsortSize.xml . 622.5 / 298.9  (-) . 103.8 / 48.5  (0) . 23.6 / 15.2  (0)
ermost_Rewriting/Frederiksen_Others/ocall-safe.xml ?/n^1 0.4 / 0.3  (-) ?/n^1 0.1 / 0.1  (2) ?/n^1 4.8 / 2.5  (2)
most_Rewriting/Frederiksen_Others/ocall-unsafe.xml ?/n^1 0.1 / 0.6  (-) ?/n^1 0.7 / 1.2  (2) ?/n^1 4.5 / 2.8  (2)
Innermost_Rewriting/Frederiksen_Others/oddeven.xml ?/n^1 0.0 / 0.0  (-) ?/n^1 0.1 / 0.1  (2) ?/n^2 2.7 / 1.8  (1)
_Innermost_Rewriting/Frederiksen_Others/permut.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (2) ?/n^1 2.6 / 2.5  (2)
y_Innermost_Rewriting/Frederiksen_Others/power.xml . 434.8 / 298.6  (-) . 35.0 / 15.7  (0) . 25.4 / 14.9  (0)
st_Rewriting/Frederiksen_Others/quicksortPtime.xml . 539.6 / 298.5  (-) . 384.5 / 237.3  (0) ?/n^2 55.9 / 27.2  (2)
ost_Rewriting/Frederiksen_Others/quicksortSize.xml . 572.4 / 299.0  (-) . 738.2 / 296.2  (0) . 613.6 / 300.0  (0)
y_Innermost_Rewriting/Frederiksen_Others/reach.xml . 582.3 / 298.7  (-) . 691.4 / 296.4  (0) . 657.5 / 300.0  (0)
Innermost_Rewriting/Frederiksen_Others/rematch.xml . 499.5 / 300.0  (-) . 819.9 / 297.2  (0) . 631.4 / 300.0  (0)
nnermost_Rewriting/Frederiksen_Others/strmatch.xml ?/n^2 40.8 / 19.6  (-) ?/n^2 14.1 / 6.9  (2) ?/n^2 25.6 / 12.8  (2)
most_Rewriting/Frederiksen_Others/thetrickSize.xml ?/n^2 76.0 / 36.3  (-) ?/n^1 5.1 / 5.1  (2) ?/n^1 17.6 / 9.3  (2)
_Complexity_Innermost_Rewriting/GTSSK07/cade01.xml . 528.9 / 298.2  (-) . 28.8 / 15.5  (0) . 7.5 / 4.2  (0)
_Complexity_Innermost_Rewriting/GTSSK07/cade03.xml . 640.7 / 298.2  (-) . 47.9 / 25.1  (0) . 10.7 / 6.1  (0)
Complexity_Innermost_Rewriting/GTSSK07/cade04t.xml . 422.7 / 298.6  (-) . 31.7 / 15.0  (0) . 6.6 / 4.4  (0)
Complexity_Innermost_Rewriting/GTSSK07/cade05t.xml . 704.3 / 298.4  (-) . 746.9 / 296.3  (0) . 231.8 / 300.0  (0)
_Complexity_Innermost_Rewriting/GTSSK07/cade06.xml . 627.8 / 298.6  (-) . 698.4 / 296.2  (0) . 337.6 / 300.0  (0)
_Complexity_Innermost_Rewriting/GTSSK07/cade07.xml . 721.7 / 298.3  (-) . 84.5 / 50.0  (0) . 57.3 / 53.2  (0)
_Complexity_Innermost_Rewriting/GTSSK07/cade08.xml . 669.6 / 299.4  (-) . 391.9 / 296.3  (0) . 421.9 / 300.0  (0)
_Complexity_Innermost_Rewriting/GTSSK07/cade09.xml . 650.6 / 298.2  (-) . 861.9 / 296.3  (0) . 286.7 / 300.0  (0)
_Complexity_Innermost_Rewriting/GTSSK07/cade10.xml . 484.9 / 298.8  (-) . 638.2 / 296.0  (0) . 70.8 / 64.5  (0)
_Complexity_Innermost_Rewriting/GTSSK07/cade11.xml . 604.1 / 298.2  (-) . 42.4 / 23.2  (0) . 7.5 / 3.9  (0)
Complexity_Innermost_Rewriting/GTSSK07/cade12t.xml . 555.7 / 300.0  (-) . 692.2 / 296.2  (0) . 725.6 / 300.1  (0)
Complexity_Innermost_Rewriting/GTSSK07/cade13t.xml . 790.2 / 298.3  (-) . 51.7 / 22.7  (0) . 30.5 / 31.3  (0)
_Complexity_Innermost_Rewriting/GTSSK07/cade14.xml . 633.4 / 299.2  (-) . 86.2 / 53.9  (0) . 20.0 / 10.5  (0)
_Complexity_Innermost_Rewriting/GTSSK07/cade15.xml . 539.8 / 298.6  (-) . 341.8 / 244.1  (0) . 390.1 / 300.0  (0)
_Complexity_Innermost_Rewriting/GTSSK07/cade16.xml . 637.4 / 299.3  (-) . 179.3 / 80.4  (0) . 102.5 / 59.9  (0)
_Complexity_Innermost_Rewriting/GTSSK07/cade17.xml . 752.7 / 298.6  (-) . 551.0 / 296.4  (0) . 636.0 / 300.0  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/n002.xml . 16.2 / 5.4  (-) . 16.0 / 8.1  (0) . 2.5 / 2.2  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/n003.xml . 30.3 / 17.8  (-) . 14.7 / 8.1  (0) . 3.0 / 3.6  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/n004.xml . 18.2 / 5.4  (-) . 16.1 / 8.1  (0) . 2.7 / 7.5  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/n005.xml . 548.4 / 298.2  (-) . 11.6 / 8.8  (0) . 3.1 / 1.8  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/n006.xml . 122.0 / 63.6  (-) . 14.9 / 8.0  (0) . 2.6 / 2.5  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/n007.xml . 194.3 / 101.3  (-) . 8.0 / 4.4  (0) . 2.7 / 2.3  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/t001.xml . 358.7 / 298.9  (-) . 517.8 / 296.5  (0) . 653.5 / 300.0  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/t002.xml . 401.2 / 298.5  (-) . 426.6 / 296.2  (0) . 733.2 / 300.0  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/t003.xml . 663.2 / 300.0  (-) . 607.8 / 296.3  (0) . 387.6 / 300.1  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/t004.xml . 818.8 / 299.0  (-) . 155.5 / 72.6  (0) . 224.7 / 287.9  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/t009.xml . 538.9 / 298.3  (-) . 533.7 / 296.4  (0) . 735.8 / 300.0  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/t011.xml ?/n^1 0.6 / 0.5  (-) ?/n^1 0.2 / 0.1  (2) ?/n^2 2.6 / 1.9  (1)
Innermost_Rewriting/HirokawaMiddeldorp_04/t012.xml . 586.7 / 298.4  (-) . 612.0 / 296.2  (0) . 209.9 / 140.4  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/t013.xml . 714.1 / 298.5  (-) . 67.0 / 35.3  (0) . 258.3 / 251.1  (0)
Innermost_Rewriting/HirokawaMiddeldorp_04/t014.xml ?/n^2 44.3 / 25.6  (-) ?/n^2 4.8 / 2.3  (2) ?/n^2 25.2 / 13.2  (2)
ty_Innermost_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.xml . 689.6 / 299.2  (-) . 486.6 / 296.1  (0) . 15.2 / 9.1  (0)
mplexity_Innermost_Rewriting/Mixed_TRS/fossacs.xml . 525.3 / 299.2  (-) . 145.4 / 68.9  (0) . 368.3 / 300.0  (0)
e_Complexity_Innermost_Rewriting/Mixed_TRS/gcd.xml . 579.3 / 298.4  (-) . 662.7 / 296.3  (0) . 570.6 / 300.0  (0)
lexity_Innermost_Rewriting/Mixed_TRS/gcdMinMax.xml . 562.6 / 298.4  (-) . 719.5 / 296.1  (0) . 576.4 / 300.0  (0)
exity_Innermost_Rewriting/Mixed_TRS/gcd_triple.xml . 344.3 / 298.2  (-) . 600.7 / 296.3  (0) . 574.8 / 300.0  (0)
_Innermost_Rewriting/Mixed_TRS/hydra-Zantema06.xml . 551.7 / 298.8  (-) . 740.9 / 296.2  (0) . 578.2 / 300.0  (0)
Complexity_Innermost_Rewriting/Mixed_TRS/hydra.xml ?/n^2 1.5 / 0.6  (-) ?/n^1 1.7 / 0.9  (2) ?/n^1 3.6 / 2.2  (2)
omplexity_Innermost_Rewriting/Mixed_TRS/jones1.xml ?/n^1 0.1 / 0.3  (-) ?/n^1 0.3 / 0.4  (2) ?/n^1 2.7 / 5.7  (2)
omplexity_Innermost_Rewriting/Mixed_TRS/jones2.xml ?/n^2 0.6 / 0.3  (-) ?/n^1 1.7 / 0.8  (2) ?/n^2 3.4 / 2.9  (1)
omplexity_Innermost_Rewriting/Mixed_TRS/jones4.xml ?/n^1 0.0 / 0.0  (-) ?/n^1 0.1 / 0.1  (2) ?/n^1 2.9 / 1.9  (2)
omplexity_Innermost_Rewriting/Mixed_TRS/jones5.xml . 606.0 / 299.7  (-) . 12.9 / 11.1  (0) . 3.5 / 2.0  (0)
omplexity_Innermost_Rewriting/Mixed_TRS/jones6.xml ?/n^1 1.3 / 1.8  (-) ?/n^1 0.4 / 0.3  (2) ?/n^1 3.9 / 5.7  (2)
mplexity_Innermost_Rewriting/Mixed_TRS/minsort.xml . 561.5 / 298.8  (-) . 730.6 / 296.2  (0) . 207.6 / 300.0  (0)
mplexity_Innermost_Rewriting/Mixed_TRS/perfect.xml ?/n^1 24.7 / 19.7  (-) ?/n^1 0.9 / 0.5  (2) . 8.2 / 4.7  (0)
plexity_Innermost_Rewriting/Mixed_TRS/perfect2.xml . 624.7 / 299.0  (-) . 562.4 / 296.8  (0) . 367.4 / 300.1  (0)
Complexity_Innermost_Rewriting/Mixed_TRS/test1.xml . 587.6 / 299.3  (-) . 12.3 / 6.4  (0) . 3.5 / 2.4  (0)
Complexity_Innermost_Rewriting/Mixed_TRS/while.xml . 597.2 / 299.2  (-) . 24.7 / 13.4  (0) . 7.6 / 4.3  (0)
mplexity_Innermost_Rewriting/Rubio_04/bintrees.xml ?/n^1 0.6 / 0.3  (-) ?/n^2 3.1 / 1.3  (2) ?/n^2 8.2 / 8.5  (2)
_Complexity_Innermost_Rewriting/Rubio_04/bn122.xml ?/n^2 18.0 / 18.1  (-) ?/n^2 1.1 / 0.7  (2) ?/n^2 4.8 / 3.5  (2)
mplexity_Innermost_Rewriting/Rubio_04/division.xml ?/n^3 84.1 / 42.0  (-) ?/n^3 46.2 / 15.2  (2) ?/n^3 24.2 / 9.2  (2)
mplexity_Innermost_Rewriting/Rubio_04/elimdupl.xml ?/n^3 70.9 / 39.4  (-) ?/n^2 38.2 / 12.7  (2) ?/n^2 18.6 / 7.4  (2)
e_Complexity_Innermost_Rewriting/Rubio_04/enno.xml . 703.4 / 298.3  (-) ?/n^2 48.5 / 24.5  (2) ?/n^2 36.0 / 17.8  (2)
me_Complexity_Innermost_Rewriting/Rubio_04/gcd.xml . 606.1 / 298.6  (-) ?/n^2 16.2 / 6.3  (2) ?/n^2 15.1 / 6.6  (2)
ime_Complexity_Innermost_Rewriting/Rubio_04/gm.xml ?/n^1 3.6 / 1.9  (-) ?/n^1 0.5 / 0.3  (2) ?/n^2 9.4 / 7.3  (1)
e_Complexity_Innermost_Rewriting/Rubio_04/gmnp.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.3 / 0.2  (2) ?/n^1 3.8 / 2.2  (2)
e_Complexity_Innermost_Rewriting/Rubio_04/koen.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 0.6 / 0.9  (2) ?/n^1 2.6 / 1.8  (2)
plexity_Innermost_Rewriting/Rubio_04/logarquot.xml ?/n^2 35.9 / 22.0  (-) ?/n^2 18.0 / 8.4  (2) ?/n^2 16.1 / 7.3  (2)
e_Complexity_Innermost_Rewriting/Rubio_04/ma96.xml . 610.9 / 298.9  (-) . 403.6 / 296.2  (0) . 365.8 / 300.1  (0)
_Complexity_Innermost_Rewriting/Rubio_04/mfp95.xml ?/n^1 0.2 / 0.2  (-) ?/n^0 0.0 / 0.0  (2) ?/n^1 2.5 / 2.1  (1)
omplexity_Innermost_Rewriting/Rubio_04/nestrec.xml . 394.5 / 300.1  (-) . 163.6 / 188.9  (0) . 5.9 / 4.1  (0)
e_Complexity_Innermost_Rewriting/Rubio_04/p266.xml ?/n^1 0.4 / 0.2  (-) ?/n^0 0.6 / 1.1  (2) ?/n^1 3.2 / 1.8  (1)
_Complexity_Innermost_Rewriting/Rubio_04/polo2.xml ?/n^1 15.1 / 8.6  (-) ?/n^1 9.6 / 4.3  (2) ?/n^1 4.1 / 3.0  (2)
e_Complexity_Innermost_Rewriting/Rubio_04/prov.xml ?/n^1 1.3 / 0.6  (-) ?/n^1 0.3 / 0.2  (2) ?/n^1 5.5 / 9.9  (2)
_Complexity_Innermost_Rewriting/Rubio_04/quick.xml . 637.0 / 298.5  (-) . 573.9 / 296.5  (0) . 672.5 / 300.0  (0)
plexity_Innermost_Rewriting/Rubio_04/quotminus.xml . 609.9 / 298.7  (-) . 34.1 / 16.9  (0) . 315.1 / 300.0  (0)
omplexity_Innermost_Rewriting/Rubio_04/revlist.xml . 684.9 / 299.7  (-) . 494.9 / 296.3  (0) . 556.0 / 300.0  (0)
omplexity_Innermost_Rewriting/Rubio_04/selsort.xml . 585.9 / 299.0  (-) . 588.2 / 296.4  (0) . 445.4 / 300.0  (0)
_Complexity_Innermost_Rewriting/Rubio_04/test4.xml ?/n^1 0.3 / 0.3  (-) ?/n^1 0.1 / 0.2  (2) ?/n^3 9.0 / 5.9  (1)
omplexity_Innermost_Rewriting/Rubio_04/test829.xml ?/n^1 0.0 / 0.0  (-) ?/n^1 0.7 / 1.1  (2) ?/n^1 3.2 / 2.3  (2)
_Complexity_Innermost_Rewriting/Rubio_04/wst99.xml . 586.9 / 298.8  (-) . 90.7 / 49.4  (0) ?/n^2 21.4 / 9.6  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.02.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 0.2 / 0.5  (2) . 11.8 / 12.9  (0)
ntime_Complexity_Innermost_Rewriting/SK90/2.03.xml ?/n^1 0.0 / 0.0  (-) ?/n^1 0.2 / 0.1  (2) ?/n^1 3.0 / 1.9  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.07.xml ?/n^2 10.8 / 6.3  (-) ?/n^1 5.7 / 2.2  (2) ?/n^1 12.4 / 7.2  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.09.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (2) ?/n^1 2.5 / 3.2  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.11.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 0.1 / 0.1  (2) ?/n^1 2.5 / 2.2  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.12.xml . 575.3 / 298.2  (-) ?/n^3 41.4 / 15.5  (2) ?/n^3 17.3 / 9.0  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.13.xml ?/n^1 6.9 / 7.3  (-) ?/n^1 1.9 / 2.1  (2) ?/n^1 2.8 / 2.1  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.14.xml ?/n^1 0.1 / 0.0  (-) ?/n^1 1.1 / 1.9  (2) ?/n^1 4.7 / 3.6  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.15.xml . 602.3 / 298.4  (-) . 10.5 / 3.2  (0) . 4.0 / 2.6  (0)
ntime_Complexity_Innermost_Rewriting/SK90/2.16.xml ?/n^2 24.8 / 11.2  (-) ?/n^2 8.8 / 2.9  (2) ?/n^2 7.8 / 3.5  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.17.xml ?/n^1 2.6 / 1.9  (-) ?/n^1 0.3 / 0.1  (2) ?/n^1 3.1 / 7.7  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.18.xml ?/n^2 3.3 / 2.0  (-) ?/n^2 3.2 / 1.3  (2) ?/n^2 4.3 / 3.4  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.19.xml ?/n^2 48.9 / 22.2  (-) ?/n^2 8.4 / 3.2  (2) ?/n^2 10.1 / 4.3  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.20.xml ?/n^1 1.7 / 1.3  (-) ?/n^1 0.3 / 0.2  (2) ?/n^3 3.0 / 4.7  (1)
ntime_Complexity_Innermost_Rewriting/SK90/2.21.xml . 540.6 / 276.0  (-) . 9.7 / 4.9  (0) . 3.3 / 2.6  (0)
ntime_Complexity_Innermost_Rewriting/SK90/2.22.xml ?/n^2 1.5 / 0.8  (-) ?/n^2 3.1 / 1.6  (2) ?/n^2 5.5 / 3.3  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.23.xml . 737.5 / 298.5  (-) . 54.1 / 24.6  (0) . 17.2 / 8.5  (0)
ntime_Complexity_Innermost_Rewriting/SK90/2.24.xml . 165.1 / 89.4  (-) . 7.9 / 3.3  (0) . 3.3 / 7.4  (0)
ntime_Complexity_Innermost_Rewriting/SK90/2.25.xml . 466.4 / 299.3  (-) . 24.5 / 12.6  (0) . 9.9 / 6.7  (0)
ntime_Complexity_Innermost_Rewriting/SK90/2.26.xml . 822.6 / 298.7  (-) . 190.9 / 109.9  (0) . 362.1 / 172.1  (0)
ntime_Complexity_Innermost_Rewriting/SK90/2.27.xml . 685.3 / 298.4  (-) . 445.2 / 296.1  (0) . 86.6 / 75.7  (0)
ntime_Complexity_Innermost_Rewriting/SK90/2.28.xml . 423.0 / 298.5  (-) . 12.9 / 6.3  (0) . 5.2 / 4.7  (0)
ntime_Complexity_Innermost_Rewriting/SK90/2.29.xml ?/n^1 3.6 / 2.2  (-) ?/n^1 0.8 / 0.4  (2) ?/n^1 4.5 / 2.9  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.30.xml ?/n^1 0.2 / 0.1  (-) ?/n^0 0.6 / 0.5  (2) ?/n^0 2.4 / 1.8  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.31.xml ?/n^1 0.6 / 0.5  (-) ?/n^1 0.6 / 0.4  (2) ?/n^1 5.3 / 6.0  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.36.xml ?/n^1 0.4 / 0.5  (-) ?/n^1 1.5 / 1.7  (2) ?/n^1 3.3 / 5.7  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.37.xml ?/n^1 0.5 / 0.4  (-) ?/n^1 0.0 / 0.0  (2) ?/n^1 2.6 / 2.4  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.38.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 0.1 / 0.1  (2) ?/n^1 4.7 / 2.8  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.39.xml ?/n^2 160.6 / 83.9  (-) ?/n^2 9.9 / 4.8  (2) ?/n^2 4.7 / 4.2  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.40.xml ?/n^1 0.3 / 0.2  (-) ?/n^1 0.4 / 0.2  (2) ?/n^1 9.3 / 6.9  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.41.xml ?/n^1 0.3 / 0.4  (-) ?/n^1 0.5 / 0.4  (2) ?/n^1 5.2 / 6.2  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.42.xml ?/n^1 0.4 / 0.3  (-) ?/n^1 0.2 / 0.2  (2) ?/n^2 18.2 / 10.3  (1)
ntime_Complexity_Innermost_Rewriting/SK90/2.43.xml . 387.5 / 299.4  (-) . 459.5 / 225.4  (0) . 43.0 / 26.4  (0)
ntime_Complexity_Innermost_Rewriting/SK90/2.44.xml ?/n^1 0.8 / 0.6  (-) ?/n^1 1.0 / 1.1  (2) ?/n^1 5.4 / 4.5  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.45.xml ?/n^1 0.6 / 0.3  (-) ?/n^1 0.9 / 1.1  (2) ?/n^1 5.3 / 3.1  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.47.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.2 / 0.2  (2) ?/n^1 2.5 / 7.3  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.48.xml ?/n^1 0.6 / 0.7  (-) ?/n^0 0.8 / 1.5  (2) ?/n^3 2.5 / 2.3  (1)
ntime_Complexity_Innermost_Rewriting/SK90/2.49.xml ?/n^1 0.1 / 0.1  (-) ?/n^0 0.4 / 0.3  (2) ?/n^1 4.7 / 2.7  (1)
ntime_Complexity_Innermost_Rewriting/SK90/2.50.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.2 / 0.3  (2) ?/n^1 2.4 / 2.0  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.51.xml . 550.6 / 298.7  (-) . 56.0 / 20.8  (0) . 8.8 / 8.3  (0)
ntime_Complexity_Innermost_Rewriting/SK90/2.52.xml . 706.0 / 298.9  (-) . 132.6 / 63.0  (0) . 282.6 / 300.0  (0)
ntime_Complexity_Innermost_Rewriting/SK90/2.53.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (2) ?/n^3 2.8 / 1.8  (1)
ntime_Complexity_Innermost_Rewriting/SK90/2.54.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.4 / 1.0  (2) ?/n^1 2.4 / 1.9  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.55.xml ?/n^1 0.4 / 0.3  (-) ?/n^1 0.2 / 0.1  (2) ?/n^1 2.4 / 1.9  (2)
ntime_Complexity_Innermost_Rewriting/SK90/2.59.xml ?/n^1 0.4 / 0.4  (-) ?/n^1 0.2 / 0.2  (2) ?/n^2 2.5 / 2.6  (1)
ntime_Complexity_Innermost_Rewriting/SK90/2.61.xml ?/n^1 45.4 / 44.1  (-) ?/n^1 1.1 / 0.6  (2) ?/n^2 19.8 / 22.3  (1)
ntime_Complexity_Innermost_Rewriting/SK90/4.05.xml ?/n^2 3.4 / 2.2  (-) ?/n^2 1.2 / 0.6  (2) ?/n^3 3.0 / 2.7  (1)
ntime_Complexity_Innermost_Rewriting/SK90/4.06.xml . 556.4 / 298.5  (-) . 27.1 / 16.7  (0) . 8.9 / 5.8  (0)
ntime_Complexity_Innermost_Rewriting/SK90/4.07.xml ?/n^1 1.1 / 0.6  (-) ?/n^0 1.2 / 1.4  (2) ?/n^1 3.7 / 2.2  (1)
ntime_Complexity_Innermost_Rewriting/SK90/4.09.xml ?/n^2 28.5 / 19.3  (-) ?/n^0 0.5 / 0.5  (2) ?/n^2 13.7 / 7.6  (1)
ntime_Complexity_Innermost_Rewriting/SK90/4.10.xml ?/n^2 2.5 / 1.0  (-) ?/n^2 7.7 / 3.1  (2) ?/n^2 2.9 / 3.3  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.12.xml ?/n^1 11.1 / 10.2  (-) ?/n^1 0.7 / 0.4  (2) ?/n^1 3.8 / 2.0  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.13.xml ?/n^4 133.2 / 60.4  (-) ?/n^3 7.1 / 3.1  (2) . 7.2 / 4.7  (0)
ntime_Complexity_Innermost_Rewriting/SK90/4.16.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.3 / 0.1  (2) ?/n^1 3.5 / 4.4  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.17.xml ?/n^3 56.1 / 23.1  (-) ?/n^3 20.0 / 8.6  (2) . 165.2 / 161.2  (0)
ntime_Complexity_Innermost_Rewriting/SK90/4.18.xml ?/n^1 2.5 / 1.9  (-) ?/n^0 0.2 / 0.2  (2) ?/n^2 3.3 / 5.8  (1)
ntime_Complexity_Innermost_Rewriting/SK90/4.22.xml . 584.3 / 298.4  (-) . 100.3 / 116.8  (0) . 12.0 / 5.5  (0)
ntime_Complexity_Innermost_Rewriting/SK90/4.24.xml . 384.3 / 298.4  (-) . 605.6 / 296.2  (0) . 593.4 / 300.0  (0)
ntime_Complexity_Innermost_Rewriting/SK90/4.25.xml ?/n^1 5.9 / 6.1  (-) ?/n^1 1.0 / 0.7  (2) ?/n^2 3.1 / 2.6  (1)
ntime_Complexity_Innermost_Rewriting/SK90/4.26.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.4 / 0.4  (2) ?/n^2 15.6 / 15.4  (1)
ntime_Complexity_Innermost_Rewriting/SK90/4.27.xml . 754.0 / 298.5  (-) . 371.4 / 296.6  (0) . 463.2 / 300.0  (0)
ntime_Complexity_Innermost_Rewriting/SK90/4.28.xml ?/n^1 9.9 / 5.9  (-) ?/n^1 3.5 / 4.0  (2) ?/n^1 6.4 / 4.4  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.29.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 2.1 / 2.3  (2) ?/n^1 3.3 / 2.0  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.30.xml ?/n^1 0.3 / 0.2  (-) ?/n^1 0.3 / 0.2  (2) ?/n^2 8.3 / 3.7  (1)
ntime_Complexity_Innermost_Rewriting/SK90/4.31.xml . 442.1 / 298.5  (-) . 39.8 / 22.3  (0) . 6.6 / 2.8  (0)
ntime_Complexity_Innermost_Rewriting/SK90/4.34.xml . 628.8 / 298.3  (-) . 39.6 / 20.3  (0) . 6.5 / 8.5  (0)
ntime_Complexity_Innermost_Rewriting/SK90/4.35.xml ?/n^1 0.2 / 0.2  (-) ?/n^0 0.3 / 0.9  (2) ?/n^2 2.5 / 1.8  (1)
ntime_Complexity_Innermost_Rewriting/SK90/4.38.xml ?/n^1 0.3 / 0.3  (-) ?/n^1 0.3 / 0.2  (2) ?/n^1 2.9 / 2.0  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.42.xml . 667.2 / 300.0  (-) . 50.1 / 28.4  (0) . 10.6 / 6.1  (0)
ntime_Complexity_Innermost_Rewriting/SK90/4.43.xml . 663.3 / 298.4  (-) . 119.8 / 83.1  (0) . 23.6 / 13.9  (0)
ntime_Complexity_Innermost_Rewriting/SK90/4.45.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (2) ?/n^1 2.5 / 2.5  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.47.xml ?/n^1 4.8 / 6.1  (-) ?/n^0 0.3 / 0.2  (2) ?/n^1 4.5 / 4.2  (1)
ntime_Complexity_Innermost_Rewriting/SK90/4.48.xml ?/n^1 3.4 / 2.6  (-) ?/n^0 0.1 / 0.1  (2) ?/n^1 3.6 / 2.1  (1)
ntime_Complexity_Innermost_Rewriting/SK90/4.51.xml ?/n^2 2.7 / 1.3  (-) ?/n^1 1.3 / 0.9  (2) ?/n^2 3.9 / 2.0  (1)
ntime_Complexity_Innermost_Rewriting/SK90/4.53.xml ?/n^2 38.5 / 21.8  (-) ?/n^1 3.6 / 1.7  (2) ?/n^1 6.5 / 2.9  (2)
ntime_Complexity_Innermost_Rewriting/SK90/4.54.xml . 594.9 / 298.7  (-) . 26.4 / 12.0  (0) . 6.5 / 3.5  (0)
ntime_Complexity_Innermost_Rewriting/SK90/4.57.xml . 343.0 / 298.4  (-) ?/n^0 3.8 / 1.5  (2) ?/n^1 9.7 / 6.6  (1)
ntime_Complexity_Innermost_Rewriting/SK90/4.59.xml . 680.2 / 298.3  (-) . 128.3 / 55.2  (0) . 11.3 / 5.0  (0)
ntime_Complexity_Innermost_Rewriting/SK90/4.60.xml . 819.9 / 298.6  (-) . 620.2 / 296.2  (0) . 298.7 / 300.0  (0)
ntime_Complexity_Innermost_Rewriting/SK90/4.61.xml . 488.6 / 299.1  (-) . 661.1 / 296.3  (0) . 595.8 / 300.0  (0)
xity_Innermost_Rewriting/Secret_05_TRS/aprove2.xml . 860.6 / 299.2  (-) . 86.8 / 51.4  (0) . 23.8 / 9.6  (0)
xity_Innermost_Rewriting/Secret_05_TRS/aprove3.xml . 586.0 / 298.6  (-) . 57.5 / 22.2  (0) . 104.7 / 92.8  (0)
xity_Innermost_Rewriting/Secret_05_TRS/aprove4.xml . 574.1 / 299.1  (-) . 39.1 / 15.3  (0) . 14.0 / 5.9  (0)
xity_Innermost_Rewriting/Secret_05_TRS/aprove5.xml . 697.4 / 298.7  (-) . 98.6 / 60.7  (0) . 280.1 / 164.9  (0)
lexity_Innermost_Rewriting/Secret_05_TRS/cime2.xml ?/n^2 26.8 / 16.8  (-) ?/n^1 13.5 / 9.6  (2) . 20.4 / 9.3  (0)
lexity_Innermost_Rewriting/Secret_05_TRS/cime3.xml . 640.6 / 299.5  (-) . 149.4 / 66.8  (0) . 55.5 / 39.2  (0)
lexity_Innermost_Rewriting/Secret_05_TRS/cime4.xml ?/n^1 2.0 / 0.9  (-) ?/n^0 1.3 / 0.7  (2) . 5.5 / 4.2  (0)
lexity_Innermost_Rewriting/Secret_05_TRS/cime5.xml . 667.2 / 298.3  (-) . 748.1 / 296.2  (0) . 497.5 / 300.1  (0)
plexity_Innermost_Rewriting/Secret_05_TRS/tpa1.xml . 558.4 / 298.3  (-) . 610.8 / 296.4  (0) . 548.0 / 300.0  (0)
plexity_Innermost_Rewriting/Secret_05_TRS/tpa2.xml . 466.3 / 298.2  (-) . 472.6 / 296.4  (0) . 437.3 / 300.0  (0)
plexity_Innermost_Rewriting/Secret_05_TRS/tpa3.xml . 504.6 / 299.8  (-) . 358.2 / 151.8  (0) . 595.3 / 300.0  (0)
plexity_Innermost_Rewriting/Secret_05_TRS/tpa4.xml . 391.0 / 298.6  (-) . 644.8 / 296.3  (0) . 615.1 / 300.1  (0)
plexity_Innermost_Rewriting/Secret_05_TRS/tpa5.xml . 333.5 / 300.0  (-) . 603.1 / 296.3  (0) . 634.7 / 300.1  (0)
plexity_Innermost_Rewriting/Secret_05_TRS/ttt1.xml . 601.7 / 299.1  (-) ?/n^0 1.1 / 0.5  (2) . 22.3 / 31.0  (0)
plexity_Innermost_Rewriting/Secret_05_TRS/ttt2.xml . 648.4 / 298.7  (-) . 45.0 / 25.1  (0) . 6.5 / 5.7  (0)
omplexity_Innermost_Rewriting/Secret_06_TRS/10.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (2) ?/n^3 54.0 / 35.4  (1)
Complexity_Innermost_Rewriting/Secret_06_TRS/4.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (2) . 15.0 / 8.9  (0)
Complexity_Innermost_Rewriting/Secret_06_TRS/6.xml ?/n^1 0.3 / 0.1  (-) ?/n^0 0.2 / 0.1  (2) . 19.2 / 16.3  (0)
xity_Innermost_Rewriting/Secret_06_TRS/addList.xml . 655.3 / 298.5  (-) . 704.9 / 296.2  (0) . 562.7 / 300.1  (0)
exity_Innermost_Rewriting/Secret_06_TRS/divExp.xml . 540.6 / 299.0  (-) . 847.3 / 296.4  (0) . 358.5 / 300.0  (0)
ity_Innermost_Rewriting/Secret_06_TRS/division.xml . 701.5 / 298.4  (-) . 121.7 / 69.2  (0) . 37.5 / 49.4  (0)
exity_Innermost_Rewriting/Secret_06_TRS/double.xml . 629.4 / 298.4  (-) . 70.7 / 37.0  (0) . 25.7 / 11.1  (0)
lexity_Innermost_Rewriting/Secret_06_TRS/gen-1.xml ?/n^1 0.1 / 0.2  (-) ?/n^0 0.1 / 0.1  (2) . 5.4 / 3.3  (0)
exity_Innermost_Rewriting/Secret_06_TRS/gen-17.xml . 381.9 / 300.0  (-) ?/n^0 1.0 / 0.7  (2) ?/n^2 25.8 / 13.8  (1)
exity_Innermost_Rewriting/Secret_06_TRS/gen-28.xml . 722.8 / 300.0  (-) . 46.6 / 25.6  (0) . 84.3 / 75.6  (0)
ty_Innermost_Rewriting/Secret_06_TRS/logarithm.xml . 690.7 / 298.4  (-) . 651.2 / 296.3  (0) . 365.1 / 300.0  (0)
ty_Innermost_Rewriting/Secret_06_TRS/nrOfNodes.xml . 601.3 / 298.7  (-) . 256.9 / 118.3  (0) . 305.2 / 225.7  (0)
xity_Innermost_Rewriting/Secret_06_TRS/reverse.xml . 825.8 / 298.5  (-) . 329.6 / 254.9  (0) . 205.2 / 158.0  (0)
xity_Innermost_Rewriting/Secret_06_TRS/sumList.xml . 586.9 / 300.0  (-) . 201.0 / 129.3  (0) . 275.2 / 143.8  (0)
lexity_Innermost_Rewriting/Secret_06_TRS/times.xml . 609.4 / 298.6  (-) . 68.6 / 44.2  (0) . 168.9 / 130.5  (0)
exity_Innermost_Rewriting/Secret_06_TRS/toList.xml . 687.5 / 299.3  (-) . 411.2 / 199.8  (0) . 584.8 / 300.1  (0)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa04.xml . 532.3 / 300.0  (-) . 668.9 / 296.2  (0) . 475.1 / 300.0  (0)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa05.xml . 556.9 / 300.0  (-) . 555.5 / 296.3  (0) . 668.0 / 300.1  (0)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa06.xml . 344.3 / 298.6  (-) . 638.5 / 296.1  (0) . 833.6 / 300.0  (0)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa07.xml . 439.2 / 298.5  (-) . 540.6 / 296.5  (0) . 616.0 / 300.0  (0)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa08.xml . 529.7 / 299.1  (-) . 594.2 / 296.2  (0) . 804.0 / 300.1  (0)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa09.xml . 483.5 / 300.0  (-) . 862.3 / 296.2  (0) . 656.6 / 300.0  (0)
lexity_Innermost_Rewriting/Secret_06_TRS/tpa10.xml . 496.1 / 298.5  (-) . 636.9 / 296.1  (0) . 663.5 / 300.0  (0)
Complexity_Innermost_Rewriting/Secret_07_TRS/3.xml . 520.1 / 298.6  (-) ?/n^2 85.1 / 37.8  (2) . 581.3 / 300.0  (0)
ity_Innermost_Rewriting/Secret_07_TRS/aprove01.xml . 726.8 / 298.7  (-) . 218.7 / 147.0  (0) . 247.0 / 218.6  (0)
ity_Innermost_Rewriting/Secret_07_TRS/aprove02.xml . 414.0 / 298.7  (-) . 123.3 / 102.9  (0) . 38.5 / 31.7  (0)
ity_Innermost_Rewriting/Secret_07_TRS/aprove03.xml . 521.6 / 298.4  (-) . 684.0 / 296.2  (0) . 418.2 / 300.0  (0)
ity_Innermost_Rewriting/Secret_07_TRS/aprove04.xml . 634.4 / 298.7  (-) . 679.0 / 296.2  (0) . 817.1 / 300.0  (0)
ity_Innermost_Rewriting/Secret_07_TRS/aprove05.xml . 724.1 / 298.6  (-) . 161.1 / 85.8  (0) . 42.9 / 21.1  (0)
ity_Innermost_Rewriting/Secret_07_TRS/aprove06.xml . 687.7 / 298.5  (-) . 239.8 / 296.2  (0) . 390.2 / 300.1  (0)
ity_Innermost_Rewriting/Secret_07_TRS/aprove07.xml . 764.4 / 299.5  (-) . 146.3 / 81.0  (0) . 46.3 / 31.2  (0)
ity_Innermost_Rewriting/Secret_07_TRS/aprove08.xml . 625.7 / 298.4  (-) . 217.7 / 122.3  (0) . 236.0 / 165.6  (0)
ity_Innermost_Rewriting/Secret_07_TRS/aprove09.xml . 471.5 / 300.0  (-) . 219.2 / 244.3  (0) . 85.2 / 56.2  (0)
ity_Innermost_Rewriting/Secret_07_TRS/aprove10.xml . 557.9 / 298.3  (-) . 655.9 / 296.3  (0) . 611.2 / 300.0  (0)
xity_Innermost_Rewriting/Secret_07_TRS/secret1.xml . 658.4 / 299.6  (-) . 435.5 / 296.1  (0) . 307.7 / 300.0  (0)
xity_Innermost_Rewriting/Secret_07_TRS/secret3.xml . 786.3 / 298.4  (-) . 92.3 / 39.3  (0) . 33.0 / 19.8  (0)
xity_Innermost_Rewriting/Secret_07_TRS/secret4.xml . 514.1 / 299.9  (-) . 598.9 / 296.2  (0) . 344.5 / 300.0  (0)
xity_Innermost_Rewriting/Secret_07_TRS/secret5.xml ?/n^1 1.3 / 0.8  (-) ?/n^1 5.2 / 6.0  (2) . 52.8 / 40.3  (0)
nnermost_Rewriting/Strategy_removed_AG01/#4.14.xml ?/n^1 6.7 / 3.2  (-) ?/n^1 0.4 / 0.4  (2) . 3.8 / 2.4  (0)
nnermost_Rewriting/Strategy_removed_AG01/#4.16.xml . 552.7 / 298.8  (-) ?/n^1 0.2 / 0.2  (2) . 3.8 / 2.8  (0)
nnermost_Rewriting/Strategy_removed_AG01/#4.17.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.0 / 0.0  (2) ?/n^1 72.2 / 46.7  (2)
nnermost_Rewriting/Strategy_removed_AG01/#4.19.xml . 755.7 / 298.5  (-) . 24.2 / 11.4  (0) . 13.7 / 17.9  (0)
Innermost_Rewriting/Strategy_removed_AG01/#4.2.xml ?/n^1 7.9 / 5.8  (-) ?/n^1 1.3 / 2.3  (2) . 4.6 / 6.8  (0)
nermost_Rewriting/Strategy_removed_AG01/#4.20a.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (2) ?/n^2 7.2 / 6.1  (1)
nnermost_Rewriting/Strategy_removed_AG01/#4.22.xml . 503.2 / 298.4  (-) . 22.3 / 10.2  (0) . 4.4 / 2.4  (0)
nnermost_Rewriting/Strategy_removed_AG01/#4.23.xml . 743.6 / 298.6  (-) . 42.3 / 23.6  (0) . 50.8 / 54.9  (0)
nnermost_Rewriting/Strategy_removed_AG01/#4.25.xml . 821.0 / 298.7  (-) . 4.6 / 3.0  (0) . 3.4 / 2.3  (0)
nnermost_Rewriting/Strategy_removed_AG01/#4.26.xml . 553.1 / 299.5  (-) . 32.6 / 15.3  (0) . 9.6 / 11.8  (0)
nnermost_Rewriting/Strategy_removed_AG01/#4.27.xml . 477.1 / 298.9  (-) . 540.1 / 296.3  (0) . 574.4 / 300.1  (0)
nnermost_Rewriting/Strategy_removed_AG01/#4.28.xml ?/n^2 56.1 / 29.4  (-) ?/n^2 17.0 / 6.8  (2) ?/n^3 15.2 / 7.1  (1)
nnermost_Rewriting/Strategy_removed_AG01/#4.29.xml . 710.3 / 300.1  (-) . 401.7 / 296.2  (0) . 568.0 / 300.0  (0)
nnermost_Rewriting/Strategy_removed_AG01/#4.30.xml . 580.1 / 298.3  (-) . 80.8 / 55.5  (0) . 29.1 / 17.2  (0)
nermost_Rewriting/Strategy_removed_AG01/#4.30a.xml . 598.0 / 300.0  (-) . 47.9 / 26.8  (0) . 31.4 / 26.9  (0)
nermost_Rewriting/Strategy_removed_AG01/#4.30b.xml . 685.1 / 298.3  (-) . 634.4 / 296.1  (0) . 87.8 / 65.1  (0)
nermost_Rewriting/Strategy_removed_AG01/#4.30c.xml . 733.0 / 298.3  (-) . 329.7 / 170.3  (0) . 40.8 / 30.1  (0)
nnermost_Rewriting/Strategy_removed_AG01/#4.32.xml ?/n^2 115.0 / 93.8  (-) ?/n^2 5.7 / 3.0  (2) ?/n^2 9.1 / 6.1  (2)
nnermost_Rewriting/Strategy_removed_AG01/#4.33.xml . 765.1 / 299.3  (-) . 566.5 / 296.3  (0) . 321.1 / 300.0  (0)
nnermost_Rewriting/Strategy_removed_AG01/#4.34.xml ?/n^2 8.6 / 4.9  (-) ?/n^2 4.0 / 1.8  (2) ?/n^2 23.4 / 10.6  (2)
nnermost_Rewriting/Strategy_removed_AG01/#4.35.xml . 756.3 / 300.0  (-) . 883.4 / 296.2  (0) . 392.3 / 300.1  (0)
nnermost_Rewriting/Strategy_removed_AG01/#4.36.xml . 648.3 / 298.6  (-) . 656.6 / 296.2  (0) . 370.3 / 300.0  (0)
nnermost_Rewriting/Strategy_removed_AG01/#4.37.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.1 / 0.1  (2) ?/n^2 3.1 / 2.0  (1)
nermost_Rewriting/Strategy_removed_AG01/#4.37a.xml ?/n^1 0.4 / 0.6  (-) ?/n^1 0.2 / 0.1  (2) ?/n^2 4.9 / 3.4  (1)
Innermost_Rewriting/Strategy_removed_AG01/#4.7.xml ?/n^1 0.5 / 0.3  (-) ?/n^0 0.2 / 0.1  (2) ?/n^1 2.6 / 4.2  (1)
_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.xml . 129.9 / 57.6  (-) . 9.8 / 8.3  (0) . 3.0 / 2.2  (0)
t_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.xml . 329.3 / 182.1  (-) . 14.9 / 8.2  (0) . 4.1 / 2.7  (0)
_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.xml . 371.0 / 298.8  (-) . 88.3 / 38.7  (0) . 12.8 / 6.7  (0)
Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml . 226.3 / 144.0  (-) . 6.2 / 3.1  (0) . 3.2 / 2.4  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.xml . 519.8 / 257.7  (-) . 23.8 / 10.5  (0) . 4.4 / 2.4  (0)
ost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.xml . 680.8 / 298.6  (-) . 200.1 / 94.5  (0) . 183.7 / 154.9  (0)
t_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.xml . 402.9 / 203.2  (-) . 13.1 / 5.8  (0) . 4.4 / 2.8  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.xml . 29.6 / 14.5  (-) . 86.9 / 45.1  (0) . 3.6 / 2.4  (0)
_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.xml . 566.5 / 299.0  (-) . 43.3 / 18.6  (0) . 28.2 / 19.1  (0)
t_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.xml . 413.6 / 226.8  (-) . 12.8 / 10.1  (0) . 3.6 / 2.0  (0)
ewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml . 166.8 / 78.3  (-) . 9.0 / 3.7  (0) . 3.5 / 2.0  (0)
_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.xml . 569.8 / 298.3  (-) . 18.2 / 8.2  (0) . 4.6 / 2.8  (0)
writing/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml . 640.6 / 298.4  (-) . 35.1 / 31.7  (0) . 258.7 / 252.8  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.xml ?/n^1 8.4 / 5.0  (-) ?/n^1 1.3 / 1.0  (2) ?/n^1 16.7 / 12.4  (2)
Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml . 592.8 / 298.5  (-) . 16.2 / 11.6  (0) . 5.1 / 2.9  (0)
writing/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml . 785.6 / 298.7  (-) . 47.5 / 32.7  (0) . 381.1 / 300.0  (0)
writing/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml . 555.5 / 298.3  (-) . 32.6 / 12.1  (0) . 10.6 / 5.9  (0)
writing/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml . 474.3 / 298.5  (-) . 7.9 / 3.9  (0) . 3.5 / 3.3  (0)
writing/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml . 14.0 / 7.9  (-) . 12.8 / 8.1  (0) . 2.5 / 2.0  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.xml . 693.5 / 298.8  (-) . 25.5 / 9.0  (0) . 5.7 / 2.8  (0)
_Rewriting/Strategy_removed_CSR_05/Ex5_7_Luc97.xml . 560.9 / 298.5  (-) . 39.9 / 15.2  (0) . 7.9 / 4.0  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.xml . 388.7 / 299.1  (-) . 18.8 / 8.6  (0) . 5.5 / 4.8  (0)
Rewriting/Strategy_removed_CSR_05/Ex6_15_AEL02.xml . 632.8 / 298.3  (-) . 43.4 / 19.5  (0) . 17.3 / 10.3  (0)
Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml . 506.2 / 298.0  (-) . 27.2 / 13.9  (0) . 3.5 / 2.6  (0)
ost_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.xml . 469.3 / 261.2  (-) . 17.2 / 8.1  (0) . 5.1 / 3.5  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.xml . 221.5 / 103.3  (-) . 8.0 / 4.1  (0) . 3.4 / 2.6  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.xml . 430.6 / 258.7  (-) . 20.9 / 10.7  (0) . 3.9 / 2.2  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.xml . 455.0 / 298.8  (-) . 28.6 / 12.6  (0) . 25.0 / 14.3  (0)
st_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.xml . 712.8 / 298.4  (-) . 52.0 / 28.1  (0) . 17.2 / 10.9  (0)
ting/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml . 509.5 / 298.5  (-) . 147.2 / 83.9  (0) . 22.8 / 14.2  (0)
Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.xml . 26.6 / 11.4  (-) . 14.8 / 8.1  (0) . 2.5 / 1.8  (0)
ewriting/Strategy_removed_CSR_05/ExIntrod_GM01.xml . 607.6 / 298.4  (-) . 56.0 / 32.3  (0) . 12.0 / 6.4  (0)
ewriting/Strategy_removed_CSR_05/ExIntrod_GM04.xml . 584.0 / 298.5  (-) . 38.0 / 22.3  (0) . 11.5 / 6.1  (0)
ewriting/Strategy_removed_CSR_05/ExIntrod_GM99.xml . 695.6 / 300.0  (-) . 409.8 / 296.1  (0) . 195.3 / 107.4  (0)
writing/Strategy_removed_CSR_05/ExIntrod_Zan97.xml . 336.8 / 298.9  (-) . 763.6 / 296.2  (0) . 350.1 / 300.0  (0)
ing/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml . 582.5 / 298.5  (-) . 104.3 / 43.9  (0) . 145.8 / 300.0  (0)
ermost_Rewriting/Strategy_removed_mixed_05/ex1.xml . 717.4 / 298.4  (-) . 14.8 / 8.0  (0) . 3.8 / 2.1  (0)
ermost_Rewriting/Strategy_removed_mixed_05/ex2.xml . 623.8 / 298.4  (-) . 10.2 / 6.4  (0) . 6.0 / 4.6  (0)
ermost_Rewriting/Strategy_removed_mixed_05/ex3.xml . 666.5 / 298.2  (-) . 15.1 / 8.3  (0) . 4.6 / 3.6  (0)
ermost_Rewriting/Strategy_removed_mixed_05/ex4.xml . 627.3 / 298.4  (-) . 26.9 / 12.4  (0) . 4.1 / 3.3  (0)
ermost_Rewriting/Strategy_removed_mixed_05/ex5.xml . 604.7 / 298.3  (-) . 17.6 / 8.0  (0) . 3.6 / 3.0  (0)
ermost_Rewriting/Strategy_removed_mixed_05/ex6.xml . 432.0 / 298.5  (-) . 32.5 / 14.7  (0) . 8.9 / 5.2  (0)
ost_Rewriting/Strategy_removed_mixed_05/muladd.xml . 583.9 / 298.5  (-) . 49.2 / 26.3  (0) . 280.8 / 300.0  (0)
ost_Rewriting/Strategy_removed_mixed_05/test10.xml . 548.8 / 298.2  (-) . 18.3 / 9.3  (0) . 5.0 / 3.6  (0)
ost_Rewriting/Strategy_removed_mixed_05/test76.xml . 618.9 / 298.2  (-) . 12.8 / 4.5  (0) . 5.7 / 3.0  (0)
ost_Rewriting/Strategy_removed_mixed_05/test77.xml . 635.7 / 298.5  (-) . 14.9 / 6.7  (0) . 6.1 / 3.4  (0)
st_Rewriting/Strategy_removed_mixed_05/test830.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (2) ?/n^1 6.0 / 5.0  (2)
st_Rewriting/Strategy_removed_mixed_05/tricky1.xml ?/n^2 21.4 / 11.6  (-) ?/n^0 1.0 / 1.0  (2) ?/n^2 17.9 / 6.7  (1)
xity_Innermost_Rewriting/TCT_12/polycounter-10.xml . 620.3 / 298.8  (-) . 438.4 / 221.9  (0) . 25.3 / 12.9  (0)
exity_Innermost_Rewriting/TCT_12/polycounter-5.xml ?/n^5 61.7 / 33.8  (-) ?/n^5 32.7 / 15.8  (2) . 9.1 / 6.6  (0)
lexity_Innermost_Rewriting/TCT_12/recursion-10.xml . 689.3 / 298.2  (-) . 236.5 / 122.8  (0) . 10.2 / 16.0  (0)
plexity_Innermost_Rewriting/TCT_12/recursion-5.xml . 616.7 / 298.3  (-) . 103.6 / 55.1  (0) . 6.4 / 3.6  (0)
time_Complexity_Innermost_Rewriting/TCT_12/sat.xml ?/n^2 34.5 / 19.9  (-) ?/n^2 32.9 / 16.0  (2) ?/n^2 38.0 / 19.6  (2)
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_C.xml . 632.2 / 298.3  (-) . 621.6 / 296.4  (0) . 617.6 / 300.0  (0)
st_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.xml . 675.7 / 298.7  (-) . 58.8 / 37.2  (0) . 26.3 / 18.4  (0)
st_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.xml ?/n^3 37.3 / 17.9  (-) ?/n^3 15.3 / 6.2  (2) . 9.0 / 5.8  (0)
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.xml . 13.2 / 5.4  (-) . 9.9 / 8.5  (0) . 2.7 / 1.9  (0)
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.xml . 608.0 / 298.8  (-) . 102.5 / 57.8  (0) . 16.6 / 6.6  (0)
most_Rewriting/Transformed_CSR_04/Ex14_Luc06_C.xml . 889.9 / 300.0  (-) . 349.9 / 296.1  (0) . 538.3 / 300.0  (0)
ost_Rewriting/Transformed_CSR_04/Ex14_Luc06_GM.xml . 659.9 / 298.3  (-) . 170.9 / 91.2  (0) . 17.5 / 9.3  (0)
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_C.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.3 / 0.3  (2) ?/n^1 94.4 / 47.3  (2)
ost_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.6 / 1.1  (2) ?/n^2 7.7 / 5.1  (1)
ost_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.2 / 0.2  (2) ?/n^2 4.5 / 5.1  (1)
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.xml . 12.3 / 5.1  (-) . 15.1 / 8.2  (0) . 2.3 / 1.6  (0)
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.xml ?/n^1 0.1 / 0.0  (-) ?/n^1 1.1 / 1.7  (2) ?/n^1 3.8 / 2.7  (2)
most_Rewriting/Transformed_CSR_04/Ex15_Luc98_C.xml . 734.7 / 298.4  (-) . 640.1 / 296.4  (0) . 726.8 / 300.0  (0)
ost_Rewriting/Transformed_CSR_04/Ex15_Luc98_FR.xml . 547.6 / 298.5  (-) . 42.7 / 41.2  (0) . 21.6 / 14.0  (0)
ost_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.xml ?/n^1 8.6 / 4.2  (-) ?/n^1 1.9 / 1.3  (2) ?/n^1 26.4 / 10.6  (2)
most_Rewriting/Transformed_CSR_04/Ex15_Luc98_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.3  (0) . 0.3 / 0.3  (0)
most_Rewriting/Transformed_CSR_04/Ex15_Luc98_Z.xml . 317.4 / 159.3  (-) . 26.1 / 9.6  (0) . 7.6 / 3.9  (0)
most_Rewriting/Transformed_CSR_04/Ex16_Luc06_C.xml . 667.5 / 300.0  (-) . 721.2 / 296.2  (0) . 519.9 / 300.0  (0)
ost_Rewriting/Transformed_CSR_04/Ex16_Luc06_GM.xml . 697.7 / 300.1  (-) . 11.5 / 5.6  (0) . 5.6 / 5.2  (0)
most_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.xml . 21.0 / 7.5  (-) . 15.5 / 8.1  (0) . 2.6 / 2.2  (0)
most_Rewriting/Transformed_CSR_04/Ex18_Luc06_C.xml ?/n^1 0.9 / 1.5  (-) ?/n^1 0.4 / 0.2  (2) ?/n^1 64.5 / 49.2  (2)
ost_Rewriting/Transformed_CSR_04/Ex18_Luc06_FR.xml ?/n^1 0.7 / 1.1  (-) ?/n^1 0.3 / 0.3  (2) ?/n^2 5.6 / 9.2  (1)
ost_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.xml ?/n^1 0.2 / 0.6  (-) ?/n^1 0.3 / 0.2  (2) ?/n^2 5.1 / 3.4  (1)
most_Rewriting/Transformed_CSR_04/Ex18_Luc06_Z.xml ?/n^1 0.0 / 0.0  (-) ?/n^0 0.2 / 0.8  (2) ?/n^3 2.9 / 3.0  (1)
ost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_C.xml . 495.8 / 300.0  (-) . 683.4 / 296.6  (0) . 686.4 / 300.0  (0)
st_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_FR.xml ?/n^1 22.1 / 21.9  (-) ?/n^1 1.3 / 0.6  (2) ?/n^2 27.1 / 29.0  (1)
st_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.xml . 629.1 / 298.8  (-) . 750.4 / 296.1  (0) . 296.8 / 300.1  (0)
ost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.3 / 0.4  (0)
ost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_Z.xml ?/n^2 5.2 / 2.4  (-) ?/n^2 11.5 / 4.2  (2) ?/n^2 20.9 / 14.8  (2)
st_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_C.xml . 503.8 / 298.4  (-) . 530.7 / 296.2  (0) . 365.5 / 300.0  (0)
t_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml ?/n^1 1.8 / 1.5  (-) ?/n^1 0.6 / 0.5  (2) ?/n^1 4.2 / 2.8  (2)
t_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml . 640.8 / 298.3  (-) . 35.1 / 16.0  (0) . 7.1 / 4.1  (0)
st_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.3 / 0.2  (0)
st_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml ?/n^1 0.9 / 0.5  (-) ?/n^0 3.1 / 3.5  (2) ?/n^2 4.4 / 8.3  (1)
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_C.xml . 618.6 / 298.5  (-) . 659.5 / 296.2  (0) . 586.7 / 300.0  (0)
most_Rewriting/Transformed_CSR_04/Ex1_GL02a_FR.xml . 452.4 / 300.0  (-) . 503.5 / 296.2  (0) . 296.4 / 300.0  (0)
most_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.xml ?/n^1 11.4 / 8.5  (-) ?/n^1 2.9 / 3.0  (2) ?/n^1 24.1 / 27.2  (2)
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.xml . 25.0 / 15.9  (-) . 15.1 / 8.3  (0) . 3.2 / 3.1  (0)
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_Z.xml . 717.0 / 298.5  (-) . 691.8 / 296.2  (0) . 464.1 / 300.0  (0)
ermost_Rewriting/Transformed_CSR_04/Ex1_GM03_C.xml . 506.7 / 300.1  (-) . 582.9 / 296.6  (0) . 527.9 / 300.0  (0)
rmost_Rewriting/Transformed_CSR_04/Ex1_GM03_FR.xml ?/n^2 59.7 / 39.8  (-) ?/n^1 13.0 / 7.1  (2) ?/n^3 19.6 / 11.0  (1)
rmost_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.xml . 843.8 / 300.0  (-) . 878.4 / 296.3  (0) . 342.0 / 300.0  (0)
ermost_Rewriting/Transformed_CSR_04/Ex1_GM03_L.xml . 0.1 / 0.1  (-) . 0.1 / 0.2  (0) . 0.3 / 0.3  (0)
ermost_Rewriting/Transformed_CSR_04/Ex1_GM03_Z.xml . 649.9 / 300.0  (-) . 180.1 / 126.6  (0) . 16.7 / 10.0  (0)
ermost_Rewriting/Transformed_CSR_04/Ex1_GM99_C.xml . 579.9 / 298.3  (-) . 328.1 / 296.1  (0) . 489.9 / 300.0  (0)
rmost_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.xml . 451.4 / 299.3  (-) . 82.1 / 42.2  (0) . 9.0 / 6.7  (0)
ermost_Rewriting/Transformed_CSR_04/Ex1_GM99_L.xml . 29.1 / 19.3  (-) . 12.2 / 8.1  (0) . 2.6 / 2.0  (0)
most_Rewriting/Transformed_CSR_04/Ex1_Luc02b_C.xml . 735.0 / 299.9  (-) . 684.5 / 296.2  (0) . 490.0 / 300.0  (0)
ost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_FR.xml ?/n^1 13.9 / 10.7  (-) ?/n^1 3.0 / 2.3  (2) . 15.8 / 6.1  (0)
ost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.xml . 396.7 / 298.9  (-) . 208.7 / 124.8  (0) . 18.2 / 12.9  (0)
most_Rewriting/Transformed_CSR_04/Ex1_Luc02b_L.xml . 0.0 / 0.1  (-) . 0.0 / 0.0  (0) . 0.3 / 0.2  (0)
most_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.xml ?/n^1 25.1 / 17.9  (-) ?/n^1 2.8 / 1.5  (2) ?/n^2 6.2 / 3.7  (1)
most_Rewriting/Transformed_CSR_04/Ex1_Luc04b_C.xml ?/n^1 1.2 / 0.8  (-) ?/n^1 2.4 / 1.8  (2) . 769.5 / 300.0  (0)
ost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.xml . 574.5 / 300.0  (-) . 49.1 / 21.1  (0) . 10.7 / 5.4  (0)
ost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.xml . 796.6 / 298.9  (-) . 273.7 / 296.0  (0) . 15.1 / 6.9  (0)
most_Rewriting/Transformed_CSR_04/Ex1_Luc04b_L.xml . 0.1 / 0.4  (-) . 0.0 / 0.0  (0) . 0.3 / 0.3  (0)
most_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.xml . 203.8 / 112.8  (-) . 24.8 / 10.8  (0) . 19.1 / 15.7  (0)
rmost_Rewriting/Transformed_CSR_04/Ex1_Zan97_C.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.4 / 0.3  (2) ?/n^1 68.1 / 47.1  (2)
most_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.xml . 781.8 / 298.3  (-) . 647.2 / 296.1  (0) . 10.9 / 8.3  (0)
most_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.4 / 0.2  (2) ?/n^1 2.7 / 2.4  (2)
rmost_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.xml . 12.3 / 9.9  (-) . 13.5 / 8.2  (0) . 2.6 / 1.9  (0)
most_Rewriting/Transformed_CSR_04/Ex23_Luc06_C.xml ?/n^1 1.5 / 1.7  (-) ?/n^1 0.9 / 0.8  (2) ?/n^1 89.3 / 47.1  (2)
ost_Rewriting/Transformed_CSR_04/Ex23_Luc06_FR.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.5 / 0.3  (2) ?/n^1 6.4 / 3.1  (2)
ost_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.xml ?/n^1 0.4 / 0.3  (-) ?/n^1 0.3 / 0.3  (2) ?/n^1 4.7 / 2.9  (2)
most_Rewriting/Transformed_CSR_04/Ex23_Luc06_Z.xml ?/n^1 0.3 / 0.3  (-) ?/n^0 0.1 / 0.1  (2) ?/n^1 2.9 / 6.0  (1)
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_C.xml . 717.0 / 299.0  (-) . 565.8 / 296.3  (0) . 360.1 / 300.1  (0)
most_Rewriting/Transformed_CSR_04/Ex24_GM04_FR.xml . 535.3 / 298.9  (-) . 12.7 / 6.7  (0) . 6.6 / 5.1  (0)
most_Rewriting/Transformed_CSR_04/Ex24_GM04_GM.xml . 579.0 / 300.0  (-) . 18.4 / 15.7  (0) . 7.8 / 3.9  (0)
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_L.xml . 22.1 / 15.9  (-) . 10.6 / 8.2  (0) . 2.6 / 4.8  (0)
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_Z.xml . 626.4 / 299.7  (-) . 12.1 / 5.2  (0) . 6.1 / 3.2  (0)
most_Rewriting/Transformed_CSR_04/Ex24_Luc06_C.xml . 737.0 / 300.0  (-) . 459.7 / 296.1  (0) . 545.3 / 300.0  (0)
ost_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.xml . 613.9 / 298.4  (-) . 70.3 / 49.6  (0) . 16.7 / 10.7  (0)
most_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.xml . 20.7 / 13.0  (-) . 17.9 / 8.0  (0) . 2.9 / 5.0  (0)
most_Rewriting/Transformed_CSR_04/Ex25_Luc06_C.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 1.1 / 0.8  (2) ?/n^1 76.3 / 47.5  (2)
ost_Rewriting/Transformed_CSR_04/Ex25_Luc06_FR.xml ?/n^1 0.9 / 1.0  (-) ?/n^1 1.2 / 1.3  (2) ?/n^2 9.0 / 4.0  (1)
ost_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 2.5 / 2.5  (2) ?/n^1 5.7 / 3.9  (2)
most_Rewriting/Transformed_CSR_04/Ex25_Luc06_Z.xml ?/n^1 0.8 / 1.4  (-) ?/n^0 0.6 / 0.5  (2) ?/n^1 5.2 / 2.4  (1)
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_C.xml . 659.2 / 298.6  (-) . 694.9 / 296.2  (0) . 409.0 / 300.1  (0)
st_Rewriting/Transformed_CSR_04/Ex26_Luc03b_FR.xml ?/n^1 61.2 / 48.4  (-) ?/n^1 1.4 / 0.9  (2) . 19.1 / 7.9  (0)
st_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.xml ?/n^2 78.6 / 43.6  (-) ?/n^2 118.2 / 60.7  (2) . 35.7 / 24.8  (0)
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.xml ?/n^1 0.2 / 0.1  (-) ?/n^0 0.2 / 0.2  (2) ?/n^1 2.8 / 2.0  (1)
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_Z.xml ?/n^1 5.7 / 3.5  (-) ?/n^0 3.6 / 4.2  (2) . 7.7 / 6.8  (0)
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_C.xml . 677.1 / 298.8  (-) . 546.1 / 296.5  (0) . 536.0 / 300.0  (0)
ost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_FR.xml ?/n^1 4.7 / 3.0  (-) ?/n^1 2.7 / 1.9  (2) . 44.5 / 34.2  (0)
ost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.xml . 606.6 / 298.4  (-) . 450.6 / 296.2  (0) . 156.6 / 149.8  (0)
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.xml . 455.6 / 298.9  (-) . 66.8 / 36.7  (0) . 292.0 / 300.0  (0)
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.xml . 634.0 / 298.4  (-) . 86.8 / 42.8  (0) . 266.7 / 300.0  (0)
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_C.xml . 634.7 / 298.7  (-) . 630.5 / 296.2  (0) . 599.4 / 300.1  (0)
ost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_FR.xml ?/n^3 81.0 / 31.5  (-) ?/n^3 50.7 / 26.7  (2) . 16.6 / 16.1  (0)
ost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.xml ?/n^2 104.8 / 65.7  (-) ?/n^2 46.7 / 20.1  (2) . 20.6 / 10.8  (0)
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.xml ?/n^1 0.2 / 0.1  (-) ?/n^0 0.2 / 0.2  (2) ?/n^2 3.5 / 2.5  (1)
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.xml ?/n^1 2.1 / 1.2  (-) ?/n^1 0.9 / 0.6  (2) ?/n^1 6.2 / 6.0  (2)
t_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_C.xml . 602.3 / 298.3  (-) . 573.9 / 296.2  (0) . 408.5 / 300.0  (0)
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml ?/n^1 5.7 / 5.0  (-) ?/n^1 0.8 / 0.7  (2) ?/n^1 6.5 / 4.1  (2)
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml . 748.6 / 299.8  (-) . 115.7 / 78.7  (0) . 15.0 / 10.0  (0)
t_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.2 / 0.3  (0)
t_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml ?/n^1 21.9 / 15.5  (-) ?/n^1 2.4 / 0.9  (2) ?/n^2 4.0 / 3.3  (1)
ost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_C.xml . 699.7 / 298.7  (-) . 739.7 / 296.6  (0) . 617.5 / 300.0  (0)
st_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_FR.xml . 491.3 / 299.0  (-) . 76.0 / 70.3  (0) . 18.4 / 10.7  (0)
st_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.xml . 456.9 / 299.1  (-) . 56.2 / 31.9  (0) . 20.5 / 12.4  (0)
ost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_L.xml . 0.1 / 0.2  (-) . 0.0 / 0.0  (0) . 0.3 / 0.8  (0)
ost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_Z.xml . 294.9 / 117.7  (-) . 39.1 / 20.7  (0) . 6.3 / 3.0  (0)
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml . 507.2 / 298.9  (-) . 613.2 / 296.4  (0) . 642.2 / 300.1  (0)
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml . 588.7 / 298.5  (-) . 65.9 / 42.0  (0) . 17.2 / 10.2  (0)
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml ?/n^2 23.4 / 10.4  (-) ?/n^2 60.2 / 24.5  (2) . 41.1 / 29.4  (0)
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml ?/n^1 0.4 / 0.5  (-) ?/n^0 1.0 / 1.2  (2) ?/n^1 2.7 / 2.3  (1)
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml . 407.1 / 299.0  (-) . 31.5 / 25.2  (0) . 7.3 / 11.3  (0)
rmost_Rewriting/Transformed_CSR_04/Ex49_GM04_C.xml . 613.8 / 299.5  (-) . 699.7 / 296.4  (0) . 687.1 / 300.0  (0)
most_Rewriting/Transformed_CSR_04/Ex49_GM04_FR.xml ?/n^2 54.8 / 36.3  (-) ?/n^2 19.8 / 10.5  (2) . 24.4 / 21.0  (0)
most_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.xml ?/n^2 24.1 / 12.1  (-) ?/n^2 47.8 / 17.0  (2) ?/n^2 149.1 / 136.0  (2)
rmost_Rewriting/Transformed_CSR_04/Ex49_GM04_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.3 / 0.5  (0)
rmost_Rewriting/Transformed_CSR_04/Ex49_GM04_Z.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 2.6 / 1.3  (2) ?/n^1 14.2 / 16.5  (2)
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_C.xml . 441.1 / 298.8  (-) . 429.6 / 296.3  (0) . 180.1 / 112.4  (0)
t_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml ?/n^1 0.3 / 0.4  (-) ?/n^1 0.2 / 0.2  (2) . 6.4 / 3.0  (0)
t_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml ?/n^2 7.0 / 4.6  (-) ?/n^2 4.8 / 2.4  (2) . 9.7 / 11.7  (0)
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.0 / 0.1  (2) ?/n^3 2.3 / 1.8  (1)
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml . 582.0 / 298.8  (-) . 22.0 / 7.9  (0) . 7.7 / 3.5  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml ?/n^1 0.5 / 0.5  (-) ?/n^1 0.5 / 0.3  (2) ?/n^1 107.2 / 47.1  (2)
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.6 / 0.4  (2) ?/n^2 9.9 / 5.6  (1)
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 0.9 / 0.6  (2) ?/n^2 22.0 / 7.3  (1)
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.1 / 0.1  (2) ?/n^1 4.6 / 2.5  (2)
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.4 / 0.3  (2) ?/n^1 4.7 / 3.0  (2)
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml . 496.2 / 298.6  (-) . 623.7 / 296.6  (0) . 609.6 / 300.1  (0)
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml . 418.1 / 299.0  (-) . 21.6 / 13.6  (0) . 18.6 / 10.8  (0)
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml . 584.5 / 298.6  (-) . 468.5 / 296.4  (0) . 339.8 / 300.0  (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 . 552.2 / 299.4  (-) . 321.6 / 296.2  (0) . 312.8 / 300.0  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml . 603.0 / 298.5  (-) . 752.6 / 296.2  (0) . 761.7 / 300.0  (0)
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml ?/n^1 0.7 / 1.0  (-) ?/n^1 1.0 / 1.3  (2) ?/n^1 8.6 / 10.0  (2)
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml . 668.2 / 298.2  (-) . 56.5 / 34.6  (0) . 15.1 / 8.2  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.2 / 0.3  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml ?/n^1 0.6 / 0.3  (-) ?/n^1 0.4 / 0.3  (2) ?/n^1 3.0 / 1.9  (2)
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml ?/n^1 0.3 / 0.4  (-) ?/n^1 0.4 / 0.4  (2) ?/n^1 90.7 / 48.0  (2)
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml ?/n^1 0.1 / 0.1  (-) ?/n^0 0.3 / 0.7  (2) ?/n^1 2.5 / 1.8  (1)
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 0.4 / 0.3  (2) . 5.3 / 3.2  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.2 / 0.3  (0)
ost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_C.xml . 483.8 / 298.6  (-) . 705.0 / 296.3  (0) . 677.4 / 300.0  (0)
st_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_FR.xml . 524.3 / 299.0  (-) . 669.2 / 296.1  (0) . 417.9 / 300.1  (0)
st_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.xml . 545.4 / 298.6  (-) . 622.3 / 296.3  (0) . 391.7 / 300.0  (0)
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 . 594.2 / 298.3  (-) . 592.0 / 296.1  (0) . 639.7 / 300.1  (0)
rmost_Rewriting/Transformed_CSR_04/Ex4_Zan97_C.xml . 516.8 / 298.8  (-) . 713.4 / 296.4  (0) . 429.4 / 300.0  (0)
most_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.xml . 625.9 / 298.3  (-) . 69.8 / 52.6  (0) . 11.1 / 11.0  (0)
most_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.xml . 623.8 / 298.2  (-) . 169.4 / 107.1  (0) . 17.1 / 7.8  (0)
rmost_Rewriting/Transformed_CSR_04/Ex4_Zan97_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.2 / 0.4  (0)
rmost_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.xml . 864.8 / 298.3  (-) . 348.1 / 296.1  (0) . 307.9 / 300.0  (0)
ost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_C.xml . 735.8 / 298.5  (-) . 674.3 / 296.3  (0) . 475.4 / 300.1  (0)
st_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_FR.xml . 623.1 / 298.3  (-) . 95.3 / 115.5  (0) . 32.3 / 22.4  (0)
st_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.xml . 741.7 / 299.1  (-) . 166.5 / 94.2  (0) . 42.7 / 23.0  (0)
ost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_L.xml . 0.2 / 0.1  (-) . 0.1 / 0.1  (0) . 0.3 / 0.2  (0)
ost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_Z.xml . 581.3 / 298.3  (-) . 65.3 / 56.1  (0) . 16.2 / 14.7  (0)
ost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_C.xml . 477.4 / 299.3  (-) . 636.4 / 296.3  (0) . 705.5 / 300.0  (0)
st_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_FR.xml ?/n^1 2.0 / 1.1  (-) ?/n^1 9.2 / 7.0  (2) . 37.4 / 25.9  (0)
st_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.xml . 646.9 / 298.7  (-) . 193.5 / 134.5  (0) . 29.8 / 28.3  (0)
ost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_L.xml . 0.0 / 0.1  (-) . 0.1 / 0.1  (0) . 0.3 / 0.4  (0)
ost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_Z.xml . 619.3 / 298.5  (-) . 22.7 / 8.1  (0) . 73.6 / 56.8  (0)
rmost_Rewriting/Transformed_CSR_04/Ex5_Zan97_C.xml ?/n^1 1.3 / 0.8  (-) ?/n^1 16.3 / 6.5  (2) ?/n^1 85.6 / 47.2  (2)
most_Rewriting/Transformed_CSR_04/Ex5_Zan97_FR.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.2 / 0.3  (2) ?/n^2 8.2 / 4.9  (1)
most_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.xml . 519.5 / 298.4  (-) . 145.6 / 83.6  (0) . 11.8 / 4.7  (0)
rmost_Rewriting/Transformed_CSR_04/Ex5_Zan97_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0) . 0.3 / 1.4  (0)
rmost_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.xml ?/n^1 0.7 / 0.7  (-) ?/n^1 0.3 / 0.2  (2) ?/n^1 3.2 / 3.7  (2)
st_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_C.xml . 456.3 / 300.0  (-) . 618.1 / 296.8  (0) . 759.6 / 300.1  (0)
t_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_FR.xml . 603.3 / 298.6  (-) . 119.9 / 101.3  (0) . 171.4 / 144.0  (0)
t_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.xml . 653.9 / 298.6  (-) . 490.7 / 296.2  (0) . 181.1 / 97.2  (0)
st_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0) . 0.3 / 0.2  (0)
st_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_Z.xml . 600.4 / 299.7  (-) . 145.1 / 159.6  (0) . 259.3 / 300.1  (0)
st_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_C.xml . 411.7 / 299.7  (-) . 625.6 / 296.2  (0) . 501.1 / 300.0  (0)
t_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml ?/n^1 35.2 / 25.9  (-) ?/n^1 7.9 / 3.3  (2) ?/n^1 5.7 / 2.5  (2)
t_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml . 434.9 / 300.0  (-) . 78.8 / 55.1  (0) . 19.1 / 12.1  (0)
st_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_L.xml . 0.1 / 0.4  (-) . 0.1 / 0.2  (0) . 0.2 / 0.4  (0)
st_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml ?/n^2 14.3 / 6.8  (-) ?/n^1 3.1 / 1.5  (2) ?/n^3 4.6 / 7.1  (1)
ermost_Rewriting/Transformed_CSR_04/Ex6_GM04_C.xml ?/n^1 0.3 / 0.6  (-) ?/n^1 0.6 / 0.4  (2) ?/n^3 66.2 / 35.1  (1)
rmost_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.xml . 685.3 / 299.6  (-) . 413.2 / 296.2  (0) . 5.1 / 2.6  (0)
rmost_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.xml ?/n^1 0.1 / 0.0  (-) ?/n^0 0.7 / 0.7  (2) ?/n^2 3.8 / 9.0  (1)
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_C.xml . 632.0 / 300.0  (-) . 623.0 / 296.3  (0) . 595.0 / 300.0  (0)
most_Rewriting/Transformed_CSR_04/Ex6_Luc98_FR.xml ?/n^1 0.8 / 0.5  (-) ?/n^1 1.1 / 0.8  (2) . 9.7 / 8.0  (0)
most_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.xml ?/n^2 38.2 / 19.0  (-) ?/n^2 30.0 / 23.3  (2) . 15.0 / 11.4  (0)
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.xml ?/n^1 0.3 / 0.3  (-) ?/n^0 0.3 / 0.3  (2) ?/n^1 2.6 / 1.8  (1)
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.xml ?/n^1 2.4 / 1.4  (-) ?/n^1 0.7 / 0.3  (2) ?/n^1 3.0 / 5.1  (2)
rmost_Rewriting/Transformed_CSR_04/Ex7_BLR02_C.xml . 665.0 / 298.4  (-) . 600.0 / 296.3  (0) . 725.1 / 300.0  (0)
most_Rewriting/Transformed_CSR_04/Ex7_BLR02_FR.xml ?/n^1 19.5 / 6.7  (-) ?/n^1 9.6 / 5.5  (2) . 15.8 / 7.7  (0)
most_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.xml . 536.6 / 300.0  (-) . 260.0 / 189.3  (0) . 23.6 / 29.9  (0)
rmost_Rewriting/Transformed_CSR_04/Ex7_BLR02_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.0  (0) . 0.3 / 0.8  (0)
rmost_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.xml ?/n^1 35.9 / 22.5  (-) ?/n^1 8.3 / 4.4  (2) ?/n^2 9.8 / 9.6  (1)
rmost_Rewriting/Transformed_CSR_04/Ex8_BLR02_C.xml . 726.5 / 298.9  (-) . 603.9 / 296.3  (0) . 655.5 / 300.0  (0)
most_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.xml . 588.7 / 298.7  (-) . 59.7 / 31.9  (0) . 23.2 / 15.7  (0)
most_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.xml . 755.8 / 299.6  (-) . 207.8 / 142.0  (0) . 46.4 / 30.3  (0)
rmost_Rewriting/Transformed_CSR_04/Ex8_BLR02_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.3 / 0.4  (0)
rmost_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.xml . 445.1 / 298.7  (-) . 53.2 / 23.9  (0) . 196.2 / 206.6  (0)
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_C.xml . 446.1 / 300.0  (-) . 767.6 / 296.4  (0) . 642.0 / 300.1  (0)
most_Rewriting/Transformed_CSR_04/Ex9_BLR02_FR.xml . 415.4 / 298.4  (-) . 56.4 / 28.5  (0) . 318.9 / 300.0  (0)
most_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.xml ?/n^2 220.3 / 184.4  (-) ?/n^2 71.8 / 38.2  (2) . 63.4 / 52.3  (0)
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.xml ?/n^1 1.2 / 0.9  (-) ?/n^0 0.2 / 0.2  (2) ?/n^1 7.4 / 4.2  (1)
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.xml . 635.1 / 298.8  (-) . 524.2 / 296.4  (0) . 14.7 / 13.2  (0)
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc04_C.xml . 694.3 / 298.7  (-) . 276.7 / 296.2  (0) . 450.4 / 300.0  (0)
most_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.xml . 514.7 / 299.3  (-) . 30.5 / 16.4  (0) . 10.3 / 4.4  (0)
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.xml . 89.7 / 46.4  (-) . 4.1 / 4.7  (0) . 2.5 / 2.6  (0)
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc06_C.xml . 685.1 / 300.0  (-) . 594.5 / 297.0  (0) . 458.9 / 300.1  (0)
most_Rewriting/Transformed_CSR_04/Ex9_Luc06_FR.xml . 797.8 / 298.8  (-) . 729.3 / 296.4  (0) . 190.6 / 188.5  (0)
most_Rewriting/Transformed_CSR_04/Ex9_Luc06_GM.xml ?/n^1 1.7 / 0.8  (-) ?/n^1 0.6 / 0.4  (2) ?/n^1 5.2 / 4.6  (2)
writing/Transformed_CSR_04/ExAppendixB_AEL03_C.xml . 594.5 / 300.0  (-) . 752.6 / 296.2  (0) . 712.0 / 300.0  (0)
riting/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml ?/n^1 22.0 / 16.1  (-) ?/n^1 1.8 / 1.0  (2) ?/n^2 21.1 / 13.1  (1)
riting/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml . 526.1 / 299.4  (-) . 660.6 / 296.2  (0) . 359.6 / 300.0  (0)
writing/Transformed_CSR_04/ExAppendixB_AEL03_L.xml . 0.1 / 0.0  (-) . 0.0 / 0.0  (0) . 0.3 / 0.2  (0)
writing/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml ?/n^2 298.4 / 138.4  (-) ?/n^2 90.7 / 63.4  (2) ?/n^2 57.5 / 23.9  (2)
st_Rewriting/Transformed_CSR_04/ExConc_Zan97_C.xml ?/n^1 1.8 / 2.3  (-) ?/n^1 0.6 / 0.4  (2) ?/n^3 68.4 / 43.1  (1)
t_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.2 / 0.1  (2) ?/n^1 3.4 / 3.3  (2)
t_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.2 / 0.2  (2) ?/n^1 4.7 / 10.3  (2)
st_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.xml . 52.8 / 30.6  (-) . 15.8 / 8.1  (0) . 2.7 / 3.2  (0)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM01_C.xml ?/n^1 5.2 / 4.0  (-) . 722.3 / 296.5  (0) . 410.5 / 300.0  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.xml . 688.8 / 298.8  (-) . 192.5 / 158.5  (0) . 27.4 / 19.6  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.xml . 537.6 / 298.4  (-) . 421.5 / 296.1  (0) . 26.5 / 20.0  (0)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM01_L.xml . 0.2 / 0.5  (-) . 0.0 / 0.0  (0) . 0.3 / 0.3  (0)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.xml . 661.7 / 298.6  (-) . 378.8 / 296.1  (0) . 33.9 / 25.2  (0)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM04_C.xml ?/n^1 1.0 / 0.5  (-) ?/n^1 2.7 / 1.1  (2) . 786.7 / 300.1  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.xml . 591.9 / 298.9  (-) . 177.9 / 151.2  (0) . 34.1 / 23.2  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.xml ?/n^3 182.3 / 90.1  (-) ?/n^3 107.9 / 35.3  (2) . 15.2 / 7.9  (0)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM04_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.3 / 0.3  (0)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.xml . 839.6 / 298.3  (-) . 388.4 / 296.3  (0) . 28.3 / 17.5  (0)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM99_C.xml . 502.5 / 299.1  (-) . 725.0 / 296.3  (0) . 747.6 / 300.0  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_FR.xml ?/n^1 7.0 / 4.4  (-) ?/n^1 6.6 / 5.5  (2) . 313.9 / 300.0  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.xml . 634.3 / 299.2  (-) . 303.4 / 168.6  (0) . 73.5 / 45.6  (0)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM99_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.3 / 1.7  (0)
t_Rewriting/Transformed_CSR_04/ExIntrod_GM99_Z.xml ?/n^1 1.0 / 0.5  (-) ?/n^0 1.4 / 0.6  (2) ?/n^1 21.4 / 15.5  (1)
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_C.xml . 740.7 / 298.9  (-) . 658.7 / 296.4  (0) . 803.5 / 300.0  (0)
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_FR.xml ?/n^2 31.8 / 14.6  (-) ?/n^2 21.2 / 7.8  (2) ?/n^3 30.2 / 11.4  (1)
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.xml . 385.8 / 299.1  (-) . 618.2 / 296.2  (0) . 253.3 / 300.0  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0) . 0.3 / 0.4  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_Z.xml . 852.5 / 298.5  (-) . 34.4 / 22.5  (0) . 29.3 / 17.1  (0)
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_C.xml ?/n^1 0.4 / 0.4  (-) ?/n^1 0.8 / 0.5  (2) ?/n^1 120.0 / 47.4  (2)
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_FR.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.6 / 0.4  (2) ?/n^2 7.7 / 5.3  (1)
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.xml ?/n^5 444.5 / 173.8  (-) . 587.5 / 296.0  (0) . 22.3 / 14.6  (0)
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.xml ?/n^1 0.0 / 0.0  (-) ?/n^1 0.1 / 0.1  (2) ?/n^1 54.2 / 47.0  (2)
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.xml ?/n^1 0.1 / 0.0  (-) ?/n^1 0.4 / 0.3  (2) ?/n^1 48.8 / 47.0  (2)
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml . 715.2 / 298.6  (-) . 639.8 / 296.2  (0) . 817.1 / 300.1  (0)
writing/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml ?/n^1 34.4 / 34.8  (-) ?/n^1 2.1 / 2.8  (2) . 60.1 / 63.2  (0)
writing/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml . 599.6 / 298.5  (-) . 451.4 / 296.2  (0) . 143.4 / 112.7  (0)
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml . 427.1 / 300.1  (-) . 72.9 / 36.3  (0) . 195.2 / 300.1  (0)
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml . 559.1 / 300.0  (-) . 96.3 / 47.9  (0) . 262.4 / 300.0  (0)
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml . 656.7 / 298.5  (-) . 625.0 / 295.9  (0) . 527.3 / 300.0  (0)
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml ?/n^1 52.9 / 28.2  (-) ?/n^1 17.2 / 7.0  (2) ?/n^1 20.2 / 11.3  (2)
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml . 502.1 / 298.7  (-) . 613.7 / 296.3  (0) . 564.5 / 300.0  (0)
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.3 / 0.3  (0)
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml ?/n^1 92.2 / 47.5  (-) ?/n^1 49.0 / 36.8  (2) ?/n^1 17.7 / 6.2  (2)
sformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml . 572.4 / 300.0  (-) . 640.1 / 296.3  (0) . 702.6 / 300.1  (0)
nsformed_CSR_04/LISTUTILITIES_complete-noand_L.xml . 3.3 / 3.6  (-) . 0.2 / 0.1  (0) . 0.5 / 0.4  (0)
nsformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml . 642.8 / 299.9  (-) . 842.9 / 296.2  (0) . 760.7 / 300.1  (0)
ng/Transformed_CSR_04/LISTUTILITIES_complete_C.xml . 583.5 / 300.0  (-) . 665.1 / 296.7  (0) . 589.0 / 300.1  (0)
g/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml . 586.9 / 298.4  (-) . 686.7 / 296.3  (0) . 727.5 / 300.0  (0)
g/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml . 543.3 / 298.8  (-) . 690.1 / 296.9  (0) . 705.5 / 300.0  (0)
ng/Transformed_CSR_04/LISTUTILITIES_complete_L.xml . 0.3 / 0.3  (-) . 0.0 / 0.2  (0) . 0.4 / 0.3  (0)
ng/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml . 461.0 / 298.6  (-) . 626.2 / 296.7  (0) . 775.3 / 300.1  (0)
nsformed_CSR_04/LISTUTILITIES_complete_noand_C.xml . 558.9 / 300.0  (-) . 768.4 / 298.3  (0) . 677.3 / 300.0  (0)
sformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml . 495.4 / 300.0  (-) . 736.1 / 295.7  (0) . 682.6 / 300.1  (0)
nsformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml . 655.6 / 298.9  (-) . 552.7 / 296.2  (0) . 706.8 / 300.1  (0)
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml . 0.3 / 0.2  (-) . 0.1 / 0.1  (0) . 0.3 / 0.6  (0)
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml . 493.0 / 300.0  (-) . 759.0 / 296.2  (0) . 885.1 / 300.0  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml . 566.6 / 300.0  (-) . 841.3 / 296.4  (0) . 476.4 / 300.0  (0)
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml . 480.4 / 298.9  (-) . 418.1 / 296.6  (0) . 566.9 / 300.1  (0)
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml . 476.1 / 299.6  (-) . 584.9 / 296.2  (0) . 544.7 / 300.0  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml . 0.5 / 0.4  (-) . 0.0 / 0.0  (0) . 0.3 / 0.4  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml . 613.5 / 299.4  (-) . 446.0 / 296.4  (0) . 400.5 / 300.1  (0)
ansformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml . 418.3 / 300.0  (-) . 614.6 / 297.1  (0) . 419.1 / 300.0  (0)
nsformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml . 537.4 / 299.8  (-) . 579.7 / 296.5  (0) . 459.0 / 300.1  (0)
nsformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml . 509.2 / 298.5  (-) . 606.9 / 296.2  (0) . 347.3 / 300.0  (0)
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0) . 0.3 / 0.4  (0)
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml . 723.4 / 300.1  (-) . 650.8 / 296.2  (0) . 351.2 / 300.1  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml . 668.7 / 298.9  (-) . 564.3 / 296.3  (0) . 548.9 / 300.0  (0)
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml ?/n^1 51.1 / 19.2  (-) ?/n^1 13.8 / 8.8  (2) . 205.1 / 203.7  (0)
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml . 571.1 / 299.5  (-) . 398.8 / 296.4  (0) . 606.9 / 300.0  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml . 0.4 / 0.3  (-) . 0.0 / 0.0  (0) . 0.3 / 0.2  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml ?/n^1 107.4 / 42.7  (-) ?/n^1 30.9 / 14.7  (2) ?/n^1 25.8 / 12.9  (2)
ansformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml . 610.9 / 298.8  (-) . 705.6 / 296.3  (0) . 611.3 / 300.0  (0)
nsformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml . 565.9 / 299.9  (-) . 644.3 / 296.5  (0) . 349.8 / 300.0  (0)
d_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml . 443.1 / 298.5  (-) . 451.8 / 296.4  (0) . 750.8 / 300.0  (0)
ed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml . 0.6 / 0.9  (-) . 0.0 / 0.0  (0) . 0.3 / 1.0  (0)
ed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml . 597.2 / 298.8  (-) . 657.2 / 296.2  (0) . 667.1 / 300.1  (0)
nsformed_CSR_04/LengthOfFiniteLists_complete_C.xml . 466.6 / 298.7  (-) . 668.3 / 296.2  (0) . 380.6 / 300.0  (0)
sformed_CSR_04/LengthOfFiniteLists_complete_FR.xml . 481.9 / 298.8  (-) . 617.3 / 296.4  (0) . 476.8 / 300.1  (0)
sformed_CSR_04/LengthOfFiniteLists_complete_GM.xml . 603.7 / 298.3  (-) . 754.9 / 296.1  (0) . 611.4 / 300.0  (0)
nsformed_CSR_04/LengthOfFiniteLists_complete_L.xml . 0.0 / 0.1  (-) . 0.0 / 0.1  (0) . 0.3 / 0.4  (0)
nsformed_CSR_04/LengthOfFiniteLists_complete_Z.xml . 475.3 / 298.9  (-) . 691.5 / 296.2  (0) . 639.4 / 300.1  (0)
ed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml . 476.8 / 299.4  (-) . 672.6 / 297.3  (0) . 455.3 / 300.0  (0)
d_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml . 422.2 / 300.0  (-) . 366.3 / 296.2  (0) . 408.0 / 300.0  (0)
ed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml . 555.7 / 298.3  (-) . 537.3 / 296.5  (0) . 606.4 / 300.1  (0)
med_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.3 / 0.2  (0)
med_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml . 574.8 / 298.9  (-) . 576.7 / 296.9  (0) . 633.8 / 300.0  (0)
ansformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml . 555.8 / 298.8  (-) . 708.5 / 296.5  (0) . 645.0 / 300.0  (0)
nsformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml . 663.3 / 298.7  (-) . 490.1 / 296.1  (0) . 234.4 / 300.1  (0)
nsformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml ?/n^3 589.6 / 282.2  (-) . 463.4 / 296.2  (0) . 102.1 / 83.0  (0)
ansformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml . 0.0 / 0.0  (-) . 0.2 / 0.1  (0) . 0.3 / 0.3  (0)
ansformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml . 719.2 / 299.1  (-) . 525.0 / 296.1  (0) . 222.0 / 300.1  (0)
med_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml . 470.5 / 298.8  (-) . 710.6 / 296.3  (0) . 687.6 / 300.1  (0)
ed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml . 435.3 / 299.5  (-) ?/n^4 487.9 / 214.2  (2) . 236.7 / 210.9  (0)
ed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml . 432.8 / 298.5  (-) . 82.1 / 47.1  (0) . 10.7 / 16.1  (0)
med_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.2 / 0.2  (0)
ansformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml ?/n^1 0.5 / 0.4  (-) ?/n^1 9.9 / 7.0  (2) ?/n^1 87.1 / 51.0  (2)
nsformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml . 821.0 / 298.5  (-) . 651.4 / 296.3  (0) . 27.4 / 27.8  (0)
nsformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml . 659.0 / 298.6  (-) . 541.4 / 296.2  (0) . 10.6 / 6.4  (0)
ansformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.3 / 0.2  (0)
med_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml ?/n^1 0.4 / 0.2  (-) ?/n^1 5.8 / 2.7  (2) ?/n^1 114.6 / 48.1  (2)
ed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml . 729.3 / 299.2  (-) . 411.9 / 296.2  (0) . 12.9 / 7.3  (0)
ing/Transformed_CSR_04/MYNAT_complete-noand_FR.xml . 651.6 / 298.2  (-) . 649.2 / 296.4  (0) . 509.4 / 300.1  (0)
ting/Transformed_CSR_04/MYNAT_complete-noand_L.xml . 1.0 / 1.2  (-) . 0.1 / 0.0  (0) . 0.3 / 0.6  (0)
ting/Transformed_CSR_04/MYNAT_complete-noand_Z.xml . 564.5 / 298.4  (-) . 809.6 / 296.3  (0) . 491.1 / 300.1  (0)
_Rewriting/Transformed_CSR_04/MYNAT_complete_C.xml . 488.2 / 299.2  (-) . 719.4 / 296.3  (0) . 331.5 / 300.0  (0)
Rewriting/Transformed_CSR_04/MYNAT_complete_FR.xml . 456.0 / 300.0  (-) . 410.6 / 296.5  (0) . 780.3 / 300.0  (0)
Rewriting/Transformed_CSR_04/MYNAT_complete_GM.xml . 547.4 / 298.8  (-) . 502.5 / 297.0  (0) . 633.3 / 300.0  (0)
_Rewriting/Transformed_CSR_04/MYNAT_complete_L.xml . 0.1 / 0.1  (-) . 0.1 / 0.1  (0) . 0.3 / 0.5  (0)
_Rewriting/Transformed_CSR_04/MYNAT_complete_Z.xml . 480.5 / 298.5  (-) . 638.4 / 296.3  (0) . 652.7 / 300.0  (0)
ting/Transformed_CSR_04/MYNAT_complete_noand_C.xml . 555.5 / 300.0  (-) . 667.7 / 295.6  (0) . 419.0 / 300.0  (0)
ing/Transformed_CSR_04/MYNAT_complete_noand_GM.xml . 564.2 / 298.9  (-) . 929.1 / 296.3  (0) . 620.4 / 300.0  (0)
ting/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml . 833.8 / 298.5  (-) . 675.0 / 296.1  (0) . 613.2 / 300.1  (0)
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 17.2 / 9.7  (-) ?/n^1 7.5 / 8.2  (2) . 551.8 / 300.0  (0)
t_Rewriting/Transformed_CSR_04/MYNAT_nokinds_C.xml . 673.7 / 299.1  (-) . 496.5 / 295.8  (0) . 678.0 / 300.1  (0)
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_FR.xml ?/n^2 254.3 / 123.4  (-) ?/n^2 55.6 / 34.0  (2) . 334.8 / 300.0  (0)
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.xml . 534.5 / 298.6  (-) . 608.4 / 296.6  (0) . 310.3 / 300.0  (0)
t_Rewriting/Transformed_CSR_04/MYNAT_nokinds_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.3 / 0.6  (0)
t_Rewriting/Transformed_CSR_04/MYNAT_nokinds_Z.xml ?/n^1 14.1 / 10.7  (-) ?/n^1 3.4 / 2.3  (2) . 338.6 / 300.0  (0)
iting/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml . 606.1 / 300.0  (-) . 595.6 / 297.2  (0) . 596.4 / 300.0  (0)
ting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml . 632.3 / 298.6  (-) . 834.7 / 296.2  (0) . 371.7 / 300.0  (0)
ting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml . 353.6 / 298.7  (-) . 715.4 / 296.1  (0) ?/n^2 26.5 / 27.2  (2)
iting/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.1  (0) . 0.3 / 0.5  (0)
t_Rewriting/Transformed_CSR_04/MYNAT_nosorts_C.xml . 666.9 / 299.0  (-) . 452.7 / 296.1  (0) . 467.2 / 300.0  (0)
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.xml ?/n^2 9.2 / 5.7  (-) ?/n^2 6.3 / 2.1  (2) ?/n^2 5.8 / 2.8  (2)
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.xml . 401.6 / 298.3  (-) . 613.2 / 296.3  (0) . 309.4 / 300.0  (0)
t_Rewriting/Transformed_CSR_04/MYNAT_nosorts_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.2 / 0.4  (0)
iting/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml . 460.5 / 299.6  (-) . 618.8 / 296.0  (0) . 671.9 / 300.0  (0)
ting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml . 565.8 / 298.7  (-) . 701.0 / 296.2  (0) . 314.2 / 300.1  (0)
/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml . 595.9 / 299.5  (-) . 702.5 / 296.2  (0) . 437.6 / 300.0  (0)
g/Transformed_CSR_04/OvConsOS_complete-noand_L.xml . 0.3 / 0.2  (-) . 0.0 / 0.0  (0) . 0.4 / 0.8  (0)
g/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml . 368.1 / 298.9  (-) . 605.2 / 296.5  (0) . 488.8 / 300.1  (0)
writing/Transformed_CSR_04/OvConsOS_complete_C.xml . 581.6 / 300.0  (-) . 656.2 / 297.3  (0) . 366.4 / 300.1  (0)
riting/Transformed_CSR_04/OvConsOS_complete_FR.xml . 541.5 / 299.2  (-) . 723.2 / 296.2  (0) . 459.0 / 300.1  (0)
riting/Transformed_CSR_04/OvConsOS_complete_GM.xml . 569.9 / 299.0  (-) . 733.1 / 296.4  (0) . 324.8 / 300.1  (0)
writing/Transformed_CSR_04/OvConsOS_complete_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.1  (0) . 0.3 / 1.6  (0)
writing/Transformed_CSR_04/OvConsOS_complete_Z.xml . 516.9 / 299.6  (-) . 526.3 / 296.4  (0) . 421.4 / 300.0  (0)
g/Transformed_CSR_04/OvConsOS_complete_noand_C.xml . 595.7 / 299.4  (-) . 840.8 / 296.2  (0) . 399.6 / 300.0  (0)
/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml . 340.0 / 298.3  (-) . 639.5 / 296.1  (0) . 521.6 / 300.1  (0)
g/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml . 885.9 / 299.3  (-) . 512.6 / 296.1  (0) . 480.6 / 300.1  (0)
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.3 / 0.5  (0)
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml . 504.8 / 298.9  (-) . 540.2 / 296.1  (0) . 452.6 / 300.0  (0)
ewriting/Transformed_CSR_04/OvConsOS_nokinds_C.xml . 525.2 / 298.6  (-) . 616.2 / 296.5  (0) . 664.7 / 300.0  (0)
writing/Transformed_CSR_04/OvConsOS_nokinds_FR.xml . 628.3 / 298.7  (-) . 698.1 / 296.1  (0) . 395.7 / 300.0  (0)
writing/Transformed_CSR_04/OvConsOS_nokinds_GM.xml . 647.4 / 298.4  (-) . 790.6 / 296.4  (0) . 265.0 / 300.1  (0)
ewriting/Transformed_CSR_04/OvConsOS_nokinds_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.3 / 0.6  (0)
ewriting/Transformed_CSR_04/OvConsOS_nokinds_Z.xml . 373.9 / 298.8  (-) . 474.9 / 296.3  (0) . 226.1 / 300.1  (0)
ng/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml . 725.0 / 299.0  (-) . 636.0 / 297.5  (0) . 433.2 / 300.1  (0)
g/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml . 196.1 / 298.4  (-) . 668.4 / 296.3  (0) . 554.2 / 300.0  (0)
g/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml . 641.6 / 298.5  (-) . 201.9 / 119.0  (0) . 35.6 / 24.9  (0)
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.1  (0) . 0.3 / 0.9  (0)
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml . 653.5 / 300.0  (-) . 163.3 / 91.2  (0) . 30.6 / 20.1  (0)
ewriting/Transformed_CSR_04/OvConsOS_nosorts_C.xml ?/n^1 3.7 / 3.0  (-) ?/n^1 11.3 / 7.5  (2) ?/n^1 100.5 / 48.8  (2)
writing/Transformed_CSR_04/OvConsOS_nosorts_FR.xml . 628.3 / 298.9  (-) . 227.7 / 113.1  (0) . 34.3 / 28.2  (0)
writing/Transformed_CSR_04/OvConsOS_nosorts_GM.xml . 674.4 / 298.2  (-) . 522.6 / 296.1  (0) . 14.8 / 8.8  (0)
ewriting/Transformed_CSR_04/OvConsOS_nosorts_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.2 / 0.2  (0)
ewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.xml . 571.1 / 300.0  (-) . 407.7 / 296.2  (0) . 41.9 / 38.1  (0)
ng/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml . 430.5 / 298.5  (-) . 833.0 / 296.4  (0) ?/n^1 124.0 / 62.9  (2)
g/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml . 542.7 / 299.1  (-) . 550.3 / 296.4  (0) . 44.0 / 29.3  (0)
ransformed_CSR_04/PALINDROME_complete-noand_FR.xml . 642.1 / 298.3  (-) . 741.0 / 296.5  (0) . 593.4 / 300.0  (0)
Transformed_CSR_04/PALINDROME_complete-noand_L.xml . 701.7 / 298.7  (-) . 642.9 / 296.1  (0) . 604.5 / 300.1  (0)
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml . 567.5 / 298.4  (-) . 698.4 / 296.1  (0) . 636.2 / 300.0  (0)
iting/Transformed_CSR_04/PALINDROME_complete_C.xml . 645.9 / 299.5  (-) . 712.8 / 296.4  (0) . 436.9 / 300.0  (0)
ting/Transformed_CSR_04/PALINDROME_complete_FR.xml . 507.6 / 298.5  (-) . 625.9 / 296.7  (0) . 726.4 / 300.0  (0)
ting/Transformed_CSR_04/PALINDROME_complete_GM.xml . 670.6 / 298.7  (-) . 642.5 / 296.7  (0) . 494.5 / 300.1  (0)
iting/Transformed_CSR_04/PALINDROME_complete_L.xml . 0.1 / 0.1  (-) . 0.1 / 0.1  (0) . 0.3 / 0.5  (0)
iting/Transformed_CSR_04/PALINDROME_complete_Z.xml . 535.5 / 298.6  (-) . 584.8 / 296.4  (0) . 680.3 / 300.1  (0)
Transformed_CSR_04/PALINDROME_complete_noand_C.xml . 535.2 / 298.5  (-) . 808.3 / 295.6  (0) . 463.6 / 300.1  (0)
ransformed_CSR_04/PALINDROME_complete_noand_GM.xml . 518.2 / 298.7  (-) . 444.5 / 295.9  (0) . 545.3 / 300.1  (0)
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml . 460.0 / 300.0  (-) ?/n^2 224.6 / 100.7  (2) . 525.6 / 300.1  (0)
/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml . 622.0 / 298.3  (-) . 474.7 / 296.2  (0) . 492.3 / 300.0  (0)
/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml ?/n^1 64.0 / 41.8  (-) ?/n^1 21.6 / 7.5  (2) ?/n^2 88.9 / 37.3  (1)
riting/Transformed_CSR_04/PALINDROME_nokinds_C.xml . 556.9 / 298.7  (-) . 460.7 / 296.7  (0) . 764.5 / 300.0  (0)
iting/Transformed_CSR_04/PALINDROME_nokinds_FR.xml ?/n^2 293.6 / 196.4  (-) ?/n^2 152.9 / 71.2  (2) . 83.5 / 47.5  (0)
iting/Transformed_CSR_04/PALINDROME_nokinds_GM.xml . 841.0 / 299.0  (-) . 658.7 / 296.7  (0) . 187.3 / 300.1  (0)
riting/Transformed_CSR_04/PALINDROME_nokinds_L.xml . 0.0 / 0.1  (-) . 0.2 / 0.1  (0) . 0.3 / 0.4  (0)
riting/Transformed_CSR_04/PALINDROME_nokinds_Z.xml ?/n^1 35.3 / 21.2  (-) ?/n^1 11.1 / 5.3  (2) . 49.3 / 26.1  (0)
/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml . 655.4 / 300.0  (-) . 685.2 / 296.3  (0) . 540.0 / 300.0  (0)
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml . 404.1 / 298.7  (-) . 662.3 / 296.4  (0) . 582.5 / 300.1  (0)
riting/Transformed_CSR_04/PALINDROME_nosorts_C.xml . 523.1 / 298.3  (-) . 492.1 / 296.6  (0) . 621.2 / 300.0  (0)
iting/Transformed_CSR_04/PALINDROME_nosorts_GM.xml . 489.5 / 300.0  (-) . 601.1 / 296.5  (0) . 255.5 / 300.1  (0)
riting/Transformed_CSR_04/PALINDROME_nosorts_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) . 0.2 / 0.2  (0)
/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml . 371.3 / 300.0  (-) . 681.8 / 296.1  (0) . 527.2 / 300.1  (0)
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml . 600.8 / 298.5  (-) . 530.1 / 296.3  (0) . 314.4 / 300.1  (0)
ing/Transformed_CSR_04/PEANO_complete-noand_FR.xml . 483.8 / 298.6  (-) . 856.1 / 296.2  (0) . 702.8 / 300.1  (0)
ting/Transformed_CSR_04/PEANO_complete-noand_L.xml . 0.0 / 0.1  (-) . 0.0 / 0.0  (0) . 0.3 / 0.7  (0)
ting/Transformed_CSR_04/PEANO_complete-noand_Z.xml . 495.1 / 298.9  (-) . 695.7 / 296.5  (0) . 565.5 / 300.0  (0)
_Rewriting/Transformed_CSR_04/PEANO_complete_C.xml . 589.0 / 300.0  (-) . 767.1 / 296.3  (0) . 663.0 / 300.0  (0)
Rewriting/Transformed_CSR_04/PEANO_complete_FR.xml . 335.0 / 298.2  (-) . 644.0 / 296.2  (0) . 728.7 / 300.0  (0)
Rewriting/Transformed_CSR_04/PEANO_complete_GM.xml . 535.3 / 300.0  (-) . 595.1 / 296.2  (0) . 577.5 / 300.0  (0)
_Rewriting/Transformed_CSR_04/PEANO_complete_L.xml . 0.1 / 0.2  (-) . 0.0 / 0.0  (0) . 0.3 / 0.3  (0)
_Rewriting/Transformed_CSR_04/PEANO_complete_Z.xml . 513.8 / 298.2  (-) . 571.5 / 296.7  (0) . 621.1 / 300.0  (0)
ting/Transformed_CSR_04/PEANO_complete_noand_C.xml . 603.4 / 298.7  (-) . 756.4 / 296.4  (0) . 513.6 / 300.1  (0)
ing/Transformed_CSR_04/PEANO_complete_noand_GM.xml . 861.8 / 298.3  (-) . 691.7 / 296.1  (0) . 387.8 / 300.0  (0)
ting/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml ?/n^2 79.3 / 44.1  (-) ?/n^2 37.5 / 12.4  (2) . 463.6 / 300.0  (0)
iting/Transformed_CSR_04/PEANO_nokinds-noand_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.1  (0) . 0.3 / 0.2  (0)
iting/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml ?/n^1 17.0 / 9.8  (-) ?/n^1 2.6 / 1.9  (2) . 398.5 / 300.1  (0)
t_Rewriting/Transformed_CSR_04/PEANO_nokinds_C.xml . 634.0 / 299.3  (-) . 605.1 / 296.4  (0) . 519.9 / 300.1  (0)
_Rewriting/Transformed_CSR_04/PEANO_nokinds_FR.xml ?/n^2 68.6 / 29.4  (-) ?/n^2 38.3 / 13.8  (2) . 270.5 / 259.2  (0)
_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.xml . 531.8 / 298.9  (-) . 623.4 / 296.3  (0) . 161.2 / 147.5  (0)
t_Rewriting/Transformed_CSR_04/PEANO_nokinds_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0) . 0.3 / 0.4  (0)
t_Rewriting/Transformed_CSR_04/PEANO_nokinds_Z.xml ?/n^1 6.0 / 3.5  (-) ?/n^1 3.5 / 1.5  (2) . 249.9 / 262.6  (0)
iting/Transformed_CSR_04/PEANO_nokinds_noand_C.xml . 630.5 / 298.4  (-) . 712.1 / 296.2  (0) . 658.0 / 300.0  (0)
ting/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml . 577.0 / 298.3  (-) . 546.5 / 296.3  (0) . 43.3 / 21.9  (0)
ting/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml ?/n^1 16.5 / 10.6  (-) ?/n^1 2.7 / 1.7  (2) ?/n^1 4.3 / 3.4  (2)
iting/Transformed_CSR_04/PEANO_nosorts-noand_L.xml . 0.1 / 0.0  (-) . 0.0 / 0.0  (0) . 0.3 / 0.5  (0)
t_Rewriting/Transformed_CSR_04/PEANO_nosorts_C.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.9 / 0.9  (2) ?/n^1 99.8 / 47.0  (2)
_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.xml ?/n^1 0.1 / 0.2  (-) ?/n^1 0.4 / 0.6  (2) ?/n^2 3.0 / 2.2  (1)
_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.xml . 487.1 / 300.1  (-) . 95.3 / 37.7  (0) . 13.5 / 10.0  (0)
t_Rewriting/Transformed_CSR_04/PEANO_nosorts_L.xml . 0.2 / 0.2  (-) . 0.0 / 0.1  (0) . 0.2 / 0.3  (0)
iting/Transformed_CSR_04/PEANO_nosorts_noand_C.xml ?/n^1 2.0 / 1.7  (-) ?/n^1 1.9 / 0.9  (2) ?/n^1 62.6 / 50.6  (2)
ting/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml . 571.7 / 298.5  (-) . 141.8 / 92.3  (0) . 16.8 / 8.6  (0)
e_Complexity_Innermost_Rewriting/Various_04/04.xml ?/n^1 5.7 / 3.8  (-) ?/n^0 2.1 / 1.5  (2) . 15.3 / 5.5  (0)
e_Complexity_Innermost_Rewriting/Various_04/08.xml . 619.1 / 298.6  (-) . 496.8 / 286.4  (0) . 21.0 / 13.0  (0)
e_Complexity_Innermost_Rewriting/Various_04/10.xml . 558.2 / 299.0  (-) . 461.6 / 296.5  (0) . 358.1 / 300.0  (0)
e_Complexity_Innermost_Rewriting/Various_04/11.xml . 618.1 / 299.1  (-) . 11.3 / 5.3  (0) . 4.3 / 2.3  (0)
e_Complexity_Innermost_Rewriting/Various_04/12.xml . 522.4 / 298.4  (-) . 630.0 / 296.3  (0) . 408.8 / 300.1  (0)
e_Complexity_Innermost_Rewriting/Various_04/13.xml . 375.8 / 298.4  (-) . 624.9 / 296.4  (0) . 521.1 / 300.0  (0)
e_Complexity_Innermost_Rewriting/Various_04/14.xml . 500.7 / 298.5  (-) . 801.6 / 296.2  (0) . 857.1 / 300.0  (0)
e_Complexity_Innermost_Rewriting/Various_04/15.xml ?/n^1 0.5 / 0.8  (-) ?/n^1 0.2 / 0.1  (2) . 5.3 / 3.8  (0)
e_Complexity_Innermost_Rewriting/Various_04/18.xml . 743.9 / 298.3  (-) . 110.8 / 58.9  (0) . 15.1 / 18.9  (0)
e_Complexity_Innermost_Rewriting/Various_04/22.xml . 750.4 / 298.5  (-) . 26.9 / 17.8  (0) . 5.2 / 4.3  (0)
e_Complexity_Innermost_Rewriting/Various_04/23.xml ?/n^1 2.5 / 1.4  (-) ?/n^1 0.3 / 0.3  (2) ?/n^1 3.8 / 2.7  (2)
e_Complexity_Innermost_Rewriting/Various_04/24.xml ?/n^2 330.3 / 254.8  (-) ?/n^2 11.4 / 3.6  (1) ?/n^1 80.0 / 47.4  (2)
xity_Innermost_Rewriting/Waldmann_06/jwmatchb1.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.2 / 0.2  (2) . 3.9 / 2.1  (0)
xity_Innermost_Rewriting/Waldmann_06/jwmatchb2.xml ?/n^1 0.3 / 0.3  (-) ?/n^1 0.1 / 0.1  (2) . 3.8 / 2.4  (0)
mplexity_Innermost_Rewriting/Waldmann_06/jwno1.xml . 703.7 / 300.0  (-) . 39.1 / 13.8  (0) . 514.5 / 300.0  (0)
mplexity_Innermost_Rewriting/Waldmann_06/jwno4.xml . 446.4 / 298.3  (-) . 23.6 / 17.9  (0) . 9.0 / 3.9  (0)
mplexity_Innermost_Rewriting/Waldmann_06/jwno6.xml . 933.8 / 298.7  (-) . 20.7 / 11.1  (0) . 8.5 / 4.7  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z10.xml . 477.0 / 298.2  (-) . 33.1 / 18.2  (0) . 16.8 / 8.8  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z12.xml . 669.4 / 298.4  (-) . 711.9 / 296.3  (0) . 460.9 / 300.1  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z13.xml . 828.5 / 298.8  (-) . 226.6 / 107.8  (0) . 474.5 / 283.5  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z14.xml . 772.9 / 298.4  (-) . 176.7 / 73.4  (0) . 174.4 / 110.9  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z15.xml . 763.8 / 298.6  (-) . 516.3 / 296.1  (0) . 479.2 / 300.0  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z16.xml . 576.5 / 298.6  (-) . 173.3 / 87.1  (0) . 193.0 / 141.2  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z17.xml . 855.6 / 298.3  (-) . 550.1 / 296.3  (0) . 554.4 / 300.0  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z18.xml . 769.9 / 298.6  (-) . 465.4 / 296.0  (0) . 379.2 / 300.0  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z23.xml . 833.0 / 298.4  (-) . 696.0 / 296.3  (0) ?/n^1 94.6 / 47.3  (2)
_Complexity_Innermost_Rewriting/Zantema_05/z24.xml . 583.7 / 298.2  (-) . 328.9 / 296.5  (0) . 541.3 / 300.0  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z26.xml ?/n^1 0.0 / 0.0  (-) ?/n^1 0.3 / 0.3  (2) ?/n^1 100.4 / 46.9  (2)
_Complexity_Innermost_Rewriting/Zantema_05/z27.xml . 781.7 / 298.7  (-) . 13.0 / 5.7  (0) . 3.7 / 2.1  (0)
_Complexity_Innermost_Rewriting/Zantema_05/z28.xml . 640.6 / 298.5  (-) . 20.4 / 9.7  (0) . 9.5 / 4.2  (0)
omplexity_Innermost_Rewriting/hoca/dfs-flatten.xml ?/n^1 0.7 / 0.4  (-) ?/n^1 0.9 / 0.5  (2) ?/n^1 5.9 / 2.8  (2)
_Complexity_Innermost_Rewriting/hoca/fib_llist.xml . 330.4 / 298.2  (-) . 750.3 / 296.2  (0) . 650.3 / 300.0  (0)
me_Complexity_Innermost_Rewriting/hoca/flatten.xml ?/n^1 8.2 / 4.6  (-) ?/n^1 2.3 / 1.6  (2) ?/n^1 5.9 / 3.5  (2)
me_Complexity_Innermost_Rewriting/hoca/foldsum.xml ?/n^1 58.6 / 55.6  (-) ?/n^1 5.0 / 2.9  (2) ?/n^1 20.7 / 7.8  (2)
Runtime_Complexity_Innermost_Rewriting/hoca/id.xml ?/n^1 0.1 / 0.0  (-) ?/n^1 0.5 / 0.4  (2) ?/n^1 4.6 / 2.5  (2)
Complexity_Innermost_Rewriting/hoca/isort-fold.xml . 557.1 / 298.3  (-) ?/n^2 35.8 / 16.2  (2) ?/n^2 22.6 / 14.1  (2)
time_Complexity_Innermost_Rewriting/hoca/isort.xml . 571.1 / 298.3  (-) ?/n^2 21.8 / 9.4  (2) ?/n^2 16.3 / 10.6  (2)
e_Complexity_Innermost_Rewriting/hoca/mappplus.xml ?/n^2 4.5 / 3.7  (-) ?/n^2 1.6 / 1.0  (2) ?/n^2 3.4 / 2.5  (2)
mplexity_Innermost_Rewriting/hoca/mergesort-dc.xml . 513.1 / 298.5  (-) . 662.7 / 296.5  (0) . 599.5 / 300.0  (0)
untime_Complexity_Innermost_Rewriting/hoca/mss.xml . 716.6 / 298.2  (-) . 322.9 / 296.2  (0) . 114.2 / 108.3  (0)
ime_Complexity_Innermost_Rewriting/hoca/rev-dl.xml ?/n^1 5.7 / 5.5  (-) ?/n^1 2.6 / 2.1  (2) ?/n^1 5.2 / 3.2  (2)
_Complexity_Innermost_Rewriting/hoca/rev-fletf.xml ?/n^1 11.7 / 6.2  (-) ?/n^1 1.7 / 0.9  (2) ?/n^1 7.0 / 3.4  (2)
_Complexity_Innermost_Rewriting/hoca/rev-foldl.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 0.3 / 0.2  (2) ?/n^1 2.5 / 1.8  (2)
e_Complexity_Innermost_Rewriting/hoca/rpm-lazy.xml . 865.3 / 299.0  (-) . 417.7 / 296.1  (0) . 347.0 / 300.0  (0)
untime_Complexity_Innermost_Rewriting/hoca/sum.xml ?/n^1 0.3 / 0.3  (-) ?/n^1 0.4 / 0.2  (2) ?/n^1 3.7 / 3.6  (2)
e_Complexity_Innermost_Rewriting/hoca/sum_sqs3.xml . 332.0 / 298.5  (-) . 169.6 / 89.5  (0) . 549.8 / 300.0  (0)
lexity_Innermost_Rewriting/raML/appendAll.raml.xml ?/n^1 0.6 / 0.4  (-) ?/n^1 0.9 / 0.7  (2) ?/n^1 11.6 / 10.3  (2)
e_Complexity_Innermost_Rewriting/raML/bfs.raml.xml . 605.0 / 299.5  (-) . 736.1 / 296.3  (0) ?/n^3 494.5 / 281.9  (2)
lexity_Innermost_Rewriting/raML/bft_mmult.raml.xml . 436.8 / 299.0  (-) . 615.0 / 295.4  (0) . 436.8 / 300.1  (0)
exity_Innermost_Rewriting/raML/bitvectors.raml.xml . 554.8 / 299.8  (-) . 723.4 / 296.3  (0) . 720.4 / 300.1  (0)
xity_Innermost_Rewriting/raML/clevermmult.raml.xml ?/n^2 483.2 / 259.5  (-) ?/n^2 116.7 / 50.7  (2) ?/n^2 41.9 / 18.0  (2)
exity_Innermost_Rewriting/raML/duplicates.raml.xml ?/n^2 149.4 / 101.8  (-) ?/n^2 74.1 / 30.2  (2) ?/n^2 50.7 / 37.9  (2)
Complexity_Innermost_Rewriting/raML/dyade.raml.xml ?/n^2 258.4 / 166.0  (-) ?/n^2 36.3 / 24.5  (2) ?/n^2 19.8 / 9.6  (2)
ity_Innermost_Rewriting/raML/eratosthenes.raml.xml . 595.0 / 298.7  (-) ?/n^2 189.4 / 67.1  (2) . 739.6 / 300.0  (0)
mplexity_Innermost_Rewriting/raML/flatten.raml.xml . 685.5 / 299.3  (-) ?/n^2 64.2 / 34.1  (2) ?/n^2 43.2 / 24.8  (2)
ty_Innermost_Rewriting/raML/insertionsort.raml.xml . 511.6 / 298.6  (-) . 757.4 / 296.4  (0) . 532.1 / 300.1  (0)
plexity_Innermost_Rewriting/raML/listsort.raml.xml . 604.3 / 300.0  (-) . 526.1 / 297.0  (0) . 710.2 / 300.1  (0)
t_Rewriting/raML/longestCommonSubsequence.raml.xml . 419.7 / 300.0  (-) . 727.4 / 296.4  (0) . 696.2 / 300.1  (0)
omplexity_Innermost_Rewriting/raML/matrix.raml.xml . 619.9 / 298.3  (-) . 591.8 / 296.6  (0) . 638.0 / 300.0  (0)
lexity_Innermost_Rewriting/raML/mergesort.raml.xml . 719.1 / 298.9  (-) . 600.6 / 296.2  (0) . 377.2 / 300.0  (0)
mplexity_Innermost_Rewriting/raML/minsort.raml.xml ?/n^2 48.9 / 35.2  (-) ?/n^2 48.8 / 24.2  (2) ?/n^2 28.6 / 13.6  (2)
Complexity_Innermost_Rewriting/raML/queue.raml.xml . 636.1 / 299.2  (-) . 461.4 / 296.1  (0) . 676.6 / 300.0  (0)
lexity_Innermost_Rewriting/raML/quicksort.raml.xml . 416.6 / 300.1  (-) . 612.6 / 296.3  (0) . 765.5 / 300.0  (0)
nnermost_Rewriting/raML/rationalPotential.raml.xml ?/n^1 17.5 / 9.9  (-) ?/n^1 3.4 / 1.4  (2) ?/n^1 9.1 / 6.9  (2)
ity_Innermost_Rewriting/raML/splitandsort.raml.xml . 569.7 / 299.6  (-) . 697.9 / 296.1  (0) . 580.4 / 300.0  (0)
plexity_Innermost_Rewriting/raML/subtrees.raml.xml ?/n^2 18.7 / 11.0  (-) ?/n^2 8.7 / 7.0  (2) ?/n^2 13.2 / 7.7  (2)