create_via_tmps.koat

loading
details
attribute value
description
owner Johannes Waldmann
uploaded 2017-08-17 03:45:04.0
disk size 3.29 KB
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
loading contents 
(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f3))
(VAR A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A1 B1 C1 D1 E1 F1 G1 H1)
(RULES
  f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> Com_1(f1(A,1 + B,D,B1,Y,Z,A1,C1,D1,E1,D,F1,B,N,O,P,Q,R,S,T,U,V,W,X)) :|: A >= B + 1 && B >= 0
  f9(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> Com_1(f10(A1,Z,Y,D,E,F,G,H,I,J,Y,L,M,N,O,0,Y,0,Y,N,U,V,W,X)) :|: B1 >= N + 1 && O >= 0 && A1 >= 2 && Z >= A1 && Y >= B1 + 1 && P = 0
  f9(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> Com_1(f10(A1,Z,Y,D,E,F,G,H,I,J,Y,L,M,N,O,0,Y,0,Y,N,U,V,W,X)) :|: B1 >= N + 1 && O >= 0 && A1 >= 2 && Z >= A1 && B1 >= Y + 1 && P = 0
  f9(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> Com_1(f10(A1,Z,Y,D,E,F,G,H,I,J,Y,L,M,N,O,0,Y,0,Y,N,U,V,W,X)) :|: N >= B1 + 1 && O >= 0 && A1 >= 2 && Z >= A1 && Y >= B1 + 1 && P = 0
  f9(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> Com_1(f10(A1,Z,Y,D,E,F,G,H,I,J,Y,L,M,N,O,0,Y,0,Y,N,U,V,W,X)) :|: N >= B1 + 1 && O >= 0 && A1 >= 2 && Z >= A1 && B1 >= Y + 1 && P = 0
  f9(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> Com_1(f4(E1,D1,F1,D,E,F,G,H,G1,J,K,L,M,C1,O,B1,Y,Z,A1,H1,U,V,W,X)) :|: O >= 0 && E1 >= 2 && D1 >= E1 && 0 >= F1 + 1 && P = N
  f9(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> Com_1(f4(E1,D1,F1,D,E,F,G,H,G1,J,K,L,M,C1,O,B1,Y,Z,A1,H1,U,V,W,X)) :|: O >= 0 && E1 >= 2 && D1 >= E1 && F1 >= 1 && P = N
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> Com_1(f10(A1,Z,Y,D,E,F,G,H,I,J,Y,L,M,N,O,0,Y,0,Y,N,-1 + U,B1,-1 + U,X)) :|: C1 >= N + 1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= C1 + 1 && P = 0
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> Com_1(f10(A1,Z,Y,D,E,F,G,H,I,J,Y,L,M,N,O,0,Y,0,Y,N,-1 + U,B1,-1 + U,X)) :|: C1 >= N + 1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= Y + 1 && P = 0
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> Com_1(f10(A1,Z,Y,D,E,F,G,H,I,J,Y,L,M,N,O,0,Y,0,Y,N,-1 + U,B1,-1 + U,X)) :|: N >= C1 + 1 && U >= 0 && A1 >= 2 && Z >= A1 && Y >= C1 + 1 && P = 0
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> Com_1(f10(A1,Z,Y,D,E,F,G,H,I,J,Y,L,M,N,O,0,Y,0,Y,N,-1 + U,B1,-1 + U,X)) :|: N >= C1 + 1 && U >= 0 && A1 >= 2 && Z >= A1 && C1 >= Y + 1 && P = 0
  f10(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> Com_1(f4(D1,B,C,D,E,F,G,H,E1,J,K,L,M,C1,O,B1,Y,Z,A1,F1,U,V,W,X)) :|: D1 >= 2 && U >= 0 && P = N
  f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> Com_1(f10(Y,U + 1,C,D,E,F,G,H,I,J,C,L,M,C,U,0,C,0,C,C,U,V,W,X)) :|: B >= A && B >= 0 && Z >= Y && Y >= 2 && C >= 1 && 0 >= C + 1
  f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> Com_1(f10(Y,U + 1,C,D,E,F,G,H,I,J,C,L,M,C,U,0,C,0,C,C,U,V,W,X)) :|: B >= A && B >= 0 && Z >= Y && Y >= 2 && C >= 1
  f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> Com_1(f10(Y,U + 1,C,D,E,F,G,H,I,J,C,L,M,C,U,0,C,0,C,C,U,V,W,X)) :|: B >= A && B >= 0 && Z >= Y && Y >= 2 && 0 >= C + 1
  f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> Com_1(f10(Y,U + 1,C,D,E,F,G,H,I,J,C,L,M,C,U,0,C,0,C,C,U,V,W,X)) :|: B >= A && B >= 0 && Z >= Y && Y >= 2 && 0 >= C + 1 && C >= 1
  f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> Com_1(f4(D1,0,0,D,E,F,G,H,E1,J,K,L,M,C1,O,B1,Y,Z,A1,F1,U,V,W,X)) :|: 0 >= D1 && 0 >= A
  f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T,U,V,W,X) -> Com_1(f1(A,2,Y,C1,Z,A1,B1,D1,E1,F1,Y,L,M,N,O,P,Q,R,S,T,U,V,W,G1)) :|: A >= 2
)
popout

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

actions get anonymous link download benchmark