| Runtime_Complexity__Full_Rewriting/AG01/#3.1.xml |
0.2 /
0.2 s
|
1.6 /
0.6 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.10.xml |
0.2 /
0.2 s
|
818.4 /
297.2 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.12.xml |
133.1 /
56.6 s
|
390.7 /
138.1 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.13.xml |
0.2 /
0.2 s
|
770.5 /
297.3 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.15.xml |
11.4 /
6.5 s
|
65.1 /
24.1 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.16.xml |
0.2 /
0.2 s
|
776.9 /
297.2 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.17.xml |
152.2 /
59.5 s
|
919.7 /
297.5 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.17a.xml |
165.1 /
60.1 s
|
927.5 /
298.8 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.18.xml |
0.2 /
0.2 s
|
418.3 /
242.8 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.19.xml |
0.2 /
0.2 s
|
536.9 /
297.4 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.2.xml |
0.2 /
0.2 s
|
196.5 /
102.9 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.21.xml |
0.2 /
0.2 s
|
1050.0 /
297.8 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.22.xml |
0.2 /
0.2 s
|
1038.8 /
297.6 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.23.xml |
0.2 /
0.2 s
|
0.5 /
0.3 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.24.xml |
0.3 /
0.2 s
|
3.1 /
0.8 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.26.xml |
78.8 /
33.5 s
|
830.4 /
297.3 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.29.xml |
0.2 /
0.2 s
|
0.2 /
0.1 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.31.xml |
0.2 /
0.2 s
|
1107.0 /
300.0 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.33.xml |
0.3 /
0.2 s
|
1.6 /
0.8 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.35.xml |
0.3 /
0.2 s
|
0.4 /
0.2 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.36.xml |
0.2 /
0.2 s
|
1037.3 /
297.6 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.37.xml |
0.8 /
0.3 s
|
3.3 /
0.9 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.38.xml |
0.2 /
0.2 s
|
1135.1 /
300.0 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.39.xml |
0.2 /
0.2 s
|
442.5 /
228.0 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.4.xml |
0.2 /
0.2 s
|
341.6 /
192.6 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.40.xml |
0.2 /
0.2 s
|
832.4 /
297.3 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.41.xml |
0.2 /
0.2 s
|
27.9 /
9.7 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.42.xml |
0.2 /
0.2 s
|
124.4 /
47.7 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.47.xml |
0.2 /
0.2 s
|
37.0 /
9.5 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.48.xml |
0.2 /
0.2 s
|
501.9 /
148.4 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.49.xml |
219.9 /
55.6 s
|
727.5 /
297.2 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.5.xml |
0.2 /
0.2 s
|
317.4 /
186.7 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.51.xml |
0.5 /
0.3 s
|
7.1 /
1.8 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.52.xml |
0.2 /
0.2 s
|
2.2 /
0.6 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.53.xml |
0.2 /
0.2 s
|
713.1 /
297.4 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.53a.xml |
0.2 /
0.2 s
|
0.5 /
0.2 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.53b.xml |
0.2 /
0.2 s
|
2.1 /
0.6 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.54.xml |
0.2 /
0.2 s
|
835.7 /
297.3 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.55.xml |
0.2 /
0.2 s
|
799.2 /
297.2 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.56.xml |
0.3 /
0.2 s
|
6.6 /
1.8 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.57.xml |
0.2 /
0.2 s
|
814.3 /
297.3 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.5a.xml |
0.2 /
0.2 s
|
482.0 /
263.1 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.5b.xml |
0.2 /
0.2 s
|
255.7 /
119.7 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.6.xml |
0.2 /
0.2 s
|
559.0 /
297.4 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.6a.xml |
0.2 /
0.2 s
|
519.3 /
297.4 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.6b.xml |
0.2 /
0.2 s
|
444.5 /
229.3 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.7.xml |
14.9 /
4.2 s
|
69.6 /
24.0 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.8a.xml |
0.2 /
0.2 s
|
653.0 /
192.9 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#3.8b.xml |
0.2 /
0.2 s
|
1136.6 /
300.0 s
|
| Runtime_Complexity__Full_Rewriting/AG01/#4.30c.xml |
0.2 /
0.2 s
|
690.1 /
297.4 s
|
| omplexity__Full_Rewriting/AProVE_04/AAECC-ring.xml |
0.2 /
0.2 s
|
846.1 /
297.3 s
|
| ime_Complexity__Full_Rewriting/AProVE_04/AAECC.xml |
0.2 /
0.2 s
|
994.7 /
297.7 s
|
| e_Complexity__Full_Rewriting/AProVE_04/IJCAR_1.xml |
0.2 /
0.2 s
|
15.6 /
8.5 s
|
| _Complexity__Full_Rewriting/AProVE_04/IJCAR_12.xml |
0.2 /
0.2 s
|
534.7 /
297.4 s
|
| _Complexity__Full_Rewriting/AProVE_04/IJCAR_18.xml |
0.2 /
0.2 s
|
773.3 /
297.4 s
|
| _Complexity__Full_Rewriting/AProVE_04/IJCAR_26.xml |
0.2 /
0.2 s
|
802.4 /
297.3 s
|
| Complexity__Full_Rewriting/AProVE_04/IJCAR_26a.xml |
0.2 /
0.2 s
|
799.2 /
297.3 s
|
| _Complexity__Full_Rewriting/AProVE_04/JFP_Ex31.xml |
0.2 /
0.2 s
|
1053.7 /
297.2 s
|
| _Complexity__Full_Rewriting/AProVE_04/JFP_Ex51.xml |
0.2 /
0.2 s
|
1186.2 /
297.7 s
|
| plexity__Full_Rewriting/AProVE_04/LPAR_intlist.xml |
222.6 /
56.3 s
|
1035.2 /
297.1 s
|
| mplexity__Full_Rewriting/AProVE_04/Liveness6.1.xml |
234.9 /
59.0 s
|
583.2 /
155.0 s
|
| mplexity__Full_Rewriting/AProVE_04/Liveness6.2.xml |
43.9 /
18.1 s
|
727.0 /
297.1 s
|
| mplexity__Full_Rewriting/AProVE_04/Liveness6.3.xml |
0.5 /
0.3 s
|
703.7 /
211.7 s
|
| mplexity__Full_Rewriting/AProVE_04/Liveness6.4.xml |
265.9 /
68.0 s
|
585.0 /
156.4 s
|
| Complexity__Full_Rewriting/AProVE_04/Liveness8.xml |
1.0 /
0.4 s
|
805.0 /
297.3 s
|
| plexity__Full_Rewriting/AProVE_04/Liveness_WRS.xml |
0.8 /
0.4 s
|
1005.7 /
297.4 s
|
| ntime_Complexity__Full_Rewriting/AProVE_04/fac.xml |
0.2 /
0.2 s
|
735.2 /
230.6 s
|
| Full_Rewriting/AProVE_04/forward_instantiation.xml |
0.2 /
0.2 s
|
113.9 /
56.3 s
|
| ull_Rewriting/AProVE_04/forward_instantiation2.xml |
0.2 /
0.2 s
|
113.7 /
55.9 s
|
| xity__Full_Rewriting/AProVE_04/improved_usable.xml |
0.2 /
0.2 s
|
8.2 /
2.8 s
|
| ity__Full_Rewriting/AProVE_04/improved_usable2.xml |
0.2 /
0.2 s
|
903.6 /
297.5 s
|
| time_Complexity__Full_Rewriting/AProVE_04/rta1.xml |
0.2 /
0.2 s
|
1030.9 /
297.8 s
|
| time_Complexity__Full_Rewriting/AProVE_04/rta2.xml |
0.2 /
0.2 s
|
88.3 /
42.3 s
|
| time_Complexity__Full_Rewriting/AProVE_04/rta3.xml |
0.2 /
0.2 s
|
980.1 /
298.1 s
|
| xity__Full_Rewriting/AProVE_06/div_notCeTermin.xml |
0.2 /
0.2 s
|
262.1 /
90.6 s
|
| lexity__Full_Rewriting/AProVE_06/div_notTermin.xml |
0.2 /
0.2 s
|
442.6 /
195.5 s
|
| omplexity__Full_Rewriting/AProVE_06/factorial1.xml |
0.2 /
0.2 s
|
747.3 /
286.3 s
|
| omplexity__Full_Rewriting/AProVE_06/factorial2.xml |
0.2 /
0.2 s
|
1185.3 /
297.8 s
|
| _Complexity__Full_Rewriting/AProVE_06/identity.xml |
102.6 /
38.6 s
|
528.8 /
297.1 s
|
| Complexity__Full_Rewriting/AProVE_06/logarithm.xml |
0.2 /
0.2 s
|
808.6 /
297.3 s
|
| e_Complexity__Full_Rewriting/AProVE_06/mapHard.xml |
0.2 /
0.2 s
|
533.2 /
148.6 s
|
| me_Complexity__Full_Rewriting/AProVE_06/modulo.xml |
0.2 /
0.2 s
|
355.1 /
194.1 s
|
| e_Complexity__Full_Rewriting/AProVE_06/nonterm.xml |
161.2 /
55.5 s
|
1181.2 /
297.9 s
|
| Complexity__Full_Rewriting/AProVE_06/quicksort.xml |
0.2 /
0.2 s
|
807.9 /
297.2 s
|
| time_Complexity__Full_Rewriting/AProVE_06/quot.xml |
0.2 /
0.2 s
|
221.6 /
105.8 s
|
| omplexity__Full_Rewriting/AProVE_06/sizeChange.xml |
0.2 /
0.2 s
|
365.6 /
297.2 s
|
| ime_Complexity__Full_Rewriting/AProVE_06/tower.xml |
0.2 /
0.2 s
|
763.2 /
297.3 s
|
| ity__Full_Rewriting/AProVE_06/tower_sizeChange.xml |
160.8 /
55.9 s
|
810.1 /
297.4 s
|
| Complexity__Full_Rewriting/AProVE_07/kabasci01.xml |
0.2 /
0.2 s
|
1082.6 /
297.4 s
|
| Complexity__Full_Rewriting/AProVE_07/kabasci02.xml |
0.2 /
0.2 s
|
866.9 /
297.2 s
|
| Complexity__Full_Rewriting/AProVE_07/kabasci03.xml |
0.2 /
0.2 s
|
1108.0 /
300.0 s
|
| Complexity__Full_Rewriting/AProVE_07/kabasci04.xml |
0.2 /
0.2 s
|
743.7 /
297.3 s
|
| Complexity__Full_Rewriting/AProVE_07/kabasci05.xml |
0.2 /
0.2 s
|
812.2 /
297.2 s
|
| Complexity__Full_Rewriting/AProVE_07/kabasci06.xml |
0.2 /
0.2 s
|
1183.8 /
298.3 s
|
| me_Complexity__Full_Rewriting/AProVE_07/otto01.xml |
0.2 /
0.2 s
|
821.8 /
297.3 s
|
| me_Complexity__Full_Rewriting/AProVE_07/otto02.xml |
0.2 /
0.2 s
|
709.5 /
297.3 s
|
| me_Complexity__Full_Rewriting/AProVE_07/otto03.xml |
0.2 /
0.2 s
|
171.8 /
89.3 s
|
| me_Complexity__Full_Rewriting/AProVE_07/otto04.xml |
0.2 /
0.2 s
|
826.5 /
297.4 s
|
| me_Complexity__Full_Rewriting/AProVE_07/otto05.xml |
0.2 /
0.2 s
|
252.6 /
134.8 s
|
| me_Complexity__Full_Rewriting/AProVE_07/otto06.xml |
0.2 /
0.2 s
|
719.7 /
297.3 s
|
| me_Complexity__Full_Rewriting/AProVE_07/otto07.xml |
0.2 /
0.2 s
|
832.7 /
297.7 s
|
| me_Complexity__Full_Rewriting/AProVE_07/otto08.xml |
0.2 /
0.2 s
|
540.4 /
297.4 s
|
| me_Complexity__Full_Rewriting/AProVE_07/otto09.xml |
0.2 /
0.2 s
|
184.9 /
75.3 s
|
| me_Complexity__Full_Rewriting/AProVE_07/otto10.xml |
0.2 /
0.2 s
|
738.2 /
297.5 s
|
| me_Complexity__Full_Rewriting/AProVE_07/otto11.xml |
0.2 /
0.2 s
|
574.1 /
297.4 s
|
| me_Complexity__Full_Rewriting/AProVE_07/otto12.xml |
0.2 /
0.2 s
|
535.4 /
297.3 s
|
| me_Complexity__Full_Rewriting/AProVE_07/otto13.xml |
0.2 /
0.2 s
|
594.6 /
219.9 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann01.xml |
0.2 /
0.2 s
|
1121.4 /
297.5 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann02.xml |
0.2 /
0.2 s
|
851.7 /
297.2 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann03.xml |
0.2 /
0.2 s
|
1185.8 /
298.2 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann04.xml |
0.2 /
0.2 s
|
833.9 /
297.2 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann05.xml |
0.2 /
0.2 s
|
753.1 /
297.3 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann06.xml |
0.2 /
0.2 s
|
739.5 /
276.8 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann07.xml |
0.2 /
0.2 s
|
819.4 /
297.2 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann08.xml |
0.2 /
0.2 s
|
1187.0 /
298.6 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann09.xml |
0.2 /
0.2 s
|
1186.1 /
298.2 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann10.xml |
0.2 /
0.2 s
|
204.3 /
109.2 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann11.xml |
0.2 /
0.2 s
|
480.8 /
264.0 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann12.xml |
0.2 /
0.2 s
|
353.2 /
142.0 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann13.xml |
0.2 /
0.2 s
|
789.1 /
297.4 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann14.xml |
0.2 /
0.2 s
|
772.3 /
297.3 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann15.xml |
0.2 /
0.2 s
|
217.4 /
121.5 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann16.xml |
0.2 /
0.2 s
|
819.0 /
297.2 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann17.xml |
0.2 /
0.2 s
|
1185.6 /
297.9 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann18.xml |
0.2 /
0.2 s
|
834.3 /
297.2 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann19.xml |
0.2 /
0.2 s
|
526.7 /
144.3 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann20.xml |
0.2 /
0.2 s
|
728.2 /
282.2 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann21.xml |
0.2 /
0.2 s
|
862.2 /
297.2 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann22.xml |
0.2 /
0.2 s
|
280.3 /
135.5 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann23.xml |
0.2 /
0.2 s
|
652.6 /
180.3 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann24.xml |
0.2 /
0.2 s
|
503.8 /
267.2 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann25.xml |
0.2 /
0.2 s
|
378.2 /
216.5 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann26.xml |
0.2 /
0.2 s
|
720.0 /
297.3 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann27.xml |
0.2 /
0.2 s
|
139.3 /
72.7 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann28.xml |
0.2 /
0.2 s
|
738.2 /
297.3 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann29.xml |
0.2 /
0.2 s
|
542.0 /
297.4 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann30.xml |
0.2 /
0.2 s
|
837.6 /
297.2 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann31.xml |
0.2 /
0.2 s
|
696.9 /
264.8 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann32.xml |
0.2 /
0.2 s
|
793.3 /
297.3 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann33.xml |
0.2 /
0.2 s
|
783.4 /
297.3 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann34.xml |
0.2 /
0.2 s
|
221.2 /
95.4 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann35.xml |
0.2 /
0.2 s
|
559.6 /
148.5 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann36.xml |
0.2 /
0.2 s
|
595.1 /
264.0 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann37.xml |
0.2 /
0.2 s
|
963.7 /
297.2 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann38.xml |
0.2 /
0.2 s
|
745.8 /
297.4 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann39.xml |
0.2 /
0.2 s
|
542.4 /
148.7 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann40.xml |
0.2 /
0.2 s
|
1137.2 /
298.1 s
|
| omplexity__Full_Rewriting/AProVE_07/thiemann41.xml |
0.2 /
0.2 s
|
412.2 /
196.2 s
|
| e_Complexity__Full_Rewriting/AProVE_07/wiehe01.xml |
0.2 /
0.2 s
|
823.9 /
297.3 s
|
| e_Complexity__Full_Rewriting/AProVE_07/wiehe02.xml |
0.2 /
0.2 s
|
865.6 /
297.2 s
|
| e_Complexity__Full_Rewriting/AProVE_07/wiehe03.xml |
0.2 /
0.2 s
|
879.4 /
297.2 s
|
| e_Complexity__Full_Rewriting/AProVE_07/wiehe05.xml |
0.2 /
0.2 s
|
832.8 /
297.3 s
|
| e_Complexity__Full_Rewriting/AProVE_07/wiehe06.xml |
0.2 /
0.2 s
|
868.6 /
297.2 s
|
| e_Complexity__Full_Rewriting/AProVE_07/wiehe07.xml |
0.2 /
0.2 s
|
836.1 /
297.2 s
|
| e_Complexity__Full_Rewriting/AProVE_07/wiehe08.xml |
0.2 /
0.2 s
|
835.1 /
297.3 s
|
| e_Complexity__Full_Rewriting/AProVE_07/wiehe09.xml |
0.2 /
0.2 s
|
839.7 /
297.3 s
|
| e_Complexity__Full_Rewriting/AProVE_07/wiehe11.xml |
0.2 /
0.2 s
|
898.8 /
297.2 s
|
| e_Complexity__Full_Rewriting/AProVE_07/wiehe12.xml |
0.2 /
0.2 s
|
901.4 /
297.2 s
|
| me_Complexity__Full_Rewriting/AProVE_08/id_inc.xml |
0.2 /
0.2 s
|
963.3 /
297.9 s
|
| ntime_Complexity__Full_Rewriting/AProVE_08/log.xml |
0.2 /
0.2 s
|
694.2 /
231.0 s
|
| ty__Full_Rewriting/AProVE_08/parting01_reverse.xml |
0.2 /
0.2 s
|
884.6 /
297.3 s
|
| _Full_Rewriting/AProVE_08/parting02_doublelist.xml |
0.2 /
0.2 s
|
912.4 /
297.5 s
|
| ty__Full_Rewriting/AProVE_08/parting03_minsort.xml |
0.2 /
0.2 s
|
803.2 /
297.3 s
|
| __Full_Rewriting/AProVE_08/parting04_maxsort_h.xml |
0.2 /
0.2 s
|
866.8 /
297.3 s
|
| ty__Full_Rewriting/AProVE_08/parting05_maxsort.xml |
0.2 /
0.2 s
|
815.7 /
297.3 s
|
| ime_Complexity__Full_Rewriting/AProVE_08/round.xml |
32.0 /
10.2 s
|
968.4 /
297.9 s
|
| lexity__Full_Rewriting/AProVE_08/round_nonterm.xml |
48.4 /
14.0 s
|
940.5 /
297.5 s
|
| __Full_Rewriting/AProVE_08/thiemann40_modified.xml |
0.2 /
0.2 s
|
362.0 /
214.3 s
|
| lexity__Full_Rewriting/AProVE_09_Inductive/div.xml |
0.2 /
0.2 s
|
1055.8 /
297.3 s
|
| ty__Full_Rewriting/AProVE_09_Inductive/divhard.xml |
0.2 /
0.2 s
|
167.9 /
75.1 s
|
| lexity__Full_Rewriting/AProVE_09_Inductive/gcd.xml |
0.2 /
0.2 s
|
366.3 /
185.9 s
|
| exity__Full_Rewriting/AProVE_09_Inductive/gcd2.xml |
0.2 /
0.2 s
|
543.9 /
297.4 s
|
| ty__Full_Rewriting/AProVE_09_Inductive/gcdhard.xml |
0.2 /
0.2 s
|
725.9 /
297.3 s
|
| lexity__Full_Rewriting/AProVE_09_Inductive/log.xml |
0.2 /
0.2 s
|
553.7 /
159.2 s
|
| ty__Full_Rewriting/AProVE_09_Inductive/maxsort.xml |
0.2 /
0.2 s
|
821.8 /
297.3 s
|
| Rewriting/AProVE_09_Inductive/maxsortcondition.xml |
0.2 /
0.2 s
|
771.8 /
297.3 s
|
| ty__Full_Rewriting/AProVE_09_Inductive/minsort.xml |
0.2 /
0.2 s
|
841.8 /
297.3 s
|
| lexity__Full_Rewriting/AProVE_09_Inductive/mod.xml |
0.2 /
0.2 s
|
255.1 /
131.3 s
|
| xity__Full_Rewriting/AProVE_09_Inductive/qsort.xml |
0.2 /
0.2 s
|
818.2 /
297.3 s
|
| __Full_Rewriting/AProVE_09_Inductive/qsortlast.xml |
0.2 /
0.2 s
|
825.3 /
297.2 s
|
| Full_Rewriting/AProVE_09_Inductive/qsortmiddle.xml |
0.2 /
0.2 s
|
824.1 /
297.2 s
|
| y__Full_Rewriting/AProVE_09_Inductive/zerolist.xml |
0.2 /
0.2 s
|
364.8 /
191.9 s
|
| ime_Complexity__Full_Rewriting/Beerendonk_07/1.xml |
0.2 /
0.2 s
|
93.8 /
46.4 s
|
| me_Complexity__Full_Rewriting/Beerendonk_07/10.xml |
0.2 /
0.2 s
|
116.0 /
48.3 s
|
| me_Complexity__Full_Rewriting/Beerendonk_07/11.xml |
0.2 /
0.2 s
|
112.4 /
50.8 s
|
| me_Complexity__Full_Rewriting/Beerendonk_07/12.xml |
0.2 /
0.2 s
|
97.7 /
48.0 s
|
| me_Complexity__Full_Rewriting/Beerendonk_07/13.xml |
0.2 /
0.2 s
|
105.7 /
48.1 s
|
| me_Complexity__Full_Rewriting/Beerendonk_07/14.xml |
0.2 /
0.2 s
|
126.5 /
48.8 s
|
| me_Complexity__Full_Rewriting/Beerendonk_07/15.xml |
0.2 /
0.2 s
|
538.5 /
176.1 s
|
| me_Complexity__Full_Rewriting/Beerendonk_07/16.xml |
0.2 /
0.2 s
|
505.1 /
166.7 s
|
| me_Complexity__Full_Rewriting/Beerendonk_07/17.xml |
0.2 /
0.2 s
|
539.6 /
177.6 s
|
| me_Complexity__Full_Rewriting/Beerendonk_07/18.xml |
0.2 /
0.2 s
|
410.8 /
148.2 s
|
| me_Complexity__Full_Rewriting/Beerendonk_07/19.xml |
0.2 /
0.2 s
|
514.5 /
148.9 s
|
| ime_Complexity__Full_Rewriting/Beerendonk_07/2.xml |
0.2 /
0.2 s
|
93.9 /
45.1 s
|
| me_Complexity__Full_Rewriting/Beerendonk_07/20.xml |
0.2 /
0.2 s
|
489.1 /
148.5 s
|
| me_Complexity__Full_Rewriting/Beerendonk_07/21.xml |
0.2 /
0.2 s
|
564.4 /
157.6 s
|
| me_Complexity__Full_Rewriting/Beerendonk_07/22.xml |
0.2 /
0.2 s
|
114.8 /
49.3 s
|
| me_Complexity__Full_Rewriting/Beerendonk_07/23.xml |
0.2 /
0.2 s
|
109.5 /
48.6 s
|
| me_Complexity__Full_Rewriting/Beerendonk_07/24.xml |
0.2 /
0.2 s
|
475.6 /
149.9 s
|
| ime_Complexity__Full_Rewriting/Beerendonk_07/3.xml |
0.2 /
0.2 s
|
143.4 /
70.0 s
|
| ime_Complexity__Full_Rewriting/Beerendonk_07/4.xml |
0.2 /
0.2 s
|
825.0 /
297.2 s
|
| ime_Complexity__Full_Rewriting/Beerendonk_07/5.xml |
0.2 /
0.2 s
|
424.4 /
148.2 s
|
| ime_Complexity__Full_Rewriting/Beerendonk_07/6.xml |
0.2 /
0.2 s
|
81.1 /
40.6 s
|
| ime_Complexity__Full_Rewriting/Beerendonk_07/7.xml |
0.2 /
0.2 s
|
452.1 /
151.9 s
|
| ime_Complexity__Full_Rewriting/Beerendonk_07/8.xml |
0.2 /
0.2 s
|
386.4 /
148.2 s
|
| ime_Complexity__Full_Rewriting/Beerendonk_07/9.xml |
0.2 /
0.2 s
|
522.4 /
154.2 s
|
| _Complexity__Full_Rewriting/CiME_04/ack_prolog.xml |
0.2 /
0.2 s
|
962.5 /
297.1 s
|
| Complexity__Full_Rewriting/CiME_04/append-hard.xml |
0.2 /
0.2 s
|
1042.7 /
297.8 s
|
| omplexity__Full_Rewriting/CiME_04/append-wrong.xml |
0.2 /
0.2 s
|
1044.9 /
297.8 s
|
| time_Complexity__Full_Rewriting/CiME_04/append.xml |
0.2 /
0.2 s
|
0.9 /
0.3 s
|
| Runtime_Complexity__Full_Rewriting/CiME_04/big.xml |
0.2 /
0.2 s
|
861.6 /
297.2 s
|
| mplexity__Full_Rewriting/CiME_04/boolean_rings.xml |
0.2 /
0.2 s
|
9.6 /
3.0 s
|
| untime_Complexity__Full_Rewriting/CiME_04/dpqs.xml |
0.4 /
0.3 s
|
4.6 /
1.3 s
|
| e_Complexity__Full_Rewriting/CiME_04/fact-hard.xml |
0.2 /
0.2 s
|
785.8 /
297.3 s
|
| e_Complexity__Full_Rewriting/CiME_04/filliatre.xml |
245.7 /
62.1 s
|
1016.3 /
297.6 s
|
| _Complexity__Full_Rewriting/CiME_04/filliatre2.xml |
166.9 /
52.7 s
|
1044.4 /
297.5 s
|
| _Complexity__Full_Rewriting/CiME_04/filliatre3.xml |
0.2 /
0.2 s
|
1187.1 /
298.5 s
|
| e_Complexity__Full_Rewriting/CiME_04/intersect.xml |
0.2 /
0.2 s
|
592.8 /
297.3 s
|
| l_Rewriting/CiME_04/list-sum-prod-assoc-append.xml |
0.2 /
0.2 s
|
1186.8 /
298.3 s
|
| ty__Full_Rewriting/CiME_04/list-sum-prod-assoc.xml |
0.2 /
0.2 s
|
1185.3 /
297.7 s
|
| ting/CiME_04/list-sum-prod-bin-assoc-distr-app.xml |
0.2 /
0.2 s
|
805.7 /
297.2 s
|
| Full_Rewriting/CiME_04/list-sum-prod-bin-assoc.xml |
0.2 /
0.2 s
|
769.9 /
297.3 s
|
| xity__Full_Rewriting/CiME_04/list-sum-prod-bin.xml |
0.2 /
0.2 s
|
757.0 /
297.4 s
|
| mplexity__Full_Rewriting/CiME_04/list-sum-prod.xml |
0.2 /
0.2 s
|
1185.3 /
297.7 s
|
| untime_Complexity__Full_Rewriting/CiME_04/log2.xml |
0.2 /
0.2 s
|
846.0 /
297.7 s
|
| Runtime_Complexity__Full_Rewriting/CiME_04/lse.xml |
0.2 /
0.2 s
|
878.2 /
297.7 s
|
| time_Complexity__Full_Rewriting/CiME_04/maude2.xml |
0.2 /
0.2 s
|
806.0 /
297.3 s
|
| time_Complexity__Full_Rewriting/CiME_04/mucrl1.xml |
0.5 /
0.5 s
|
1110.7 /
297.4 s
|
| omplexity__Full_Rewriting/CiME_04/ternary-hard.xml |
0.2 /
0.2 s
|
783.5 /
297.2 s
|
| ime_Complexity__Full_Rewriting/CiME_04/ternary.xml |
0.2 /
0.2 s
|
738.9 /
297.2 s
|
| untime_Complexity__Full_Rewriting/CiME_04/tree.xml |
0.2 /
0.2 s
|
919.6 /
297.3 s
|
| Runtime_Complexity__Full_Rewriting/Der95/01.xml |
0.4 /
0.3 s
|
0.5 /
0.2 s
|
| Runtime_Complexity__Full_Rewriting/Der95/02.xml |
0.4 /
0.2 s
|
1.9 /
0.6 s
|
| Runtime_Complexity__Full_Rewriting/Der95/03.xml |
0.2 /
0.2 s
|
0.1 /
0.1 s
|
| Runtime_Complexity__Full_Rewriting/Der95/04.xml |
0.2 /
0.2 s
|
0.4 /
0.2 s
|
| Runtime_Complexity__Full_Rewriting/Der95/06.xml |
0.3 /
0.2 s
|
0.2 /
0.1 s
|
| Runtime_Complexity__Full_Rewriting/Der95/07.xml |
0.3 /
0.2 s
|
1.1 /
0.4 s
|
| Runtime_Complexity__Full_Rewriting/Der95/08.xml |
0.2 /
0.2 s
|
2.7 /
0.7 s
|
| Runtime_Complexity__Full_Rewriting/Der95/09.xml |
0.2 /
0.2 s
|
0.5 /
0.3 s
|
| Runtime_Complexity__Full_Rewriting/Der95/11.xml |
0.2 /
0.2 s
|
334.8 /
148.2 s
|
| Runtime_Complexity__Full_Rewriting/Der95/12.xml |
0.2 /
0.2 s
|
906.6 /
297.6 s
|
| Runtime_Complexity__Full_Rewriting/Der95/13.xml |
0.2 /
0.2 s
|
47.4 /
22.4 s
|
| Runtime_Complexity__Full_Rewriting/Der95/17.xml |
0.4 /
0.2 s
|
1149.3 /
297.3 s
|
| Runtime_Complexity__Full_Rewriting/Der95/18.xml |
0.2 /
0.2 s
|
0.2 /
0.1 s
|
| Runtime_Complexity__Full_Rewriting/Der95/20.xml |
36.6 /
10.9 s
|
910.4 /
297.2 s
|
| Runtime_Complexity__Full_Rewriting/Der95/21.xml |
0.2 /
0.2 s
|
1130.1 /
298.1 s
|
| Runtime_Complexity__Full_Rewriting/Der95/27.xml |
0.3 /
0.2 s
|
0.5 /
0.2 s
|
| Runtime_Complexity__Full_Rewriting/Der95/28.xml |
0.2 /
0.2 s
|
60.4 /
24.9 s
|
| Runtime_Complexity__Full_Rewriting/Der95/30.xml |
0.2 /
0.2 s
|
481.4 /
148.8 s
|
| Runtime_Complexity__Full_Rewriting/Der95/31.xml |
0.2 /
0.2 s
|
185.4 /
81.6 s
|
| Runtime_Complexity__Full_Rewriting/Der95/32.xml |
0.2 /
0.2 s
|
880.2 /
297.3 s
|
| Runtime_Complexity__Full_Rewriting/Der95/33.xml |
0.2 /
0.2 s
|
677.2 /
297.2 s
|
| Complexity__Full_Rewriting/Endrullis_06/direct.xml |
3.9 /
1.1 s
|
14.3 /
4.5 s
|
| mplexity__Full_Rewriting/Endrullis_06/labeling.xml |
0.2 /
0.2 s
|
28.9 /
12.0 s
|
| omplexity__Full_Rewriting/Endrullis_06/linear1.xml |
0.3 /
0.2 s
|
504.4 /
148.3 s
|
| omplexity__Full_Rewriting/Endrullis_06/linear2.xml |
0.3 /
0.2 s
|
538.4 /
148.7 s
|
| plexity__Full_Rewriting/Endrullis_06/pair2hard.xml |
0.2 /
0.2 s
|
483.3 /
148.3 s
|
| xity__Full_Rewriting/Endrullis_06/pair2simple1.xml |
0.2 /
0.2 s
|
362.2 /
148.3 s
|
| xity__Full_Rewriting/Endrullis_06/pair2simple2.xml |
0.2 /
0.2 s
|
475.6 /
148.3 s
|
| plexity__Full_Rewriting/Endrullis_06/pair3hard.xml |
0.2 /
0.2 s
|
415.2 /
148.5 s
|
| exity__Full_Rewriting/Endrullis_06/pair3rotate.xml |
0.3 /
0.2 s
|
519.8 /
150.8 s
|
| plexity__Full_Rewriting/Endrullis_06/pair3swap.xml |
0.3 /
0.2 s
|
501.4 /
148.4 s
|
| lexity__Full_Rewriting/Endrullis_06/quadruple1.xml |
0.3 /
0.2 s
|
51.2 /
14.0 s
|
| lexity__Full_Rewriting/Endrullis_06/quadruple2.xml |
0.3 /
0.2 s
|
65.3 /
19.9 s
|
| time_Complexity__Full_Rewriting/GTSSK07/cade01.xml |
0.2 /
0.2 s
|
858.4 /
297.8 s
|
| time_Complexity__Full_Rewriting/GTSSK07/cade03.xml |
0.2 /
0.2 s
|
981.3 /
298.0 s
|
| ime_Complexity__Full_Rewriting/GTSSK07/cade04t.xml |
0.2 /
0.2 s
|
864.0 /
297.6 s
|
| ime_Complexity__Full_Rewriting/GTSSK07/cade05t.xml |
0.2 /
0.2 s
|
1094.4 /
297.6 s
|
| time_Complexity__Full_Rewriting/GTSSK07/cade06.xml |
0.2 /
0.2 s
|
425.8 /
148.2 s
|
| time_Complexity__Full_Rewriting/GTSSK07/cade07.xml |
0.2 /
0.2 s
|
897.9 /
297.4 s
|
| time_Complexity__Full_Rewriting/GTSSK07/cade08.xml |
0.2 /
0.2 s
|
569.2 /
162.1 s
|
| time_Complexity__Full_Rewriting/GTSSK07/cade09.xml |
0.2 /
0.2 s
|
970.1 /
299.9 s
|
| time_Complexity__Full_Rewriting/GTSSK07/cade10.xml |
0.2 /
0.2 s
|
880.4 /
297.5 s
|
| time_Complexity__Full_Rewriting/GTSSK07/cade11.xml |
0.2 /
0.2 s
|
951.6 /
298.0 s
|
| ime_Complexity__Full_Rewriting/GTSSK07/cade12t.xml |
0.2 /
0.2 s
|
675.4 /
201.7 s
|
| ime_Complexity__Full_Rewriting/GTSSK07/cade13t.xml |
0.2 /
0.2 s
|
292.8 /
137.9 s
|
| time_Complexity__Full_Rewriting/GTSSK07/cade14.xml |
0.2 /
0.2 s
|
889.4 /
297.2 s
|
| time_Complexity__Full_Rewriting/GTSSK07/cade15.xml |
0.2 /
0.2 s
|
767.8 /
297.3 s
|
| time_Complexity__Full_Rewriting/GTSSK07/cade16.xml |
0.2 /
0.2 s
|
598.3 /
211.3 s
|
| time_Complexity__Full_Rewriting/GTSSK07/cade17.xml |
0.2 /
0.2 s
|
880.5 /
295.8 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/n002.xml |
20.3 /
10.2 s
|
97.8 /
24.7 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/n003.xml |
20.7 /
10.2 s
|
98.6 /
25.0 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/n004.xml |
20.4 /
10.2 s
|
99.9 /
25.4 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/n005.xml |
20.8 /
10.2 s
|
828.8 /
297.2 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/n006.xml |
21.0 /
10.2 s
|
104.2 /
26.9 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/n007.xml |
0.2 /
0.2 s
|
21.8 /
8.7 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/n008.xml |
0.2 /
0.2 s
|
1.3 /
0.6 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/t000.xml |
28.9 /
7.6 s
|
1174.7 /
300.2 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/t001.xml |
0.2 /
0.2 s
|
777.7 /
297.3 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/t002.xml |
0.2 /
0.2 s
|
777.2 /
297.3 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/t003.xml |
0.2 /
0.2 s
|
720.5 /
297.5 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/t004.xml |
44.2 /
14.1 s
|
720.3 /
297.3 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/t005.xml |
0.3 /
0.3 s
|
1190.3 /
300.0 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/t006.xml |
0.2 /
0.2 s
|
0.3 /
0.2 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/t007.xml |
0.3 /
0.2 s
|
72.0 /
24.0 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/t008.xml |
0.3 /
0.2 s
|
7.3 /
1.9 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/t009.xml |
201.2 /
60.8 s
|
1110.1 /
298.1 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/t010.xml |
0.3 /
0.2 s
|
73.9 /
24.0 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/t011.xml |
8.5 /
5.8 s
|
70.6 /
24.0 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/t012.xml |
46.8 /
14.5 s
|
1072.5 /
300.0 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/t013.xml |
0.2 /
0.2 s
|
1128.2 /
297.5 s
|
| ity__Full_Rewriting/HirokawaMiddeldorp_04/t014.xml |
0.2 /
0.2 s
|
602.9 /
245.7 s
|
| Runtime_Complexity__Full_Rewriting/Mixed_TRS/1.xml |
0.3 /
0.2 s
|
55.9 /
16.1 s
|
| Runtime_Complexity__Full_Rewriting/Mixed_TRS/2.xml |
0.3 /
0.2 s
|
503.4 /
148.4 s
|
| Runtime_Complexity__Full_Rewriting/Mixed_TRS/3.xml |
0.2 /
0.2 s
|
501.4 /
148.7 s
|
| Runtime_Complexity__Full_Rewriting/Mixed_TRS/4.xml |
0.3 /
0.2 s
|
64.2 /
18.8 s
|
| Runtime_Complexity__Full_Rewriting/Mixed_TRS/5.xml |
0.2 /
0.2 s
|
4.0 /
1.2 s
|
| Runtime_Complexity__Full_Rewriting/Mixed_TRS/6.xml |
0.3 /
0.2 s
|
451.8 /
148.3 s
|
| Runtime_Complexity__Full_Rewriting/Mixed_TRS/7.xml |
0.2 /
0.2 s
|
430.7 /
148.3 s
|
| lexity__Full_Rewriting/Mixed_TRS/Ex1_Luc04b_GM.xml |
241.2 /
61.2 s
|
939.4 /
297.1 s
|
| ime_Complexity__Full_Rewriting/Mixed_TRS/beans.xml |
0.3 /
0.2 s
|
561.0 /
148.3 s
|
| e_Complexity__Full_Rewriting/Mixed_TRS/fossacs.xml |
0.2 /
0.2 s
|
1027.3 /
297.5 s
|
| ntime_Complexity__Full_Rewriting/Mixed_TRS/gcd.xml |
0.2 /
0.2 s
|
758.6 /
297.3 s
|
| Complexity__Full_Rewriting/Mixed_TRS/gcdMinMax.xml |
0.2 /
0.2 s
|
762.3 /
297.3 s
|
| omplexity__Full_Rewriting/Mixed_TRS/gcd_triple.xml |
0.2 /
0.2 s
|
775.1 /
297.2 s
|
| xity__Full_Rewriting/Mixed_TRS/hydra-Zantema06.xml |
0.2 /
0.2 s
|
1020.2 /
299.0 s
|
| ime_Complexity__Full_Rewriting/Mixed_TRS/hydra.xml |
0.2 /
0.2 s
|
361.3 /
107.8 s
|
| me_Complexity__Full_Rewriting/Mixed_TRS/jones1.xml |
0.3 /
0.2 s
|
0.7 /
0.3 s
|
| me_Complexity__Full_Rewriting/Mixed_TRS/jones2.xml |
0.2 /
0.2 s
|
1.7 /
0.5 s
|
| me_Complexity__Full_Rewriting/Mixed_TRS/jones4.xml |
0.3 /
0.2 s
|
0.7 /
0.3 s
|
| me_Complexity__Full_Rewriting/Mixed_TRS/jones5.xml |
0.2 /
0.2 s
|
597.4 /
262.8 s
|
| me_Complexity__Full_Rewriting/Mixed_TRS/jones6.xml |
0.5 /
0.3 s
|
1.5 /
0.6 s
|
| e_Complexity__Full_Rewriting/Mixed_TRS/minsort.xml |
0.2 /
0.2 s
|
798.5 /
297.3 s
|
| omplexity__Full_Rewriting/Mixed_TRS/motivation.xml |
0.2 /
0.2 s
|
3.0 /
1.0 s
|
| e_Complexity__Full_Rewriting/Mixed_TRS/perfect.xml |
0.2 /
0.2 s
|
3.3 /
1.3 s
|
| _Complexity__Full_Rewriting/Mixed_TRS/perfect2.xml |
0.2 /
0.2 s
|
709.5 /
297.3 s
|
| ime_Complexity__Full_Rewriting/Mixed_TRS/test1.xml |
0.2 /
0.2 s
|
670.5 /
248.9 s
|
| ime_Complexity__Full_Rewriting/Mixed_TRS/while.xml |
0.2 /
0.2 s
|
826.7 /
297.4 s
|
| me_Complexity__Full_Rewriting/Mixed_TRS/while2.xml |
0.2 /
0.2 s
|
324.9 /
148.2 s
|
| ntime_Complexity__Full_Rewriting/Rubio_04/aoto.xml |
0.2 /
0.2 s
|
7.4 /
2.0 s
|
| e_Complexity__Full_Rewriting/Rubio_04/bintrees.xml |
12.6 /
4.2 s
|
3.7 /
1.0 s
|
| time_Complexity__Full_Rewriting/Rubio_04/bn122.xml |
0.2 /
0.2 s
|
2.8 /
0.8 s
|
| time_Complexity__Full_Rewriting/Rubio_04/bn129.xml |
0.3 /
0.2 s
|
373.7 /
148.2 s
|
| e_Complexity__Full_Rewriting/Rubio_04/division.xml |
0.2 /
0.2 s
|
868.6 /
297.3 s
|
| e_Complexity__Full_Rewriting/Rubio_04/elimdupl.xml |
0.2 /
0.2 s
|
443.4 /
211.8 s
|
| ntime_Complexity__Full_Rewriting/Rubio_04/enno.xml |
0.2 /
0.2 s
|
859.8 /
297.2 s
|
| untime_Complexity__Full_Rewriting/Rubio_04/gcd.xml |
0.2 /
0.2 s
|
530.6 /
292.6 s
|
| Runtime_Complexity__Full_Rewriting/Rubio_04/gm.xml |
0.2 /
0.2 s
|
2.8 /
1.0 s
|
| ntime_Complexity__Full_Rewriting/Rubio_04/gmnp.xml |
0.5 /
0.3 s
|
2.7 /
0.8 s
|
| ntime_Complexity__Full_Rewriting/Rubio_04/koen.xml |
0.4 /
0.3 s
|
83.8 /
48.2 s
|
| e_Complexity__Full_Rewriting/Rubio_04/lescanne.xml |
0.3 /
0.2 s
|
2.0 /
0.8 s
|
| ime_Complexity__Full_Rewriting/Rubio_04/lindau.xml |
0.3 /
0.2 s
|
32.9 /
8.4 s
|
| _Complexity__Full_Rewriting/Rubio_04/logarquot.xml |
0.2 /
0.2 s
|
206.8 /
58.9 s
|
| ntime_Complexity__Full_Rewriting/Rubio_04/ma96.xml |
0.2 /
0.2 s
|
872.9 /
297.2 s
|
| ime_Complexity__Full_Rewriting/Rubio_04/mfp90b.xml |
0.3 /
0.2 s
|
0.3 /
0.2 s
|
| time_Complexity__Full_Rewriting/Rubio_04/mfp95.xml |
0.3 /
0.2 s
|
0.3 /
0.1 s
|
| me_Complexity__Full_Rewriting/Rubio_04/nestrec.xml |
130.2 /
55.3 s
|
791.1 /
297.8 s
|
| ntime_Complexity__Full_Rewriting/Rubio_04/p266.xml |
0.3 /
0.2 s
|
5.6 /
1.5 s
|
| time_Complexity__Full_Rewriting/Rubio_04/polo2.xml |
0.2 /
0.2 s
|
331.2 /
148.2 s
|
| ntime_Complexity__Full_Rewriting/Rubio_04/prov.xml |
0.2 /
0.2 s
|
1.0 /
0.5 s
|
| time_Complexity__Full_Rewriting/Rubio_04/quick.xml |
0.2 /
0.2 s
|
778.8 /
297.3 s
|
| _Complexity__Full_Rewriting/Rubio_04/quotminus.xml |
0.2 /
0.2 s
|
343.1 /
190.7 s
|
| me_Complexity__Full_Rewriting/Rubio_04/revlist.xml |
0.2 /
0.2 s
|
1155.9 /
299.2 s
|
| me_Complexity__Full_Rewriting/Rubio_04/selsort.xml |
0.2 /
0.2 s
|
823.1 /
297.2 s
|
| time_Complexity__Full_Rewriting/Rubio_04/test4.xml |
0.6 /
0.3 s
|
6.2 /
1.9 s
|
| me_Complexity__Full_Rewriting/Rubio_04/test829.xml |
0.4 /
0.3 s
|
1.0 /
0.5 s
|
| time_Complexity__Full_Rewriting/Rubio_04/wst99.xml |
0.2 /
0.2 s
|
1107.8 /
297.5 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.01.xml |
0.4 /
0.3 s
|
38.8 /
10.2 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.02.xml |
0.3 /
0.2 s
|
842.2 /
297.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.03.xml |
0.3 /
0.2 s
|
0.7 /
0.2 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.04.xml |
0.2 /
0.2 s
|
0.6 /
0.4 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.05.xml |
0.2 /
0.2 s
|
453.5 /
148.2 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.06.xml |
0.3 /
0.2 s
|
1.8 /
0.9 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.07.xml |
0.2 /
0.2 s
|
229.4 /
103.6 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.08.xml |
0.2 /
0.2 s
|
7.6 /
2.1 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.09.xml |
0.3 /
0.2 s
|
0.5 /
0.2 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.10.xml |
0.3 /
0.2 s
|
5.9 /
2.1 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.11.xml |
0.3 /
0.2 s
|
0.7 /
0.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.12.xml |
0.2 /
0.2 s
|
368.7 /
210.4 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.13.xml |
0.2 /
0.2 s
|
2.2 /
0.7 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.14.xml |
0.4 /
0.2 s
|
410.3 /
241.7 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.15.xml |
0.2 /
0.2 s
|
823.9 /
297.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.16.xml |
0.2 /
0.2 s
|
897.9 /
298.0 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.17.xml |
0.2 /
0.2 s
|
0.4 /
0.2 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.18.xml |
0.2 /
0.2 s
|
17.5 /
6.1 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.19.xml |
0.2 /
0.2 s
|
213.2 /
115.9 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.20.xml |
0.2 /
0.2 s
|
0.8 /
0.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.21.xml |
0.2 /
0.2 s
|
63.9 /
24.5 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.22.xml |
0.2 /
0.2 s
|
1131.3 /
297.4 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.23.xml |
0.2 /
0.2 s
|
380.4 /
200.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.24.xml |
0.2 /
0.2 s
|
39.3 /
12.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.25.xml |
0.2 /
0.2 s
|
1085.0 /
299.8 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.26.xml |
0.2 /
0.2 s
|
1167.9 /
300.0 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.27.xml |
0.2 /
0.2 s
|
1184.7 /
297.4 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.28.xml |
0.2 /
0.2 s
|
873.6 /
297.9 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.29.xml |
0.2 /
0.2 s
|
8.3 /
2.4 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.30.xml |
0.2 /
0.2 s
|
0.4 /
0.1 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.31.xml |
0.6 /
0.3 s
|
1.0 /
0.4 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.32.xml |
0.2 /
0.2 s
|
7.9 /
2.4 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.33.xml |
0.3 /
0.2 s
|
4.3 /
1.4 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.34.xml |
4.3 /
1.3 s
|
3.9 /
1.4 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.35.xml |
0.2 /
0.2 s
|
2.7 /
0.9 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.36.xml |
10.7 /
6.4 s
|
61.9 /
24.0 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.37.xml |
0.2 /
0.2 s
|
0.3 /
0.2 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.38.xml |
0.3 /
0.2 s
|
2.1 /
0.8 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.39.xml |
28.2 /
10.2 s
|
156.9 /
59.9 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.40.xml |
0.2 /
0.2 s
|
1.1 /
0.6 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.41.xml |
0.8 /
0.4 s
|
0.8 /
0.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.42.xml |
0.4 /
0.2 s
|
1080.6 /
300.0 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.43.xml |
0.2 /
0.2 s
|
947.4 /
297.7 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.44.xml |
0.2 /
0.2 s
|
3.5 /
1.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.45.xml |
0.2 /
0.2 s
|
6.4 /
3.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.46.xml |
0.3 /
0.2 s
|
1.2 /
0.6 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.47.xml |
0.3 /
0.2 s
|
0.2 /
0.1 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.48.xml |
0.3 /
0.2 s
|
0.4 /
0.1 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.49.xml |
0.4 /
0.3 s
|
14.3 /
4.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.50.xml |
0.3 /
0.2 s
|
0.2 /
0.1 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.51.xml |
0.2 /
0.2 s
|
994.0 /
298.0 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.52.xml |
0.2 /
0.2 s
|
1055.4 /
298.8 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.53.xml |
0.3 /
0.2 s
|
0.7 /
0.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.54.xml |
0.3 /
0.2 s
|
0.4 /
0.2 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.55.xml |
7.4 /
5.7 s
|
0.4 /
0.2 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.56.xml |
0.3 /
0.2 s
|
0.5 /
0.2 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.57.xml |
0.2 /
0.2 s
|
1.4 /
0.8 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.58.xml |
0.2 /
0.2 s
|
86.3 /
47.8 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.59.xml |
0.2 /
0.2 s
|
0.2 /
0.1 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.60.xml |
0.3 /
0.2 s
|
3.8 /
2.0 s
|
| Runtime_Complexity__Full_Rewriting/SK90/2.61.xml |
2.1 /
0.7 s
|
511.9 /
297.4 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.01.xml |
0.3 /
0.2 s
|
0.7 /
0.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.02.xml |
0.2 /
0.2 s
|
745.3 /
297.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.03.xml |
0.2 /
0.2 s
|
1139.1 /
297.8 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.04.xml |
0.3 /
0.2 s
|
1.3 /
0.7 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.05.xml |
0.2 /
0.2 s
|
12.6 /
5.0 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.06.xml |
0.2 /
0.2 s
|
906.5 /
297.7 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.07.xml |
0.4 /
0.3 s
|
1.2 /
0.5 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.08.xml |
0.2 /
0.2 s
|
1.3 /
0.5 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.09.xml |
0.2 /
0.2 s
|
808.7 /
298.7 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.10.xml |
0.2 /
0.2 s
|
35.5 /
13.4 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.11.xml |
0.3 /
0.2 s
|
78.0 /
43.1 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.12.xml |
3.7 /
1.2 s
|
70.2 /
24.1 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.13.xml |
0.2 /
0.2 s
|
141.4 /
63.0 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.14.xml |
0.2 /
0.2 s
|
1023.0 /
297.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.15.xml |
0.2 /
0.2 s
|
0.5 /
0.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.16.xml |
0.5 /
0.3 s
|
1.5 /
0.5 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.17.xml |
0.2 /
0.2 s
|
123.1 /
50.2 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.18.xml |
0.2 /
0.2 s
|
1.4 /
0.6 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.19.xml |
0.3 /
0.2 s
|
1.5 /
0.8 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.20.xml |
0.2 /
0.2 s
|
6.6 /
2.2 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.21.xml |
0.2 /
0.2 s
|
1118.0 /
300.0 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.22.xml |
0.2 /
0.2 s
|
917.0 /
300.0 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.23.xml |
0.2 /
0.2 s
|
864.7 /
300.0 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.24.xml |
0.2 /
0.2 s
|
1083.1 /
297.5 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.25.xml |
9.5 /
6.0 s
|
0.6 /
0.2 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.26.xml |
0.4 /
0.3 s
|
900.8 /
297.6 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.27.xml |
229.9 /
58.1 s
|
1043.2 /
297.1 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.28.xml |
0.2 /
0.2 s
|
592.6 /
297.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.29.xml |
0.6 /
0.3 s
|
1.3 /
0.5 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.30.xml |
0.5 /
0.3 s
|
20.0 /
5.9 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.31.xml |
0.2 /
0.2 s
|
1034.8 /
297.7 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.32.xml |
0.3 /
0.2 s
|
318.1 /
129.8 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.33.xml |
0.3 /
0.2 s
|
0.2 /
0.1 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.34.xml |
128.3 /
55.2 s
|
651.9 /
297.2 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.35.xml |
0.3 /
0.2 s
|
0.3 /
0.2 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.36.xml |
0.2 /
0.2 s
|
0.5 /
0.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.37.xml |
0.2 /
0.2 s
|
0.2 /
0.1 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.38.xml |
0.5 /
0.3 s
|
1.7 /
0.6 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.39.xml |
0.3 /
0.2 s
|
1.0 /
0.6 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.40.xml |
0.2 /
0.2 s
|
985.4 /
298.9 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.41.xml |
0.2 /
0.2 s
|
941.2 /
300.0 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.42.xml |
0.2 /
0.2 s
|
789.3 /
297.5 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.43.xml |
37.6 /
10.2 s
|
534.4 /
278.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.44.xml |
0.3 /
0.2 s
|
1.5 /
0.4 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.45.xml |
0.3 /
0.2 s
|
0.2 /
0.1 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.46.xml |
0.3 /
0.2 s
|
0.2 /
0.1 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.47.xml |
2.2 /
0.8 s
|
2.5 /
1.2 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.48.xml |
0.3 /
0.2 s
|
3.8 /
1.2 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.49.xml |
0.2 /
0.2 s
|
58.7 /
23.8 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.50.xml |
0.2 /
0.2 s
|
1.9 /
0.8 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.51.xml |
0.7 /
0.3 s
|
4.2 /
1.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.52.xml |
0.3 /
0.2 s
|
5.0 /
1.8 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.53.xml |
0.2 /
0.2 s
|
1083.0 /
297.5 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.54.xml |
0.2 /
0.2 s
|
782.4 /
298.3 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.55.xml |
0.3 /
0.2 s
|
102.6 /
26.2 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.56.xml |
0.3 /
0.2 s
|
0.4 /
0.2 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.57.xml |
0.2 /
0.2 s
|
445.9 /
148.5 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.59.xml |
0.2 /
0.2 s
|
1144.7 /
297.7 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.60.xml |
0.2 /
0.2 s
|
1112.1 /
298.0 s
|
| Runtime_Complexity__Full_Rewriting/SK90/4.61.xml |
0.2 /
0.2 s
|
1187.0 /
298.2 s
|
| mplexity__Full_Rewriting/Secret_05_TRS/aprove1.xml |
0.2 /
0.2 s
|
493.2 /
148.3 s
|
| mplexity__Full_Rewriting/Secret_05_TRS/aprove2.xml |
0.2 /
0.2 s
|
271.6 /
92.0 s
|
| mplexity__Full_Rewriting/Secret_05_TRS/aprove3.xml |
0.2 /
0.2 s
|
775.5 /
292.4 s
|
| mplexity__Full_Rewriting/Secret_05_TRS/aprove4.xml |
0.2 /
0.2 s
|
183.5 /
92.4 s
|
| mplexity__Full_Rewriting/Secret_05_TRS/aprove5.xml |
0.2 /
0.2 s
|
1169.7 /
297.9 s
|
| Complexity__Full_Rewriting/Secret_05_TRS/cime1.xml |
0.2 /
0.2 s
|
567.2 /
148.7 s
|
| Complexity__Full_Rewriting/Secret_05_TRS/cime2.xml |
0.2 /
0.2 s
|
870.8 /
297.4 s
|
| Complexity__Full_Rewriting/Secret_05_TRS/cime3.xml |
0.2 /
0.2 s
|
704.7 /
297.2 s
|
| Complexity__Full_Rewriting/Secret_05_TRS/cime4.xml |
0.2 /
0.2 s
|
12.7 /
4.9 s
|
| Complexity__Full_Rewriting/Secret_05_TRS/cime5.xml |
0.2 /
0.2 s
|
1186.6 /
298.9 s
|
| lexity__Full_Rewriting/Secret_05_TRS/matchbox1.xml |
0.2 /
0.2 s
|
19.3 /
8.2 s
|
| lexity__Full_Rewriting/Secret_05_TRS/matchbox2.xml |
0.3 /
0.2 s
|
1.7 /
0.6 s
|
| plexity__Full_Rewriting/Secret_05_TRS/teparla1.xml |
0.2 /
0.2 s
|
489.3 /
148.5 s
|
| plexity__Full_Rewriting/Secret_05_TRS/teparla2.xml |
0.3 /
0.2 s
|
436.8 /
149.7 s
|
| plexity__Full_Rewriting/Secret_05_TRS/teparla3.xml |
0.3 /
0.2 s
|
456.5 /
148.5 s
|
| _Complexity__Full_Rewriting/Secret_05_TRS/tpa1.xml |
0.2 /
0.2 s
|
720.1 /
278.1 s
|
| _Complexity__Full_Rewriting/Secret_05_TRS/tpa2.xml |
0.2 /
0.2 s
|
1068.0 /
297.9 s
|
| _Complexity__Full_Rewriting/Secret_05_TRS/tpa3.xml |
0.2 /
0.2 s
|
1090.7 /
297.7 s
|
| _Complexity__Full_Rewriting/Secret_05_TRS/tpa4.xml |
0.2 /
0.2 s
|
1002.5 /
297.4 s
|
| _Complexity__Full_Rewriting/Secret_05_TRS/tpa5.xml |
0.2 /
0.2 s
|
450.9 /
148.9 s
|
| _Complexity__Full_Rewriting/Secret_05_TRS/ttt1.xml |
0.2 /
0.2 s
|
1037.8 /
299.4 s
|
| _Complexity__Full_Rewriting/Secret_05_TRS/ttt2.xml |
21.7 /
10.2 s
|
996.7 /
298.3 s
|
| me_Complexity__Full_Rewriting/Secret_06_TRS/10.xml |
0.4 /
0.3 s
|
884.3 /
297.2 s
|
| ime_Complexity__Full_Rewriting/Secret_06_TRS/2.xml |
0.4 /
0.2 s
|
887.3 /
297.2 s
|
| ime_Complexity__Full_Rewriting/Secret_06_TRS/3.xml |
0.3 /
0.2 s
|
1132.8 /
297.4 s
|
| ime_Complexity__Full_Rewriting/Secret_06_TRS/4.xml |
0.3 /
0.2 s
|
890.3 /
297.2 s
|
| ime_Complexity__Full_Rewriting/Secret_06_TRS/5.xml |
0.3 /
0.2 s
|
525.4 /
148.4 s
|
| ime_Complexity__Full_Rewriting/Secret_06_TRS/6.xml |
0.4 /
0.2 s
|
35.9 /
12.8 s
|
| ime_Complexity__Full_Rewriting/Secret_06_TRS/7.xml |
0.3 /
0.2 s
|
496.2 /
150.6 s
|
| ime_Complexity__Full_Rewriting/Secret_06_TRS/8.xml |
0.4 /
0.2 s
|
127.5 /
45.3 s
|
| ime_Complexity__Full_Rewriting/Secret_06_TRS/9.xml |
0.3 /
0.2 s
|
1001.7 /
297.9 s
|
| mplexity__Full_Rewriting/Secret_06_TRS/addList.xml |
0.2 /
0.2 s
|
760.2 /
297.3 s
|
| Complexity__Full_Rewriting/Secret_06_TRS/cime1.xml |
0.2 /
0.2 s
|
637.9 /
297.3 s
|
| omplexity__Full_Rewriting/Secret_06_TRS/divExp.xml |
0.2 /
0.2 s
|
771.0 /
271.2 s
|
| plexity__Full_Rewriting/Secret_06_TRS/division.xml |
0.2 /
0.2 s
|
424.1 /
220.8 s
|
| omplexity__Full_Rewriting/Secret_06_TRS/double.xml |
0.2 /
0.2 s
|
601.8 /
297.4 s
|
| Complexity__Full_Rewriting/Secret_06_TRS/gen-1.xml |
0.2 /
0.2 s
|
42.7 /
12.6 s
|
| omplexity__Full_Rewriting/Secret_06_TRS/gen-10.xml |
0.2 /
0.2 s
|
376.9 /
148.1 s
|
| omplexity__Full_Rewriting/Secret_06_TRS/gen-14.xml |
0.2 /
0.2 s
|
530.1 /
148.6 s
|
| omplexity__Full_Rewriting/Secret_06_TRS/gen-15.xml |
0.2 /
0.2 s
|
1006.6 /
297.4 s
|
| omplexity__Full_Rewriting/Secret_06_TRS/gen-17.xml |
0.2 /
0.2 s
|
1042.9 /
297.4 s
|
| omplexity__Full_Rewriting/Secret_06_TRS/gen-18.xml |
0.2 /
0.2 s
|
31.6 /
9.9 s
|
| omplexity__Full_Rewriting/Secret_06_TRS/gen-22.xml |
0.2 /
0.2 s
|
526.8 /
148.4 s
|
| omplexity__Full_Rewriting/Secret_06_TRS/gen-25.xml |
0.2 /
0.2 s
|
502.7 /
148.3 s
|
| omplexity__Full_Rewriting/Secret_06_TRS/gen-28.xml |
0.2 /
0.2 s
|
948.0 /
297.8 s
|
| Complexity__Full_Rewriting/Secret_06_TRS/gen-9.xml |
0.2 /
0.2 s
|
443.5 /
148.4 s
|
| lexity__Full_Rewriting/Secret_06_TRS/logarithm.xml |
0.2 /
0.2 s
|
607.3 /
206.4 s
|
| lexity__Full_Rewriting/Secret_06_TRS/nrOfNodes.xml |
0.2 /
0.2 s
|
798.4 /
297.3 s
|
| mplexity__Full_Rewriting/Secret_06_TRS/reverse.xml |
0.2 /
0.2 s
|
1185.3 /
297.8 s
|
| mplexity__Full_Rewriting/Secret_06_TRS/sumList.xml |
0.2 /
0.2 s
|
773.2 /
297.3 s
|
| Complexity__Full_Rewriting/Secret_06_TRS/times.xml |
0.2 /
0.2 s
|
756.8 /
297.3 s
|
| omplexity__Full_Rewriting/Secret_06_TRS/toList.xml |
0.2 /
0.2 s
|
1186.1 /
298.3 s
|
| Complexity__Full_Rewriting/Secret_06_TRS/tpa01.xml |
0.2 /
0.2 s
|
52.8 /
24.5 s
|
| Complexity__Full_Rewriting/Secret_06_TRS/tpa02.xml |
0.3 /
0.2 s
|
54.7 /
25.5 s
|
| Complexity__Full_Rewriting/Secret_06_TRS/tpa03.xml |
0.2 /
0.2 s
|
46.0 /
20.3 s
|
| Complexity__Full_Rewriting/Secret_06_TRS/tpa04.xml |
0.2 /
0.2 s
|
810.6 /
297.4 s
|
| Complexity__Full_Rewriting/Secret_06_TRS/tpa05.xml |
0.2 /
0.2 s
|
767.4 /
261.5 s
|
| Complexity__Full_Rewriting/Secret_06_TRS/tpa06.xml |
0.2 /
0.2 s
|
824.6 /
297.3 s
|
| Complexity__Full_Rewriting/Secret_06_TRS/tpa07.xml |
0.2 /
0.2 s
|
1080.3 /
297.4 s
|
| Complexity__Full_Rewriting/Secret_06_TRS/tpa08.xml |
0.2 /
0.2 s
|
1160.0 /
297.6 s
|
| Complexity__Full_Rewriting/Secret_06_TRS/tpa09.xml |
0.2 /
0.2 s
|
913.4 /
297.2 s
|
| Complexity__Full_Rewriting/Secret_06_TRS/tpa10.xml |
0.2 /
0.2 s
|
814.3 /
297.3 s
|
| ime_Complexity__Full_Rewriting/Secret_07_TRS/1.xml |
0.5 /
0.3 s
|
503.9 /
148.4 s
|
| ime_Complexity__Full_Rewriting/Secret_07_TRS/2.xml |
0.5 /
0.3 s
|
529.6 /
148.2 s
|
| ime_Complexity__Full_Rewriting/Secret_07_TRS/3.xml |
0.9 /
0.4 s
|
1104.8 /
297.8 s
|
| ime_Complexity__Full_Rewriting/Secret_07_TRS/4.xml |
0.3 /
0.2 s
|
500.0 /
148.7 s
|
| ime_Complexity__Full_Rewriting/Secret_07_TRS/5.xml |
1.3 /
0.5 s
|
538.5 /
149.3 s
|
| ime_Complexity__Full_Rewriting/Secret_07_TRS/7.xml |
0.3 /
0.2 s
|
530.4 /
148.3 s
|
| plexity__Full_Rewriting/Secret_07_TRS/aprove01.xml |
0.2 /
0.2 s
|
790.4 /
297.2 s
|
| plexity__Full_Rewriting/Secret_07_TRS/aprove02.xml |
0.2 /
0.2 s
|
587.4 /
297.3 s
|
| plexity__Full_Rewriting/Secret_07_TRS/aprove03.xml |
0.2 /
0.2 s
|
917.5 /
297.1 s
|
| plexity__Full_Rewriting/Secret_07_TRS/aprove04.xml |
0.2 /
0.2 s
|
838.7 /
297.2 s
|
| plexity__Full_Rewriting/Secret_07_TRS/aprove05.xml |
0.2 /
0.2 s
|
776.0 /
297.3 s
|
| plexity__Full_Rewriting/Secret_07_TRS/aprove06.xml |
0.2 /
0.2 s
|
789.3 /
297.2 s
|
| plexity__Full_Rewriting/Secret_07_TRS/aprove07.xml |
0.2 /
0.2 s
|
745.4 /
297.3 s
|
| plexity__Full_Rewriting/Secret_07_TRS/aprove08.xml |
0.2 /
0.2 s
|
759.7 /
297.2 s
|
| plexity__Full_Rewriting/Secret_07_TRS/aprove09.xml |
0.2 /
0.2 s
|
567.9 /
297.3 s
|
| plexity__Full_Rewriting/Secret_07_TRS/aprove10.xml |
0.2 /
0.2 s
|
762.1 /
297.3 s
|
| mplexity__Full_Rewriting/Secret_07_TRS/secret1.xml |
0.2 /
0.2 s
|
1184.4 /
297.5 s
|
| mplexity__Full_Rewriting/Secret_07_TRS/secret2.xml |
0.2 /
0.2 s
|
781.4 /
297.3 s
|
| mplexity__Full_Rewriting/Secret_07_TRS/secret3.xml |
0.2 /
0.2 s
|
830.3 /
297.5 s
|
| mplexity__Full_Rewriting/Secret_07_TRS/secret4.xml |
0.2 /
0.2 s
|
823.8 /
297.2 s
|
| mplexity__Full_Rewriting/Secret_07_TRS/secret5.xml |
0.2 /
0.2 s
|
1172.9 /
297.9 s
|
| y__Full_Rewriting/Strategy_removed_AG01/#4.12a.xml |
0.2 /
0.2 s
|
46.7 /
24.4 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.13.xml |
0.2 /
0.2 s
|
2.1 /
0.9 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.14.xml |
0.2 /
0.2 s
|
0.7 /
0.3 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.15.xml |
0.2 /
0.2 s
|
250.6 /
148.1 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.16.xml |
0.2 /
0.2 s
|
6.7 /
2.8 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.17.xml |
0.3 /
0.2 s
|
219.9 /
148.1 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.18.xml |
0.2 /
0.2 s
|
3.1 /
1.8 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.19.xml |
0.2 /
0.2 s
|
929.2 /
297.5 s
|
| ity__Full_Rewriting/Strategy_removed_AG01/#4.2.xml |
0.2 /
0.2 s
|
0.6 /
0.3 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.20.xml |
0.3 /
0.2 s
|
0.4 /
0.2 s
|
| y__Full_Rewriting/Strategy_removed_AG01/#4.20a.xml |
0.3 /
0.2 s
|
2.8 /
0.8 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.21.xml |
0.3 /
0.2 s
|
1.0 /
0.5 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.22.xml |
0.2 /
0.2 s
|
18.1 /
8.8 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.23.xml |
0.2 /
0.2 s
|
452.0 /
164.5 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.25.xml |
21.1 /
10.2 s
|
906.2 /
297.5 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.26.xml |
0.2 /
0.2 s
|
124.4 /
65.7 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.27.xml |
0.2 /
0.2 s
|
882.9 /
297.4 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.28.xml |
26.6 /
6.9 s
|
73.0 /
24.1 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.29.xml |
0.2 /
0.2 s
|
751.0 /
267.6 s
|
| ity__Full_Rewriting/Strategy_removed_AG01/#4.3.xml |
0.2 /
0.2 s
|
2.0 /
0.8 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.30.xml |
0.2 /
0.2 s
|
221.0 /
101.5 s
|
| y__Full_Rewriting/Strategy_removed_AG01/#4.30a.xml |
0.2 /
0.2 s
|
459.2 /
148.2 s
|
| y__Full_Rewriting/Strategy_removed_AG01/#4.30b.xml |
0.2 /
0.2 s
|
518.5 /
206.1 s
|
| y__Full_Rewriting/Strategy_removed_AG01/#4.30c.xml |
0.2 /
0.2 s
|
662.7 /
297.4 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.32.xml |
0.2 /
0.2 s
|
54.1 /
14.4 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.33.xml |
0.2 /
0.2 s
|
1084.4 /
300.0 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.34.xml |
0.2 /
0.2 s
|
10.7 /
2.8 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.35.xml |
0.2 /
0.2 s
|
1187.7 /
298.1 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.36.xml |
0.2 /
0.2 s
|
836.9 /
297.2 s
|
| ty__Full_Rewriting/Strategy_removed_AG01/#4.37.xml |
0.3 /
0.2 s
|
1.0 /
0.5 s
|
| y__Full_Rewriting/Strategy_removed_AG01/#4.37a.xml |
0.3 /
0.2 s
|
1.7 /
0.8 s
|
| ity__Full_Rewriting/Strategy_removed_AG01/#4.4.xml |
0.2 /
0.2 s
|
3.8 /
1.4 s
|
| ity__Full_Rewriting/Strategy_removed_AG01/#4.7.xml |
0.2 /
0.2 s
|
282.8 /
148.1 s
|
| _Rewriting/Strategy_removed_CSR_05/Ex14_AEGL02.xml |
0.2 /
0.2 s
|
22.3 /
7.1 s
|
| l_Rewriting/Strategy_removed_CSR_05/Ex15_Luc98.xml |
0.2 /
0.2 s
|
70.3 /
23.2 s
|
| _Rewriting/Strategy_removed_CSR_05/Ex1_2_AEL03.xml |
0.2 /
0.2 s
|
1176.4 /
298.2 s
|
| Rewriting/Strategy_removed_CSR_05/Ex1_2_Luc02c.xml |
0.2 /
0.2 s
|
29.3 /
8.7 s
|
| ll_Rewriting/Strategy_removed_CSR_05/Ex1_GL02a.xml |
0.2 /
0.2 s
|
59.8 /
16.3 s
|
| ull_Rewriting/Strategy_removed_CSR_05/Ex1_GM03.xml |
0.2 /
0.2 s
|
635.4 /
236.9 s
|
| ull_Rewriting/Strategy_removed_CSR_05/Ex1_GM99.xml |
0.2 /
0.2 s
|
1.9 /
0.8 s
|
| l_Rewriting/Strategy_removed_CSR_05/Ex1_Luc02b.xml |
0.2 /
0.2 s
|
52.9 /
17.9 s
|
| ll_Rewriting/Strategy_removed_CSR_05/Ex1_Zan97.xml |
21.5 /
10.2 s
|
102.7 /
26.4 s
|
| ll_Rewriting/Strategy_removed_CSR_05/Ex24_GM04.xml |
0.2 /
0.2 s
|
1.9 /
0.8 s
|
| _Rewriting/Strategy_removed_CSR_05/Ex26_Luc03b.xml |
0.2 /
0.2 s
|
334.6 /
185.7 s
|
| l_Rewriting/Strategy_removed_CSR_05/Ex2_Luc03b.xml |
0.2 /
0.2 s
|
54.3 /
17.9 s
|
| ewriting/Strategy_removed_CSR_05/Ex3_12_Luc96a.xml |
0.2 /
0.2 s
|
33.7 /
11.6 s
|
| _Rewriting/Strategy_removed_CSR_05/Ex3_2_Luc97.xml |
0.2 /
0.2 s
|
332.2 /
189.0 s
|
| writing/Strategy_removed_CSR_05/Ex3_3_25_Bor03.xml |
0.2 /
0.2 s
|
1039.6 /
299.1 s
|
| ll_Rewriting/Strategy_removed_CSR_05/Ex49_GM04.xml |
0.2 /
0.2 s
|
249.8 /
132.3 s
|
| Rewriting/Strategy_removed_CSR_05/Ex4_4_Luc96b.xml |
0.2 /
0.2 s
|
998.9 /
300.0 s
|
| writing/Strategy_removed_CSR_05/Ex4_7_15_Bor03.xml |
22.9 /
10.2 s
|
632.6 /
297.1 s
|
| writing/Strategy_removed_CSR_05/Ex4_7_37_Bor03.xml |
0.2 /
0.2 s
|
305.5 /
168.0 s
|
| writing/Strategy_removed_CSR_05/Ex4_7_56_Bor03.xml |
0.2 /
0.2 s
|
34.2 /
11.7 s
|
| writing/Strategy_removed_CSR_05/Ex4_7_77_Bor03.xml |
21.2 /
10.2 s
|
96.9 /
24.4 s
|
| ll_Rewriting/Strategy_removed_CSR_05/Ex4_Zan97.xml |
0.2 /
0.2 s
|
179.9 /
103.1 s
|
| _Rewriting/Strategy_removed_CSR_05/Ex5_7_Luc97.xml |
0.2 /
0.2 s
|
527.4 /
297.4 s
|
| ll_Rewriting/Strategy_removed_CSR_05/Ex5_Zan97.xml |
21.3 /
10.2 s
|
98.8 /
25.1 s
|
| Rewriting/Strategy_removed_CSR_05/Ex6_15_AEL02.xml |
0.2 /
0.2 s
|
582.9 /
297.3 s
|
| Rewriting/Strategy_removed_CSR_05/Ex6_9_Luc02c.xml |
0.2 /
0.2 s
|
86.8 /
36.8 s
|
| ull_Rewriting/Strategy_removed_CSR_05/Ex6_GM04.xml |
21.2 /
10.2 s
|
97.1 /
24.5 s
|
| ll_Rewriting/Strategy_removed_CSR_05/Ex6_Luc98.xml |
0.2 /
0.2 s
|
34.7 /
11.9 s
|
| ll_Rewriting/Strategy_removed_CSR_05/Ex7_BLR02.xml |
0.2 /
0.2 s
|
58.1 /
19.5 s
|
| ll_Rewriting/Strategy_removed_CSR_05/Ex8_BLR02.xml |
0.2 /
0.2 s
|
1040.5 /
297.9 s
|
| ll_Rewriting/Strategy_removed_CSR_05/Ex9_BLR02.xml |
0.2 /
0.2 s
|
1047.3 /
297.7 s
|
| ting/Strategy_removed_CSR_05/ExAppendixB_AEL03.xml |
0.2 /
0.2 s
|
1156.6 /
297.8 s
|
| Rewriting/Strategy_removed_CSR_05/ExConc_Zan97.xml |
21.3 /
10.2 s
|
97.9 /
24.7 s
|
| ewriting/Strategy_removed_CSR_05/ExIntrod_GM01.xml |
25.9 /
10.2 s
|
105.7 /
26.8 s
|
| ewriting/Strategy_removed_CSR_05/ExIntrod_GM04.xml |
26.0 /
10.2 s
|
107.5 /
27.8 s
|
| ewriting/Strategy_removed_CSR_05/ExIntrod_GM99.xml |
0.2 /
0.2 s
|
1077.7 /
299.2 s
|
| writing/Strategy_removed_CSR_05/ExIntrod_Zan97.xml |
0.2 /
0.2 s
|
1161.9 /
298.1 s
|
| ing/Strategy_removed_mixed_05/ExSec11_1_Luc02a.xml |
0.2 /
0.2 s
|
557.0 /
297.4 s
|
| Full_Rewriting/Strategy_removed_mixed_05/bn111.xml |
0.2 /
0.2 s
|
11.9 /
4.6 s
|
| __Full_Rewriting/Strategy_removed_mixed_05/ex1.xml |
21.3 /
10.2 s
|
1020.9 /
297.5 s
|
| __Full_Rewriting/Strategy_removed_mixed_05/ex2.xml |
0.2 /
0.2 s
|
993.9 /
300.0 s
|
| __Full_Rewriting/Strategy_removed_mixed_05/ex3.xml |
21.9 /
10.2 s
|
1069.4 /
299.5 s
|
| __Full_Rewriting/Strategy_removed_mixed_05/ex4.xml |
21.7 /
10.2 s
|
841.9 /
297.3 s
|
| __Full_Rewriting/Strategy_removed_mixed_05/ex5.xml |
21.1 /
10.2 s
|
836.6 /
297.3 s
|
| __Full_Rewriting/Strategy_removed_mixed_05/ex6.xml |
22.5 /
10.2 s
|
922.2 /
297.9 s
|
| __Full_Rewriting/Strategy_removed_mixed_05/gkg.xml |
0.3 /
0.2 s
|
3.8 /
1.4 s
|
| ull_Rewriting/Strategy_removed_mixed_05/muladd.xml |
0.2 /
0.2 s
|
952.0 /
297.9 s
|
| _Full_Rewriting/Strategy_removed_mixed_05/n001.xml |
0.2 /
0.2 s
|
512.5 /
148.5 s
|
| ull_Rewriting/Strategy_removed_mixed_05/test10.xml |
0.2 /
0.2 s
|
750.4 /
297.4 s
|
| ull_Rewriting/Strategy_removed_mixed_05/test75.xml |
0.2 /
0.2 s
|
891.4 /
297.6 s
|
| ull_Rewriting/Strategy_removed_mixed_05/test76.xml |
0.2 /
0.2 s
|
894.4 /
297.6 s
|
| ull_Rewriting/Strategy_removed_mixed_05/test77.xml |
0.2 /
0.2 s
|
942.9 /
297.5 s
|
| ll_Rewriting/Strategy_removed_mixed_05/test830.xml |
0.4 /
0.2 s
|
1.1 /
0.6 s
|
| Full_Rewriting/Strategy_removed_mixed_05/test9.xml |
0.2 /
0.2 s
|
90.7 /
44.2 s
|
| ull_Rewriting/Strategy_removed_mixed_05/toyama.xml |
0.2 /
0.2 s
|
2.1 /
0.9 s
|
| ll_Rewriting/Strategy_removed_mixed_05/tricky1.xml |
0.2 /
0.2 s
|
467.3 /
148.3 s
|
| mplexity__Full_Rewriting/TCT_12/polycounter-10.xml |
0.2 /
0.2 s
|
980.7 /
297.7 s
|
| omplexity__Full_Rewriting/TCT_12/polycounter-5.xml |
0.2 /
0.2 s
|
1026.6 /
300.0 s
|
| Complexity__Full_Rewriting/TCT_12/recursion-10.xml |
0.2 /
0.2 s
|
238.5 /
86.1 s
|
| _Complexity__Full_Rewriting/TCT_12/recursion-5.xml |
0.2 /
0.2 s
|
65.8 /
22.2 s
|
| Runtime_Complexity__Full_Rewriting/TCT_12/sat.xml |
0.2 /
0.2 s
|
795.1 /
297.3 s
|
| ull_Rewriting/Transformed_CSR_04/Ex14_AEGL02_C.xml |
0.2 /
0.2 s
|
1074.5 /
297.2 s
|
| ll_Rewriting/Transformed_CSR_04/Ex14_AEGL02_FR.xml |
0.2 /
0.2 s
|
792.9 /
297.3 s
|
| ll_Rewriting/Transformed_CSR_04/Ex14_AEGL02_GM.xml |
0.2 /
0.2 s
|
1134.2 /
297.5 s
|
| ull_Rewriting/Transformed_CSR_04/Ex14_AEGL02_L.xml |
21.1 /
10.2 s
|
97.3 /
24.5 s
|
| ull_Rewriting/Transformed_CSR_04/Ex14_AEGL02_Z.xml |
0.2 /
0.2 s
|
596.3 /
265.9 s
|
| l_Rewriting/Transformed_CSR_04/Ex14_AEGL02_iGM.xml |
0.2 /
0.2 s
|
488.7 /
148.2 s
|
| Full_Rewriting/Transformed_CSR_04/Ex14_Luc06_C.xml |
0.2 /
0.2 s
|
585.8 /
297.2 s
|
| ull_Rewriting/Transformed_CSR_04/Ex14_Luc06_FR.xml |
0.2 /
0.2 s
|
917.8 /
297.6 s
|
| ull_Rewriting/Transformed_CSR_04/Ex14_Luc06_GM.xml |
0.2 /
0.2 s
|
592.7 /
297.4 s
|
| Full_Rewriting/Transformed_CSR_04/Ex14_Luc06_L.xml |
21.6 /
10.2 s
|
102.9 /
26.5 s
|
| ll_Rewriting/Transformed_CSR_04/Ex14_Luc06_iGM.xml |
0.2 /
0.2 s
|
508.6 /
148.2 s
|
| Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_C.xml |
0.6 /
0.3 s
|
929.2 /
297.2 s
|
| ull_Rewriting/Transformed_CSR_04/Ex15_Luc06_FR.xml |
0.4 /
0.2 s
|
3.0 /
0.8 s
|
| ull_Rewriting/Transformed_CSR_04/Ex15_Luc06_GM.xml |
0.4 /
0.2 s
|
3.0 /
0.8 s
|
| Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_L.xml |
20.3 /
10.2 s
|
96.8 /
24.4 s
|
| Full_Rewriting/Transformed_CSR_04/Ex15_Luc06_Z.xml |
0.5 /
0.3 s
|
2.6 /
0.7 s
|
| ll_Rewriting/Transformed_CSR_04/Ex15_Luc06_iGM.xml |
0.3 /
0.2 s
|
13.1 /
3.6 s
|
| Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_C.xml |
0.2 /
0.2 s
|
732.2 /
297.3 s
|
| ull_Rewriting/Transformed_CSR_04/Ex15_Luc98_FR.xml |
0.2 /
0.2 s
|
1112.3 /
297.3 s
|
| ull_Rewriting/Transformed_CSR_04/Ex15_Luc98_GM.xml |
0.2 /
0.2 s
|
1185.6 /
300.0 s
|
| Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| Full_Rewriting/Transformed_CSR_04/Ex15_Luc98_Z.xml |
0.2 /
0.2 s
|
1105.1 /
298.1 s
|
| ll_Rewriting/Transformed_CSR_04/Ex15_Luc98_iGM.xml |
0.2 /
0.2 s
|
196.3 /
54.2 s
|
| Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_C.xml |
49.3 /
13.4 s
|
586.4 /
297.1 s
|
| ull_Rewriting/Transformed_CSR_04/Ex16_Luc06_FR.xml |
0.4 /
0.2 s
|
72.7 /
24.0 s
|
| ull_Rewriting/Transformed_CSR_04/Ex16_Luc06_GM.xml |
65.0 /
27.9 s
|
77.8 /
24.1 s
|
| Full_Rewriting/Transformed_CSR_04/Ex16_Luc06_L.xml |
20.8 /
10.2 s
|
98.7 /
25.0 s
|
| ll_Rewriting/Transformed_CSR_04/Ex16_Luc06_iGM.xml |
13.9 /
3.9 s
|
468.1 /
148.2 s
|
| Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_C.xml |
0.6 /
0.3 s
|
633.2 /
167.0 s
|
| ull_Rewriting/Transformed_CSR_04/Ex18_Luc06_FR.xml |
0.5 /
0.3 s
|
178.3 /
101.8 s
|
| ull_Rewriting/Transformed_CSR_04/Ex18_Luc06_GM.xml |
0.5 /
0.3 s
|
1.1 /
0.5 s
|
| Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_L.xml |
0.2 /
0.2 s
|
0.2 /
0.1 s
|
| Full_Rewriting/Transformed_CSR_04/Ex18_Luc06_Z.xml |
0.3 /
0.2 s
|
0.9 /
0.4 s
|
| ll_Rewriting/Transformed_CSR_04/Ex18_Luc06_iGM.xml |
0.4 /
0.3 s
|
4.3 /
2.2 s
|
| ull_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_C.xml |
0.2 /
0.3 s
|
1116.9 /
298.1 s
|
| ll_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_FR.xml |
0.2 /
0.2 s
|
1179.9 /
297.6 s
|
| ll_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_GM.xml |
0.2 /
0.2 s
|
1185.5 /
298.2 s
|
| ull_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ull_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_Z.xml |
0.2 /
0.2 s
|
1185.1 /
297.7 s
|
| l_Rewriting/Transformed_CSR_04/Ex1_2_AEL03_iGM.xml |
0.2 /
0.2 s
|
548.6 /
148.9 s
|
| ll_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_C.xml |
0.2 /
0.2 s
|
967.1 /
297.4 s
|
| l_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_FR.xml |
0.2 /
0.2 s
|
847.4 /
297.3 s
|
| l_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_GM.xml |
0.2 /
0.2 s
|
841.5 /
297.3 s
|
| ll_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ll_Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_Z.xml |
0.2 /
0.2 s
|
1.8 /
0.7 s
|
| _Rewriting/Transformed_CSR_04/Ex1_2_Luc02c_iGM.xml |
0.2 /
0.2 s
|
128.9 /
35.1 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_C.xml |
0.2 /
0.2 s
|
1071.3 /
297.4 s
|
| Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_FR.xml |
0.2 /
0.2 s
|
698.7 /
297.2 s
|
| Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_GM.xml |
0.2 /
0.2 s
|
1196.0 /
300.0 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_L.xml |
20.8 /
10.2 s
|
97.7 /
24.6 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex1_GL02a_Z.xml |
0.2 /
0.2 s
|
676.6 /
297.2 s
|
| ull_Rewriting/Transformed_CSR_04/Ex1_GL02a_iGM.xml |
0.2 /
0.2 s
|
489.6 /
148.3 s
|
| __Full_Rewriting/Transformed_CSR_04/Ex1_GM03_C.xml |
0.2 /
0.2 s
|
919.3 /
297.2 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex1_GM03_FR.xml |
0.2 /
0.2 s
|
628.1 /
297.3 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex1_GM03_GM.xml |
0.2 /
0.2 s
|
1186.0 /
298.2 s
|
| __Full_Rewriting/Transformed_CSR_04/Ex1_GM03_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| __Full_Rewriting/Transformed_CSR_04/Ex1_GM03_Z.xml |
0.2 /
0.2 s
|
740.5 /
297.4 s
|
| Full_Rewriting/Transformed_CSR_04/Ex1_GM03_iGM.xml |
0.2 /
0.2 s
|
450.8 /
148.3 s
|
| __Full_Rewriting/Transformed_CSR_04/Ex1_GM99_C.xml |
0.2 /
0.2 s
|
1073.1 /
297.2 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex1_GM99_FR.xml |
0.2 /
0.2 s
|
3.1 /
1.2 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex1_GM99_GM.xml |
0.2 /
0.2 s
|
253.2 /
150.0 s
|
| __Full_Rewriting/Transformed_CSR_04/Ex1_GM99_L.xml |
20.4 /
10.2 s
|
98.0 /
24.8 s
|
| Full_Rewriting/Transformed_CSR_04/Ex1_GM99_iGM.xml |
0.2 /
0.2 s
|
368.0 /
148.4 s
|
| Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_C.xml |
0.2 /
0.2 s
|
1055.8 /
297.3 s
|
| ull_Rewriting/Transformed_CSR_04/Ex1_Luc02b_FR.xml |
0.2 /
0.2 s
|
862.5 /
297.3 s
|
| ull_Rewriting/Transformed_CSR_04/Ex1_Luc02b_GM.xml |
0.2 /
0.2 s
|
1154.4 /
297.4 s
|
| Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| Full_Rewriting/Transformed_CSR_04/Ex1_Luc02b_Z.xml |
0.2 /
0.2 s
|
660.5 /
165.8 s
|
| ll_Rewriting/Transformed_CSR_04/Ex1_Luc02b_iGM.xml |
0.2 /
0.2 s
|
474.1 /
148.2 s
|
| Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_C.xml |
10.2 /
2.8 s
|
739.0 /
297.1 s
|
| ull_Rewriting/Transformed_CSR_04/Ex1_Luc04b_FR.xml |
150.6 /
56.1 s
|
846.0 /
297.3 s
|
| ull_Rewriting/Transformed_CSR_04/Ex1_Luc04b_GM.xml |
253.9 /
64.5 s
|
947.8 /
297.2 s
|
| Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| Full_Rewriting/Transformed_CSR_04/Ex1_Luc04b_Z.xml |
27.4 /
10.2 s
|
215.7 /
65.6 s
|
| ll_Rewriting/Transformed_CSR_04/Ex1_Luc04b_iGM.xml |
2.5 /
0.8 s
|
911.6 /
297.2 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_C.xml |
1.2 /
0.4 s
|
56.2 /
19.5 s
|
| Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_FR.xml |
201.4 /
57.5 s
|
498.4 /
297.1 s
|
| Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_GM.xml |
0.7 /
0.3 s
|
0.9 /
0.3 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex1_Zan97_L.xml |
20.6 /
10.2 s
|
97.4 /
24.6 s
|
| ull_Rewriting/Transformed_CSR_04/Ex1_Zan97_iGM.xml |
0.4 /
0.3 s
|
5.4 /
1.5 s
|
| Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_C.xml |
0.8 /
0.4 s
|
895.5 /
297.2 s
|
| ull_Rewriting/Transformed_CSR_04/Ex23_Luc06_FR.xml |
0.7 /
0.3 s
|
3.8 /
1.2 s
|
| ull_Rewriting/Transformed_CSR_04/Ex23_Luc06_GM.xml |
0.6 /
0.3 s
|
0.8 /
0.4 s
|
| Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_L.xml |
0.2 /
0.2 s
|
0.1 /
0.1 s
|
| Full_Rewriting/Transformed_CSR_04/Ex23_Luc06_Z.xml |
0.3 /
0.2 s
|
0.9 /
0.3 s
|
| ll_Rewriting/Transformed_CSR_04/Ex23_Luc06_iGM.xml |
0.4 /
0.2 s
|
9.2 /
4.6 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex24_GM04_C.xml |
0.2 /
0.2 s
|
730.5 /
297.1 s
|
| Full_Rewriting/Transformed_CSR_04/Ex24_GM04_FR.xml |
0.2 /
0.2 s
|
902.8 /
297.6 s
|
| Full_Rewriting/Transformed_CSR_04/Ex24_GM04_GM.xml |
0.2 /
0.2 s
|
429.4 /
256.5 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex24_GM04_L.xml |
20.4 /
10.2 s
|
96.9 /
24.4 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex24_GM04_Z.xml |
0.2 /
0.2 s
|
897.9 /
297.6 s
|
| ull_Rewriting/Transformed_CSR_04/Ex24_GM04_iGM.xml |
0.2 /
0.2 s
|
460.0 /
148.2 s
|
| Full_Rewriting/Transformed_CSR_04/Ex24_Luc06_C.xml |
0.2 /
0.2 s
|
627.1 /
297.1 s
|
| ull_Rewriting/Transformed_CSR_04/Ex24_Luc06_FR.xml |
0.2 /
0.2 s
|
94.6 /
44.0 s
|
| ull_Rewriting/Transformed_CSR_04/Ex24_Luc06_GM.xml |
0.2 /
0.2 s
|
250.9 /
147.5 s
|
| Full_Rewriting/Transformed_CSR_04/Ex24_Luc06_L.xml |
20.8 /
10.2 s
|
98.8 /
25.0 s
|
| ll_Rewriting/Transformed_CSR_04/Ex24_Luc06_iGM.xml |
0.2 /
0.2 s
|
491.7 /
148.3 s
|
| Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_C.xml |
0.8 /
0.4 s
|
225.5 /
60.4 s
|
| ull_Rewriting/Transformed_CSR_04/Ex25_Luc06_FR.xml |
1.5 /
0.5 s
|
11.9 /
4.2 s
|
| ull_Rewriting/Transformed_CSR_04/Ex25_Luc06_GM.xml |
1.1 /
0.4 s
|
1.7 /
0.8 s
|
| Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_L.xml |
0.2 /
0.2 s
|
0.1 /
0.1 s
|
| Full_Rewriting/Transformed_CSR_04/Ex25_Luc06_Z.xml |
0.6 /
0.3 s
|
3.0 /
1.0 s
|
| ll_Rewriting/Transformed_CSR_04/Ex25_Luc06_iGM.xml |
0.3 /
0.2 s
|
94.0 /
25.3 s
|
| ull_Rewriting/Transformed_CSR_04/Ex26_Luc03b_C.xml |
0.2 /
0.2 s
|
1047.3 /
297.4 s
|
| ll_Rewriting/Transformed_CSR_04/Ex26_Luc03b_FR.xml |
0.2 /
0.2 s
|
1186.4 /
298.1 s
|
| ll_Rewriting/Transformed_CSR_04/Ex26_Luc03b_GM.xml |
0.2 /
0.2 s
|
1185.8 /
297.9 s
|
| ull_Rewriting/Transformed_CSR_04/Ex26_Luc03b_L.xml |
0.4 /
0.3 s
|
0.4 /
0.2 s
|
| ull_Rewriting/Transformed_CSR_04/Ex26_Luc03b_Z.xml |
0.2 /
0.2 s
|
1185.3 /
297.8 s
|
| l_Rewriting/Transformed_CSR_04/Ex26_Luc03b_iGM.xml |
0.2 /
0.2 s
|
539.2 /
148.5 s
|
| Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_C.xml |
0.2 /
0.2 s
|
1044.8 /
297.9 s
|
| ull_Rewriting/Transformed_CSR_04/Ex2_Luc02a_FR.xml |
0.2 /
0.2 s
|
1182.2 /
300.0 s
|
| ull_Rewriting/Transformed_CSR_04/Ex2_Luc02a_GM.xml |
0.2 /
0.2 s
|
1186.5 /
298.1 s
|
| Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_L.xml |
0.2 /
0.2 s
|
293.3 /
161.7 s
|
| Full_Rewriting/Transformed_CSR_04/Ex2_Luc02a_Z.xml |
0.2 /
0.2 s
|
666.4 /
297.3 s
|
| ll_Rewriting/Transformed_CSR_04/Ex2_Luc02a_iGM.xml |
0.2 /
0.2 s
|
537.6 /
148.5 s
|
| Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_C.xml |
0.2 /
0.2 s
|
1082.6 /
297.8 s
|
| ull_Rewriting/Transformed_CSR_04/Ex2_Luc03b_FR.xml |
0.2 /
0.2 s
|
1101.8 /
299.8 s
|
| ull_Rewriting/Transformed_CSR_04/Ex2_Luc03b_GM.xml |
0.2 /
0.2 s
|
1185.1 /
297.7 s
|
| Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_L.xml |
0.3 /
0.2 s
|
0.2 /
0.1 s
|
| Full_Rewriting/Transformed_CSR_04/Ex2_Luc03b_Z.xml |
0.2 /
0.2 s
|
1056.3 /
300.0 s
|
| ll_Rewriting/Transformed_CSR_04/Ex2_Luc03b_iGM.xml |
0.2 /
0.2 s
|
486.4 /
148.2 s
|
| l_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_C.xml |
0.2 /
0.2 s
|
1059.6 /
297.4 s
|
| _Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_FR.xml |
0.2 /
0.2 s
|
816.4 /
297.3 s
|
| _Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_GM.xml |
0.2 /
0.2 s
|
854.9 /
297.3 s
|
| l_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| l_Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_Z.xml |
0.2 /
0.2 s
|
215.2 /
148.1 s
|
| Rewriting/Transformed_CSR_04/Ex3_12_Luc96a_iGM.xml |
0.2 /
0.2 s
|
479.0 /
149.4 s
|
| ull_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_C.xml |
0.2 /
0.2 s
|
1073.8 /
297.3 s
|
| ll_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_FR.xml |
0.2 /
0.2 s
|
1185.9 /
298.1 s
|
| ll_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_GM.xml |
0.2 /
0.2 s
|
1188.0 /
298.3 s
|
| ull_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ull_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_Z.xml |
0.2 /
0.2 s
|
1185.6 /
298.0 s
|
| l_Rewriting/Transformed_CSR_04/Ex3_2_Luc97_iGM.xml |
0.2 /
0.2 s
|
478.4 /
148.2 s
|
| _Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_C.xml |
0.2 /
0.2 s
|
1049.8 /
297.4 s
|
| Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_FR.xml |
0.2 /
0.2 s
|
770.9 /
297.2 s
|
| Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_GM.xml |
0.2 /
0.2 s
|
1175.5 /
297.7 s
|
| _Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_L.xml |
0.4 /
0.2 s
|
0.6 /
0.2 s
|
| _Rewriting/Transformed_CSR_04/Ex3_3_25_Bor03_Z.xml |
0.2 /
0.2 s
|
1188.0 /
300.0 s
|
| ewriting/Transformed_CSR_04/Ex3_3_25_Bor03_iGM.xml |
0.2 /
0.2 s
|
527.2 /
148.6 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex49_GM04_C.xml |
0.2 /
0.2 s
|
1069.6 /
297.6 s
|
| Full_Rewriting/Transformed_CSR_04/Ex49_GM04_FR.xml |
0.2 /
0.2 s
|
867.8 /
297.4 s
|
| Full_Rewriting/Transformed_CSR_04/Ex49_GM04_GM.xml |
0.2 /
0.2 s
|
1186.4 /
298.2 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex49_GM04_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex49_GM04_Z.xml |
0.2 /
0.2 s
|
837.4 /
297.4 s
|
| ull_Rewriting/Transformed_CSR_04/Ex49_GM04_iGM.xml |
0.2 /
0.2 s
|
555.6 /
148.5 s
|
| ll_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_C.xml |
0.2 /
0.2 s
|
1060.8 /
297.1 s
|
| l_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_FR.xml |
0.2 /
0.2 s
|
814.3 /
300.0 s
|
| l_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_GM.xml |
0.2 /
0.2 s
|
818.2 /
297.7 s
|
| ll_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_L.xml |
0.2 /
0.2 s
|
0.1 /
0.1 s
|
| ll_Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_Z.xml |
0.2 /
0.2 s
|
800.4 /
297.8 s
|
| _Rewriting/Transformed_CSR_04/Ex4_4_Luc96b_iGM.xml |
0.2 /
0.2 s
|
457.8 /
148.2 s
|
| _Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_C.xml |
1.1 /
0.4 s
|
840.0 /
297.1 s
|
| Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_FR.xml |
0.9 /
0.4 s
|
11.8 /
3.2 s
|
| Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_GM.xml |
1.0 /
0.4 s
|
19.7 /
5.3 s
|
| _Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_L.xml |
0.3 /
0.2 s
|
0.7 /
0.4 s
|
| _Rewriting/Transformed_CSR_04/Ex4_7_15_Bor03_Z.xml |
0.5 /
0.3 s
|
1.1 /
0.4 s
|
| ewriting/Transformed_CSR_04/Ex4_7_15_Bor03_iGM.xml |
0.3 /
0.2 s
|
169.0 /
45.3 s
|
| _Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_C.xml |
0.2 /
0.2 s
|
1040.7 /
297.2 s
|
| Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_FR.xml |
0.2 /
0.2 s
|
837.3 /
297.2 s
|
| Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_GM.xml |
0.2 /
0.2 s
|
1187.3 /
298.6 s
|
| _Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| _Rewriting/Transformed_CSR_04/Ex4_7_37_Bor03_Z.xml |
0.2 /
0.2 s
|
642.7 /
297.3 s
|
| ewriting/Transformed_CSR_04/Ex4_7_37_Bor03_iGM.xml |
0.2 /
0.2 s
|
532.3 /
148.5 s
|
| _Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_C.xml |
0.2 /
0.2 s
|
1065.8 /
297.2 s
|
| Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_FR.xml |
0.2 /
0.2 s
|
820.4 /
298.6 s
|
| Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_GM.xml |
0.2 /
0.2 s
|
847.6 /
297.3 s
|
| _Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| _Rewriting/Transformed_CSR_04/Ex4_7_56_Bor03_Z.xml |
0.2 /
0.2 s
|
1.9 /
0.6 s
|
| ewriting/Transformed_CSR_04/Ex4_7_56_Bor03_iGM.xml |
0.2 /
0.2 s
|
470.6 /
148.2 s
|
| _Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_C.xml |
1.7 /
0.6 s
|
760.4 /
297.1 s
|
| Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_FR.xml |
0.4 /
0.3 s
|
0.3 /
0.1 s
|
| Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_GM.xml |
24.3 /
10.0 s
|
4.9 /
1.3 s
|
| _Rewriting/Transformed_CSR_04/Ex4_7_77_Bor03_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ewriting/Transformed_CSR_04/Ex4_7_77_Bor03_iGM.xml |
0.8 /
0.4 s
|
51.8 /
20.5 s
|
| ull_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_C.xml |
0.2 /
0.3 s
|
1062.3 /
298.6 s
|
| ll_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_FR.xml |
0.2 /
0.2 s
|
887.5 /
297.2 s
|
| ll_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_GM.xml |
0.2 /
0.2 s
|
931.9 /
297.1 s
|
| ull_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ull_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_Z.xml |
0.2 /
0.2 s
|
884.0 /
297.2 s
|
| l_Rewriting/Transformed_CSR_04/Ex4_DLMMU04_iGM.xml |
0.2 /
0.2 s
|
876.7 /
297.2 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_C.xml |
0.2 /
0.2 s
|
1062.6 /
297.3 s
|
| Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_FR.xml |
0.2 /
0.2 s
|
822.6 /
297.3 s
|
| Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_GM.xml |
0.2 /
0.2 s
|
1085.0 /
297.4 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex4_Zan97_Z.xml |
0.2 /
0.2 s
|
472.2 /
280.4 s
|
| ull_Rewriting/Transformed_CSR_04/Ex4_Zan97_iGM.xml |
0.2 /
0.2 s
|
466.2 /
148.2 s
|
| ull_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_C.xml |
0.2 /
0.2 s
|
1050.6 /
297.2 s
|
| ll_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_FR.xml |
0.2 /
0.2 s
|
773.5 /
297.2 s
|
| ll_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_GM.xml |
0.2 /
0.2 s
|
1182.3 /
297.5 s
|
| ull_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ull_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_Z.xml |
0.2 /
0.2 s
|
774.1 /
297.1 s
|
| l_Rewriting/Transformed_CSR_04/Ex5_7_Luc97_iGM.xml |
0.2 /
0.2 s
|
477.4 /
148.1 s
|
| ull_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_C.xml |
0.2 /
0.2 s
|
843.3 /
297.3 s
|
| ll_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_FR.xml |
0.2 /
0.2 s
|
1186.8 /
298.3 s
|
| ll_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_GM.xml |
0.2 /
0.2 s
|
784.8 /
297.2 s
|
| ull_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ull_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_Z.xml |
0.2 /
0.2 s
|
1185.9 /
298.0 s
|
| l_Rewriting/Transformed_CSR_04/Ex5_DLMMU04_iGM.xml |
0.2 /
0.2 s
|
848.4 /
297.2 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_C.xml |
3.4 /
1.0 s
|
973.6 /
297.2 s
|
| Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_FR.xml |
0.9 /
0.4 s
|
361.7 /
211.8 s
|
| Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_GM.xml |
40.9 /
10.8 s
|
875.8 /
297.5 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex5_Zan97_Z.xml |
0.7 /
0.3 s
|
1.0 /
0.4 s
|
| ull_Rewriting/Transformed_CSR_04/Ex5_Zan97_iGM.xml |
0.5 /
0.3 s
|
507.1 /
149.5 s
|
| ll_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_C.xml |
0.3 /
0.3 s
|
1073.8 /
297.8 s
|
| l_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_FR.xml |
0.2 /
0.2 s
|
754.4 /
297.2 s
|
| l_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_GM.xml |
0.2 /
0.2 s
|
1192.0 /
300.0 s
|
| ll_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ll_Rewriting/Transformed_CSR_04/Ex6_15_AEL02_Z.xml |
0.2 /
0.2 s
|
752.8 /
297.3 s
|
| _Rewriting/Transformed_CSR_04/Ex6_15_AEL02_iGM.xml |
0.2 /
0.3 s
|
516.6 /
148.5 s
|
| ll_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_C.xml |
0.2 /
0.2 s
|
1046.2 /
297.4 s
|
| l_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_FR.xml |
0.2 /
0.2 s
|
908.7 /
297.6 s
|
| l_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_GM.xml |
0.2 /
0.2 s
|
840.5 /
297.7 s
|
| ll_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ll_Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_Z.xml |
0.2 /
0.2 s
|
6.1 /
1.6 s
|
| _Rewriting/Transformed_CSR_04/Ex6_9_Luc02c_iGM.xml |
0.2 /
0.2 s
|
480.5 /
148.5 s
|
| __Full_Rewriting/Transformed_CSR_04/Ex6_GM04_C.xml |
2.6 /
0.8 s
|
792.6 /
297.1 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex6_GM04_FR.xml |
80.8 /
38.3 s
|
223.2 /
83.0 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex6_GM04_GM.xml |
0.5 /
0.3 s
|
0.4 /
0.2 s
|
| __Full_Rewriting/Transformed_CSR_04/Ex6_GM04_L.xml |
0.2 /
0.2 s
|
0.1 /
0.0 s
|
| Full_Rewriting/Transformed_CSR_04/Ex6_GM04_iGM.xml |
0.7 /
0.3 s
|
4.2 /
1.6 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_C.xml |
0.2 /
0.2 s
|
1056.1 /
297.8 s
|
| Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_FR.xml |
0.2 /
0.2 s
|
923.2 /
297.6 s
|
| Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_GM.xml |
0.2 /
0.2 s
|
1149.8 /
299.5 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_L.xml |
0.3 /
0.2 s
|
0.1 /
0.1 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex6_Luc98_Z.xml |
0.2 /
0.2 s
|
2.8 /
0.8 s
|
| ull_Rewriting/Transformed_CSR_04/Ex6_Luc98_iGM.xml |
0.2 /
0.2 s
|
477.8 /
148.2 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_C.xml |
0.2 /
0.2 s
|
1061.5 /
297.3 s
|
| Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_FR.xml |
0.2 /
0.2 s
|
864.5 /
297.3 s
|
| Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_GM.xml |
0.2 /
0.2 s
|
1180.9 /
297.4 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex7_BLR02_Z.xml |
0.2 /
0.2 s
|
1185.4 /
297.7 s
|
| ull_Rewriting/Transformed_CSR_04/Ex7_BLR02_iGM.xml |
0.2 /
0.2 s
|
479.7 /
148.3 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_C.xml |
0.2 /
0.2 s
|
1128.9 /
297.6 s
|
| Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_FR.xml |
0.2 /
0.2 s
|
1046.8 /
297.9 s
|
| Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_GM.xml |
0.2 /
0.2 s
|
1063.5 /
298.6 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex8_BLR02_Z.xml |
0.2 /
0.2 s
|
1045.3 /
298.7 s
|
| ull_Rewriting/Transformed_CSR_04/Ex8_BLR02_iGM.xml |
0.2 /
0.2 s
|
524.3 /
149.9 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_C.xml |
0.2 /
0.2 s
|
908.8 /
297.3 s
|
| Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_FR.xml |
0.2 /
0.2 s
|
1094.7 /
298.1 s
|
| Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_GM.xml |
0.2 /
0.2 s
|
1090.9 /
297.6 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_L.xml |
0.4 /
0.3 s
|
1.1 /
0.5 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex9_BLR02_Z.xml |
0.2 /
0.2 s
|
1069.8 /
298.5 s
|
| ull_Rewriting/Transformed_CSR_04/Ex9_BLR02_iGM.xml |
0.2 /
0.2 s
|
1053.3 /
297.6 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_C.xml |
0.2 /
0.2 s
|
1068.4 /
297.2 s
|
| Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_FR.xml |
0.2 /
0.2 s
|
2.5 /
1.0 s
|
| Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_GM.xml |
0.2 /
0.2 s
|
267.2 /
154.4 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex9_Luc04_L.xml |
0.2 /
0.2 s
|
10.0 /
4.2 s
|
| ull_Rewriting/Transformed_CSR_04/Ex9_Luc04_iGM.xml |
0.2 /
0.2 s
|
462.7 /
155.1 s
|
| _Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_C.xml |
100.2 /
26.2 s
|
880.1 /
297.2 s
|
| Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_FR.xml |
191.6 /
55.6 s
|
506.1 /
297.1 s
|
| Full_Rewriting/Transformed_CSR_04/Ex9_Luc06_GM.xml |
56.1 /
31.0 s
|
73.9 /
24.0 s
|
| ull_Rewriting/Transformed_CSR_04/Ex9_Luc06_iGM.xml |
29.5 /
8.3 s
|
79.3 /
24.0 s
|
| writing/Transformed_CSR_04/ExAppendixB_AEL03_C.xml |
0.2 /
0.3 s
|
1124.0 /
298.0 s
|
| riting/Transformed_CSR_04/ExAppendixB_AEL03_FR.xml |
0.2 /
0.2 s
|
1185.6 /
298.0 s
|
| riting/Transformed_CSR_04/ExAppendixB_AEL03_GM.xml |
0.2 /
0.2 s
|
1193.2 /
299.9 s
|
| writing/Transformed_CSR_04/ExAppendixB_AEL03_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| writing/Transformed_CSR_04/ExAppendixB_AEL03_Z.xml |
0.2 /
0.2 s
|
1190.0 /
299.2 s
|
| iting/Transformed_CSR_04/ExAppendixB_AEL03_iGM.xml |
0.2 /
0.2 s
|
552.3 /
148.8 s
|
| ll_Rewriting/Transformed_CSR_04/ExConc_Zan97_C.xml |
0.5 /
0.3 s
|
154.0 /
39.5 s
|
| l_Rewriting/Transformed_CSR_04/ExConc_Zan97_FR.xml |
0.3 /
0.2 s
|
0.7 /
0.3 s
|
| l_Rewriting/Transformed_CSR_04/ExConc_Zan97_GM.xml |
0.4 /
0.3 s
|
0.6 /
0.3 s
|
| ll_Rewriting/Transformed_CSR_04/ExConc_Zan97_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ll_Rewriting/Transformed_CSR_04/ExConc_Zan97_Z.xml |
21.9 /
10.2 s
|
97.8 /
24.7 s
|
| _Rewriting/Transformed_CSR_04/ExConc_Zan97_iGM.xml |
0.3 /
0.2 s
|
30.6 /
8.3 s
|
| l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_C.xml |
14.2 /
3.8 s
|
739.2 /
297.1 s
|
| _Rewriting/Transformed_CSR_04/ExIntrod_GM01_FR.xml |
133.6 /
56.1 s
|
1009.6 /
297.3 s
|
| _Rewriting/Transformed_CSR_04/ExIntrod_GM01_GM.xml |
270.8 /
68.9 s
|
1009.2 /
297.3 s
|
| l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| l_Rewriting/Transformed_CSR_04/ExIntrod_GM01_Z.xml |
225.8 /
57.2 s
|
1092.5 /
297.3 s
|
| Rewriting/Transformed_CSR_04/ExIntrod_GM01_iGM.xml |
6.1 /
1.7 s
|
844.1 /
297.2 s
|
| l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_C.xml |
9.8 /
2.6 s
|
739.4 /
297.1 s
|
| _Rewriting/Transformed_CSR_04/ExIntrod_GM04_FR.xml |
148.6 /
56.6 s
|
976.1 /
297.3 s
|
| _Rewriting/Transformed_CSR_04/ExIntrod_GM04_GM.xml |
104.1 /
35.1 s
|
932.9 /
297.2 s
|
| l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| l_Rewriting/Transformed_CSR_04/ExIntrod_GM04_Z.xml |
226.5 /
57.0 s
|
993.6 /
297.3 s
|
| Rewriting/Transformed_CSR_04/ExIntrod_GM04_iGM.xml |
1.7 /
0.6 s
|
882.5 /
297.1 s
|
| l_Rewriting/Transformed_CSR_04/ExIntrod_GM99_C.xml |
0.2 /
0.2 s
|
931.9 /
297.4 s
|
| _Rewriting/Transformed_CSR_04/ExIntrod_GM99_FR.xml |
0.2 /
0.2 s
|
1092.1 /
298.0 s
|
| _Rewriting/Transformed_CSR_04/ExIntrod_GM99_GM.xml |
0.2 /
0.2 s
|
1189.1 /
298.9 s
|
| l_Rewriting/Transformed_CSR_04/ExIntrod_GM99_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| l_Rewriting/Transformed_CSR_04/ExIntrod_GM99_Z.xml |
0.2 /
0.2 s
|
1067.9 /
297.2 s
|
| Rewriting/Transformed_CSR_04/ExIntrod_GM99_iGM.xml |
0.2 /
0.2 s
|
1182.8 /
297.8 s
|
| _Rewriting/Transformed_CSR_04/ExIntrod_Zan97_C.xml |
0.2 /
0.2 s
|
1044.1 /
297.2 s
|
| Rewriting/Transformed_CSR_04/ExIntrod_Zan97_FR.xml |
0.2 /
0.2 s
|
698.1 /
297.2 s
|
| Rewriting/Transformed_CSR_04/ExIntrod_Zan97_GM.xml |
0.2 /
0.2 s
|
1186.8 /
298.4 s
|
| _Rewriting/Transformed_CSR_04/ExIntrod_Zan97_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| _Rewriting/Transformed_CSR_04/ExIntrod_Zan97_Z.xml |
0.2 /
0.2 s
|
1173.9 /
299.6 s
|
| ewriting/Transformed_CSR_04/ExIntrod_Zan97_iGM.xml |
0.2 /
0.2 s
|
525.9 /
148.6 s
|
| l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_C.xml |
0.8 /
0.4 s
|
1045.0 /
297.1 s
|
| _Rewriting/Transformed_CSR_04/ExProp7_Luc06_FR.xml |
1.0 /
0.4 s
|
460.6 /
270.2 s
|
| _Rewriting/Transformed_CSR_04/ExProp7_Luc06_GM.xml |
237.2 /
61.1 s
|
543.7 /
297.2 s
|
| l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_L.xml |
0.3 /
0.2 s
|
5.2 /
1.6 s
|
| l_Rewriting/Transformed_CSR_04/ExProp7_Luc06_Z.xml |
0.4 /
0.2 s
|
6.2 /
1.8 s
|
| Rewriting/Transformed_CSR_04/ExProp7_Luc06_iGM.xml |
0.5 /
0.3 s
|
266.1 /
71.1 s
|
| ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_C.xml |
0.2 /
0.2 s
|
1071.0 /
297.3 s
|
| writing/Transformed_CSR_04/ExSec11_1_Luc02a_FR.xml |
0.2 /
0.2 s
|
1185.8 /
298.1 s
|
| writing/Transformed_CSR_04/ExSec11_1_Luc02a_GM.xml |
0.2 /
0.2 s
|
1186.5 /
298.1 s
|
| ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_L.xml |
0.2 /
0.2 s
|
507.5 /
276.8 s
|
| ewriting/Transformed_CSR_04/ExSec11_1_Luc02a_Z.xml |
0.2 /
0.2 s
|
705.3 /
297.3 s
|
| riting/Transformed_CSR_04/ExSec11_1_Luc02a_iGM.xml |
0.2 /
0.2 s
|
541.2 /
148.5 s
|
| ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_C.xml |
0.2 /
0.3 s
|
1042.3 /
297.2 s
|
| writing/Transformed_CSR_04/ExSec4_2_DLMMU04_FR.xml |
0.2 /
0.2 s
|
847.3 /
297.4 s
|
| writing/Transformed_CSR_04/ExSec4_2_DLMMU04_GM.xml |
0.2 /
0.2 s
|
1131.4 /
297.7 s
|
| ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ewriting/Transformed_CSR_04/ExSec4_2_DLMMU04_Z.xml |
0.2 /
0.2 s
|
927.9 /
297.3 s
|
| riting/Transformed_CSR_04/ExSec4_2_DLMMU04_iGM.xml |
0.2 /
0.2 s
|
493.6 /
148.2 s
|
| sformed_CSR_04/LISTUTILITIES_complete-noand_FR.xml |
0.4 /
0.4 s
|
956.4 /
297.4 s
|
| nsformed_CSR_04/LISTUTILITIES_complete-noand_L.xml |
0.3 /
0.3 s
|
0.1 /
0.1 s
|
| nsformed_CSR_04/LISTUTILITIES_complete-noand_Z.xml |
0.4 /
0.4 s
|
957.8 /
297.4 s
|
| ng/Transformed_CSR_04/LISTUTILITIES_complete_C.xml |
0.5 /
0.5 s
|
1165.1 /
298.5 s
|
| g/Transformed_CSR_04/LISTUTILITIES_complete_FR.xml |
0.3 /
0.3 s
|
979.4 /
297.3 s
|
| g/Transformed_CSR_04/LISTUTILITIES_complete_GM.xml |
0.3 /
0.4 s
|
1124.6 /
297.2 s
|
| ng/Transformed_CSR_04/LISTUTILITIES_complete_L.xml |
0.2 /
0.2 s
|
0.1 /
0.0 s
|
| ng/Transformed_CSR_04/LISTUTILITIES_complete_Z.xml |
0.3 /
0.3 s
|
976.6 /
297.2 s
|
| /Transformed_CSR_04/LISTUTILITIES_complete_iGM.xml |
0.5 /
0.5 s
|
563.6 /
152.7 s
|
| nsformed_CSR_04/LISTUTILITIES_complete_noand_C.xml |
0.9 /
0.9 s
|
1171.2 /
300.1 s
|
| sformed_CSR_04/LISTUTILITIES_complete_noand_GM.xml |
0.5 /
0.5 s
|
1125.4 /
299.6 s
|
| formed_CSR_04/LISTUTILITIES_complete_noand_iGM.xml |
1.9 /
1.0 s
|
890.3 /
247.0 s
|
| nsformed_CSR_04/LISTUTILITIES_nokinds-noand_FR.xml |
0.3 /
0.3 s
|
943.4 /
297.2 s
|
| ansformed_CSR_04/LISTUTILITIES_nokinds-noand_L.xml |
0.2 /
0.2 s
|
0.1 /
0.0 s
|
| ansformed_CSR_04/LISTUTILITIES_nokinds-noand_Z.xml |
0.3 /
0.3 s
|
945.8 /
297.2 s
|
| ing/Transformed_CSR_04/LISTUTILITIES_nokinds_C.xml |
0.3 /
0.4 s
|
1083.1 /
298.3 s
|
| ng/Transformed_CSR_04/LISTUTILITIES_nokinds_FR.xml |
0.2 /
0.3 s
|
952.9 /
297.2 s
|
| ng/Transformed_CSR_04/LISTUTILITIES_nokinds_GM.xml |
0.3 /
0.3 s
|
1179.1 /
300.0 s
|
| ing/Transformed_CSR_04/LISTUTILITIES_nokinds_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ing/Transformed_CSR_04/LISTUTILITIES_nokinds_Z.xml |
0.2 /
0.2 s
|
948.5 /
297.2 s
|
| g/Transformed_CSR_04/LISTUTILITIES_nokinds_iGM.xml |
0.3 /
0.3 s
|
549.6 /
150.1 s
|
| ansformed_CSR_04/LISTUTILITIES_nokinds_noand_C.xml |
0.5 /
0.5 s
|
1102.3 /
298.9 s
|
| nsformed_CSR_04/LISTUTILITIES_nokinds_noand_GM.xml |
0.3 /
0.3 s
|
1123.5 /
297.4 s
|
| sformed_CSR_04/LISTUTILITIES_nokinds_noand_iGM.xml |
0.5 /
0.5 s
|
519.3 /
150.6 s
|
| nsformed_CSR_04/LISTUTILITIES_nosorts-noand_FR.xml |
0.2 /
0.2 s
|
1026.3 /
297.4 s
|
| ansformed_CSR_04/LISTUTILITIES_nosorts-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ansformed_CSR_04/LISTUTILITIES_nosorts-noand_Z.xml |
0.2 /
0.2 s
|
1017.5 /
297.1 s
|
| ing/Transformed_CSR_04/LISTUTILITIES_nosorts_C.xml |
0.3 /
0.3 s
|
993.2 /
297.4 s
|
| ng/Transformed_CSR_04/LISTUTILITIES_nosorts_FR.xml |
0.2 /
0.2 s
|
984.0 /
300.0 s
|
| ng/Transformed_CSR_04/LISTUTILITIES_nosorts_GM.xml |
0.2 /
0.2 s
|
1194.0 /
300.0 s
|
| ing/Transformed_CSR_04/LISTUTILITIES_nosorts_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ing/Transformed_CSR_04/LISTUTILITIES_nosorts_Z.xml |
0.2 /
0.2 s
|
515.3 /
148.6 s
|
| g/Transformed_CSR_04/LISTUTILITIES_nosorts_iGM.xml |
0.2 /
0.3 s
|
486.5 /
148.3 s
|
| ansformed_CSR_04/LISTUTILITIES_nosorts_noand_C.xml |
0.3 /
0.4 s
|
1091.0 /
297.9 s
|
| nsformed_CSR_04/LISTUTILITIES_nosorts_noand_GM.xml |
0.3 /
0.3 s
|
1140.5 /
299.4 s
|
| sformed_CSR_04/LISTUTILITIES_nosorts_noand_iGM.xml |
0.4 /
0.4 s
|
526.3 /
148.6 s
|
| d_CSR_04/LengthOfFiniteLists_complete-noand_FR.xml |
0.2 /
0.2 s
|
861.8 /
297.3 s
|
| ed_CSR_04/LengthOfFiniteLists_complete-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ed_CSR_04/LengthOfFiniteLists_complete-noand_Z.xml |
0.2 /
0.2 s
|
858.4 /
297.2 s
|
| nsformed_CSR_04/LengthOfFiniteLists_complete_C.xml |
0.3 /
0.3 s
|
847.8 /
297.2 s
|
| sformed_CSR_04/LengthOfFiniteLists_complete_FR.xml |
0.2 /
0.2 s
|
915.7 /
297.2 s
|
| sformed_CSR_04/LengthOfFiniteLists_complete_GM.xml |
0.2 /
0.2 s
|
971.2 /
297.2 s
|
| nsformed_CSR_04/LengthOfFiniteLists_complete_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| nsformed_CSR_04/LengthOfFiniteLists_complete_Z.xml |
0.2 /
0.2 s
|
910.2 /
297.3 s
|
| formed_CSR_04/LengthOfFiniteLists_complete_iGM.xml |
0.3 /
0.3 s
|
873.6 /
297.3 s
|
| ed_CSR_04/LengthOfFiniteLists_complete_noand_C.xml |
0.4 /
0.4 s
|
840.3 /
297.3 s
|
| d_CSR_04/LengthOfFiniteLists_complete_noand_GM.xml |
0.3 /
0.3 s
|
1053.1 /
297.2 s
|
| _CSR_04/LengthOfFiniteLists_complete_noand_iGM.xml |
0.4 /
0.4 s
|
1162.6 /
299.2 s
|
| ed_CSR_04/LengthOfFiniteLists_nokinds-noand_FR.xml |
0.2 /
0.2 s
|
830.9 /
297.2 s
|
| med_CSR_04/LengthOfFiniteLists_nokinds-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| med_CSR_04/LengthOfFiniteLists_nokinds-noand_Z.xml |
0.2 /
0.2 s
|
832.6 /
297.2 s
|
| ansformed_CSR_04/LengthOfFiniteLists_nokinds_C.xml |
0.2 /
0.2 s
|
830.4 /
297.3 s
|
| nsformed_CSR_04/LengthOfFiniteLists_nokinds_FR.xml |
0.2 /
0.2 s
|
854.2 /
297.2 s
|
| nsformed_CSR_04/LengthOfFiniteLists_nokinds_GM.xml |
0.2 /
0.2 s
|
936.1 /
297.1 s
|
| ansformed_CSR_04/LengthOfFiniteLists_nokinds_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ansformed_CSR_04/LengthOfFiniteLists_nokinds_Z.xml |
0.2 /
0.2 s
|
859.5 /
297.2 s
|
| sformed_CSR_04/LengthOfFiniteLists_nokinds_iGM.xml |
0.2 /
0.2 s
|
867.6 /
297.2 s
|
| med_CSR_04/LengthOfFiniteLists_nokinds_noand_C.xml |
0.2 /
0.3 s
|
781.7 /
297.1 s
|
| ed_CSR_04/LengthOfFiniteLists_nokinds_noand_GM.xml |
0.2 /
0.2 s
|
908.9 /
297.2 s
|
| d_CSR_04/LengthOfFiniteLists_nokinds_noand_iGM.xml |
0.2 /
0.2 s
|
1177.1 /
297.7 s
|
| ed_CSR_04/LengthOfFiniteLists_nosorts-noand_FR.xml |
45.6 /
12.9 s
|
604.5 /
297.4 s
|
| med_CSR_04/LengthOfFiniteLists_nosorts-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ansformed_CSR_04/LengthOfFiniteLists_nosorts_C.xml |
2.2 /
0.7 s
|
886.9 /
297.2 s
|
| nsformed_CSR_04/LengthOfFiniteLists_nosorts_FR.xml |
221.1 /
55.9 s
|
504.3 /
297.1 s
|
| nsformed_CSR_04/LengthOfFiniteLists_nosorts_GM.xml |
239.0 /
60.5 s
|
529.6 /
297.1 s
|
| ansformed_CSR_04/LengthOfFiniteLists_nosorts_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| sformed_CSR_04/LengthOfFiniteLists_nosorts_iGM.xml |
1.0 /
0.4 s
|
835.2 /
297.2 s
|
| med_CSR_04/LengthOfFiniteLists_nosorts_noand_C.xml |
3.4 /
1.0 s
|
935.1 /
297.2 s
|
| ed_CSR_04/LengthOfFiniteLists_nosorts_noand_GM.xml |
249.8 /
63.5 s
|
575.2 /
297.2 s
|
| d_CSR_04/LengthOfFiniteLists_nosorts_noand_iGM.xml |
1.2 /
0.5 s
|
854.8 /
297.1 s
|
| ing/Transformed_CSR_04/MYNAT_complete-noand_FR.xml |
0.2 /
0.2 s
|
879.1 /
297.3 s
|
| ting/Transformed_CSR_04/MYNAT_complete-noand_L.xml |
0.2 /
0.2 s
|
0.1 /
0.0 s
|
| ting/Transformed_CSR_04/MYNAT_complete-noand_Z.xml |
0.2 /
0.2 s
|
881.1 /
297.2 s
|
| _Rewriting/Transformed_CSR_04/MYNAT_complete_C.xml |
0.3 /
0.3 s
|
1102.1 /
298.3 s
|
| Rewriting/Transformed_CSR_04/MYNAT_complete_FR.xml |
0.2 /
0.2 s
|
920.1 /
297.4 s
|
| Rewriting/Transformed_CSR_04/MYNAT_complete_GM.xml |
0.2 /
0.2 s
|
1182.0 /
299.1 s
|
| _Rewriting/Transformed_CSR_04/MYNAT_complete_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| _Rewriting/Transformed_CSR_04/MYNAT_complete_Z.xml |
0.2 /
0.2 s
|
911.5 /
297.2 s
|
| ewriting/Transformed_CSR_04/MYNAT_complete_iGM.xml |
0.3 /
0.3 s
|
547.7 /
149.5 s
|
| ting/Transformed_CSR_04/MYNAT_complete_noand_C.xml |
0.4 /
0.4 s
|
1084.9 /
297.4 s
|
| ing/Transformed_CSR_04/MYNAT_complete_noand_GM.xml |
0.3 /
0.3 s
|
1061.8 /
297.2 s
|
| ng/Transformed_CSR_04/MYNAT_complete_noand_iGM.xml |
0.4 /
0.4 s
|
530.1 /
148.7 s
|
| ting/Transformed_CSR_04/MYNAT_nokinds-noand_FR.xml |
0.2 /
0.2 s
|
847.8 /
297.2 s
|
| iting/Transformed_CSR_04/MYNAT_nokinds-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| iting/Transformed_CSR_04/MYNAT_nokinds-noand_Z.xml |
0.2 /
0.2 s
|
847.7 /
297.2 s
|
| l_Rewriting/Transformed_CSR_04/MYNAT_nokinds_C.xml |
0.2 /
0.2 s
|
976.4 /
297.4 s
|
| _Rewriting/Transformed_CSR_04/MYNAT_nokinds_FR.xml |
0.2 /
0.2 s
|
860.1 /
297.2 s
|
| _Rewriting/Transformed_CSR_04/MYNAT_nokinds_GM.xml |
0.2 /
0.2 s
|
1184.4 /
297.8 s
|
| l_Rewriting/Transformed_CSR_04/MYNAT_nokinds_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| l_Rewriting/Transformed_CSR_04/MYNAT_nokinds_Z.xml |
0.2 /
0.2 s
|
855.2 /
297.2 s
|
| Rewriting/Transformed_CSR_04/MYNAT_nokinds_iGM.xml |
0.2 /
0.2 s
|
528.9 /
148.5 s
|
| iting/Transformed_CSR_04/MYNAT_nokinds_noand_C.xml |
0.3 /
0.3 s
|
1075.9 /
297.2 s
|
| ting/Transformed_CSR_04/MYNAT_nokinds_noand_GM.xml |
0.2 /
0.2 s
|
1182.3 /
298.4 s
|
| ing/Transformed_CSR_04/MYNAT_nokinds_noand_iGM.xml |
0.3 /
0.3 s
|
523.4 /
148.3 s
|
| ting/Transformed_CSR_04/MYNAT_nosorts-noand_FR.xml |
0.2 /
0.2 s
|
972.7 /
297.5 s
|
| iting/Transformed_CSR_04/MYNAT_nosorts-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| l_Rewriting/Transformed_CSR_04/MYNAT_nosorts_C.xml |
0.2 /
0.2 s
|
1050.0 /
297.2 s
|
| _Rewriting/Transformed_CSR_04/MYNAT_nosorts_FR.xml |
0.2 /
0.2 s
|
44.5 /
21.2 s
|
| _Rewriting/Transformed_CSR_04/MYNAT_nosorts_GM.xml |
0.2 /
0.2 s
|
1159.3 /
297.6 s
|
| l_Rewriting/Transformed_CSR_04/MYNAT_nosorts_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| Rewriting/Transformed_CSR_04/MYNAT_nosorts_iGM.xml |
0.2 /
0.2 s
|
429.0 /
148.2 s
|
| iting/Transformed_CSR_04/MYNAT_nosorts_noand_C.xml |
0.2 /
0.2 s
|
999.1 /
297.3 s
|
| ting/Transformed_CSR_04/MYNAT_nosorts_noand_GM.xml |
0.2 /
0.2 s
|
1169.7 /
297.7 s
|
| ing/Transformed_CSR_04/MYNAT_nosorts_noand_iGM.xml |
0.2 /
0.2 s
|
458.4 /
148.2 s
|
| /Transformed_CSR_04/OvConsOS_complete-noand_FR.xml |
0.3 /
0.3 s
|
893.8 /
297.3 s
|
| g/Transformed_CSR_04/OvConsOS_complete-noand_L.xml |
0.2 /
0.2 s
|
0.1 /
0.1 s
|
| g/Transformed_CSR_04/OvConsOS_complete-noand_Z.xml |
0.3 /
0.3 s
|
894.3 /
297.5 s
|
| writing/Transformed_CSR_04/OvConsOS_complete_C.xml |
0.3 /
0.3 s
|
1124.0 /
297.6 s
|
| riting/Transformed_CSR_04/OvConsOS_complete_FR.xml |
0.2 /
0.2 s
|
920.6 /
297.2 s
|
| riting/Transformed_CSR_04/OvConsOS_complete_GM.xml |
0.2 /
0.3 s
|
1007.5 /
297.2 s
|
| writing/Transformed_CSR_04/OvConsOS_complete_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| writing/Transformed_CSR_04/OvConsOS_complete_Z.xml |
0.2 /
0.2 s
|
916.1 /
297.2 s
|
| iting/Transformed_CSR_04/OvConsOS_complete_iGM.xml |
0.3 /
0.3 s
|
921.3 /
297.4 s
|
| g/Transformed_CSR_04/OvConsOS_complete_noand_C.xml |
0.5 /
0.5 s
|
1081.0 /
297.5 s
|
| /Transformed_CSR_04/OvConsOS_complete_noand_GM.xml |
0.3 /
0.3 s
|
1123.3 /
297.2 s
|
| Transformed_CSR_04/OvConsOS_complete_noand_iGM.xml |
0.5 /
0.5 s
|
976.4 /
299.4 s
|
| g/Transformed_CSR_04/OvConsOS_nokinds-noand_FR.xml |
0.2 /
0.2 s
|
877.2 /
297.3 s
|
| ng/Transformed_CSR_04/OvConsOS_nokinds-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ng/Transformed_CSR_04/OvConsOS_nokinds-noand_Z.xml |
0.2 /
0.2 s
|
874.4 /
297.3 s
|
| ewriting/Transformed_CSR_04/OvConsOS_nokinds_C.xml |
0.2 /
0.2 s
|
1043.2 /
297.4 s
|
| writing/Transformed_CSR_04/OvConsOS_nokinds_FR.xml |
0.2 /
0.2 s
|
914.9 /
297.2 s
|
| writing/Transformed_CSR_04/OvConsOS_nokinds_GM.xml |
0.2 /
0.2 s
|
930.5 /
297.2 s
|
| ewriting/Transformed_CSR_04/OvConsOS_nokinds_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ewriting/Transformed_CSR_04/OvConsOS_nokinds_Z.xml |
0.2 /
0.2 s
|
921.5 /
297.2 s
|
| riting/Transformed_CSR_04/OvConsOS_nokinds_iGM.xml |
0.2 /
0.2 s
|
883.5 /
297.2 s
|
| ng/Transformed_CSR_04/OvConsOS_nokinds_noand_C.xml |
0.3 /
0.3 s
|
1061.9 /
297.2 s
|
| g/Transformed_CSR_04/OvConsOS_nokinds_noand_GM.xml |
0.2 /
0.2 s
|
908.1 /
297.2 s
|
| /Transformed_CSR_04/OvConsOS_nokinds_noand_iGM.xml |
0.3 /
0.3 s
|
1186.3 /
298.7 s
|
| g/Transformed_CSR_04/OvConsOS_nosorts-noand_FR.xml |
114.2 /
45.3 s
|
461.2 /
297.2 s
|
| ng/Transformed_CSR_04/OvConsOS_nosorts-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ng/Transformed_CSR_04/OvConsOS_nosorts-noand_Z.xml |
84.9 /
29.9 s
|
583.7 /
297.2 s
|
| ewriting/Transformed_CSR_04/OvConsOS_nosorts_C.xml |
3.6 /
1.1 s
|
1025.2 /
297.3 s
|
| writing/Transformed_CSR_04/OvConsOS_nosorts_FR.xml |
136.2 /
56.2 s
|
517.6 /
297.1 s
|
| writing/Transformed_CSR_04/OvConsOS_nosorts_GM.xml |
234.1 /
59.3 s
|
924.1 /
297.4 s
|
| ewriting/Transformed_CSR_04/OvConsOS_nosorts_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ewriting/Transformed_CSR_04/OvConsOS_nosorts_Z.xml |
221.7 /
56.1 s
|
512.9 /
297.1 s
|
| riting/Transformed_CSR_04/OvConsOS_nosorts_iGM.xml |
1.3 /
0.5 s
|
836.7 /
297.2 s
|
| ng/Transformed_CSR_04/OvConsOS_nosorts_noand_C.xml |
239.5 /
60.6 s
|
801.4 /
297.2 s
|
| g/Transformed_CSR_04/OvConsOS_nosorts_noand_GM.xml |
239.0 /
60.3 s
|
1023.7 /
300.0 s
|
| /Transformed_CSR_04/OvConsOS_nosorts_noand_iGM.xml |
5.7 /
1.7 s
|
1181.5 /
297.3 s
|
| ransformed_CSR_04/PALINDROME_complete-noand_FR.xml |
0.2 /
0.2 s
|
847.4 /
297.4 s
|
| Transformed_CSR_04/PALINDROME_complete-noand_L.xml |
86.6 /
29.1 s
|
529.5 /
260.4 s
|
| Transformed_CSR_04/PALINDROME_complete-noand_Z.xml |
0.2 /
0.2 s
|
848.0 /
297.4 s
|
| iting/Transformed_CSR_04/PALINDROME_complete_C.xml |
0.3 /
0.3 s
|
897.3 /
297.2 s
|
| ting/Transformed_CSR_04/PALINDROME_complete_FR.xml |
0.2 /
0.2 s
|
897.1 /
297.3 s
|
| ting/Transformed_CSR_04/PALINDROME_complete_GM.xml |
0.2 /
0.3 s
|
1082.7 /
300.0 s
|
| iting/Transformed_CSR_04/PALINDROME_complete_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| iting/Transformed_CSR_04/PALINDROME_complete_Z.xml |
0.2 /
0.2 s
|
888.9 /
297.2 s
|
| ing/Transformed_CSR_04/PALINDROME_complete_iGM.xml |
0.3 /
0.3 s
|
539.7 /
148.7 s
|
| Transformed_CSR_04/PALINDROME_complete_noand_C.xml |
0.4 /
0.4 s
|
1043.4 /
297.5 s
|
| ransformed_CSR_04/PALINDROME_complete_noand_GM.xml |
0.3 /
0.3 s
|
1119.3 /
297.2 s
|
| ansformed_CSR_04/PALINDROME_complete_noand_iGM.xml |
0.4 /
0.4 s
|
480.9 /
149.2 s
|
| Transformed_CSR_04/PALINDROME_nokinds-noand_FR.xml |
75.2 /
22.4 s
|
815.3 /
297.3 s
|
| /Transformed_CSR_04/PALINDROME_nokinds-noand_L.xml |
32.4 /
10.2 s
|
311.6 /
149.4 s
|
| /Transformed_CSR_04/PALINDROME_nokinds-noand_Z.xml |
44.3 /
13.9 s
|
591.8 /
297.6 s
|
| riting/Transformed_CSR_04/PALINDROME_nokinds_C.xml |
16.5 /
4.4 s
|
1131.0 /
297.6 s
|
| iting/Transformed_CSR_04/PALINDROME_nokinds_FR.xml |
62.6 /
17.5 s
|
873.1 /
297.2 s
|
| iting/Transformed_CSR_04/PALINDROME_nokinds_GM.xml |
91.3 /
25.6 s
|
993.1 /
297.4 s
|
| riting/Transformed_CSR_04/PALINDROME_nokinds_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| riting/Transformed_CSR_04/PALINDROME_nokinds_Z.xml |
31.8 /
11.1 s
|
703.6 /
297.2 s
|
| ting/Transformed_CSR_04/PALINDROME_nokinds_iGM.xml |
1.8 /
0.7 s
|
509.8 /
148.3 s
|
| /Transformed_CSR_04/PALINDROME_nokinds_noand_C.xml |
383.2 /
97.0 s
|
858.3 /
297.1 s
|
| Transformed_CSR_04/PALINDROME_nokinds_noand_GM.xml |
235.5 /
60.3 s
|
1019.3 /
300.0 s
|
| ransformed_CSR_04/PALINDROME_nokinds_noand_iGM.xml |
3.5 /
1.1 s
|
561.0 /
149.3 s
|
| Transformed_CSR_04/PALINDROME_nosorts-noand_FR.xml |
0.7 /
0.3 s
|
2.0 /
0.7 s
|
| /Transformed_CSR_04/PALINDROME_nosorts-noand_L.xml |
0.7 /
0.3 s
|
1.4 /
0.6 s
|
| riting/Transformed_CSR_04/PALINDROME_nosorts_C.xml |
1.8 /
0.6 s
|
1063.9 /
297.3 s
|
| iting/Transformed_CSR_04/PALINDROME_nosorts_FR.xml |
0.6 /
0.3 s
|
2.7 /
0.9 s
|
| iting/Transformed_CSR_04/PALINDROME_nosorts_GM.xml |
49.8 /
13.7 s
|
960.6 /
299.1 s
|
| riting/Transformed_CSR_04/PALINDROME_nosorts_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ting/Transformed_CSR_04/PALINDROME_nosorts_iGM.xml |
0.8 /
0.4 s
|
473.4 /
148.3 s
|
| /Transformed_CSR_04/PALINDROME_nosorts_noand_C.xml |
1.9 /
0.7 s
|
1118.9 /
297.3 s
|
| Transformed_CSR_04/PALINDROME_nosorts_noand_GM.xml |
69.1 /
19.0 s
|
831.2 /
297.3 s
|
| ransformed_CSR_04/PALINDROME_nosorts_noand_iGM.xml |
0.5 /
0.3 s
|
480.1 /
149.7 s
|
| ing/Transformed_CSR_04/PEANO_complete-noand_FR.xml |
0.2 /
0.2 s
|
839.8 /
297.3 s
|
| ting/Transformed_CSR_04/PEANO_complete-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| ting/Transformed_CSR_04/PEANO_complete-noand_Z.xml |
0.2 /
0.2 s
|
835.8 /
297.3 s
|
| _Rewriting/Transformed_CSR_04/PEANO_complete_C.xml |
0.2 /
0.3 s
|
1058.7 /
297.6 s
|
| Rewriting/Transformed_CSR_04/PEANO_complete_FR.xml |
0.2 /
0.2 s
|
899.8 /
297.3 s
|
| Rewriting/Transformed_CSR_04/PEANO_complete_GM.xml |
0.2 /
0.2 s
|
1183.9 /
298.0 s
|
| _Rewriting/Transformed_CSR_04/PEANO_complete_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| _Rewriting/Transformed_CSR_04/PEANO_complete_Z.xml |
0.2 /
0.2 s
|
892.2 /
297.2 s
|
| ewriting/Transformed_CSR_04/PEANO_complete_iGM.xml |
0.2 /
0.3 s
|
528.8 /
148.4 s
|
| ting/Transformed_CSR_04/PEANO_complete_noand_C.xml |
0.3 /
0.3 s
|
1090.8 /
298.3 s
|
| ing/Transformed_CSR_04/PEANO_complete_noand_GM.xml |
0.2 /
0.2 s
|
1155.1 /
298.4 s
|
| ng/Transformed_CSR_04/PEANO_complete_noand_iGM.xml |
0.3 /
0.3 s
|
543.8 /
148.5 s
|
| ting/Transformed_CSR_04/PEANO_nokinds-noand_FR.xml |
0.2 /
0.2 s
|
796.2 /
297.3 s
|
| iting/Transformed_CSR_04/PEANO_nokinds-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| iting/Transformed_CSR_04/PEANO_nokinds-noand_Z.xml |
0.2 /
0.2 s
|
795.3 /
297.3 s
|
| l_Rewriting/Transformed_CSR_04/PEANO_nokinds_C.xml |
0.2 /
0.2 s
|
982.6 /
297.2 s
|
| _Rewriting/Transformed_CSR_04/PEANO_nokinds_FR.xml |
0.2 /
0.2 s
|
816.5 /
297.2 s
|
| _Rewriting/Transformed_CSR_04/PEANO_nokinds_GM.xml |
0.2 /
0.2 s
|
1173.8 /
300.0 s
|
| l_Rewriting/Transformed_CSR_04/PEANO_nokinds_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| l_Rewriting/Transformed_CSR_04/PEANO_nokinds_Z.xml |
0.2 /
0.2 s
|
817.5 /
297.2 s
|
| Rewriting/Transformed_CSR_04/PEANO_nokinds_iGM.xml |
0.2 /
0.2 s
|
513.0 /
148.4 s
|
| iting/Transformed_CSR_04/PEANO_nokinds_noand_C.xml |
0.2 /
0.2 s
|
983.4 /
297.3 s
|
| ting/Transformed_CSR_04/PEANO_nokinds_noand_GM.xml |
0.2 /
0.2 s
|
1185.5 /
297.9 s
|
| ing/Transformed_CSR_04/PEANO_nokinds_noand_iGM.xml |
0.2 /
0.2 s
|
493.2 /
148.3 s
|
| ting/Transformed_CSR_04/PEANO_nosorts-noand_FR.xml |
17.0 /
8.1 s
|
56.7 /
24.0 s
|
| iting/Transformed_CSR_04/PEANO_nosorts-noand_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| l_Rewriting/Transformed_CSR_04/PEANO_nosorts_C.xml |
0.9 /
0.4 s
|
822.5 /
297.1 s
|
| _Rewriting/Transformed_CSR_04/PEANO_nosorts_FR.xml |
0.4 /
0.2 s
|
0.3 /
0.1 s
|
| _Rewriting/Transformed_CSR_04/PEANO_nosorts_GM.xml |
64.6 /
18.5 s
|
860.7 /
297.8 s
|
| l_Rewriting/Transformed_CSR_04/PEANO_nosorts_L.xml |
0.2 /
0.2 s
|
0.0 /
0.0 s
|
| Rewriting/Transformed_CSR_04/PEANO_nosorts_iGM.xml |
0.5 /
0.3 s
|
463.6 /
148.2 s
|
| iting/Transformed_CSR_04/PEANO_nosorts_noand_C.xml |
3.0 /
0.9 s
|
835.9 /
297.2 s
|
| ting/Transformed_CSR_04/PEANO_nosorts_noand_GM.xml |
194.6 /
57.7 s
|
782.0 /
297.6 s
|
| ing/Transformed_CSR_04/PEANO_nosorts_noand_iGM.xml |
0.4 /
0.3 s
|
464.6 /
148.2 s
|
| ntime_Complexity__Full_Rewriting/Various_04/02.xml |
0.2 /
0.2 s
|
1.8 /
0.8 s
|
| ntime_Complexity__Full_Rewriting/Various_04/03.xml |
0.2 /
0.2 s
|
4.9 /
1.8 s
|
| ntime_Complexity__Full_Rewriting/Various_04/04.xml |
0.2 /
0.2 s
|
741.8 /
297.2 s
|
| ntime_Complexity__Full_Rewriting/Various_04/05.xml |
0.2 /
0.2 s
|
10.9 /
3.4 s
|
| ntime_Complexity__Full_Rewriting/Various_04/06.xml |
0.2 /
0.2 s
|
1.5 /
0.6 s
|
| ntime_Complexity__Full_Rewriting/Various_04/07.xml |
0.3 /
0.2 s
|
0.2 /
0.1 s
|
| ntime_Complexity__Full_Rewriting/Various_04/08.xml |
0.2 /
0.2 s
|
766.6 /
297.3 s
|
| ntime_Complexity__Full_Rewriting/Various_04/09.xml |
0.2 /
0.2 s
|
3.0 /
1.0 s
|
| ntime_Complexity__Full_Rewriting/Various_04/10.xml |
0.2 /
0.2 s
|
814.8 /
297.3 s
|
| ntime_Complexity__Full_Rewriting/Various_04/11.xml |
0.2 /
0.2 s
|
875.8 /
298.0 s
|
| ntime_Complexity__Full_Rewriting/Various_04/12.xml |
0.2 /
0.2 s
|
573.0 /
239.3 s
|
| ntime_Complexity__Full_Rewriting/Various_04/13.xml |
0.2 /
0.2 s
|
694.7 /
297.3 s
|
| ntime_Complexity__Full_Rewriting/Various_04/14.xml |
0.2 /
0.2 s
|
915.9 /
297.3 s
|
| ntime_Complexity__Full_Rewriting/Various_04/15.xml |
0.3 /
0.2 s
|
155.5 /
96.2 s
|
| ntime_Complexity__Full_Rewriting/Various_04/18.xml |
0.4 /
0.2 s
|
895.2 /
297.5 s
|
| ntime_Complexity__Full_Rewriting/Various_04/19.xml |
0.5 /
0.3 s
|
1004.8 /
297.6 s
|
| ntime_Complexity__Full_Rewriting/Various_04/21.xml |
66.6 /
17.7 s
|
553.6 /
148.3 s
|
| ntime_Complexity__Full_Rewriting/Various_04/22.xml |
0.2 /
0.2 s
|
922.3 /
300.0 s
|
| ntime_Complexity__Full_Rewriting/Various_04/23.xml |
16.1 /
8.0 s
|
2.3 /
0.8 s
|
| ntime_Complexity__Full_Rewriting/Various_04/24.xml |
12.9 /
3.5 s
|
457.1 /
148.2 s
|
| ntime_Complexity__Full_Rewriting/Various_04/25.xml |
0.3 /
0.2 s
|
0.5 /
0.2 s
|
| ntime_Complexity__Full_Rewriting/Various_04/26.xml |
0.2 /
0.2 s
|
8.0 /
2.1 s
|
| ntime_Complexity__Full_Rewriting/Various_04/27.xml |
0.3 /
0.2 s
|
0.3 /
0.1 s
|
| mplexity__Full_Rewriting/Waldmann_06/jwaprove1.xml |
0.3 /
0.2 s
|
497.3 /
148.5 s
|
| mplexity__Full_Rewriting/Waldmann_06/jwaprove2.xml |
0.3 /
0.2 s
|
506.0 /
150.2 s
|
| Complexity__Full_Rewriting/Waldmann_06/jwcime1.xml |
0.3 /
0.2 s
|
473.1 /
148.4 s
|
| Complexity__Full_Rewriting/Waldmann_06/jwcime2.xml |
0.3 /
0.2 s
|
490.8 /
148.6 s
|
| mplexity__Full_Rewriting/Waldmann_06/jwmatchb1.xml |
1.6 /
0.6 s
|
8.5 /
3.5 s
|
| mplexity__Full_Rewriting/Waldmann_06/jwmatchb2.xml |
1.5 /
0.6 s
|
8.3 /
3.4 s
|
| e_Complexity__Full_Rewriting/Waldmann_06/jwno1.xml |
22.5 /
10.2 s
|
1050.0 /
298.3 s
|
| e_Complexity__Full_Rewriting/Waldmann_06/jwno2.xml |
0.3 /
0.2 s
|
436.4 /
148.4 s
|
| e_Complexity__Full_Rewriting/Waldmann_06/jwno3.xml |
0.3 /
0.2 s
|
514.4 /
148.4 s
|
| e_Complexity__Full_Rewriting/Waldmann_06/jwno4.xml |
22.5 /
10.2 s
|
943.0 /
299.2 s
|
| e_Complexity__Full_Rewriting/Waldmann_06/jwno5.xml |
0.2 /
0.2 s
|
440.9 /
148.4 s
|
| e_Complexity__Full_Rewriting/Waldmann_06/jwno6.xml |
22.2 /
10.2 s
|
943.9 /
298.0 s
|
| e_Complexity__Full_Rewriting/Waldmann_06/jwno7.xml |
0.3 /
0.2 s
|
459.8 /
148.3 s
|
| e_Complexity__Full_Rewriting/Waldmann_06/jwno8.xml |
0.2 /
0.2 s
|
493.4 /
148.7 s
|
| e_Complexity__Full_Rewriting/Waldmann_06/jwno9.xml |
0.3 /
0.2 s
|
497.0 /
148.7 s
|
| plexity__Full_Rewriting/Waldmann_06/jwteparla1.xml |
0.2 /
0.2 s
|
502.5 /
148.9 s
|
| plexity__Full_Rewriting/Waldmann_06/jwteparla2.xml |
0.2 /
0.2 s
|
496.3 /
148.7 s
|
| _Complexity__Full_Rewriting/Waldmann_06/jwtpa1.xml |
0.3 /
0.2 s
|
528.5 /
148.5 s
|
| _Complexity__Full_Rewriting/Waldmann_06/jwtpa2.xml |
0.3 /
0.2 s
|
512.0 /
148.6 s
|
| e_Complexity__Full_Rewriting/Waldmann_06/jwttt.xml |
0.2 /
0.2 s
|
528.1 /
148.8 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw01.xml |
0.2 /
0.2 s
|
3.6 /
1.2 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw02.xml |
0.3 /
0.2 s
|
13.7 /
3.9 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw03.xml |
0.3 /
0.2 s
|
16.4 /
4.8 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw04.xml |
0.2 /
0.2 s
|
17.5 /
5.1 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw05.xml |
0.3 /
0.2 s
|
15.6 /
4.4 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw06.xml |
0.3 /
0.2 s
|
3.7 /
1.2 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw07.xml |
0.3 /
0.2 s
|
521.4 /
148.6 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw08.xml |
0.2 /
0.2 s
|
517.8 /
148.6 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw09.xml |
0.2 /
0.2 s
|
46.8 /
13.9 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw11.xml |
0.3 /
0.2 s
|
415.5 /
148.5 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw12.xml |
0.3 /
0.2 s
|
463.5 /
148.3 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw13.xml |
0.3 /
0.2 s
|
28.6 /
8.2 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw14.xml |
0.2 /
0.2 s
|
6.4 /
2.0 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw15.xml |
0.3 /
0.2 s
|
513.9 /
148.7 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw16.xml |
0.2 /
0.2 s
|
9.6 /
3.0 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw17.xml |
0.2 /
0.2 s
|
55.1 /
15.9 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw18.xml |
0.3 /
0.2 s
|
5.1 /
1.6 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw19.xml |
0.3 /
0.2 s
|
461.0 /
148.6 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw20.xml |
0.3 /
0.2 s
|
70.0 /
20.3 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw21.xml |
0.2 /
0.2 s
|
520.3 /
148.6 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw22.xml |
0.3 /
0.2 s
|
63.7 /
18.6 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw23.xml |
0.3 /
0.2 s
|
518.2 /
148.7 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw24.xml |
0.3 /
0.2 s
|
65.8 /
19.1 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw25.xml |
0.2 /
0.2 s
|
69.6 /
20.1 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw26.xml |
0.3 /
0.2 s
|
522.2 /
148.7 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw27.xml |
0.3 /
0.2 s
|
59.7 /
17.4 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw28.xml |
0.2 /
0.2 s
|
523.4 /
148.6 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw29.xml |
0.2 /
0.2 s
|
71.7 /
20.9 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw30.xml |
0.3 /
0.2 s
|
468.0 /
149.6 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw31.xml |
0.3 /
0.2 s
|
5.0 /
1.6 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw32.xml |
0.3 /
0.2 s
|
54.5 /
15.8 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw33.xml |
0.2 /
0.2 s
|
9.7 /
3.1 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw34.xml |
0.2 /
0.2 s
|
517.6 /
148.7 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw35.xml |
0.3 /
0.2 s
|
6.3 /
2.0 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw36.xml |
0.3 /
0.2 s
|
32.1 /
9.0 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw37.xml |
0.2 /
0.2 s
|
462.7 /
148.3 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw38.xml |
0.3 /
0.2 s
|
420.0 /
149.0 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw39.xml |
0.2 /
0.2 s
|
59.7 /
17.0 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw40.xml |
0.2 /
0.2 s
|
48.5 /
14.2 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw41.xml |
0.3 /
0.2 s
|
536.9 /
152.5 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw42.xml |
0.2 /
0.2 s
|
517.7 /
148.7 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw43.xml |
0.2 /
0.2 s
|
7.3 /
2.0 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw44.xml |
0.3 /
0.2 s
|
2.1 /
1.2 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw47.xml |
0.3 /
0.2 s
|
2.2 /
1.2 s
|
| ime_Complexity__Full_Rewriting/Zantema_05/jw50.xml |
0.2 /
0.2 s
|
7.4 /
2.0 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z01.xml |
0.3 /
0.2 s
|
537.9 /
148.7 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z02.xml |
0.3 /
0.2 s
|
1024.9 /
297.9 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z03.xml |
0.3 /
0.2 s
|
544.3 /
148.6 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z04.xml |
0.2 /
0.2 s
|
1021.2 /
297.9 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z05.xml |
0.3 /
0.2 s
|
351.1 /
148.1 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z06.xml |
0.3 /
0.2 s
|
499.3 /
148.4 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z07.xml |
0.4 /
0.3 s
|
111.8 /
53.8 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z08.xml |
0.3 /
0.2 s
|
539.2 /
149.3 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z09.xml |
0.2 /
0.2 s
|
1065.6 /
297.9 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z10.xml |
0.2 /
0.2 s
|
1032.5 /
299.1 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z11.xml |
0.4 /
0.2 s
|
529.2 /
148.7 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z12.xml |
214.9 /
56.0 s
|
895.1 /
297.2 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z13.xml |
226.8 /
57.5 s
|
511.8 /
297.1 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z14.xml |
213.5 /
55.4 s
|
524.9 /
297.2 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z15.xml |
198.0 /
55.4 s
|
522.6 /
297.1 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z16.xml |
220.3 /
55.7 s
|
517.7 /
297.2 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z17.xml |
238.6 /
60.3 s
|
576.5 /
297.1 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z18.xml |
217.1 /
55.6 s
|
524.5 /
297.1 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z19.xml |
0.3 /
0.2 s
|
472.3 /
148.5 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z20.xml |
0.3 /
0.2 s
|
532.5 /
148.6 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z21.xml |
0.3 /
0.2 s
|
96.6 /
54.3 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z22.xml |
0.5 /
0.3 s
|
501.8 /
148.6 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z23.xml |
252.8 /
70.4 s
|
690.4 /
297.1 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z24.xml |
221.2 /
56.0 s
|
881.7 /
297.2 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z25.xml |
0.3 /
0.2 s
|
321.1 /
148.1 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z26.xml |
0.3 /
0.2 s
|
114.0 /
42.2 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z27.xml |
0.2 /
0.2 s
|
956.8 /
300.0 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z28.xml |
0.2 /
0.2 s
|
935.0 /
297.5 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z29.xml |
0.3 /
0.2 s
|
1012.5 /
297.7 s
|
| time_Complexity__Full_Rewriting/Zantema_05/z30.xml |
0.3 /
0.2 s
|
594.2 /
151.5 s
|