fun1b.koat

loading
details
attribute value
description
owner Johannes Waldmann
uploaded 2017-08-17 03:45:03.0
disk size 3.46 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 f0))
(VAR A B C D E F G H I J K L M N O P Q)
(RULES
  f0(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O))
  f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f7(A - 1,1,D,D,F,F,Q,P,0,1,Q,P,7,N,O)) :|: A >= 1 && 7 >= P && 7 >= Q && 3 >= P && P >= 1 && Q >= 1
  f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f7(A,1,D,D,F,F,Q,P,0,1,Q,P,7,N,O)) :|: 7 >= P && 7 >= Q && P >= 5 && Q >= 1
  f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f7(A,1,D + 1,D + 1,F + 1,F + 1,Q,4,1,1,Q,4,7,N,O)) :|: 7 >= Q && Q >= 1
  f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f2(A,0,D,D,F,F,3,Q,0,0,3,Q,2,N,O)) :|: 7 >= Q && 3 >= Q && Q >= 1
  f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f2(A,0,D,D,F,F,3,Q,0,0,3,Q,2,N,O)) :|: 7 >= Q && Q >= 5
  f1(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f2(A,0,D + 1,D + 1,F + 1,F + 1,3,4,1,0,3,4,2,N,O))
  f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f7(A,1,D,D,F,F,Q,P,I,1,Q,P,7,N,O)) :|: 7 >= P && 7 >= Q && 3 >= P && P >= 1 && Q >= 1
  f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f7(A,1,D,D,F,F,Q,P,I,1,Q,P,7,N,O)) :|: 7 >= P && 7 >= Q && P >= 5 && Q >= 1
  f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f7(A,1,D + 1,D + 1,F + 1,F + 1,Q,4,1,1,Q,4,7,N,O)) :|: 7 >= Q && Q >= 1
  f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f3(A,0,D,D,F,F,Q,P,I,0,Q,P,3,N,O)) :|: 7 >= P && 7 >= Q && 3 >= P && P >= 1 && Q >= 1
  f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f3(A,0,D,D,F,F,Q,P,I,0,Q,P,3,N,O)) :|: 7 >= P && 7 >= Q && P >= 5 && Q >= 1
  f2(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f3(A,0,D + 1,D + 1,F + 1,F + 1,Q,4,1,0,Q,4,3,N,O)) :|: 7 >= Q && Q >= 1
  f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f6(A,1,D,D,F,F,Q,P,I,1,Q,P,6,N,O)) :|: 7 >= P && 7 >= Q && 3 >= P && P >= 1 && Q >= 1
  f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f6(A,1,D,D,F,F,Q,P,I,1,Q,P,6,N,O)) :|: 7 >= P && 7 >= Q && P >= 5 && Q >= 1
  f3(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f6(A,1,D + 1,D + 1,F + 1,F + 1,Q,4,1,1,Q,4,6,N,O)) :|: 7 >= Q && Q >= 1
  f6(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f4(A,1,D,D,F,F,Q,2,0,1,Q,2,4,N,O)) :|: Q >= 1 && 7 >= Q
  f6(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f4(A,Q,D,D,F,F,P,7,1,Q,P,7,4,N,O)) :|: 7 >= P && 1 >= Q && Q >= 0 && P >= 1 && I = 1
  f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f2(A,0,D,D,F,F,Q,P,1,0,Q,P,2,N,O)) :|: N >= 1 && N >= F + 1 && O >= 1 && O >= D + 1 && 7 >= P && 7 >= Q && 3 >= P && P >= 1 && Q >= 1 && I = 1
  f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f2(A,0,D,D,F,F,Q,P,1,0,Q,P,2,N,O)) :|: N >= 1 && N >= F + 1 && O >= 1 && O >= D + 1 && 7 >= P && 7 >= Q && P >= 5 && Q >= 1 && I = 1
  f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f2(A,0,D + 1,D + 1,F + 1,F + 1,Q,4,1,0,Q,4,2,N,O)) :|: N >= F + 2 && O >= D + 2 && N >= 1 && O >= 1 && 7 >= Q && Q >= 1
  f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f7(A,0,D,D,F,F,Q,P,I,0,Q,P,7,N,O)) :|: F >= N && D >= O && 7 >= P && 7 >= Q && 3 >= P && P >= 1 && Q >= 1
  f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f7(A,0,D,D,F,F,Q,P,I,0,Q,P,7,N,O)) :|: F >= N && D >= O && 7 >= P && 7 >= Q && P >= 5 && Q >= 1
  f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f7(A,0,D + 1,D + 1,F + 1,F + 1,Q,4,1,0,Q,4,7,N,O)) :|: F + 1 >= N && D + 1 >= O && 7 >= Q && Q >= 1
  f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f7(A,1,D,D,F,F,Q,P,I,1,Q,P,7,N,O)) :|: 7 >= P && 7 >= Q && 3 >= P && P >= 1 && Q >= 1
  f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f7(A,1,D,D,F,F,Q,P,I,1,Q,P,7,N,O)) :|: 7 >= P && 7 >= Q && P >= 5 && Q >= 1
  f4(A,B,C,D,E,F,G,H,I,J,K,L,M,N,O) -> Com_1(f7(A,1,D + 1,D + 1,F + 1,F + 1,Q,4,1,1,Q,4,7,N,O)) :|: 7 >= Q && Q >= 1
)
popout

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

actions get anonymous link download benchmark