Overview of job-results

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

Statistics

1918 pairs, 679579.8 / 312180.9 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 certi 47133
Solver TCT2_20150725 TCT3_2015
Scores 0 175
Runtime_Complexity_Full_Rewriting/AG01/#3.1.xml . 611.4 / 298.4  (-) . 7.3 / 3.2  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.10.xml . 728.4 / 298.9  (-) . 595.4 / 296.1  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.12.xml . 701.8 / 298.8  (-) . 37.6 / 21.7  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.13.xml . 594.6 / 298.6  (-) . 590.4 / 296.2  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.15.xml ?/n^1 3.9 / 1.7  (-) ?/n^1 0.9 / 0.5  (1)
Runtime_Complexity_Full_Rewriting/AG01/#3.16.xml . 784.0 / 298.3  (-) . 24.2 / 8.7  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.17.xml . 483.9 / 298.3  (-) . 599.6 / 296.1  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.17a.xml . 569.8 / 298.3  (-) . 689.7 / 296.1  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.18.xml . 682.2 / 298.3  (-) . 13.7 / 6.8  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.19.xml . 819.1 / 298.7  (-) . 22.6 / 11.2  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.2.xml . 620.4 / 298.2  (-) . 18.6 / 10.8  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.22.xml . 620.0 / 298.5  (-) . 652.4 / 296.2  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.23.xml . 653.8 / 298.4  (-) . 5.2 / 2.0  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.24.xml ?/n^1 0.0 / 0.0  (-) ?/n^1 0.1 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/AG01/#3.26.xml . 700.7 / 299.1  (-) . 24.5 / 13.6  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.29.xml ?/n^1 0.3 / 0.2  (-) ?/n^1 0.1 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/AG01/#3.31.xml . 686.9 / 298.4  (-) . 58.3 / 35.4  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.33.xml ?/n^1 0.0 / 0.0  (-) ?/n^1 0.1 / 0.0  (1)
Runtime_Complexity_Full_Rewriting/AG01/#3.35.xml ?/n^1 0.6 / 0.4  (-) ?/n^1 0.1 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/AG01/#3.36.xml . 791.6 / 298.5  (-) . 32.0 / 17.5  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.37.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.0  (1)
Runtime_Complexity_Full_Rewriting/AG01/#3.38.xml . 690.1 / 298.6  (-) . 15.0 / 9.5  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.39.xml . 765.1 / 299.0  (-) . 31.5 / 15.1  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.4.xml . 665.3 / 298.6  (-) . 18.6 / 9.1  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.40.xml . 610.2 / 300.0  (-) . 76.1 / 45.4  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.41.xml . 642.1 / 298.6  (-) . 5.2 / 2.3  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.42.xml . 585.4 / 298.5  (-) . 12.7 / 5.7  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.47.xml . 637.3 / 300.0  (-) . 9.0 / 4.8  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.48.xml . 462.1 / 298.3  (-) . 588.1 / 296.2  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.49.xml . 868.3 / 298.4  (-) . 287.7 / 196.5  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.5.xml . 809.9 / 298.6  (-) . 14.2 / 6.6  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.51.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.2 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/AG01/#3.52.xml ?/n^2 11.6 / 4.9  (-) ?/n^2 1.3 / 0.5  (1)
Runtime_Complexity_Full_Rewriting/AG01/#3.53.xml . 700.9 / 298.3  (-) . 31.9 / 19.9  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.53a.xml ?/n^1 0.4 / 0.2  (-) ?/n^1 0.1 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/AG01/#3.53b.xml ?/n^2 6.8 / 3.7  (-) ?/n^2 1.4 / 0.6  (1)
Runtime_Complexity_Full_Rewriting/AG01/#3.54.xml . 689.9 / 298.2  (-) . 50.2 / 44.7  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.55.xml . 686.5 / 300.0  (-) . 600.7 / 296.3  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.56.xml ?/n^1 0.5 / 0.5  (-) ?/n^1 0.1 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/AG01/#3.57.xml . 539.4 / 298.4  (-) . 490.8 / 296.1  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.5a.xml . 732.6 / 298.5  (-) . 17.3 / 9.8  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.5b.xml . 748.1 / 298.5  (-) . 24.5 / 13.7  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.6.xml . 602.8 / 298.5  (-) . 19.2 / 11.4  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.6a.xml . 625.4 / 298.6  (-) . 16.5 / 8.8  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.6b.xml . 731.9 / 298.3  (-) . 26.8 / 15.2  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.7.xml ?/n^1 0.7 / 0.3  (-) ?/n^1 0.5 / 0.2  (1)
Runtime_Complexity_Full_Rewriting/AG01/#3.8a.xml . 696.6 / 298.8  (-) . 34.4 / 16.1  (0)
Runtime_Complexity_Full_Rewriting/AG01/#3.8b.xml . 626.7 / 298.7  (-) . 44.2 / 23.9  (0)
Runtime_Complexity_Full_Rewriting/AG01/#4.30c.xml . 601.1 / 298.3  (-) . 23.8 / 14.3  (0)
Complexity_Full_Rewriting/AProVE_04/AAECC-ring.xml . 535.7 / 298.3  (-) . 634.6 / 296.2  (0)
time_Complexity_Full_Rewriting/AProVE_04/AAECC.xml . 476.3 / 300.0  (-) . 598.8 / 296.2  (0)
me_Complexity_Full_Rewriting/AProVE_04/IJCAR_1.xml . 419.5 / 198.6  (-) . 9.1 / 4.3  (0)
e_Complexity_Full_Rewriting/AProVE_04/IJCAR_12.xml . 640.8 / 298.4  (-) . 14.5 / 8.9  (0)
e_Complexity_Full_Rewriting/AProVE_04/IJCAR_18.xml . 854.3 / 298.5  (-) . 527.3 / 296.2  (0)
e_Complexity_Full_Rewriting/AProVE_04/IJCAR_26.xml . 730.2 / 298.4  (-) . 651.2 / 296.3  (0)
_Complexity_Full_Rewriting/AProVE_04/IJCAR_26a.xml . 621.8 / 298.3  (-) . 751.6 / 296.1  (0)
e_Complexity_Full_Rewriting/AProVE_04/JFP_Ex31.xml . 669.3 / 299.3  (-) . 33.4 / 22.3  (0)
e_Complexity_Full_Rewriting/AProVE_04/JFP_Ex51.xml . 777.6 / 298.2  (-) . 40.7 / 23.9  (0)
mplexity_Full_Rewriting/AProVE_04/LPAR_intlist.xml . 940.2 / 299.7  (-) . 561.4 / 296.1  (0)
omplexity_Full_Rewriting/AProVE_04/Liveness6.1.xml . 709.3 / 298.3  (-) . 769.7 / 296.1  (0)
omplexity_Full_Rewriting/AProVE_04/Liveness6.2.xml . 776.4 / 298.2  (-) ?/n^4 270.6 / 169.3  (1)
omplexity_Full_Rewriting/AProVE_04/Liveness6.3.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.2 / 0.2  (1)
omplexity_Full_Rewriting/AProVE_04/Liveness6.4.xml . 752.8 / 298.4  (-) . 597.2 / 296.1  (0)
_Complexity_Full_Rewriting/AProVE_04/Liveness8.xml ?/n^1 0.3 / 0.1  (-) ?/n^1 0.1 / 0.1  (1)
mplexity_Full_Rewriting/AProVE_04/Liveness_WRS.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.0  (1)
untime_Complexity_Full_Rewriting/AProVE_04/fac.xml . 620.2 / 299.0  (-) . 89.4 / 48.2  (0)
ntime_Complexity_Full_Rewriting/AProVE_04/rta1.xml . 648.5 / 298.6  (-) . 631.9 / 296.1  (0)
ntime_Complexity_Full_Rewriting/AProVE_04/rta2.xml . 220.7 / 87.0  (-) . 3.8 / 1.9  (0)
ntime_Complexity_Full_Rewriting/AProVE_04/rta3.xml . 665.4 / 298.8  (-) . 13.6 / 7.9  (0)
exity_Full_Rewriting/AProVE_06/div_notCeTermin.xml . 557.9 / 298.6  (-) . 23.0 / 12.9  (0)
plexity_Full_Rewriting/AProVE_06/div_notTermin.xml . 570.3 / 298.6  (-) . 39.4 / 23.2  (0)
Complexity_Full_Rewriting/AProVE_06/factorial1.xml . 764.1 / 299.0  (-) . 456.9 / 296.1  (0)
Complexity_Full_Rewriting/AProVE_06/factorial2.xml . 672.0 / 298.6  (-) . 22.5 / 14.8  (0)
e_Complexity_Full_Rewriting/AProVE_06/identity.xml . 624.3 / 298.6  (-) . 45.5 / 25.0  (0)
_Complexity_Full_Rewriting/AProVE_06/logarithm.xml . 702.3 / 298.9  (-) . 48.1 / 30.3  (0)
ime_Complexity_Full_Rewriting/AProVE_06/modulo.xml . 539.1 / 298.5  (-) . 20.9 / 11.5  (0)
me_Complexity_Full_Rewriting/AProVE_06/nonterm.xml . 661.6 / 298.8  (-) . 583.4 / 296.3  (0)
_Complexity_Full_Rewriting/AProVE_06/quicksort.xml . 654.3 / 298.9  (-) . 212.0 / 121.2  (0)
ntime_Complexity_Full_Rewriting/AProVE_06/quot.xml . 696.8 / 298.4  (-) . 17.1 / 10.4  (0)
Complexity_Full_Rewriting/AProVE_06/sizeChange.xml . 735.9 / 299.9  (-) . 13.4 / 8.8  (0)
time_Complexity_Full_Rewriting/AProVE_06/tower.xml . 630.2 / 298.7  (-) . 460.6 / 296.2  (0)
xity_Full_Rewriting/AProVE_06/tower_sizeChange.xml . 700.4 / 300.0  (-) . 58.6 / 49.0  (0)
_Complexity_Full_Rewriting/AProVE_07/kabasci01.xml . 823.0 / 298.6  (-) . 679.5 / 296.1  (0)
_Complexity_Full_Rewriting/AProVE_07/kabasci02.xml . 760.7 / 298.3  (-) . 606.3 / 296.2  (0)
_Complexity_Full_Rewriting/AProVE_07/kabasci03.xml . 598.1 / 298.4  (-) ?/n^1 0.8 / 0.4  (1)
_Complexity_Full_Rewriting/AProVE_07/kabasci04.xml . 675.1 / 300.0  (-) . 637.4 / 296.1  (0)
_Complexity_Full_Rewriting/AProVE_07/kabasci05.xml . 475.8 / 298.3  (-) . 627.7 / 296.2  (0)
ime_Complexity_Full_Rewriting/AProVE_07/otto01.xml . 562.9 / 298.7  (-) . 589.3 / 296.1  (0)
ime_Complexity_Full_Rewriting/AProVE_07/otto02.xml . 723.5 / 300.0  (-) . 624.3 / 296.1  (0)
ime_Complexity_Full_Rewriting/AProVE_07/otto03.xml . 658.2 / 298.3  (-) . 8.7 / 5.2  (0)
ime_Complexity_Full_Rewriting/AProVE_07/otto04.xml . 619.6 / 299.0  (-) . 38.8 / 22.4  (0)
ime_Complexity_Full_Rewriting/AProVE_07/otto05.xml . 674.7 / 298.6  (-) . 12.9 / 7.7  (0)
ime_Complexity_Full_Rewriting/AProVE_07/otto06.xml . 739.4 / 298.7  (-) . 857.4 / 296.2  (0)
ime_Complexity_Full_Rewriting/AProVE_07/otto07.xml . 647.3 / 298.3  (-) . 10.1 / 4.2  (0)
ime_Complexity_Full_Rewriting/AProVE_07/otto08.xml . 642.1 / 298.3  (-) . 26.8 / 16.5  (0)
ime_Complexity_Full_Rewriting/AProVE_07/otto09.xml . 754.6 / 298.4  (-) . 20.0 / 9.4  (0)
ime_Complexity_Full_Rewriting/AProVE_07/otto10.xml . 840.9 / 298.8  (-) . 33.9 / 19.0  (0)
ime_Complexity_Full_Rewriting/AProVE_07/otto11.xml . 666.7 / 298.6  (-) . 35.9 / 22.1  (0)
ime_Complexity_Full_Rewriting/AProVE_07/otto12.xml . 688.1 / 298.5  (-) . 23.9 / 13.8  (0)
ime_Complexity_Full_Rewriting/AProVE_07/otto13.xml . 833.8 / 298.6  (-) . 78.3 / 36.3  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann01.xml . 762.3 / 298.6  (-) . 17.4 / 9.0  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann02.xml . 563.3 / 299.4  (-) . 634.0 / 296.1  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann03.xml . 610.5 / 298.6  (-) . 112.7 / 54.2  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann04.xml . 504.4 / 299.1  (-) . 581.8 / 296.2  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann05.xml . 633.3 / 298.8  (-) . 91.1 / 44.2  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann06.xml . 776.2 / 299.0  (-) . 32.2 / 16.5  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann07.xml . 570.1 / 298.4  (-) . 128.8 / 77.8  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann08.xml . 592.8 / 298.6  (-) . 16.6 / 8.8  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann09.xml . 691.6 / 298.4  (-) . 592.4 / 296.1  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann10.xml . 643.7 / 298.6  (-) . 11.8 / 6.2  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann11.xml . 747.3 / 298.8  (-) . 22.5 / 11.3  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann12.xml . 622.9 / 300.0  (-) . 18.1 / 12.4  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann13.xml . 641.1 / 298.8  (-) . 24.6 / 13.5  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann14.xml . 638.9 / 298.6  (-) . 662.7 / 296.1  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann15.xml . 639.4 / 298.4  (-) . 13.7 / 8.4  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann16.xml . 783.1 / 299.2  (-) . 592.9 / 296.1  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann17.xml . 425.1 / 298.6  (-) . 604.2 / 296.3  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann18.xml . 690.7 / 298.7  (-) . 99.3 / 50.3  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann19.xml . 763.8 / 299.8  (-) . 21.7 / 11.0  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann20.xml . 659.9 / 298.5  (-) . 48.0 / 24.4  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann21.xml . 706.2 / 298.4  (-) . 194.1 / 120.3  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann22.xml . 672.1 / 298.7  (-) . 16.2 / 8.5  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann23.xml . 640.3 / 299.2  (-) . 669.7 / 296.2  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann24.xml . 596.6 / 298.4  (-) . 20.4 / 12.2  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann25.xml . 628.8 / 298.6  (-) . 27.0 / 15.4  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann26.xml . 644.2 / 299.5  (-) . 14.3 / 6.9  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann27.xml . 585.9 / 298.5  (-) . 9.9 / 4.3  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann28.xml . 712.2 / 298.7  (-) . 767.6 / 296.2  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann29.xml . 721.1 / 298.3  (-) . 25.2 / 12.9  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann30.xml . 652.8 / 298.8  (-) . 634.1 / 296.2  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann31.xml . 653.1 / 298.5  (-) . 22.4 / 11.3  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann32.xml . 721.5 / 300.0  (-) . 657.6 / 296.2  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann33.xml . 729.4 / 298.7  (-) . 358.0 / 201.5  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann34.xml . 715.2 / 299.5  (-) . 17.7 / 10.4  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann36.xml . 650.5 / 300.0  (-) . 27.4 / 15.3  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann37.xml . 535.2 / 298.8  (-) . 602.4 / 296.2  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann38.xml . 656.0 / 298.6  (-) . 57.0 / 25.2  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann40.xml . 651.4 / 298.3  (-) . 9.8 / 4.2  (0)
Complexity_Full_Rewriting/AProVE_07/thiemann41.xml . 785.5 / 298.3  (-) . 18.9 / 11.0  (0)
me_Complexity_Full_Rewriting/AProVE_07/wiehe01.xml . 516.9 / 298.3  (-) . 570.6 / 296.2  (0)
me_Complexity_Full_Rewriting/AProVE_07/wiehe02.xml . 563.0 / 298.4  (-) . 571.4 / 296.4  (0)
me_Complexity_Full_Rewriting/AProVE_07/wiehe03.xml . 502.5 / 298.4  (-) . 496.1 / 296.3  (0)
me_Complexity_Full_Rewriting/AProVE_07/wiehe05.xml . 578.9 / 298.3  (-) . 643.4 / 296.3  (0)
me_Complexity_Full_Rewriting/AProVE_07/wiehe06.xml . 598.9 / 298.6  (-) . 512.1 / 296.3  (0)
me_Complexity_Full_Rewriting/AProVE_07/wiehe07.xml . 479.6 / 298.3  (-) . 682.8 / 296.2  (0)
me_Complexity_Full_Rewriting/AProVE_07/wiehe08.xml . 509.6 / 298.4  (-) . 646.9 / 296.2  (0)
me_Complexity_Full_Rewriting/AProVE_07/wiehe09.xml . 481.1 / 298.2  (-) . 638.7 / 296.3  (0)
me_Complexity_Full_Rewriting/AProVE_07/wiehe11.xml . 495.8 / 298.2  (-) . 681.6 / 296.2  (0)
me_Complexity_Full_Rewriting/AProVE_07/wiehe12.xml . 703.5 / 298.7  (-) . 587.7 / 296.3  (0)
ime_Complexity_Full_Rewriting/AProVE_08/id_inc.xml . 732.6 / 298.2  (-) . 16.1 / 9.7  (0)
untime_Complexity_Full_Rewriting/AProVE_08/log.xml . 495.8 / 298.8  (-) . 467.0 / 296.3  (0)
ity_Full_Rewriting/AProVE_08/parting01_reverse.xml . 537.7 / 298.4  (-) . 596.9 / 297.1  (0)
_Full_Rewriting/AProVE_08/parting02_doublelist.xml . 523.3 / 298.6  (-) . 589.0 / 296.2  (0)
ity_Full_Rewriting/AProVE_08/parting03_minsort.xml . 582.2 / 298.8  (-) . 612.1 / 296.1  (0)
y_Full_Rewriting/AProVE_08/parting04_maxsort_h.xml . 597.8 / 298.8  (-) . 624.0 / 296.3  (0)
ity_Full_Rewriting/AProVE_08/parting05_maxsort.xml . 829.1 / 299.1  (-) . 597.8 / 296.2  (0)
time_Complexity_Full_Rewriting/AProVE_08/round.xml . 733.8 / 298.6  (-) . 28.7 / 17.4  (0)
plexity_Full_Rewriting/AProVE_08/round_nonterm.xml . 683.7 / 298.5  (-) . 34.8 / 26.2  (0)
y_Full_Rewriting/AProVE_08/thiemann40_modified.xml . 646.5 / 298.3  (-) . 13.6 / 13.9  (0)
plexity_Full_Rewriting/AProVE_09_Inductive/div.xml . 583.2 / 298.3  (-) . 24.2 / 12.3  (0)
ity_Full_Rewriting/AProVE_09_Inductive/divhard.xml . 596.6 / 298.6  (-) . 20.1 / 10.6  (0)
plexity_Full_Rewriting/AProVE_09_Inductive/gcd.xml . 537.3 / 298.8  (-) . 23.6 / 14.0  (0)
lexity_Full_Rewriting/AProVE_09_Inductive/gcd2.xml . 643.9 / 298.5  (-) . 24.0 / 14.4  (0)
ity_Full_Rewriting/AProVE_09_Inductive/gcdhard.xml . 799.7 / 299.0  (-) . 35.8 / 18.5  (0)
plexity_Full_Rewriting/AProVE_09_Inductive/log.xml . 739.6 / 298.6  (-) . 31.5 / 16.2  (0)
ity_Full_Rewriting/AProVE_09_Inductive/maxsort.xml . 539.0 / 298.8  (-) . 613.1 / 296.2  (0)
Rewriting/AProVE_09_Inductive/maxsortcondition.xml . 893.3 / 298.6  (-) . 31.9 / 18.3  (0)
ity_Full_Rewriting/AProVE_09_Inductive/minsort.xml . 637.8 / 298.8  (-) . 680.3 / 296.2  (0)
plexity_Full_Rewriting/AProVE_09_Inductive/mod.xml . 710.5 / 298.8  (-) . 24.6 / 13.0  (0)
exity_Full_Rewriting/AProVE_09_Inductive/qsort.xml . 532.5 / 298.5  (-) . 594.1 / 296.1  (0)
y_Full_Rewriting/AProVE_09_Inductive/qsortlast.xml . 712.1 / 298.9  (-) . 738.8 / 296.1  (0)
Full_Rewriting/AProVE_09_Inductive/qsortmiddle.xml . 619.5 / 298.5  (-) . 569.2 / 296.2  (0)
ty_Full_Rewriting/AProVE_09_Inductive/zerolist.xml . 650.2 / 299.3  (-) . 11.1 / 5.1  (0)
time_Complexity_Full_Rewriting/Beerendonk_07/1.xml . 686.0 / 298.7  (-) . 8.5 / 5.0  (0)
ime_Complexity_Full_Rewriting/Beerendonk_07/10.xml . 652.3 / 299.0  (-) . 12.3 / 5.5  (0)
ime_Complexity_Full_Rewriting/Beerendonk_07/11.xml . 789.9 / 298.4  (-) . 11.7 / 6.9  (0)
ime_Complexity_Full_Rewriting/Beerendonk_07/12.xml . 653.6 / 298.8  (-) . 21.0 / 12.4  (0)
ime_Complexity_Full_Rewriting/Beerendonk_07/13.xml . 638.9 / 298.3  (-) . 15.4 / 8.1  (0)
ime_Complexity_Full_Rewriting/Beerendonk_07/14.xml . 759.0 / 298.6  (-) . 14.0 / 8.4  (0)
ime_Complexity_Full_Rewriting/Beerendonk_07/15.xml . 740.2 / 298.4  (-) . 579.3 / 296.1  (0)
ime_Complexity_Full_Rewriting/Beerendonk_07/16.xml . 690.9 / 298.8  (-) . 606.5 / 296.1  (0)
ime_Complexity_Full_Rewriting/Beerendonk_07/17.xml . 734.4 / 298.5  (-) . 567.3 / 296.1  (0)
ime_Complexity_Full_Rewriting/Beerendonk_07/18.xml . 483.3 / 298.4  (-) . 510.7 / 296.3  (0)
ime_Complexity_Full_Rewriting/Beerendonk_07/19.xml . 607.2 / 299.1  (-) . 605.9 / 296.1  (0)
time_Complexity_Full_Rewriting/Beerendonk_07/2.xml . 601.2 / 298.3  (-) . 10.7 / 7.2  (0)
ime_Complexity_Full_Rewriting/Beerendonk_07/20.xml . 588.2 / 298.5  (-) . 628.5 / 296.3  (0)
ime_Complexity_Full_Rewriting/Beerendonk_07/21.xml . 689.3 / 300.0  (-) . 626.2 / 296.1  (0)
ime_Complexity_Full_Rewriting/Beerendonk_07/22.xml . 649.3 / 300.0  (-) . 12.5 / 6.7  (0)
ime_Complexity_Full_Rewriting/Beerendonk_07/23.xml . 789.1 / 298.6  (-) . 14.0 / 7.1  (0)
ime_Complexity_Full_Rewriting/Beerendonk_07/24.xml . 667.7 / 298.7  (-) . 740.1 / 296.2  (0)
time_Complexity_Full_Rewriting/Beerendonk_07/3.xml . 677.7 / 298.8  (-) . 15.8 / 7.6  (0)
time_Complexity_Full_Rewriting/Beerendonk_07/4.xml . 563.6 / 298.9  (-) . 7.2 / 3.2  (0)
time_Complexity_Full_Rewriting/Beerendonk_07/5.xml . 678.4 / 298.6  (-) . 74.9 / 34.6  (0)
time_Complexity_Full_Rewriting/Beerendonk_07/6.xml . 741.1 / 298.5  (-) . 7.4 / 3.0  (0)
time_Complexity_Full_Rewriting/Beerendonk_07/7.xml . 621.5 / 298.4  (-) . 797.9 / 296.2  (0)
time_Complexity_Full_Rewriting/Beerendonk_07/8.xml . 578.9 / 298.6  (-) . 695.0 / 296.2  (0)
time_Complexity_Full_Rewriting/Beerendonk_07/9.xml . 678.4 / 300.1  (-) . 600.0 / 296.3  (0)
e_Complexity_Full_Rewriting/CiME_04/ack_prolog.xml . 790.7 / 298.6  (-) . 17.7 / 10.0  (0)
_Complexity_Full_Rewriting/CiME_04/append-hard.xml . 608.4 / 298.3  (-) . 8.7 / 3.3  (0)
Complexity_Full_Rewriting/CiME_04/append-wrong.xml . 605.2 / 299.9  (-) . 8.5 / 4.1  (0)
ntime_Complexity_Full_Rewriting/CiME_04/append.xml ?/n^2 2.2 / 0.9  (-) ?/n^1 1.0 / 0.4  (1)
Runtime_Complexity_Full_Rewriting/CiME_04/big.xml . 673.1 / 298.7  (-) . 826.5 / 296.1  (0)
Runtime_Complexity_Full_Rewriting/CiME_04/dpqs.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (1)
me_Complexity_Full_Rewriting/CiME_04/fact-hard.xml . 523.2 / 298.2  (-) . 85.7 / 47.2  (0)
me_Complexity_Full_Rewriting/CiME_04/filliatre.xml . 671.9 / 298.6  (-) . 321.2 / 154.6  (0)
e_Complexity_Full_Rewriting/CiME_04/filliatre2.xml . 520.4 / 298.6  (-) . 475.8 / 296.4  (0)
e_Complexity_Full_Rewriting/CiME_04/filliatre3.xml . 584.5 / 298.7  (-) . 200.4 / 83.9  (0)
me_Complexity_Full_Rewriting/CiME_04/intersect.xml ?/n^2 16.1 / 7.1  (-) . 78.0 / 65.5  (0)
l_Rewriting/CiME_04/list-sum-prod-assoc-append.xml . 612.2 / 298.8  (-) . 33.1 / 18.2  (0)
ity_Full_Rewriting/CiME_04/list-sum-prod-assoc.xml . 591.0 / 298.6  (-) . 28.9 / 15.3  (0)
ting/CiME_04/list-sum-prod-bin-assoc-distr-app.xml . 584.9 / 299.0  (-) . 589.0 / 296.3  (0)
Full_Rewriting/CiME_04/list-sum-prod-bin-assoc.xml . 588.5 / 300.0  (-) . 631.2 / 296.2  (0)
exity_Full_Rewriting/CiME_04/list-sum-prod-bin.xml . 674.8 / 298.9  (-) . 604.4 / 296.1  (0)
omplexity_Full_Rewriting/CiME_04/list-sum-prod.xml . 601.8 / 298.3  (-) . 20.5 / 11.7  (0)
Runtime_Complexity_Full_Rewriting/CiME_04/log2.xml . 603.4 / 298.2  (-) . 680.2 / 296.2  (0)
Runtime_Complexity_Full_Rewriting/CiME_04/lse.xml ?/n^2 68.9 / 29.3  (-) . 92.2 / 52.6  (0)
ntime_Complexity_Full_Rewriting/CiME_04/maude2.xml . 675.3 / 298.5  (-) . 633.9 / 296.2  (0)
ntime_Complexity_Full_Rewriting/CiME_04/mucrl1.xml . 565.6 / 300.0  (-) . 561.1 / 296.5  (0)
Complexity_Full_Rewriting/CiME_04/ternary-hard.xml . 877.7 / 298.4  (-) . 597.4 / 296.2  (0)
time_Complexity_Full_Rewriting/CiME_04/ternary.xml . 486.0 / 298.3  (-) . 763.6 / 296.2  (0)
Runtime_Complexity_Full_Rewriting/CiME_04/tree.xml . 567.9 / 299.3  (-) . 464.3 / 296.4  (0)
Runtime_Complexity_Full_Rewriting/Der95/06.xml ?/n^1 0.1 / 0.2  (-) ?/n^1 0.2 / 0.5  (1)
Runtime_Complexity_Full_Rewriting/Der95/07.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.0 / 0.0  (1)
Runtime_Complexity_Full_Rewriting/Der95/08.xml ?/n^2 1.8 / 0.7  (-) ?/n^2 3.2 / 2.4  (1)
Runtime_Complexity_Full_Rewriting/Der95/11.xml ?/n^2 58.3 / 25.5  (-) ?/n^2 9.2 / 4.9  (1)
Runtime_Complexity_Full_Rewriting/Der95/12.xml . 730.9 / 298.5  (-) . 20.2 / 12.4  (0)
Runtime_Complexity_Full_Rewriting/Der95/18.xml ?/n^2 0.9 / 0.6  (-) ?/n^1 0.3 / 0.2  (1)
Runtime_Complexity_Full_Rewriting/Der95/20.xml . 566.0 / 298.3  (-) . 55.9 / 28.9  (0)
Runtime_Complexity_Full_Rewriting/Der95/21.xml . 602.5 / 299.4  (-) . 96.1 / 60.3  (0)
Runtime_Complexity_Full_Rewriting/Der95/27.xml ?/n^1 0.0 / 0.0  (-) ?/n^1 0.1 / 0.2  (1)
Runtime_Complexity_Full_Rewriting/Der95/31.xml . 653.4 / 300.0  (-) . 13.7 / 8.9  (0)
Runtime_Complexity_Full_Rewriting/Der95/32.xml . 723.5 / 300.0  (-) . 13.6 / 8.2  (0)
Runtime_Complexity_Full_Rewriting/Der95/33.xml . 604.0 / 299.1  (-) . 603.0 / 296.1  (0)
_Complexity_Full_Rewriting/Endrullis_06/direct.xml ?/n^1 1.0 / 0.7  (-) ?/n^1 0.1 / 0.1  (1)
ntime_Complexity_Full_Rewriting/GTSSK07/cade01.xml . 572.2 / 298.9  (-) . 9.3 / 4.1  (0)
ntime_Complexity_Full_Rewriting/GTSSK07/cade03.xml . 611.9 / 298.4  (-) . 10.4 / 5.6  (0)
time_Complexity_Full_Rewriting/GTSSK07/cade04t.xml . 608.5 / 298.3  (-) . 8.4 / 4.3  (0)
time_Complexity_Full_Rewriting/GTSSK07/cade05t.xml . 757.3 / 298.5  (-) . 842.5 / 296.2  (0)
ntime_Complexity_Full_Rewriting/GTSSK07/cade06.xml . 654.5 / 300.1  (-) . 601.6 / 296.2  (0)
ntime_Complexity_Full_Rewriting/GTSSK07/cade07.xml . 699.9 / 298.4  (-) . 12.5 / 7.3  (0)
ntime_Complexity_Full_Rewriting/GTSSK07/cade08.xml . 734.9 / 300.0  (-) . 605.5 / 296.2  (0)
ntime_Complexity_Full_Rewriting/GTSSK07/cade09.xml . 689.8 / 298.5  (-) . 12.1 / 6.3  (0)
ntime_Complexity_Full_Rewriting/GTSSK07/cade10.xml . 605.7 / 298.5  (-) . 19.0 / 12.9  (0)
ntime_Complexity_Full_Rewriting/GTSSK07/cade11.xml . 511.3 / 298.6  (-) . 16.1 / 9.6  (0)
time_Complexity_Full_Rewriting/GTSSK07/cade12t.xml . 692.3 / 298.9  (-) . 668.4 / 296.1  (0)
time_Complexity_Full_Rewriting/GTSSK07/cade13t.xml . 618.1 / 298.3  (-) . 18.6 / 9.8  (0)
ntime_Complexity_Full_Rewriting/GTSSK07/cade14.xml . 690.3 / 298.4  (-) . 15.6 / 7.2  (0)
ntime_Complexity_Full_Rewriting/GTSSK07/cade15.xml . 650.8 / 298.5  (-) . 136.9 / 85.8  (0)
ntime_Complexity_Full_Rewriting/GTSSK07/cade16.xml . 603.9 / 298.6  (-) . 75.7 / 46.5  (0)
ntime_Complexity_Full_Rewriting/GTSSK07/cade17.xml . 693.3 / 298.9  (-) . 633.3 / 296.1  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/n002.xml . 24.6 / 12.6  (-) . 15.7 / 8.0  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/n003.xml . 58.3 / 28.7  (-) . 15.3 / 8.1  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/n004.xml . 36.5 / 19.4  (-) . 13.9 / 8.0  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/n005.xml . 564.5 / 298.3  (-) . 17.6 / 8.0  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/n006.xml . 75.9 / 30.1  (-) . 13.7 / 8.1  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/n007.xml . 73.4 / 30.9  (-) . 3.6 / 2.6  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/t001.xml . 709.4 / 298.8  (-) . 618.1 / 296.1  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/t002.xml . 524.1 / 298.4  (-) . 691.6 / 296.2  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/t003.xml . 683.7 / 299.1  (-) . 523.2 / 296.3  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/t004.xml . 712.5 / 300.0  (-) . 94.1 / 98.6  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/t009.xml . 346.9 / 298.2  (-) . 530.6 / 296.2  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/t011.xml ?/n^1 0.9 / 0.6  (-) ?/n^1 1.1 / 0.7  (1)
xity_Full_Rewriting/HirokawaMiddeldorp_04/t012.xml . 570.7 / 299.3  (-) . 493.4 / 296.1  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/t013.xml . 706.7 / 300.0  (-) . 38.3 / 22.9  (0)
xity_Full_Rewriting/HirokawaMiddeldorp_04/t014.xml . 618.9 / 298.7  (-) . 594.1 / 296.2  (0)
plexity_Full_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.xml . 689.8 / 298.3  (-) . 578.9 / 296.1  (0)
me_Complexity_Full_Rewriting/Mixed_TRS/fossacs.xml . 818.8 / 298.9  (-) . 78.0 / 33.6  (0)
untime_Complexity_Full_Rewriting/Mixed_TRS/gcd.xml . 868.3 / 299.3  (-) . 624.0 / 296.2  (0)
_Complexity_Full_Rewriting/Mixed_TRS/gcdMinMax.xml . 548.4 / 298.6  (-) . 606.0 / 296.1  (0)
Complexity_Full_Rewriting/Mixed_TRS/gcd_triple.xml . 620.7 / 300.0  (-) . 640.4 / 296.2  (0)
exity_Full_Rewriting/Mixed_TRS/hydra-Zantema06.xml . 487.2 / 300.0  (-) . 584.2 / 296.2  (0)
time_Complexity_Full_Rewriting/Mixed_TRS/hydra.xml ?/n^2 34.7 / 18.7  (-) ?/n^2 2.3 / 1.9  (1)
ime_Complexity_Full_Rewriting/Mixed_TRS/jones1.xml ?/n^1 0.1 / 0.0  (-) ?/n^1 0.1 / 0.1  (1)
ime_Complexity_Full_Rewriting/Mixed_TRS/jones2.xml ?/n^2 2.1 / 1.3  (-) ?/n^2 1.0 / 0.4  (1)
ime_Complexity_Full_Rewriting/Mixed_TRS/jones4.xml ?/n^1 0.3 / 0.5  (-) ?/n^1 0.1 / 0.1  (1)
ime_Complexity_Full_Rewriting/Mixed_TRS/jones5.xml . 667.3 / 298.5  (-) . 4.4 / 2.0  (0)
ime_Complexity_Full_Rewriting/Mixed_TRS/jones6.xml ?/n^1 0.1 / 0.0  (-) ?/n^1 0.2 / 0.1  (1)
me_Complexity_Full_Rewriting/Mixed_TRS/minsort.xml . 679.4 / 298.7  (-) . 665.2 / 296.2  (0)
me_Complexity_Full_Rewriting/Mixed_TRS/perfect.xml . 589.2 / 298.8  (-) . 15.4 / 6.6  (0)
e_Complexity_Full_Rewriting/Mixed_TRS/perfect2.xml . 652.1 / 299.3  (-) . 686.7 / 296.1  (0)
time_Complexity_Full_Rewriting/Mixed_TRS/test1.xml . 596.4 / 298.6  (-) . 4.6 / 2.1  (0)
time_Complexity_Full_Rewriting/Mixed_TRS/while.xml . 646.5 / 298.4  (-) . 7.5 / 3.2  (0)
me_Complexity_Full_Rewriting/Rubio_04/bintrees.xml ?/n^1 1.8 / 1.1  (-) ?/n^1 2.2 / 1.1  (1)
ntime_Complexity_Full_Rewriting/Rubio_04/bn122.xml ?/n^2 5.3 / 2.6  (-) ?/n^2 0.9 / 0.7  (1)
me_Complexity_Full_Rewriting/Rubio_04/division.xml . 641.6 / 299.3  (-) . 15.7 / 7.4  (0)
me_Complexity_Full_Rewriting/Rubio_04/elimdupl.xml . 714.2 / 298.4  (-) . 15.7 / 9.6  (0)
untime_Complexity_Full_Rewriting/Rubio_04/enno.xml . 651.1 / 298.4  (-) . 25.6 / 13.8  (0)
Runtime_Complexity_Full_Rewriting/Rubio_04/gcd.xml . 705.0 / 299.8  (-) . 18.3 / 9.3  (0)
Runtime_Complexity_Full_Rewriting/Rubio_04/gm.xml . 658.4 / 298.3  (-) . 11.8 / 5.5  (0)
untime_Complexity_Full_Rewriting/Rubio_04/gmnp.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.2 / 0.1  (1)
untime_Complexity_Full_Rewriting/Rubio_04/koen.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (1)
e_Complexity_Full_Rewriting/Rubio_04/logarquot.xml . 710.8 / 298.9  (-) . 33.2 / 18.7  (0)
untime_Complexity_Full_Rewriting/Rubio_04/ma96.xml . 697.2 / 298.5  (-) . 647.4 / 296.5  (0)
ntime_Complexity_Full_Rewriting/Rubio_04/mfp95.xml ?/n^1 0.4 / 0.2  (-) ?/n^1 0.1 / 0.1  (1)
ime_Complexity_Full_Rewriting/Rubio_04/nestrec.xml . 699.5 / 298.2  (-) . 89.7 / 65.9  (0)
untime_Complexity_Full_Rewriting/Rubio_04/p266.xml ?/n^1 0.0 / 0.0  (-) ?/n^1 0.1 / 0.1  (1)
ntime_Complexity_Full_Rewriting/Rubio_04/polo2.xml ?/n^2 51.9 / 26.7  (-) ?/n^2 6.6 / 3.5  (1)
untime_Complexity_Full_Rewriting/Rubio_04/prov.xml . 723.0 / 298.7  (-) . 10.5 / 5.7  (0)
ntime_Complexity_Full_Rewriting/Rubio_04/quick.xml . 765.5 / 300.0  (-) . 574.6 / 296.3  (0)
e_Complexity_Full_Rewriting/Rubio_04/quotminus.xml . 747.0 / 298.8  (-) . 15.0 / 8.6  (0)
ime_Complexity_Full_Rewriting/Rubio_04/revlist.xml . 715.4 / 298.5  (-) . 597.7 / 296.1  (0)
ime_Complexity_Full_Rewriting/Rubio_04/selsort.xml . 639.6 / 298.6  (-) . 592.5 / 296.2  (0)
ntime_Complexity_Full_Rewriting/Rubio_04/test4.xml ?/n^1 0.1 / 0.0  (-) ?/n^1 0.2 / 0.2  (1)
ime_Complexity_Full_Rewriting/Rubio_04/test829.xml ?/n^1 0.1 / 0.0  (-) ?/n^1 0.1 / 0.1  (1)
ntime_Complexity_Full_Rewriting/Rubio_04/wst99.xml . 636.3 / 300.0  (-) . 36.4 / 19.9  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.02.xml ?/n^1 0.4 / 0.3  (-) ?/n^1 0.0 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.03.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.0 / 0.0  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.07.xml ?/n^2 5.3 / 2.2  (-) ?/n^2 3.3 / 1.7  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.09.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.11.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.2 / 0.2  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.12.xml . 742.3 / 298.3  (-) . 34.4 / 15.0  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.13.xml ?/n^1 2.4 / 1.2  (-) ?/n^1 0.2 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.14.xml ?/n^1 0.3 / 0.2  (-) ?/n^1 0.1 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.15.xml . 574.1 / 298.4  (-) . 5.3 / 2.9  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.16.xml ?/n^2 8.6 / 4.3  (-) ?/n^2 5.2 / 2.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.17.xml ?/n^2 1.2 / 0.9  (-) ?/n^2 0.7 / 0.3  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.18.xml ?/n^2 0.8 / 0.4  (-) ?/n^2 0.9 / 0.8  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.19.xml . 544.7 / 298.5  (-) ?/n^2 3.0 / 1.2  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.20.xml ?/n^2 3.8 / 2.5  (-) ?/n^2 1.0 / 0.6  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.21.xml . 425.0 / 298.4  (-) . 4.7 / 2.7  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.22.xml . 703.2 / 298.2  (-) . 9.4 / 4.4  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.23.xml . 672.1 / 298.3  (-) . 18.1 / 10.3  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.24.xml . 281.1 / 135.6  (-) . 4.4 / 3.7  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.25.xml . 665.1 / 298.4  (-) . 10.7 / 4.5  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.26.xml . 617.9 / 298.4  (-) . 90.5 / 54.3  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.27.xml . 591.3 / 298.3  (-) . 12.4 / 6.9  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.28.xml . 636.4 / 298.7  (-) . 6.0 / 3.5  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.29.xml . 639.1 / 298.5  (-) ?/n^2 2.8 / 1.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.30.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 0.2 / 0.2  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.31.xml ?/n^1 0.6 / 0.4  (-) ?/n^1 0.1 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.36.xml ?/n^1 1.3 / 0.9  (-) ?/n^1 0.2 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.37.xml ?/n^1 0.6 / 0.3  (-) ?/n^1 0.3 / 0.2  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.38.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.39.xml . 597.1 / 298.7  (-) . 25.2 / 8.4  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.40.xml ?/n^2 5.5 / 2.6  (-) ?/n^2 4.5 / 2.0  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.41.xml ?/n^1 2.9 / 2.4  (-) ?/n^1 0.4 / 0.2  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.42.xml ?/n^1 1.4 / 1.0  (-) ?/n^1 0.2 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.43.xml . 847.3 / 299.6  (-) . 244.3 / 140.8  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.44.xml ?/n^2 15.1 / 8.0  (-) ?/n^2 6.1 / 2.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.45.xml ?/n^2 164.3 / 83.2  (-) . 621.1 / 296.1  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.47.xml ?/n^1 0.0 / 0.0  (-) ?/n^1 0.1 / 0.2  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.48.xml ?/n^1 0.2 / 0.7  (-) ?/n^1 0.2 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.49.xml ?/n^1 0.1 / 0.0  (-) ?/n^1 0.2 / 0.2  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.50.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.2 / 0.2  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.51.xml . 674.6 / 298.5  (-) . 12.7 / 7.5  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.52.xml . 706.0 / 299.3  (-) . 84.3 / 75.1  (0)
Runtime_Complexity_Full_Rewriting/SK90/2.53.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.0 / 0.0  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.54.xml ?/n^1 0.0 / 0.0  (-) ?/n^1 0.0 / 0.0  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.55.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.1 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.59.xml ?/n^2 0.4 / 0.2  (-) ?/n^1 0.3 / 0.2  (1)
Runtime_Complexity_Full_Rewriting/SK90/2.61.xml ?/n^1 11.9 / 5.5  (-) ?/n^1 0.3 / 0.2  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.05.xml ?/n^2 2.3 / 1.1  (-) ?/n^2 0.9 / 0.6  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.06.xml . 677.3 / 298.4  (-) . 15.1 / 8.8  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.07.xml ?/n^1 0.3 / 0.2  (-) ?/n^1 0.1 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.09.xml ?/n^2 19.9 / 9.5  (-) ?/n^1 0.6 / 0.4  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.10.xml ?/n^2 7.5 / 3.7  (-) ?/n^2 4.1 / 1.9  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.12.xml ?/n^1 0.7 / 0.3  (-) ?/n^1 0.4 / 0.2  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.13.xml . 564.7 / 298.6  (-) . 13.7 / 8.6  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.16.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.1 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.17.xml . 676.2 / 298.6  (-) . 9.6 / 4.9  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.18.xml ?/n^2 115.1 / 45.2  (-) ?/n^2 2.4 / 1.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.22.xml . 729.8 / 298.7  (-) . 8.5 / 4.2  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.24.xml . 722.6 / 298.6  (-) . 629.3 / 296.2  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.25.xml ?/n^1 0.3 / 0.2  (-) ?/n^1 0.3 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.26.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.2 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.27.xml . 940.8 / 298.6  (-) . 714.7 / 296.1  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.28.xml ?/n^2 6.6 / 3.8  (-) ?/n^2 3.3 / 2.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.29.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.4 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.30.xml ?/n^1 0.5 / 0.3  (-) ?/n^1 0.4 / 0.2  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.31.xml . 566.6 / 298.3  (-) . 9.8 / 5.2  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.34.xml . 505.9 / 299.4  (-) . 26.7 / 12.2  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.35.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.0 / 0.0  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.38.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.2 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.42.xml . 694.6 / 298.7  (-) . 14.3 / 7.3  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.43.xml . 662.8 / 299.4  (-) . 68.0 / 25.4  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.45.xml ?/n^1 1.0 / 0.9  (-) ?/n^1 0.1 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.47.xml ?/n^1 1.8 / 1.3  (-) ?/n^1 1.9 / 0.9  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.48.xml ?/n^1 0.9 / 0.4  (-) ?/n^1 0.1 / 0.1  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.51.xml ?/n^2 2.0 / 1.6  (-) ?/n^2 1.9 / 1.0  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.53.xml . 754.9 / 298.6  (-) ?/n^2 6.8 / 4.0  (1)
Runtime_Complexity_Full_Rewriting/SK90/4.54.xml . 605.1 / 298.7  (-) . 11.9 / 4.9  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.57.xml . 651.0 / 299.2  (-) . 662.1 / 296.2  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.59.xml . 698.1 / 298.5  (-) . 20.2 / 8.7  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.60.xml . 817.4 / 298.8  (-) . 712.2 / 296.2  (0)
Runtime_Complexity_Full_Rewriting/SK90/4.61.xml . 565.1 / 299.3  (-) . 604.5 / 296.3  (0)
omplexity_Full_Rewriting/Secret_05_TRS/aprove2.xml . 767.9 / 298.3  (-) . 21.1 / 17.2  (0)
omplexity_Full_Rewriting/Secret_05_TRS/aprove3.xml . 823.7 / 300.0  (-) . 31.7 / 18.0  (0)
omplexity_Full_Rewriting/Secret_05_TRS/aprove4.xml . 601.5 / 298.3  (-) . 11.2 / 4.8  (0)
omplexity_Full_Rewriting/Secret_05_TRS/aprove5.xml . 699.5 / 300.0  (-) . 41.1 / 22.9  (0)
_Complexity_Full_Rewriting/Secret_05_TRS/cime2.xml . 754.4 / 298.6  (-) . 72.8 / 41.7  (0)
_Complexity_Full_Rewriting/Secret_05_TRS/cime3.xml . 608.4 / 298.2  (-) . 20.4 / 11.3  (0)
_Complexity_Full_Rewriting/Secret_05_TRS/cime4.xml . 590.8 / 298.5  (-) . 8.8 / 4.9  (0)
_Complexity_Full_Rewriting/Secret_05_TRS/cime5.xml . 563.4 / 298.3  (-) . 583.1 / 296.7  (0)
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa1.xml . 617.0 / 299.8  (-) . 601.9 / 296.2  (0)
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa2.xml . 500.5 / 298.2  (-) . 680.9 / 296.2  (0)
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa3.xml . 554.3 / 299.1  (-) . 232.0 / 128.4  (0)
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa4.xml . 492.2 / 298.4  (-) . 596.1 / 296.1  (0)
e_Complexity_Full_Rewriting/Secret_05_TRS/tpa5.xml . 619.2 / 298.6  (-) . 618.5 / 296.2  (0)
e_Complexity_Full_Rewriting/Secret_05_TRS/ttt1.xml . 611.7 / 299.1  (-) . 16.6 / 10.7  (0)
e_Complexity_Full_Rewriting/Secret_05_TRS/ttt2.xml . 631.9 / 298.8  (-) . 36.6 / 17.3  (0)
ime_Complexity_Full_Rewriting/Secret_06_TRS/10.xml ?/n^1 0.0 / 0.0  (-) ?/n^1 0.7 / 0.5  (1)
time_Complexity_Full_Rewriting/Secret_06_TRS/4.xml ?/n^1 0.3 / 0.2  (-) ?/n^1 0.1 / 0.1  (1)
time_Complexity_Full_Rewriting/Secret_06_TRS/6.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.0 / 0.0  (1)
omplexity_Full_Rewriting/Secret_06_TRS/addList.xml . 688.9 / 298.8  (-) . 613.2 / 296.2  (0)
Complexity_Full_Rewriting/Secret_06_TRS/divExp.xml . 651.1 / 298.6  (-) . 686.2 / 296.4  (0)
mplexity_Full_Rewriting/Secret_06_TRS/division.xml . 805.2 / 298.9  (-) . 27.4 / 15.1  (0)
Complexity_Full_Rewriting/Secret_06_TRS/double.xml . 719.4 / 298.7  (-) . 23.1 / 11.6  (0)
_Complexity_Full_Rewriting/Secret_06_TRS/gen-1.xml ?/n^2 26.0 / 11.5  (-) ?/n^2 4.1 / 1.5  (1)
Complexity_Full_Rewriting/Secret_06_TRS/gen-17.xml . 513.3 / 298.2  (-) ?/n^1 0.7 / 0.5  (1)
Complexity_Full_Rewriting/Secret_06_TRS/gen-28.xml . 588.7 / 299.0  (-) . 20.2 / 9.9  (0)
plexity_Full_Rewriting/Secret_06_TRS/logarithm.xml . 748.0 / 298.9  (-) . 18.4 / 10.2  (0)
plexity_Full_Rewriting/Secret_06_TRS/nrOfNodes.xml . 718.6 / 298.9  (-) . 116.7 / 54.8  (0)
omplexity_Full_Rewriting/Secret_06_TRS/reverse.xml . 775.5 / 298.6  (-) . 71.2 / 41.7  (0)
omplexity_Full_Rewriting/Secret_06_TRS/sumList.xml . 689.4 / 298.5  (-) . 67.3 / 31.4  (0)
_Complexity_Full_Rewriting/Secret_06_TRS/times.xml . 755.7 / 298.6  (-) . 25.9 / 13.4  (0)
Complexity_Full_Rewriting/Secret_06_TRS/toList.xml . 868.1 / 300.0  (-) . 188.1 / 96.2  (0)
_Complexity_Full_Rewriting/Secret_06_TRS/tpa04.xml . 578.7 / 298.4  (-) . 599.5 / 296.2  (0)
_Complexity_Full_Rewriting/Secret_06_TRS/tpa05.xml . 596.5 / 300.0  (-) . 650.9 / 296.2  (0)
_Complexity_Full_Rewriting/Secret_06_TRS/tpa06.xml . 468.9 / 298.3  (-) . 605.1 / 296.1  (0)
_Complexity_Full_Rewriting/Secret_06_TRS/tpa07.xml . 647.3 / 298.5  (-) . 627.2 / 296.1  (0)
_Complexity_Full_Rewriting/Secret_06_TRS/tpa08.xml . 624.4 / 298.7  (-) . 578.8 / 296.2  (0)
_Complexity_Full_Rewriting/Secret_06_TRS/tpa09.xml . 671.8 / 298.7  (-) . 623.8 / 296.1  (0)
_Complexity_Full_Rewriting/Secret_06_TRS/tpa10.xml . 528.9 / 298.4  (-) . 678.7 / 296.3  (0)
time_Complexity_Full_Rewriting/Secret_07_TRS/3.xml . 567.9 / 298.5  (-) . 597.0 / 296.2  (0)
mplexity_Full_Rewriting/Secret_07_TRS/aprove01.xml . 627.1 / 298.5  (-) . 53.8 / 30.3  (0)
mplexity_Full_Rewriting/Secret_07_TRS/aprove02.xml . 666.4 / 298.4  (-) . 42.7 / 26.6  (0)
mplexity_Full_Rewriting/Secret_07_TRS/aprove03.xml . 585.1 / 298.6  (-) . 662.2 / 296.1  (0)
mplexity_Full_Rewriting/Secret_07_TRS/aprove04.xml . 702.9 / 299.4  (-) . 689.8 / 296.2  (0)
mplexity_Full_Rewriting/Secret_07_TRS/aprove05.xml . 726.6 / 298.5  (-) . 63.9 / 37.2  (0)
mplexity_Full_Rewriting/Secret_07_TRS/aprove06.xml . 652.3 / 298.5  (-) . 53.1 / 27.6  (0)
mplexity_Full_Rewriting/Secret_07_TRS/aprove07.xml . 632.4 / 298.6  (-) . 61.5 / 33.7  (0)
mplexity_Full_Rewriting/Secret_07_TRS/aprove08.xml . 896.1 / 298.6  (-) . 36.1 / 21.0  (0)
mplexity_Full_Rewriting/Secret_07_TRS/aprove09.xml . 845.7 / 299.0  (-) . 38.9 / 20.6  (0)
mplexity_Full_Rewriting/Secret_07_TRS/aprove10.xml . 694.3 / 299.1  (-) . 616.1 / 296.2  (0)
omplexity_Full_Rewriting/Secret_07_TRS/secret1.xml . 679.0 / 298.7  (-) . 130.0 / 80.2  (0)
omplexity_Full_Rewriting/Secret_07_TRS/secret3.xml . 644.2 / 298.6  (-) . 47.3 / 23.6  (0)
omplexity_Full_Rewriting/Secret_07_TRS/secret4.xml . 657.4 / 298.9  (-) . 634.5 / 296.3  (0)
omplexity_Full_Rewriting/Secret_07_TRS/secret5.xml . 598.7 / 298.6  (-) . 676.5 / 296.2  (0)
ity_Full_Rewriting/Strategy_removed_AG01/#4.14.xml . 676.8 / 298.4  (-) ?/n^1 0.3 / 0.2  (1)
ity_Full_Rewriting/Strategy_removed_AG01/#4.16.xml . 652.4 / 298.8  (-) ?/n^1 0.2 / 0.1  (1)
ity_Full_Rewriting/Strategy_removed_AG01/#4.17.xml ?/n^1 0.4 / 0.7  (-) ?/n^1 0.1 / 0.1  (1)
ity_Full_Rewriting/Strategy_removed_AG01/#4.19.xml . 644.3 / 300.0  (-) . 17.1 / 17.8  (0)
xity_Full_Rewriting/Strategy_removed_AG01/#4.2.xml . 685.3 / 298.3  (-) ?/n^1 0.3 / 0.2  (1)
ty_Full_Rewriting/Strategy_removed_AG01/#4.20a.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.0 / 0.0  (1)
ity_Full_Rewriting/Strategy_removed_AG01/#4.22.xml . 664.1 / 298.6  (-) . 6.0 / 2.8  (0)
ity_Full_Rewriting/Strategy_removed_AG01/#4.23.xml . 638.5 / 298.4  (-) . 6.9 / 2.8  (0)
ity_Full_Rewriting/Strategy_removed_AG01/#4.25.xml . 691.0 / 298.5  (-) . 2.9 / 1.2  (0)
ity_Full_Rewriting/Strategy_removed_AG01/#4.26.xml . 603.7 / 298.6  (-) . 10.0 / 5.0  (0)
ity_Full_Rewriting/Strategy_removed_AG01/#4.27.xml . 668.0 / 298.5  (-) . 597.6 / 296.1  (0)
ity_Full_Rewriting/Strategy_removed_AG01/#4.28.xml ?/n^2 59.6 / 24.0  (-) ?/n^2 8.8 / 3.7  (1)
ity_Full_Rewriting/Strategy_removed_AG01/#4.29.xml . 650.7 / 298.8  (-) . 738.5 / 296.2  (0)
ity_Full_Rewriting/Strategy_removed_AG01/#4.30.xml . 767.6 / 298.9  (-) . 16.5 / 8.6  (0)
ty_Full_Rewriting/Strategy_removed_AG01/#4.30a.xml . 767.8 / 298.7  (-) . 17.0 / 6.8  (0)
ty_Full_Rewriting/Strategy_removed_AG01/#4.30b.xml . 647.8 / 298.4  (-) . 15.9 / 8.9  (0)
ty_Full_Rewriting/Strategy_removed_AG01/#4.30c.xml . 633.2 / 298.2  (-) . 14.3 / 8.8  (0)
ity_Full_Rewriting/Strategy_removed_AG01/#4.32.xml . 592.6 / 298.2  (-) . 13.7 / 7.5  (0)
ity_Full_Rewriting/Strategy_removed_AG01/#4.33.xml . 726.1 / 298.8  (-) . 91.3 / 49.3  (0)
ity_Full_Rewriting/Strategy_removed_AG01/#4.34.xml . 727.6 / 298.8  (-) . 19.0 / 10.3  (0)
ity_Full_Rewriting/Strategy_removed_AG01/#4.35.xml . 598.1 / 298.6  (-) . 723.7 / 296.1  (0)
ity_Full_Rewriting/Strategy_removed_AG01/#4.36.xml . 671.7 / 299.4  (-) . 578.8 / 296.2  (0)
ity_Full_Rewriting/Strategy_removed_AG01/#4.37.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (1)
ty_Full_Rewriting/Strategy_removed_AG01/#4.37a.xml ?/n^1 0.3 / 0.2  (-) ?/n^1 0.1 / 0.1  (1)
xity_Full_Rewriting/Strategy_removed_AG01/#4.7.xml . 792.6 / 298.5  (-) . 3.7 / 2.3  (0)
_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.xml . 153.4 / 67.8  (-) . 4.4 / 2.4  (0)
l_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.xml . 428.3 / 218.5  (-) . 9.1 / 3.8  (0)
_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.xml . 659.0 / 298.7  (-) . 17.3 / 7.5  (0)
Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml . 94.2 / 36.0  (-) . 4.5 / 2.3  (0)
ll_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.xml . 341.9 / 158.4  (-) . 9.6 / 4.0  (0)
ull_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.xml . 578.2 / 298.7  (-) . 118.8 / 72.8  (0)
l_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.xml . 365.9 / 166.1  (-) . 6.4 / 2.9  (0)
ll_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.xml . 66.6 / 37.2  (-) . 55.5 / 30.4  (0)
_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.xml . 592.8 / 298.3  (-) . 10.9 / 4.2  (0)
l_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.xml . 433.8 / 190.3  (-) . 8.6 / 4.9  (0)
ewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml . 307.9 / 134.6  (-) . 5.5 / 3.3  (0)
_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.xml . 689.0 / 298.5  (-) . 8.7 / 5.5  (0)
writing/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml . 794.5 / 298.8  (-) . 12.8 / 7.4  (0)
ll_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.xml . 704.3 / 298.7  (-) . 640.7 / 296.2  (0)
Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml . 794.0 / 299.3  (-) . 14.1 / 10.8  (0)
writing/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml . 779.8 / 298.9  (-) . 30.2 / 18.4  (0)
writing/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml . 707.1 / 299.3  (-) . 14.6 / 6.6  (0)
writing/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml . 199.3 / 118.9  (-) . 4.0 / 2.6  (0)
writing/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml . 16.1 / 7.1  (-) . 17.1 / 8.0  (0)
ll_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.xml . 732.9 / 298.3  (-) . 7.0 / 2.8  (0)
_Rewriting/Strategy_removed_CSR_05/Ex5_7_Luc97.xml . 714.3 / 298.2  (-) . 27.0 / 15.9  (0)
ll_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.xml . 688.6 / 298.7  (-) . 15.7 / 8.0  (0)
Rewriting/Strategy_removed_CSR_05/Ex6_15_AEL02.xml . 771.6 / 298.8  (-) . 19.4 / 11.1  (0)
Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml . 585.0 / 272.0  (-) . 7.7 / 4.8  (0)
ull_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.xml . 224.0 / 99.3  (-) . 15.4 / 8.2  (0)
ll_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.xml . 259.1 / 123.9  (-) . 4.8 / 2.6  (0)
ll_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.xml . 388.1 / 196.0  (-) . 8.4 / 4.3  (0)
ll_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.xml . 621.6 / 298.7  (-) . 22.0 / 14.3  (0)
ll_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.xml . 773.1 / 298.4  (-) . 17.1 / 8.1  (0)
ting/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml . 728.8 / 298.5  (-) . 22.7 / 11.3  (0)
Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.xml . 13.7 / 5.1  (-) . 16.3 / 8.0  (0)
ewriting/Strategy_removed_CSR_05/ExIntrod_GM01.xml . 653.1 / 298.6  (-) . 33.6 / 15.1  (0)
ewriting/Strategy_removed_CSR_05/ExIntrod_GM04.xml . 554.3 / 298.6  (-) . 21.5 / 8.1  (0)
ewriting/Strategy_removed_CSR_05/ExIntrod_GM99.xml . 847.0 / 298.7  (-) . 189.2 / 121.6  (0)
writing/Strategy_removed_CSR_05/ExIntrod_Zan97.xml . 646.6 / 298.3  (-) . 651.4 / 296.2  (0)
ing/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml . 426.5 / 298.8  (-) . 12.7 / 5.4  (0)
y_Full_Rewriting/Strategy_removed_mixed_05/ex1.xml . 619.2 / 298.3  (-) . 14.9 / 8.0  (0)
y_Full_Rewriting/Strategy_removed_mixed_05/ex2.xml . 625.3 / 298.7  (-) . 6.3 / 3.2  (0)
y_Full_Rewriting/Strategy_removed_mixed_05/ex3.xml . 612.7 / 298.8  (-) . 15.6 / 8.1  (0)
y_Full_Rewriting/Strategy_removed_mixed_05/ex4.xml . 716.8 / 298.3  (-) . 22.7 / 11.4  (0)
y_Full_Rewriting/Strategy_removed_mixed_05/ex5.xml . 667.8 / 298.3  (-) . 14.6 / 8.1  (0)
y_Full_Rewriting/Strategy_removed_mixed_05/ex6.xml . 666.5 / 300.0  (-) . 18.5 / 10.1  (0)
ull_Rewriting/Strategy_removed_mixed_05/muladd.xml . 621.3 / 298.2  (-) . 5.0 / 2.3  (0)
ull_Rewriting/Strategy_removed_mixed_05/test10.xml . 585.3 / 298.6  (-) . 25.2 / 11.5  (0)
ull_Rewriting/Strategy_removed_mixed_05/test76.xml . 635.2 / 298.5  (-) . 4.7 / 3.0  (0)
ull_Rewriting/Strategy_removed_mixed_05/test77.xml . 640.3 / 298.8  (-) . 8.1 / 4.4  (0)
ll_Rewriting/Strategy_removed_mixed_05/test830.xml ?/n^1 0.7 / 0.8  (-) ?/n^1 0.1 / 0.1  (1)
ll_Rewriting/Strategy_removed_mixed_05/tricky1.xml . 683.9 / 299.7  (-) ?/n^0 0.2 / 0.1  (1)
omplexity_Full_Rewriting/TCT_12/polycounter-10.xml . 631.8 / 298.4  (-) . 121.1 / 80.9  (0)
Complexity_Full_Rewriting/TCT_12/polycounter-5.xml . 620.6 / 298.8  (-) ?/n^5 21.8 / 11.8  (1)
_Complexity_Full_Rewriting/TCT_12/recursion-10.xml . 656.1 / 298.3  (-) . 58.5 / 47.0  (0)
e_Complexity_Full_Rewriting/TCT_12/recursion-5.xml . 591.0 / 299.4  (-) . 26.9 / 16.6  (0)
Runtime_Complexity_Full_Rewriting/TCT_12/sat.xml . 649.0 / 298.8  (-) . 265.0 / 167.5  (0)
ull_Rewriting/Transformed_CSR_04/Ex14_AEGL02_C.xml . 858.3 / 298.8  (-) . 574.6 / 296.3  (0)
ll_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.xml . 649.6 / 298.4  (-) . 23.2 / 16.5  (0)
ll_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.xml . 498.5 / 300.0  (-) . 10.8 / 6.2  (0)
ull_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.xml . 12.9 / 5.1  (-) . 16.2 / 8.0  (0)
ull_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.xml . 827.0 / 298.5  (-) . 9.7 / 6.7  (0)
Full_Rewriting/Transformed_CSR_04/Ex14_Luc06_C.xml . 801.9 / 298.5  (-) . 246.5 / 194.9  (0)
ull_Rewriting/Transformed_CSR_04/Ex14_Luc06_GM.xml . 603.5 / 298.4  (-) . 12.6 / 7.3  (0)
Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_C.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.1 / 0.1  (1)
ull_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.xml ?/n^1 0.1 / 0.0  (-) ?/n^1 0.1 / 0.1  (1)
ull_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.2 / 0.2  (1)
Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.xml . 9.6 / 5.2  (-) . 13.2 / 8.0  (0)
Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.3 / 0.6  (1)
Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_C.xml . 777.9 / 300.0  (-) . 562.0 / 296.3  (0)
ull_Rewriting/Transformed_CSR_04/Ex15_Luc98_FR.xml . 689.5 / 298.2  (-) . 27.2 / 14.9  (0)
ull_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.xml ?/n^1 10.8 / 6.9  (-) ?/n^1 0.9 / 0.5  (1)
Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0)
Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_Z.xml . 694.9 / 298.7  (-) . 22.8 / 10.5  (0)
Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_C.xml . 772.7 / 298.4  (-) . 648.8 / 296.3  (0)
ull_Rewriting/Transformed_CSR_04/Ex16_Luc06_GM.xml . 777.1 / 298.3  (-) . 7.6 / 4.6  (0)
Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.xml . 37.6 / 20.1  (-) . 12.8 / 8.0  (0)
Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_C.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.2 / 0.2  (1)
ull_Rewriting/Transformed_CSR_04/Ex18_Luc06_FR.xml ?/n^1 0.1 / 0.0  (-) ?/n^1 0.1 / 0.1  (1)
ull_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 0.1 / 0.1  (1)
Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_Z.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.1 / 0.1  (1)
ull_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_C.xml . 716.7 / 299.3  (-) . 575.6 / 296.1  (0)
ll_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_FR.xml . 775.0 / 298.4  (-) . 64.2 / 33.2  (0)
ll_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.xml . 616.3 / 298.4  (-) . 697.0 / 296.0  (0)
ull_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_L.xml . 0.2 / 0.1  (-) . 0.1 / 0.1  (0)
ull_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_Z.xml . 836.6 / 298.6  (-) . 53.3 / 23.9  (0)
ll_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_C.xml . 541.1 / 298.4  (-) . 648.7 / 296.3  (0)
l_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml . 806.6 / 299.2  (-) . 17.8 / 8.9  (0)
l_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml . 595.3 / 298.3  (-) . 8.1 / 3.7  (0)
ll_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
ll_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml ?/n^1 5.0 / 3.5  (-) ?/n^1 0.3 / 0.2  (1)
_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_C.xml . 646.3 / 298.7  (-) . 547.2 / 296.4  (0)
Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_FR.xml . 684.4 / 298.7  (-) . 22.2 / 13.8  (0)
Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.xml . 588.0 / 300.0  (-) . 16.9 / 8.7  (0)
_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.xml . 28.5 / 15.2  (-) . 14.3 / 8.1  (0)
_Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_Z.xml . 626.5 / 298.5  (-) . 18.1 / 8.5  (0)
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_C.xml . 569.8 / 298.3  (-) . 673.4 / 296.2  (0)
_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_FR.xml . 610.6 / 298.2  (-) . 27.6 / 15.3  (0)
_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.xml . 717.4 / 298.6  (-) . 701.1 / 296.1  (0)
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM03_Z.xml . 687.3 / 298.7  (-) . 115.5 / 64.9  (0)
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM99_C.xml . 653.6 / 300.0  (-) . 28.8 / 15.5  (0)
_Full_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.xml . 752.8 / 298.8  (-) . 6.6 / 3.8  (0)
y_Full_Rewriting/Transformed_CSR_04/Ex1_GM99_L.xml . 18.7 / 6.6  (-) . 13.7 / 8.0  (0)
Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_C.xml . 623.8 / 298.6  (-) . 589.9 / 296.2  (0)
ull_Rewriting/Transformed_CSR_04/Ex1_Luc02b_FR.xml . 605.8 / 298.3  (-) . 12.1 / 5.1  (0)
ull_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.xml . 611.9 / 298.4  (-) . 18.7 / 11.7  (0)
Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.xml . 798.5 / 298.4  (-) . 10.7 / 5.4  (0)
Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_C.xml ?/n^1 1.4 / 0.9  (-) ?/n^1 2.3 / 1.2  (1)
ull_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.xml . 640.5 / 298.3  (-) . 41.8 / 23.2  (0)
ull_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.xml . 621.9 / 298.2  (-) . 657.9 / 288.9  (0)
Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0)
Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.xml . 368.2 / 184.5  (-) . 20.0 / 12.4  (0)
_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_C.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 0.2 / 0.2  (1)
Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.xml . 895.9 / 298.2  (-) . 557.4 / 296.3  (0)
Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (1)
_Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.xml . 13.1 / 5.2  (-) . 13.5 / 8.2  (0)
Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_C.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.3 / 0.3  (1)
ull_Rewriting/Transformed_CSR_04/Ex23_Luc06_FR.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.5 / 0.3  (1)
ull_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.xml ?/n^1 0.4 / 0.3  (-) ?/n^1 0.1 / 0.1  (1)
Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_Z.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (1)
_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_C.xml . 799.3 / 298.3  (-) . 71.9 / 36.1  (0)
Full_Rewriting/Transformed_CSR_04/Ex24_GM04_FR.xml . 556.1 / 298.6  (-) . 5.3 / 2.4  (0)
Full_Rewriting/Transformed_CSR_04/Ex24_GM04_GM.xml . 838.2 / 298.4  (-) . 8.8 / 4.2  (0)
_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_L.xml . 12.1 / 6.7  (-) . 12.4 / 8.0  (0)
_Full_Rewriting/Transformed_CSR_04/Ex24_GM04_Z.xml . 753.7 / 299.0  (-) . 5.3 / 2.4  (0)
Full_Rewriting/Transformed_CSR_04/Ex24_Luc06_C.xml . 682.1 / 298.5  (-) . 472.2 / 296.0  (0)
ull_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.xml . 624.4 / 298.5  (-) . 7.7 / 4.2  (0)
Full_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.xml . 20.3 / 7.6  (-) . 13.8 / 8.1  (0)
Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_C.xml ?/n^1 0.5 / 0.5  (-) ?/n^1 0.6 / 0.4  (1)
ull_Rewriting/Transformed_CSR_04/Ex25_Luc06_FR.xml ?/n^1 0.3 / 0.2  (-) ?/n^1 0.8 / 0.4  (1)
ull_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 1.0 / 0.5  (1)
Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_Z.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.3 / 0.2  (1)
ull_Rewriting/Transformed_CSR_04/Ex26_Luc03b_C.xml . 470.2 / 299.0  (-) . 678.3 / 296.3  (0)
ll_Rewriting/Transformed_CSR_04/Ex26_Luc03b_FR.xml . 604.4 / 298.5  (-) . 42.3 / 23.4  (0)
ll_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.xml . 608.8 / 298.3  (-) . 32.2 / 19.9  (0)
ull_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 0.2 / 0.1  (1)
ull_Rewriting/Transformed_CSR_04/Ex26_Luc03b_Z.xml . 869.3 / 298.7  (-) . 71.3 / 43.4  (0)
Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_C.xml . 754.0 / 298.5  (-) . 549.4 / 296.2  (0)
ull_Rewriting/Transformed_CSR_04/Ex2_Luc02a_FR.xml . 724.8 / 298.7  (-) . 62.1 / 31.5  (0)
ull_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.xml . 821.3 / 298.6  (-) . 77.7 / 49.9  (0)
Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.xml . 667.4 / 298.3  (-) . 32.1 / 17.9  (0)
Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.xml . 621.9 / 298.4  (-) . 41.0 / 22.5  (0)
Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_C.xml . 621.9 / 300.0  (-) . 674.9 / 296.2  (0)
ull_Rewriting/Transformed_CSR_04/Ex2_Luc03b_FR.xml . 752.2 / 298.6  (-) . 24.9 / 15.5  (0)
ull_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.xml . 691.0 / 298.8  (-) . 18.7 / 11.2  (0)
Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (1)
Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.xml ?/n^1 4.2 / 2.5  (-) ?/n^1 0.9 / 0.7  (1)
l_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_C.xml . 607.6 / 298.6  (-) . 581.4 / 296.2  (0)
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml . 553.1 / 298.5  (-) . 6.9 / 2.7  (0)
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml . 826.6 / 299.6  (-) . 13.1 / 6.4  (0)
l_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
l_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml . 595.7 / 298.6  (-) . 5.6 / 2.1  (0)
ull_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_C.xml . 885.3 / 298.4  (-) . 691.9 / 296.1  (0)
ll_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_FR.xml . 694.6 / 298.7  (-) . 38.4 / 22.9  (0)
ll_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.xml . 547.3 / 298.6  (-) . 20.1 / 12.1  (0)
ull_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
ull_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_Z.xml . 736.9 / 299.1  (-) . 51.5 / 34.2  (0)
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml . 658.4 / 298.7  (-) . 483.9 / 296.3  (0)
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml . 643.2 / 300.0  (-) . 28.5 / 16.0  (0)
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml . 585.7 / 299.1  (-) . 25.0 / 14.7  (0)
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (1)
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml . 706.5 / 298.5  (-) . 13.5 / 7.0  (0)
_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_C.xml . 611.1 / 298.6  (-) . 663.2 / 296.3  (0)
Full_Rewriting/Transformed_CSR_04/Ex49_GM04_FR.xml . 763.9 / 298.7  (-) . 166.1 / 103.9  (0)
Full_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.xml . 834.5 / 299.1  (-) . 50.0 / 26.0  (0)
_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.1  (0)
_Full_Rewriting/Transformed_CSR_04/Ex49_GM04_Z.xml . 516.9 / 298.3  (-) REJECTED-WORST_CASE(?,O(n^1)) 5.3 / 2.9  (0)
ll_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_C.xml . 652.7 / 298.8  (-) . 122.7 / 61.1  (0)
l_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml . 740.8 / 298.8  (-) . 10.0 / 5.6  (0)
l_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml . 772.4 / 300.0  (-) . 9.6 / 4.8  (0)
ll_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.xml ?/n^1 0.0 / 0.0  (-) ?/n^1 0.0 / 0.0  (1)
ll_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml . 697.5 / 298.8  (-) . 9.4 / 5.5  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.4 / 0.3  (1)
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml ?/n^1 0.4 / 0.2  (-) ?/n^1 0.3 / 0.1  (1)
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (1)
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 0.1 / 0.1  (1)
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 0.1 / 0.0  (1)
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml . 833.7 / 300.0  (-) . 678.0 / 296.1  (0)
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml . 593.5 / 298.7  (-) . 586.7 / 296.3  (0)
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml . 632.8 / 298.6  (-) . 669.0 / 296.1  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml . 0.1 / 0.0  (-) . 0.0 / 0.0  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml . 609.3 / 298.3  (-) . 21.3 / 10.9  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml . 730.7 / 300.0  (-) . 613.9 / 299.4  (0)
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml . 686.1 / 298.3  (-) . 8.4 / 5.5  (0)
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml . 583.2 / 298.2  (-) . 13.3 / 7.1  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml . 0.1 / 0.0  (-) . 0.1 / 0.0  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml . 702.1 / 298.4  (-) . 5.8 / 3.0  (0)
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml ?/n^1 0.4 / 0.2  (-) ?/n^1 0.5 / 0.3  (1)
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml ?/n^1 0.3 / 0.2  (-) ?/n^1 0.2 / 0.2  (1)
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml ?/n^1 0.3 / 0.2  (-) ?/n^1 0.4 / 0.3  (1)
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml . 0.0 / 0.1  (-) . 0.0 / 0.0  (0)
ull_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_C.xml . 511.7 / 300.0  (-) . 658.6 / 296.2  (0)
ll_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_FR.xml . 510.8 / 298.4  (-) . 707.5 / 296.1  (0)
ll_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.xml . 608.8 / 299.0  (-) . 621.2 / 296.3  (0)
ull_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0)
ull_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_Z.xml . 475.4 / 298.3  (-) . 632.7 / 296.2  (0)
_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_C.xml . 605.5 / 300.0  (-) . 590.7 / 296.2  (0)
Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.xml . 737.4 / 298.3  (-) . 9.4 / 6.0  (0)
Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.xml . 688.1 / 298.6  (-) . 18.1 / 10.1  (0)
_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.0  (0)
_Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.xml . 642.7 / 300.0  (-) . 8.6 / 5.2  (0)
ull_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_C.xml . 714.5 / 298.5  (-) . 654.9 / 296.2  (0)
ll_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_FR.xml . 702.1 / 298.7  (-) . 44.2 / 27.8  (0)
ll_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.xml . 671.4 / 298.6  (-) . 45.8 / 29.5  (0)
ull_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
ull_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_Z.xml . 629.6 / 298.5  (-) . 36.2 / 22.4  (0)
ull_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_C.xml . 816.0 / 298.5  (-) . 705.0 / 296.5  (0)
ll_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_FR.xml . 726.4 / 298.3  (-) . 55.5 / 32.0  (0)
ll_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.xml . 540.3 / 300.0  (-) . 28.6 / 15.9  (0)
ull_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
ull_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_Z.xml . 643.7 / 298.5  (-) . 145.5 / 70.6  (0)
_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_C.xml ?/n^1 1.5 / 0.8  (-) ?/n^1 4.8 / 2.0  (1)
Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_FR.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 1.1 / 0.6  (1)
Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.xml . 707.9 / 298.6  (-) . 113.3 / 47.4  (0)
_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0)
_Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.xml ?/n^1 0.4 / 0.3  (-) ?/n^1 0.6 / 0.2  (1)
ll_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_C.xml . 815.2 / 300.0  (-) . 675.8 / 296.2  (0)
l_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_FR.xml . 631.9 / 298.2  (-) . 47.3 / 26.6  (0)
l_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.xml . 733.5 / 299.1  (-) . 97.0 / 55.2  (0)
ll_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
ll_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_Z.xml . 587.4 / 298.6  (-) . 55.7 / 33.7  (0)
ll_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_C.xml . 480.6 / 298.9  (-) . 659.8 / 296.7  (0)
l_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml . 574.7 / 298.4  (-) . 11.1 / 5.4  (0)
l_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml . 776.3 / 299.0  (-) . 18.6 / 11.9  (0)
ll_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_L.xml . 0.1 / 0.0  (-) . 0.0 / 0.0  (0)
ll_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml . 604.6 / 298.3  (-) . 8.8 / 3.7  (0)
y_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_C.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.3 / 0.2  (1)
_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.xml . 790.8 / 298.4  (-) . 305.6 / 272.7  (0)
_Full_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.1 / 0.1  (1)
_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_C.xml . 630.4 / 299.5  (-) . 565.4 / 296.2  (0)
Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_FR.xml . 693.6 / 298.6  (-) . 10.4 / 7.3  (0)
Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.xml . 714.9 / 298.4  (-) . 13.2 / 7.2  (0)
_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (1)
_Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.xml ?/n^1 3.3 / 1.5  (-) ?/n^1 0.8 / 0.7  (1)
_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_C.xml . 720.2 / 299.0  (-) . 595.5 / 296.2  (0)
Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_FR.xml . 711.7 / 298.5  (-) . 15.7 / 9.4  (0)
Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.xml . 709.1 / 298.2  (-) . 24.6 / 14.8  (0)
_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0)
_Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.xml . 692.1 / 298.3  (-) . 12.1 / 5.8  (0)
_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_C.xml . 585.9 / 298.7  (-) . 639.4 / 296.1  (0)
Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.xml . 670.6 / 298.9  (-) . 17.8 / 11.1  (0)
Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.xml . 774.3 / 299.2  (-) . 24.4 / 13.8  (0)
_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0)
_Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.xml . 652.8 / 298.9  (-) . 14.0 / 7.8  (0)
_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_C.xml . 507.9 / 298.3  (-) . 548.7 / 296.2  (0)
Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_FR.xml . 576.9 / 298.6  (-) . 30.0 / 15.0  (0)
Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.xml . 713.3 / 298.8  (-) . 27.1 / 14.3  (0)
_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 0.2 / 0.1  (1)
_Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.xml . 744.3 / 298.2  (-) . 25.1 / 14.7  (0)
_Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_C.xml . 620.9 / 298.4  (-) . 32.0 / 21.6  (0)
Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.xml . 662.2 / 298.6  (-) . 8.5 / 4.8  (0)
_Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.xml . 87.6 / 47.4  (-) . 2.1 / 1.5  (0)
_Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_C.xml . 711.4 / 298.4  (-) . 771.3 / 296.3  (0)
Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_FR.xml . 701.5 / 300.0  (-) . 585.1 / 296.2  (0)
Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_GM.xml ?/n^1 4.9 / 5.0  (-) ?/n^1 0.1 / 0.1  (1)
writing/Transformed_CSR_04/ExAppendixB_AEL03_C.xml . 534.2 / 299.2  (-) . 594.1 / 296.2  (0)
riting/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml . 678.5 / 298.9  (-) . 36.3 / 20.5  (0)
riting/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml . 674.6 / 300.1  (-) . 530.4 / 296.3  (0)
writing/Transformed_CSR_04/ExAppendixB_AEL03_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
writing/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml . 725.4 / 298.6  (-) . 31.1 / 14.9  (0)
ll_Rewriting/Transformed_CSR_04/ExConc_Zan97_C.xml ?/n^1 0.6 / 0.4  (-) ?/n^1 0.1 / 0.1  (1)
l_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 0.2 / 0.1  (1)
l_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.xml ?/n^1 0.1 / 0.0  (-) ?/n^1 0.1 / 0.1  (1)
ll_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.xml . 47.4 / 29.9  (-) . 14.2 / 8.3  (0)
l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_C.xml ?/n^1 1.3 / 0.7  (-) ?/n^1 11.3 / 5.2  (1)
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.xml . 762.3 / 299.2  (-) . 101.2 / 75.6  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.xml . 762.3 / 298.6  (-) . 328.3 / 220.6  (0)
l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.1  (0)
l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.xml . 968.3 / 298.2  (-) . 592.9 / 296.0  (0)
l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_C.xml ?/n^1 0.5 / 0.3  (-) ?/n^1 0.9 / 0.7  (1)
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.xml . 680.5 / 300.0  (-) . 102.2 / 74.5  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.xml ?/n^3 39.5 / 14.7  (-) ?/n^3 61.1 / 23.8  (1)
l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0)
l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.xml . 814.4 / 298.6  (-) . 614.3 / 296.1  (0)
l_Rewriting/Transformed_CSR_04/ExIntrod_GM99_C.xml . 536.1 / 298.7  (-) . 649.0 / 296.2  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_FR.xml . 654.7 / 300.0  (-) . 111.2 / 61.8  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.xml . 629.4 / 298.3  (-) . 98.7 / 55.8  (0)
l_Rewriting/Transformed_CSR_04/ExIntrod_GM99_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0)
l_Rewriting/Transformed_CSR_04/ExIntrod_GM99_Z.xml . 727.3 / 298.5  (-) . 79.3 / 48.6  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_C.xml . 655.1 / 298.4  (-) . 554.6 / 296.2  (0)
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_FR.xml . 701.9 / 298.5  (-) . 28.8 / 18.6  (0)
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.xml . 748.6 / 298.6  (-) . 694.7 / 296.1  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.2  (0)
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_Z.xml . 626.3 / 298.5  (-) . 39.9 / 23.2  (0)
l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_C.xml ?/n^1 0.2 / 0.2  (-) ?/n^1 0.1 / 0.1  (1)
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_FR.xml ?/n^1 0.7 / 0.6  (-) ?/n^1 0.9 / 0.4  (1)
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.xml . 687.3 / 298.5  (-) . 663.8 / 296.1  (0)
l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.xml ?/n^1 0.1 / 0.0  (-) ?/n^1 0.1 / 0.0  (1)
l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.xml ?/n^1 0.3 / 0.2  (-) ?/n^1 0.1 / 0.1  (1)
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml . 609.8 / 298.4  (-) . 560.1 / 296.2  (0)
writing/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml . 627.4 / 298.8  (-) . 58.6 / 36.9  (0)
writing/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml . 724.5 / 300.0  (-) . 79.3 / 44.7  (0)
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml . 648.7 / 298.5  (-) . 33.8 / 14.6  (0)
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml . 587.9 / 298.5  (-) . 45.7 / 16.2  (0)
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml . 712.0 / 298.4  (-) . 641.1 / 296.2  (0)
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml . 763.9 / 298.6  (-) . 66.3 / 31.7  (0)
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml . 590.6 / 298.4  (-) . 612.3 / 296.3  (0)
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml . 0.1 / 0.0  (-) . 0.0 / 0.0  (0)
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml . 728.6 / 300.0  (-) . 103.1 / 66.2  (0)
sformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml . 585.2 / 298.9  (-) . 626.2 / 296.2  (0)
nsformed_CSR_04/LISTUTILITIES_complete-noand_L.xml . 0.3 / 0.2  (-) . 0.0 / 0.0  (0)
nsformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml . 807.5 / 299.9  (-) . 802.4 / 296.3  (0)
ng/Transformed_CSR_04/LISTUTILITIES_complete_C.xml . 750.0 / 300.0  (-) . 440.1 / 297.3  (0)
g/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml . 548.9 / 298.4  (-) . 694.8 / 296.2  (0)
g/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml . 552.5 / 298.8  (-) . 689.7 / 296.0  (0)
ng/Transformed_CSR_04/LISTUTILITIES_complete_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0)
ng/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml . 581.5 / 298.4  (-) . 659.8 / 296.2  (0)
nsformed_CSR_04/LISTUTILITIES_complete_noand_C.xml . 589.8 / 300.0  (-) . 774.0 / 296.3  (0)
sformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml . 637.2 / 299.2  (-) . 719.7 / 296.4  (0)
nsformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml . 644.1 / 298.9  (-) . 854.0 / 296.2  (0)
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml . 0.1 / 0.1  (-) . 0.1 / 0.0  (0)
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml . 544.3 / 298.4  (-) . 604.0 / 296.3  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml . 643.7 / 298.6  (-) . 621.3 / 296.3  (0)
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml . 753.6 / 300.0  (-) . 633.3 / 296.3  (0)
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml . 673.8 / 298.5  (-) . 604.6 / 296.2  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml . 679.0 / 298.7  (-) . 642.6 / 296.2  (0)
ansformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml . 712.2 / 298.7  (-) . 755.6 / 296.3  (0)
nsformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml . 631.3 / 298.8  (-) . 786.6 / 296.3  (0)
nsformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml . 871.1 / 298.7  (-) . 646.5 / 296.2  (0)
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml . 0.1 / 0.1  (-) . 0.2 / 0.3  (0)
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml . 643.0 / 298.5  (-) . 601.4 / 296.4  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml . 641.0 / 298.5  (-) . 658.8 / 296.3  (0)
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml . 663.7 / 298.6  (-) . 695.2 / 296.1  (0)
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml . 606.9 / 298.5  (-) . 724.5 / 296.1  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml . 819.0 / 298.8  (-) . 682.5 / 296.1  (0)
ansformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml . 659.5 / 300.0  (-) . 688.8 / 296.2  (0)
nsformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml . 609.3 / 298.9  (-) . 711.9 / 296.2  (0)
d_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml . 607.0 / 298.4  (-) . 526.9 / 296.2  (0)
ed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml . 0.2 / 0.2  (-) . 0.0 / 0.0  (0)
ed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml . 696.9 / 298.6  (-) . 522.7 / 296.1  (0)
nsformed_CSR_04/LengthOfFiniteLists_complete_C.xml . 696.2 / 298.5  (-) . 677.8 / 296.2  (0)
sformed_CSR_04/LengthOfFiniteLists_complete_FR.xml . 490.6 / 300.0  (-) . 581.3 / 296.2  (0)
sformed_CSR_04/LengthOfFiniteLists_complete_GM.xml . 618.2 / 298.6  (-) . 654.0 / 296.1  (0)
nsformed_CSR_04/LengthOfFiniteLists_complete_L.xml . 0.3 / 0.2  (-) . 0.1 / 0.1  (0)
nsformed_CSR_04/LengthOfFiniteLists_complete_Z.xml . 484.7 / 298.4  (-) . 587.9 / 296.3  (0)
ed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml . 494.3 / 300.0  (-) . 716.5 / 296.4  (0)
d_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml . 690.9 / 298.7  (-) . 143.1 / 93.2  (0)
ed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml . 738.7 / 298.6  (-) . 165.1 / 117.7  (0)
med_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0)
med_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml . 762.9 / 298.5  (-) . 167.3 / 106.5  (0)
ansformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml . 740.1 / 300.0  (-) . 761.9 / 296.1  (0)
nsformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml . 605.7 / 299.1  (-) . 620.1 / 296.1  (0)
nsformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml . 728.4 / 298.6  (-) . 111.9 / 64.3  (0)
ansformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
ansformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml . 571.0 / 298.3  (-) . 667.5 / 296.2  (0)
med_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml . 646.1 / 298.4  (-) . 639.8 / 296.3  (0)
ed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml . 698.5 / 298.4  (-) . 48.7 / 28.0  (0)
ed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml . 722.1 / 299.6  (-) . 104.7 / 63.8  (0)
med_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
ansformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml ?/n^1 2.7 / 2.2  (-) ?/n^1 0.5 / 0.2  (1)
nsformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml . 820.6 / 298.2  (-) . 578.7 / 296.0  (0)
nsformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml . 893.7 / 299.3  (-) . 720.3 / 296.1  (0)
ansformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.1  (0)
med_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml ?/n^1 0.5 / 0.3  (-) ?/n^1 3.2 / 1.3  (1)
ed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml . 736.4 / 300.0  (-) . 681.2 / 296.1  (0)
ing/Transformed_CSR_04/MYNAT_complete-noand_FR.xml . 781.8 / 298.9  (-) . 596.2 / 296.2  (0)
ting/Transformed_CSR_04/MYNAT_complete-noand_L.xml . 0.1 / 0.1  (-) . 0.1 / 0.1  (0)
ting/Transformed_CSR_04/MYNAT_complete-noand_Z.xml . 708.2 / 298.6  (-) . 733.4 / 296.1  (0)
_Rewriting/Transformed_CSR_04/MYNAT_complete_C.xml . 597.5 / 298.6  (-) . 609.3 / 296.6  (0)
Rewriting/Transformed_CSR_04/MYNAT_complete_FR.xml . 464.7 / 298.5  (-) . 591.3 / 296.3  (0)
Rewriting/Transformed_CSR_04/MYNAT_complete_GM.xml . 498.6 / 298.9  (-) . 573.8 / 296.2  (0)
_Rewriting/Transformed_CSR_04/MYNAT_complete_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.0  (0)
_Rewriting/Transformed_CSR_04/MYNAT_complete_Z.xml . 489.6 / 298.4  (-) . 621.0 / 300.0  (0)
ting/Transformed_CSR_04/MYNAT_complete_noand_C.xml . 601.2 / 298.9  (-) . 767.2 / 296.2  (0)
ing/Transformed_CSR_04/MYNAT_complete_noand_GM.xml . 632.5 / 298.7  (-) . 689.9 / 296.1  (0)
ting/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml . 603.9 / 299.2  (-) . 727.8 / 296.1  (0)
iting/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
iting/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml . 684.2 / 300.0  (-) . 649.0 / 296.2  (0)
l_Rewriting/Transformed_CSR_04/MYNAT_nokinds_C.xml . 706.4 / 298.6  (-) . 671.4 / 296.3  (0)
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_FR.xml . 587.3 / 298.5  (-) . 741.2 / 296.1  (0)
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.xml . 627.3 / 298.5  (-) . 656.9 / 296.2  (0)
l_Rewriting/Transformed_CSR_04/MYNAT_nokinds_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
l_Rewriting/Transformed_CSR_04/MYNAT_nokinds_Z.xml . 647.8 / 298.6  (-) . 602.5 / 296.2  (0)
iting/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml . 874.3 / 298.4  (-) . 629.5 / 296.2  (0)
ting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml . 738.7 / 298.7  (-) . 699.4 / 296.0  (0)
ting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml . 552.9 / 298.4  (-) . 740.4 / 296.2  (0)
iting/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
l_Rewriting/Transformed_CSR_04/MYNAT_nosorts_C.xml . 594.5 / 298.4  (-) . 129.6 / 63.2  (0)
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.xml ?/n^2 10.3 / 4.9  (-) ?/n^2 1.0 / 0.5  (1)
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.xml . 845.6 / 298.6  (-) . 647.8 / 296.1  (0)
l_Rewriting/Transformed_CSR_04/MYNAT_nosorts_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
iting/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml . 665.7 / 298.4  (-) . 212.8 / 116.6  (0)
ting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml . 687.5 / 298.5  (-) . 674.3 / 296.0  (0)
/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml . 581.2 / 298.7  (-) . 688.9 / 296.1  (0)
g/Transformed_CSR_04/OvConsOS_complete-noand_L.xml . 0.3 / 0.2  (-) . 0.2 / 0.1  (0)
g/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml . 606.4 / 298.5  (-) . 562.5 / 296.5  (0)
writing/Transformed_CSR_04/OvConsOS_complete_C.xml . 650.1 / 298.8  (-) . 575.2 / 297.1  (0)
riting/Transformed_CSR_04/OvConsOS_complete_FR.xml . 506.6 / 298.4  (-) . 679.6 / 296.2  (0)
riting/Transformed_CSR_04/OvConsOS_complete_GM.xml . 699.0 / 300.0  (-) . 642.1 / 296.2  (0)
writing/Transformed_CSR_04/OvConsOS_complete_L.xml . 0.8 / 0.6  (-) . 0.0 / 0.0  (0)
writing/Transformed_CSR_04/OvConsOS_complete_Z.xml . 493.2 / 298.2  (-) . 662.7 / 296.2  (0)
g/Transformed_CSR_04/OvConsOS_complete_noand_C.xml . 768.0 / 299.0  (-) . 697.6 / 296.4  (0)
/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml . 684.2 / 298.4  (-) . 276.6 / 186.8  (0)
g/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml . 777.2 / 298.5  (-) . 318.1 / 217.3  (0)
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml . 0.4 / 0.4  (-) . 0.0 / 0.0  (0)
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml . 666.4 / 298.5  (-) . 309.1 / 199.5  (0)
ewriting/Transformed_CSR_04/OvConsOS_nokinds_C.xml . 570.9 / 298.6  (-) . 677.3 / 296.2  (0)
writing/Transformed_CSR_04/OvConsOS_nokinds_FR.xml . 564.7 / 298.3  (-) . 623.3 / 296.1  (0)
writing/Transformed_CSR_04/OvConsOS_nokinds_GM.xml . 627.5 / 298.5  (-) . 613.1 / 296.1  (0)
ewriting/Transformed_CSR_04/OvConsOS_nokinds_L.xml . 0.2 / 0.1  (-) . 0.0 / 0.0  (0)
ewriting/Transformed_CSR_04/OvConsOS_nokinds_Z.xml . 486.6 / 298.3  (-) . 582.5 / 296.5  (0)
ng/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml . 624.1 / 300.0  (-) . 666.9 / 296.2  (0)
g/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml . 637.4 / 298.4  (-) . 91.1 / 51.2  (0)
g/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml . 635.1 / 298.3  (-) . 104.7 / 55.5  (0)
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml . 646.1 / 298.2  (-) . 107.2 / 48.4  (0)
ewriting/Transformed_CSR_04/OvConsOS_nosorts_C.xml ?/n^1 0.6 / 0.3  (-) ?/n^1 3.4 / 2.0  (1)
writing/Transformed_CSR_04/OvConsOS_nosorts_FR.xml . 761.3 / 298.7  (-) . 120.0 / 75.3  (0)
writing/Transformed_CSR_04/OvConsOS_nosorts_GM.xml . 889.5 / 298.3  (-) . 493.6 / 296.1  (0)
ewriting/Transformed_CSR_04/OvConsOS_nosorts_L.xml . 0.1 / 0.1  (-) . 0.0 / 0.0  (0)
ewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.xml . 864.4 / 298.3  (-) . 324.0 / 296.1  (0)
ng/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml . 541.2 / 300.0  (-) . 672.8 / 296.4  (0)
g/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml . 762.9 / 298.9  (-) . 579.3 / 296.0  (0)
ransformed_CSR_04/PALINDROME_complete-noand_FR.xml . 720.3 / 299.9  (-) . 556.3 / 296.1  (0)
Transformed_CSR_04/PALINDROME_complete-noand_L.xml . 901.7 / 298.5  (-) . 527.5 / 296.2  (0)
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml . 620.9 / 298.4  (-) . 510.4 / 296.4  (0)
iting/Transformed_CSR_04/PALINDROME_complete_C.xml . 707.9 / 298.2  (-) . 618.8 / 296.1  (0)
ting/Transformed_CSR_04/PALINDROME_complete_FR.xml . 510.1 / 300.0  (-) . 524.1 / 296.2  (0)
ting/Transformed_CSR_04/PALINDROME_complete_GM.xml . 825.4 / 298.7  (-) . 748.4 / 296.1  (0)
iting/Transformed_CSR_04/PALINDROME_complete_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
iting/Transformed_CSR_04/PALINDROME_complete_Z.xml . 434.7 / 298.8  (-) . 596.0 / 296.1  (0)
Transformed_CSR_04/PALINDROME_complete_noand_C.xml . 806.6 / 299.8  (-) . 603.8 / 296.3  (0)
ransformed_CSR_04/PALINDROME_complete_noand_GM.xml . 681.5 / 298.7  (-) . 669.2 / 296.2  (0)
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml . 602.8 / 298.3  (-) . 645.1 / 296.1  (0)
/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml . 785.3 / 298.5  (-) . 293.8 / 252.0  (0)
/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml ?/n^2 208.6 / 119.9  (-) ?/n^2 9.3 / 5.7  (1)
riting/Transformed_CSR_04/PALINDROME_nokinds_C.xml . 585.3 / 299.2  (-) . 735.6 / 296.3  (0)
iting/Transformed_CSR_04/PALINDROME_nokinds_FR.xml . 692.5 / 298.4  (-) . 428.8 / 286.4  (0)
iting/Transformed_CSR_04/PALINDROME_nokinds_GM.xml . 871.9 / 298.6  (-) . 555.0 / 296.3  (0)
riting/Transformed_CSR_04/PALINDROME_nokinds_L.xml . 0.1 / 0.0  (-) . 0.0 / 0.0  (0)
riting/Transformed_CSR_04/PALINDROME_nokinds_Z.xml ?/n^2 66.7 / 36.0  (-) ?/n^2 9.9 / 6.2  (1)
/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml . 552.0 / 299.4  (-) . 679.4 / 296.1  (0)
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml . 707.8 / 298.9  (-) . 727.4 / 296.3  (0)
riting/Transformed_CSR_04/PALINDROME_nosorts_C.xml . 535.3 / 298.7  (-) . 661.2 / 296.2  (0)
iting/Transformed_CSR_04/PALINDROME_nosorts_GM.xml . 759.5 / 298.6  (-) . 718.1 / 296.2  (0)
riting/Transformed_CSR_04/PALINDROME_nosorts_L.xml . 0.1 / 0.3  (-) . 0.0 / 0.0  (0)
/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml . 620.0 / 298.3  (-) . 721.7 / 296.2  (0)
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml . 762.3 / 298.7  (-) . 650.7 / 296.4  (0)
ing/Transformed_CSR_04/PEANO_complete-noand_FR.xml . 714.6 / 298.4  (-) . 729.3 / 296.1  (0)
ting/Transformed_CSR_04/PEANO_complete-noand_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
ting/Transformed_CSR_04/PEANO_complete-noand_Z.xml . 863.0 / 300.0  (-) . 732.4 / 296.1  (0)
_Rewriting/Transformed_CSR_04/PEANO_complete_C.xml . 644.1 / 298.9  (-) . 596.4 / 296.2  (0)
Rewriting/Transformed_CSR_04/PEANO_complete_FR.xml . 522.6 / 298.5  (-) . 585.0 / 296.0  (0)
Rewriting/Transformed_CSR_04/PEANO_complete_GM.xml . 521.8 / 298.5  (-) . 591.1 / 296.2  (0)
_Rewriting/Transformed_CSR_04/PEANO_complete_L.xml . 0.0 / 0.0  (-) . 0.1 / 0.0  (0)
_Rewriting/Transformed_CSR_04/PEANO_complete_Z.xml . 503.0 / 298.5  (-) . 544.3 / 296.2  (0)
ting/Transformed_CSR_04/PEANO_complete_noand_C.xml . 642.3 / 298.6  (-) . 619.5 / 296.2  (0)
ing/Transformed_CSR_04/PEANO_complete_noand_GM.xml . 717.6 / 298.2  (-) . 98.5 / 65.6  (0)
ting/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml . 731.4 / 298.5  (-) . 645.6 / 296.1  (0)
iting/Transformed_CSR_04/PEANO_nokinds-noand_L.xml . 0.3 / 0.2  (-) . 0.0 / 0.0  (0)
iting/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml . 782.6 / 298.4  (-) . 676.8 / 296.0  (0)
l_Rewriting/Transformed_CSR_04/PEANO_nokinds_C.xml . 539.6 / 298.5  (-) . 614.2 / 296.2  (0)
_Rewriting/Transformed_CSR_04/PEANO_nokinds_FR.xml . 575.1 / 298.8  (-) . 647.7 / 296.1  (0)
_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.xml . 678.2 / 298.9  (-) . 107.4 / 58.4  (0)
l_Rewriting/Transformed_CSR_04/PEANO_nokinds_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
l_Rewriting/Transformed_CSR_04/PEANO_nokinds_Z.xml . 617.3 / 298.4  (-) . 647.5 / 296.1  (0)
iting/Transformed_CSR_04/PEANO_nokinds_noand_C.xml . 818.9 / 298.6  (-) . 695.9 / 296.2  (0)
ting/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml . 729.4 / 298.2  (-) . 35.9 / 23.1  (0)
ting/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml ?/n^1 4.6 / 2.5  (-) ?/n^1 0.7 / 0.3  (1)
iting/Transformed_CSR_04/PEANO_nosorts-noand_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
l_Rewriting/Transformed_CSR_04/PEANO_nosorts_C.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.5 / 0.3  (1)
_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.xml ?/n^1 0.1 / 0.0  (-) ?/n^1 0.1 / 0.1  (1)
_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.xml . 656.3 / 298.4  (-) . 52.1 / 23.8  (0)
l_Rewriting/Transformed_CSR_04/PEANO_nosorts_L.xml . 0.0 / 0.0  (-) . 0.0 / 0.0  (0)
iting/Transformed_CSR_04/PEANO_nosorts_noand_C.xml ?/n^1 1.1 / 0.8  (-) ?/n^1 0.7 / 0.6  (1)
ting/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml . 692.5 / 298.6  (-) . 77.0 / 45.3  (0)
untime_Complexity_Full_Rewriting/Various_04/04.xml . 629.8 / 299.3  (-) . 103.6 / 68.4  (0)
untime_Complexity_Full_Rewriting/Various_04/08.xml . 673.3 / 300.0  (-) . 204.5 / 134.5  (0)
untime_Complexity_Full_Rewriting/Various_04/10.xml . 513.3 / 298.5  (-) . 682.0 / 296.2  (0)
untime_Complexity_Full_Rewriting/Various_04/11.xml . 706.0 / 298.5  (-) . 5.8 / 3.1  (0)
untime_Complexity_Full_Rewriting/Various_04/12.xml . 638.3 / 298.1  (-) . 700.0 / 296.4  (0)
untime_Complexity_Full_Rewriting/Various_04/13.xml . 636.9 / 298.1  (-) . 483.4 / 297.8  (0)
untime_Complexity_Full_Rewriting/Various_04/14.xml . 687.1 / 298.8  (-) . 677.2 / 296.3  (0)
untime_Complexity_Full_Rewriting/Various_04/15.xml ?/n^1 0.2 / 0.1  (-) ?/n^1 0.1 / 0.0  (1)
untime_Complexity_Full_Rewriting/Various_04/18.xml . 734.7 / 298.9  (-) . 39.2 / 22.3  (0)
untime_Complexity_Full_Rewriting/Various_04/22.xml . 604.0 / 298.3  (-) . 5.6 / 3.2  (0)
untime_Complexity_Full_Rewriting/Various_04/23.xml ?/n^1 1.3 / 0.7  (-) ?/n^1 0.3 / 0.2  (1)
untime_Complexity_Full_Rewriting/Various_04/24.xml . 640.4 / 298.4  (-) . 131.0 / 69.1  (0)
omplexity_Full_Rewriting/Waldmann_06/jwmatchb1.xml ?/n^1 0.1 / 0.1  (-) ?/n^1 0.1 / 0.1  (1)
omplexity_Full_Rewriting/Waldmann_06/jwmatchb2.xml ?/n^1 0.5 / 0.6  (-) ?/n^1 0.1 / 0.0  (1)
me_Complexity_Full_Rewriting/Waldmann_06/jwno1.xml . 630.9 / 298.9  (-) . 21.1 / 10.9  (0)
me_Complexity_Full_Rewriting/Waldmann_06/jwno4.xml . 856.2 / 298.8  (-) . 18.7 / 9.3  (0)
me_Complexity_Full_Rewriting/Waldmann_06/jwno6.xml . 732.1 / 298.1  (-) . 17.3 / 8.2  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z10.xml . 726.9 / 298.3  (-) . 15.2 / 7.3  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z12.xml . 752.1 / 298.8  (-) . 614.7 / 296.1  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z13.xml . 773.8 / 298.3  (-) . 106.3 / 48.8  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z14.xml . 782.4 / 298.8  (-) . 92.2 / 55.3  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z15.xml . 900.9 / 298.3  (-) . 495.5 / 296.1  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z16.xml . 756.7 / 299.3  (-) . 89.6 / 50.6  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z17.xml . 851.4 / 299.8  (-) . 564.1 / 296.0  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z18.xml . 865.4 / 298.3  (-) . 228.5 / 165.8  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z23.xml . 653.0 / 298.6  (-) . 536.1 / 296.2  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z24.xml . 606.6 / 298.3  (-) . 572.7 / 296.1  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z26.xml ?/n^1 0.2 / 0.5  (-) ?/n^1 0.0 / 0.0  (1)
ntime_Complexity_Full_Rewriting/Zantema_05/z27.xml . 622.9 / 298.7  (-) . 7.1 / 3.6  (0)
ntime_Complexity_Full_Rewriting/Zantema_05/z28.xml . 489.4 / 298.3  (-) . 11.2 / 5.2  (0)