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
|