loop3.koat

loading
details
attribute value
description
owner Johannes Waldmann
uploaded 2017-08-17 03:45:03.0
disk size 12.61 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)
(RULES
  f0(A,B,C) -> Com_1(f154(0,2,0))
  f154(A,B,C) -> Com_1(f154(A + C,B,C + 1)) :|: 2 >= C
  f160(A,B,C) -> Com_1(f160(A + C,B,C + 1)) :|: 3 >= C
  f166(A,B,C) -> Com_1(f166(A + C,B,C + 1)) :|: 2 >= C
  f172(A,B,C) -> Com_1(f172(A + C,B,C + 1)) :|: 3 >= C
  f180(A,B,C) -> Com_1(f180(A + C,B,C + 1)) :|: 1 >= C
  f186(A,B,C) -> Com_1(f186(A + C,B,C + 1)) :|: 2 >= C
  f192(A,B,C) -> Com_1(f192(A + C,B,C + 1)) :|: 1 >= C
  f198(A,B,C) -> Com_1(f198(A + C,B,C + 1)) :|: 2 >= C
  f206(A,B,C) -> Com_1(f206(A + C,B,C + 1)) :|: 0 >= 3 + C
  f212(A,B,C) -> Com_1(f212(A + C,B,C + 1)) :|: 0 >= 2 + C
  f218(A,B,C) -> Com_1(f218(A + C,B,C + 1)) :|: 0 >= 3 + C
  f224(A,B,C) -> Com_1(f224(A + C,B,C + 1)) :|: 0 >= 2 + C
  f232(A,B,C) -> Com_1(f232(A + C,B,C + 1)) :|: 0 >= 2 + C
  f238(A,B,C) -> Com_1(f238(A + C,B,C + 1)) :|: 0 >= C + 1
  f244(A,B,C) -> Com_1(f244(A + C,B,C + 1)) :|: 0 >= 2 + C
  f250(A,B,C) -> Com_1(f250(A + C,B,C + 1)) :|: 0 >= C + 1
  f258(A,B,C) -> Com_1(f258(A + C,B,C + 1)) :|: 0 >= C + 1
  f264(A,B,C) -> Com_1(f264(A + C,B,C + 1)) :|: 0 >= C
  f270(A,B,C) -> Com_1(f270(A + C,B,C + 1)) :|: 0 >= C + 1
  f276(A,B,C) -> Com_1(f276(A + C,B,C + 1)) :|: 0 >= C
  f284(A,B,C) -> Com_1(f284(A + C,B,C + 1)) :|: 3 >= C
  f290(A,B,C) -> Com_1(f290(A + C,B,C + 1)) :|: 4 >= C
  f296(A,B,C) -> Com_1(f296(A + C,B,C + 1)) :|: 3 >= C
  f302(A,B,C) -> Com_1(f302(A + C,B,C + 1)) :|: 4 >= C
  f310(A,B,C) -> Com_1(f310(A + C,B,C + B)) :|: 2 >= C
  f316(A,B,C) -> Com_1(f316(A + C,B,C + B)) :|: 3 >= C
  f322(A,B,C) -> Com_1(f322(A + C,B,C + B)) :|: 2 >= C
  f328(A,B,C) -> Com_1(f328(A + C,B,C + B)) :|: 3 >= C
  f336(A,B,C) -> Com_1(f336(A + C,B,C + B)) :|: 1 >= C
  f342(A,B,C) -> Com_1(f342(A + C,B,C + B)) :|: 2 >= C
  f348(A,B,C) -> Com_1(f348(A + C,B,C + B)) :|: 1 >= C
  f354(A,B,C) -> Com_1(f354(A + C,B,C + B)) :|: 2 >= C
  f362(A,B,C) -> Com_1(f362(A + C,B,C + B)) :|: 0 >= 3 + C
  f368(A,B,C) -> Com_1(f368(A + C,B,C + B)) :|: 0 >= 2 + C
  f374(A,B,C) -> Com_1(f374(A + C,B,C + B)) :|: 0 >= 3 + C
  f380(A,B,C) -> Com_1(f380(A + C,B,C + B)) :|: 0 >= 2 + C
  f388(A,B,C) -> Com_1(f388(A + C,B,C + B)) :|: 0 >= 2 + C
  f394(A,B,C) -> Com_1(f394(A + C,B,C + B)) :|: 0 >= C + 1
  f400(A,B,C) -> Com_1(f400(A + C,B,C + B)) :|: 0 >= 2 + C
  f406(A,B,C) -> Com_1(f406(A + C,B,C + B)) :|: 0 >= C + 1
  f414(A,B,C) -> Com_1(f414(A + C,B,C + B)) :|: 0 >= C + 1
  f420(A,B,C) -> Com_1(f420(A + C,B,C + B)) :|: 0 >= C
  f426(A,B,C) -> Com_1(f426(A + C,B,C + B)) :|: 0 >= C + 1
  f432(A,B,C) -> Com_1(f432(A + C,B,C + B)) :|: 0 >= C
  f440(A,B,C) -> Com_1(f440(A + C,B,C + B)) :|: 3 >= C
  f446(A,B,C) -> Com_1(f446(A + C,B,C + B)) :|: 4 >= C
  f452(A,B,C) -> Com_1(f452(A + C,B,C + B)) :|: 3 >= C
  f458(A,B,C) -> Com_1(f458(A + C,B,C + B)) :|: 4 >= C
  f466(A,B,C) -> Com_1(f466(A + C,B,C - 1)) :|: C >= 3
  f472(A,B,C) -> Com_1(f472(A + C,B,C - 1)) :|: C >= 2
  f478(A,B,C) -> Com_1(f478(A + C,B,C - 1)) :|: C >= 3
  f484(A,B,C) -> Com_1(f484(A + C,B,C - 1)) :|: C >= 2
  f492(A,B,C) -> Com_1(f492(A + C,B,C - 1)) :|: C >= 2
  f498(A,B,C) -> Com_1(f498(A + C,B,C - 1)) :|: C >= 1
  f504(A,B,C) -> Com_1(f504(A + C,B,C - 1)) :|: C >= 2
  f510(A,B,C) -> Com_1(f510(A + C,B,C - 1)) :|: C >= 1
  f518(A,B,C) -> Com_1(f518(A + C,B,C - 1)) :|: C >= 1
  f524(A,B,C) -> Com_1(f524(A + C,B,C - 1)) :|: C >= 0
  f530(A,B,C) -> Com_1(f530(A + C,B,C - 1)) :|: C >= 1
  f536(A,B,C) -> Com_1(f536(A + C,B,C - 1)) :|: C >= 0
  f544(A,B,C) -> Com_1(f544(A + C,B,C - 1)) :|: C >= 0
  f550(A,B,C) -> Com_1(f550(A + C,B,C - 1)) :|: C + 1 >= 0
  f556(A,B,C) -> Com_1(f556(A + C,B,C - 1)) :|: C >= 0
  f562(A,B,C) -> Com_1(f562(A + C,B,C - 1)) :|: C + 1 >= 0
  f570(A,B,C) -> Com_1(f570(A + C,B,C - 1)) :|: C + 1 >= 0
  f576(A,B,C) -> Com_1(f576(A + C,B,C - 1)) :|: C + 2 >= 0
  f582(A,B,C) -> Com_1(f582(A + C,B,C - 1)) :|: C + 1 >= 0
  f588(A,B,C) -> Com_1(f588(A + C,B,C - 1)) :|: C + 2 >= 0
  f596(A,B,C) -> Com_1(f596(A + C,B,C - 1)) :|: C + 2 >= 0
  f602(A,B,C) -> Com_1(f602(A + C,B,C - 1)) :|: C + 3 >= 0
  f608(A,B,C) -> Com_1(f608(A + C,B,C - 1)) :|: C + 2 >= 0
  f614(A,B,C) -> Com_1(f614(A + C,B,C - 1)) :|: C + 3 >= 0
  f622(A,B,C) -> Com_1(f622(A + C,B,C - 1)) :|: C + 4 >= 0
  f628(A,B,C) -> Com_1(f628(A + C,B,C - 1)) :|: C + 5 >= 0
  f634(A,B,C) -> Com_1(f634(A + C,B,C - 1)) :|: C + 4 >= 0
  f640(A,B,C) -> Com_1(f640(A + C,B,C - 1)) :|: C + 5 >= 0
  f648(A,B,C) -> Com_1(f648(A + C,B,C - 1)) :|: C + 6 >= 0
  f654(A,B,C) -> Com_1(f654(A + C,B,C - 1)) :|: C + 7 >= 0
  f660(A,B,C) -> Com_1(f660(A + C,B,C - 1)) :|: C + 6 >= 0
  f666(A,B,C) -> Com_1(f666(A + C,B,C - 1)) :|: C + 7 >= 0
  f674(A,B,C) -> Com_1(f674(A + C,B,C - 1)) :|: C + 7 >= 0
  f680(A,B,C) -> Com_1(f680(A + C,B,C - 1)) :|: C + 8 >= 0
  f686(A,B,C) -> Com_1(f686(A + C,B,C - 1)) :|: C + 7 >= 0
  f692(A,B,C) -> Com_1(f692(A + C,B,C - 1)) :|: C + 8 >= 0
  f700(A,B,C) -> Com_1(f700(A + C,B,C - B)) :|: C >= 3
  f706(A,B,C) -> Com_1(f706(A + C,B,C - B)) :|: C >= 2
  f712(A,B,C) -> Com_1(f712(A + C,B,C - B)) :|: C >= 3
  f718(A,B,C) -> Com_1(f718(A + C,B,C - B)) :|: C >= 2
  f726(A,B,C) -> Com_1(f726(A + C,B,C - B)) :|: C >= 2
  f732(A,B,C) -> Com_1(f732(A + C,B,C - B)) :|: C >= 1
  f738(A,B,C) -> Com_1(f738(A + C,B,C - B)) :|: C >= 2
  f744(A,B,C) -> Com_1(f744(A + C,B,C - B)) :|: C >= 1
  f752(A,B,C) -> Com_1(f752(A + C,B,C - B)) :|: C >= 1
  f758(A,B,C) -> Com_1(f758(A + C,B,C - B)) :|: C >= 0
  f764(A,B,C) -> Com_1(f764(A + C,B,C - B)) :|: C >= 1
popout

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

actions get anonymous link download benchmark