complex.koat

details

attribute	value
description
owner	Johannes Waldmann
uploaded	2017-08-17 03:45:03.0
disk size	2.15 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

contents

(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS start0))
(VAR A B C D)
(RULES
  start(A,B,C,D) -> Com_1(stop(A,B,C,D)) :|: A >= 30 && B = C && D = A
  start(A,B,C,D) -> Com_1(lbl171(A,B - 10,C,2 + D)) :|: C >= A && 29 >= A && B = C && D = A
  start(A,B,C,D) -> Com_1(lbl151(A,7 + B,C,1 + D)) :|: A >= C + 1 && C >= 6 && 29 >= A && B = C && D = A
  start(A,B,C,D) -> Com_1(lbl151(A,2 + B,C,1 + D)) :|: A >= C + 1 && 5 >= C && 29 >= A && B = C && D = A
  lbl171(A,B,C,D) -> Com_1(stop(A,B,C,D)) :|: D >= 30 && 29 >= A && 5*D + B >= 5*A + C && 7*D + C >= B + 7*A + 24 && 7*B + 1674 >= 19*D + 35*A + 7*C && B + 12 >= D
  lbl171(A,B,C,D) -> Com_1(lbl171(A,B - 10,C,2 + D)) :|: B >= D && 29 >= D && 29 >= A && 5*D + B >= 5*A + C && 7*D + C >= B + 7*A + 24 && 7*B + 1674 >= 19*D + 35*A + 7*C && B + 12 >= D
  lbl171(A,B,C,D) -> Com_1(lbl151(A,7 + B,C,1 + D)) :|: D >= B + 1 && B >= 6 && 29 >= D && 29 >= A && 5*D + B >= 5*A + C && 7*D + C >= B + 7*A + 24 && 7*B + 1674 >= 19*D + 35*A + 7*C && B + 12 >= D
  lbl171(A,B,C,D) -> Com_1(lbl151(A,2 + B,C,1 + D)) :|: D >= B + 1 && 5 >= B && 29 >= D && 29 >= A && 5*D + B >= 5*A + C && 7*D + C >= B + 7*A + 24 && 7*B + 1674 >= 19*D + 35*A + 7*C && B + 12 >= D
  lbl151(A,B,C,D) -> Com_1(lbl171(A,B - 10,C,2 + D)) :|: B >= D && 6*D >= 5*A + C + 7 && 5*D + B >= 5*A + C + 7 && D >= A + 1 && 29 >= A && B + 203 >= 2*D + 5*A + C && 2*B + 1561 >= 14*D + 35*A + 7*C && 140*D + 23*B >= 140*A + 28*C + 161 && 23*B + 5719 >= 56*D + 140*A + 28*C && D + 5 >= B && 7*D + C >= B + 7*A
  lbl151(A,B,C,D) -> Com_1(lbl151(A,7 + B,C,1 + D)) :|: D >= B + 1 && B >= 6 && 6*D >= 5*A + C + 7 && 5*D + B >= 5*A + C + 7 && D >= A + 1 && 29 >= A && B + 203 >= 2*D + 5*A + C && 2*B + 1561 >= 14*D + 35*A + 7*C && 140*D + 23*B >= 140*A + 28*C + 161 && 23*B + 5719 >= 56*D + 140*A + 28*C && D + 5 >= B && 7*D + C >= B + 7*A
  lbl151(A,B,C,D) -> Com_1(lbl151(A,2 + B,C,1 + D)) :|: D >= B + 1 && 5 >= B && 6*D >= 5*A + C + 7 && 5*D + B >= 5*A + C + 7 && D >= A + 1 && 29 >= A && B + 203 >= 2*D + 5*A + C && 2*B + 1561 >= 14*D + 35*A + 7*C && 140*D + 23*B >= 140*A + 28*C + 161 && 23*B + 5719 >= 56*D + 140*A + 28*C && D + 5 >= B && 7*D + C >= B + 7*A
  start0(A,B,C,D) -> Com_1(start(A,C,C,A))
)

popout

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

actions get anonymous link download benchmark