NestedSingle.koat

details

attribute	value
description
owner	Johannes Waldmann
uploaded	2017-08-17 03:45:03.0
disk size	1 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 evalNestedSinglestart))
(VAR A B C D)
(RULES
  evalNestedSinglestart(A,B,C) -> Com_1(evalNestedSingleentryin(A,B,C))
  evalNestedSingleentryin(A,B,C) -> Com_1(evalNestedSinglebb5in(0,B,C))
  evalNestedSinglebb5in(A,B,C) -> Com_1(evalNestedSinglebb2in(A,B,A)) :|: B >= A + 1
  evalNestedSinglebb5in(A,B,C) -> Com_1(evalNestedSinglereturnin(A,B,C)) :|: A >= B
  evalNestedSinglebb2in(A,B,C) -> Com_1(evalNestedSinglebb4in(A,B,C)) :|: C >= B
  evalNestedSinglebb2in(A,B,C) -> Com_1(evalNestedSinglebb3in(A,B,C)) :|: B >= C + 1
  evalNestedSinglebb3in(A,B,C) -> Com_1(evalNestedSinglebb1in(A,B,C)) :|: 0 >= D + 1
  evalNestedSinglebb3in(A,B,C) -> Com_1(evalNestedSinglebb1in(A,B,C)) :|: D >= 1
  evalNestedSinglebb3in(A,B,C) -> Com_1(evalNestedSinglebb4in(A,B,C))
  evalNestedSinglebb1in(A,B,C) -> Com_1(evalNestedSinglebb2in(A,B,C + 1))
  evalNestedSinglebb4in(A,B,C) -> Com_1(evalNestedSinglebb5in(C + 1,B,C))
  evalNestedSinglereturnin(A,B,C) -> Com_1(evalNestedSinglestop(A,B,C))
)

popout

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

actions get anonymous link download benchmark