Overview of job-results

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

Statistics

2877 pairs, 791627.1 / 439245.3 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 Full Rewri 26271
Solver TCT2_20150725 TCT3_2015 AProVE 2015
Scores 0 414 1218
Runtime_Complexity_Full_Rewriting/AG01/#3.1.xml ?/n^1 9.6 / 4.1  (-) ?/n^1 1.7 / 1.0  (2) n^1/? 14.1 / 11.3  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.10.xml . 616.8 / 297.2  (-) . 532.5 / 292.3  (0) n^1/? 16.5 / 13.6  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.12.xml ?/n^3 303.8 / 161.4  (-) ?/n^3 43.6 / 23.7  (2) n^3/? 14.8 / 11.7  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.13.xml . 553.0 / 297.2  (-) . 534.0 / 292.6  (0) n^1/? 12.7 / 12.7  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.15.xml ?/n^1 47.8 / 24.9  (-) ?/n^1 13.6 / 7.1  (2) . 15.3 / 11.5  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.16.xml . 604.4 / 297.6  (-) . 527.1 / 292.1  (0) n^2/? 17.0 / 12.5  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.17.xml . 677.0 / 297.6  (-) . 561.8 / 292.5  (0) n^1/? 14.2 / 12.5  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.17a.xml . 689.5 / 298.2  (-) . 426.3 / 292.8  (0) n^1/? 16.1 / 13.5  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.18.xml . 446.1 / 297.2  (-) . 489.5 / 292.5  (0) n^1/? 17.0 / 13.3  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.19.xml . 485.9 / 297.2  (-) . 387.1 / 292.2  (0) n^1/? 15.1 / 12.9  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.2.xml . 445.5 / 279.8  (-) . 457.0 / 281.6  (0) n^1/? 12.7 / 11.3  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.22.xml . 643.6 / 297.9  (-) . 532.8 / 292.2  (0) n^2/? 15.7 / 12.4  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.23.xml ?/n^1 1.1 / 0.6  (-) ?/n^1 0.6 / 0.6  (2) n^1/? 0.8 / 2.2  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.24.xml ?/n^1 10.2 / 4.6  (-) ?/n^1 2.5 / 1.2  (2) n^1/? 1.7 / 2.4  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.26.xml . 648.8 / 300.0  (-) . 379.2 / 292.2  (0) n^1/? 5.1 / 4.3  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.29.xml ?/n^1 0.9 / 0.6  (-) ?/n^0 0.2 / 0.1  (2) . 0.7 / 2.3  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.31.xml . 685.9 / 297.2  (-) . 583.3 / 292.0  (0) ?/? 3.4 / 4.3  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.33.xml ?/n^0 6.9 / 5.9  (-) ?/n^0 0.5 / 0.3  (2) . 0.7 / 2.3  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.35.xml ?/n^1 2.7 / 2.1  (-) ?/n^1 0.7 / 0.2  (2) n^1/? 6.4 / 6.3  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.36.xml . 609.7 / 297.8  (-) . 523.1 / 292.1  (0) n^1/? 27.9 / 22.3  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.37.xml ?/n^1 8.3 / 5.0  (-) ?/n^1 1.0 / 0.6  (2) . 2.2 / 3.3  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.38.xml . 774.3 / 298.1  (-) . 586.0 / 292.5  (0) ?/? 11.3 / 5.4  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.39.xml ?/n^1 281.7 / 148.2  (-) ?/n^1 24.2 / 13.8  (2) n^1/? 16.6 / 12.0  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.4.xml . 418.5 / 239.1  (-) . 415.5 / 292.6  (0) n^1/? 16.5 / 13.2  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.40.xml . 513.4 / 297.4  (-) . 459.9 / 292.2  (0) n^1/? 8.4 / 14.6  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.41.xml ?/n^1 58.4 / 33.3  (-) ?/n^2 8.4 / 5.5  (2) n^1/? 4.5 / 7.4  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.42.xml . 342.4 / 183.5  (-) . 336.9 / 292.5  (0) n^1/? 13.1 / 12.7  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.47.xml ?/n^2 101.0 / 51.4  (-) . 334.1 / 292.7  (0) . 3.5 / 3.2  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.48.xml . 522.5 / 194.1  (-) . 547.7 / 292.7  (0) n^1/? 15.1 / 11.7  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.49.xml . 497.2 / 297.2  (-) . 510.5 / 291.9  (0) . 2.3 / 2.2  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.5.xml ?/n^2 451.6 / 297.4  (-) ?/n^2 388.0 / 292.3  (2) n^1/? 15.2 / 11.4  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.51.xml ?/n^1 21.0 / 9.8  (-) ?/n^1 9.4 / 4.6  (2) . 13.9 / 11.3  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.52.xml ?/n^1 3.2 / 1.3  (-) ?/n^1 1.6 / 0.7  (2) . 4.8 / 3.2  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.53.xml . 514.1 / 297.2  (-) . 353.8 / 292.6  (0) n^3/? 18.6 / 12.6  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.53a.xml ?/n^0 2.9 / 1.8  (-) ?/n^0 1.1 / 0.5  (2) . 4.1 / 2.2  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.53b.xml ?/n^1 31.8 / 25.8  (-) ?/n^1 3.7 / 1.6  (2) . 9.6 / 15.0  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.54.xml . 517.6 / 298.6  (-) . 408.3 / 292.5  (0) n^1/? 4.1 / 3.3  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.55.xml . 548.8 / 300.0  (-) . 415.1 / 300.0  (0) n^2/? 18.9 / 12.7  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.56.xml ?/n^1 34.8 / 18.7  (-) ?/n^1 5.0 / 1.4  (2) . 3.8 / 5.9  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.57.xml . 526.2 / 297.2  (-) . 557.6 / 292.4  (0) n^1/? 17.0 / 13.5  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.5a.xml . 496.2 / 297.2  (-) . 456.6 / 292.3  (0) n^1/? 17.1 / 14.0  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.5b.xml . 548.5 / 297.3  (-) . 460.3 / 292.2  (0) n^1/? 15.7 / 12.0  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.6.xml . 381.9 / 299.4  (-) . 492.2 / 292.4  (0) n^1/? 15.9 / 12.8  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.6a.xml ?/n^2 440.1 / 297.2  (-) ?/n^2 330.6 / 292.3  (2) n^1/? 14.9 / 11.7  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.6b.xml . 558.0 / 297.4  (-) . 474.6 / 292.2  (0) n^1/? 15.2 / 12.6  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.7.xml ?/n^1 67.5 / 54.8  (-) ?/n^1 9.6 / 7.4  (2) n^1/? 6.9 / 9.5  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.8a.xml . 581.2 / 297.3  (-) . 330.0 / 292.4  (0) n^1/? 18.0 / 14.3  (2)
Runtime_Complexity_Full_Rewriting/AG01/#3.8b.xml . 684.4 / 297.5  (-) . 516.2 / 292.5  (0) n^1/? 9.8 / 13.1  (2)
Runtime_Complexity_Full_Rewriting/AG01/#4.30c.xml . 562.9 / 297.7  (-) . 462.8 / 292.2  (0) n^1/? 15.9 / 13.5  (2)
Complexity_Full_Rewriting/AProVE_04/AAECC-ring.xml . 644.5 / 297.5  (-) . 395.0 / 292.6  (0) n^1/? 21.5 / 13.7  (2)
time_Complexity_Full_Rewriting/AProVE_04/AAECC.xml . 359.1 / 297.4  (-) . 571.6 / 292.5  (0) n^1/? 18.2 / 12.4  (2)
me_Complexity_Full_Rewriting/AProVE_04/IJCAR_1.xml ?/n^1 38.2 / 23.4  (-) . 66.2 / 41.5  (0) n^1/? 13.1 / 12.4  (2)
e_Complexity_Full_Rewriting/AProVE_04/IJCAR_12.xml . 499.8 / 297.2  (-) . 457.1 / 292.3  (0) n^2/? 17.7 / 13.2  (2)
e_Complexity_Full_Rewriting/AProVE_04/IJCAR_18.xml . 540.8 / 297.7  (-) . 764.9 / 292.2  (0) n^2/? 17.8 / 13.4  (2)
e_Complexity_Full_Rewriting/AProVE_04/IJCAR_26.xml . 539.0 / 297.1  (-) . 448.3 / 292.2  (0) n^3/? 17.8 / 13.9  (2)
_Complexity_Full_Rewriting/AProVE_04/IJCAR_26a.xml . 539.9 / 297.4  (-) . 517.2 / 292.4  (0) n^3/? 14.3 / 14.4  (2)
e_Complexity_Full_Rewriting/AProVE_04/JFP_Ex31.xml . 444.2 / 300.1  (-) . 316.4 / 292.1  (0) n^1/? 16.0 / 11.2  (2)
e_Complexity_Full_Rewriting/AProVE_04/JFP_Ex51.xml . 381.9 / 297.7  (-) . 542.7 / 292.1  (0) n^1/? 14.6 / 11.5  (2)
mplexity_Full_Rewriting/AProVE_04/LPAR_intlist.xml . 849.9 / 297.3  (-) . 674.8 / 292.4  (0) n^1/? 28.3 / 25.2  (2)
omplexity_Full_Rewriting/AProVE_04/Liveness6.1.xml . 416.6 / 200.9  (-) . 662.3 / 292.2  (0) n^1/? 13.6 / 12.4  (2)
omplexity_Full_Rewriting/AProVE_04/Liveness6.2.xml . 536.7 / 297.3  (-) ?/n^2 301.0 / 173.6  (2) n^1/? 15.7 / 11.6  (2)
omplexity_Full_Rewriting/AProVE_04/Liveness6.3.xml ?/n^1 618.0 / 290.6  (-) ?/n^1 669.4 / 292.2  (2) n^1/? 15.6 / 13.4  (2)
omplexity_Full_Rewriting/AProVE_04/Liveness6.4.xml . 518.1 / 189.5  (-) . 494.4 / 292.5  (0) n^1/? 16.8 / 12.2  (2)
_Complexity_Full_Rewriting/AProVE_04/Liveness8.xml ?/n^1 580.0 / 297.2  (-) ?/n^1 504.7 / 292.6  (2) n^1/? 14.8 / 11.4  (2)
mplexity_Full_Rewriting/AProVE_04/Liveness_WRS.xml ?/n^1 374.7 / 297.3  (-) ?/n^1 672.2 / 293.0  (2) n^1/? 9.8 / 12.6  (2)
untime_Complexity_Full_Rewriting/AProVE_04/fac.xml . 512.1 / 300.0  (-) . 448.0 / 292.3  (0) n^2/? 17.2 / 13.7  (2)
ntime_Complexity_Full_Rewriting/AProVE_04/rta1.xml . 411.6 / 297.2  (-) . 638.4 / 293.9  (0) n^1/? 20.4 / 16.0  (2)
ntime_Complexity_Full_Rewriting/AProVE_04/rta2.xml . 210.1 / 123.2  (-) . 6.1 / 3.2  (0) . 1.1 / 2.4  (0)
ntime_Complexity_Full_Rewriting/AProVE_04/rta3.xml . 620.5 / 298.3  (-) . 476.2 / 292.2  (0) n^1/? 19.6 / 13.5  (2)
exity_Full_Rewriting/AProVE_06/div_notCeTermin.xml . 382.2 / 202.5  (-) . 304.0 / 182.8  (0) n^1/? 17.4 / 14.4  (2)
plexity_Full_Rewriting/AProVE_06/div_notTermin.xml . 529.1 / 300.1  (-) . 394.3 / 292.7  (0) n^1/? 19.0 / 12.3  (2)
Complexity_Full_Rewriting/AProVE_06/factorial1.xml . 518.7 / 297.2  (-) . 474.2 / 291.5  (0) n^3/? 18.8 / 13.8  (2)
Complexity_Full_Rewriting/AProVE_06/factorial2.xml . 1061.4 / 299.9  (-) . 520.2 / 292.4  (0) n^2/? 271.9 / 281.2  (2)
e_Complexity_Full_Rewriting/AProVE_06/identity.xml . 353.8 / 297.4  (-) . 413.2 / 292.0  (0) n^1/? 16.3 / 24.7  (2)
_Complexity_Full_Rewriting/AProVE_06/logarithm.xml . 666.2 / 297.4  (-) . 462.5 / 292.1  (0) n^1/? 16.5 / 12.5  (2)
ime_Complexity_Full_Rewriting/AProVE_06/modulo.xml . 493.4 / 297.3  (-) . 448.2 / 292.3  (0) n^1/? 15.7 / 12.5  (2)
me_Complexity_Full_Rewriting/AProVE_06/nonterm.xml . 422.8 / 297.4  (-) . 758.8 / 292.4  (0) n^1/? 4.9 / 4.2  (2)
_Complexity_Full_Rewriting/AProVE_06/quicksort.xml . 567.5 / 297.9  (-) . 502.8 / 292.2  (0) n^2/? 17.3 / 14.5  (2)
ntime_Complexity_Full_Rewriting/AProVE_06/quot.xml . 442.1 / 300.0  (-) . 506.1 / 292.3  (0) n^1/? 16.3 / 11.7  (2)
Complexity_Full_Rewriting/AProVE_06/sizeChange.xml . 372.2 / 297.2  (-) . 57.6 / 56.8  (0) . 15.1 / 12.3  (0)
time_Complexity_Full_Rewriting/AProVE_06/tower.xml . 475.5 / 300.1  (-) . 511.3 / 292.2  (0) . 14.6 / 18.2  (0)
xity_Full_Rewriting/AProVE_06/tower_sizeChange.xml . 687.1 / 297.5  (-) . 532.5 / 291.8  (0) n^1/? 22.3 / 18.3  (2)
_Complexity_Full_Rewriting/AProVE_07/kabasci01.xml . 384.6 / 298.7  (-) . 655.8 / 292.1  (0) n^1/? 16.5 / 14.2  (2)
_Complexity_Full_Rewriting/AProVE_07/kabasci02.xml . 602.6 / 297.6  (-) . 624.2 / 292.4  (0) n^3/? 21.5 / 13.8  (2)
_Complexity_Full_Rewriting/AProVE_07/kabasci03.xml . 600.4 / 297.3  (-) ?/n^0 391.6 / 292.3  (2) . 15.9 / 11.9  (0)
_Complexity_Full_Rewriting/AProVE_07/kabasci04.xml . 489.6 / 297.7  (-) . 687.2 / 292.4  (0) n^1/? 11.4 / 17.9  (2)
_Complexity_Full_Rewriting/AProVE_07/kabasci05.xml . 491.5 / 300.0  (-) . 610.4 / 292.5  (0) n^1/? 20.2 / 13.3  (2)
ime_Complexity_Full_Rewriting/AProVE_07/otto01.xml . 545.6 / 298.9  (-) . 672.3 / 292.3  (0) n^1/? 17.1 / 12.9  (2)
ime_Complexity_Full_Rewriting/AProVE_07/otto02.xml . 426.9 / 297.4  (-) . 658.5 / 292.1  (0) n^1/? 18.1 / 12.8  (2)
ime_Complexity_Full_Rewriting/AProVE_07/otto03.xml . 476.5 / 297.3  (-) . 340.7 / 212.3  (0) n^1/? 16.5 / 13.3  (2)
ime_Complexity_Full_Rewriting/AProVE_07/otto04.xml . 573.5 / 297.4  (-) . 446.5 / 292.2  (0) n^1/? 18.5 / 15.6  (2)
ime_Complexity_Full_Rewriting/AProVE_07/otto05.xml . 473.2 / 297.5  (-) . 322.5 / 292.5  (0) n^1/? 10.5 / 15.6  (2)
ime_Complexity_Full_Rewriting/AProVE_07/otto06.xml . 618.3 / 297.2  (-) . 618.4 / 292.7  (0) n^1/? 16.2 / 12.4  (2)
ime_Complexity_Full_Rewriting/AProVE_07/otto07.xml . 541.4 / 300.0  (-) . 399.5 / 292.8  (0) n^1/? 17.6 / 12.4  (2)
ime_Complexity_Full_Rewriting/AProVE_07/otto08.xml . 501.5 / 297.5  (-) . 477.5 / 292.3  (0) n^1/? 13.0 / 12.9  (2)
ime_Complexity_Full_Rewriting/AProVE_07/otto09.xml . 261.8 / 110.2  (-) . 354.1 / 229.1  (0) n^1/? 16.1 / 11.5  (2)
ime_Complexity_Full_Rewriting/AProVE_07/otto10.xml . 552.8 / 297.2  (-) . 497.4 / 292.2  (0) n^1/? 15.9 / 12.7  (2)
ime_Complexity_Full_Rewriting/AProVE_07/otto11.xml . 357.2 / 297.5  (-) . 445.6 / 292.5  (0) n^1/? 18.7 / 13.5  (2)
ime_Complexity_Full_Rewriting/AProVE_07/otto12.xml . 493.8 / 297.1  (-) . 482.1 / 292.5  (0) n^2/? 15.6 / 17.4  (2)
ime_Complexity_Full_Rewriting/AProVE_07/otto13.xml . 510.4 / 297.3  (-) . 414.6 / 292.3  (0) n^1/? 14.8 / 12.3  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann01.xml . 562.2 / 300.0  (-) . 391.5 / 292.1  (0) n^1/? 17.9 / 12.5  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann02.xml . 495.3 / 298.4  (-) . 389.1 / 292.6  (0) n^1/? 17.8 / 13.3  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann03.xml . 673.3 / 299.3  (-) . 628.6 / 292.1  (0) n^2/? 9.8 / 15.2  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann04.xml . 522.4 / 297.9  (-) . 514.4 / 292.3  (0) n^1/? 16.9 / 12.3  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann05.xml . 597.0 / 297.2  (-) . 471.8 / 292.2  (0) n^1/? 16.4 / 12.5  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann06.xml . 539.3 / 298.1  (-) . 373.5 / 292.3  (0) n^1/? 13.8 / 11.4  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann07.xml . 546.3 / 297.5  (-) . 559.7 / 292.2  (0) n^2/? 19.2 / 14.0  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann08.xml . 627.5 / 297.7  (-) . 591.1 / 292.1  (0) ?/? 16.7 / 11.8  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann09.xml . 628.5 / 298.2  (-) . 423.1 / 292.8  (0) n^1/? 12.2 / 15.4  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann10.xml . 371.0 / 297.5  (-) . 406.2 / 292.3  (0) n^1/? 11.9 / 12.5  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann11.xml . 537.6 / 297.4  (-) . 478.9 / 292.3  (0) n^1/? 14.8 / 12.9  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann12.xml . 598.3 / 297.2  (-) . 469.9 / 292.2  (0) n^1/? 15.8 / 11.6  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann13.xml . 562.1 / 297.2  (-) . 464.5 / 292.3  (0) n^1/? 13.1 / 12.6  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann14.xml . 606.3 / 297.2  (-) . 654.0 / 292.2  (0) n^2/? 40.9 / 40.7  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann15.xml . 460.4 / 297.3  (-) . 516.7 / 292.3  (0) n^1/? 12.7 / 12.4  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann16.xml . 536.4 / 297.2  (-) . 574.3 / 292.1  (0) n^1/? 17.6 / 12.8  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann17.xml . 618.8 / 297.8  (-) . 714.9 / 292.2  (0) n^2/? 17.1 / 12.7  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann18.xml . 360.0 / 299.0  (-) . 448.0 / 292.3  (0) n^1/? 17.5 / 17.0  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann19.xml . 651.1 / 289.1  (-) . 458.9 / 292.5  (0) n^1/? 12.0 / 13.5  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann20.xml . 518.1 / 297.2  (-) . 434.3 / 292.3  (0) n^1/? 16.3 / 12.7  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann21.xml . 732.1 / 297.2  (-) . 489.2 / 292.2  (0) n^1/? 14.8 / 13.4  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann22.xml . 486.1 / 297.2  (-) . 479.0 / 292.2  (0) n^1/? 8.3 / 13.7  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann23.xml . 476.1 / 297.2  (-) . 614.3 / 292.5  (0) n^1/? 2.4 / 3.4  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann24.xml . 536.5 / 297.6  (-) . 441.3 / 292.2  (0) n^2/? 16.6 / 13.4  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann25.xml . 437.1 / 297.4  (-) . 435.1 / 292.1  (0) n^1/? 14.8 / 14.9  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann26.xml . 661.5 / 297.3  (-) . 422.1 / 292.3  (0) n^1/? 16.1 / 11.5  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann27.xml . 358.8 / 300.0  (-) . 385.7 / 292.3  (0) n^1/? 3.2 / 4.4  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann28.xml . 611.9 / 297.6  (-) . 703.1 / 292.2  (0) n^1/? 11.2 / 13.1  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann29.xml . 530.7 / 297.3  (-) . 353.5 / 292.4  (0) n^2/? 18.0 / 12.5  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann30.xml . 515.7 / 300.0  (-) . 581.1 / 292.2  (0) n^1/? 10.7 / 16.6  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann31.xml . 579.4 / 297.3  (-) . 442.3 / 292.3  (0) n^1/? 14.4 / 11.4  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann32.xml . 389.0 / 297.6  (-) . 569.6 / 292.6  (0) n^2/? 18.3 / 13.4  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann33.xml . 606.3 / 297.2  (-) . 419.6 / 292.3  (0) n^1/? 13.3 / 12.6  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann34.xml . 450.7 / 298.2  (-) . 362.0 / 292.4  (0) n^1/? 15.1 / 23.6  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann36.xml . 430.8 / 297.7  (-) . 506.4 / 292.3  (0) n^1/? 14.6 / 11.4  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann37.xml . 507.3 / 297.5  (-) . 560.5 / 292.4  (0) n^1/? 19.6 / 14.0  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann38.xml . 557.5 / 297.2  (-) . 408.8 / 292.5  (0) n^1/? 14.2 / 11.9  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann40.xml . 594.6 / 297.4  (-) . 339.0 / 292.6  (0) n^1/? 10.7 / 11.6  (2)
Complexity_Full_Rewriting/AProVE_07/thiemann41.xml . 502.6 / 298.0  (-) . 426.7 / 292.3  (0) n^1/? 13.4 / 11.3  (2)
me_Complexity_Full_Rewriting/AProVE_07/wiehe01.xml . 616.5 / 297.5  (-) . 456.6 / 292.3  (0) n^1/? 20.6 / 14.6  (2)
me_Complexity_Full_Rewriting/AProVE_07/wiehe02.xml . 578.8 / 297.8  (-) . 570.0 / 292.1  (0) n^1/? 19.0 / 15.1  (2)
me_Complexity_Full_Rewriting/AProVE_07/wiehe03.xml . 532.5 / 297.2  (-) . 585.8 / 292.7  (0) n^1/? 22.4 / 15.2  (2)
me_Complexity_Full_Rewriting/AProVE_07/wiehe05.xml . 681.5 / 297.2  (-) . 691.4 / 292.5  (0) n^1/? 15.6 / 12.4  (2)
me_Complexity_Full_Rewriting/AProVE_07/wiehe06.xml . 523.7 / 297.7  (-) . 661.6 / 292.3  (0) n^1/? 9.1 / 15.2  (2)
me_Complexity_Full_Rewriting/AProVE_07/wiehe07.xml . 501.6 / 298.8  (-) . 546.3 / 292.3  (0) n^1/? 13.0 / 17.5  (2)
me_Complexity_Full_Rewriting/AProVE_07/wiehe08.xml . 567.2 / 297.2  (-) . 586.7 / 292.2  (0) n^1/? 18.7 / 12.5  (2)
me_Complexity_Full_Rewriting/AProVE_07/wiehe09.xml . 436.2 / 297.4  (-) . 565.6 / 292.6  (0) . 11.4 / 13.7  (0)
me_Complexity_Full_Rewriting/AProVE_07/wiehe11.xml . 543.2 / 297.3  (-) . 684.2 / 292.2  (0) n^1/? 16.6 / 13.4  (2)
me_Complexity_Full_Rewriting/AProVE_07/wiehe12.xml . 554.4 / 297.7  (-) . 547.2 / 292.3  (0) n^1/? 24.4 / 13.7  (2)
ime_Complexity_Full_Rewriting/AProVE_08/id_inc.xml . 510.2 / 299.2  (-) . 402.9 / 292.3  (0) n^1/? 17.5 / 12.3  (2)
untime_Complexity_Full_Rewriting/AProVE_08/log.xml . 557.0 / 297.5  (-) . 690.2 / 292.2  (0) n^1/? 14.5 / 13.3  (2)
ity_Full_Rewriting/AProVE_08/parting01_reverse.xml . 613.2 / 297.1  (-) . 585.3 / 292.5  (0) n^2/? 16.4 / 12.3  (2)
_Full_Rewriting/AProVE_08/parting02_doublelist.xml . 541.3 / 297.3  (-) . 580.4 / 292.3  (0) n^1/? 14.8 / 12.6  (2)
ity_Full_Rewriting/AProVE_08/parting03_minsort.xml . 561.6 / 297.2  (-) . 691.7 / 292.1  (0) n^2/? 16.6 / 12.5  (2)
y_Full_Rewriting/AProVE_08/parting04_maxsort_h.xml . 631.1 / 297.3  (-) . 533.0 / 292.2  (0) n^2/? 18.8 / 12.9  (2)
ity_Full_Rewriting/AProVE_08/parting05_maxsort.xml . 364.1 / 300.1  (-) . 591.6 / 292.2  (0) n^2/? 15.1 / 12.4  (2)
time_Complexity_Full_Rewriting/AProVE_08/round.xml . 612.1 / 297.8  (-) . 347.1 / 292.3  (0) n^1/? 8.5 / 7.3  (2)
plexity_Full_Rewriting/AProVE_08/round_nonterm.xml . 566.0 / 297.4  (-) . 627.0 / 292.2  (0) ?/? 0.4 / 1.3  (0)
y_Full_Rewriting/AProVE_08/thiemann40_modified.xml . 356.5 / 298.2  (-) . 506.7 / 292.3  (0) n^2/? 14.4 / 11.3  (2)
plexity_Full_Rewriting/AProVE_09_Inductive/div.xml . 633.8 / 297.3  (-) . 319.4 / 292.5  (0) n^1/? 15.0 / 11.4  (2)
ity_Full_Rewriting/AProVE_09_Inductive/divhard.xml . 329.0 / 170.3  (-) . 449.3 / 292.5  (0) n^1/? 15.3 / 11.8  (2)
plexity_Full_Rewriting/AProVE_09_Inductive/gcd.xml . 565.5 / 297.4  (-) . 477.3 / 292.5  (0) n^1/? 14.9 / 11.7  (2)
lexity_Full_Rewriting/AProVE_09_Inductive/gcd2.xml . 543.8 / 297.2  (-) . 336.5 / 292.4  (0) n^1/? 14.9 / 11.3  (2)
ity_Full_Rewriting/AProVE_09_Inductive/gcdhard.xml . 646.9 / 297.3  (-) . 339.5 / 292.4  (0) n^1/? 9.3 / 14.1  (2)
plexity_Full_Rewriting/AProVE_09_Inductive/log.xml . 511.6 / 300.0  (-) . 236.0 / 158.3  (0) n^1/? 9.5 / 12.5  (2)
ity_Full_Rewriting/AProVE_09_Inductive/maxsort.xml . 560.5 / 298.1  (-) . 602.0 / 292.5  (0) n^2/? 11.4 / 13.4  (2)
Rewriting/AProVE_09_Inductive/maxsortcondition.xml . 629.7 / 297.3  (-) . 459.9 / 292.3  (0) n^2/? 18.1 / 12.7  (2)
ity_Full_Rewriting/AProVE_09_Inductive/minsort.xml . 369.9 / 300.0  (-) . 603.5 / 292.3  (0) n^1/? 17.0 / 12.8  (2)
plexity_Full_Rewriting/AProVE_09_Inductive/mod.xml . 509.8 / 298.7  (-) . 456.6 / 292.2  (0) n^1/? 12.8 / 12.4  (2)
exity_Full_Rewriting/AProVE_09_Inductive/qsort.xml . 365.8 / 300.0  (-) . 384.5 / 292.3  (0) n^1/? 9.5 / 13.7  (2)
y_Full_Rewriting/AProVE_09_Inductive/qsortlast.xml . 580.0 / 297.2  (-) . 618.7 / 292.2  (0) n^1/? 17.0 / 12.3  (2)
Full_Rewriting/AProVE_09_Inductive/qsortmiddle.xml . 457.2 / 297.8  (-) . 465.0 / 292.7  (0) n^1/? 37.2 / 14.2  (2)
ty_Full_Rewriting/AProVE_09_Inductive/zerolist.xml . 508.3 / 297.9  (-) . 449.1 / 292.2  (0) n^1/? 9.3 / 14.5  (2)
time_Complexity_Full_Rewriting/Beerendonk_07/1.xml . 355.1 / 300.0  (-) . 213.8 / 148.5  (0) n^1/? 14.4 / 11.2  (2)
ime_Complexity_Full_Rewriting/Beerendonk_07/10.xml . 244.6 / 119.8  (-) . 282.8 / 198.4  (0) n^1/? 15.4 / 12.7  (2)
ime_Complexity_Full_Rewriting/Beerendonk_07/11.xml . 270.4 / 149.1  (-) . 350.1 / 292.6  (0) n^1/? 7.7 / 13.1  (2)
ime_Complexity_Full_Rewriting/Beerendonk_07/12.xml . 215.6 / 133.3  (-) . 334.9 / 273.0  (0) n^1/? 19.5 / 14.4  (2)
ime_Complexity_Full_Rewriting/Beerendonk_07/13.xml . 258.2 / 174.4  (-) . 134.7 / 79.4  (0) n^1/? 13.9 / 11.6  (2)
ime_Complexity_Full_Rewriting/Beerendonk_07/14.xml . 202.7 / 90.5  (-) . 178.1 / 108.8  (0) n^1/? 18.5 / 14.5  (2)
ime_Complexity_Full_Rewriting/Beerendonk_07/15.xml . 503.8 / 297.3  (-) . 531.7 / 292.9  (0) n^1/? 12.6 / 12.9  (2)
ime_Complexity_Full_Rewriting/Beerendonk_07/16.xml . 588.7 / 284.3  (-) . 532.6 / 292.3  (0) n^1/? 15.5 / 11.7  (2)
ime_Complexity_Full_Rewriting/Beerendonk_07/17.xml . 369.5 / 297.8  (-) . 576.2 / 292.6  (0) n^1/? 16.5 / 12.5  (2)
ime_Complexity_Full_Rewriting/Beerendonk_07/18.xml . 381.3 / 163.3  (-) . 338.6 / 163.1  (0) n^1/? 15.3 / 11.4  (2)
ime_Complexity_Full_Rewriting/Beerendonk_07/19.xml . 438.6 / 196.8  (-) . 247.0 / 127.8  (0) n^1/? 13.6 / 11.4  (2)
time_Complexity_Full_Rewriting/Beerendonk_07/2.xml . 209.1 / 117.0  (-) . 174.2 / 100.4  (0) n^1/? 7.3 / 12.8  (2)
ime_Complexity_Full_Rewriting/Beerendonk_07/20.xml . 354.9 / 297.6  (-) . 394.6 / 196.0  (0) n^1/? 14.1 / 11.3  (2)
ime_Complexity_Full_Rewriting/Beerendonk_07/21.xml . 461.9 / 183.1  (-) . 439.3 / 247.9  (0) n^1/? 18.0 / 12.3  (2)
ime_Complexity_Full_Rewriting/Beerendonk_07/22.xml . 149.8 / 67.3  (-) . 214.8 / 130.1  (0) n^1/? 12.9 / 11.7  (2)
ime_Complexity_Full_Rewriting/Beerendonk_07/23.xml . 259.9 / 136.2  (-) . 139.7 / 80.1  (0) n^1/? 15.4 / 12.0  (2)
ime_Complexity_Full_Rewriting/Beerendonk_07/24.xml . 390.2 / 148.3  (-) . 545.4 / 292.6  (0) n^1/? 10.4 / 12.8  (2)
time_Complexity_Full_Rewriting/Beerendonk_07/3.xml . 388.6 / 297.5  (-) . 306.8 / 188.0  (0) n^1/? 15.5 / 11.5  (2)
time_Complexity_Full_Rewriting/Beerendonk_07/4.xml . 411.0 / 297.4  (-) . 316.0 / 292.1  (0) n^1/? 1.0 / 2.2  (2)
time_Complexity_Full_Rewriting/Beerendonk_07/5.xml . 489.3 / 298.6  (-) . 270.0 / 187.7  (0) n^1/? 15.6 / 11.7  (2)
time_Complexity_Full_Rewriting/Beerendonk_07/6.xml . 164.1 / 100.7  (-) . 196.0 / 118.6  (0) n^1/? 15.3 / 11.4  (2)
time_Complexity_Full_Rewriting/Beerendonk_07/7.xml . 340.9 / 172.8  (-) . 437.1 / 292.5  (0) n^1/? 13.4 / 11.4  (2)
time_Complexity_Full_Rewriting/Beerendonk_07/8.xml . 401.4 / 210.2  (-) . 651.1 / 292.5  (0) n^1/? 16.2 / 11.3  (2)
time_Complexity_Full_Rewriting/Beerendonk_07/9.xml . 418.0 / 154.6  (-) . 225.6 / 104.3  (0) n^1/? 15.0 / 11.5  (2)
e_Complexity_Full_Rewriting/CiME_04/ack_prolog.xml . 694.4 / 297.3  (-) . 396.4 / 292.1  (0) n^1/? 18.8 / 20.0  (2)
_Complexity_Full_Rewriting/CiME_04/append-hard.xml . 677.3 / 297.3  (-) . 322.0 / 292.2  (0) n^1/? 8.4 / 14.1  (2)
Complexity_Full_Rewriting/CiME_04/append-wrong.xml . 639.1 / 297.3  (-) . 439.6 / 292.0  (0) ?/? 1.9 / 1.4  (0)
ntime_Complexity_Full_Rewriting/CiME_04/append.xml ?/n^1 7.1 / 4.0  (-) ?/n^1 5.2 / 2.1  (2) n^1/? 14.7 / 11.3  (2)
Runtime_Complexity_Full_Rewriting/CiME_04/big.xml . 592.0 / 297.7  (-) . 611.2 / 292.2  (0) . 26.3 / 15.5  (0)
Runtime_Complexity_Full_Rewriting/CiME_04/dpqs.xml ?/n^0 4.1 / 1.1  (-) ?/n^0 2.9 / 1.5  (2) . 12.7 / 11.4  (0)
me_Complexity_Full_Rewriting/CiME_04/fact-hard.xml . 665.4 / 297.3  (-) . 437.2 / 292.3  (0) n^2/? 9.4 / 14.8  (2)
me_Complexity_Full_Rewriting/CiME_04/filliatre.xml . 606.7 / 297.4  (-) . 526.0 / 293.1  (0) n^1/? 14.4 / 11.4  (2)
e_Complexity_Full_Rewriting/CiME_04/filliatre2.xml . 675.5 / 297.3  (-) . 545.5 / 292.7  (0) n^1/? 14.4 / 13.6  (2)
e_Complexity_Full_Rewriting/CiME_04/filliatre3.xml . 609.0 / 298.1  (-) . 587.7 / 292.1  (0) n^1/? 11.4 / 14.9  (2)
me_Complexity_Full_Rewriting/CiME_04/intersect.xml ?/n^2 501.4 / 297.9  (-) . 491.8 / 292.3  (0) n^1/? 19.1 / 15.3  (2)
l_Rewriting/CiME_04/list-sum-prod-assoc-append.xml . 569.5 / 297.9  (-) . 531.1 / 292.1  (0) n^2/? 19.2 / 17.5  (2)
ity_Full_Rewriting/CiME_04/list-sum-prod-assoc.xml . 761.7 / 298.2  (-) . 319.3 / 293.9  (0) n^2/? 19.4 / 16.9  (2)
ting/CiME_04/list-sum-prod-bin-assoc-distr-app.xml . 562.6 / 298.0  (-) . 456.2 / 292.5  (0) n^1/? 19.5 / 12.9  (2)
Full_Rewriting/CiME_04/list-sum-prod-bin-assoc.xml . 396.2 / 297.4  (-) . 634.5 / 292.2  (0) n^1/? 18.0 / 13.5  (2)
exity_Full_Rewriting/CiME_04/list-sum-prod-bin.xml . 633.6 / 297.2  (-) . 358.1 / 292.5  (0) n^1/? 17.4 / 15.6  (2)
omplexity_Full_Rewriting/CiME_04/list-sum-prod.xml . 463.0 / 298.3  (-) . 550.6 / 292.1  (0) n^2/? 23.3 / 15.4  (2)
Runtime_Complexity_Full_Rewriting/CiME_04/log2.xml . 529.2 / 297.4  (-) . 619.9 / 292.1  (0) n^1/? 21.5 / 14.6  (2)
Runtime_Complexity_Full_Rewriting/CiME_04/lse.xml . 446.3 / 298.2  (-) . 469.1 / 292.3  (0) n^2/? 18.8 / 13.0  (2)
ntime_Complexity_Full_Rewriting/CiME_04/maude2.xml . 371.8 / 297.1  (-) . 589.8 / 292.2  (0) n^1/? 31.9 / 19.3  (2)
ntime_Complexity_Full_Rewriting/CiME_04/mucrl1.xml . 621.6 / 297.8  (-) . 703.0 / 292.4  (0) . 313.5 / 281.1  (0)
Complexity_Full_Rewriting/CiME_04/ternary-hard.xml . 554.0 / 297.4  (-) . 580.1 / 292.1  (0) n^1/? 42.6 / 33.5  (2)
time_Complexity_Full_Rewriting/CiME_04/ternary.xml . 491.5 / 297.2  (-) . 491.9 / 292.3  (0) n^1/? 28.5 / 28.8  (2)
Runtime_Complexity_Full_Rewriting/CiME_04/tree.xml . 651.3 / 297.3  (-) . 638.1 / 292.5  (0) n^1/? 22.3 / 16.1  (2)
Runtime_Complexity_Full_Rewriting/Der95/06.xml ?/n^1 1.2 / 0.4  (-) ?/n^1 0.6 / 1.0  (2) n^1/? 2.7 / 3.4  (2)
Runtime_Complexity_Full_Rewriting/Der95/07.xml ?/n^1 4.1 / 2.0  (-) ?/n^1 1.4 / 0.7  (2) n^1/? 9.5 / 11.3  (2)
Runtime_Complexity_Full_Rewriting/Der95/08.xml ?/n^1 3.9 / 2.2  (-) ?/n^1 4.2 / 1.1  (2) n^1/? 16.0 / 12.9  (2)
Runtime_Complexity_Full_Rewriting/Der95/11.xml ?/n^1 308.0 / 148.1  (-) ?/n^1 130.8 / 92.2  (2) n^1/? 19.7 / 12.3  (2)
Runtime_Complexity_Full_Rewriting/Der95/12.xml . 466.4 / 298.4  (-) . 497.7 / 292.0  (0) n^1/? 16.6 / 13.6  (2)
Runtime_Complexity_Full_Rewriting/Der95/18.xml ?/n^1 1.6 / 0.9  (-) ?/n^1 0.4 / 0.5  (2) n^1/? 3.7 / 2.2  (2)
Runtime_Complexity_Full_Rewriting/Der95/20.xml . 596.1 / 297.7  (-) . 572.1 / 292.0  (0) n^1/? 14.3 / 12.2  (2)
Runtime_Complexity_Full_Rewriting/Der95/21.xml . 860.6 / 298.0  (-) . 507.4 / 292.1  (0) n^2/? 18.3 / 12.5  (2)
Runtime_Complexity_Full_Rewriting/Der95/27.xml ?/n^1 1.6 / 0.6  (-) ?/n^1 0.6 / 0.4  (2) n^1/? 2.2 / 2.2  (2)
Runtime_Complexity_Full_Rewriting/Der95/31.xml ?/n^2 511.1 / 299.0  (-) ?/n^2 13.3 / 4.5  (2) n^1/? 15.4 / 11.6  (2)
Runtime_Complexity_Full_Rewriting/Der95/32.xml . 612.4 / 297.3  (-) . 391.8 / 292.2  (0) n^1/? 17.5 / 13.9  (2)
Runtime_Complexity_Full_Rewriting/Der95/33.xml . 376.1 / 297.5  (-) . 595.7 / 292.3  (0) n^1/? 13.3 / 11.3  (2)
_Complexity_Full_Rewriting/Endrullis_06/direct.xml ?/n^1 57.0 / 28.9  (-) ?/n^0 12.7 / 9.0  (2) . 2.0 / 2.2  (0)
ntime_Complexity_Full_Rewriting/GTSSK07/cade01.xml . 394.7 / 297.5  (-) . 510.2 / 292.8  (0) n^1/? 13.5 / 11.6  (2)
ntime_Complexity_Full_Rewriting/GTSSK07/cade03.xml . 601.4 / 300.1  (-) . 595.5 / 292.0  (0) n^1/? 14.3 / 11.5  (2)
time_Complexity_Full_Rewriting/GTSSK07/cade04t.xml . 715.2 / 297.5  (-) . 343.2 / 292.1  (0) n^1/? 16.2 / 11.7  (2)
time_Complexity_Full_Rewriting/GTSSK07/cade05t.xml . 461.2 / 297.4  (-) . 554.5 / 292.3  (0) n^1/? 11.0 / 12.5  (2)
ntime_Complexity_Full_Rewriting/GTSSK07/cade06.xml . 382.9 / 297.2  (-) . 357.8 / 174.9  (0) n^1/? 14.9 / 11.4  (2)
ntime_Complexity_Full_Rewriting/GTSSK07/cade07.xml . 611.6 / 297.2  (-) . 617.3 / 292.2  (0) n^1/? 3.9 / 3.3  (2)
ntime_Complexity_Full_Rewriting/GTSSK07/cade08.xml . 440.5 / 231.2  (-) . 344.6 / 180.0  (0) n^1/? 8.1 / 13.2  (2)
ntime_Complexity_Full_Rewriting/GTSSK07/cade09.xml . 748.4 / 297.9  (-) . 303.5 / 292.1  (0) n^1/? 13.2 / 12.3  (2)
ntime_Complexity_Full_Rewriting/GTSSK07/cade10.xml . 628.7 / 297.3  (-) . 515.1 / 292.0  (0) n^1/? 14.7 / 12.5  (2)
ntime_Complexity_Full_Rewriting/GTSSK07/cade11.xml . 562.5 / 298.5  (-) . 426.3 / 292.2  (0) n^1/? 1.6 / 2.3  (2)
time_Complexity_Full_Rewriting/GTSSK07/cade12t.xml . 400.7 / 297.4  (-) . 570.2 / 292.5  (0) n^1/? 16.4 / 12.4  (2)
time_Complexity_Full_Rewriting/GTSSK07/cade13t.xml . 529.7 / 297.3  (-) . 317.8 / 292.5  (0) n^1/? 15.6 / 12.3  (2)
ntime_Complexity_Full_Rewriting/GTSSK07/cade14.xml . 554.1 / 297.8  (-) . 311.5 / 293.3  (0) n^1/? 11.4 / 11.9  (2)
ntime_Complexity_Full_Rewriting/GTSSK07/cade15.xml . 617.4 / 297.2  (-) . 471.7 / 292.2  (0) ?/? 17.0 / 12.8  (0)
ntime_Complexity_Full_Rewriting/GTSSK07/cade16.xml . 545.9 / 297.6  (-) . 494.7 / 292.3  (0) n^1/? 8.0 / 14.3  (2)
ntime_Complexity_Full_Rewriting/GTSSK07/cade17.xml . 415.5 / 297.8  (-) . 620.7 / 292.2  (0) n^2/? 16.2 / 12.4  (2)
xity_Full_Rewriting/HirokawaMiddeldorp_04/n002.xml . 59.1 / 46.7  (-) . 25.6 / 14.3  (0) ?/? 0.3 / 1.2  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/n003.xml . 63.6 / 26.4  (-) . 23.0 / 14.1  (0) ?/? 0.3 / 1.3  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/n004.xml . 89.3 / 29.5  (-) . 37.1 / 14.0  (0) ?/? 0.4 / 2.4  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/n005.xml . 652.7 / 297.2  (-) . 292.0 / 292.5  (0) ?/? 0.3 / 1.3  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/n006.xml . 69.6 / 34.1  (-) . 34.1 / 16.0  (0) ?/? 0.3 / 1.2  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/n007.xml . 68.2 / 39.4  (-) . 3.7 / 1.5  (0) ?/? 0.4 / 1.3  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/t001.xml . 725.0 / 297.6  (-) . 513.7 / 292.3  (0) n^1/? 23.0 / 16.9  (2)
xity_Full_Rewriting/HirokawaMiddeldorp_04/t002.xml . 557.8 / 297.5  (-) . 439.0 / 292.4  (0) n^1/? 13.1 / 12.4  (2)
xity_Full_Rewriting/HirokawaMiddeldorp_04/t003.xml . 560.5 / 297.3  (-) . 588.1 / 292.4  (0) n^1/? 28.1 / 22.5  (2)
xity_Full_Rewriting/HirokawaMiddeldorp_04/t004.xml . 516.3 / 297.2  (-) . 240.2 / 127.4  (0) n^1/? 5.6 / 4.4  (2)
xity_Full_Rewriting/HirokawaMiddeldorp_04/t009.xml . 704.6 / 300.1  (-) . 727.3 / 294.0  (0) . 290.5 / 280.7  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/t011.xml ?/n^1 28.1 / 24.5  (-) ?/n^1 16.4 / 7.1  (2) n^1/? 2.2 / 2.2  (2)
xity_Full_Rewriting/HirokawaMiddeldorp_04/t012.xml . 747.4 / 297.6  (-) . 680.5 / 292.6  (0) n^1/? 14.9 / 11.4  (2)
xity_Full_Rewriting/HirokawaMiddeldorp_04/t013.xml . 873.4 / 297.5  (-) . 530.0 / 292.1  (0) n^1/? 28.2 / 23.3  (2)
xity_Full_Rewriting/HirokawaMiddeldorp_04/t014.xml . 522.6 / 297.5  (-) . 537.0 / 292.1  (0) n^1/? 15.3 / 11.3  (2)
plexity_Full_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.xml . 627.1 / 297.2  (-) . 550.3 / 291.7  (0) n^1/? 12.1 / 15.6  (2)
me_Complexity_Full_Rewriting/Mixed_TRS/fossacs.xml . 572.6 / 297.7  (-) . 542.6 / 292.5  (0) n^1/? 14.4 / 11.2  (2)
untime_Complexity_Full_Rewriting/Mixed_TRS/gcd.xml . 506.4 / 297.2  (-) . 532.5 / 292.2  (0) n^1/? 15.9 / 12.3  (2)
_Complexity_Full_Rewriting/Mixed_TRS/gcdMinMax.xml . 575.5 / 297.2  (-) . 393.5 / 292.6  (0) n^1/? 16.8 / 13.6  (2)
Complexity_Full_Rewriting/Mixed_TRS/gcd_triple.xml . 540.8 / 297.2  (-) . 565.5 / 292.2  (0) n^1/? 14.1 / 12.4  (2)
exity_Full_Rewriting/Mixed_TRS/hydra-Zantema06.xml . 655.7 / 297.4  (-) . 547.7 / 293.0  (0) n^1/? 9.5 / 12.4  (2)
time_Complexity_Full_Rewriting/Mixed_TRS/hydra.xml ?/n^2 660.9 / 297.1  (-) ?/n^2 8.8 / 3.5  (2) . 12.5 / 20.5  (0)
ime_Complexity_Full_Rewriting/Mixed_TRS/jones1.xml ?/n^1 5.5 / 2.7  (-) ?/n^1 0.4 / 0.2  (2) . 6.7 / 6.3  (0)
ime_Complexity_Full_Rewriting/Mixed_TRS/jones2.xml ?/n^1 22.9 / 20.5  (-) ?/n^1 4.3 / 1.2  (2) . 16.3 / 11.5  (0)
ime_Complexity_Full_Rewriting/Mixed_TRS/jones4.xml ?/n^1 0.7 / 0.3  (-) ?/n^1 0.5 / 0.2  (2) . 15.2 / 11.2  (0)
ime_Complexity_Full_Rewriting/Mixed_TRS/jones5.xml . 431.4 / 297.5  (-) . 7.6 / 3.7  (0) . 17.2 / 14.5  (0)
ime_Complexity_Full_Rewriting/Mixed_TRS/jones6.xml ?/n^1 6.9 / 4.9  (-) ?/n^1 2.8 / 1.0  (2) . 15.3 / 12.3  (0)
me_Complexity_Full_Rewriting/Mixed_TRS/minsort.xml . 599.7 / 297.2  (-) . 647.2 / 292.2  (0) n^1/? 16.2 / 11.5  (2)
me_Complexity_Full_Rewriting/Mixed_TRS/perfect.xml ?/n^1 5.7 / 2.3  (-) ?/n^1 4.2 / 1.4  (2) . 7.5 / 6.3  (0)
e_Complexity_Full_Rewriting/Mixed_TRS/perfect2.xml . 507.2 / 298.4  (-) . 616.4 / 292.2  (0) n^1/? 18.9 / 16.0  (2)
time_Complexity_Full_Rewriting/Mixed_TRS/test1.xml . 564.3 / 297.3  (-) . 6.4 / 3.7  (0) . 1.2 / 2.3  (0)
time_Complexity_Full_Rewriting/Mixed_TRS/while.xml . 349.8 / 297.5  (-) . 570.6 / 292.1  (0) . 2.2 / 2.5  (0)
me_Complexity_Full_Rewriting/Rubio_04/bintrees.xml ?/n^1 9.8 / 3.5  (-) ?/n^1 9.4 / 4.0  (2) n^1/? 15.3 / 11.5  (2)
ntime_Complexity_Full_Rewriting/Rubio_04/bn122.xml ?/n^1 8.6 / 6.5  (-) ?/n^1 2.0 / 0.7  (2) . 18.6 / 13.7  (0)
me_Complexity_Full_Rewriting/Rubio_04/division.xml . 585.5 / 297.2  (-) . 494.1 / 292.1  (0) n^1/? 13.9 / 11.6  (2)
me_Complexity_Full_Rewriting/Rubio_04/elimdupl.xml . 423.1 / 297.6  (-) ?/n^3 542.0 / 292.3  (2) n^1/? 13.7 / 12.4  (2)
untime_Complexity_Full_Rewriting/Rubio_04/enno.xml . 625.7 / 297.2  (-) . 715.9 / 292.1  (0) n^1/? 14.0 / 11.3  (2)
Runtime_Complexity_Full_Rewriting/Rubio_04/gcd.xml . 502.7 / 297.5  (-) . 343.8 / 292.3  (0) n^1/? 21.6 / 14.9  (2)
Runtime_Complexity_Full_Rewriting/Rubio_04/gm.xml ?/n^1 197.9 / 117.5  (-) ?/n^1 1.7 / 0.9  (2) n^1/? 16.2 / 11.7  (2)
untime_Complexity_Full_Rewriting/Rubio_04/gmnp.xml ?/n^1 6.0 / 2.5  (-) ?/n^1 2.7 / 1.4  (2) n^1/? 9.6 / 11.9  (2)
untime_Complexity_Full_Rewriting/Rubio_04/koen.xml ?/n^0 5.3 / 2.7  (-) ?/n^0 2.0 / 0.7  (2) . 3.3 / 4.7  (0)
e_Complexity_Full_Rewriting/Rubio_04/logarquot.xml . 530.3 / 281.3  (-) . 432.0 / 259.3  (0) n^1/? 7.7 / 12.7  (2)
untime_Complexity_Full_Rewriting/Rubio_04/ma96.xml . 482.9 / 297.3  (-) . 747.2 / 292.2  (0) n^1/? 21.6 / 15.9  (2)
ntime_Complexity_Full_Rewriting/Rubio_04/mfp95.xml ?/n^1 0.6 / 0.4  (-) ?/n^0 0.1 / 0.1  (2) . 0.7 / 2.3  (0)
ime_Complexity_Full_Rewriting/Rubio_04/nestrec.xml . 759.9 / 297.2  (-) . 472.4 / 292.0  (0) n^1/? 2.4 / 3.2  (2)
untime_Complexity_Full_Rewriting/Rubio_04/p266.xml ?/n^1 8.1 / 3.2  (-) ?/n^0 1.9 / 2.3  (2) . 0.5 / 2.3  (0)
ntime_Complexity_Full_Rewriting/Rubio_04/polo2.xml ?/n^1 290.2 / 148.2  (-) ?/n^1 84.5 / 61.8  (2) n^1/? 19.4 / 13.0  (2)
untime_Complexity_Full_Rewriting/Rubio_04/prov.xml ?/n^1 0.9 / 0.5  (-) ?/n^1 1.7 / 1.0  (2) n^1/? 1.6 / 3.2  (2)
ntime_Complexity_Full_Rewriting/Rubio_04/quick.xml . 438.1 / 297.4  (-) . 561.4 / 292.7  (0) n^2/? 15.3 / 13.4  (2)
e_Complexity_Full_Rewriting/Rubio_04/quotminus.xml . 468.1 / 297.9  (-) . 466.8 / 292.4  (0) n^1/? 15.5 / 12.3  (2)
ime_Complexity_Full_Rewriting/Rubio_04/revlist.xml . 739.7 / 297.4  (-) . 552.0 / 292.4  (0) n^1/? 9.5 / 5.3  (2)
ime_Complexity_Full_Rewriting/Rubio_04/selsort.xml . 689.2 / 297.1  (-) . 657.0 / 292.1  (0) n^2/? 16.2 / 13.0  (2)
ntime_Complexity_Full_Rewriting/Rubio_04/test4.xml ?/n^1 16.1 / 8.8  (-) ?/n^1 8.7 / 4.6  (2) n^1/? 2.0 / 2.2  (2)
ime_Complexity_Full_Rewriting/Rubio_04/test829.xml ?/n^1 4.2 / 2.3  (-) ?/n^1 1.3 / 0.4  (2) . 0.5 / 2.2  (0)
ntime_Complexity_Full_Rewriting/Rubio_04/wst99.xml . 610.7 / 297.2  (-) . 634.6 / 292.2  (0) n^1/? 14.0 / 11.3  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.02.xml ?/n^1 548.8 / 297.2  (-) ?/n^1 337.8 / 292.4  (2) n^1/? 14.8 / 11.2  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.03.xml ?/n^1 3.8 / 1.9  (-) ?/n^1 1.4 / 0.6  (2) n^1/? 15.0 / 11.3  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.07.xml ?/n^2 533.0 / 297.3  (-) ?/n^2 19.7 / 9.3  (2) n^1/? 27.4 / 21.7  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.09.xml ?/n^1 1.3 / 0.5  (-) ?/n^1 0.6 / 0.2  (2) n^1/? 15.8 / 11.5  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.11.xml ?/n^1 1.9 / 1.2  (-) ?/n^1 0.9 / 0.4  (2) n^1/? 15.4 / 11.6  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.12.xml . 467.6 / 297.6  (-) . 389.7 / 292.3  (0) n^3/? 16.9 / 12.7  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.13.xml ?/n^1 5.5 / 3.2  (-) ?/n^1 2.4 / 1.2  (2) n^1/? 16.4 / 12.8  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.14.xml ?/n^1 462.3 / 297.2  (-) ?/n^1 3.3 / 1.6  (2) n^1/? 8.4 / 13.7  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.15.xml . 522.3 / 297.4  (-) . 330.4 / 292.1  (0) ?/? 4.4 / 4.3  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.16.xml ?/n^2 411.2 / 297.5  (-) ?/n^2 8.2 / 4.1  (2) n^1/? 13.7 / 13.6  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.17.xml ?/n^1 7.1 / 3.5  (-) ?/n^1 1.2 / 0.7  (2) n^1/? 4.2 / 5.6  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.18.xml ?/n^2 59.0 / 34.4  (-) ?/n^2 5.6 / 1.7  (2) n^1/? 16.4 / 12.2  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.19.xml . 360.5 / 218.3  (-) ?/n^2 482.4 / 292.3  (2) n^2/? 17.2 / 12.8  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.20.xml ?/n^1 3.4 / 2.1  (-) ?/n^1 2.1 / 1.3  (2) n^1/? 3.1 / 4.7  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.21.xml . 146.9 / 67.2  (-) . 8.3 / 3.6  (0) n^1/? 7.9 / 10.0  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.22.xml . 552.0 / 297.3  (-) . 533.4 / 294.6  (0) n^1/? 17.8 / 12.3  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.23.xml . 446.7 / 298.4  (-) . 454.2 / 292.3  (0) n^2/? 282.5 / 281.0  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.24.xml . 99.1 / 54.4  (-) . 8.7 / 7.5  (0) n^1/? 8.1 / 5.3  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.25.xml . 581.2 / 297.4  (-) . 546.2 / 292.2  (0) n^1/? 15.5 / 12.2  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.26.xml . 627.3 / 298.6  (-) . 559.0 / 292.1  (0) ?/? 11.5 / 16.1  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.27.xml . 680.1 / 298.4  (-) . 456.2 / 292.1  (0) . 14.6 / 12.5  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.28.xml . 538.5 / 297.3  (-) . 580.1 / 292.1  (0) n^1/? 4.3 / 4.3  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.29.xml ?/n^1 26.7 / 14.1  (-) ?/n^1 4.4 / 2.4  (2) n^1/? 3.3 / 3.3  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.30.xml ?/n^1 1.2 / 0.5  (-) ?/n^0 2.7 / 1.2  (2) . 0.4 / 2.2  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.31.xml ?/n^1 3.4 / 1.8  (-) ?/n^1 0.6 / 0.3  (2) n^1/? 14.4 / 12.5  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.36.xml ?/n^1 31.3 / 25.6  (-) ?/n^1 14.6 / 7.1  (2) n^1/? 14.8 / 11.3  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.37.xml ?/n^1 3.0 / 1.8  (-) ?/n^0 1.0 / 1.2  (2) . 0.8 / 2.8  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.38.xml ?/n^1 5.3 / 3.2  (-) ?/n^1 0.7 / 0.4  (2) n^1/? 13.1 / 11.3  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.39.xml ?/n^2 141.7 / 80.2  (-) ?/n^2 22.0 / 10.9  (2) n^2/? 13.7 / 11.8  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.40.xml ?/n^1 5.0 / 2.5  (-) ?/n^1 1.0 / 1.2  (2) n^1/? 1.3 / 2.5  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.41.xml ?/n^1 2.2 / 1.4  (-) ?/n^1 2.3 / 1.1  (2) n^1/? 8.1 / 14.2  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.42.xml ?/n^1 810.4 / 297.6  (-) ?/n^1 24.5 / 8.2  (2) n^1/? 29.7 / 12.1  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.43.xml . 610.3 / 300.0  (-) . 309.3 / 292.0  (0) n^1/? 27.2 / 21.8  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.44.xml ?/n^1 17.3 / 10.0  (-) ?/n^1 4.1 / 1.7  (2) n^1/? 13.8 / 11.3  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.45.xml ?/n^1 87.1 / 83.7  (-) ?/n^1 3.1 / 2.7  (2) n^1/? 11.2 / 9.5  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.47.xml ?/n^1 1.9 / 1.7  (-) ?/n^1 0.2 / 0.1  (2) n^1/? 4.2 / 3.2  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.48.xml ?/n^0 1.8 / 0.9  (-) ?/n^0 0.5 / 0.5  (2) . 1.1 / 2.6  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.49.xml ?/n^1 9.5 / 6.7  (-) ?/n^0 4.8 / 1.7  (2) . 0.6 / 2.2  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.50.xml ?/n^1 0.8 / 0.4  (-) ?/n^1 0.3 / 0.2  (2) n^1/? 1.1 / 2.2  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.51.xml . 596.3 / 297.6  (-) . 489.4 / 292.5  (0) n^1/? 7.9 / 6.8  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.52.xml . 563.7 / 297.8  (-) . 573.3 / 292.3  (0) . 16.4 / 15.1  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.53.xml ?/n^1 1.5 / 1.0  (-) ?/n^1 1.2 / 0.5  (2) n^1/? 14.1 / 11.4  (2)
Runtime_Complexity_Full_Rewriting/SK90/2.54.xml ?/n^1 4.8 / 5.1  (-) ?/n^1 0.3 / 0.2  (2) . 3.7 / 3.3  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.55.xml ?/n^1 2.5 / 1.4  (-) ?/n^1 0.3 / 0.2  (2) . 1.5 / 4.1  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.59.xml ?/n^1 3.2 / 3.5  (-) ?/n^1 0.2 / 0.1  (2) . 0.8 / 2.4  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.61.xml ?/n^1 381.5 / 297.6  (-) ?/n^1 428.3 / 293.3  (2) . 5.6 / 10.5  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.05.xml ?/n^2 38.6 / 23.4  (-) ?/n^2 5.6 / 3.0  (2) n^1/? 25.0 / 22.3  (2)
Runtime_Complexity_Full_Rewriting/SK90/4.06.xml . 549.6 / 300.0  (-) . 469.4 / 292.2  (0) ?/? 0.4 / 1.2  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.07.xml ?/n^1 4.2 / 1.5  (-) ?/n^0 0.4 / 0.2  (2) . 15.7 / 11.3  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.09.xml ?/n^2 577.8 / 297.3  (-) ?/n^0 5.9 / 3.3  (2) . 15.4 / 11.4  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.10.xml ?/n^2 136.2 / 79.5  (-) ?/n^2 13.6 / 5.8  (2) n^1/? 14.9 / 14.7  (2)
Runtime_Complexity_Full_Rewriting/SK90/4.12.xml ?/n^1 57.0 / 24.1  (-) ?/n^1 13.1 / 7.1  (2) n^1/? 16.6 / 12.3  (2)
Runtime_Complexity_Full_Rewriting/SK90/4.13.xml ?/n^1 362.7 / 290.7  (-) ?/n^2 10.3 / 4.8  (2) n^1/? 18.5 / 12.7  (2)
Runtime_Complexity_Full_Rewriting/SK90/4.16.xml ?/n^1 8.4 / 5.4  (-) ?/n^1 1.3 / 0.6  (2) . 9.5 / 12.2  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.17.xml . 265.6 / 150.4  (-) . 151.4 / 87.6  (0) n^2/? 1.9 / 3.3  (2)
Runtime_Complexity_Full_Rewriting/SK90/4.18.xml ?/n^1 9.5 / 4.2  (-) ?/n^0 1.3 / 0.7  (2) . 8.7 / 8.4  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.22.xml . 566.0 / 298.0  (-) . 499.2 / 292.2  (0) n^1/? 12.9 / 14.1  (2)
Runtime_Complexity_Full_Rewriting/SK90/4.24.xml . 686.4 / 297.3  (-) . 557.8 / 292.8  (0) n^1/? 21.6 / 14.6  (2)
Runtime_Complexity_Full_Rewriting/SK90/4.25.xml ?/n^1 2.1 / 1.2  (-) ?/n^1 0.8 / 0.4  (2) n^1/? 5.7 / 3.2  (2)
Runtime_Complexity_Full_Rewriting/SK90/4.26.xml ?/n^1 563.7 / 297.2  (-) ?/n^1 14.5 / 5.8  (2) n^1/? 11.8 / 12.5  (2)
Runtime_Complexity_Full_Rewriting/SK90/4.27.xml . 619.2 / 297.3  (-) . 710.5 / 292.9  (0) n^1/? 3.5 / 3.4  (2)
Runtime_Complexity_Full_Rewriting/SK90/4.28.xml ?/n^1 341.6 / 297.6  (-) ?/n^1 31.2 / 13.1  (2) n^1/? 291.7 / 280.6  (2)
Runtime_Complexity_Full_Rewriting/SK90/4.29.xml ?/n^1 2.1 / 0.8  (-) ?/n^1 0.9 / 0.3  (2) . 14.6 / 11.3  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.30.xml ?/n^1 91.8 / 45.7  (-) ?/n^1 16.4 / 7.0  (2) n^1/? 18.3 / 12.2  (2)
Runtime_Complexity_Full_Rewriting/SK90/4.31.xml . 632.0 / 297.4  (-) . 400.1 / 292.1  (0) ?/? 6.7 / 5.3  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.34.xml . 659.9 / 297.8  (-) . 340.0 / 292.0  (0) n^1/? 1.7 / 3.3  (2)
Runtime_Complexity_Full_Rewriting/SK90/4.35.xml ?/n^0 1.3 / 1.0  (-) ?/n^0 0.2 / 0.1  (2) . 0.5 / 2.2  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.38.xml ?/n^1 5.7 / 2.5  (-) ?/n^1 1.4 / 0.8  (2) n^1/? 14.9 / 11.6  (2)
Runtime_Complexity_Full_Rewriting/SK90/4.42.xml . 630.7 / 297.3  (-) . 363.9 / 292.5  (0) n^1/? 10.6 / 12.5  (2)
Runtime_Complexity_Full_Rewriting/SK90/4.43.xml . 501.1 / 297.2  (-) . 375.4 / 292.5  (0) n^1/? 11.8 / 11.4  (2)
Runtime_Complexity_Full_Rewriting/SK90/4.45.xml ?/n^1 4.1 / 4.4  (-) ?/n^1 0.4 / 0.3  (2) n^1/? 0.9 / 2.2  (2)
Runtime_Complexity_Full_Rewriting/SK90/4.47.xml ?/n^0 7.4 / 6.2  (-) ?/n^0 0.2 / 0.2  (2) . 0.6 / 2.4  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.48.xml ?/n^1 17.4 / 10.6  (-) ?/n^0 1.5 / 0.9  (2) . 13.7 / 11.3  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.51.xml ?/n^1 8.6 / 3.7  (-) ?/n^1 2.6 / 1.2  (2) . 0.7 / 2.2  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.53.xml . 402.4 / 300.0  (-) ?/n^2 33.9 / 16.8  (2) n^1/? 19.4 / 14.8  (2)
Runtime_Complexity_Full_Rewriting/SK90/4.54.xml . 580.0 / 297.3  (-) . 595.6 / 292.1  (0) ?/? 6.8 / 5.2  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.57.xml . 555.4 / 297.3  (-) . 736.7 / 292.3  (0) . 12.7 / 11.7  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.59.xml . 651.2 / 297.6  (-) . 519.8 / 292.2  (0) ?/? 5.9 / 7.4  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.60.xml . 678.3 / 297.4  (-) . 579.2 / 291.4  (0) n^1/? 26.5 / 18.4  (2)
Runtime_Complexity_Full_Rewriting/SK90/4.61.xml . 648.9 / 298.5  (-) . 697.7 / 292.5  (0) ?/? 22.5 / 15.4  (0)
omplexity_Full_Rewriting/Secret_05_TRS/aprove2.xml . 512.6 / 297.3  (-) . 453.8 / 292.3  (0) n^1/? 15.4 / 11.4  (2)
omplexity_Full_Rewriting/Secret_05_TRS/aprove3.xml . 679.9 / 297.3  (-) . 384.2 / 292.4  (0) . 14.1 / 11.7  (0)
omplexity_Full_Rewriting/Secret_05_TRS/aprove4.xml . 369.6 / 297.4  (-) . 438.1 / 258.6  (0) n^1/? 14.9 / 11.4  (2)
omplexity_Full_Rewriting/Secret_05_TRS/aprove5.xml . 672.6 / 297.8  (-) . 530.2 / 292.2  (0) n^1/? 16.4 / 12.7  (2)
_Complexity_Full_Rewriting/Secret_05_TRS/cime2.xml . 506.3 / 297.7  (-) . 492.1 / 292.5  (0) n^1/? 12.9 / 11.3  (2)
_Complexity_Full_Rewriting/Secret_05_TRS/cime3.xml . 640.9 / 297.4  (-) . 442.9 / 292.1  (0) . 302.4 / 280.9  (0)
_Complexity_Full_Rewriting/Secret_05_TRS/cime4.xml ?/n^1 18.8 / 8.5  (-) ?/n^1 9.8 / 3.9  (2) . 0.6 / 2.3  (0)
_Complexity_Full_Rewriting/Secret_05_TRS/cime5.xml . 610.1 / 299.6  (-) . 736.0 / 292.3  (0) n^1/? 16.7 / 13.8  (2)
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa1.xml . 667.5 / 297.3  (-) . 619.3 / 292.4  (0) n^1/? 12.2 / 12.5  (2)
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa2.xml . 731.7 / 300.0  (-) . 586.5 / 292.2  (0) n^1/? 12.6 / 11.6  (2)
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa3.xml . 711.5 / 297.5  (-) . 555.0 / 292.2  (0) n^2/? 16.6 / 12.3  (2)
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa4.xml . 493.4 / 300.0  (-) . 652.7 / 292.1  (0) n^2/? 15.5 / 12.5  (2)
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa5.xml . 420.6 / 176.2  (-) . 273.3 / 117.9  (0) n^1/? 16.0 / 11.5  (2)
e_Complexity_Full_Rewriting/Secret_05_TRS/ttt1.xml . 684.1 / 297.9  (-) ?/n^0 18.0 / 12.7  (2) . 13.8 / 11.2  (0)
e_Complexity_Full_Rewriting/Secret_05_TRS/ttt2.xml . 455.0 / 298.7  (-) . 54.2 / 34.7  (0) ?/? 0.4 / 1.2  (0)
ime_Complexity_Full_Rewriting/Secret_06_TRS/10.xml ?/n^1 692.1 / 297.5  (-) ?/n^1 600.7 / 292.1  (2) . 3.5 / 3.3  (0)
time_Complexity_Full_Rewriting/Secret_06_TRS/4.xml ?/n^1 526.8 / 297.3  (-) ?/n^1 369.4 / 292.8  (2) . 5.2 / 5.4  (0)
time_Complexity_Full_Rewriting/Secret_06_TRS/6.xml ?/n^1 123.5 / 65.9  (-) ?/n^1 32.6 / 19.7  (2) . 12.3 / 12.0  (0)
omplexity_Full_Rewriting/Secret_06_TRS/addList.xml . 571.8 / 297.2  (-) . 623.8 / 292.2  (0) n^1/? 73.1 / 76.7  (2)
Complexity_Full_Rewriting/Secret_06_TRS/divExp.xml . 547.8 / 297.3  (-) . 693.5 / 292.3  (0) n^1/? 16.2 / 11.2  (2)
mplexity_Full_Rewriting/Secret_06_TRS/division.xml . 545.1 / 297.2  (-) . 487.3 / 292.1  (0) n^1/? 11.7 / 12.5  (2)
Complexity_Full_Rewriting/Secret_06_TRS/double.xml . 527.0 / 298.2  (-) . 452.6 / 292.5  (0) n^1/? 11.0 / 12.6  (2)
_Complexity_Full_Rewriting/Secret_06_TRS/gen-1.xml ?/n^1 152.2 / 92.1  (-) ?/n^1 394.6 / 292.6  (2) . 7.0 / 12.0  (0)
Complexity_Full_Rewriting/Secret_06_TRS/gen-17.xml . 636.3 / 297.5  (-) ?/n^0 49.6 / 38.2  (2) . 11.4 / 10.3  (0)
Complexity_Full_Rewriting/Secret_06_TRS/gen-28.xml . 391.9 / 299.7  (-) . 470.8 / 292.4  (0) . 14.4 / 11.2  (0)
plexity_Full_Rewriting/Secret_06_TRS/logarithm.xml . 584.5 / 297.3  (-) . 457.4 / 292.1  (0) n^1/? 15.1 / 12.4  (2)
plexity_Full_Rewriting/Secret_06_TRS/nrOfNodes.xml . 685.8 / 298.6  (-) . 346.6 / 292.4  (0) n^1/? 18.1 / 12.3  (2)
omplexity_Full_Rewriting/Secret_06_TRS/reverse.xml . 1096.1 / 297.6  (-) . 482.7 / 292.1  (0) n^1/? 17.8 / 12.2  (2)
omplexity_Full_Rewriting/Secret_06_TRS/sumList.xml . 642.7 / 297.5  (-) . 415.7 / 292.4  (0) n^2/? 14.1 / 13.5  (2)
_Complexity_Full_Rewriting/Secret_06_TRS/times.xml . 517.2 / 297.5  (-) . 491.7 / 292.1  (0) n^1/? 19.3 / 13.6  (2)
Complexity_Full_Rewriting/Secret_06_TRS/toList.xml . 804.1 / 297.9  (-) . 615.7 / 292.1  (0) . 17.7 / 12.7  (0)
_Complexity_Full_Rewriting/Secret_06_TRS/tpa04.xml . 607.5 / 297.2  (-) . 408.4 / 292.6  (0) n^1/? 16.3 / 12.2  (2)
_Complexity_Full_Rewriting/Secret_06_TRS/tpa05.xml . 563.3 / 297.2  (-) . 554.5 / 292.9  (0) n^2/? 17.8 / 12.6  (2)
_Complexity_Full_Rewriting/Secret_06_TRS/tpa06.xml . 709.4 / 299.1  (-) . 550.7 / 292.1  (0) n^1/? 24.1 / 17.5  (2)
_Complexity_Full_Rewriting/Secret_06_TRS/tpa07.xml . 746.4 / 297.3  (-) . 571.5 / 292.0  (0) n^2/? 13.9 / 13.5  (2)
_Complexity_Full_Rewriting/Secret_06_TRS/tpa08.xml . 542.2 / 297.4  (-) . 636.5 / 292.1  (0) n^2/? 16.5 / 12.4  (2)
_Complexity_Full_Rewriting/Secret_06_TRS/tpa09.xml . 673.5 / 299.5  (-) . 611.9 / 292.5  (0) n^2/? 19.5 / 13.5  (2)
_Complexity_Full_Rewriting/Secret_06_TRS/tpa10.xml . 582.5 / 297.6  (-) . 623.1 / 292.2  (0) n^2/? 16.5 / 14.8  (2)
time_Complexity_Full_Rewriting/Secret_07_TRS/3.xml . 733.7 / 297.3  (-) . 416.0 / 300.0  (0) . 12.0 / 11.4  (0)
mplexity_Full_Rewriting/Secret_07_TRS/aprove01.xml . 586.0 / 297.2  (-) . 447.6 / 292.3  (0) n^1/? 17.4 / 12.4  (2)
mplexity_Full_Rewriting/Secret_07_TRS/aprove02.xml . 520.4 / 297.2  (-) . 461.8 / 292.1  (0) n^1/? 16.9 / 13.9  (2)
mplexity_Full_Rewriting/Secret_07_TRS/aprove03.xml . 550.5 / 297.3  (-) . 543.7 / 292.2  (0) n^1/? 15.0 / 12.6  (2)
mplexity_Full_Rewriting/Secret_07_TRS/aprove04.xml . 417.1 / 300.0  (-) . 650.6 / 292.2  (0) n^1/? 18.1 / 13.3  (2)
mplexity_Full_Rewriting/Secret_07_TRS/aprove05.xml . 680.1 / 297.2  (-) . 445.3 / 292.5  (0) n^1/? 18.4 / 12.2  (2)
mplexity_Full_Rewriting/Secret_07_TRS/aprove06.xml . 712.8 / 297.3  (-) . 473.1 / 292.2  (0) n^1/? 15.3 / 14.5  (2)
mplexity_Full_Rewriting/Secret_07_TRS/aprove07.xml . 486.4 / 300.0  (-) . 479.7 / 292.1  (0) n^1/? 17.6 / 13.7  (2)
mplexity_Full_Rewriting/Secret_07_TRS/aprove08.xml . 394.3 / 300.0  (-) . 470.6 / 292.2  (0) n^1/? 15.1 / 12.2  (2)
mplexity_Full_Rewriting/Secret_07_TRS/aprove09.xml . 459.9 / 297.2  (-) . 479.2 / 292.5  (0) n^1/? 17.0 / 12.3  (2)
mplexity_Full_Rewriting/Secret_07_TRS/aprove10.xml . 365.3 / 297.6  (-) . 460.3 / 292.1  (0) n^1/? 14.9 / 12.7  (2)
omplexity_Full_Rewriting/Secret_07_TRS/secret1.xml . 905.3 / 297.7  (-) . 517.1 / 292.3  (0) n^1/? 16.1 / 11.3  (2)
omplexity_Full_Rewriting/Secret_07_TRS/secret3.xml . 637.4 / 297.3  (-) . 497.3 / 292.2  (0) n^1/? 17.2 / 12.3  (2)
omplexity_Full_Rewriting/Secret_07_TRS/secret4.xml . 586.2 / 297.3  (-) . 649.2 / 292.2  (0) n^1/? 14.6 / 13.5  (2)
omplexity_Full_Rewriting/Secret_07_TRS/secret5.xml . 619.0 / 297.7  (-) . 592.0 / 292.1  (0) . 9.1 / 11.7  (0)
ity_Full_Rewriting/Strategy_removed_AG01/#4.14.xml ?/n^1 4.2 / 2.4  (-) ?/n^1 87.9 / 51.6  (2) n^1/? 1.1 / 2.6  (2)
ity_Full_Rewriting/Strategy_removed_AG01/#4.16.xml ?/n^1 48.9 / 41.1  (-) ?/n^1 6.5 / 5.7  (2) n^1/? 0.9 / 2.3  (2)
ity_Full_Rewriting/Strategy_removed_AG01/#4.17.xml ?/n^1 248.9 / 148.1  (-) ?/n^1 553.2 / 292.2  (2) n^1/? 2.4 / 2.5  (2)
ity_Full_Rewriting/Strategy_removed_AG01/#4.19.xml . 625.9 / 297.7  (-) . 585.4 / 292.1  (0) . 24.3 / 16.9  (0)
xity_Full_Rewriting/Strategy_removed_AG01/#4.2.xml ?/n^1 0.7 / 0.3  (-) ?/n^1 260.5 / 292.3  (2) n^1/? 1.0 / 2.2  (2)
ty_Full_Rewriting/Strategy_removed_AG01/#4.20a.xml ?/n^1 2.7 / 0.7  (-) ?/n^1 2.3 / 1.1  (2) n^1/? 1.0 / 2.2  (2)
ity_Full_Rewriting/Strategy_removed_AG01/#4.22.xml ?/n^1 21.4 / 11.1  (-) ?/n^1 6.4 / 3.8  (2) n^1/? 11.5 / 11.4  (2)
ity_Full_Rewriting/Strategy_removed_AG01/#4.23.xml . 568.3 / 297.3  (-) . 382.5 / 292.6  (0) n^1/? 16.8 / 11.3  (2)
ity_Full_Rewriting/Strategy_removed_AG01/#4.25.xml . 488.7 / 297.4  (-) . 4.7 / 2.7  (0) . 0.8 / 3.3  (0)
ity_Full_Rewriting/Strategy_removed_AG01/#4.26.xml . 153.5 / 82.9  (-) . 395.4 / 292.2  (0) n^1/? 13.0 / 11.4  (2)
ity_Full_Rewriting/Strategy_removed_AG01/#4.27.xml . 386.3 / 297.3  (-) ?/n^3 494.4 / 292.7  (2) n^1/? 20.9 / 14.2  (2)
ity_Full_Rewriting/Strategy_removed_AG01/#4.28.xml ?/n^1 52.9 / 24.3  (-) ?/n^1 20.3 / 7.1  (2) n^1/? 3.6 / 3.2  (2)
ity_Full_Rewriting/Strategy_removed_AG01/#4.29.xml . 444.7 / 297.2  (-) . 598.0 / 292.3  (0) n^1/? 8.7 / 15.0  (2)
ity_Full_Rewriting/Strategy_removed_AG01/#4.30.xml . 445.4 / 259.8  (-) . 463.1 / 292.2  (0) n^1/? 15.5 / 11.4  (2)
ty_Full_Rewriting/Strategy_removed_AG01/#4.30a.xml . 598.4 / 297.5  (-) . 438.1 / 292.3  (0) n^1/? 13.8 / 11.8  (2)
ty_Full_Rewriting/Strategy_removed_AG01/#4.30b.xml . 482.1 / 298.3  (-) . 457.7 / 292.4  (0) n^1/? 12.7 / 11.5  (2)
ty_Full_Rewriting/Strategy_removed_AG01/#4.30c.xml . 552.6 / 297.3  (-) . 425.8 / 292.5  (0) n^1/? 14.6 / 11.5  (2)
ity_Full_Rewriting/Strategy_removed_AG01/#4.32.xml ?/n^2 101.1 / 37.3  (-) . 501.1 / 292.2  (0) . 3.6 / 4.7  (0)
ity_Full_Rewriting/Strategy_removed_AG01/#4.33.xml . 630.7 / 297.2  (-) . 417.3 / 292.1  (0) n^2/? 16.2 / 11.5  (2)
ity_Full_Rewriting/Strategy_removed_AG01/#4.34.xml ?/n^1 18.4 / 6.0  (-) ?/n^2 455.4 / 292.5  (2) n^1/? 14.1 / 11.4  (2)
ity_Full_Rewriting/Strategy_removed_AG01/#4.35.xml . 567.9 / 298.9  (-) . 910.7 / 292.5  (0) n^1/? 18.8 / 16.6  (2)
ity_Full_Rewriting/Strategy_removed_AG01/#4.36.xml . 522.3 / 297.5  (-) . 742.7 / 292.2  (0) n^2/? 14.1 / 16.8  (2)
ity_Full_Rewriting/Strategy_removed_AG01/#4.37.xml ?/n^1 2.1 / 0.9  (-) ?/n^1 1.6 / 0.5  (2) . 0.5 / 2.4  (0)
ty_Full_Rewriting/Strategy_removed_AG01/#4.37a.xml ?/n^1 11.9 / 5.4  (-) ?/n^1 2.1 / 1.1  (2) . 0.5 / 2.3  (0)
xity_Full_Rewriting/Strategy_removed_AG01/#4.7.xml ?/n^1 192.7 / 148.3  (-) ?/n^1 544.5 / 292.0  (2) . 0.5 / 2.4  (0)
_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.xml . 64.9 / 37.2  (-) . 5.9 / 3.3  (0) ?/? 0.3 / 1.2  (0)
l_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.xml . 426.1 / 297.6  (-) . 34.7 / 13.7  (0) ?/? 0.3 / 1.2  (0)
_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.xml . 608.6 / 300.0  (-) . 303.5 / 293.7  (0) ?/? 0.4 / 1.4  (0)
Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml . 43.1 / 15.2  (-) . 8.7 / 3.6  (0) ?/? 0.3 / 1.2  (0)
ll_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.xml . 90.4 / 30.9  (-) . 13.2 / 6.9  (0) ?/? 0.4 / 1.2  (0)
ull_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.xml . 510.7 / 297.9  (-) . 500.5 / 292.4  (0) ?/? 0.4 / 1.5  (0)
l_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.xml . 109.5 / 56.1  (-) . 16.6 / 12.9  (0) ?/? 0.3 / 1.2  (0)
ll_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.xml . 41.5 / 26.4  (-) . 69.0 / 40.3  (0) ?/? 0.4 / 1.2  (0)
_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.xml . 513.6 / 297.3  (-) . 435.4 / 292.2  (0) ?/? 0.4 / 1.2  (0)
l_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.xml . 125.9 / 72.0  (-) . 16.1 / 7.0  (0) ?/? 0.4 / 1.2  (0)
ewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml . 300.8 / 197.9  (-) . 10.1 / 4.5  (0) ?/? 0.4 / 1.2  (0)
_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.xml . 461.6 / 297.2  (-) . 395.4 / 292.5  (0) ?/? 0.4 / 1.2  (0)
writing/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml . 678.4 / 297.6  (-) . 468.0 / 292.4  (0) ?/? 0.4 / 1.4  (0)
ll_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.xml ?/n^1 282.1 / 154.1  (-) . 573.7 / 292.3  (0) n^1/? 9.5 / 13.2  (2)
Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml . 679.8 / 297.9  (-) . 441.8 / 292.3  (0) ?/? 0.4 / 1.5  (0)
writing/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml . 470.9 / 297.2  (-) . 63.5 / 21.6  (0) ?/? 0.4 / 1.2  (0)
writing/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml . 123.2 / 49.0  (-) . 478.6 / 292.5  (0) ?/? 0.4 / 1.3  (0)
writing/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml . 86.2 / 42.8  (-) . 7.7 / 4.0  (0) ?/? 0.3 / 1.2  (0)
writing/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml . 57.7 / 26.1  (-) . 31.4 / 14.1  (0) ?/? 0.4 / 1.4  (0)
ll_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.xml . 465.3 / 297.5  (-) . 260.3 / 153.9  (0) ?/? 0.4 / 1.7  (0)
_Rewriting/Strategy_removed_CSR_05/Ex5_7_Luc97.xml . 478.5 / 300.0  (-) . 472.4 / 292.5  (0) ?/? 0.4 / 1.4  (0)
ll_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.xml . 55.1 / 28.1  (-) . 358.4 / 292.3  (0) ?/? 0.4 / 1.2  (0)
Rewriting/Strategy_removed_CSR_05/Ex6_15_AEL02.xml . 590.1 / 297.3  (-) . 485.3 / 292.1  (0) ?/? 0.4 / 1.2  (0)
Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml . 240.1 / 155.6  (-) . 10.3 / 3.0  (0) ?/? 0.3 / 1.3  (0)
ull_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.xml . 74.1 / 27.8  (-) . 521.6 / 292.1  (0) ?/? 0.4 / 1.9  (0)
ll_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.xml . 84.7 / 44.9  (-) . 9.6 / 3.5  (0) ?/? 0.4 / 1.2  (0)
ll_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.xml . 128.2 / 59.1  (-) . 15.6 / 6.4  (0) ?/? 0.4 / 1.3  (0)
ll_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.xml . 423.0 / 297.4  (-) . 558.2 / 292.1  (0) ?/? 0.4 / 1.2  (0)
ll_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.xml . 616.3 / 297.9  (-) . 458.1 / 292.4  (0) ?/? 0.4 / 1.4  (0)
ting/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml . 813.2 / 297.5  (-) . 459.8 / 292.1  (0) ?/? 0.4 / 1.2  (0)
Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.xml . 89.8 / 42.2  (-) . 19.2 / 14.5  (0) ?/? 0.4 / 1.3  (0)
ewriting/Strategy_removed_CSR_05/ExIntrod_GM01.xml . 115.5 / 37.8  (-) . 504.6 / 291.9  (0) ?/? 0.4 / 1.3  (0)
ewriting/Strategy_removed_CSR_05/ExIntrod_GM04.xml . 144.0 / 73.4  (-) . 328.7 / 292.6  (0) ?/? 0.4 / 1.4  (0)
ewriting/Strategy_removed_CSR_05/ExIntrod_GM99.xml . 719.7 / 300.1  (-) . 543.2 / 292.4  (0) ?/? 0.4 / 1.2  (0)
writing/Strategy_removed_CSR_05/ExIntrod_Zan97.xml . 689.3 / 298.3  (-) . 509.1 / 292.3  (0) ?/? 0.4 / 1.2  (0)
ing/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml . 476.5 / 297.6  (-) . 516.8 / 292.2  (0) ?/? 0.4 / 1.3  (0)
y_Full_Rewriting/Strategy_removed_mixed_05/ex1.xml . 620.0 / 297.2  (-) . 388.7 / 293.1  (0) ?/? 0.3 / 1.2  (0)
y_Full_Rewriting/Strategy_removed_mixed_05/ex2.xml . 556.9 / 297.5  (-) . 561.6 / 292.2  (0) ?/? 0.4 / 1.3  (0)
y_Full_Rewriting/Strategy_removed_mixed_05/ex3.xml . 644.8 / 300.0  (-) . 633.5 / 292.1  (0) ?/? 0.4 / 1.2  (0)
y_Full_Rewriting/Strategy_removed_mixed_05/ex4.xml . 582.4 / 297.2  (-) . 23.1 / 9.2  (0) ?/? 0.4 / 1.4  (0)
y_Full_Rewriting/Strategy_removed_mixed_05/ex5.xml . 553.1 / 297.2  (-) . 298.0 / 292.2  (0) ?/? 0.3 / 1.2  (0)
y_Full_Rewriting/Strategy_removed_mixed_05/ex6.xml . 736.5 / 297.6  (-) . 16.5 / 6.0  (0) . 18.0 / 14.2  (0)
ull_Rewriting/Strategy_removed_mixed_05/muladd.xml . 663.8 / 297.3  (-) . 50.8 / 40.6  (0) ?/? 0.4 / 1.6  (0)
ull_Rewriting/Strategy_removed_mixed_05/test10.xml . 526.4 / 297.3  (-) . 17.7 / 7.9  (0) n^1/? 16.0 / 11.5  (2)
ull_Rewriting/Strategy_removed_mixed_05/test76.xml . 598.8 / 297.3  (-) . 506.8 / 292.2  (0) n^1/? 15.0 / 11.3  (2)
ull_Rewriting/Strategy_removed_mixed_05/test77.xml . 501.4 / 297.4  (-) . 355.7 / 292.0  (0) n^1/? 13.5 / 12.5  (2)
ll_Rewriting/Strategy_removed_mixed_05/test830.xml ?/n^1 4.7 / 3.2  (-) ?/n^1 1.6 / 0.9  (2) n^1/? 3.3 / 2.2  (2)
ll_Rewriting/Strategy_removed_mixed_05/tricky1.xml ?/n^0 353.7 / 148.2  (-) ?/n^0 445.8 / 292.1  (2) . 1.3 / 2.4  (0)
omplexity_Full_Rewriting/TCT_12/polycounter-10.xml . 691.2 / 298.0  (-) . 889.9 / 294.0  (0) . 35.1 / 27.2  (0)
Complexity_Full_Rewriting/TCT_12/polycounter-5.xml . 598.1 / 298.1  (-) . 34.1 / 15.5  (0) . 16.0 / 12.4  (0)
_Complexity_Full_Rewriting/TCT_12/recursion-10.xml ?/n^10 355.2 / 140.1  (-) ?/n^10 124.9 / 66.7  (2) n^1/? 12.5 / 8.3  (2)
e_Complexity_Full_Rewriting/TCT_12/recursion-5.xml ?/n^5 213.4 / 119.3  (-) ?/n^5 39.3 / 20.5  (2) n^1/? 7.7 / 6.3  (2)
Runtime_Complexity_Full_Rewriting/TCT_12/sat.xml . 597.4 / 297.4  (-) . 554.4 / 292.2  (0) n^1/? 13.8 / 21.9  (2)
ull_Rewriting/Transformed_CSR_04/Ex14_AEGL02_C.xml . 617.4 / 300.0  (-) . 527.3 / 292.2  (0) n^1/? 9.3 / 14.6  (2)
ll_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.xml . 483.9 / 297.4  (-) . 479.0 / 292.2  (0) ?/? 4.9 / 3.2  (0)
ll_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.xml . 644.0 / 297.6  (-) . 533.2 / 292.3  (0) n^1/? 12.5 / 11.8  (2)
ull_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.xml . 79.4 / 32.7  (-) . 27.9 / 14.1  (0) ?/? 0.4 / 1.5  (0)
ull_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.xml . 399.6 / 299.1  (-) . 36.5 / 33.5  (0) ?/? 1.7 / 2.9  (0)
Full_Rewriting/Transformed_CSR_04/Ex14_Luc06_C.xml . 523.2 / 297.3  (-) . 342.2 / 292.2  (0) n^1/? 19.9 / 11.5  (2)
ull_Rewriting/Transformed_CSR_04/Ex14_Luc06_GM.xml . 458.8 / 297.2  (-) . 445.1 / 292.2  (0) n^1/? 28.7 / 15.9  (2)
Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_C.xml ?/n^1 678.8 / 297.1  (-) ?/n^1 353.9 / 292.6  (2) n^1/? 13.7 / 11.6  (2)
ull_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.xml ?/n^1 6.1 / 2.1  (-) ?/n^1 2.2 / 1.0  (2) . 6.9 / 12.4  (0)
ull_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.xml ?/n^1 9.3 / 4.9  (-) ?/n^1 1.4 / 0.8  (2) . 2.8 / 3.9  (0)
Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.xml . 57.6 / 46.0  (-) . 33.3 / 14.0  (0) ?/? 0.3 / 1.3  (0)
Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.xml ?/n^1 7.4 / 4.3  (-) ?/n^0 0.6 / 0.6  (2) . 5.4 / 3.2  (0)
Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_C.xml . 600.4 / 297.6  (-) . 669.0 / 292.1  (0) n^1/? 19.1 / 14.7  (2)
ull_Rewriting/Transformed_CSR_04/Ex15_Luc98_FR.xml . 672.7 / 298.0  (-) . 493.2 / 292.3  (0) n^1/? 9.3 / 15.0  (2)
ull_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.xml ?/n^1 624.2 / 298.6  (-) ?/n^1 724.4 / 294.0  (2) n^1/? 15.4 / 12.7  (2)
Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.2  (0) ?/? 0.3 / 0.2  (0)
Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_Z.xml . 567.1 / 298.3  (-) . 581.7 / 292.2  (0) . 13.3 / 11.3  (0)
Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_C.xml . 503.5 / 297.2  (-) . 647.4 / 292.5  (0) n^1/? 14.6 / 11.3  (2)
ull_Rewriting/Transformed_CSR_04/Ex16_Luc06_GM.xml ?/n^1 43.1 / 24.1  (-) ?/n^1 11.4 / 8.8  (2) n^1/? 27.8 / 28.4  (2)
Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.xml . 58.6 / 28.0  (-) . 18.0 / 14.6  (0) ?/? 0.4 / 1.2  (0)
Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_C.xml ?/n^1 516.6 / 222.9  (-) ?/n^1 569.1 / 292.1  (2) n^1/? 13.9 / 11.2  (2)
ull_Rewriting/Transformed_CSR_04/Ex18_Luc06_FR.xml ?/n^1 10.4 / 6.1  (-) ?/n^1 3.8 / 3.1  (2) n^1/? 13.8 / 11.3  (2)
ull_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.xml ?/n^1 10.2 / 4.4  (-) ?/n^1 0.6 / 0.6  (2) n^1/? 5.3 / 7.6  (2)
Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_Z.xml ?/n^0 4.2 / 2.7  (-) ?/n^1 1.9 / 1.0  (2) . 2.3 / 5.5  (0)
ull_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_C.xml . 853.8 / 300.0  (-) . 551.6 / 292.3  (0) n^1/? 248.7 / 280.9  (2)
ll_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_FR.xml . 587.3 / 298.1  (-) . 321.8 / 292.8  (0) n^1/? 12.5 / 12.5  (2)
ll_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.xml . 692.5 / 300.0  (-) . 630.0 / 292.2  (0) n^1/? 24.2 / 19.9  (2)
ull_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 1.1  (0)
ull_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_Z.xml . 745.9 / 297.9  (-) ?/n^3 173.7 / 81.4  (2) n^2/? 15.1 / 13.6  (2)
ll_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_C.xml . 579.7 / 297.5  (-) . 594.5 / 292.8  (0) n^1/? 16.6 / 11.3  (2)
l_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml . 568.2 / 297.2  (-) . 483.5 / 292.3  (0) n^1/? 14.2 / 11.6  (2)
l_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml . 402.5 / 297.9  (-) . 381.1 / 292.4  (0) n^1/? 15.0 / 11.4  (2)
ll_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.2  (0) ?/? 0.3 / 0.4  (0)
ll_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml ?/n^1 8.5 / 4.3  (-) ?/n^0 4.0 / 2.9  (2) . 7.3 / 12.0  (0)
_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_C.xml . 591.5 / 297.3  (-) . 598.0 / 292.7  (0) n^1/? 17.2 / 12.3  (2)
Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_FR.xml . 592.3 / 297.6  (-) . 496.5 / 292.2  (0) n^1/? 15.5 / 12.3  (2)
Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.xml . 637.9 / 298.9  (-) . 488.2 / 292.5  (0) n^1/? 14.4 / 12.0  (2)
_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.xml . 57.7 / 28.9  (-) . 30.0 / 14.1  (0) ?/? 0.4 / 1.3  (0)
_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_Z.xml . 581.8 / 297.7  (-) . 493.6 / 292.1  (0) n^1/? 8.1 / 14.3  (2)
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_C.xml . 523.3 / 297.4  (-) . 670.2 / 292.1  (0) n^1/? 19.2 / 13.3  (2)
_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_FR.xml . 499.1 / 297.2  (-) . 533.5 / 292.2  (0) n^1/? 7.8 / 13.1  (2)
_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.xml . 651.0 / 300.0  (-) . 671.5 / 292.3  (0) n^2/? 16.2 / 13.1  (2)
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.1  (0) ?/? 0.3 / 0.4  (0)
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_Z.xml . 648.5 / 297.3  (-) . 356.5 / 292.2  (0) ?/? 0.4 / 1.5  (0)
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM99_C.xml . 671.4 / 297.3  (-) . 302.6 / 292.1  (0) n^1/? 15.8 / 11.3  (2)
_Full_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.xml . 469.3 / 297.3  (-) . 450.3 / 292.4  (0) n^1/? 13.0 / 12.7  (2)
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM99_L.xml . 70.8 / 29.4  (-) . 17.7 / 14.4  (0) ?/? 0.3 / 1.3  (0)
Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_C.xml . 553.9 / 297.8  (-) . 509.2 / 292.6  (0) n^1/? 19.6 / 12.3  (2)
ull_Rewriting/Transformed_CSR_04/Ex1_Luc02b_FR.xml . 623.5 / 297.6  (-) . 503.3 / 292.1  (0) . 13.5 / 11.4  (0)
ull_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.xml . 601.0 / 298.1  (-) . 342.6 / 292.7  (0) . 10.3 / 13.0  (0)
Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.5  (0)
Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.xml ?/n^2 439.6 / 216.0  (-) ?/n^1 354.9 / 292.2  (2) . 15.4 / 12.8  (0)
Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_C.xml ?/n^1 491.4 / 300.0  (-) . 714.1 / 292.6  (0) n^1/? 13.5 / 14.5  (2)
ull_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.xml . 444.4 / 297.4  (-) . 485.2 / 292.3  (0) ?/? 1.3 / 1.3  (0)
ull_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.xml . 561.6 / 297.3  (-) . 490.3 / 292.2  (0) n^1/? 13.5 / 15.3  (2)
Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_L.xml . 0.2 / 0.4  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.7  (0)
Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.xml . 199.4 / 107.3  (-) . 328.7 / 293.0  (0) ?/? 0.4 / 1.2  (0)
_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_C.xml ?/n^1 139.0 / 94.8  (-) ?/n^1 715.8 / 292.5  (2) . 11.9 / 11.4  (0)
Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.xml . 450.0 / 297.1  (-) . 550.3 / 292.6  (0) ?/? 0.5 / 1.2  (0)
Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.xml ?/n^1 3.5 / 1.8  (-) ?/n^0 1.2 / 0.8  (2) . 2.3 / 4.4  (0)
_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.xml . 52.7 / 27.9  (-) . 28.6 / 14.1  (0) ?/? 0.4 / 1.3  (0)
Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_C.xml ?/n^1 467.2 / 298.0  (-) ?/n^1 561.1 / 293.1  (2) n^1/? 9.8 / 11.7  (2)
ull_Rewriting/Transformed_CSR_04/Ex23_Luc06_FR.xml ?/n^1 12.5 / 6.3  (-) ?/n^1 2.6 / 1.4  (2) n^1/? 11.8 / 11.7  (2)
ull_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.xml ?/n^1 2.1 / 0.9  (-) ?/n^1 1.9 / 1.2  (2) n^1/? 6.1 / 5.3  (2)
Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_Z.xml ?/n^1 2.3 / 1.9  (-) ?/n^1 1.2 / 0.6  (2) . 0.5 / 2.3  (0)
_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_C.xml . 701.3 / 297.1  (-) . 309.4 / 292.3  (0) n^1/? 8.1 / 12.8  (2)
Full_Rewriting/Transformed_CSR_04/Ex24_GM04_FR.xml . 500.6 / 300.0  (-) . 450.1 / 292.2  (0) n^1/? 15.5 / 11.4  (2)
Full_Rewriting/Transformed_CSR_04/Ex24_GM04_GM.xml . 458.3 / 297.1  (-) . 438.5 / 292.6  (0) n^1/? 19.0 / 12.6  (2)
_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_L.xml . 77.6 / 25.0  (-) . 11.4 / 7.4  (0) ?/? 0.3 / 1.4  (0)
_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_Z.xml . 614.4 / 297.5  (-) . 589.9 / 292.3  (0) . 11.9 / 11.3  (0)
Full_Rewriting/Transformed_CSR_04/Ex24_Luc06_C.xml . 502.2 / 297.4  (-) . 495.8 / 292.4  (0) n^1/? 13.1 / 11.5  (2)
ull_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.xml . 471.6 / 297.2  (-) . 401.6 / 292.3  (0) n^1/? 13.5 / 11.2  (2)
Full_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.xml . 51.4 / 29.6  (-) . 33.1 / 14.1  (0) ?/? 0.3 / 1.6  (0)
Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_C.xml ?/n^1 506.7 / 271.5  (-) ?/n^1 507.0 / 292.5  (2) n^1/? 16.0 / 11.3  (2)
ull_Rewriting/Transformed_CSR_04/Ex25_Luc06_FR.xml ?/n^1 82.7 / 43.6  (-) ?/n^1 14.8 / 5.9  (2) n^1/? 15.8 / 12.5  (2)
ull_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.xml ?/n^1 6.5 / 6.2  (-) ?/n^1 3.1 / 1.8  (2) n^1/? 14.5 / 11.2  (2)
Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_Z.xml ?/n^1 51.1 / 30.9  (-) ?/n^1 4.9 / 2.2  (2) . 6.6 / 3.2  (0)
ull_Rewriting/Transformed_CSR_04/Ex26_Luc03b_C.xml . 774.9 / 297.2  (-) . 428.3 / 293.9  (0) n^1/? 30.0 / 18.3  (2)
ll_Rewriting/Transformed_CSR_04/Ex26_Luc03b_FR.xml . 455.1 / 298.6  (-) . 588.1 / 292.2  (0) . 11.9 / 11.6  (0)
ll_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.xml . 418.9 / 297.9  (-) . 460.9 / 292.6  (0) n^1/? 16.9 / 12.8  (2)
ull_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.xml ?/n^0 4.0 / 2.8  (-) ?/n^0 0.6 / 0.3  (2) . 5.9 / 6.3  (0)
ull_Rewriting/Transformed_CSR_04/Ex26_Luc03b_Z.xml . 470.0 / 298.6  (-) . 571.4 / 292.3  (0) . 13.7 / 12.0  (0)
Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_C.xml . 640.6 / 297.9  (-) . 537.1 / 292.5  (0) n^1/? 30.6 / 23.4  (2)
ull_Rewriting/Transformed_CSR_04/Ex2_Luc02a_FR.xml . 435.9 / 299.0  (-) . 443.0 / 292.1  (0) . 14.9 / 11.3  (0)
ull_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.xml . 670.6 / 298.1  (-) . 525.5 / 292.1  (0) n^1/? 13.6 / 12.8  (2)
Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.xml . 452.8 / 297.5  (-) . 486.5 / 292.3  (0) n^3/? 12.8 / 13.6  (2)
Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.xml . 524.8 / 297.3  (-) . 515.3 / 292.2  (0) n^3/? 16.7 / 12.3  (2)
Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_C.xml . 559.7 / 298.6  (-) . 615.7 / 292.1  (0) n^1/? 19.0 / 13.8  (2)
ull_Rewriting/Transformed_CSR_04/Ex2_Luc03b_FR.xml . 676.0 / 297.5  (-) . 317.3 / 292.0  (0) . 13.6 / 11.8  (0)
ull_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.xml . 723.4 / 298.2  (-) . 337.0 / 292.4  (0) n^1/? 12.4 / 14.5  (2)
Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.xml ?/n^0 3.6 / 3.4  (-) ?/n^0 0.1 / 0.1  (2) . 0.4 / 2.4  (0)
Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.xml ?/n^1 838.2 / 299.3  (-) ?/n^1 521.5 / 293.8  (2) . 13.8 / 12.0  (0)
l_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_C.xml . 735.4 / 297.4  (-) . 537.0 / 292.4  (0) n^1/? 17.0 / 12.3  (2)
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml . 553.7 / 297.5  (-) . 568.3 / 292.5  (0) . 6.7 / 11.4  (0)
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml . 596.5 / 297.4  (-) . 470.5 / 292.1  (0) . 11.8 / 11.8  (0)
l_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.1  (0) ?/? 0.3 / 0.3  (0)
l_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml ?/n^1 204.8 / 148.1  (-) ?/n^1 530.3 / 292.1  (2) . 15.5 / 12.8  (0)
ull_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_C.xml . 670.2 / 297.4  (-) . 568.5 / 292.9  (0) n^1/? 10.9 / 16.7  (2)
ll_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_FR.xml . 745.7 / 297.4  (-) . 335.7 / 292.2  (0) n^1/? 12.5 / 12.5  (2)
ll_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.xml . 669.0 / 297.8  (-) . 338.9 / 292.6  (0) . 14.9 / 11.8  (0)
ull_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.0  (0) ?/? 0.3 / 0.2  (0)
ull_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_Z.xml . 640.1 / 298.3  (-) . 477.1 / 292.2  (0) . 13.6 / 11.4  (0)
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml . 629.5 / 297.4  (-) . 556.2 / 292.4  (0) n^1/? 11.6 / 17.3  (2)
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml . 537.2 / 297.5  (-) . 540.1 / 292.1  (0) . 15.7 / 11.8  (0)
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml . 747.3 / 297.7  (-) . 432.3 / 292.1  (0) n^1/? 8.9 / 13.1  (2)
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml ?/n^0 4.7 / 2.4  (-) ?/n^0 0.3 / 0.2  (2) . 13.5 / 11.5  (0)
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml . 493.3 / 297.3  (-) . 679.7 / 293.0  (0) ?/? 0.4 / 1.2  (0)
_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_C.xml . 646.9 / 297.4  (-) . 582.0 / 292.5  (0) n^1/? 19.3 / 12.3  (2)
Full_Rewriting/Transformed_CSR_04/Ex49_GM04_FR.xml . 549.8 / 300.0  (-) . 483.7 / 292.2  (0) n^2/? 14.7 / 14.4  (2)
Full_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.xml . 701.8 / 299.5  (-) . 450.2 / 292.2  (0) n^1/? 16.7 / 12.9  (2)
_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.0  (0) ?/? 0.3 / 0.3  (0)
_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_Z.xml . 476.0 / 297.7  (-) ?/n^1 454.4 / 292.6  (2) n^1/? 9.9 / 15.5  (2)
ll_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_C.xml . 523.3 / 297.3  (-) . 339.4 / 292.3  (0) n^1/? 13.5 / 11.3  (2)
l_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml . 653.0 / 300.0  (-) . 589.4 / 292.3  (0) ?/? 4.5 / 3.8  (0)
l_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml . 374.1 / 300.1  (-) . 589.1 / 292.1  (0) n^1/? 7.1 / 13.0  (2)
ll_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.xml ?/n^1 0.3 / 0.1  (-) ?/n^1 0.1 / 0.1  (2) n^1/? 0.8 / 2.2  (2)
ll_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml . 628.8 / 297.7  (-) . 532.1 / 292.1  (0) ?/? 0.4 / 1.4  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml ?/n^1 552.4 / 297.5  (-) ?/n^1 629.0 / 292.5  (2) n^1/? 15.4 / 13.7  (2)
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml ?/n^1 95.5 / 76.6  (-) ?/n^1 468.3 / 292.3  (2) n^1/? 14.8 / 11.3  (2)
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml ?/n^1 22.9 / 7.2  (-) ?/n^1 9.9 / 4.2  (2) n^1/? 14.4 / 11.9  (2)
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml ?/n^0 5.9 / 5.6  (-) ?/n^0 0.4 / 0.2  (2) . 0.6 / 2.4  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml ?/n^0 9.1 / 7.1  (-) ?/n^0 1.1 / 1.1  (2) . 4.9 / 6.2  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml . 534.3 / 297.8  (-) . 494.5 / 292.9  (0) n^1/? 33.8 / 25.3  (2)
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml . 577.9 / 297.5  (-) . 471.3 / 292.3  (0) . 14.5 / 11.3  (0)
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml . 415.2 / 299.7  (-) . 607.6 / 292.2  (0) . 17.3 / 11.8  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml . 0.2 / 0.2  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.4  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml . 422.7 / 300.0  (-) . 387.9 / 292.4  (0) n^1/? 13.5 / 12.6  (2)
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml . 612.2 / 298.6  (-) . 583.6 / 292.5  (0) n^1/? 11.7 / 14.1  (2)
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml . 481.3 / 297.5  (-) . 495.8 / 292.4  (0) . 14.2 / 11.3  (0)
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml . 629.6 / 297.6  (-) . 509.0 / 292.0  (0) . 16.4 / 11.7  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.4  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml ?/n^1 5.6 / 3.2  (-) ?/n^1 9.4 / 7.0  (2) n^1/? 14.6 / 11.5  (2)
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml ?/n^1 590.1 / 297.2  (-) ?/n^1 836.7 / 292.2  (2) n^1/? 15.1 / 11.5  (2)
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml ?/n^0 1.5 / 1.1  (-) ?/n^0 0.2 / 0.1  (2) . 6.6 / 5.2  (0)
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml ?/n^1 20.1 / 10.7  (-) ?/n^1 11.2 / 5.3  (2) n^1/? 11.9 / 11.8  (2)
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.3  (0)
ull_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_C.xml . 624.3 / 299.1  (-) . 810.2 / 292.6  (0) n^1/? 273.5 / 281.2  (2)
ll_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_FR.xml . 541.3 / 297.2  (-) . 485.8 / 292.2  (0) n^2/? 16.5 / 13.8  (2)
ll_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.xml . 444.1 / 297.5  (-) . 626.9 / 292.6  (0) n^1/? 31.7 / 22.3  (2)
ull_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.4  (0)
ull_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_Z.xml . 531.5 / 297.2  (-) . 633.4 / 292.1  (0) n^1/? 15.7 / 12.3  (2)
_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_C.xml . 639.2 / 298.3  (-) . 640.4 / 292.2  (0) n^1/? 18.9 / 12.4  (2)
Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.xml . 538.8 / 297.3  (-) . 442.0 / 292.6  (0) . 14.0 / 11.3  (0)
Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.xml . 610.4 / 297.4  (-) . 525.1 / 292.2  (0) . 15.0 / 11.5  (0)
_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.3  (0)
_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.xml . 463.4 / 297.2  (-) . 451.5 / 292.2  (0) n^1/? 17.0 / 12.8  (2)
ull_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_C.xml . 624.1 / 298.7  (-) . 616.7 / 292.2  (0) n^1/? 290.9 / 280.8  (2)
ll_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_FR.xml . 466.6 / 298.1  (-) . 517.6 / 292.2  (0) n^1/? 10.7 / 15.1  (2)
ll_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.xml . 606.8 / 298.7  (-) . 468.2 / 292.2  (0) n^1/? 53.4 / 37.0  (2)
ull_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.3  (0)
ull_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_Z.xml . 633.7 / 297.3  (-) . 527.2 / 292.2  (0) . 14.6 / 11.6  (0)
ull_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_C.xml . 372.6 / 298.9  (-) . 487.5 / 293.2  (0) n^1/? 73.0 / 91.1  (2)
ll_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_FR.xml . 662.2 / 298.4  (-) . 472.1 / 291.3  (0) ?/? 6.9 / 5.2  (0)
ll_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.xml . 515.6 / 298.1  (-) . 327.4 / 292.8  (0) n^1/? 21.7 / 17.4  (2)
ull_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_L.xml . 0.2 / 0.1  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.5  (0)
ull_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_Z.xml . 640.4 / 299.4  (-) . 373.9 / 293.1  (0) ?/? 0.4 / 1.3  (0)
_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_C.xml ?/n^1 445.7 / 297.2  (-) ?/n^1 379.9 / 292.3  (2) n^1/? 12.1 / 12.4  (2)
Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_FR.xml ?/n^1 413.1 / 297.7  (-) ?/n^1 451.5 / 292.5  (2) n^1/? 12.8 / 15.5  (2)
Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.xml . 538.1 / 297.2  (-) . 478.4 / 292.4  (0) n^1/? 14.1 / 18.0  (2)
_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.xml ?/n^1 8.0 / 4.2  (-) ?/n^1 1.6 / 0.8  (2) . 13.7 / 11.3  (0)
ll_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_C.xml . 511.3 / 300.0  (-) . 680.9 / 292.3  (0) n^1/? 291.3 / 281.0  (2)
l_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_FR.xml . 603.5 / 297.3  (-) . 355.1 / 292.3  (0) n^1/? 18.6 / 15.8  (2)
l_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.xml . 631.7 / 298.5  (-) . 393.0 / 292.1  (0) n^1/? 111.5 / 141.6  (2)
ll_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_L.xml . 0.1 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.4  (0)
ll_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_Z.xml . 566.7 / 297.1  (-) . 434.1 / 292.4  (0) n^1/? 19.4 / 15.5  (2)
ll_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_C.xml . 493.7 / 297.3  (-) . 589.5 / 292.2  (0) n^1/? 16.1 / 15.0  (2)
l_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml . 531.0 / 300.0  (-) . 489.4 / 292.2  (0) . 15.5 / 11.6  (0)
l_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml . 635.8 / 297.5  (-) . 544.8 / 292.7  (0) n^1/? 16.1 / 16.3  (2)
ll_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.8  (0)
ll_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml ?/n^1 72.3 / 57.6  (-) ?/n^1 7.6 / 3.0  (2) . 11.3 / 12.0  (0)
y_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_C.xml ?/n^1 428.9 / 297.6  (-) ?/n^1 743.3 / 292.3  (2) . 13.3 / 11.3  (0)
_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.xml . 150.6 / 78.9  (-) . 561.3 / 292.8  (0) ?/? 0.4 / 1.4  (0)
_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.xml ?/n^0 6.1 / 5.6  (-) ?/n^0 0.5 / 0.3  (2) . 0.4 / 2.6  (0)
_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_C.xml . 771.6 / 297.6  (-) . 558.6 / 292.5  (0) n^1/? 17.4 / 12.2  (2)
Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_FR.xml . 715.7 / 300.0  (-) . 468.1 / 292.3  (0) . 10.6 / 11.5  (0)
Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.xml . 709.5 / 299.4  (-) . 476.2 / 292.1  (0) n^1/? 15.5 / 12.6  (2)
_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.xml ?/n^0 0.4 / 0.4  (-) ?/n^0 0.1 / 0.2  (2) . 0.4 / 2.2  (0)
_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.xml ?/n^1 32.9 / 15.5  (-) ?/n^1 14.8 / 7.1  (2) . 12.7 / 11.3  (0)
_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_C.xml . 747.3 / 297.2  (-) . 576.8 / 292.2  (0) n^1/? 12.9 / 18.7  (2)
Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_FR.xml . 607.2 / 297.2  (-) . 482.0 / 292.2  (0) . 14.9 / 11.3  (0)
Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.xml . 690.2 / 297.9  (-) . 459.8 / 292.1  (0) . 16.9 / 11.7  (0)
_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_L.xml . 0.1 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.3  (0)
_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.xml . 613.7 / 297.8  (-) . 728.4 / 293.8  (0) . 16.6 / 12.3  (0)
_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_C.xml . 545.2 / 297.2  (-) . 604.3 / 292.2  (0) n^1/? 14.3 / 15.5  (2)
Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.xml . 641.9 / 297.7  (-) . 491.2 / 292.3  (0) n^1/? 16.3 / 11.7  (2)
Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.xml . 721.1 / 297.6  (-) . 484.6 / 292.3  (0) n^2/? 16.2 / 13.9  (2)
_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.2  (0) ?/? 0.3 / 0.2  (0)
_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.xml . 585.1 / 300.0  (-) . 512.9 / 292.1  (0) n^1/? 14.4 / 11.7  (2)
_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_C.xml . 625.1 / 297.3  (-) . 414.3 / 292.1  (0) n^1/? 19.1 / 12.3  (2)
Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_FR.xml . 465.4 / 300.0  (-) . 457.6 / 292.3  (0) . 7.0 / 11.6  (0)
Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.xml . 739.9 / 297.4  (-) . 510.1 / 293.0  (0) n^1/? 8.2 / 12.7  (2)
_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.xml ?/n^0 8.9 / 5.1  (-) ?/n^0 0.5 / 0.3  (2) . 0.4 / 2.3  (0)
_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.xml . 628.2 / 298.4  (-) . 265.5 / 292.4  (0) . 13.6 / 12.6  (0)
_Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_C.xml . 795.0 / 297.3  (-) . 324.0 / 292.1  (0) n^1/? 13.9 / 11.5  (2)
Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.xml . 472.7 / 263.1  (-) . 504.5 / 292.4  (0) n^1/? 12.2 / 11.7  (2)
_Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.xml . 15.2 / 6.6  (-) . 1.4 / 0.7  (0) ?/? 0.4 / 1.3  (0)
_Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_C.xml . 594.3 / 298.6  (-) . 631.8 / 292.1  (0) n^1/? 7.4 / 13.5  (2)
Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_FR.xml . 428.7 / 297.2  (-) . 530.8 / 293.3  (0) ?/? 0.4 / 1.9  (0)
Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_GM.xml ?/n^1 48.3 / 24.4  (-) ?/n^1 12.9 / 7.1  (2) n^1/? 108.5 / 102.7  (2)
writing/Transformed_CSR_04/ExAppendixB_AEL03_C.xml . 451.5 / 298.3  (-) . 536.2 / 292.5  (0) n^1/? 282.2 / 280.8  (2)
riting/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml . 829.1 / 298.0  (-) . 495.3 / 292.2  (0) . 14.5 / 11.4  (0)
riting/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml . 847.2 / 298.2  (-) . 573.6 / 292.1  (0) . 103.3 / 88.4  (0)
writing/Transformed_CSR_04/ExAppendixB_AEL03_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.3  (0)
writing/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml . 410.6 / 299.0  (-) . 406.7 / 292.3  (0) n^2/? 20.1 / 13.6  (2)
ll_Rewriting/Transformed_CSR_04/ExConc_Zan97_C.xml ?/n^1 322.4 / 169.5  (-) ?/n^1 91.4 / 39.2  (2) n^1/? 13.9 / 11.2  (2)
l_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.xml ?/n^1 1.4 / 1.2  (-) ?/n^1 0.6 / 0.5  (2) n^1/? 12.7 / 11.7  (2)
l_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.xml ?/n^1 5.4 / 3.9  (-) ?/n^1 1.5 / 1.0  (2) n^1/? 4.4 / 4.5  (2)
ll_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.xml . 77.4 / 41.5  (-) . 38.3 / 14.0  (0) ?/? 0.4 / 1.3  (0)
l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_C.xml ?/n^1 490.4 / 298.1  (-) . 513.2 / 292.6  (0) n^1/? 13.2 / 17.0  (2)
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.xml . 740.0 / 298.2  (-) . 535.6 / 292.0  (0) ?/? 6.8 / 4.3  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.xml . 636.7 / 297.3  (-) . 796.4 / 293.6  (0) n^1/? 16.8 / 11.5  (2)
l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 1.1  (0)
l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.xml . 681.6 / 297.3  (-) . 517.9 / 291.4  (0) ?/? 3.4 / 2.2  (0)
l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_C.xml ?/n^1 525.8 / 297.5  (-) ?/n^1 858.0 / 293.2  (2) n^1/? 17.2 / 14.4  (2)
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.xml . 617.1 / 297.8  (-) . 476.1 / 291.8  (0) ?/? 6.8 / 4.3  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.xml ?/n^3 748.8 / 299.1  (-) ?/n^3 74.6 / 35.8  (2) . 15.2 / 11.3  (0)
l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_L.xml . 0.1 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.xml . 447.3 / 297.8  (-) . 480.1 / 292.1  (0) ?/? 3.9 / 2.2  (0)
l_Rewriting/Transformed_CSR_04/ExIntrod_GM99_C.xml . 575.0 / 297.7  (-) . 610.7 / 292.4  (0) n^1/? 55.2 / 52.3  (2)
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_FR.xml . 609.5 / 297.4  (-) . 516.0 / 292.2  (0) n^1/? 16.7 / 12.8  (2)
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.xml . 864.7 / 299.1  (-) . 483.7 / 292.1  (0) n^1/? 18.7 / 13.7  (2)
l_Rewriting/Transformed_CSR_04/ExIntrod_GM99_L.xml . 0.0 / 0.2  (-) . 0.0 / 0.1  (0) ?/? 0.3 / 0.2  (0)
l_Rewriting/Transformed_CSR_04/ExIntrod_GM99_Z.xml . 498.6 / 297.2  (-) . 444.4 / 292.0  (0) . 15.5 / 11.6  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_C.xml . 794.3 / 297.2  (-) . 601.6 / 293.3  (0) n^1/? 27.8 / 21.1  (2)
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_FR.xml . 560.2 / 297.1  (-) . 424.8 / 292.2  (0) n^1/? 16.5 / 12.8  (2)
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.xml . 599.7 / 300.0  (-) . 561.2 / 292.3  (0) ?/? 177.3 / 196.7  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_L.xml . 0.1 / 0.1  (-) . 0.1 / 0.0  (0) ?/? 0.3 / 0.3  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_Z.xml . 469.9 / 297.5  (-) . 522.5 / 292.3  (0) ?/? 0.4 / 1.6  (0)
l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_C.xml . 479.9 / 300.1  (-) ?/n^1 489.8 / 292.5  (2) n^1/? 8.5 / 13.7  (2)
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_FR.xml ?/n^1 510.3 / 297.3  (-) ?/n^1 461.9 / 292.3  (2) n^1/? 13.8 / 11.2  (2)
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.xml . 475.7 / 297.1  (-) . 214.7 / 292.8  (0) n^1/? 15.2 / 11.7  (2)
l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.xml ?/n^1 13.8 / 7.9  (-) ?/n^1 1.7 / 0.7  (2) . 0.6 / 2.2  (0)
l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.xml ?/n^1 6.0 / 1.7  (-) ?/n^1 3.0 / 1.1  (2) . 11.0 / 11.3  (0)
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml . 809.9 / 297.7  (-) . 644.5 / 292.4  (0) n^1/? 151.6 / 281.3  (2)
writing/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml . 598.1 / 298.3  (-) . 506.8 / 292.1  (0) . 15.8 / 11.4  (0)
writing/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml . 699.1 / 298.5  (-) . 536.5 / 292.1  (0) n^1/? 21.7 / 15.8  (2)
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml . 496.2 / 297.4  (-) . 447.0 / 292.2  (0) n^3/? 15.2 / 13.3  (2)
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml . 404.6 / 297.7  (-) . 469.7 / 292.1  (0) n^3/? 18.9 / 13.1  (2)
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml . 620.1 / 299.4  (-) . 562.3 / 292.2  (0) n^1/? 279.1 / 281.2  (2)
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml . 571.7 / 297.4  (-) . 487.4 / 292.1  (0) . 13.7 / 11.5  (0)
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml . 440.1 / 297.4  (-) . 582.9 / 292.1  (0) . 46.6 / 29.9  (0)
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml . 0.2 / 0.2  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml . 444.3 / 297.2  (-) . 497.2 / 292.3  (0) . 14.1 / 11.4  (0)
sformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml . 625.0 / 300.0  (-) . 662.4 / 292.3  (0) . 277.3 / 280.6  (0)
nsformed_CSR_04/LISTUTILITIES_complete-noand_L.xml . 2.3 / 2.6  (-) . 0.3 / 0.5  (0) ?/? 0.3 / 0.3  (0)
nsformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml . 571.4 / 300.0  (-) . 614.3 / 292.2  (0) . 49.0 / 37.1  (0)
ng/Transformed_CSR_04/LISTUTILITIES_complete_C.xml . 668.9 / 300.1  (-) . 714.5 / 292.3  (0) n^1/? 293.6 / 280.7  (2)
g/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml . 391.3 / 298.0  (-) . 556.7 / 293.2  (0) . 283.2 / 281.0  (0)
g/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml . 579.3 / 298.4  (-) . 578.5 / 292.2  (0) . 217.5 / 280.5  (0)
ng/Transformed_CSR_04/LISTUTILITIES_complete_L.xml . 0.2 / 0.1  (-) . 0.1 / 0.1  (0) ?/? 0.3 / 0.2  (0)
ng/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml . 560.3 / 297.9  (-) . 753.6 / 292.6  (0) . 118.7 / 243.4  (0)
nsformed_CSR_04/LISTUTILITIES_complete_noand_C.xml . 552.8 / 299.3  (-) . 692.5 / 292.9  (0) n^1/? 323.9 / 280.4  (2)
sformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml . 776.0 / 298.3  (-) . 551.6 / 294.1  (0) . 301.2 / 280.3  (0)
nsformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml . 572.9 / 297.6  (-) . 651.0 / 292.1  (0) . 277.9 / 280.8  (0)
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.3  (0) ?/? 0.3 / 0.2  (0)
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml . 524.8 / 300.0  (-) . 589.6 / 292.1  (0) . 26.8 / 19.7  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml . 619.0 / 297.8  (-) . 775.8 / 292.4  (0) n^1/? 270.6 / 281.1  (2)
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml . 586.4 / 298.1  (-) . 625.4 / 291.4  (0) . 298.7 / 281.1  (0)
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml . 785.3 / 297.6  (-) . 590.6 / 292.2  (0) . 297.6 / 280.9  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.1  (0) ?/? 0.3 / 0.2  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml . 525.0 / 297.3  (-) . 449.9 / 292.8  (0) . 28.1 / 27.6  (0)
ansformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml . 612.4 / 300.0  (-) . 754.1 / 293.1  (0) n^1/? 300.4 / 281.0  (2)
nsformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml . 604.2 / 297.4  (-) . 569.7 / 294.8  (0) . 238.8 / 281.4  (0)
nsformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml . 656.3 / 297.2  (-) . 663.3 / 292.3  (0) . 13.0 / 11.5  (0)
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml . 0.3 / 0.6  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.5  (0)
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml . 647.0 / 297.1  (-) . 602.6 / 292.1  (0) . 13.5 / 11.4  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml . 818.7 / 297.7  (-) . 549.7 / 294.9  (0) n^1/? 306.4 / 280.8  (2)
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml . 589.5 / 297.3  (-) . 522.8 / 292.6  (0) . 14.5 / 11.3  (0)
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml . 736.6 / 297.6  (-) . 575.9 / 292.2  (0) . 246.5 / 280.6  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml ?/n^1 583.2 / 277.7  (-) . 601.1 / 292.1  (0) . 11.6 / 11.6  (0)
ansformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml . 592.5 / 300.0  (-) . 556.6 / 293.1  (0) n^1/? 270.1 / 281.1  (2)
nsformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml . 590.2 / 297.3  (-) . 580.0 / 292.3  (0) . 301.5 / 281.2  (0)
d_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml . 535.0 / 298.3  (-) . 547.7 / 292.1  (0) n^1/? 28.1 / 20.2  (2)
ed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml . 0.5 / 0.6  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
ed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml . 392.1 / 298.4  (-) . 554.8 / 292.1  (0) . 15.9 / 13.1  (0)
nsformed_CSR_04/LengthOfFiniteLists_complete_C.xml . 641.4 / 299.6  (-) . 598.2 / 292.3  (0) n^1/? 312.0 / 280.9  (2)
sformed_CSR_04/LengthOfFiniteLists_complete_FR.xml . 504.2 / 297.7  (-) . 580.3 / 292.5  (0) n^1/? 38.2 / 29.3  (2)
sformed_CSR_04/LengthOfFiniteLists_complete_GM.xml . 380.6 / 298.8  (-) . 686.3 / 292.2  (0) . 262.4 / 281.3  (0)
nsformed_CSR_04/LengthOfFiniteLists_complete_L.xml . 0.0 / 0.0  (-) . 0.2 / 0.1  (0) ?/? 0.3 / 1.2  (0)
nsformed_CSR_04/LengthOfFiniteLists_complete_Z.xml . 528.0 / 297.3  (-) . 555.5 / 292.3  (0) . 16.1 / 12.5  (0)
ed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml . 664.8 / 299.4  (-) . 632.9 / 292.6  (0) n^1/? 307.4 / 280.3  (2)
d_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml . 745.5 / 297.2  (-) . 463.2 / 292.2  (0) . 317.4 / 281.0  (0)
ed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml . 373.7 / 298.1  (-) . 484.9 / 292.3  (0) n^1/? 19.7 / 17.0  (2)
med_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml . 0.3 / 0.3  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.4  (0)
med_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml . 542.9 / 297.3  (-) . 413.8 / 292.1  (0) . 11.9 / 11.9  (0)
ansformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml . 596.2 / 300.0  (-) . 844.7 / 292.4  (0) n^1/? 57.8 / 43.8  (2)
nsformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml . 552.9 / 297.2  (-) . 580.9 / 292.6  (0) n^1/? 20.3 / 14.4  (2)
nsformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml . 540.0 / 297.2  (-) . 390.6 / 292.4  (0) n^1/? 15.8 / 14.2  (2)
ansformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.0  (0) ?/? 0.3 / 0.3  (0)
ansformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml . 658.6 / 297.1  (-) . 560.6 / 292.5  (0) . 15.7 / 12.3  (0)
med_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml . 593.2 / 297.6  (-) . 740.1 / 292.7  (0) n^1/? 285.0 / 280.9  (2)
ed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml . 525.4 / 297.1  (-) . 341.0 / 292.5  (0) n^1/? 117.7 / 101.2  (2)
ed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml . 577.3 / 297.2  (-) . 302.3 / 245.2  (0) ?/? 1.7 / 1.4  (0)
med_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml . 0.1 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.9  (0)
ansformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml ?/n^1 610.3 / 297.2  (-) ?/n^1 801.2 / 292.5  (2) n^1/? 18.1 / 12.3  (2)
nsformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml . 465.1 / 297.1  (-) . 671.9 / 293.0  (0) ?/? 0.4 / 1.2  (0)
nsformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml . 431.6 / 297.7  (-) . 377.4 / 292.9  (0) ?/? 0.4 / 1.2  (0)
ansformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.6  (0)
med_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml ?/n^1 591.8 / 297.3  (-) ?/n^1 737.1 / 292.5  (2) n^1/? 10.9 / 16.2  (2)
ed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml . 675.0 / 297.1  (-) . 558.5 / 291.9  (0) ?/? 3.2 / 4.8  (0)
ing/Transformed_CSR_04/MYNAT_complete-noand_FR.xml . 471.4 / 297.3  (-) . 594.9 / 292.2  (0) n^2/? 23.3 / 14.8  (2)
ting/Transformed_CSR_04/MYNAT_complete-noand_L.xml . 0.1 / 0.1  (-) . 0.1 / 0.0  (0) ?/? 0.3 / 0.2  (0)
ting/Transformed_CSR_04/MYNAT_complete-noand_Z.xml . 582.1 / 297.4  (-) . 635.9 / 292.2  (0) n^1/? 37.4 / 15.3  (2)
_Rewriting/Transformed_CSR_04/MYNAT_complete_C.xml . 383.4 / 297.7  (-) . 581.0 / 292.9  (0) n^1/? 287.1 / 280.4  (2)
Rewriting/Transformed_CSR_04/MYNAT_complete_FR.xml . 520.7 / 297.9  (-) . 562.8 / 292.7  (0) n^1/? 21.4 / 15.0  (2)
Rewriting/Transformed_CSR_04/MYNAT_complete_GM.xml . 615.6 / 298.6  (-) . 647.2 / 292.2  (0) . 286.9 / 281.1  (0)
_Rewriting/Transformed_CSR_04/MYNAT_complete_L.xml . 0.1 / 0.1  (-) . 0.1 / 0.1  (0) ?/? 0.3 / 0.2  (0)
_Rewriting/Transformed_CSR_04/MYNAT_complete_Z.xml . 516.2 / 297.6  (-) . 501.5 / 292.7  (0) n^1/? 21.0 / 13.9  (2)
ting/Transformed_CSR_04/MYNAT_complete_noand_C.xml . 658.0 / 300.1  (-) . 738.5 / 292.2  (0) n^1/? 313.1 / 281.1  (2)
ing/Transformed_CSR_04/MYNAT_complete_noand_GM.xml . 599.4 / 299.5  (-) . 668.9 / 292.6  (0) n^1/? 222.2 / 281.4  (2)
ting/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml . 494.3 / 297.9  (-) . 559.7 / 292.3  (0) n^2/? 17.0 / 12.6  (2)
iting/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml . 0.2 / 0.2  (-) . 0.1 / 0.3  (0) ?/? 0.3 / 1.2  (0)
iting/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml . 377.7 / 297.3  (-) . 655.6 / 292.2  (0) n^1/? 17.0 / 12.6  (2)
l_Rewriting/Transformed_CSR_04/MYNAT_nokinds_C.xml . 607.5 / 297.4  (-) . 430.3 / 292.9  (0) n^1/? 134.9 / 122.9  (2)
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_FR.xml . 543.2 / 298.3  (-) . 558.0 / 292.0  (0) n^1/? 15.1 / 13.1  (2)
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.xml . 689.5 / 297.8  (-) . 714.3 / 292.0  (0) n^1/? 22.4 / 14.7  (2)
l_Rewriting/Transformed_CSR_04/MYNAT_nokinds_L.xml . 0.1 / 0.1  (-) . 0.1 / 0.0  (0) ?/? 0.3 / 0.3  (0)
l_Rewriting/Transformed_CSR_04/MYNAT_nokinds_Z.xml . 404.7 / 300.1  (-) . 407.1 / 291.6  (0) n^1/? 8.7 / 14.6  (2)
iting/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml . 817.8 / 297.3  (-) . 756.4 / 292.4  (0) n^1/? 311.4 / 280.2  (2)
ting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml . 614.1 / 297.9  (-) . 676.6 / 292.2  (0) n^1/? 46.1 / 36.3  (2)
ting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml . 586.1 / 297.3  (-) . 441.8 / 292.8  (0) n^2/? 15.2 / 12.3  (2)
iting/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.3  (0) ?/? 0.3 / 0.3  (0)
l_Rewriting/Transformed_CSR_04/MYNAT_nosorts_C.xml . 777.7 / 297.3  (-) . 373.8 / 292.2  (0) n^1/? 16.8 / 12.8  (2)
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.xml ?/n^2 178.1 / 79.6  (-) ?/n^2 9.8 / 4.0  (2) n^2/? 13.0 / 13.2  (2)
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.xml . 733.4 / 299.0  (-) . 617.0 / 292.4  (0) n^2/? 22.0 / 13.4  (2)
l_Rewriting/Transformed_CSR_04/MYNAT_nosorts_L.xml . 0.0 / 0.1  (-) . 0.0 / 0.2  (0) ?/? 0.3 / 0.3  (0)
iting/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml . 665.8 / 297.3  (-) . 395.2 / 292.8  (0) n^1/? 21.1 / 17.8  (2)
ting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml . 529.3 / 298.1  (-) . 632.5 / 292.4  (0) n^2/? 34.7 / 25.4  (2)
/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml . 630.8 / 297.5  (-) . 763.3 / 292.5  (0) n^1/? 30.5 / 18.5  (2)
g/Transformed_CSR_04/OvConsOS_complete-noand_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.9  (0)
g/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml . 413.1 / 300.0  (-) . 657.5 / 292.5  (0) . 17.3 / 12.6  (0)
writing/Transformed_CSR_04/OvConsOS_complete_C.xml . 574.9 / 300.0  (-) . 550.7 / 292.4  (0) n^1/? 278.7 / 280.5  (2)
riting/Transformed_CSR_04/OvConsOS_complete_FR.xml . 623.2 / 297.2  (-) . 526.6 / 292.7  (0) n^1/? 33.9 / 23.4  (2)
riting/Transformed_CSR_04/OvConsOS_complete_GM.xml . 612.5 / 297.8  (-) . 550.2 / 292.2  (0) . 256.5 / 281.5  (0)
writing/Transformed_CSR_04/OvConsOS_complete_L.xml . 0.1 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.3  (0)
writing/Transformed_CSR_04/OvConsOS_complete_Z.xml . 635.9 / 297.3  (-) . 696.3 / 292.3  (0) . 17.9 / 12.5  (0)
g/Transformed_CSR_04/OvConsOS_complete_noand_C.xml . 674.0 / 300.1  (-) . 635.9 / 293.0  (0) n^1/? 275.4 / 281.6  (2)
/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml . 682.4 / 297.9  (-) . 481.8 / 292.6  (0) . 276.6 / 281.2  (0)
g/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml . 654.4 / 297.2  (-) . 474.9 / 292.3  (0) n^1/? 21.3 / 14.3  (2)
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml . 0.3 / 0.5  (-) . 0.3 / 0.2  (0) ?/? 0.3 / 0.4  (0)
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml . 563.4 / 297.5  (-) . 579.4 / 292.2  (0) . 14.7 / 11.3  (0)
ewriting/Transformed_CSR_04/OvConsOS_nokinds_C.xml . 689.9 / 297.7  (-) . 668.7 / 292.4  (0) n^1/? 293.2 / 280.3  (2)
writing/Transformed_CSR_04/OvConsOS_nokinds_FR.xml . 590.2 / 297.3  (-) . 570.5 / 292.5  (0) n^1/? 22.7 / 19.5  (2)
writing/Transformed_CSR_04/OvConsOS_nokinds_GM.xml . 600.6 / 297.5  (-) . 497.6 / 292.2  (0) n^1/? 25.1 / 16.9  (2)
ewriting/Transformed_CSR_04/OvConsOS_nokinds_L.xml . 0.1 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.3  (0)
ewriting/Transformed_CSR_04/OvConsOS_nokinds_Z.xml . 583.6 / 297.1  (-) . 623.5 / 292.2  (0) . 17.0 / 12.3  (0)
ng/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml . 473.2 / 297.4  (-) . 588.6 / 293.0  (0) n^1/? 283.7 / 280.8  (2)
g/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml . 530.1 / 298.9  (-) . 547.0 / 292.2  (0) . 254.2 / 280.6  (0)
g/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml . 448.9 / 297.3  (-) . 486.7 / 292.1  (0) n^1/? 7.1 / 12.6  (2)
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml . 457.9 / 297.4  (-) . 434.7 / 292.0  (0) ?/? 6.6 / 5.4  (0)
ewriting/Transformed_CSR_04/OvConsOS_nosorts_C.xml ?/n^1 789.6 / 297.3  (-) . 529.2 / 291.6  (0) n^1/? 18.4 / 13.3  (2)
writing/Transformed_CSR_04/OvConsOS_nosorts_FR.xml . 327.1 / 297.9  (-) . 515.1 / 292.5  (0) ?/? 0.4 / 1.2  (0)
writing/Transformed_CSR_04/OvConsOS_nosorts_GM.xml . 565.0 / 297.3  (-) . 496.1 / 292.6  (0) ?/? 0.5 / 1.2  (0)
ewriting/Transformed_CSR_04/OvConsOS_nosorts_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.3  (0) ?/? 0.3 / 0.2  (0)
ewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.xml . 426.3 / 297.2  (-) . 454.6 / 293.2  (0) ?/? 0.4 / 1.7  (0)
ng/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml . 565.3 / 297.4  (-) . 731.0 / 292.7  (0) n^1/? 75.0 / 63.0  (2)
g/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml . 707.9 / 298.6  (-) . 613.7 / 293.4  (0) ?/? 6.0 / 7.0  (0)
ransformed_CSR_04/PALINDROME_complete-noand_FR.xml . 429.5 / 297.5  (-) . 595.4 / 292.1  (0) n^2/? 21.6 / 15.4  (2)
Transformed_CSR_04/PALINDROME_complete-noand_L.xml . 546.8 / 298.4  (-) . 483.9 / 292.3  (0) ?/? 0.5 / 1.9  (0)
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml . 599.9 / 297.4  (-) . 577.6 / 292.4  (0) n^1/? 22.7 / 17.3  (2)
iting/Transformed_CSR_04/PALINDROME_complete_C.xml . 578.7 / 298.6  (-) . 462.3 / 292.8  (0) n^1/? 202.0 / 281.1  (2)
ting/Transformed_CSR_04/PALINDROME_complete_FR.xml . 612.5 / 299.6  (-) . 657.3 / 292.2  (0) n^1/? 45.1 / 37.7  (2)
ting/Transformed_CSR_04/PALINDROME_complete_GM.xml . 527.0 / 297.6  (-) . 651.8 / 292.2  (0) . 294.1 / 280.8  (0)
iting/Transformed_CSR_04/PALINDROME_complete_L.xml . 0.0 / 0.1  (-) . 0.1 / 0.2  (0) ?/? 0.3 / 0.2  (0)
iting/Transformed_CSR_04/PALINDROME_complete_Z.xml . 493.1 / 297.9  (-) . 632.0 / 292.2  (0) n^1/? 27.1 / 17.8  (2)
Transformed_CSR_04/PALINDROME_complete_noand_C.xml . 420.1 / 300.0  (-) . 676.6 / 293.4  (0) n^1/? 296.6 / 281.2  (2)
ransformed_CSR_04/PALINDROME_complete_noand_GM.xml . 591.2 / 297.3  (-) . 777.8 / 292.2  (0) n^2/? 226.4 / 280.6  (2)
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml . 538.2 / 297.6  (-) . 467.3 / 292.2  (0) n^2/? 26.8 / 21.4  (2)
/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml . 488.6 / 297.7  (-) . 442.7 / 292.7  (0) ?/? 0.4 / 1.3  (0)
/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml ?/n^1 516.7 / 297.7  (-) ?/n^1 525.8 / 292.2  (2) n^1/? 20.9 / 13.5  (2)
riting/Transformed_CSR_04/PALINDROME_nokinds_C.xml ?/n^1 611.5 / 297.2  (-) ?/n^1 699.0 / 292.2  (2) n^1/? 51.9 / 39.2  (2)
iting/Transformed_CSR_04/PALINDROME_nokinds_FR.xml . 567.6 / 298.2  (-) . 466.1 / 292.2  (0) n^2/? 27.0 / 19.3  (2)
iting/Transformed_CSR_04/PALINDROME_nokinds_GM.xml . 631.6 / 297.4  (-) . 652.0 / 293.3  (0) n^1/? 51.9 / 49.1  (2)
riting/Transformed_CSR_04/PALINDROME_nokinds_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.8  (0)
riting/Transformed_CSR_04/PALINDROME_nokinds_Z.xml ?/n^1 469.7 / 297.6  (-) ?/n^2 467.7 / 292.5  (2) n^1/? 19.7 / 15.7  (2)
/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml ?/n^1 704.7 / 297.5  (-) ?/n^1 737.8 / 293.4  (2) n^1/? 309.2 / 280.8  (2)
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml . 430.2 / 297.9  (-) . 665.8 / 293.7  (0) n^1/? 301.5 / 280.7  (2)
riting/Transformed_CSR_04/PALINDROME_nosorts_C.xml ?/n^1 634.5 / 297.3  (-) ?/n^1 706.4 / 292.2  (2) n^1/? 13.9 / 13.1  (2)
iting/Transformed_CSR_04/PALINDROME_nosorts_GM.xml . 653.9 / 297.4  (-) . 410.5 / 293.3  (0) n^1/? 15.5 / 11.6  (2)
riting/Transformed_CSR_04/PALINDROME_nosorts_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml ?/n^1 623.6 / 298.4  (-) ?/n^1 753.5 / 292.2  (2) n^1/? 17.9 / 12.2  (2)
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml . 698.5 / 299.5  (-) . 470.7 / 293.8  (0) n^1/? 15.5 / 11.8  (2)
ing/Transformed_CSR_04/PEANO_complete-noand_FR.xml . 508.5 / 297.3  (-) . 531.7 / 292.6  (0) n^2/? 19.9 / 13.4  (2)
ting/Transformed_CSR_04/PEANO_complete-noand_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
ting/Transformed_CSR_04/PEANO_complete-noand_Z.xml . 547.9 / 297.4  (-) . 688.3 / 292.2  (0) n^1/? 18.1 / 13.7  (2)
_Rewriting/Transformed_CSR_04/PEANO_complete_C.xml . 612.5 / 297.3  (-) . 588.9 / 292.2  (0) n^1/? 307.0 / 280.3  (2)
Rewriting/Transformed_CSR_04/PEANO_complete_FR.xml . 520.8 / 297.2  (-) . 603.0 / 292.2  (0) n^1/? 11.8 / 17.3  (2)
Rewriting/Transformed_CSR_04/PEANO_complete_GM.xml . 705.2 / 298.6  (-) . 605.2 / 292.3  (0) n^1/? 39.5 / 29.2  (2)
_Rewriting/Transformed_CSR_04/PEANO_complete_L.xml . 0.0 / 0.1  (-) . 0.1 / 0.3  (0) ?/? 0.3 / 0.3  (0)
_Rewriting/Transformed_CSR_04/PEANO_complete_Z.xml . 503.6 / 298.0  (-) . 591.6 / 292.2  (0) n^1/? 16.4 / 13.4  (2)
ting/Transformed_CSR_04/PEANO_complete_noand_C.xml . 420.9 / 300.1  (-) . 649.9 / 293.0  (0) n^1/? 300.4 / 280.3  (2)
ing/Transformed_CSR_04/PEANO_complete_noand_GM.xml . 525.1 / 299.3  (-) . 492.0 / 292.1  (0) n^1/? 271.9 / 280.5  (2)
ting/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml . 494.3 / 297.6  (-) . 461.1 / 292.3  (0) n^2/? 17.1 / 12.4  (2)
iting/Transformed_CSR_04/PEANO_nokinds-noand_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.2  (0) ?/? 0.3 / 0.4  (0)
iting/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml . 571.9 / 297.3  (-) . 609.0 / 292.1  (0) n^1/? 15.6 / 11.3  (2)
l_Rewriting/Transformed_CSR_04/PEANO_nokinds_C.xml . 597.1 / 297.3  (-) . 835.0 / 292.3  (0) n^1/? 21.0 / 13.3  (2)
_Rewriting/Transformed_CSR_04/PEANO_nokinds_FR.xml . 550.8 / 297.8  (-) . 532.1 / 292.7  (0) n^2/? 16.7 / 13.8  (2)
_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.xml . 644.8 / 297.7  (-) . 336.1 / 292.2  (0) n^1/? 19.6 / 12.9  (2)
l_Rewriting/Transformed_CSR_04/PEANO_nokinds_L.xml . 0.2 / 0.1  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.2  (0)
l_Rewriting/Transformed_CSR_04/PEANO_nokinds_Z.xml . 532.3 / 297.2  (-) . 607.4 / 292.2  (0) n^1/? 11.2 / 13.2  (2)
iting/Transformed_CSR_04/PEANO_nokinds_noand_C.xml . 615.4 / 297.5  (-) . 714.7 / 292.3  (0) n^1/? 39.7 / 49.2  (2)
ting/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml . 622.7 / 297.7  (-) . 459.7 / 292.2  (0) n^1/? 14.3 / 13.8  (2)
ting/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml ?/n^1 45.1 / 24.1  (-) ?/n^1 16.6 / 7.0  (2) n^1/? 13.7 / 11.6  (2)
iting/Transformed_CSR_04/PEANO_nosorts-noand_L.xml . 0.1 / 0.0  (-) . 0.0 / 0.0  (0) ?/? 0.3 / 0.3  (0)
l_Rewriting/Transformed_CSR_04/PEANO_nosorts_C.xml ?/n^1 736.4 / 297.2  (-) ?/n^1 495.4 / 292.1  (2) n^1/? 15.8 / 12.3  (2)
_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.xml ?/n^1 1.1 / 0.4  (-) ?/n^1 0.5 / 0.2  (2) n^1/? 13.6 / 11.4  (2)
_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.xml . 681.2 / 297.2  (-) . 420.6 / 291.7  (0) n^2/? 14.1 / 14.2  (2)
l_Rewriting/Transformed_CSR_04/PEANO_nosorts_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.2  (0) ?/? 0.3 / 0.2  (0)
iting/Transformed_CSR_04/PEANO_nosorts_noand_C.xml ?/n^1 567.7 / 297.5  (-) ?/n^1 581.9 / 293.4  (2) n^1/? 16.7 / 13.7  (2)
ting/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml . 527.1 / 297.9  (-) . 439.6 / 292.7  (0) n^2/? 24.0 / 15.4  (2)
untime_Complexity_Full_Rewriting/Various_04/04.xml . 548.7 / 297.6  (-) . 700.5 / 292.3  (0) . 16.8 / 12.9  (0)
untime_Complexity_Full_Rewriting/Various_04/08.xml . 367.4 / 300.0  (-) . 657.0 / 292.7  (0) . 17.4 / 11.9  (0)
untime_Complexity_Full_Rewriting/Various_04/10.xml . 344.3 / 297.2  (-) . 570.1 / 292.7  (0) n^1/? 15.7 / 14.1  (2)
untime_Complexity_Full_Rewriting/Various_04/11.xml . 711.9 / 299.7  (-) . 540.0 / 292.1  (0) . 3.3 / 3.2  (0)
untime_Complexity_Full_Rewriting/Various_04/12.xml . 543.0 / 298.1  (-) . 431.9 / 292.4  (0) n^1/? 17.6 / 12.4  (2)
untime_Complexity_Full_Rewriting/Various_04/13.xml . 546.2 / 299.4  (-) . 399.3 / 292.5  (0) n^1/? 18.2 / 12.8  (2)
untime_Complexity_Full_Rewriting/Various_04/14.xml . 581.7 / 297.3  (-) . 832.8 / 292.8  (0) n^1/? 28.7 / 20.9  (2)
untime_Complexity_Full_Rewriting/Various_04/15.xml ?/n^1 260.9 / 148.4  (-) ?/n^1 9.8 / 4.0  (2) n^1/? 2.8 / 3.3  (2)
untime_Complexity_Full_Rewriting/Various_04/18.xml ?/n^1 697.3 / 297.2  (-) ?/n^1 346.1 / 292.2  (2) n^1/? 16.0 / 12.1  (2)
untime_Complexity_Full_Rewriting/Various_04/22.xml . 534.8 / 298.3  (-) . 668.0 / 292.1  (0) n^1/? 5.1 / 3.2  (2)
untime_Complexity_Full_Rewriting/Various_04/23.xml ?/n^1 4.4 / 1.6  (-) ?/n^1 1.0 / 0.5  (2) n^1/? 3.7 / 3.2  (2)
untime_Complexity_Full_Rewriting/Various_04/24.xml . 945.7 / 297.3  (-) ?/n^2 52.1 / 24.8  (2) n^1/? 15.4 / 11.4  (2)
omplexity_Full_Rewriting/Waldmann_06/jwmatchb1.xml ?/n^1 171.6 / 148.6  (-) ?/n^1 13.7 / 8.8  (2) n^1/? 3.7 / 3.3  (2)
omplexity_Full_Rewriting/Waldmann_06/jwmatchb2.xml ?/n^1 44.3 / 22.0  (-) ?/n^1 12.9 / 10.1  (2) n^1/? 3.8 / 3.5  (2)
me_Complexity_Full_Rewriting/Waldmann_06/jwno1.xml . 457.4 / 300.0  (-) . 650.6 / 292.2  (0) . 4.5 / 2.3  (0)
me_Complexity_Full_Rewriting/Waldmann_06/jwno4.xml . 579.9 / 297.3  (-) . 503.1 / 292.7  (0) . 2.9 / 2.3  (0)
me_Complexity_Full_Rewriting/Waldmann_06/jwno6.xml . 516.0 / 297.6  (-) . 592.4 / 292.2  (0) . 2.6 / 2.2  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z10.xml . 540.3 / 298.1  (-) . 593.6 / 292.2  (0) . 20.2 / 14.8  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z12.xml . 468.1 / 297.1  (-) . 282.1 / 145.4  (0) . 2.6 / 2.2  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z13.xml . 480.1 / 297.3  (-) . 266.7 / 156.5  (0) . 6.0 / 4.2  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z14.xml . 439.4 / 297.3  (-) . 260.6 / 292.3  (0) . 2.5 / 2.4  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z15.xml . 533.4 / 297.1  (-) . 592.5 / 292.1  (0) . 2.7 / 5.5  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z16.xml . 418.2 / 297.1  (-) . 256.9 / 160.5  (0) . 2.7 / 2.2  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z17.xml . 464.5 / 297.1  (-) . 634.4 / 292.4  (0) . 2.7 / 2.2  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z18.xml . 491.9 / 297.1  (-) . 463.5 / 292.1  (0) . 11.7 / 11.5  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z23.xml . 574.0 / 297.2  (-) . 374.1 / 292.3  (0) . 5.6 / 5.4  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z24.xml . 620.1 / 297.5  (-) . 538.4 / 292.8  (0) . 11.0 / 13.7  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z26.xml ?/n^1 347.7 / 179.9  (-) ?/n^1 6.8 / 2.0  (2) n^1/? 13.6 / 11.4  (2)
ntime_Complexity_Full_Rewriting/Zantema_05/z27.xml . 740.9 / 297.6  (-) . 11.1 / 4.4  (0) n^1/? 15.6 / 11.4  (2)
ntime_Complexity_Full_Rewriting/Zantema_05/z28.xml . 581.6 / 297.4  (-) . 555.6 / 292.3  (0) n^1/? 3.1 / 2.4  (2)