Overview of job-results

flexible query (experimental) | view original jobs on star-exec:5390,

Statistics

2792 pairs, 1120080.1 / 384098.9 s

Results

Legend

YES NO MAYBE CERTIFIED ERROR OTHER / Nothing
The results are displayed in the following pattern: cpu-time / wallclock-time (complexity-score)
Jobs Runti Compl Inner Rewri 43315
Solver TCT AProVE_JRE2
Scores 703 738
time_Complexity__Innermost_Rewriting/AG01/#3.1.xml 1.3 / 0.5 s 2.4 / 1.0 s
ime_Complexity__Innermost_Rewriting/AG01/#3.10.xml 1039.7 / 297.4 s 884.2 / 300.0 s
ime_Complexity__Innermost_Rewriting/AG01/#3.12.xml 389.2 / 137.4 s 4.0 / 1.5 s
ime_Complexity__Innermost_Rewriting/AG01/#3.13.xml 905.4 / 297.2 s 883.2 / 300.0 s
ime_Complexity__Innermost_Rewriting/AG01/#3.15.xml 65.1 / 24.1 s 1.5 / 0.8 s
ime_Complexity__Innermost_Rewriting/AG01/#3.16.xml 113.0 / 51.7 s 5.6 / 1.9 s
ime_Complexity__Innermost_Rewriting/AG01/#3.17.xml 529.5 / 149.7 s 3.2 / 1.2 s
me_Complexity__Innermost_Rewriting/AG01/#3.17a.xml 523.5 / 148.4 s 3.2 / 1.2 s
ime_Complexity__Innermost_Rewriting/AG01/#3.18.xml 229.4 / 124.4 s 165.4 / 123.8 s
ime_Complexity__Innermost_Rewriting/AG01/#3.19.xml 351.6 / 144.5 s 426.6 / 300.0 s
time_Complexity__Innermost_Rewriting/AG01/#3.2.xml 39.8 / 11.5 s 2.6 / 1.1 s
ime_Complexity__Innermost_Rewriting/AG01/#3.21.xml 485.0 / 148.7 s 0.9 / 0.6 s
ime_Complexity__Innermost_Rewriting/AG01/#3.22.xml 7.1 / 3.1 s 2.8 / 1.1 s
ime_Complexity__Innermost_Rewriting/AG01/#3.23.xml 0.6 / 0.3 s 1.8 / 0.9 s
ime_Complexity__Innermost_Rewriting/AG01/#3.24.xml 3.1 / 0.8 s 2.1 / 1.0 s
ime_Complexity__Innermost_Rewriting/AG01/#3.26.xml 826.1 / 297.3 s 650.5 / 300.0 s
ime_Complexity__Innermost_Rewriting/AG01/#3.29.xml 0.3 / 0.2 s 0.9 / 0.6 s
ime_Complexity__Innermost_Rewriting/AG01/#3.31.xml 972.3 / 297.3 s 4.0 / 2.0 s
ime_Complexity__Innermost_Rewriting/AG01/#3.33.xml 1.6 / 0.8 s 0.9 / 0.6 s
ime_Complexity__Innermost_Rewriting/AG01/#3.35.xml 0.4 / 0.2 s 1.3 / 0.8 s
ime_Complexity__Innermost_Rewriting/AG01/#3.36.xml 876.8 / 297.2 s 771.8 / 300.1 s
ime_Complexity__Innermost_Rewriting/AG01/#3.37.xml 3.2 / 0.9 s 1.5 / 0.8 s
ime_Complexity__Innermost_Rewriting/AG01/#3.38.xml 435.7 / 297.1 s 903.9 / 300.1 s
ime_Complexity__Innermost_Rewriting/AG01/#3.39.xml 61.4 / 18.7 s 12.5 / 3.6 s
time_Complexity__Innermost_Rewriting/AG01/#3.4.xml 203.4 / 83.0 s 245.6 / 189.0 s
ime_Complexity__Innermost_Rewriting/AG01/#3.40.xml 476.8 / 148.6 s 17.0 / 4.7 s
ime_Complexity__Innermost_Rewriting/AG01/#3.41.xml 27.3 / 10.1 s 1.8 / 0.9 s
ime_Complexity__Innermost_Rewriting/AG01/#3.42.xml 91.5 / 77.2 s 4.5 / 1.6 s
ime_Complexity__Innermost_Rewriting/AG01/#3.47.xml 9.0 / 2.9 s 3.4 / 1.4 s
ime_Complexity__Innermost_Rewriting/AG01/#3.48.xml 404.9 / 148.2 s 1.7 / 0.9 s
ime_Complexity__Innermost_Rewriting/AG01/#3.49.xml 737.2 / 297.2 s 872.3 / 300.0 s
time_Complexity__Innermost_Rewriting/AG01/#3.5.xml 9.4 / 2.5 s 6.2 / 2.0 s
ime_Complexity__Innermost_Rewriting/AG01/#3.51.xml 5.5 / 1.4 s 1.5 / 0.8 s
ime_Complexity__Innermost_Rewriting/AG01/#3.52.xml 2.1 / 0.6 s 1.5 / 0.8 s
ime_Complexity__Innermost_Rewriting/AG01/#3.53.xml 445.0 / 150.3 s 24.1 / 6.9 s
me_Complexity__Innermost_Rewriting/AG01/#3.53a.xml 0.4 / 0.2 s 0.9 / 0.6 s
me_Complexity__Innermost_Rewriting/AG01/#3.53b.xml 2.4 / 0.7 s 1.5 / 0.8 s
ime_Complexity__Innermost_Rewriting/AG01/#3.54.xml 760.6 / 297.2 s 525.0 / 300.0 s
ime_Complexity__Innermost_Rewriting/AG01/#3.55.xml 728.8 / 297.2 s 833.2 / 300.0 s
ime_Complexity__Innermost_Rewriting/AG01/#3.56.xml 3.9 / 1.1 s 1.9 / 0.9 s
ime_Complexity__Innermost_Rewriting/AG01/#3.57.xml 568.1 / 156.0 s 362.3 / 300.0 s
ime_Complexity__Innermost_Rewriting/AG01/#3.5a.xml 199.3 / 79.1 s 6.5 / 2.1 s
ime_Complexity__Innermost_Rewriting/AG01/#3.5b.xml 337.0 / 92.3 s 17.0 / 5.6 s
time_Complexity__Innermost_Rewriting/AG01/#3.6.xml 159.5 / 56.8 s 7.1 / 2.2 s
ime_Complexity__Innermost_Rewriting/AG01/#3.6a.xml 12.0 / 3.3 s 7.0 / 2.2 s
ime_Complexity__Innermost_Rewriting/AG01/#3.6b.xml 358.1 / 96.6 s 15.8 / 5.3 s
time_Complexity__Innermost_Rewriting/AG01/#3.7.xml 69.8 / 24.0 s 2.0 / 0.9 s
ime_Complexity__Innermost_Rewriting/AG01/#3.8a.xml 575.7 / 150.7 s 10.8 / 3.2 s
ime_Complexity__Innermost_Rewriting/AG01/#3.8b.xml 687.9 / 196.6 s 880.5 / 300.0 s
me_Complexity__Innermost_Rewriting/AG01/#4.30c.xml 586.4 / 297.2 s 1006.9 / 300.0 s
xity__Innermost_Rewriting/AProVE_04/AAECC-ring.xml 985.4 / 297.3 s 962.1 / 300.0 s
omplexity__Innermost_Rewriting/AProVE_04/AAECC.xml 779.4 / 297.2 s 999.1 / 300.0 s
plexity__Innermost_Rewriting/AProVE_04/IJCAR_1.xml 16.2 / 8.6 s 1.6 / 0.8 s
lexity__Innermost_Rewriting/AProVE_04/IJCAR_12.xml 26.9 / 7.7 s 4.2 / 1.5 s
lexity__Innermost_Rewriting/AProVE_04/IJCAR_18.xml 735.5 / 297.2 s 821.5 / 300.1 s
lexity__Innermost_Rewriting/AProVE_04/IJCAR_26.xml 943.7 / 297.3 s 777.1 / 300.1 s
exity__Innermost_Rewriting/AProVE_04/IJCAR_26a.xml 946.6 / 297.3 s 771.9 / 300.0 s
lexity__Innermost_Rewriting/AProVE_04/JFP_Ex31.xml 884.9 / 297.1 s 75.2 / 27.0 s
lexity__Innermost_Rewriting/AProVE_04/JFP_Ex51.xml 314.3 / 112.6 s 897.0 / 300.0 s
ty__Innermost_Rewriting/AProVE_04/LPAR_intlist.xml 1077.3 / 297.1 s 945.5 / 300.0 s
ity__Innermost_Rewriting/AProVE_04/Liveness6.1.xml 719.8 / 297.1 s 1007.6 / 300.1 s
ity__Innermost_Rewriting/AProVE_04/Liveness6.2.xml 721.7 / 297.1 s 974.8 / 300.0 s
ity__Innermost_Rewriting/AProVE_04/Liveness6.3.xml 6.2 / 2.1 s 12.0 / 3.5 s
ity__Innermost_Rewriting/AProVE_04/Liveness6.4.xml 944.5 / 297.2 s 1106.9 / 300.0 s
exity__Innermost_Rewriting/AProVE_04/Liveness8.xml 839.5 / 262.5 s 139.3 / 45.8 s
ty__Innermost_Rewriting/AProVE_04/Liveness_WRS.xml 1088.7 / 297.3 s 80.6 / 23.2 s
_Complexity__Innermost_Rewriting/AProVE_04/fac.xml 996.2 / 297.4 s 977.5 / 300.0 s
most_Rewriting/AProVE_04/forward_instantiation.xml 114.7 / 56.4 s 1.4 / 0.8 s
ost_Rewriting/AProVE_04/forward_instantiation2.xml 111.8 / 55.9 s 1.4 / 0.8 s
_Innermost_Rewriting/AProVE_04/improved_usable.xml 8.3 / 2.8 s 0.9 / 0.6 s
Innermost_Rewriting/AProVE_04/improved_usable2.xml 5.5 / 2.1 s 1.8 / 0.8 s
Complexity__Innermost_Rewriting/AProVE_04/rta1.xml 1005.6 / 297.4 s 920.1 / 300.0 s
Complexity__Innermost_Rewriting/AProVE_04/rta2.xml 91.2 / 43.0 s 8.7 / 2.9 s
Complexity__Innermost_Rewriting/AProVE_04/rta3.xml 933.1 / 297.6 s 676.6 / 300.0 s
_Innermost_Rewriting/AProVE_06/div_notCeTermin.xml 929.5 / 297.2 s 910.2 / 300.0 s
y__Innermost_Rewriting/AProVE_06/div_notTermin.xml 905.1 / 297.2 s 962.5 / 300.0 s
xity__Innermost_Rewriting/AProVE_06/factorial1.xml 899.7 / 297.3 s 923.3 / 300.1 s
xity__Innermost_Rewriting/AProVE_06/factorial2.xml 985.3 / 297.4 s 968.8 / 300.1 s
lexity__Innermost_Rewriting/AProVE_06/identity.xml 525.8 / 297.2 s 872.6 / 300.0 s
exity__Innermost_Rewriting/AProVE_06/logarithm.xml 768.8 / 297.1 s 985.5 / 300.0 s
plexity__Innermost_Rewriting/AProVE_06/mapHard.xml 529.4 / 148.6 s 1.0 / 0.6 s
mplexity__Innermost_Rewriting/AProVE_06/modulo.xml 719.7 / 297.2 s 966.0 / 300.0 s
plexity__Innermost_Rewriting/AProVE_06/nonterm.xml 985.3 / 297.4 s 619.6 / 300.0 s
exity__Innermost_Rewriting/AProVE_06/quicksort.xml 1012.2 / 297.4 s 964.5 / 300.0 s
Complexity__Innermost_Rewriting/AProVE_06/quot.xml 772.9 / 297.3 s 970.9 / 300.0 s
xity__Innermost_Rewriting/AProVE_06/sizeChange.xml 363.7 / 297.2 s 10.1 / 3.1 s
omplexity__Innermost_Rewriting/AProVE_06/tower.xml 867.0 / 297.2 s 1011.3 / 300.0 s
Innermost_Rewriting/AProVE_06/tower_sizeChange.xml 804.2 / 297.4 s 974.9 / 300.0 s
exity__Innermost_Rewriting/AProVE_07/kabasci01.xml 892.4 / 297.2 s 55.5 / 17.3 s
exity__Innermost_Rewriting/AProVE_07/kabasci02.xml 1154.4 / 297.6 s 780.4 / 300.0 s
exity__Innermost_Rewriting/AProVE_07/kabasci03.xml 0.1 / 0.0 s 0.9 / 0.6 s
exity__Innermost_Rewriting/AProVE_07/kabasci04.xml 665.9 / 297.3 s 863.7 / 300.0 s
exity__Innermost_Rewriting/AProVE_07/kabasci05.xml 954.3 / 297.3 s 811.6 / 300.0 s
exity__Innermost_Rewriting/AProVE_07/kabasci06.xml 528.1 / 148.7 s 1.1 / 0.7 s
mplexity__Innermost_Rewriting/AProVE_07/otto01.xml 1031.3 / 297.3 s 810.0 / 300.1 s
mplexity__Innermost_Rewriting/AProVE_07/otto02.xml 969.5 / 297.4 s 910.5 / 300.0 s
mplexity__Innermost_Rewriting/AProVE_07/otto03.xml 661.3 / 297.2 s 855.4 / 300.0 s
mplexity__Innermost_Rewriting/AProVE_07/otto04.xml 755.6 / 297.3 s 764.7 / 300.0 s
mplexity__Innermost_Rewriting/AProVE_07/otto05.xml 517.1 / 297.1 s 19.6 / 8.7 s
mplexity__Innermost_Rewriting/AProVE_07/otto06.xml 1120.2 / 297.5 s 827.4 / 300.0 s
mplexity__Innermost_Rewriting/AProVE_07/otto07.xml 657.7 / 297.2 s 856.3 / 300.0 s
mplexity__Innermost_Rewriting/AProVE_07/otto08.xml 712.2 / 297.2 s 989.1 / 300.0 s
mplexity__Innermost_Rewriting/AProVE_07/otto09.xml 786.8 / 297.2 s 1094.1 / 300.0 s
mplexity__Innermost_Rewriting/AProVE_07/otto10.xml 915.8 / 297.3 s 997.4 / 300.0 s
mplexity__Innermost_Rewriting/AProVE_07/otto11.xml 717.0 / 297.2 s 1025.2 / 300.0 s
mplexity__Innermost_Rewriting/AProVE_07/otto12.xml 716.3 / 297.2 s 874.1 / 300.0 s
mplexity__Innermost_Rewriting/AProVE_07/otto13.xml 730.6 / 297.2 s 711.8 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann01.xml 834.9 / 297.2 s 769.6 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann02.xml 1027.6 / 297.3 s 952.7 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann03.xml 690.2 / 297.3 s 860.8 / 300.1 s
xity__Innermost_Rewriting/AProVE_07/thiemann04.xml 1040.1 / 300.0 s 796.5 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann05.xml 673.8 / 297.3 s 750.7 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann06.xml 1008.5 / 297.5 s 959.9 / 300.1 s
xity__Innermost_Rewriting/AProVE_07/thiemann07.xml 713.6 / 297.2 s 960.3 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann08.xml 371.0 / 297.2 s 709.5 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann09.xml 1016.1 / 297.3 s 791.3 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann10.xml 632.0 / 297.2 s 219.0 / 82.1 s
xity__Innermost_Rewriting/AProVE_07/thiemann11.xml 671.9 / 297.2 s 999.5 / 300.1 s
xity__Innermost_Rewriting/AProVE_07/thiemann12.xml 639.6 / 297.2 s 1016.9 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann13.xml 746.8 / 297.1 s 953.5 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann14.xml 828.5 / 297.3 s 984.4 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann15.xml 587.5 / 297.1 s 954.6 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann16.xml 1002.3 / 297.5 s 855.3 / 300.1 s
xity__Innermost_Rewriting/AProVE_07/thiemann17.xml 994.8 / 298.1 s 972.6 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann18.xml 949.3 / 297.3 s 980.2 / 300.1 s
xity__Innermost_Rewriting/AProVE_07/thiemann19.xml 708.9 / 297.3 s 948.5 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann20.xml 708.4 / 297.2 s 804.9 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann21.xml 691.2 / 297.2 s 955.9 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann22.xml 885.7 / 297.2 s 1065.0 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann23.xml 1064.0 / 298.2 s 584.0 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann24.xml 736.2 / 297.2 s 895.6 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann25.xml 692.1 / 297.2 s 893.3 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann26.xml 650.4 / 297.1 s 477.8 / 158.1 s
xity__Innermost_Rewriting/AProVE_07/thiemann27.xml 672.6 / 297.2 s 864.2 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann28.xml 692.1 / 297.2 s 396.0 / 128.1 s
xity__Innermost_Rewriting/AProVE_07/thiemann29.xml 814.6 / 297.1 s 1036.0 / 300.1 s
xity__Innermost_Rewriting/AProVE_07/thiemann30.xml 755.8 / 297.2 s 856.6 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann31.xml 773.5 / 297.2 s 950.9 / 300.1 s
xity__Innermost_Rewriting/AProVE_07/thiemann32.xml 965.3 / 298.1 s 1036.9 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann33.xml 1075.6 / 297.4 s 965.5 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann34.xml 494.0 / 297.2 s 1034.8 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann35.xml 552.0 / 149.8 s 1.2 / 0.7 s
xity__Innermost_Rewriting/AProVE_07/thiemann36.xml 589.1 / 297.2 s 915.9 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann37.xml 915.9 / 297.3 s 638.5 / 300.1 s
xity__Innermost_Rewriting/AProVE_07/thiemann38.xml 887.4 / 297.2 s 952.1 / 300.0 s
xity__Innermost_Rewriting/AProVE_07/thiemann39.xml 536.9 / 148.7 s 1.1 / 0.7 s
xity__Innermost_Rewriting/AProVE_07/thiemann40.xml 870.1 / 297.8 s 7.4 / 2.5 s
xity__Innermost_Rewriting/AProVE_07/thiemann41.xml 1167.5 / 297.3 s 1039.2 / 300.1 s
plexity__Innermost_Rewriting/AProVE_07/wiehe01.xml 982.6 / 297.2 s 799.2 / 300.0 s
plexity__Innermost_Rewriting/AProVE_07/wiehe02.xml 981.0 / 297.2 s 809.3 / 300.1 s
plexity__Innermost_Rewriting/AProVE_07/wiehe03.xml 976.5 / 297.2 s 807.5 / 300.1 s
plexity__Innermost_Rewriting/AProVE_07/wiehe05.xml 1022.8 / 297.3 s 811.7 / 300.1 s
plexity__Innermost_Rewriting/AProVE_07/wiehe06.xml 1023.4 / 297.3 s 814.3 / 300.0 s
plexity__Innermost_Rewriting/AProVE_07/wiehe07.xml 1052.0 / 297.4 s 804.4 / 300.0 s
plexity__Innermost_Rewriting/AProVE_07/wiehe08.xml 1027.7 / 297.7 s 798.7 / 300.0 s
plexity__Innermost_Rewriting/AProVE_07/wiehe09.xml 1020.4 / 297.1 s 802.0 / 300.0 s
plexity__Innermost_Rewriting/AProVE_07/wiehe11.xml 1032.8 / 297.1 s 809.8 / 300.1 s
plexity__Innermost_Rewriting/AProVE_07/wiehe12.xml 959.8 / 297.2 s 980.4 / 300.1 s
mplexity__Innermost_Rewriting/AProVE_08/id_inc.xml 453.0 / 297.2 s 907.7 / 300.0 s
_Complexity__Innermost_Rewriting/AProVE_08/log.xml 918.1 / 297.2 s 897.7 / 300.1 s
nnermost_Rewriting/AProVE_08/parting01_reverse.xml 1018.7 / 299.1 s 780.8 / 300.0 s
rmost_Rewriting/AProVE_08/parting02_doublelist.xml 994.0 / 300.0 s 758.6 / 300.0 s
nnermost_Rewriting/AProVE_08/parting03_minsort.xml 973.9 / 298.3 s 868.9 / 300.0 s
ermost_Rewriting/AProVE_08/parting04_maxsort_h.xml 1074.3 / 297.7 s 966.6 / 300.1 s
nnermost_Rewriting/AProVE_08/parting05_maxsort.xml 1015.9 / 299.1 s 918.7 / 300.0 s
omplexity__Innermost_Rewriting/AProVE_08/round.xml 766.1 / 297.4 s 102.3 / 46.4 s
y__Innermost_Rewriting/AProVE_08/round_nonterm.xml 788.5 / 297.5 s 868.3 / 300.0 s
ermost_Rewriting/AProVE_08/thiemann40_modified.xml 561.8 / 297.1 s 514.4 / 300.0 s
y__Innermost_Rewriting/AProVE_09_Inductive/div.xml 857.3 / 297.1 s 997.3 / 300.1 s
nnermost_Rewriting/AProVE_09_Inductive/divhard.xml 809.8 / 297.2 s 993.7 / 300.1 s
y__Innermost_Rewriting/AProVE_09_Inductive/gcd.xml 821.6 / 297.2 s 945.3 / 300.0 s
__Innermost_Rewriting/AProVE_09_Inductive/gcd2.xml 678.0 / 297.2 s 971.7 / 300.0 s
nnermost_Rewriting/AProVE_09_Inductive/gcdhard.xml 808.6 / 297.3 s 750.7 / 300.0 s
y__Innermost_Rewriting/AProVE_09_Inductive/log.xml 732.7 / 297.2 s 1013.2 / 300.0 s
nnermost_Rewriting/AProVE_09_Inductive/maxsort.xml 1015.5 / 298.2 s 887.3 / 300.1 s
Rewriting/AProVE_09_Inductive/maxsortcondition.xml 1007.2 / 297.3 s 897.3 / 300.1 s
nnermost_Rewriting/AProVE_09_Inductive/minsort.xml 1036.5 / 297.3 s 915.2 / 300.0 s
y__Innermost_Rewriting/AProVE_09_Inductive/mod.xml 788.4 / 297.1 s 1030.4 / 300.0 s
_Innermost_Rewriting/AProVE_09_Inductive/qsort.xml 736.1 / 297.2 s 738.6 / 300.0 s
ermost_Rewriting/AProVE_09_Inductive/qsortlast.xml 1066.1 / 297.4 s 812.8 / 300.1 s
most_Rewriting/AProVE_09_Inductive/qsortmiddle.xml 1153.7 / 297.3 s 869.5 / 300.1 s
nermost_Rewriting/AProVE_09_Inductive/zerolist.xml 429.0 / 297.1 s 659.6 / 300.0 s
omplexity__Innermost_Rewriting/Beerendonk_07/1.xml 713.5 / 297.2 s 99.7 / 44.9 s
mplexity__Innermost_Rewriting/Beerendonk_07/10.xml 718.1 / 297.1 s 226.8 / 75.7 s
mplexity__Innermost_Rewriting/Beerendonk_07/11.xml 497.3 / 297.1 s 966.2 / 300.0 s
mplexity__Innermost_Rewriting/Beerendonk_07/12.xml 636.5 / 297.2 s 955.6 / 300.0 s
mplexity__Innermost_Rewriting/Beerendonk_07/13.xml 445.8 / 297.1 s 974.8 / 300.0 s
mplexity__Innermost_Rewriting/Beerendonk_07/14.xml 846.3 / 297.5 s 901.4 / 300.0 s
mplexity__Innermost_Rewriting/Beerendonk_07/15.xml 678.3 / 297.1 s 703.1 / 218.3 s
mplexity__Innermost_Rewriting/Beerendonk_07/16.xml 652.6 / 297.2 s 972.0 / 300.0 s
mplexity__Innermost_Rewriting/Beerendonk_07/17.xml 681.2 / 297.2 s 984.4 / 300.0 s
mplexity__Innermost_Rewriting/Beerendonk_07/18.xml 757.5 / 297.1 s 978.0 / 300.0 s
mplexity__Innermost_Rewriting/Beerendonk_07/19.xml 754.4 / 297.2 s 986.2 / 300.0 s
omplexity__Innermost_Rewriting/Beerendonk_07/2.xml 718.3 / 297.2 s 67.9 / 39.0 s
mplexity__Innermost_Rewriting/Beerendonk_07/20.xml 891.7 / 297.2 s 942.5 / 300.0 s
mplexity__Innermost_Rewriting/Beerendonk_07/21.xml 847.9 / 297.2 s 990.0 / 300.0 s
mplexity__Innermost_Rewriting/Beerendonk_07/22.xml 675.9 / 297.1 s 121.2 / 59.3 s
mplexity__Innermost_Rewriting/Beerendonk_07/23.xml 617.8 / 297.1 s 374.6 / 123.0 s
mplexity__Innermost_Rewriting/Beerendonk_07/24.xml 694.4 / 297.2 s 516.0 / 161.9 s
omplexity__Innermost_Rewriting/Beerendonk_07/3.xml 751.7 / 297.2 s 650.6 / 300.0 s
omplexity__Innermost_Rewriting/Beerendonk_07/4.xml 657.6 / 297.2 s 604.5 / 300.0 s
omplexity__Innermost_Rewriting/Beerendonk_07/5.xml 721.9 / 297.2 s 631.9 / 231.8 s
omplexity__Innermost_Rewriting/Beerendonk_07/6.xml 850.7 / 297.5 s 68.3 / 43.4 s
omplexity__Innermost_Rewriting/Beerendonk_07/7.xml 989.9 / 297.4 s 314.4 / 125.0 s
omplexity__Innermost_Rewriting/Beerendonk_07/8.xml 740.7 / 297.2 s 787.3 / 300.0 s
omplexity__Innermost_Rewriting/Beerendonk_07/9.xml 742.7 / 297.2 s 925.1 / 300.1 s
lexity__Innermost_Rewriting/CiME_04/ack_prolog.xml 954.6 / 297.3 s 798.1 / 300.0 s
exity__Innermost_Rewriting/CiME_04/append-hard.xml 893.7 / 297.6 s 3.2 / 1.3 s
xity__Innermost_Rewriting/CiME_04/append-wrong.xml 385.1 / 297.1 s 11.8 / 6.8 s
Complexity__Innermost_Rewriting/CiME_04/append.xml 0.6 / 0.2 s 1.4 / 0.8 s
me_Complexity__Innermost_Rewriting/CiME_04/big.xml 1169.7 / 297.5 s 793.0 / 300.0 s
ity__Innermost_Rewriting/CiME_04/boolean_rings.xml 3.3 / 1.4 s 1.7 / 0.8 s
e_Complexity__Innermost_Rewriting/CiME_04/dpqs.xml 3.8 / 1.0 s 0.9 / 0.6 s
plexity__Innermost_Rewriting/CiME_04/fact-hard.xml 1061.7 / 297.4 s 761.0 / 300.0 s
plexity__Innermost_Rewriting/CiME_04/filliatre.xml 1013.4 / 297.6 s 923.3 / 300.0 s
lexity__Innermost_Rewriting/CiME_04/filliatre2.xml 1043.2 / 297.5 s 988.0 / 300.1 s
lexity__Innermost_Rewriting/CiME_04/filliatre3.xml 1064.6 / 297.4 s 773.8 / 300.0 s
plexity__Innermost_Rewriting/CiME_04/intersect.xml 656.0 / 297.9 s 32.7 / 9.0 s
t_Rewriting/CiME_04/list-sum-prod-assoc-append.xml 756.0 / 297.2 s 954.7 / 300.1 s
nnermost_Rewriting/CiME_04/list-sum-prod-assoc.xml 736.7 / 297.2 s 875.7 / 300.1 s
ting/CiME_04/list-sum-prod-bin-assoc-distr-app.xml 949.4 / 297.3 s 802.5 / 300.0 s
most_Rewriting/CiME_04/list-sum-prod-bin-assoc.xml 952.2 / 297.3 s 895.9 / 300.0 s
_Innermost_Rewriting/CiME_04/list-sum-prod-bin.xml 920.8 / 297.3 s 782.8 / 300.0 s
ity__Innermost_Rewriting/CiME_04/list-sum-prod.xml 318.7 / 119.4 s 879.1 / 300.1 s
e_Complexity__Innermost_Rewriting/CiME_04/log2.xml 1123.3 / 297.6 s 820.7 / 300.0 s
me_Complexity__Innermost_Rewriting/CiME_04/lse.xml 800.5 / 256.0 s 35.7 / 9.6 s
Complexity__Innermost_Rewriting/CiME_04/maude2.xml 731.0 / 297.2 s 982.8 / 300.0 s
Complexity__Innermost_Rewriting/CiME_04/mucrl1.xml 1010.1 / 291.8 s 66.5 / 17.5 s
xity__Innermost_Rewriting/CiME_04/ternary-hard.xml 992.3 / 297.2 s 861.5 / 300.0 s
omplexity__Innermost_Rewriting/CiME_04/ternary.xml 1070.0 / 297.6 s 876.7 / 300.0 s
e_Complexity__Innermost_Rewriting/CiME_04/tree.xml 986.8 / 297.1 s 847.2 / 300.1 s
ntime_Complexity__Innermost_Rewriting/Der95/01.xml 0.4 / 0.1 s 0.9 / 0.6 s
ntime_Complexity__Innermost_Rewriting/Der95/02.xml 0.4 / 0.2 s 0.9 / 0.6 s
ntime_Complexity__Innermost_Rewriting/Der95/03.xml 0.1 / 0.1 s 0.9 / 0.6 s
ntime_Complexity__Innermost_Rewriting/Der95/04.xml 0.4 / 0.2 s 0.9 / 0.6 s
ntime_Complexity__Innermost_Rewriting/Der95/06.xml 0.2 / 0.1 s 1.2 / 0.7 s
ntime_Complexity__Innermost_Rewriting/Der95/07.xml 0.8 / 0.4 s 1.9 / 0.9 s
ntime_Complexity__Innermost_Rewriting/Der95/08.xml 3.0 / 0.8 s 1.5 / 0.8 s
ntime_Complexity__Innermost_Rewriting/Der95/09.xml 0.5 / 0.3 s 0.9 / 0.6 s
ntime_Complexity__Innermost_Rewriting/Der95/11.xml 327.2 / 148.2 s 2.6 / 1.1 s
ntime_Complexity__Innermost_Rewriting/Der95/12.xml 106.4 / 42.4 s 861.1 / 300.0 s
ntime_Complexity__Innermost_Rewriting/Der95/13.xml 51.0 / 23.7 s 0.9 / 0.6 s
ntime_Complexity__Innermost_Rewriting/Der95/17.xml 431.0 / 148.1 s 0.9 / 0.6 s
ntime_Complexity__Innermost_Rewriting/Der95/18.xml 0.3 / 0.1 s 1.3 / 0.7 s
ntime_Complexity__Innermost_Rewriting/Der95/20.xml 884.9 / 297.1 s 1069.9 / 300.1 s
ntime_Complexity__Innermost_Rewriting/Der95/21.xml 914.3 / 297.3 s 255.5 / 218.8 s
ntime_Complexity__Innermost_Rewriting/Der95/27.xml 0.5 / 0.2 s 1.3 / 0.7 s
ntime_Complexity__Innermost_Rewriting/Der95/28.xml 60.0 / 24.6 s 0.9 / 0.6 s
ntime_Complexity__Innermost_Rewriting/Der95/30.xml 481.7 / 148.8 s 0.9 / 0.6 s
ntime_Complexity__Innermost_Rewriting/Der95/31.xml 4.7 / 1.4 s 2.2 / 1.0 s
ntime_Complexity__Innermost_Rewriting/Der95/32.xml 304.3 / 156.8 s 6.4 / 2.0 s
ntime_Complexity__Innermost_Rewriting/Der95/33.xml 714.0 / 297.2 s 20.0 / 6.8 s
exity__Innermost_Rewriting/Endrullis_06/direct.xml 14.2 / 4.5 s 129.3 / 46.3 s
ity__Innermost_Rewriting/Endrullis_06/labeling.xml 29.5 / 12.3 s 0.9 / 0.6 s
xity__Innermost_Rewriting/Endrullis_06/linear1.xml 500.9 / 148.3 s 0.9 / 0.6 s
xity__Innermost_Rewriting/Endrullis_06/linear2.xml 536.2 / 148.7 s 0.9 / 0.6 s
ty__Innermost_Rewriting/Endrullis_06/pair2hard.xml 486.6 / 148.3 s 0.9 / 0.6 s
_Innermost_Rewriting/Endrullis_06/pair2simple1.xml 6.9 / 1.8 s 0.9 / 0.6 s
_Innermost_Rewriting/Endrullis_06/pair2simple2.xml 514.7 / 148.3 s 0.9 / 0.6 s
ty__Innermost_Rewriting/Endrullis_06/pair3hard.xml 431.1 / 150.3 s 0.9 / 0.6 s
__Innermost_Rewriting/Endrullis_06/pair3rotate.xml 511.1 / 148.4 s 0.9 / 0.6 s
ty__Innermost_Rewriting/Endrullis_06/pair3swap.xml 501.9 / 148.5 s 0.9 / 0.6 s
y__Innermost_Rewriting/Endrullis_06/quadruple1.xml 50.2 / 13.8 s 0.9 / 0.6 s
y__Innermost_Rewriting/Endrullis_06/quadruple2.xml 66.4 / 19.2 s 0.9 / 0.6 s
_Innermost_Rewriting/Frederiksen_Glenstrup/ack.xml 824.7 / 297.4 s 823.3 / 300.0 s
_Innermost_Rewriting/Frederiksen_Glenstrup/add.xml 1.1 / 0.5 s 1.5 / 0.8 s
rmost_Rewriting/Frederiksen_Glenstrup/addlists.xml 1.3 / 0.5 s 1.9 / 0.9 s
rmost_Rewriting/Frederiksen_Glenstrup/anchored.xml 1.1 / 0.5 s 1.5 / 0.8 s
nermost_Rewriting/Frederiksen_Glenstrup/append.xml 0.5 / 0.2 s 1.2 / 0.7 s
ost_Rewriting/Frederiksen_Glenstrup/assrewrite.xml 0.6 / 0.2 s 0.9 / 0.6 s
Innermost_Rewriting/Frederiksen_Glenstrup/badd.xml 726.3 / 297.2 s 1136.8 / 300.0 s
nnermost_Rewriting/Frederiksen_Glenstrup/binom.xml 813.0 / 297.4 s 835.4 / 300.1 s
rmost_Rewriting/Frederiksen_Glenstrup/decrease.xml 1.3 / 0.4 s 1.3 / 0.8 s
_Rewriting/Frederiksen_Glenstrup/deeprev_typed.xml 3.9 / 1.2 s 2.1 / 0.9 s
rmost_Rewriting/Frederiksen_Glenstrup/disjconj.xml 109.4 / 40.2 s 335.8 / 300.0 s
most_Rewriting/Frederiksen_Glenstrup/duplicate.xml 0.4 / 0.1 s 1.2 / 0.7 s
nnermost_Rewriting/Frederiksen_Glenstrup/equal.xml 550.6 / 148.2 s 1.8 / 0.9 s
ermost_Rewriting/Frederiksen_Glenstrup/evenodd.xml 0.6 / 0.3 s 1.3 / 0.8 s
Innermost_Rewriting/Frederiksen_Glenstrup/fold.xml 2.0 / 0.9 s 1.9 / 0.9 s
Innermost_Rewriting/Frederiksen_Glenstrup/game.xml 2.1 / 0.6 s 2.2 / 1.0 s
Innermost_Rewriting/Frederiksen_Glenstrup/gcd1.xml 436.5 / 148.3 s 25.3 / 7.0 s
Innermost_Rewriting/Frederiksen_Glenstrup/gcd2.xml 439.8 / 148.5 s 26.1 / 7.1 s
rmost_Rewriting/Frederiksen_Glenstrup/increase.xml 1072.7 / 297.9 s 860.6 / 300.0 s
_Innermost_Rewriting/Frederiksen_Glenstrup/int.xml 54.4 / 15.6 s 26.6 / 7.3 s
most_Rewriting/Frederiksen_Glenstrup/intlookup.xml 662.5 / 297.5 s 7.4 / 2.6 s
ewriting/Frederiksen_Glenstrup/lambdaint_typed.xml 105.5 / 35.4 s 3.1 / 1.2 s
nermost_Rewriting/Frederiksen_Glenstrup/letexp.xml 1012.5 / 298.1 s 860.3 / 300.1 s
Innermost_Rewriting/Frederiksen_Glenstrup/list.xml 0.4 / 0.1 s 1.2 / 0.7 s
_Innermost_Rewriting/Frederiksen_Glenstrup/lte.xml 1.8 / 0.8 s 1.8 / 0.9 s
Innermost_Rewriting/Frederiksen_Glenstrup/map0.xml 2.1 / 0.7 s 1.7 / 0.8 s
nermost_Rewriting/Frederiksen_Glenstrup/member.xml 2.2 / 0.9 s 2.0 / 0.9 s
ost_Rewriting/Frederiksen_Glenstrup/mergelists.xml 1.2 / 0.3 s 0.9 / 0.6 s
most_Rewriting/Frederiksen_Glenstrup/mergesort.xml 424.2 / 297.2 s 11.4 / 3.3 s
ermost_Rewriting/Frederiksen_Glenstrup/minsort.xml 890.4 / 297.3 s 933.4 / 300.0 s
_Innermost_Rewriting/Frederiksen_Glenstrup/mul.xml 79.5 / 31.7 s 5.3 / 2.0 s
ost_Rewriting/Frederiksen_Glenstrup/mul_better.xml 82.9 / 32.7 s 5.3 / 2.0 s
rmost_Rewriting/Frederiksen_Glenstrup/naiverev.xml 162.3 / 64.3 s 2.6 / 1.1 s
ermost_Rewriting/Frederiksen_Glenstrup/nestdec.xml 526.4 / 148.2 s 4.2 / 1.5 s
ermost_Rewriting/Frederiksen_Glenstrup/nesteql.xml 1047.8 / 297.4 s 5.9 / 2.1 s
most_Rewriting/Frederiksen_Glenstrup/nestimeql.xml 882.6 / 297.2 s 572.9 / 300.0 s
ermost_Rewriting/Frederiksen_Glenstrup/nestinc.xml 875.3 / 297.2 s 863.4 / 300.0 s
ost_Rewriting/Frederiksen_Glenstrup/nolexicord.xml 560.8 / 148.7 s 3.7 / 1.4 s
ermost_Rewriting/Frederiksen_Glenstrup/ordered.xml 0.9 / 0.3 s 0.9 / 0.6 s
Rewriting/Frederiksen_Glenstrup/ordered_better.xml 1.0 / 0.4 s 0.9 / 0.6 s
ermost_Rewriting/Frederiksen_Glenstrup/overlap.xml 70.4 / 26.5 s 6.1 / 2.0 s
ermost_Rewriting/Frederiksen_Glenstrup/parsexp.xml 1070.7 / 297.4 s 900.5 / 300.0 s
ermost_Rewriting/Frederiksen_Glenstrup/permute.xml 992.6 / 300.0 s 796.9 / 300.1 s
nnermost_Rewriting/Frederiksen_Glenstrup/power.xml 707.4 / 297.2 s 448.7 / 300.0 s
most_Rewriting/Frederiksen_Glenstrup/quicksort.xml 601.6 / 297.2 s 903.3 / 300.1 s
nermost_Rewriting/Frederiksen_Glenstrup/revapp.xml 0.8 / 0.3 s 1.3 / 0.7 s
nermost_Rewriting/Frederiksen_Glenstrup/select.xml 35.1 / 15.3 s 2.1 / 1.0 s
ermost_Rewriting/Frederiksen_Glenstrup/shuffle.xml 441.6 / 149.5 s 3.9 / 1.5 s
_Innermost_Rewriting/Frederiksen_Glenstrup/sp1.xml 455.1 / 185.9 s 4.2 / 2.1 s
ermost_Rewriting/Frederiksen_Glenstrup/subsets.xml 168.9 / 78.2 s 891.7 / 300.0 s
rmost_Rewriting/Frederiksen_Glenstrup/thetrick.xml 1069.8 / 297.6 s 511.5 / 300.0 s
t_Rewriting/Frederiksen_Glenstrup/turing_typed.xml 9.5 / 2.5 s 1.9 / 0.9 s
ewriting/Frederiksen_Glenstrup/vangelder_typed.xml 971.3 / 297.2 s 811.7 / 300.0 s
ty__Innermost_Rewriting/Frederiksen_Others/add.xml 1.1 / 0.5 s 1.2 / 0.7 s
st_Rewriting/Frederiksen_Others/assrewriteSize.xml 555.9 / 148.4 s 725.3 / 300.0 s
nnermost_Rewriting/Frederiksen_Others/boolprog.xml 10.5 / 2.7 s 1.1 / 0.7 s
ermost_Rewriting/Frederiksen_Others/bubblesort.xml 365.4 / 148.1 s 9.7 / 2.9 s
most_Rewriting/Frederiksen_Others/deadcodeSize.xml 98.1 / 24.8 s 1.3 / 0.8 s
rmost_Rewriting/Frederiksen_Others/disj2_typed.xml 2.6 / 0.9 s 1.5 / 0.8 s
y__Innermost_Rewriting/Frederiksen_Others/div2.xml 0.9 / 0.5 s 1.2 / 0.7 s
ermost_Rewriting/Frederiksen_Others/dup1_typed.xml 2.2 / 1.0 s 1.9 / 0.9 s
ermost_Rewriting/Frederiksen_Others/dup2_typed.xml 2.4 / 1.0 s 1.6 / 0.8 s
ity__Innermost_Rewriting/Frederiksen_Others/eq.xml 0.4 / 0.2 s 1.3 / 0.7 s
ty__Innermost_Rewriting/Frederiksen_Others/ex6.xml 1.4 / 0.5 s 2.1 / 1.0 s
ty__Innermost_Rewriting/Frederiksen_Others/fgh.xml 719.8 / 297.3 s 786.3 / 300.1 s
Innermost_Rewriting/Frederiksen_Others/fghSize.xml 694.4 / 297.2 s 785.4 / 300.1 s
_Innermost_Rewriting/Frederiksen_Others/gexgcd.xml 96.7 / 25.0 s 20.0 / 5.5 s
Innermost_Rewriting/Frederiksen_Others/gexgcd2.xml 2.0 / 0.8 s 2.1 / 1.0 s
ewriting/Frederiksen_Others/graphcolour1_typed.xml 805.3 / 217.5 s 945.2 / 300.1 s
ting/Frederiksen_Others/graphcolour2Size_typed.xml 1194.2 / 300.0 s 903.5 / 300.0 s
ewriting/Frederiksen_Others/graphcolour2_typed.xml 1184.2 / 297.8 s 879.7 / 300.0 s
ewriting/Frederiksen_Others/graphcolour3_typed.xml 1186.2 / 299.3 s 947.8 / 300.1 s
Innermost_Rewriting/Frederiksen_Others/inssort.xml 556.4 / 148.1 s 6.7 / 2.1 s
st_Rewriting/Frederiksen_Others/inssort_better.xml 290.4 / 148.1 s 5.8 / 1.9 s
__Innermost_Rewriting/Frederiksen_Others/match.xml 1.4 / 0.4 s 0.9 / 0.6 s
rmost_Rewriting/Frederiksen_Others/minsortSize.xml 867.6 / 297.3 s 930.3 / 300.0 s
ermost_Rewriting/Frederiksen_Others/ocall-safe.xml 0.8 / 0.4 s 1.2 / 0.7 s
most_Rewriting/Frederiksen_Others/ocall-unsafe.xml 0.8 / 0.4 s 1.2 / 0.7 s
Innermost_Rewriting/Frederiksen_Others/oddeven.xml 0.3 / 0.2 s 1.3 / 0.7 s
_Innermost_Rewriting/Frederiksen_Others/permut.xml 0.3 / 0.1 s 1.2 / 0.7 s
__Innermost_Rewriting/Frederiksen_Others/power.xml 711.8 / 297.2 s 430.4 / 300.0 s
st_Rewriting/Frederiksen_Others/quicksortPtime.xml 560.2 / 148.4 s 30.9 / 10.0 s
ost_Rewriting/Frederiksen_Others/quicksortSize.xml 1004.8 / 298.4 s 851.2 / 300.0 s
__Innermost_Rewriting/Frederiksen_Others/reach.xml 820.8 / 297.3 s 85.4 / 34.0 s
Innermost_Rewriting/Frederiksen_Others/rematch.xml 749.1 / 299.9 s 995.3 / 300.0 s
nnermost_Rewriting/Frederiksen_Others/strmatch.xml 26.8 / 7.0 s 9.5 / 2.8 s
most_Rewriting/Frederiksen_Others/thetrickSize.xml 80.2 / 20.8 s 7.7 / 2.4 s
Complexity__Innermost_Rewriting/GTSSK07/cade01.xml 671.6 / 297.2 s 857.5 / 300.0 s
Complexity__Innermost_Rewriting/GTSSK07/cade03.xml 876.3 / 297.6 s 855.4 / 300.0 s
omplexity__Innermost_Rewriting/GTSSK07/cade04t.xml 667.4 / 297.2 s 820.9 / 300.0 s
omplexity__Innermost_Rewriting/GTSSK07/cade05t.xml 710.8 / 297.2 s 969.5 / 300.0 s
Complexity__Innermost_Rewriting/GTSSK07/cade06.xml 849.3 / 297.4 s 710.0 / 300.1 s
Complexity__Innermost_Rewriting/GTSSK07/cade07.xml 493.4 / 297.1 s 939.0 / 300.0 s
Complexity__Innermost_Rewriting/GTSSK07/cade08.xml 846.4 / 297.7 s 756.0 / 300.0 s
Complexity__Innermost_Rewriting/GTSSK07/cade09.xml 718.8 / 297.2 s 726.8 / 300.0 s
Complexity__Innermost_Rewriting/GTSSK07/cade10.xml 470.7 / 297.1 s 721.4 / 300.0 s
Complexity__Innermost_Rewriting/GTSSK07/cade11.xml 702.7 / 297.2 s 598.4 / 300.0 s
omplexity__Innermost_Rewriting/GTSSK07/cade12t.xml 795.5 / 297.2 s 900.0 / 300.0 s
omplexity__Innermost_Rewriting/GTSSK07/cade13t.xml 749.5 / 297.1 s 921.8 / 300.0 s
Complexity__Innermost_Rewriting/GTSSK07/cade14.xml 704.9 / 297.2 s 948.7 / 300.0 s
Complexity__Innermost_Rewriting/GTSSK07/cade15.xml 703.6 / 297.1 s 987.8 / 300.1 s
Complexity__Innermost_Rewriting/GTSSK07/cade16.xml 876.7 / 297.2 s 943.3 / 300.0 s
Complexity__Innermost_Rewriting/GTSSK07/cade17.xml 709.0 / 297.2 s 1008.5 / 300.0 s
Innermost_Rewriting/HirokawaMiddeldorp_04/n002.xml 97.7 / 24.7 s 1.3 / 0.8 s
Innermost_Rewriting/HirokawaMiddeldorp_04/n003.xml 98.5 / 24.9 s 1.4 / 0.8 s
Innermost_Rewriting/HirokawaMiddeldorp_04/n004.xml 99.8 / 25.4 s 1.4 / 0.8 s
Innermost_Rewriting/HirokawaMiddeldorp_04/n005.xml 825.1 / 297.2 s 863.8 / 300.0 s
Innermost_Rewriting/HirokawaMiddeldorp_04/n006.xml 104.4 / 27.0 s 24.1 / 22.1 s
Innermost_Rewriting/HirokawaMiddeldorp_04/n007.xml 22.2 / 8.7 s 1.6 / 0.9 s
Innermost_Rewriting/HirokawaMiddeldorp_04/n008.xml 0.0 / 0.0 s 0.9 / 0.6 s
Innermost_Rewriting/HirokawaMiddeldorp_04/t000.xml 82.7 / 24.1 s 1.6 / 0.8 s
Innermost_Rewriting/HirokawaMiddeldorp_04/t001.xml 957.8 / 297.4 s 508.9 / 300.1 s
Innermost_Rewriting/HirokawaMiddeldorp_04/t002.xml 885.1 / 297.4 s 6.4 / 2.3 s
Innermost_Rewriting/HirokawaMiddeldorp_04/t003.xml 959.5 / 297.5 s 549.0 / 300.1 s
Innermost_Rewriting/HirokawaMiddeldorp_04/t004.xml 727.3 / 297.3 s 572.6 / 242.7 s
Innermost_Rewriting/HirokawaMiddeldorp_04/t005.xml 166.7 / 53.0 s 2.0 / 1.0 s
Innermost_Rewriting/HirokawaMiddeldorp_04/t006.xml 0.4 / 0.2 s 0.9 / 0.6 s
Innermost_Rewriting/HirokawaMiddeldorp_04/t007.xml 72.4 / 24.0 s 0.9 / 0.6 s
Innermost_Rewriting/HirokawaMiddeldorp_04/t008.xml 9.8 / 2.6 s 0.9 / 0.6 s
Innermost_Rewriting/HirokawaMiddeldorp_04/t009.xml 1111.1 / 297.2 s 1137.8 / 300.0 s
Innermost_Rewriting/HirokawaMiddeldorp_04/t010.xml 0.1 / 0.0 s 0.9 / 0.6 s
Innermost_Rewriting/HirokawaMiddeldorp_04/t011.xml 70.7 / 24.0 s 1.4 / 0.8 s
Innermost_Rewriting/HirokawaMiddeldorp_04/t012.xml 893.5 / 297.2 s 1072.6 / 300.0 s
Innermost_Rewriting/HirokawaMiddeldorp_04/t013.xml 871.7 / 297.2 s 864.5 / 300.0 s
Innermost_Rewriting/HirokawaMiddeldorp_04/t014.xml 38.0 / 12.0 s 3.5 / 1.3 s
me_Complexity__Innermost_Rewriting/Mixed_TRS/1.xml 61.3 / 17.6 s 0.9 / 0.6 s
me_Complexity__Innermost_Rewriting/Mixed_TRS/2.xml 505.0 / 148.4 s 0.9 / 0.6 s
me_Complexity__Innermost_Rewriting/Mixed_TRS/3.xml 503.3 / 148.7 s 0.9 / 0.6 s
me_Complexity__Innermost_Rewriting/Mixed_TRS/4.xml 69.4 / 20.3 s 0.9 / 0.6 s
me_Complexity__Innermost_Rewriting/Mixed_TRS/5.xml 4.0 / 1.2 s 0.9 / 0.6 s
me_Complexity__Innermost_Rewriting/Mixed_TRS/6.xml 450.4 / 148.3 s 0.9 / 0.6 s
me_Complexity__Innermost_Rewriting/Mixed_TRS/7.xml 438.4 / 148.6 s 0.9 / 0.6 s
y__Innermost_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.xml 954.0 / 297.2 s 941.7 / 300.1 s
omplexity__Innermost_Rewriting/Mixed_TRS/beans.xml 560.4 / 148.4 s 0.9 / 0.6 s
plexity__Innermost_Rewriting/Mixed_TRS/fossacs.xml 677.8 / 297.2 s 807.4 / 300.0 s
_Complexity__Innermost_Rewriting/Mixed_TRS/gcd.xml 667.9 / 297.3 s 970.3 / 300.0 s
exity__Innermost_Rewriting/Mixed_TRS/gcdMinMax.xml 1046.5 / 300.0 s 880.5 / 300.1 s
xity__Innermost_Rewriting/Mixed_TRS/gcd_triple.xml 1049.6 / 299.7 s 934.4 / 300.1 s
_Innermost_Rewriting/Mixed_TRS/hydra-Zantema06.xml 704.3 / 297.2 s 17.3 / 7.0 s
omplexity__Innermost_Rewriting/Mixed_TRS/hydra.xml 0.9 / 0.4 s 2.0 / 0.9 s
mplexity__Innermost_Rewriting/Mixed_TRS/jones1.xml 0.6 / 0.3 s 1.3 / 0.7 s
mplexity__Innermost_Rewriting/Mixed_TRS/jones2.xml 1.9 / 0.6 s 1.5 / 0.8 s
mplexity__Innermost_Rewriting/Mixed_TRS/jones4.xml 0.7 / 0.3 s 1.5 / 0.8 s
mplexity__Innermost_Rewriting/Mixed_TRS/jones5.xml 594.5 / 262.1 s 319.7 / 300.0 s
mplexity__Innermost_Rewriting/Mixed_TRS/jones6.xml 1.6 / 0.6 s 1.6 / 0.8 s
plexity__Innermost_Rewriting/Mixed_TRS/minsort.xml 959.6 / 297.5 s 803.3 / 300.1 s
xity__Innermost_Rewriting/Mixed_TRS/motivation.xml 3.2 / 1.0 s 0.9 / 0.6 s
plexity__Innermost_Rewriting/Mixed_TRS/perfect.xml 2.8 / 1.1 s 2.1 / 0.9 s
lexity__Innermost_Rewriting/Mixed_TRS/perfect2.xml 958.1 / 297.5 s 534.2 / 300.0 s
omplexity__Innermost_Rewriting/Mixed_TRS/test1.xml 664.9 / 245.9 s 21.4 / 8.3 s
omplexity__Innermost_Rewriting/Mixed_TRS/while.xml 683.0 / 297.2 s 602.7 / 300.0 s
mplexity__Innermost_Rewriting/Mixed_TRS/while2.xml 324.4 / 148.2 s 0.9 / 0.6 s
_Complexity__Innermost_Rewriting/Rubio_04/aoto.xml 7.2 / 2.0 s 0.9 / 0.6 s
plexity__Innermost_Rewriting/Rubio_04/bintrees.xml 3.8 / 1.0 s 3.5 / 1.3 s
Complexity__Innermost_Rewriting/Rubio_04/bn122.xml 2.2 / 0.6 s 3.9 / 1.4 s
Complexity__Innermost_Rewriting/Rubio_04/bn129.xml 372.8 / 148.2 s 0.9 / 0.6 s
plexity__Innermost_Rewriting/Rubio_04/division.xml 367.3 / 96.6 s 12.4 / 4.0 s
plexity__Innermost_Rewriting/Rubio_04/elimdupl.xml 218.8 / 77.7 s 8.2 / 2.5 s
_Complexity__Innermost_Rewriting/Rubio_04/enno.xml 495.6 / 148.1 s 20.9 / 6.2 s
e_Complexity__Innermost_Rewriting/Rubio_04/gcd.xml 164.8 / 60.0 s 7.7 / 2.4 s
me_Complexity__Innermost_Rewriting/Rubio_04/gm.xml 1.6 / 0.7 s 2.6 / 1.1 s
_Complexity__Innermost_Rewriting/Rubio_04/gmnp.xml 2.6 / 0.7 s 1.2 / 0.8 s
_Complexity__Innermost_Rewriting/Rubio_04/koen.xml 0.5 / 0.2 s 0.9 / 0.6 s
plexity__Innermost_Rewriting/Rubio_04/lescanne.xml 1.9 / 0.8 s 2.5 / 1.0 s
omplexity__Innermost_Rewriting/Rubio_04/lindau.xml 0.1 / 0.0 s 0.9 / 0.6 s
lexity__Innermost_Rewriting/Rubio_04/logarquot.xml 208.6 / 59.3 s 8.9 / 2.7 s
_Complexity__Innermost_Rewriting/Rubio_04/ma96.xml 932.1 / 297.2 s 843.7 / 300.1 s
omplexity__Innermost_Rewriting/Rubio_04/mfp90b.xml 0.3 / 0.1 s 0.9 / 0.6 s
Complexity__Innermost_Rewriting/Rubio_04/mfp95.xml 0.2 / 0.1 s 0.9 / 0.6 s
mplexity__Innermost_Rewriting/Rubio_04/nestrec.xml 790.1 / 297.2 s 710.9 / 300.0 s
_Complexity__Innermost_Rewriting/Rubio_04/p266.xml 4.1 / 1.1 s 0.9 / 0.6 s
Complexity__Innermost_Rewriting/Rubio_04/polo2.xml 328.0 / 148.2 s 3.0 / 1.2 s
_Complexity__Innermost_Rewriting/Rubio_04/prov.xml 1.1 / 0.6 s 2.9 / 1.1 s
Complexity__Innermost_Rewriting/Rubio_04/quick.xml 1010.8 / 297.3 s 844.8 / 300.0 s
lexity__Innermost_Rewriting/Rubio_04/quotminus.xml 230.6 / 96.4 s 338.0 / 300.0 s
mplexity__Innermost_Rewriting/Rubio_04/revlist.xml 953.9 / 297.3 s 928.8 / 300.0 s
mplexity__Innermost_Rewriting/Rubio_04/selsort.xml 607.1 / 174.2 s 878.7 / 300.1 s
Complexity__Innermost_Rewriting/Rubio_04/test4.xml 6.2 / 1.9 s 2.9 / 1.3 s
mplexity__Innermost_Rewriting/Rubio_04/test829.xml 1.0 / 0.5 s 1.4 / 0.8 s
Complexity__Innermost_Rewriting/Rubio_04/wst99.xml 616.2 / 297.3 s 13.6 / 3.9 s
time_Complexity__Innermost_Rewriting/SK90/2.01.xml 1.7 / 0.8 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/2.02.xml 720.8 / 297.2 s 20.3 / 9.4 s
time_Complexity__Innermost_Rewriting/SK90/2.03.xml 0.7 / 0.3 s 1.3 / 0.7 s
time_Complexity__Innermost_Rewriting/SK90/2.04.xml 0.7 / 0.4 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/2.05.xml 452.9 / 148.2 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/2.06.xml 1.9 / 0.9 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/2.07.xml 6.8 / 2.0 s 2.3 / 1.0 s
time_Complexity__Innermost_Rewriting/SK90/2.08.xml 12.9 / 3.4 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/2.09.xml 0.5 / 0.2 s 1.3 / 0.8 s
time_Complexity__Innermost_Rewriting/SK90/2.10.xml 2.8 / 1.3 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/2.11.xml 0.6 / 0.3 s 1.6 / 0.8 s
time_Complexity__Innermost_Rewriting/SK90/2.12.xml 120.5 / 50.1 s 14.1 / 4.5 s
time_Complexity__Innermost_Rewriting/SK90/2.13.xml 1.6 / 0.5 s 1.4 / 0.8 s
time_Complexity__Innermost_Rewriting/SK90/2.14.xml 0.8 / 0.3 s 2.0 / 1.0 s
time_Complexity__Innermost_Rewriting/SK90/2.15.xml 17.7 / 6.0 s 13.5 / 5.7 s
time_Complexity__Innermost_Rewriting/SK90/2.16.xml 24.0 / 11.8 s 4.1 / 1.5 s
time_Complexity__Innermost_Rewriting/SK90/2.17.xml 0.5 / 0.2 s 1.4 / 0.8 s
time_Complexity__Innermost_Rewriting/SK90/2.18.xml 7.1 / 3.3 s 2.5 / 1.1 s
time_Complexity__Innermost_Rewriting/SK90/2.19.xml 124.5 / 60.8 s 5.7 / 1.9 s
time_Complexity__Innermost_Rewriting/SK90/2.20.xml 0.6 / 0.2 s 1.2 / 0.7 s
time_Complexity__Innermost_Rewriting/SK90/2.21.xml 63.9 / 24.6 s 15.2 / 6.3 s
time_Complexity__Innermost_Rewriting/SK90/2.22.xml 9.0 / 3.8 s 3.5 / 1.3 s
time_Complexity__Innermost_Rewriting/SK90/2.23.xml 716.2 / 297.1 s 649.3 / 300.0 s
time_Complexity__Innermost_Rewriting/SK90/2.24.xml 37.9 / 12.0 s 18.7 / 9.1 s
time_Complexity__Innermost_Rewriting/SK90/2.25.xml 808.8 / 298.7 s 856.8 / 300.1 s
time_Complexity__Innermost_Rewriting/SK90/2.26.xml 1008.1 / 297.4 s 856.7 / 300.1 s
time_Complexity__Innermost_Rewriting/SK90/2.27.xml 882.6 / 297.1 s 588.6 / 300.0 s
time_Complexity__Innermost_Rewriting/SK90/2.28.xml 705.5 / 297.2 s 738.6 / 300.0 s
time_Complexity__Innermost_Rewriting/SK90/2.29.xml 1.5 / 0.7 s 1.2 / 0.7 s
time_Complexity__Innermost_Rewriting/SK90/2.30.xml 0.2 / 0.0 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/2.31.xml 1.3 / 0.5 s 1.7 / 0.9 s
time_Complexity__Innermost_Rewriting/SK90/2.32.xml 2.2 / 1.0 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/2.33.xml 1.4 / 0.7 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/2.34.xml 1.8 / 0.9 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/2.35.xml 0.9 / 0.4 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/2.36.xml 61.9 / 24.1 s 1.6 / 0.8 s
time_Complexity__Innermost_Rewriting/SK90/2.37.xml 0.4 / 0.2 s 1.5 / 0.8 s
time_Complexity__Innermost_Rewriting/SK90/2.38.xml 1.1 / 0.5 s 2.2 / 1.0 s
time_Complexity__Innermost_Rewriting/SK90/2.39.xml 153.0 / 59.1 s 2.8 / 1.2 s
time_Complexity__Innermost_Rewriting/SK90/2.40.xml 1.2 / 0.6 s 1.3 / 0.8 s
time_Complexity__Innermost_Rewriting/SK90/2.41.xml 1.6 / 0.4 s 2.0 / 1.0 s
time_Complexity__Innermost_Rewriting/SK90/2.42.xml 71.6 / 32.4 s 7.1 / 2.2 s
time_Complexity__Innermost_Rewriting/SK90/2.43.xml 800.9 / 297.4 s 18.3 / 6.7 s
time_Complexity__Innermost_Rewriting/SK90/2.44.xml 4.5 / 1.5 s 3.0 / 1.2 s
time_Complexity__Innermost_Rewriting/SK90/2.45.xml 7.2 / 3.4 s 1.6 / 0.8 s
time_Complexity__Innermost_Rewriting/SK90/2.46.xml 1.2 / 0.6 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/2.47.xml 0.2 / 0.1 s 1.2 / 0.7 s
time_Complexity__Innermost_Rewriting/SK90/2.48.xml 0.4 / 0.2 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/2.49.xml 2.8 / 1.4 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/2.50.xml 0.1 / 0.1 s 1.2 / 0.7 s
time_Complexity__Innermost_Rewriting/SK90/2.51.xml 934.3 / 297.6 s 706.8 / 300.0 s
time_Complexity__Innermost_Rewriting/SK90/2.52.xml 961.1 / 297.4 s 807.9 / 300.0 s
time_Complexity__Innermost_Rewriting/SK90/2.53.xml 0.7 / 0.3 s 1.4 / 0.8 s
time_Complexity__Innermost_Rewriting/SK90/2.54.xml 0.4 / 0.2 s 1.2 / 0.7 s
time_Complexity__Innermost_Rewriting/SK90/2.55.xml 0.4 / 0.2 s 1.3 / 0.7 s
time_Complexity__Innermost_Rewriting/SK90/2.56.xml 0.4 / 0.2 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/2.57.xml 1.4 / 0.8 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/2.58.xml 0.5 / 0.2 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/2.59.xml 0.2 / 0.1 s 1.3 / 0.7 s
time_Complexity__Innermost_Rewriting/SK90/2.60.xml 3.7 / 2.0 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/2.61.xml 4.9 / 2.1 s 11.1 / 3.2 s
time_Complexity__Innermost_Rewriting/SK90/4.01.xml 0.6 / 0.3 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.02.xml 365.5 / 148.3 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.03.xml 18.2 / 5.8 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.04.xml 1.4 / 0.7 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.05.xml 12.4 / 5.0 s 1.3 / 0.8 s
time_Complexity__Innermost_Rewriting/SK90/4.06.xml 820.7 / 297.5 s 408.6 / 225.8 s
time_Complexity__Innermost_Rewriting/SK90/4.07.xml 0.7 / 0.3 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.08.xml 0.6 / 0.3 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.09.xml 8.6 / 2.6 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.10.xml 35.2 / 13.4 s 2.0 / 0.9 s
time_Complexity__Innermost_Rewriting/SK90/4.11.xml 0.8 / 0.4 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.12.xml 70.3 / 24.1 s 1.8 / 0.9 s
time_Complexity__Innermost_Rewriting/SK90/4.13.xml 35.8 / 13.8 s 1.9 / 0.9 s
time_Complexity__Innermost_Rewriting/SK90/4.14.xml 50.2 / 19.7 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.15.xml 0.6 / 0.3 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.16.xml 1.5 / 0.4 s 1.5 / 0.8 s
time_Complexity__Innermost_Rewriting/SK90/4.17.xml 176.6 / 75.7 s 325.0 / 300.0 s
time_Complexity__Innermost_Rewriting/SK90/4.18.xml 1.0 / 0.4 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.19.xml 1.5 / 0.8 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.20.xml 2.6 / 1.2 s 1.6 / 0.8 s
time_Complexity__Innermost_Rewriting/SK90/4.21.xml 13.0 / 4.1 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.22.xml 191.2 / 117.5 s 669.0 / 300.0 s
time_Complexity__Innermost_Rewriting/SK90/4.23.xml 68.4 / 27.5 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.24.xml 907.4 / 297.3 s 867.6 / 300.0 s
time_Complexity__Innermost_Rewriting/SK90/4.25.xml 0.6 / 0.2 s 1.3 / 0.7 s
time_Complexity__Innermost_Rewriting/SK90/4.26.xml 78.6 / 31.2 s 3.3 / 1.2 s
time_Complexity__Innermost_Rewriting/SK90/4.27.xml 961.9 / 297.2 s 919.8 / 300.0 s
time_Complexity__Innermost_Rewriting/SK90/4.28.xml 3.3 / 1.0 s 1.9 / 0.9 s
time_Complexity__Innermost_Rewriting/SK90/4.29.xml 1.2 / 0.5 s 1.7 / 0.8 s
time_Complexity__Innermost_Rewriting/SK90/4.30.xml 20.5 / 6.1 s 76.4 / 32.7 s
time_Complexity__Innermost_Rewriting/SK90/4.31.xml 691.1 / 297.2 s 7.8 / 3.0 s
time_Complexity__Innermost_Rewriting/SK90/4.32.xml 323.6 / 132.2 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.33.xml 0.3 / 0.1 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.34.xml 648.2 / 297.2 s 39.7 / 35.9 s
time_Complexity__Innermost_Rewriting/SK90/4.35.xml 0.3 / 0.2 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.36.xml 0.5 / 0.3 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.37.xml 0.2 / 0.1 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.38.xml 1.6 / 0.6 s 1.8 / 0.9 s
time_Complexity__Innermost_Rewriting/SK90/4.39.xml 1.0 / 0.6 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.40.xml 440.5 / 148.4 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.41.xml 0.6 / 0.2 s 1.4 / 0.8 s
time_Complexity__Innermost_Rewriting/SK90/4.42.xml 768.2 / 297.5 s 991.4 / 300.0 s
time_Complexity__Innermost_Rewriting/SK90/4.43.xml 256.3 / 90.2 s 53.9 / 27.3 s
time_Complexity__Innermost_Rewriting/SK90/4.44.xml 1.7 / 0.5 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.45.xml 0.2 / 0.1 s 1.2 / 0.8 s
time_Complexity__Innermost_Rewriting/SK90/4.46.xml 0.2 / 0.1 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.47.xml 2.6 / 1.3 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.48.xml 1.0 / 0.5 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.49.xml 58.7 / 23.7 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.50.xml 1.9 / 0.8 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.51.xml 4.2 / 1.3 s 1.7 / 0.9 s
time_Complexity__Innermost_Rewriting/SK90/4.52.xml 3.0 / 1.3 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.53.xml 5.7 / 1.6 s 1.8 / 0.9 s
time_Complexity__Innermost_Rewriting/SK90/4.54.xml 438.2 / 297.1 s 183.2 / 124.0 s
time_Complexity__Innermost_Rewriting/SK90/4.55.xml 102.9 / 26.4 s 1.1 / 0.7 s
time_Complexity__Innermost_Rewriting/SK90/4.56.xml 0.4 / 0.2 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.57.xml 187.4 / 92.1 s 0.9 / 0.6 s
time_Complexity__Innermost_Rewriting/SK90/4.59.xml 121.1 / 39.9 s 18.5 / 7.4 s
time_Complexity__Innermost_Rewriting/SK90/4.60.xml 989.8 / 297.3 s 755.6 / 300.0 s
time_Complexity__Innermost_Rewriting/SK90/4.61.xml 1111.5 / 297.4 s 805.4 / 300.1 s
ity__Innermost_Rewriting/Secret_05_TRS/aprove1.xml 495.1 / 149.2 s 1.0 / 0.6 s
ity__Innermost_Rewriting/Secret_05_TRS/aprove2.xml 702.0 / 297.2 s 127.0 / 42.7 s
ity__Innermost_Rewriting/Secret_05_TRS/aprove3.xml 991.7 / 297.4 s 680.2 / 300.0 s
ity__Innermost_Rewriting/Secret_05_TRS/aprove4.xml 671.9 / 297.2 s 14.4 / 8.0 s
ity__Innermost_Rewriting/Secret_05_TRS/aprove5.xml 1013.9 / 297.3 s 769.9 / 300.1 s
exity__Innermost_Rewriting/Secret_05_TRS/cime1.xml 559.1 / 148.7 s 1.5 / 0.8 s
exity__Innermost_Rewriting/Secret_05_TRS/cime2.xml 13.1 / 3.9 s 4.7 / 1.6 s
exity__Innermost_Rewriting/Secret_05_TRS/cime3.xml 929.7 / 298.0 s 879.5 / 300.1 s
exity__Innermost_Rewriting/Secret_05_TRS/cime4.xml 12.3 / 4.9 s 0.9 / 0.6 s
exity__Innermost_Rewriting/Secret_05_TRS/cime5.xml 620.3 / 162.9 s 973.4 / 300.0 s
y__Innermost_Rewriting/Secret_05_TRS/matchbox1.xml 19.8 / 8.3 s 0.9 / 0.6 s
y__Innermost_Rewriting/Secret_05_TRS/matchbox2.xml 1.8 / 0.6 s 0.9 / 0.6 s
ty__Innermost_Rewriting/Secret_05_TRS/teparla1.xml 492.2 / 148.6 s 0.9 / 0.6 s
ty__Innermost_Rewriting/Secret_05_TRS/teparla2.xml 428.3 / 148.3 s 0.9 / 0.6 s
ty__Innermost_Rewriting/Secret_05_TRS/teparla3.xml 456.7 / 148.5 s 0.9 / 0.6 s
lexity__Innermost_Rewriting/Secret_05_TRS/tpa1.xml 1037.7 / 297.5 s 884.8 / 300.0 s
lexity__Innermost_Rewriting/Secret_05_TRS/tpa2.xml 1006.2 / 297.4 s 51.6 / 19.9 s
lexity__Innermost_Rewriting/Secret_05_TRS/tpa3.xml 1075.0 / 298.7 s 1064.1 / 300.0 s
lexity__Innermost_Rewriting/Secret_05_TRS/tpa4.xml 1035.4 / 297.9 s 980.3 / 300.1 s
lexity__Innermost_Rewriting/Secret_05_TRS/tpa5.xml 1016.7 / 297.2 s 777.0 / 300.0 s
lexity__Innermost_Rewriting/Secret_05_TRS/ttt1.xml 348.5 / 148.4 s 0.9 / 0.6 s
lexity__Innermost_Rewriting/Secret_05_TRS/ttt2.xml 996.4 / 298.4 s 3.4 / 1.3 s
mplexity__Innermost_Rewriting/Secret_06_TRS/10.xml 1.4 / 0.7 s 2.1 / 0.9 s
omplexity__Innermost_Rewriting/Secret_06_TRS/2.xml 701.6 / 297.3 s 127.2 / 46.4 s
omplexity__Innermost_Rewriting/Secret_06_TRS/3.xml 994.3 / 297.1 s 35.0 / 13.2 s
omplexity__Innermost_Rewriting/Secret_06_TRS/4.xml 705.3 / 297.2 s 15.2 / 7.0 s
omplexity__Innermost_Rewriting/Secret_06_TRS/5.xml 0.1 / 0.1 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Secret_06_TRS/6.xml 0.5 / 0.2 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Secret_06_TRS/7.xml 487.4 / 148.5 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Secret_06_TRS/8.xml 62.3 / 16.5 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Secret_06_TRS/9.xml 118.6 / 31.8 s 79.6 / 31.6 s
ity__Innermost_Rewriting/Secret_06_TRS/addList.xml 968.3 / 297.6 s 906.0 / 300.1 s
exity__Innermost_Rewriting/Secret_06_TRS/cime1.xml 108.4 / 45.5 s 682.6 / 300.0 s
xity__Innermost_Rewriting/Secret_06_TRS/divExp.xml 1025.3 / 297.4 s 646.0 / 300.0 s
ty__Innermost_Rewriting/Secret_06_TRS/division.xml 832.3 / 297.2 s 907.0 / 300.0 s
xity__Innermost_Rewriting/Secret_06_TRS/double.xml 559.2 / 297.1 s 971.1 / 300.0 s
exity__Innermost_Rewriting/Secret_06_TRS/gen-1.xml 0.2 / 0.1 s 0.9 / 0.6 s
xity__Innermost_Rewriting/Secret_06_TRS/gen-10.xml 35.0 / 9.3 s 0.9 / 0.6 s
xity__Innermost_Rewriting/Secret_06_TRS/gen-14.xml 539.1 / 151.5 s 0.9 / 0.6 s
xity__Innermost_Rewriting/Secret_06_TRS/gen-15.xml 11.3 / 2.9 s 3.3 / 1.2 s
xity__Innermost_Rewriting/Secret_06_TRS/gen-17.xml 517.0 / 148.3 s 0.9 / 0.6 s
xity__Innermost_Rewriting/Secret_06_TRS/gen-18.xml 54.5 / 17.3 s 0.9 / 0.6 s
xity__Innermost_Rewriting/Secret_06_TRS/gen-22.xml 525.4 / 148.4 s 0.9 / 0.6 s
xity__Innermost_Rewriting/Secret_06_TRS/gen-25.xml 519.5 / 148.3 s 0.9 / 0.6 s
xity__Innermost_Rewriting/Secret_06_TRS/gen-28.xml 264.3 / 94.7 s 68.4 / 30.9 s
exity__Innermost_Rewriting/Secret_06_TRS/gen-9.xml 15.2 / 4.0 s 0.9 / 0.6 s
y__Innermost_Rewriting/Secret_06_TRS/logarithm.xml 887.9 / 297.1 s 996.5 / 300.0 s
y__Innermost_Rewriting/Secret_06_TRS/nrOfNodes.xml 1035.2 / 297.6 s 891.4 / 300.0 s
ity__Innermost_Rewriting/Secret_06_TRS/reverse.xml 641.7 / 297.2 s 944.8 / 300.0 s
ity__Innermost_Rewriting/Secret_06_TRS/sumList.xml 1032.2 / 297.6 s 842.9 / 300.1 s
exity__Innermost_Rewriting/Secret_06_TRS/times.xml 992.2 / 297.5 s 941.3 / 300.0 s
xity__Innermost_Rewriting/Secret_06_TRS/toList.xml 1037.7 / 297.6 s 979.6 / 300.0 s
exity__Innermost_Rewriting/Secret_06_TRS/tpa01.xml 53.9 / 24.8 s 0.9 / 0.6 s
exity__Innermost_Rewriting/Secret_06_TRS/tpa02.xml 52.4 / 24.6 s 0.9 / 0.6 s
exity__Innermost_Rewriting/Secret_06_TRS/tpa03.xml 44.1 / 19.8 s 0.9 / 0.6 s
exity__Innermost_Rewriting/Secret_06_TRS/tpa04.xml 1053.5 / 299.2 s 849.8 / 300.0 s
exity__Innermost_Rewriting/Secret_06_TRS/tpa05.xml 940.1 / 297.5 s 844.1 / 300.0 s
exity__Innermost_Rewriting/Secret_06_TRS/tpa06.xml 753.1 / 297.3 s 977.0 / 300.1 s
exity__Innermost_Rewriting/Secret_06_TRS/tpa07.xml 1055.6 / 298.1 s 793.5 / 300.0 s
exity__Innermost_Rewriting/Secret_06_TRS/tpa08.xml 974.1 / 297.2 s 831.9 / 300.0 s
exity__Innermost_Rewriting/Secret_06_TRS/tpa09.xml 1012.1 / 297.1 s 880.6 / 300.1 s
exity__Innermost_Rewriting/Secret_06_TRS/tpa10.xml 1065.8 / 297.5 s 876.5 / 300.1 s
omplexity__Innermost_Rewriting/Secret_07_TRS/1.xml 504.9 / 148.8 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Secret_07_TRS/2.xml 527.4 / 148.4 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Secret_07_TRS/3.xml 581.2 / 149.2 s 3.8 / 1.4 s
omplexity__Innermost_Rewriting/Secret_07_TRS/4.xml 502.6 / 149.3 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Secret_07_TRS/5.xml 495.1 / 149.3 s 1.0 / 0.6 s
omplexity__Innermost_Rewriting/Secret_07_TRS/7.xml 530.9 / 150.0 s 0.9 / 0.6 s
ty__Innermost_Rewriting/Secret_07_TRS/aprove01.xml 1090.3 / 298.1 s 952.9 / 300.0 s
ty__Innermost_Rewriting/Secret_07_TRS/aprove02.xml 715.3 / 297.2 s 921.8 / 300.0 s
ty__Innermost_Rewriting/Secret_07_TRS/aprove03.xml 1024.0 / 297.3 s 857.9 / 300.1 s
ty__Innermost_Rewriting/Secret_07_TRS/aprove04.xml 1175.0 / 297.6 s 987.1 / 300.0 s
ty__Innermost_Rewriting/Secret_07_TRS/aprove05.xml 888.8 / 298.0 s 737.1 / 300.0 s
ty__Innermost_Rewriting/Secret_07_TRS/aprove06.xml 859.4 / 297.2 s 860.4 / 300.0 s
ty__Innermost_Rewriting/Secret_07_TRS/aprove07.xml 914.4 / 297.3 s 730.6 / 300.0 s
ty__Innermost_Rewriting/Secret_07_TRS/aprove08.xml 697.1 / 297.2 s 1015.8 / 300.0 s
ty__Innermost_Rewriting/Secret_07_TRS/aprove09.xml 771.7 / 297.4 s 992.8 / 300.1 s
ty__Innermost_Rewriting/Secret_07_TRS/aprove10.xml 810.6 / 297.7 s 971.7 / 300.1 s
ity__Innermost_Rewriting/Secret_07_TRS/secret1.xml 1047.0 / 297.4 s 905.4 / 300.0 s
ity__Innermost_Rewriting/Secret_07_TRS/secret2.xml 470.2 / 148.3 s 1.0 / 0.6 s
ity__Innermost_Rewriting/Secret_07_TRS/secret3.xml 851.0 / 297.4 s 694.3 / 300.0 s
ity__Innermost_Rewriting/Secret_07_TRS/secret4.xml 1163.4 / 297.9 s 858.3 / 300.1 s
ity__Innermost_Rewriting/Secret_07_TRS/secret5.xml 2.5 / 0.9 s 3.6 / 1.4 s
nermost_Rewriting/Strategy_removed_AG01/#4.12a.xml 48.0 / 24.5 s 1.4 / 0.8 s
nnermost_Rewriting/Strategy_removed_AG01/#4.13.xml 0.1 / 0.0 s 0.9 / 0.6 s
nnermost_Rewriting/Strategy_removed_AG01/#4.14.xml 0.8 / 0.4 s 1.2 / 0.8 s
nnermost_Rewriting/Strategy_removed_AG01/#4.15.xml 251.2 / 148.1 s 0.9 / 0.6 s
nnermost_Rewriting/Strategy_removed_AG01/#4.16.xml 6.4 / 2.8 s 1.2 / 0.7 s
nnermost_Rewriting/Strategy_removed_AG01/#4.17.xml 3.1 / 0.8 s 1.2 / 0.7 s
nnermost_Rewriting/Strategy_removed_AG01/#4.18.xml 3.3 / 1.8 s 0.9 / 0.6 s
nnermost_Rewriting/Strategy_removed_AG01/#4.19.xml 852.0 / 297.2 s 57.5 / 33.8 s
Innermost_Rewriting/Strategy_removed_AG01/#4.2.xml 0.7 / 0.3 s 1.2 / 0.7 s
nnermost_Rewriting/Strategy_removed_AG01/#4.20.xml 0.4 / 0.2 s 0.9 / 0.6 s
nermost_Rewriting/Strategy_removed_AG01/#4.20a.xml 2.9 / 0.8 s 4.4 / 1.6 s
nnermost_Rewriting/Strategy_removed_AG01/#4.21.xml 1.0 / 0.5 s 0.9 / 0.6 s
nnermost_Rewriting/Strategy_removed_AG01/#4.22.xml 17.9 / 8.7 s 1.4 / 0.8 s
nnermost_Rewriting/Strategy_removed_AG01/#4.23.xml 878.1 / 297.2 s 61.7 / 44.9 s
nnermost_Rewriting/Strategy_removed_AG01/#4.25.xml 903.3 / 297.5 s 1.1 / 0.7 s
nnermost_Rewriting/Strategy_removed_AG01/#4.26.xml 668.1 / 297.2 s 16.0 / 7.9 s
nnermost_Rewriting/Strategy_removed_AG01/#4.27.xml 545.2 / 148.4 s 2.8 / 1.2 s
nnermost_Rewriting/Strategy_removed_AG01/#4.28.xml 73.1 / 24.0 s 3.1 / 1.3 s
nnermost_Rewriting/Strategy_removed_AG01/#4.29.xml 1026.4 / 297.4 s 756.3 / 300.0 s
Innermost_Rewriting/Strategy_removed_AG01/#4.3.xml 0.0 / 0.1 s 0.9 / 0.6 s
nnermost_Rewriting/Strategy_removed_AG01/#4.30.xml 626.4 / 297.1 s 20.1 / 10.1 s
nermost_Rewriting/Strategy_removed_AG01/#4.30a.xml 860.7 / 297.4 s 7.9 / 2.7 s
nermost_Rewriting/Strategy_removed_AG01/#4.30b.xml 646.5 / 297.1 s 31.1 / 13.5 s
nermost_Rewriting/Strategy_removed_AG01/#4.30c.xml 574.5 / 297.1 s 40.4 / 19.1 s
nnermost_Rewriting/Strategy_removed_AG01/#4.32.xml 13.4 / 4.3 s 4.5 / 1.7 s
nnermost_Rewriting/Strategy_removed_AG01/#4.33.xml 676.6 / 172.8 s 781.4 / 300.0 s
nnermost_Rewriting/Strategy_removed_AG01/#4.34.xml 6.4 / 1.8 s 142.7 / 56.3 s
nnermost_Rewriting/Strategy_removed_AG01/#4.35.xml 926.9 / 297.2 s 719.5 / 300.0 s
nnermost_Rewriting/Strategy_removed_AG01/#4.36.xml 645.4 / 169.0 s 764.8 / 300.0 s
nnermost_Rewriting/Strategy_removed_AG01/#4.37.xml 1.0 / 0.5 s 1.9 / 0.9 s
nermost_Rewriting/Strategy_removed_AG01/#4.37a.xml 2.1 / 0.9 s 1.9 / 0.9 s
Innermost_Rewriting/Strategy_removed_AG01/#4.4.xml 4.3 / 1.6 s 0.9 / 0.6 s
Innermost_Rewriting/Strategy_removed_AG01/#4.7.xml 0.3 / 0.2 s 0.9 / 0.6 s
_Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.xml 84.5 / 27.0 s 43.5 / 38.9 s
t_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.xml 89.8 / 27.4 s 43.2 / 38.0 s
_Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.xml 111.5 / 29.7 s 287.1 / 256.9 s
Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml 84.2 / 26.0 s 26.8 / 24.6 s
st_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.xml 89.3 / 27.4 s 59.8 / 51.7 s
ost_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.xml 892.5 / 297.3 s 4.8 / 1.8 s
ost_Rewriting/Strategy_removed_CSR_05/Ex1_GM99.xml 2.0 / 0.9 s 0.9 / 0.6 s
t_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.xml 90.2 / 27.6 s 57.2 / 50.2 s
st_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.xml 102.6 / 26.3 s 3.0 / 1.5 s
st_Rewriting/Strategy_removed_CSR_05/Ex24_GM04.xml 1.7 / 0.7 s 0.9 / 0.6 s
_Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.xml 868.0 / 297.5 s 743.0 / 300.0 s
t_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.xml 91.1 / 27.6 s 53.0 / 45.6 s
ewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml 84.6 / 27.0 s 47.1 / 42.6 s
_Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.xml 93.0 / 27.7 s 183.0 / 168.5 s
writing/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml 833.3 / 297.6 s 595.0 / 300.0 s
st_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.xml 5.3 / 2.5 s 3.0 / 1.2 s
Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml 932.9 / 297.6 s 637.6 / 300.0 s
writing/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml 636.9 / 297.1 s 32.6 / 28.7 s
writing/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml 102.3 / 28.3 s 341.7 / 300.0 s
writing/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml 85.0 / 26.8 s 47.3 / 42.7 s
writing/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml 96.8 / 24.4 s 1.2 / 0.8 s
st_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.xml 808.4 / 297.3 s 10.5 / 4.5 s
_Rewriting/Strategy_removed_CSR_05/Ex5_7_Luc97.xml 101.8 / 29.2 s 247.8 / 223.1 s
st_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.xml 100.7 / 25.7 s 1.5 / 0.8 s
Rewriting/Strategy_removed_CSR_05/Ex6_15_AEL02.xml 166.0 / 47.6 s 398.1 / 300.0 s
Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml 86.6 / 26.2 s 27.2 / 24.9 s
ost_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.xml 97.2 / 24.5 s 1.2 / 0.8 s
st_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.xml 85.1 / 26.8 s 44.2 / 39.6 s
st_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.xml 90.7 / 27.5 s 70.1 / 63.9 s
st_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.xml 1027.6 / 298.0 s 856.7 / 300.0 s
st_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.xml 702.2 / 189.3 s 652.5 / 300.0 s
ting/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml 121.8 / 33.6 s 351.2 / 300.0 s
Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.xml 97.7 / 24.7 s 1.3 / 0.8 s
ewriting/Strategy_removed_CSR_05/ExIntrod_GM01.xml 105.4 / 26.9 s 688.2 / 300.0 s
ewriting/Strategy_removed_CSR_05/ExIntrod_GM04.xml 108.1 / 28.0 s 653.9 / 300.0 s
ewriting/Strategy_removed_CSR_05/ExIntrod_GM99.xml 918.7 / 238.1 s 721.4 / 300.0 s
writing/Strategy_removed_CSR_05/ExIntrod_Zan97.xml 864.1 / 297.1 s 589.9 / 300.1 s
ing/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml 879.4 / 297.5 s 760.8 / 300.0 s
most_Rewriting/Strategy_removed_mixed_05/bn111.xml 12.3 / 4.8 s 0.9 / 0.6 s
ermost_Rewriting/Strategy_removed_mixed_05/ex1.xml 98.0 / 24.8 s 1.3 / 0.8 s
ermost_Rewriting/Strategy_removed_mixed_05/ex2.xml 85.2 / 26.5 s 31.5 / 29.4 s
ermost_Rewriting/Strategy_removed_mixed_05/ex3.xml 98.2 / 24.8 s 1.3 / 0.8 s
ermost_Rewriting/Strategy_removed_mixed_05/ex4.xml 839.5 / 297.3 s 1.8 / 0.9 s
ermost_Rewriting/Strategy_removed_mixed_05/ex5.xml 98.6 / 25.0 s 1.3 / 0.8 s
ermost_Rewriting/Strategy_removed_mixed_05/ex6.xml 926.7 / 297.9 s 579.0 / 300.0 s
ermost_Rewriting/Strategy_removed_mixed_05/gkg.xml 3.9 / 1.5 s 0.9 / 0.6 s
ost_Rewriting/Strategy_removed_mixed_05/muladd.xml 409.5 / 297.2 s 20.1 / 15.4 s
rmost_Rewriting/Strategy_removed_mixed_05/n001.xml 512.4 / 148.4 s 0.9 / 0.6 s
ost_Rewriting/Strategy_removed_mixed_05/test10.xml 25.4 / 10.0 s 1.3 / 0.7 s
ost_Rewriting/Strategy_removed_mixed_05/test75.xml 879.9 / 297.6 s 1.8 / 0.9 s
ost_Rewriting/Strategy_removed_mixed_05/test76.xml 836.1 / 297.4 s 2.2 / 1.1 s
ost_Rewriting/Strategy_removed_mixed_05/test77.xml 800.0 / 297.6 s 2.8 / 1.2 s
st_Rewriting/Strategy_removed_mixed_05/test830.xml 1.2 / 0.6 s 3.1 / 1.2 s
most_Rewriting/Strategy_removed_mixed_05/test9.xml 92.3 / 45.1 s 1.4 / 0.8 s
ost_Rewriting/Strategy_removed_mixed_05/toyama.xml 2.0 / 0.8 s 0.9 / 0.6 s
st_Rewriting/Strategy_removed_mixed_05/tricky1.xml 12.5 / 3.6 s 0.9 / 0.6 s
ity__Innermost_Rewriting/TCT_12/polycounter-10.xml 542.9 / 176.6 s 928.6 / 300.0 s
xity__Innermost_Rewriting/TCT_12/polycounter-5.xml 68.5 / 21.7 s 837.0 / 300.0 s
exity__Innermost_Rewriting/TCT_12/recursion-10.xml 230.1 / 84.0 s 375.2 / 300.0 s
lexity__Innermost_Rewriting/TCT_12/recursion-5.xml 55.5 / 18.2 s 43.3 / 20.7 s
ime_Complexity__Innermost_Rewriting/TCT_12/sat.xml 33.4 / 9.9 s 6.3 / 2.1 s
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_C.xml 872.4 / 297.1 s 204.7 / 67.0 s
st_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.xml 669.2 / 297.1 s 949.4 / 300.0 s
st_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.xml 699.8 / 297.7 s 768.0 / 300.1 s
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.xml 97.6 / 24.6 s 1.4 / 0.8 s
ost_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.xml 469.6 / 297.1 s 357.9 / 300.0 s
t_Rewriting/Transformed_CSR_04/Ex14_AEGL02_iGM.xml 491.9 / 148.2 s 1.1 / 0.7 s
most_Rewriting/Transformed_CSR_04/Ex14_Luc06_C.xml 863.8 / 297.1 s 154.9 / 52.2 s
ost_Rewriting/Transformed_CSR_04/Ex14_Luc06_FR.xml 0.3 / 0.1 s 0.9 / 0.6 s
ost_Rewriting/Transformed_CSR_04/Ex14_Luc06_GM.xml 403.5 / 297.3 s 954.6 / 300.0 s
most_Rewriting/Transformed_CSR_04/Ex14_Luc06_L.xml 0.2 / 0.1 s 0.9 / 0.6 s
st_Rewriting/Transformed_CSR_04/Ex14_Luc06_iGM.xml 511.5 / 148.2 s 1.1 / 0.7 s
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_C.xml 776.4 / 232.4 s 107.2 / 33.1 s
ost_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.xml 3.0 / 0.8 s 1.4 / 0.8 s
ost_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.xml 3.1 / 0.9 s 1.4 / 0.8 s
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.xml 97.0 / 24.4 s 1.2 / 0.7 s
most_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.xml 2.5 / 0.7 s 0.9 / 0.6 s
st_Rewriting/Transformed_CSR_04/Ex15_Luc06_iGM.xml 13.3 / 3.7 s 0.9 / 0.6 s
most_Rewriting/Transformed_CSR_04/Ex15_Luc98_C.xml 1027.0 / 297.1 s 257.7 / 79.9 s
ost_Rewriting/Transformed_CSR_04/Ex15_Luc98_FR.xml 813.0 / 297.3 s 852.3 / 300.1 s
ost_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.xml 9.9 / 2.9 s 7.2 / 2.2 s
most_Rewriting/Transformed_CSR_04/Ex15_Luc98_L.xml 0.1 / 0.0 s 0.2 / 0.2 s
most_Rewriting/Transformed_CSR_04/Ex15_Luc98_Z.xml 48.4 / 17.0 s 169.8 / 137.8 s
st_Rewriting/Transformed_CSR_04/Ex15_Luc98_iGM.xml 271.1 / 76.0 s 1.4 / 0.8 s
most_Rewriting/Transformed_CSR_04/Ex16_Luc06_C.xml 854.9 / 297.1 s 61.7 / 22.1 s
ost_Rewriting/Transformed_CSR_04/Ex16_Luc06_FR.xml 72.6 / 24.0 s 0.9 / 0.6 s
ost_Rewriting/Transformed_CSR_04/Ex16_Luc06_GM.xml 77.8 / 24.0 s 2.3 / 1.0 s
most_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.xml 98.6 / 25.0 s 1.4 / 0.8 s
st_Rewriting/Transformed_CSR_04/Ex16_Luc06_iGM.xml 469.1 / 148.1 s 1.0 / 0.6 s
most_Rewriting/Transformed_CSR_04/Ex18_Luc06_C.xml 485.3 / 125.4 s 100.3 / 33.2 s
ost_Rewriting/Transformed_CSR_04/Ex18_Luc06_FR.xml 0.5 / 0.2 s 1.3 / 0.8 s
ost_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.xml 1.1 / 0.5 s 1.8 / 0.8 s
most_Rewriting/Transformed_CSR_04/Ex18_Luc06_L.xml 0.2 / 0.1 s 0.9 / 0.6 s
most_Rewriting/Transformed_CSR_04/Ex18_Luc06_Z.xml 0.2 / 0.1 s 0.9 / 0.6 s
st_Rewriting/Transformed_CSR_04/Ex18_Luc06_iGM.xml 4.4 / 2.3 s 0.9 / 0.6 s
ost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_C.xml 795.0 / 297.7 s 480.2 / 150.1 s
st_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_FR.xml 2.9 / 1.1 s 2.9 / 1.3 s
st_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.xml 991.4 / 298.9 s 881.4 / 300.1 s
ost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_L.xml 0.0 / 0.0 s 0.3 / 0.2 s
ost_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_Z.xml 9.3 / 3.7 s 3.1 / 1.2 s
t_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml 543.4 / 149.0 s 1.7 / 0.9 s
st_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_C.xml 909.3 / 297.1 s 173.8 / 64.0 s
t_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml 1.4 / 0.7 s 2.9 / 1.3 s
t_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml 772.3 / 297.2 s 891.7 / 300.1 s
st_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
st_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml 0.6 / 0.3 s 0.9 / 0.6 s
_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml 129.0 / 35.1 s 1.0 / 0.6 s
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_C.xml 892.0 / 297.2 s 220.3 / 72.1 s
most_Rewriting/Transformed_CSR_04/Ex1_GL02a_FR.xml 663.1 / 297.1 s 885.8 / 300.0 s
most_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.xml 5.7 / 1.6 s 2.3 / 1.0 s
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.xml 96.9 / 24.4 s 1.2 / 0.8 s
rmost_Rewriting/Transformed_CSR_04/Ex1_GL02a_Z.xml 695.3 / 297.1 s 708.5 / 300.0 s
ost_Rewriting/Transformed_CSR_04/Ex1_GL02a_iGM.xml 313.3 / 87.7 s 1.2 / 0.7 s
ermost_Rewriting/Transformed_CSR_04/Ex1_GM03_C.xml 897.5 / 297.4 s 214.1 / 68.9 s
rmost_Rewriting/Transformed_CSR_04/Ex1_GM03_FR.xml 11.1 / 3.4 s 5.4 / 1.8 s
rmost_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.xml 1022.1 / 297.6 s 888.2 / 300.0 s
ermost_Rewriting/Transformed_CSR_04/Ex1_GM03_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
ermost_Rewriting/Transformed_CSR_04/Ex1_GM03_Z.xml 910.1 / 298.5 s 3.3 / 1.5 s
most_Rewriting/Transformed_CSR_04/Ex1_GM03_iGM.xml 445.8 / 148.3 s 1.2 / 0.7 s
ermost_Rewriting/Transformed_CSR_04/Ex1_GM99_C.xml 817.1 / 297.1 s 77.7 / 27.3 s
rmost_Rewriting/Transformed_CSR_04/Ex1_GM99_FR.xml 2.7 / 1.1 s 0.9 / 0.6 s
rmost_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.xml 730.8 / 297.3 s 589.8 / 300.0 s
ermost_Rewriting/Transformed_CSR_04/Ex1_GM99_L.xml 97.9 / 24.7 s 1.3 / 0.8 s
most_Rewriting/Transformed_CSR_04/Ex1_GM99_iGM.xml 447.8 / 148.3 s 1.0 / 0.7 s
most_Rewriting/Transformed_CSR_04/Ex1_Luc02b_C.xml 890.6 / 297.3 s 194.1 / 66.4 s
ost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_FR.xml 2.0 / 0.8 s 1.7 / 0.9 s
ost_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.xml 727.8 / 297.8 s 891.6 / 300.0 s
most_Rewriting/Transformed_CSR_04/Ex1_Luc02b_L.xml 0.0 / 0.0 s 0.2 / 0.3 s
most_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.xml 220.3 / 148.1 s 3.1 / 1.3 s
st_Rewriting/Transformed_CSR_04/Ex1_Luc02b_iGM.xml 471.7 / 148.2 s 1.2 / 0.7 s
most_Rewriting/Transformed_CSR_04/Ex1_Luc04b_C.xml 1183.9 / 297.2 s 1085.5 / 300.0 s
ost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.xml 856.3 / 297.3 s 891.0 / 300.0 s
ost_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.xml 939.2 / 297.4 s 968.8 / 300.1 s
most_Rewriting/Transformed_CSR_04/Ex1_Luc04b_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
most_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.xml 216.3 / 65.8 s 603.2 / 300.0 s
st_Rewriting/Transformed_CSR_04/Ex1_Luc04b_iGM.xml 896.9 / 297.2 s 1054.2 / 300.0 s
rmost_Rewriting/Transformed_CSR_04/Ex1_Zan97_C.xml 251.5 / 124.0 s 53.2 / 20.5 s
most_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.xml 497.3 / 297.1 s 6.8 / 2.6 s
most_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.xml 0.7 / 0.3 s 1.3 / 0.8 s
rmost_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.xml 97.4 / 24.6 s 1.4 / 0.8 s
ost_Rewriting/Transformed_CSR_04/Ex1_Zan97_iGM.xml 5.6 / 1.6 s 1.0 / 0.6 s
most_Rewriting/Transformed_CSR_04/Ex23_Luc06_C.xml 814.4 / 241.3 s 132.0 / 45.6 s
ost_Rewriting/Transformed_CSR_04/Ex23_Luc06_FR.xml 0.7 / 0.3 s 1.3 / 0.8 s
ost_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.xml 0.8 / 0.4 s 1.4 / 0.8 s
most_Rewriting/Transformed_CSR_04/Ex23_Luc06_L.xml 0.1 / 0.1 s 0.8 / 0.5 s
most_Rewriting/Transformed_CSR_04/Ex23_Luc06_Z.xml 0.2 / 0.1 s 0.9 / 0.6 s
st_Rewriting/Transformed_CSR_04/Ex23_Luc06_iGM.xml 9.7 / 4.7 s 1.0 / 0.6 s
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_C.xml 889.0 / 297.1 s 96.7 / 34.2 s
most_Rewriting/Transformed_CSR_04/Ex24_GM04_FR.xml 740.0 / 297.3 s 578.4 / 300.0 s
most_Rewriting/Transformed_CSR_04/Ex24_GM04_GM.xml 12.1 / 5.7 s 1.8 / 0.9 s
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_L.xml 96.7 / 24.3 s 1.2 / 0.8 s
rmost_Rewriting/Transformed_CSR_04/Ex24_GM04_Z.xml 879.8 / 297.6 s 73.7 / 48.3 s
ost_Rewriting/Transformed_CSR_04/Ex24_GM04_iGM.xml 461.0 / 148.2 s 1.0 / 0.6 s
most_Rewriting/Transformed_CSR_04/Ex24_Luc06_C.xml 921.3 / 295.0 s 76.9 / 25.6 s
ost_Rewriting/Transformed_CSR_04/Ex24_Luc06_FR.xml 7.2 / 4.5 s 0.9 / 0.6 s
ost_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.xml 19.3 / 10.8 s 2.5 / 1.0 s
most_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.xml 98.6 / 24.9 s 1.5 / 0.8 s
st_Rewriting/Transformed_CSR_04/Ex24_Luc06_iGM.xml 512.5 / 148.3 s 1.0 / 0.6 s
most_Rewriting/Transformed_CSR_04/Ex25_Luc06_C.xml 365.0 / 106.0 s 126.4 / 45.7 s
ost_Rewriting/Transformed_CSR_04/Ex25_Luc06_FR.xml 1.1 / 0.5 s 1.5 / 0.8 s
ost_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.xml 1.8 / 0.9 s 2.8 / 1.1 s
most_Rewriting/Transformed_CSR_04/Ex25_Luc06_L.xml 0.1 / 0.1 s 0.9 / 0.6 s
most_Rewriting/Transformed_CSR_04/Ex25_Luc06_Z.xml 0.8 / 0.3 s 0.9 / 0.6 s
st_Rewriting/Transformed_CSR_04/Ex25_Luc06_iGM.xml 10.0 / 4.1 s 1.0 / 0.6 s
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_C.xml 1051.8 / 298.5 s 328.1 / 101.7 s
st_Rewriting/Transformed_CSR_04/Ex26_Luc03b_FR.xml 3.9 / 1.4 s 7.0 / 2.3 s
st_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.xml 850.0 / 297.2 s 928.6 / 300.1 s
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.xml 0.4 / 0.2 s 0.9 / 0.6 s
ost_Rewriting/Transformed_CSR_04/Ex26_Luc03b_Z.xml 1.0 / 0.4 s 1.0 / 0.6 s
t_Rewriting/Transformed_CSR_04/Ex26_Luc03b_iGM.xml 536.3 / 148.5 s 1.5 / 0.8 s
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_C.xml 747.1 / 297.4 s 334.8 / 104.5 s
ost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_FR.xml 2.2 / 0.8 s 3.5 / 1.3 s
ost_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.xml 1034.5 / 299.6 s 886.7 / 300.0 s
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.xml 152.6 / 83.0 s 756.5 / 300.0 s
most_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.xml 212.1 / 117.7 s 865.4 / 300.0 s
st_Rewriting/Transformed_CSR_04/Ex2_Luc02a_iGM.xml 533.0 / 148.5 s 1.5 / 0.8 s
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_C.xml 1049.3 / 297.4 s 221.0 / 72.2 s
ost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_FR.xml 40.3 / 11.4 s 859.7 / 300.0 s
ost_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.xml 39.2 / 19.3 s 842.9 / 300.1 s
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.xml 0.3 / 0.1 s 0.9 / 0.6 s
most_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.xml 3.5 / 1.0 s 1.8 / 0.9 s
st_Rewriting/Transformed_CSR_04/Ex2_Luc03b_iGM.xml 481.5 / 148.3 s 1.2 / 0.7 s
t_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_C.xml 815.1 / 297.2 s 165.6 / 59.0 s
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml 1.0 / 0.4 s 1.4 / 0.8 s
_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml 763.6 / 297.2 s 859.9 / 300.0 s
t_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
t_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml 0.7 / 0.3 s 1.6 / 0.8 s
Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml 469.6 / 148.2 s 1.1 / 0.7 s
ost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_C.xml 783.3 / 297.3 s 268.7 / 86.0 s
st_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_FR.xml 846.6 / 297.2 s 806.4 / 300.0 s
st_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.xml 748.0 / 297.6 s 864.3 / 300.0 s
ost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
ost_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_Z.xml 107.4 / 32.0 s 875.9 / 300.1 s
t_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_iGM.xml 479.7 / 148.9 s 1.3 / 0.8 s
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml 1015.3 / 297.7 s 242.6 / 77.7 s
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml 801.8 / 297.6 s 866.2 / 300.0 s
Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml 70.5 / 31.0 s 917.1 / 300.0 s
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml 0.6 / 0.2 s 0.9 / 0.6 s
_Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml 101.4 / 27.7 s 759.7 / 300.1 s
ewriting/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml 523.8 / 148.6 s 1.2 / 0.7 s
rmost_Rewriting/Transformed_CSR_04/Ex49_GM04_C.xml 794.4 / 297.2 s 234.7 / 72.1 s
most_Rewriting/Transformed_CSR_04/Ex49_GM04_FR.xml 73.3 / 24.1 s 782.2 / 300.1 s
most_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.xml 316.5 / 105.4 s 894.9 / 300.1 s
rmost_Rewriting/Transformed_CSR_04/Ex49_GM04_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
rmost_Rewriting/Transformed_CSR_04/Ex49_GM04_Z.xml 2.7 / 1.0 s 3.6 / 1.4 s
ost_Rewriting/Transformed_CSR_04/Ex49_GM04_iGM.xml 553.1 / 148.5 s 1.4 / 0.7 s
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_C.xml 600.8 / 155.6 s 148.5 / 48.7 s
t_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml 0.9 / 0.4 s 1.5 / 0.8 s
t_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml 25.4 / 17.1 s 789.3 / 300.0 s
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.xml 0.1 / 0.1 s 1.2 / 0.7 s
st_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml 816.9 / 297.5 s 244.1 / 164.9 s
_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml 14.3 / 4.0 s 0.9 / 0.6 s
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml 963.4 / 297.1 s 180.7 / 51.9 s
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml 0.7 / 0.4 s 1.4 / 0.8 s
Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml 21.0 / 5.6 s 12.0 / 3.8 s
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml 0.7 / 0.4 s 1.8 / 0.8 s
_Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml 1.1 / 0.4 s 1.8 / 0.8 s
ewriting/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml 173.2 / 46.5 s 1.0 / 0.6 s
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml 752.1 / 297.8 s 250.8 / 78.7 s
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml 727.7 / 297.8 s 846.3 / 300.1 s
Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml 987.7 / 298.4 s 873.9 / 300.0 s
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
_Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml 478.7 / 297.2 s 728.7 / 300.0 s
ewriting/Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml 531.8 / 149.3 s 1.5 / 0.8 s
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml 795.0 / 297.2 s 159.5 / 58.3 s
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml 1.0 / 0.4 s 1.5 / 0.8 s
Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml 824.1 / 297.2 s 859.4 / 300.1 s
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
_Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml 1.1 / 0.4 s 1.6 / 0.8 s
ewriting/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml 469.2 / 148.2 s 1.1 / 0.7 s
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml 875.7 / 297.1 s 123.5 / 47.1 s
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml 0.3 / 0.1 s 0.9 / 0.6 s
Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml 4.9 / 1.3 s 77.7 / 45.8 s
_Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
ewriting/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml 378.2 / 149.9 s 123.1 / 45.9 s
ost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_C.xml 777.7 / 297.2 s 930.7 / 300.1 s
st_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_FR.xml 803.4 / 297.2 s 770.5 / 300.0 s
st_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.xml 1036.0 / 299.8 s 900.8 / 300.0 s
ost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_L.xml 0.0 / 0.0 s 0.3 / 0.2 s
ost_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_Z.xml 713.0 / 297.2 s 662.3 / 300.0 s
t_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml 1051.5 / 299.7 s 905.1 / 300.0 s
rmost_Rewriting/Transformed_CSR_04/Ex4_Zan97_C.xml 816.5 / 297.2 s 213.2 / 72.5 s
most_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.xml 377.2 / 297.1 s 720.2 / 300.0 s
most_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.xml 445.1 / 297.1 s 855.8 / 300.1 s
rmost_Rewriting/Transformed_CSR_04/Ex4_Zan97_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
rmost_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.xml 772.8 / 297.3 s 208.1 / 155.4 s
ost_Rewriting/Transformed_CSR_04/Ex4_Zan97_iGM.xml 465.6 / 148.2 s 1.1 / 0.7 s
ost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_C.xml 748.5 / 297.5 s 419.9 / 127.4 s
st_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_FR.xml 845.2 / 297.2 s 806.8 / 300.1 s
st_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.xml 933.5 / 299.9 s 872.3 / 300.1 s
ost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_L.xml 0.0 / 0.0 s 0.3 / 0.2 s
ost_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_Z.xml 108.0 / 31.9 s 880.6 / 300.0 s
t_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml 467.3 / 148.3 s 1.6 / 0.9 s
ost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_C.xml 896.3 / 297.2 s 945.5 / 300.1 s
st_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_FR.xml 6.1 / 1.7 s 1.8 / 1.0 s
st_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.xml 914.6 / 300.0 s 890.1 / 300.0 s
ost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
ost_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_Z.xml 105.3 / 28.1 s 1.7 / 0.9 s
t_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml 1030.2 / 300.0 s 923.5 / 300.1 s
rmost_Rewriting/Transformed_CSR_04/Ex5_Zan97_C.xml 711.7 / 297.2 s 97.0 / 33.3 s
most_Rewriting/Transformed_CSR_04/Ex5_Zan97_FR.xml 37.0 / 14.0 s 3.3 / 1.3 s
most_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.xml 880.4 / 299.0 s 1051.6 / 300.0 s
rmost_Rewriting/Transformed_CSR_04/Ex5_Zan97_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
rmost_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.xml 1.0 / 0.4 s 1.5 / 0.8 s
ost_Rewriting/Transformed_CSR_04/Ex5_Zan97_iGM.xml 503.8 / 148.6 s 1.0 / 0.6 s
st_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_C.xml 769.2 / 297.8 s 552.7 / 176.7 s
t_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_FR.xml 572.8 / 297.3 s 860.0 / 300.0 s
t_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.xml 996.5 / 298.9 s 855.0 / 300.1 s
st_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_L.xml 0.0 / 0.0 s 0.3 / 0.2 s
st_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_Z.xml 569.8 / 297.3 s 638.1 / 300.0 s
_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml 514.8 / 150.1 s 2.0 / 0.9 s
st_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_C.xml 1022.0 / 297.5 s 194.3 / 72.0 s
t_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml 67.4 / 31.7 s 1.4 / 0.8 s
t_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml 628.3 / 300.0 s 875.0 / 300.0 s
st_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
st_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml 3.1 / 0.9 s 0.9 / 0.6 s
_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml 477.2 / 148.5 s 1.0 / 0.7 s
ermost_Rewriting/Transformed_CSR_04/Ex6_GM04_C.xml 682.7 / 187.5 s 128.0 / 45.6 s
rmost_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.xml 224.1 / 82.6 s 2.9 / 1.2 s
rmost_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.xml 0.3 / 0.2 s 0.9 / 0.6 s
ermost_Rewriting/Transformed_CSR_04/Ex6_GM04_L.xml 0.1 / 0.0 s 0.9 / 0.6 s
most_Rewriting/Transformed_CSR_04/Ex6_GM04_iGM.xml 4.6 / 1.7 s 6.9 / 2.2 s
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_C.xml 839.4 / 297.2 s 158.4 / 57.3 s
most_Rewriting/Transformed_CSR_04/Ex6_Luc98_FR.xml 1.9 / 0.7 s 1.6 / 0.8 s
most_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.xml 31.7 / 18.8 s 895.1 / 300.1 s
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.xml 0.1 / 0.1 s 0.9 / 0.6 s
rmost_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.xml 0.9 / 0.3 s 1.7 / 0.8 s
ost_Rewriting/Transformed_CSR_04/Ex6_Luc98_iGM.xml 479.8 / 148.7 s 1.1 / 0.7 s
rmost_Rewriting/Transformed_CSR_04/Ex7_BLR02_C.xml 882.0 / 297.2 s 279.2 / 89.6 s
most_Rewriting/Transformed_CSR_04/Ex7_BLR02_FR.xml 52.6 / 26.0 s 2.1 / 1.0 s
most_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.xml 766.2 / 297.6 s 885.9 / 300.1 s
rmost_Rewriting/Transformed_CSR_04/Ex7_BLR02_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
rmost_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.xml 226.1 / 148.1 s 3.1 / 1.2 s
ost_Rewriting/Transformed_CSR_04/Ex7_BLR02_iGM.xml 474.9 / 148.3 s 1.2 / 0.7 s
rmost_Rewriting/Transformed_CSR_04/Ex8_BLR02_C.xml 864.9 / 297.3 s 226.6 / 73.0 s
most_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.xml 969.5 / 297.4 s 852.3 / 300.0 s
most_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.xml 1034.6 / 297.4 s 860.3 / 300.0 s
rmost_Rewriting/Transformed_CSR_04/Ex8_BLR02_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
rmost_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.xml 1130.9 / 298.2 s 178.9 / 154.9 s
ost_Rewriting/Transformed_CSR_04/Ex8_BLR02_iGM.xml 521.7 / 149.6 s 1.2 / 0.7 s
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_C.xml 1062.8 / 297.6 s 935.3 / 300.0 s
most_Rewriting/Transformed_CSR_04/Ex9_BLR02_FR.xml 1004.8 / 297.4 s 870.8 / 300.0 s
most_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.xml 968.9 / 297.2 s 921.7 / 300.0 s
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.xml 1.0 / 0.5 s 0.9 / 0.6 s
rmost_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.xml 1050.7 / 297.2 s 803.2 / 300.0 s
ost_Rewriting/Transformed_CSR_04/Ex9_BLR02_iGM.xml 965.6 / 297.4 s 864.4 / 300.1 s
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc04_C.xml 704.2 / 297.1 s 61.5 / 21.7 s
most_Rewriting/Transformed_CSR_04/Ex9_Luc04_FR.xml 2.5 / 1.0 s 0.9 / 0.6 s
most_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.xml 787.7 / 297.3 s 845.0 / 300.1 s
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.xml 10.0 / 4.3 s 4.1 / 2.4 s
ost_Rewriting/Transformed_CSR_04/Ex9_Luc04_iGM.xml 439.4 / 148.8 s 1.0 / 0.6 s
rmost_Rewriting/Transformed_CSR_04/Ex9_Luc06_C.xml 519.4 / 148.1 s 71.1 / 24.6 s
most_Rewriting/Transformed_CSR_04/Ex9_Luc06_FR.xml 508.7 / 297.1 s 712.2 / 300.0 s
most_Rewriting/Transformed_CSR_04/Ex9_Luc06_GM.xml 73.6 / 24.0 s 3.0 / 1.2 s
ost_Rewriting/Transformed_CSR_04/Ex9_Luc06_iGM.xml 80.3 / 24.0 s 1.0 / 0.6 s
writing/Transformed_CSR_04/ExAppendixB_AEL03_C.xml 783.5 / 297.8 s 520.7 / 160.2 s
riting/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml 2.2 / 0.7 s 1.7 / 0.9 s
riting/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml 1007.9 / 299.2 s 905.3 / 300.0 s
writing/Transformed_CSR_04/ExAppendixB_AEL03_L.xml 0.0 / 0.0 s 0.3 / 0.2 s
writing/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml 153.5 / 71.9 s 8.0 / 2.6 s
iting/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml 545.6 / 148.9 s 1.9 / 0.9 s
st_Rewriting/Transformed_CSR_04/ExConc_Zan97_C.xml 231.1 / 62.8 s 117.0 / 44.1 s
t_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.xml 0.8 / 0.4 s 1.4 / 0.8 s
t_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.xml 0.7 / 0.3 s 1.4 / 0.8 s
st_Rewriting/Transformed_CSR_04/ExConc_Zan97_L.xml 0.0 / 0.0 s 0.8 / 0.5 s
st_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.xml 97.9 / 24.7 s 1.3 / 0.8 s
_Rewriting/Transformed_CSR_04/ExConc_Zan97_iGM.xml 5.5 / 2.6 s 0.9 / 0.6 s
t_Rewriting/Transformed_CSR_04/ExIntrod_GM01_C.xml 973.6 / 297.2 s 1079.7 / 300.1 s
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.xml 1012.9 / 297.3 s 944.5 / 300.1 s
_Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.xml 1013.7 / 297.1 s 974.0 / 300.0 s
t_Rewriting/Transformed_CSR_04/ExIntrod_GM01_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
t_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.xml 1080.5 / 297.2 s 793.0 / 300.0 s
Rewriting/Transformed_CSR_04/ExIntrod_GM01_iGM.xml 1071.9 / 300.0 s 1057.7 / 300.0 s
t_Rewriting/Transformed_CSR_04/ExIntrod_GM04_C.xml 926.1 / 297.2 s 1096.0 / 300.0 s
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.xml 982.0 / 297.3 s 883.3 / 300.0 s
_Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.xml 935.0 / 297.2 s 944.5 / 300.0 s
t_Rewriting/Transformed_CSR_04/ExIntrod_GM04_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
t_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.xml 995.8 / 297.3 s 752.3 / 300.0 s
Rewriting/Transformed_CSR_04/ExIntrod_GM04_iGM.xml 1036.8 / 299.2 s 132.6 / 47.2 s
t_Rewriting/Transformed_CSR_04/ExIntrod_GM99_C.xml 771.8 / 297.2 s 935.3 / 300.0 s
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_FR.xml 5.6 / 2.2 s 5.9 / 2.0 s
_Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.xml 1040.9 / 300.0 s 886.8 / 300.0 s
t_Rewriting/Transformed_CSR_04/ExIntrod_GM99_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
t_Rewriting/Transformed_CSR_04/ExIntrod_GM99_Z.xml 2.2 / 0.7 s 1.0 / 0.6 s
Rewriting/Transformed_CSR_04/ExIntrod_GM99_iGM.xml 700.0 / 190.6 s 934.7 / 300.1 s
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_C.xml 758.8 / 297.4 s 286.7 / 91.8 s
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_FR.xml 29.2 / 10.3 s 4.8 / 1.7 s
Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.xml 1015.0 / 299.1 s 878.9 / 300.0 s
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
_Rewriting/Transformed_CSR_04/ExIntrod_Zan97_Z.xml 920.0 / 297.3 s 819.0 / 300.1 s
ewriting/Transformed_CSR_04/ExIntrod_Zan97_iGM.xml 526.3 / 149.7 s 1.5 / 0.8 s
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_C.xml 938.4 / 297.2 s 168.3 / 46.8 s
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_FR.xml 0.9 / 0.4 s 1.3 / 0.8 s
_Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.xml 543.6 / 297.2 s 1026.8 / 300.1 s
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.xml 5.2 / 1.6 s 2.3 / 1.0 s
t_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.xml 5.9 / 1.7 s 2.3 / 1.0 s
Rewriting/Transformed_CSR_04/ExProp7_Luc06_iGM.xml 559.4 / 148.5 s 1.0 / 0.6 s
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml 758.3 / 297.5 s 382.2 / 118.5 s
writing/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml 2.4 / 0.9 s 3.7 / 1.4 s
writing/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml 1041.4 / 299.9 s 906.0 / 300.0 s
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml 170.0 / 102.2 s 774.6 / 300.0 s
ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml 244.5 / 124.9 s 854.3 / 300.0 s
riting/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml 535.6 / 148.5 s 1.5 / 0.8 s
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml 741.4 / 297.2 s 525.2 / 162.9 s
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml 2.8 / 1.1 s 1.7 / 0.9 s
writing/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml 999.8 / 299.8 s 855.9 / 300.0 s
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml 0.0 / 0.0 s 0.3 / 0.2 s
ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml 3.4 / 1.3 s 2.8 / 1.1 s
riting/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml 485.1 / 148.2 s 1.9 / 0.9 s
sformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml 1071.6 / 297.2 s 963.7 / 300.0 s
nsformed_CSR_04/LISTUTILITIES_complete-noand_L.xml 0.1 / 0.1 s 0.5 / 0.3 s
nsformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml 1067.9 / 297.2 s 978.6 / 300.0 s
ng/Transformed_CSR_04/LISTUTILITIES_complete_C.xml 841.0 / 297.2 s 930.1 / 300.1 s
g/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml 1046.7 / 298.4 s 937.9 / 300.1 s
g/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml 1021.8 / 298.6 s 990.3 / 300.0 s
ng/Transformed_CSR_04/LISTUTILITIES_complete_L.xml 0.1 / 0.1 s 0.4 / 0.3 s
ng/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml 1093.9 / 297.1 s 943.7 / 300.0 s
/Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml 598.2 / 162.1 s 4.1 / 1.8 s
nsformed_CSR_04/LISTUTILITIES_complete_noand_C.xml 757.9 / 297.6 s 938.6 / 300.1 s
sformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml 865.4 / 297.4 s 992.6 / 300.1 s
formed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml 760.1 / 297.7 s 6.5 / 3.2 s
nsformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml 1089.4 / 297.2 s 984.4 / 300.0 s
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml 0.1 / 0.0 s 0.4 / 0.3 s
ansformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml 1093.9 / 297.2 s 985.7 / 300.1 s
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml 1042.7 / 297.7 s 969.7 / 300.0 s
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml 1046.7 / 299.4 s 921.1 / 300.0 s
ng/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml 1062.8 / 300.0 s 901.4 / 300.0 s
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml 0.0 / 0.0 s 0.3 / 0.2 s
ing/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml 1051.8 / 300.0 s 924.3 / 300.1 s
g/Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml 530.0 / 149.2 s 3.2 / 1.4 s
ansformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml 936.2 / 297.2 s 951.7 / 300.1 s
nsformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml 1088.5 / 297.2 s 987.7 / 300.1 s
sformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml 520.0 / 155.2 s 4.1 / 1.7 s
nsformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml 588.0 / 148.4 s 773.1 / 300.0 s
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml 0.0 / 0.0 s 0.3 / 0.2 s
ansformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml 566.9 / 149.5 s 8.8 / 2.7 s
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml 757.7 / 297.2 s 619.9 / 191.4 s
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml 208.3 / 69.0 s 2.5 / 1.1 s
ng/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml 1009.9 / 298.9 s 920.5 / 300.1 s
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml 0.0 / 0.0 s 0.3 / 0.2 s
ing/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml 432.9 / 149.6 s 5.9 / 1.9 s
g/Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml 474.8 / 148.4 s 2.1 / 1.0 s
ansformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml 998.1 / 297.8 s 965.2 / 300.0 s
nsformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml 1056.6 / 299.2 s 940.1 / 300.0 s
sformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml 514.1 / 149.4 s 3.0 / 1.3 s
d_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml 1177.0 / 297.4 s 948.5 / 300.1 s
ed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml 0.0 / 0.0 s 0.3 / 0.2 s
ed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml 1183.4 / 297.3 s 943.4 / 300.1 s
nsformed_CSR_04/LengthOfFiniteLists_complete_C.xml 748.6 / 297.6 s 954.9 / 300.0 s
sformed_CSR_04/LengthOfFiniteLists_complete_FR.xml 760.1 / 297.2 s 912.0 / 300.1 s
sformed_CSR_04/LengthOfFiniteLists_complete_GM.xml 1080.6 / 300.0 s 942.5 / 300.0 s
nsformed_CSR_04/LengthOfFiniteLists_complete_L.xml 0.0 / 0.0 s 0.3 / 0.2 s
nsformed_CSR_04/LengthOfFiniteLists_complete_Z.xml 763.4 / 297.2 s 886.2 / 300.1 s
formed_CSR_04/LengthOfFiniteLists_complete_iGM.xml 1058.3 / 299.2 s 914.7 / 300.0 s
ed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml 943.5 / 298.2 s 960.1 / 300.0 s
d_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml 1070.1 / 297.4 s 973.6 / 300.0 s
_CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml 977.4 / 297.7 s 933.7 / 300.1 s
ed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml 1185.6 / 297.4 s 958.0 / 300.0 s
med_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml 0.0 / 0.0 s 0.3 / 0.2 s
med_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml 1185.0 / 297.2 s 986.0 / 300.1 s
ansformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml 888.2 / 297.3 s 963.7 / 300.0 s
nsformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml 1086.5 / 297.2 s 814.0 / 300.1 s
nsformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml 1114.0 / 297.2 s 810.0 / 300.1 s
ansformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
ansformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml 934.0 / 297.2 s 762.4 / 300.0 s
sformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml 1063.8 / 299.4 s 946.7 / 300.0 s
med_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml 738.2 / 297.2 s 948.3 / 300.0 s
ed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml 1053.6 / 300.0 s 899.8 / 300.0 s
d_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml 1066.2 / 300.0 s 926.4 / 300.1 s
ed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml 612.0 / 297.2 s 988.3 / 300.0 s
med_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
ansformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml 890.3 / 297.2 s 130.3 / 46.6 s
nsformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml 503.1 / 297.1 s 570.4 / 300.0 s
nsformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml 528.0 / 297.1 s 961.4 / 300.1 s
ansformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
sformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml 763.1 / 297.1 s 146.2 / 45.8 s
med_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml 890.0 / 297.2 s 143.9 / 46.6 s
ed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml 578.8 / 297.2 s 940.4 / 300.1 s
d_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml 1022.2 / 297.2 s 131.7 / 46.1 s
ing/Transformed_CSR_04/MYNAT_complete-noand_FR.xml 1097.6 / 297.1 s 946.8 / 300.0 s
ting/Transformed_CSR_04/MYNAT_complete-noand_L.xml 0.1 / 0.0 s 0.3 / 0.2 s
ting/Transformed_CSR_04/MYNAT_complete-noand_Z.xml 705.2 / 185.9 s 904.1 / 300.1 s
_Rewriting/Transformed_CSR_04/MYNAT_complete_C.xml 765.0 / 297.2 s 825.0 / 260.0 s
Rewriting/Transformed_CSR_04/MYNAT_complete_FR.xml 1034.9 / 299.4 s 923.6 / 300.0 s
Rewriting/Transformed_CSR_04/MYNAT_complete_GM.xml 1037.8 / 300.0 s 927.5 / 300.0 s
_Rewriting/Transformed_CSR_04/MYNAT_complete_L.xml 0.0 / 0.0 s 0.3 / 0.3 s
_Rewriting/Transformed_CSR_04/MYNAT_complete_Z.xml 1179.5 / 297.1 s 903.1 / 300.0 s
ewriting/Transformed_CSR_04/MYNAT_complete_iGM.xml 530.8 / 148.8 s 2.4 / 1.1 s
ting/Transformed_CSR_04/MYNAT_complete_noand_C.xml 946.7 / 297.9 s 968.7 / 300.0 s
ing/Transformed_CSR_04/MYNAT_complete_noand_GM.xml 1091.8 / 297.2 s 943.9 / 300.1 s
ng/Transformed_CSR_04/MYNAT_complete_noand_iGM.xml 523.2 / 150.0 s 3.7 / 1.5 s
ting/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml 624.5 / 163.7 s 24.1 / 6.7 s
iting/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml 0.0 / 0.0 s 0.3 / 0.2 s
iting/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml 26.7 / 7.4 s 15.0 / 4.2 s
t_Rewriting/Transformed_CSR_04/MYNAT_nokinds_C.xml 744.2 / 297.5 s 380.8 / 114.4 s
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_FR.xml 745.0 / 297.3 s 882.2 / 300.0 s
_Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.xml 1019.3 / 298.6 s 904.0 / 300.1 s
t_Rewriting/Transformed_CSR_04/MYNAT_nokinds_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
t_Rewriting/Transformed_CSR_04/MYNAT_nokinds_Z.xml 40.2 / 13.5 s 802.4 / 300.0 s
Rewriting/Transformed_CSR_04/MYNAT_nokinds_iGM.xml 527.6 / 148.5 s 1.7 / 0.9 s
iting/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml 761.8 / 297.2 s 686.7 / 214.0 s
ting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml 986.8 / 298.5 s 919.7 / 300.1 s
ing/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml 516.8 / 148.4 s 2.0 / 1.0 s
ting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml 429.0 / 148.2 s 10.0 / 2.9 s
iting/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml 0.0 / 0.0 s 0.2 / 0.3 s
t_Rewriting/Transformed_CSR_04/MYNAT_nosorts_C.xml 787.5 / 297.2 s 187.5 / 62.8 s
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.xml 7.2 / 3.1 s 2.6 / 1.1 s
_Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.xml 949.5 / 297.4 s 837.5 / 300.0 s
t_Rewriting/Transformed_CSR_04/MYNAT_nosorts_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
Rewriting/Transformed_CSR_04/MYNAT_nosorts_iGM.xml 428.1 / 148.2 s 1.1 / 0.7 s
iting/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml 877.5 / 297.5 s 334.8 / 102.6 s
ting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml 945.8 / 298.3 s 913.0 / 300.0 s
ing/Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml 453.8 / 148.5 s 1.6 / 0.8 s
/Transformed_CSR_04/OvConsOS_complete-noand_FR.xml 1094.3 / 297.1 s 953.5 / 300.0 s
g/Transformed_CSR_04/OvConsOS_complete-noand_L.xml 0.1 / 0.0 s 0.4 / 0.3 s
g/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml 1137.1 / 297.1 s 983.4 / 300.1 s
writing/Transformed_CSR_04/OvConsOS_complete_C.xml 1062.1 / 298.1 s 966.8 / 300.0 s
riting/Transformed_CSR_04/OvConsOS_complete_FR.xml 1043.7 / 299.7 s 917.2 / 300.1 s
riting/Transformed_CSR_04/OvConsOS_complete_GM.xml 1055.8 / 300.0 s 969.0 / 300.1 s
writing/Transformed_CSR_04/OvConsOS_complete_L.xml 0.0 / 0.0 s 0.3 / 0.2 s
writing/Transformed_CSR_04/OvConsOS_complete_Z.xml 982.6 / 297.9 s 927.5 / 300.0 s
iting/Transformed_CSR_04/OvConsOS_complete_iGM.xml 1029.7 / 299.2 s 927.7 / 300.0 s
g/Transformed_CSR_04/OvConsOS_complete_noand_C.xml 905.7 / 297.2 s 933.4 / 300.1 s
/Transformed_CSR_04/OvConsOS_complete_noand_GM.xml 1095.6 / 297.2 s 948.1 / 300.1 s
Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml 796.3 / 297.3 s 976.0 / 300.0 s
g/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml 1180.1 / 297.3 s 935.1 / 300.1 s
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml 0.0 / 0.0 s 0.3 / 0.2 s
ng/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml 1181.4 / 297.4 s 933.6 / 300.0 s
ewriting/Transformed_CSR_04/OvConsOS_nokinds_C.xml 772.6 / 297.2 s 928.6 / 300.0 s
writing/Transformed_CSR_04/OvConsOS_nokinds_FR.xml 1033.9 / 299.2 s 874.7 / 300.0 s
writing/Transformed_CSR_04/OvConsOS_nokinds_GM.xml 1055.5 / 300.0 s 886.5 / 300.0 s
ewriting/Transformed_CSR_04/OvConsOS_nokinds_L.xml 0.0 / 0.0 s 0.3 / 0.2 s
ewriting/Transformed_CSR_04/OvConsOS_nokinds_Z.xml 932.2 / 297.3 s 809.6 / 300.0 s
riting/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml 1048.6 / 299.1 s 916.6 / 300.1 s
ng/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml 770.1 / 297.3 s 983.5 / 300.1 s
g/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml 1047.3 / 300.0 s 930.4 / 300.1 s
/Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml 1047.5 / 299.7 s 912.0 / 300.0 s
g/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml 465.7 / 297.2 s 1098.8 / 300.0 s
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
ng/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml 590.6 / 297.2 s 1008.2 / 300.0 s
ewriting/Transformed_CSR_04/OvConsOS_nosorts_C.xml 888.9 / 297.2 s 138.0 / 46.7 s
writing/Transformed_CSR_04/OvConsOS_nosorts_FR.xml 520.6 / 297.1 s 1024.5 / 300.1 s
writing/Transformed_CSR_04/OvConsOS_nosorts_GM.xml 885.3 / 297.4 s 1019.0 / 300.1 s
ewriting/Transformed_CSR_04/OvConsOS_nosorts_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
ewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.xml 511.8 / 297.1 s 617.8 / 300.0 s
riting/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml 975.2 / 297.3 s 138.3 / 46.1 s
ng/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml 899.1 / 297.3 s 215.6 / 63.3 s
g/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml 1025.4 / 300.0 s 988.8 / 300.1 s
/Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml 1049.7 / 299.8 s 161.2 / 48.4 s
ransformed_CSR_04/PALINDROME_complete-noand_FR.xml 945.5 / 276.0 s 958.8 / 300.1 s
Transformed_CSR_04/PALINDROME_complete-noand_L.xml 447.5 / 297.3 s 904.6 / 300.0 s
Transformed_CSR_04/PALINDROME_complete-noand_Z.xml 597.9 / 151.4 s 953.2 / 300.1 s
iting/Transformed_CSR_04/PALINDROME_complete_C.xml 865.8 / 297.6 s 971.6 / 300.0 s
ting/Transformed_CSR_04/PALINDROME_complete_FR.xml 1081.3 / 297.2 s 930.6 / 300.1 s
ting/Transformed_CSR_04/PALINDROME_complete_GM.xml 1027.5 / 300.0 s 925.0 / 300.0 s
iting/Transformed_CSR_04/PALINDROME_complete_L.xml 0.0 / 0.0 s 0.3 / 0.2 s
iting/Transformed_CSR_04/PALINDROME_complete_Z.xml 588.5 / 148.6 s 933.8 / 300.1 s
ing/Transformed_CSR_04/PALINDROME_complete_iGM.xml 546.7 / 150.7 s 3.4 / 1.4 s
Transformed_CSR_04/PALINDROME_complete_noand_C.xml 1067.2 / 297.2 s 952.4 / 300.0 s
ransformed_CSR_04/PALINDROME_complete_noand_GM.xml 1094.8 / 297.2 s 954.9 / 300.1 s
ansformed_CSR_04/PALINDROME_complete_noand_iGM.xml 515.4 / 152.4 s 3.6 / 1.5 s
Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml 218.7 / 59.2 s 26.1 / 7.1 s
/Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml 130.6 / 36.0 s 565.4 / 300.0 s
/Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml 71.0 / 24.1 s 7.1 / 2.2 s
riting/Transformed_CSR_04/PALINDROME_nokinds_C.xml 1044.1 / 297.2 s 157.3 / 50.7 s
iting/Transformed_CSR_04/PALINDROME_nokinds_FR.xml 860.8 / 297.4 s 999.5 / 300.1 s
iting/Transformed_CSR_04/PALINDROME_nokinds_GM.xml 989.1 / 297.4 s 909.7 / 300.0 s
riting/Transformed_CSR_04/PALINDROME_nokinds_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
riting/Transformed_CSR_04/PALINDROME_nokinds_Z.xml 733.6 / 297.4 s 987.1 / 300.0 s
ting/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml 506.7 / 148.4 s 1.5 / 0.8 s
/Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml 999.0 / 298.2 s 244.5 / 69.1 s
Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml 1011.1 / 299.2 s 893.6 / 300.1 s
ransformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml 553.8 / 148.6 s 2.2 / 1.0 s
Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml 1.0 / 0.5 s 0.9 / 0.6 s
/Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml 1.0 / 0.5 s 0.9 / 0.6 s
riting/Transformed_CSR_04/PALINDROME_nosorts_C.xml 792.4 / 261.1 s 118.5 / 44.4 s
iting/Transformed_CSR_04/PALINDROME_nosorts_FR.xml 0.8 / 0.4 s 0.9 / 0.6 s
iting/Transformed_CSR_04/PALINDROME_nosorts_GM.xml 959.3 / 297.4 s 1059.2 / 300.1 s
riting/Transformed_CSR_04/PALINDROME_nosorts_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
ting/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml 471.6 / 148.3 s 1.1 / 0.7 s
/Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml 969.9 / 297.1 s 129.4 / 47.0 s
Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml 823.2 / 298.3 s 986.8 / 300.1 s
ransformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml 470.4 / 148.3 s 1.1 / 0.7 s
ing/Transformed_CSR_04/PEANO_complete-noand_FR.xml 753.8 / 208.3 s 886.0 / 300.1 s
ting/Transformed_CSR_04/PEANO_complete-noand_L.xml 0.0 / 0.0 s 0.3 / 0.2 s
ting/Transformed_CSR_04/PEANO_complete-noand_Z.xml 441.6 / 111.5 s 840.5 / 300.0 s
_Rewriting/Transformed_CSR_04/PEANO_complete_C.xml 731.3 / 297.2 s 545.2 / 170.4 s
Rewriting/Transformed_CSR_04/PEANO_complete_FR.xml 1059.8 / 297.1 s 897.3 / 300.0 s
Rewriting/Transformed_CSR_04/PEANO_complete_GM.xml 1055.5 / 300.0 s 911.1 / 300.0 s
_Rewriting/Transformed_CSR_04/PEANO_complete_L.xml 0.0 / 0.0 s 0.3 / 0.2 s
_Rewriting/Transformed_CSR_04/PEANO_complete_Z.xml 438.4 / 118.1 s 867.5 / 300.0 s
ewriting/Transformed_CSR_04/PEANO_complete_iGM.xml 537.8 / 148.5 s 1.9 / 0.9 s
ting/Transformed_CSR_04/PEANO_complete_noand_C.xml 778.8 / 297.3 s 976.6 / 300.0 s
ing/Transformed_CSR_04/PEANO_complete_noand_GM.xml 1003.5 / 299.2 s 916.5 / 300.0 s
ng/Transformed_CSR_04/PEANO_complete_noand_iGM.xml 571.1 / 149.1 s 2.8 / 1.2 s
ting/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml 233.4 / 70.6 s 13.3 / 3.8 s
iting/Transformed_CSR_04/PEANO_nokinds-noand_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
iting/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml 13.4 / 4.0 s 7.7 / 2.4 s
t_Rewriting/Transformed_CSR_04/PEANO_nokinds_C.xml 882.9 / 297.3 s 258.7 / 82.2 s
_Rewriting/Transformed_CSR_04/PEANO_nokinds_FR.xml 816.7 / 297.1 s 834.8 / 300.0 s
_Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.xml 1063.8 / 298.3 s 887.3 / 300.0 s
t_Rewriting/Transformed_CSR_04/PEANO_nokinds_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
t_Rewriting/Transformed_CSR_04/PEANO_nokinds_Z.xml 11.5 / 3.7 s 763.7 / 300.0 s
Rewriting/Transformed_CSR_04/PEANO_nokinds_iGM.xml 528.8 / 148.4 s 1.3 / 0.7 s
iting/Transformed_CSR_04/PEANO_nokinds_noand_C.xml 894.0 / 297.6 s 389.4 / 119.0 s
ting/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml 900.8 / 298.6 s 871.0 / 300.1 s
ing/Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml 523.9 / 149.2 s 1.6 / 0.8 s
ting/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml 56.5 / 24.1 s 1.9 / 0.9 s
iting/Transformed_CSR_04/PEANO_nosorts-noand_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
t_Rewriting/Transformed_CSR_04/PEANO_nosorts_C.xml 724.5 / 237.6 s 136.9 / 45.8 s
_Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.xml 0.4 / 0.2 s 1.2 / 0.7 s
_Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.xml 857.5 / 297.2 s 1009.6 / 300.1 s
t_Rewriting/Transformed_CSR_04/PEANO_nosorts_L.xml 0.0 / 0.0 s 0.2 / 0.2 s
Rewriting/Transformed_CSR_04/PEANO_nosorts_iGM.xml 464.5 / 148.2 s 1.0 / 0.7 s
iting/Transformed_CSR_04/PEANO_nosorts_noand_C.xml 954.4 / 297.1 s 136.7 / 45.9 s
ting/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml 786.4 / 297.6 s 1045.8 / 300.1 s
ing/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml 465.7 / 148.2 s 1.2 / 0.7 s
_Complexity__Innermost_Rewriting/Various_04/02.xml 0.1 / 0.0 s 0.9 / 0.6 s
_Complexity__Innermost_Rewriting/Various_04/03.xml 4.9 / 1.8 s 0.9 / 0.6 s
_Complexity__Innermost_Rewriting/Various_04/04.xml 4.6 / 1.5 s 1.1 / 0.6 s
_Complexity__Innermost_Rewriting/Various_04/05.xml 0.8 / 0.2 s 1.0 / 0.6 s
_Complexity__Innermost_Rewriting/Various_04/06.xml 1.2 / 0.4 s 0.9 / 0.6 s
_Complexity__Innermost_Rewriting/Various_04/07.xml 0.2 / 0.1 s 0.9 / 0.6 s
_Complexity__Innermost_Rewriting/Various_04/08.xml 114.5 / 47.1 s 1.1 / 0.7 s
_Complexity__Innermost_Rewriting/Various_04/09.xml 1.8 / 0.6 s 0.9 / 0.6 s
_Complexity__Innermost_Rewriting/Various_04/10.xml 607.0 / 156.4 s 62.2 / 22.1 s
_Complexity__Innermost_Rewriting/Various_04/11.xml 861.4 / 297.5 s 7.1 / 2.5 s
_Complexity__Innermost_Rewriting/Various_04/12.xml 918.6 / 297.4 s 791.9 / 300.1 s
_Complexity__Innermost_Rewriting/Various_04/13.xml 865.1 / 297.2 s 786.5 / 300.0 s
_Complexity__Innermost_Rewriting/Various_04/14.xml 1117.6 / 297.6 s 45.0 / 12.8 s
_Complexity__Innermost_Rewriting/Various_04/15.xml 156.1 / 96.3 s 1.7 / 0.8 s
_Complexity__Innermost_Rewriting/Various_04/18.xml 943.3 / 297.3 s 3.4 / 1.3 s
_Complexity__Innermost_Rewriting/Various_04/19.xml 810.0 / 297.3 s 23.9 / 8.4 s
_Complexity__Innermost_Rewriting/Various_04/21.xml 552.7 / 148.3 s 1.1 / 0.7 s
_Complexity__Innermost_Rewriting/Various_04/22.xml 15.8 / 5.1 s 2.6 / 1.1 s
_Complexity__Innermost_Rewriting/Various_04/23.xml 2.4 / 0.8 s 1.5 / 0.8 s
_Complexity__Innermost_Rewriting/Various_04/24.xml 453.4 / 148.2 s 110.6 / 45.9 s
_Complexity__Innermost_Rewriting/Various_04/25.xml 0.5 / 0.3 s 1.5 / 0.8 s
_Complexity__Innermost_Rewriting/Various_04/26.xml 2.3 / 1.2 s 0.9 / 0.6 s
_Complexity__Innermost_Rewriting/Various_04/27.xml 0.3 / 0.1 s 0.9 / 0.6 s
ity__Innermost_Rewriting/Waldmann_06/jwaprove1.xml 505.3 / 149.7 s 0.9 / 0.6 s
ity__Innermost_Rewriting/Waldmann_06/jwaprove2.xml 503.0 / 148.5 s 0.9 / 0.6 s
exity__Innermost_Rewriting/Waldmann_06/jwcime1.xml 482.2 / 150.4 s 0.9 / 0.6 s
exity__Innermost_Rewriting/Waldmann_06/jwcime2.xml 491.7 / 148.6 s 0.9 / 0.6 s
ity__Innermost_Rewriting/Waldmann_06/jwmatchb1.xml 8.5 / 3.4 s 45.7 / 39.7 s
ity__Innermost_Rewriting/Waldmann_06/jwmatchb2.xml 8.5 / 3.5 s 51.5 / 45.6 s
plexity__Innermost_Rewriting/Waldmann_06/jwno1.xml 1048.2 / 297.7 s 585.9 / 300.0 s
plexity__Innermost_Rewriting/Waldmann_06/jwno2.xml 437.0 / 148.4 s 0.9 / 0.6 s
plexity__Innermost_Rewriting/Waldmann_06/jwno3.xml 514.8 / 148.7 s 0.9 / 0.6 s
plexity__Innermost_Rewriting/Waldmann_06/jwno4.xml 940.7 / 297.6 s 7.4 / 2.6 s
plexity__Innermost_Rewriting/Waldmann_06/jwno5.xml 437.5 / 148.4 s 0.9 / 0.6 s
plexity__Innermost_Rewriting/Waldmann_06/jwno6.xml 943.2 / 297.6 s 7.4 / 2.7 s
plexity__Innermost_Rewriting/Waldmann_06/jwno7.xml 465.8 / 150.5 s 0.9 / 0.6 s
plexity__Innermost_Rewriting/Waldmann_06/jwno8.xml 492.1 / 148.7 s 0.9 / 0.6 s
plexity__Innermost_Rewriting/Waldmann_06/jwno9.xml 495.7 / 148.7 s 0.9 / 0.6 s
ty__Innermost_Rewriting/Waldmann_06/jwteparla1.xml 506.4 / 148.7 s 0.9 / 0.6 s
ty__Innermost_Rewriting/Waldmann_06/jwteparla2.xml 502.6 / 149.5 s 0.9 / 0.6 s
lexity__Innermost_Rewriting/Waldmann_06/jwtpa1.xml 529.4 / 148.4 s 0.9 / 0.6 s
lexity__Innermost_Rewriting/Waldmann_06/jwtpa2.xml 511.4 / 148.6 s 0.9 / 0.6 s
plexity__Innermost_Rewriting/Waldmann_06/jwttt.xml 529.8 / 148.7 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw01.xml 3.8 / 1.2 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw02.xml 14.2 / 4.1 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw03.xml 16.5 / 4.9 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw04.xml 17.0 / 4.9 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw05.xml 16.1 / 4.5 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw06.xml 3.6 / 1.2 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw07.xml 535.2 / 151.9 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw08.xml 522.5 / 149.3 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw09.xml 49.7 / 14.6 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw11.xml 412.6 / 148.2 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw12.xml 462.2 / 148.3 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw13.xml 30.3 / 8.6 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw14.xml 6.4 / 2.0 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw15.xml 511.2 / 148.7 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw16.xml 9.7 / 3.1 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw17.xml 53.3 / 15.5 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw18.xml 5.1 / 1.6 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw19.xml 456.4 / 148.6 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw20.xml 72.1 / 20.8 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw21.xml 516.7 / 148.6 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw22.xml 61.9 / 18.2 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw23.xml 517.1 / 148.7 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw24.xml 67.5 / 19.5 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw25.xml 60.7 / 17.9 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw26.xml 518.4 / 148.6 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw27.xml 63.5 / 18.6 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw28.xml 524.8 / 150.0 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw29.xml 70.2 / 20.5 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw30.xml 461.5 / 148.6 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw31.xml 4.9 / 1.6 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw32.xml 56.0 / 16.1 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw33.xml 9.6 / 3.0 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw34.xml 525.2 / 149.9 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw35.xml 6.5 / 2.1 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw36.xml 28.1 / 7.9 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw37.xml 464.2 / 148.3 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw38.xml 418.9 / 148.2 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw39.xml 59.8 / 17.2 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw40.xml 49.6 / 14.6 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw41.xml 519.8 / 148.7 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw42.xml 519.9 / 148.6 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw43.xml 7.4 / 2.0 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw44.xml 2.1 / 1.2 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw47.xml 2.1 / 1.2 s 0.9 / 0.6 s
omplexity__Innermost_Rewriting/Zantema_05/jw50.xml 7.2 / 2.0 s 0.9 / 0.6 s
Complexity__Innermost_Rewriting/Zantema_05/z01.xml 548.5 / 151.5 s 0.9 / 0.6 s
Complexity__Innermost_Rewriting/Zantema_05/z02.xml 999.6 / 297.7 s 12.3 / 7.1 s
Complexity__Innermost_Rewriting/Zantema_05/z03.xml 541.7 / 148.5 s 0.9 / 0.6 s
Complexity__Innermost_Rewriting/Zantema_05/z04.xml 991.8 / 297.7 s 1.8 / 0.9 s
Complexity__Innermost_Rewriting/Zantema_05/z05.xml 307.2 / 148.1 s 0.9 / 0.6 s
Complexity__Innermost_Rewriting/Zantema_05/z06.xml 503.1 / 148.7 s 0.9 / 0.6 s
Complexity__Innermost_Rewriting/Zantema_05/z07.xml 113.1 / 54.3 s 0.9 / 0.6 s
Complexity__Innermost_Rewriting/Zantema_05/z08.xml 534.5 / 148.6 s 0.9 / 0.6 s
Complexity__Innermost_Rewriting/Zantema_05/z09.xml 0.1 / 0.0 s 0.9 / 0.6 s
Complexity__Innermost_Rewriting/Zantema_05/z10.xml 940.1 / 297.7 s 78.4 / 34.8 s
Complexity__Innermost_Rewriting/Zantema_05/z11.xml 530.2 / 148.6 s 0.9 / 0.6 s
Complexity__Innermost_Rewriting/Zantema_05/z12.xml 897.1 / 297.2 s 1010.3 / 300.0 s
Complexity__Innermost_Rewriting/Zantema_05/z13.xml 513.8 / 297.2 s 1050.1 / 300.1 s
Complexity__Innermost_Rewriting/Zantema_05/z14.xml 523.2 / 297.1 s 1040.7 / 300.1 s
Complexity__Innermost_Rewriting/Zantema_05/z15.xml 521.4 / 297.1 s 1073.2 / 300.0 s
Complexity__Innermost_Rewriting/Zantema_05/z16.xml 520.1 / 297.2 s 1050.6 / 300.0 s
Complexity__Innermost_Rewriting/Zantema_05/z17.xml 582.9 / 297.1 s 1047.3 / 300.1 s
Complexity__Innermost_Rewriting/Zantema_05/z18.xml 522.7 / 297.1 s 1073.4 / 300.0 s
Complexity__Innermost_Rewriting/Zantema_05/z19.xml 468.7 / 148.5 s 0.9 / 0.6 s
Complexity__Innermost_Rewriting/Zantema_05/z20.xml 531.8 / 148.6 s 0.9 / 0.6 s
Complexity__Innermost_Rewriting/Zantema_05/z21.xml 98.4 / 54.3 s 0.9 / 0.6 s
Complexity__Innermost_Rewriting/Zantema_05/z22.xml 504.3 / 148.7 s 0.9 / 0.6 s
Complexity__Innermost_Rewriting/Zantema_05/z23.xml 681.6 / 297.1 s 103.5 / 46.2 s
Complexity__Innermost_Rewriting/Zantema_05/z24.xml 886.1 / 297.2 s 1074.9 / 300.0 s
Complexity__Innermost_Rewriting/Zantema_05/z25.xml 318.7 / 148.1 s 0.9 / 0.6 s
Complexity__Innermost_Rewriting/Zantema_05/z26.xml 667.9 / 225.5 s 111.3 / 45.6 s
Complexity__Innermost_Rewriting/Zantema_05/z27.xml 946.6 / 297.8 s 353.2 / 300.0 s
Complexity__Innermost_Rewriting/Zantema_05/z28.xml 846.4 / 297.4 s 110.7 / 80.7 s
Complexity__Innermost_Rewriting/Zantema_05/z29.xml 0.1 / 0.0 s 0.9 / 0.6 s
Complexity__Innermost_Rewriting/Zantema_05/z30.xml 562.8 / 148.7 s 0.9 / 0.6 s
exity__Innermost_Rewriting/raML/appendAll.raml.xml 6.7 / 2.0 s 4.6 / 1.6 s
_Complexity__Innermost_Rewriting/raML/bfs.raml.xml 589.4 / 148.9 s 813.5 / 300.0 s
exity__Innermost_Rewriting/raML/bft_mmult.raml.xml 675.6 / 183.5 s 666.3 / 300.0 s
xity__Innermost_Rewriting/raML/bitvectors.raml.xml 586.2 / 150.0 s 976.5 / 300.0 s
ity__Innermost_Rewriting/raML/clevermmult.raml.xml 177.7 / 52.8 s 18.0 / 5.0 s
xity__Innermost_Rewriting/raML/duplicates.raml.xml 357.6 / 143.1 s 26.0 / 7.1 s
omplexity__Innermost_Rewriting/raML/dyade.raml.xml 40.8 / 11.6 s 9.8 / 2.9 s
ty__Innermost_Rewriting/raML/eratosthenes.raml.xml 555.7 / 148.4 s 828.5 / 300.0 s
plexity__Innermost_Rewriting/raML/flatten.raml.xml 532.5 / 150.1 s 22.8 / 6.3 s
y__Innermost_Rewriting/raML/insertionsort.raml.xml 1185.2 / 297.6 s 826.5 / 300.0 s
lexity__Innermost_Rewriting/raML/listsort.raml.xml 571.0 / 151.0 s 854.0 / 300.0 s
t_Rewriting/raML/longestCommonSubsequence.raml.xml 583.3 / 150.4 s 788.5 / 300.1 s
mplexity__Innermost_Rewriting/raML/matrix.raml.xml 768.4 / 213.2 s 781.8 / 300.0 s
exity__Innermost_Rewriting/raML/mergesort.raml.xml 759.5 / 297.1 s 710.0 / 300.0 s
plexity__Innermost_Rewriting/raML/minsort.raml.xml 202.4 / 76.5 s 9.8 / 2.9 s
omplexity__Innermost_Rewriting/raML/queue.raml.xml 891.2 / 297.3 s 768.8 / 300.0 s
exity__Innermost_Rewriting/raML/quicksort.raml.xml 1081.3 / 297.4 s 809.0 / 300.0 s
nnermost_Rewriting/raML/rationalPotential.raml.xml 5.4 / 1.6 s 3.0 / 1.2 s
ty__Innermost_Rewriting/raML/splitandsort.raml.xml 876.8 / 289.1 s 759.4 / 300.1 s
lexity__Innermost_Rewriting/raML/subtrees.raml.xml 104.5 / 75.7 s 6.2 / 2.0 s