walk.koat

details

attribute	value
description
owner	Akihisa Yamada
uploaded	2020-06-20 22:53:13.0
disk size	883 Bytes
downloadable	true

type

attribute	value
name	no_type
processor id	1
description	this is the default benchmark type for rejected benchmarks and benchmarks that are not associated with a type.
owning community	none

contents

(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f22))
(VAR A B C D E F G H I J K L M N O P Q)
(RULES
  f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f17(A,Q,C,1 + D,P,F,G,H,I,J,K,L,M,N,O)) :|: A >= B + 1 && C >= 0 && D >= 0
  f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f17(A,Q,C,1 + D,P,F,G,H,I,J,K,L,M,N,O)) :|: B >= A + 1 && C >= 0 && D >= 0
  f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f17(A,Q,C,1,P,F,G,H,I,J,K,L,M,N,O)) :|: F >= 0 && A >= B + 1
  f18(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f17(A,Q,C,1,P,F,G,H,I,J,K,L,M,N,O)) :|: F >= 0 && B >= A + 1
  f17(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f20(B,B,C,D,E,F,P,H,I,J,K,L,M,N,O)) :|: C >= 0 && D >= 0 && B = A
  f22(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f18(A,H,C,D,E,F,Q,H,2,P,P,P,P,3,0)) :|: A >= H + 1 && F >= 0
  f22(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f18(A,H,C,D,E,F,Q,H,2,P,P,P,P,3,0)) :|: H >= A + 1 && F >= 0
)

popout

content may be truncated. 'popout' for larger text window.

actions get anonymous link download benchmark