0.00/0.01 YES 0.00/0.01 0.00/0.01 Problem 1: 0.00/0.01 0.00/0.01 (VAR v_NonEmpty:S @l:S @l1:S @l2:S @ls:S @x:S @xs:S) 0.00/0.01 (RULES 0.00/0.01 append(@l1:S,@l2:S) -> append#1(@l1:S,@l2:S) 0.00/0.01 append#1(::(@x:S,@xs:S),@l2:S) -> ::(@x:S,append(@xs:S,@l2:S)) 0.00/0.01 append#1(nil,@l2:S) -> @l2:S 0.00/0.01 appendAll(@l:S) -> appendAll#1(@l:S) 0.00/0.01 appendAll#1(::(@l1:S,@ls:S)) -> append(@l1:S,appendAll(@ls:S)) 0.00/0.01 appendAll#1(nil) -> nil 0.00/0.01 appendAll2(@l:S) -> appendAll2#1(@l:S) 0.00/0.01 appendAll2#1(::(@l1:S,@ls:S)) -> append(appendAll(@l1:S),appendAll2(@ls:S)) 0.00/0.01 appendAll2#1(nil) -> nil 0.00/0.01 appendAll3(@l:S) -> appendAll3#1(@l:S) 0.00/0.01 appendAll3#1(::(@l1:S,@ls:S)) -> append(appendAll2(@l1:S),appendAll3(@ls:S)) 0.00/0.01 appendAll3#1(nil) -> nil 0.00/0.01 ) 0.00/0.01 (STRATEGY INNERMOST) 0.00/0.01 0.00/0.01 Problem 1: 0.00/0.01 0.00/0.01 Dependency Pairs Processor: 0.00/0.01 -> Pairs: 0.00/0.01 APPEND(@l1:S,@l2:S) -> APPEND#1(@l1:S,@l2:S) 0.00/0.01 APPEND#1(::(@x:S,@xs:S),@l2:S) -> APPEND(@xs:S,@l2:S) 0.00/0.01 APPENDALL(@l:S) -> APPENDALL#1(@l:S) 0.00/0.01 APPENDALL#1(::(@l1:S,@ls:S)) -> APPEND(@l1:S,appendAll(@ls:S)) 0.00/0.01 APPENDALL#1(::(@l1:S,@ls:S)) -> APPENDALL(@ls:S) 0.00/0.01 APPENDALL2(@l:S) -> APPENDALL2#1(@l:S) 0.00/0.01 APPENDALL2#1(::(@l1:S,@ls:S)) -> APPEND(appendAll(@l1:S),appendAll2(@ls:S)) 0.00/0.01 APPENDALL2#1(::(@l1:S,@ls:S)) -> APPENDALL(@l1:S) 0.00/0.01 APPENDALL2#1(::(@l1:S,@ls:S)) -> APPENDALL2(@ls:S) 0.00/0.01 APPENDALL3(@l:S) -> APPENDALL3#1(@l:S) 0.00/0.01 APPENDALL3#1(::(@l1:S,@ls:S)) -> APPEND(appendAll2(@l1:S),appendAll3(@ls:S)) 0.00/0.01 APPENDALL3#1(::(@l1:S,@ls:S)) -> APPENDALL2(@l1:S) 0.00/0.01 APPENDALL3#1(::(@l1:S,@ls:S)) -> APPENDALL3(@ls:S) 0.00/0.01 -> Rules: 0.00/0.01 append(@l1:S,@l2:S) -> append#1(@l1:S,@l2:S) 0.00/0.01 append#1(::(@x:S,@xs:S),@l2:S) -> ::(@x:S,append(@xs:S,@l2:S)) 0.00/0.01 append#1(nil,@l2:S) -> @l2:S 0.00/0.01 appendAll(@l:S) -> appendAll#1(@l:S) 0.00/0.01 appendAll#1(::(@l1:S,@ls:S)) -> append(@l1:S,appendAll(@ls:S)) 0.00/0.01 appendAll#1(nil) -> nil 0.00/0.01 appendAll2(@l:S) -> appendAll2#1(@l:S) 0.00/0.01 appendAll2#1(::(@l1:S,@ls:S)) -> append(appendAll(@l1:S),appendAll2(@ls:S)) 0.00/0.01 appendAll2#1(nil) -> nil 0.00/0.01 appendAll3(@l:S) -> appendAll3#1(@l:S) 0.00/0.01 appendAll3#1(::(@l1:S,@ls:S)) -> append(appendAll2(@l1:S),appendAll3(@ls:S)) 0.00/0.01 appendAll3#1(nil) -> nil 0.00/0.01 0.00/0.01 Problem 1: 0.00/0.01 0.00/0.01 SCC Processor: 0.00/0.01 -> Pairs: 0.00/0.01 APPEND(@l1:S,@l2:S) -> APPEND#1(@l1:S,@l2:S) 0.00/0.01 APPEND#1(::(@x:S,@xs:S),@l2:S) -> APPEND(@xs:S,@l2:S) 0.00/0.01 APPENDALL(@l:S) -> APPENDALL#1(@l:S) 0.00/0.01 APPENDALL#1(::(@l1:S,@ls:S)) -> APPEND(@l1:S,appendAll(@ls:S)) 0.00/0.01 APPENDALL#1(::(@l1:S,@ls:S)) -> APPENDALL(@ls:S) 0.00/0.01 APPENDALL2(@l:S) -> APPENDALL2#1(@l:S) 0.00/0.01 APPENDALL2#1(::(@l1:S,@ls:S)) -> APPEND(appendAll(@l1:S),appendAll2(@ls:S)) 0.00/0.01 APPENDALL2#1(::(@l1:S,@ls:S)) -> APPENDALL(@l1:S) 0.00/0.01 APPENDALL2#1(::(@l1:S,@ls:S)) -> APPENDALL2(@ls:S) 0.00/0.01 APPENDALL3(@l:S) -> APPENDALL3#1(@l:S) 0.00/0.01 APPENDALL3#1(::(@l1:S,@ls:S)) -> APPEND(appendAll2(@l1:S),appendAll3(@ls:S)) 0.00/0.01 APPENDALL3#1(::(@l1:S,@ls:S)) -> APPENDALL2(@l1:S) 0.00/0.01 APPENDALL3#1(::(@l1:S,@ls:S)) -> APPENDALL3(@ls:S) 0.00/0.01 -> Rules: 0.00/0.01 append(@l1:S,@l2:S) -> append#1(@l1:S,@l2:S) 0.00/0.01 append#1(::(@x:S,@xs:S),@l2:S) -> ::(@x:S,append(@xs:S,@l2:S)) 0.00/0.01 append#1(nil,@l2:S) -> @l2:S 0.00/0.01 appendAll(@l:S) -> appendAll#1(@l:S) 0.00/0.01 appendAll#1(::(@l1:S,@ls:S)) -> append(@l1:S,appendAll(@ls:S)) 0.00/0.01 appendAll#1(nil) -> nil 0.00/0.01 appendAll2(@l:S) -> appendAll2#1(@l:S) 0.00/0.01 appendAll2#1(::(@l1:S,@ls:S)) -> append(appendAll(@l1:S),appendAll2(@ls:S)) 0.00/0.01 appendAll2#1(nil) -> nil 0.00/0.01 appendAll3(@l:S) -> appendAll3#1(@l:S) 0.00/0.01 appendAll3#1(::(@l1:S,@ls:S)) -> append(appendAll2(@l1:S),appendAll3(@ls:S)) 0.00/0.01 appendAll3#1(nil) -> nil 0.00/0.01 ->Strongly Connected Components: 0.00/0.01 ->->Cycle: 0.00/0.01 ->->-> Pairs: 0.00/0.01 APPEND(@l1:S,@l2:S) -> APPEND#1(@l1:S,@l2:S) 0.00/0.01 APPEND#1(::(@x:S,@xs:S),@l2:S) -> APPEND(@xs:S,@l2:S) 0.00/0.01 ->->-> Rules: 0.00/0.01 append(@l1:S,@l2:S) -> append#1(@l1:S,@l2:S) 0.00/0.01 append#1(::(@x:S,@xs:S),@l2:S) -> ::(@x:S,append(@xs:S,@l2:S)) 0.00/0.01 append#1(nil,@l2:S) -> @l2:S 0.00/0.01 appendAll(@l:S) -> appendAll#1(@l:S) 0.00/0.01 appendAll#1(::(@l1:S,@ls:S)) -> append(@l1:S,appendAll(@ls:S)) 0.00/0.01 appendAll#1(nil) -> nil 0.00/0.01 appendAll2(@l:S) -> appendAll2#1(@l:S) 0.00/0.01 appendAll2#1(::(@l1:S,@ls:S)) -> append(appendAll(@l1:S),appendAll2(@ls:S)) 0.00/0.01 appendAll2#1(nil) -> nil 0.00/0.01 appendAll3(@l:S) -> appendAll3#1(@l:S) 0.00/0.01 appendAll3#1(::(@l1:S,@ls:S)) -> append(appendAll2(@l1:S),appendAll3(@ls:S)) 0.00/0.01 appendAll3#1(nil) -> nil 0.00/0.01 ->->Cycle: 0.00/0.01 ->->-> Pairs: 0.00/0.01 APPENDALL(@l:S) -> APPENDALL#1(@l:S) 0.00/0.01 APPENDALL#1(::(@l1:S,@ls:S)) -> APPENDALL(@ls:S) 0.00/0.01 ->->-> Rules: 0.00/0.01 append(@l1:S,@l2:S) -> append#1(@l1:S,@l2:S) 0.00/0.01 append#1(::(@x:S,@xs:S),@l2:S) -> ::(@x:S,append(@xs:S,@l2:S)) 0.00/0.01 append#1(nil,@l2:S) -> @l2:S 0.00/0.01 appendAll(@l:S) -> appendAll#1(@l:S) 0.00/0.01 appendAll#1(::(@l1:S,@ls:S)) -> append(@l1:S,appendAll(@ls:S)) 0.00/0.01 appendAll#1(nil) -> nil 0.00/0.01 appendAll2(@l:S) -> appendAll2#1(@l:S) 0.00/0.01 appendAll2#1(::(@l1:S,@ls:S)) -> append(appendAll(@l1:S),appendAll2(@ls:S)) 0.00/0.01 appendAll2#1(nil) -> nil 0.00/0.01 appendAll3(@l:S) -> appendAll3#1(@l:S) 0.00/0.01 appendAll3#1(::(@l1:S,@ls:S)) -> append(appendAll2(@l1:S),appendAll3(@ls:S)) 0.00/0.01 appendAll3#1(nil) -> nil 0.00/0.01 ->->Cycle: 0.00/0.01 ->->-> Pairs: 0.00/0.01 APPENDALL2(@l:S) -> APPENDALL2#1(@l:S) 0.00/0.01 APPENDALL2#1(::(@l1:S,@ls:S)) -> APPENDALL2(@ls:S) 0.00/0.01 ->->-> Rules: 0.00/0.01 append(@l1:S,@l2:S) -> append#1(@l1:S,@l2:S) 0.00/0.01 append#1(::(@x:S,@xs:S),@l2:S) -> ::(@x:S,append(@xs:S,@l2:S)) 0.00/0.01 append#1(nil,@l2:S) -> @l2:S 0.00/0.01 appendAll(@l:S) -> appendAll#1(@l:S) 0.00/0.01 appendAll#1(::(@l1:S,@ls:S)) -> append(@l1:S,appendAll(@ls:S)) 0.00/0.01 appendAll#1(nil) -> nil 0.00/0.01 appendAll2(@l:S) -> appendAll2#1(@l:S) 0.00/0.01 appendAll2#1(::(@l1:S,@ls:S)) -> append(appendAll(@l1:S),appendAll2(@ls:S)) 0.00/0.01 appendAll2#1(nil) -> nil 0.00/0.01 appendAll3(@l:S) -> appendAll3#1(@l:S) 0.00/0.01 appendAll3#1(::(@l1:S,@ls:S)) -> append(appendAll2(@l1:S),appendAll3(@ls:S)) 0.00/0.01 appendAll3#1(nil) -> nil 0.00/0.01 ->->Cycle: 0.00/0.01 ->->-> Pairs: 0.00/0.01 APPENDALL3(@l:S) -> APPENDALL3#1(@l:S) 0.00/0.01 APPENDALL3#1(::(@l1:S,@ls:S)) -> APPENDALL3(@ls:S) 0.00/0.01 ->->-> Rules: 0.00/0.01 append(@l1:S,@l2:S) -> append#1(@l1:S,@l2:S) 0.00/0.01 append#1(::(@x:S,@xs:S),@l2:S) -> ::(@x:S,append(@xs:S,@l2:S)) 0.00/0.01 append#1(nil,@l2:S) -> @l2:S 0.00/0.01 appendAll(@l:S) -> appendAll#1(@l:S) 0.00/0.01 appendAll#1(::(@l1:S,@ls:S)) -> append(@l1:S,appendAll(@ls:S)) 0.00/0.01 appendAll#1(nil) -> nil 0.00/0.01 appendAll2(@l:S) -> appendAll2#1(@l:S) 0.00/0.01 appendAll2#1(::(@l1:S,@ls:S)) -> append(appendAll(@l1:S),appendAll2(@ls:S)) 0.00/0.01 appendAll2#1(nil) -> nil 0.00/0.01 appendAll3(@l:S) -> appendAll3#1(@l:S) 0.00/0.01 appendAll3#1(::(@l1:S,@ls:S)) -> append(appendAll2(@l1:S),appendAll3(@ls:S)) 0.00/0.01 appendAll3#1(nil) -> nil 0.00/0.01 0.00/0.01 0.00/0.01 The problem is decomposed in 4 subproblems. 0.00/0.01 0.00/0.01 Problem 1.1: 0.00/0.01 0.00/0.01 Subterm Processor: 0.00/0.01 -> Pairs: 0.00/0.01 APPEND(@l1:S,@l2:S) -> APPEND#1(@l1:S,@l2:S) 0.00/0.01 APPEND#1(::(@x:S,@xs:S),@l2:S) -> APPEND(@xs:S,@l2:S) 0.00/0.01 -> Rules: 0.00/0.01 append(@l1:S,@l2:S) -> append#1(@l1:S,@l2:S) 0.00/0.01 append#1(::(@x:S,@xs:S),@l2:S) -> ::(@x:S,append(@xs:S,@l2:S)) 0.00/0.01 append#1(nil,@l2:S) -> @l2:S 0.00/0.01 appendAll(@l:S) -> appendAll#1(@l:S) 0.00/0.01 appendAll#1(::(@l1:S,@ls:S)) -> append(@l1:S,appendAll(@ls:S)) 0.00/0.01 appendAll#1(nil) -> nil 0.00/0.01 appendAll2(@l:S) -> appendAll2#1(@l:S) 0.00/0.01 appendAll2#1(::(@l1:S,@ls:S)) -> append(appendAll(@l1:S),appendAll2(@ls:S)) 0.00/0.01 appendAll2#1(nil) -> nil 0.00/0.01 appendAll3(@l:S) -> appendAll3#1(@l:S) 0.00/0.01 appendAll3#1(::(@l1:S,@ls:S)) -> append(appendAll2(@l1:S),appendAll3(@ls:S)) 0.00/0.01 appendAll3#1(nil) -> nil 0.00/0.01 ->Projection: 0.00/0.01 pi(APPEND) = 1 0.00/0.01 pi(APPEND#1) = 1 0.00/0.01 0.00/0.01 Problem 1.1: 0.00/0.01 0.00/0.01 SCC Processor: 0.00/0.01 -> Pairs: 0.00/0.01 APPEND(@l1:S,@l2:S) -> APPEND#1(@l1:S,@l2:S) 0.00/0.01 -> Rules: 0.00/0.01 append(@l1:S,@l2:S) -> append#1(@l1:S,@l2:S) 0.00/0.01 append#1(::(@x:S,@xs:S),@l2:S) -> ::(@x:S,append(@xs:S,@l2:S)) 0.00/0.01 append#1(nil,@l2:S) -> @l2:S 0.00/0.01 appendAll(@l:S) -> appendAll#1(@l:S) 0.00/0.01 appendAll#1(::(@l1:S,@ls:S)) -> append(@l1:S,appendAll(@ls:S)) 0.00/0.01 appendAll#1(nil) -> nil 0.00/0.01 appendAll2(@l:S) -> appendAll2#1(@l:S) 0.00/0.01 appendAll2#1(::(@l1:S,@ls:S)) -> append(appendAll(@l1:S),appendAll2(@ls:S)) 0.00/0.01 appendAll2#1(nil) -> nil 0.00/0.01 appendAll3(@l:S) -> appendAll3#1(@l:S) 0.00/0.01 appendAll3#1(::(@l1:S,@ls:S)) -> append(appendAll2(@l1:S),appendAll3(@ls:S)) 0.00/0.01 appendAll3#1(nil) -> nil 0.00/0.01 ->Strongly Connected Components: 0.00/0.01 There is no strongly connected component 0.00/0.01 0.00/0.01 The problem is finite. 0.00/0.01 0.00/0.01 Problem 1.2: 0.00/0.01 0.00/0.01 Subterm Processor: 0.00/0.01 -> Pairs: 0.00/0.01 APPENDALL(@l:S) -> APPENDALL#1(@l:S) 0.00/0.01 APPENDALL#1(::(@l1:S,@ls:S)) -> APPENDALL(@ls:S) 0.00/0.01 -> Rules: 0.00/0.01 append(@l1:S,@l2:S) -> append#1(@l1:S,@l2:S) 0.00/0.01 append#1(::(@x:S,@xs:S),@l2:S) -> ::(@x:S,append(@xs:S,@l2:S)) 0.00/0.01 append#1(nil,@l2:S) -> @l2:S 0.00/0.01 appendAll(@l:S) -> appendAll#1(@l:S) 0.00/0.01 appendAll#1(::(@l1:S,@ls:S)) -> append(@l1:S,appendAll(@ls:S)) 0.00/0.01 appendAll#1(nil) -> nil 0.00/0.01 appendAll2(@l:S) -> appendAll2#1(@l:S) 0.00/0.01 appendAll2#1(::(@l1:S,@ls:S)) -> append(appendAll(@l1:S),appendAll2(@ls:S)) 0.00/0.01 appendAll2#1(nil) -> nil 0.00/0.01 appendAll3(@l:S) -> appendAll3#1(@l:S) 0.00/0.01 appendAll3#1(::(@l1:S,@ls:S)) -> append(appendAll2(@l1:S),appendAll3(@ls:S)) 0.00/0.01 appendAll3#1(nil) -> nil 0.00/0.01 ->Projection: 0.00/0.01 pi(APPENDALL) = 1 0.00/0.01 pi(APPENDALL#1) = 1 0.00/0.01 0.00/0.01 Problem 1.2: 0.00/0.01 0.00/0.01 SCC Processor: 0.00/0.01 -> Pairs: 0.00/0.01 APPENDALL(@l:S) -> APPENDALL#1(@l:S) 0.00/0.01 -> Rules: 0.00/0.01 append(@l1:S,@l2:S) -> append#1(@l1:S,@l2:S) 0.00/0.01 append#1(::(@x:S,@xs:S),@l2:S) -> ::(@x:S,append(@xs:S,@l2:S)) 0.00/0.01 append#1(nil,@l2:S) -> @l2:S 0.00/0.01 appendAll(@l:S) -> appendAll#1(@l:S) 0.00/0.01 appendAll#1(::(@l1:S,@ls:S)) -> append(@l1:S,appendAll(@ls:S)) 0.00/0.01 appendAll#1(nil) -> nil 0.00/0.01 appendAll2(@l:S) -> appendAll2#1(@l:S) 0.00/0.01 appendAll2#1(::(@l1:S,@ls:S)) -> append(appendAll(@l1:S),appendAll2(@ls:S)) 0.00/0.01 appendAll2#1(nil) -> nil 0.00/0.01 appendAll3(@l:S) -> appendAll3#1(@l:S) 0.00/0.01 appendAll3#1(::(@l1:S,@ls:S)) -> append(appendAll2(@l1:S),appendAll3(@ls:S)) 0.00/0.01 appendAll3#1(nil) -> nil 0.00/0.01 ->Strongly Connected Components: 0.00/0.01 There is no strongly connected component 0.00/0.01 0.00/0.01 The problem is finite. 0.00/0.01 0.00/0.01 Problem 1.3: 0.00/0.01 0.00/0.01 Subterm Processor: 0.00/0.01 -> Pairs: 0.00/0.01 APPENDALL2(@l:S) -> APPENDALL2#1(@l:S) 0.00/0.01 APPENDALL2#1(::(@l1:S,@ls:S)) -> APPENDALL2(@ls:S) 0.00/0.01 -> Rules: 0.00/0.01 append(@l1:S,@l2:S) -> append#1(@l1:S,@l2:S) 0.00/0.01 append#1(::(@x:S,@xs:S),@l2:S) -> ::(@x:S,append(@xs:S,@l2:S)) 0.00/0.01 append#1(nil,@l2:S) -> @l2:S 0.00/0.01 appendAll(@l:S) -> appendAll#1(@l:S) 0.00/0.01 appendAll#1(::(@l1:S,@ls:S)) -> append(@l1:S,appendAll(@ls:S)) 0.00/0.01 appendAll#1(nil) -> nil 0.00/0.01 appendAll2(@l:S) -> appendAll2#1(@l:S) 0.00/0.01 appendAll2#1(::(@l1:S,@ls:S)) -> append(appendAll(@l1:S),appendAll2(@ls:S)) 0.00/0.01 appendAll2#1(nil) -> nil 0.00/0.01 appendAll3(@l:S) -> appendAll3#1(@l:S) 0.00/0.01 appendAll3#1(::(@l1:S,@ls:S)) -> append(appendAll2(@l1:S),appendAll3(@ls:S)) 0.00/0.01 appendAll3#1(nil) -> nil 0.00/0.01 ->Projection: 0.00/0.01 pi(APPENDALL2) = 1 0.00/0.01 pi(APPENDALL2#1) = 1 0.00/0.01 0.00/0.01 Problem 1.3: 0.00/0.01 0.00/0.01 SCC Processor: 0.00/0.01 -> Pairs: 0.00/0.01 APPENDALL2(@l:S) -> APPENDALL2#1(@l:S) 0.00/0.01 -> Rules: 0.00/0.01 append(@l1:S,@l2:S) -> append#1(@l1:S,@l2:S) 0.00/0.01 append#1(::(@x:S,@xs:S),@l2:S) -> ::(@x:S,append(@xs:S,@l2:S)) 0.00/0.01 append#1(nil,@l2:S) -> @l2:S 0.00/0.01 appendAll(@l:S) -> appendAll#1(@l:S) 0.00/0.01 appendAll#1(::(@l1:S,@ls:S)) -> append(@l1:S,appendAll(@ls:S)) 0.00/0.01 appendAll#1(nil) -> nil 0.00/0.01 appendAll2(@l:S) -> appendAll2#1(@l:S) 0.00/0.01 appendAll2#1(::(@l1:S,@ls:S)) -> append(appendAll(@l1:S),appendAll2(@ls:S)) 0.00/0.02 appendAll2#1(nil) -> nil 0.00/0.02 appendAll3(@l:S) -> appendAll3#1(@l:S) 0.00/0.02 appendAll3#1(::(@l1:S,@ls:S)) -> append(appendAll2(@l1:S),appendAll3(@ls:S)) 0.00/0.02 appendAll3#1(nil) -> nil 0.00/0.02 ->Strongly Connected Components: 0.00/0.02 There is no strongly connected component 0.00/0.02 0.00/0.02 The problem is finite. 0.00/0.02 0.00/0.02 Problem 1.4: 0.00/0.02 0.00/0.02 Subterm Processor: 0.00/0.02 -> Pairs: 0.00/0.02 APPENDALL3(@l:S) -> APPENDALL3#1(@l:S) 0.00/0.02 APPENDALL3#1(::(@l1:S,@ls:S)) -> APPENDALL3(@ls:S) 0.00/0.02 -> Rules: 0.00/0.02 append(@l1:S,@l2:S) -> append#1(@l1:S,@l2:S) 0.00/0.02 append#1(::(@x:S,@xs:S),@l2:S) -> ::(@x:S,append(@xs:S,@l2:S)) 0.00/0.02 append#1(nil,@l2:S) -> @l2:S 0.00/0.02 appendAll(@l:S) -> appendAll#1(@l:S) 0.00/0.02 appendAll#1(::(@l1:S,@ls:S)) -> append(@l1:S,appendAll(@ls:S)) 0.00/0.02 appendAll#1(nil) -> nil 0.00/0.02 appendAll2(@l:S) -> appendAll2#1(@l:S) 0.00/0.02 appendAll2#1(::(@l1:S,@ls:S)) -> append(appendAll(@l1:S),appendAll2(@ls:S)) 0.00/0.02 appendAll2#1(nil) -> nil 0.00/0.02 appendAll3(@l:S) -> appendAll3#1(@l:S) 0.00/0.02 appendAll3#1(::(@l1:S,@ls:S)) -> append(appendAll2(@l1:S),appendAll3(@ls:S)) 0.00/0.02 appendAll3#1(nil) -> nil 0.00/0.02 ->Projection: 0.00/0.02 pi(APPENDALL3) = 1 0.00/0.02 pi(APPENDALL3#1) = 1 0.00/0.02 0.00/0.02 Problem 1.4: 0.00/0.02 0.00/0.02 SCC Processor: 0.00/0.02 -> Pairs: 0.00/0.02 APPENDALL3(@l:S) -> APPENDALL3#1(@l:S) 0.00/0.02 -> Rules: 0.00/0.02 append(@l1:S,@l2:S) -> append#1(@l1:S,@l2:S) 0.00/0.02 append#1(::(@x:S,@xs:S),@l2:S) -> ::(@x:S,append(@xs:S,@l2:S)) 0.00/0.02 append#1(nil,@l2:S) -> @l2:S 0.00/0.02 appendAll(@l:S) -> appendAll#1(@l:S) 0.00/0.02 appendAll#1(::(@l1:S,@ls:S)) -> append(@l1:S,appendAll(@ls:S)) 0.00/0.02 appendAll#1(nil) -> nil 0.00/0.02 appendAll2(@l:S) -> appendAll2#1(@l:S) 0.00/0.02 appendAll2#1(::(@l1:S,@ls:S)) -> append(appendAll(@l1:S),appendAll2(@ls:S)) 0.00/0.02 appendAll2#1(nil) -> nil 0.00/0.02 appendAll3(@l:S) -> appendAll3#1(@l:S) 0.00/0.02 appendAll3#1(::(@l1:S,@ls:S)) -> append(appendAll2(@l1:S),appendAll3(@ls:S)) 0.00/0.02 appendAll3#1(nil) -> nil 0.00/0.02 ->Strongly Connected Components: 0.00/0.02 There is no strongly connected component 0.00/0.02 0.00/0.02 The problem is finite. 0.00/0.02 EOF