cover.koat

loading
details
attribute value
description
owner Johannes Waldmann
uploaded 2017-08-17 03:45:04.0
disk size 50.01 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)
(RULES
  f11(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f13(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 0 >= A
  f11(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f13(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: A >= 2
  f13(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f15(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 1 >= A
  f13(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f15(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: A >= 3
  f15(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f17(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 2 >= A
  f15(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f17(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: A >= 4
  f17(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f19(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 3 >= A
  f17(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f19(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: A >= 5
  f19(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f21(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 4 >= A
  f19(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f21(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: A >= 6
  f21(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f23(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 5 >= A
  f21(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f23(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: A >= 7
  f23(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f25(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 6 >= A
  f23(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f25(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: A >= 8
  f25(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f27(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 7 >= A
  f25(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f27(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: A >= 9
  f65(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f67(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 0 >= B
  f65(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f67(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 2
  f67(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f69(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 1 >= B
  f67(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f69(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 3
  f69(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f71(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 2 >= B
  f69(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f71(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 4
  f71(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f73(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 3 >= B
  f71(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f73(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 5
  f73(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f75(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 4 >= B
  f73(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f75(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 6
  f75(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f77(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 5 >= B
  f75(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f77(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 7
  f77(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f79(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 6 >= B
  f77(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f79(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 8
  f79(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f81(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 7 >= B
  f79(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f81(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 9
  f81(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f83(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 8 >= B
  f81(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f83(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 10
  f83(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f85(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 9 >= B
  f83(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f85(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 11
  f85(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f87(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 10 >= B
  f85(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f87(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 12
  f87(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f89(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 11 >= B
  f87(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f89(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 13
  f89(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f91(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 12 >= B
  f89(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f91(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 14
  f91(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f93(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 13 >= B
  f91(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f93(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 15
  f93(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f95(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 14 >= B
  f93(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f95(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 16
  f95(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f97(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 15 >= B
  f95(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f97(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 17
  f97(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f99(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 16 >= B
  f97(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f99(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 18
  f99(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f101(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 17 >= B
  f99(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f101(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 19
  f101(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f103(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 18 >= B
  f101(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f103(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 20
  f103(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f105(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 19 >= B
  f103(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f105(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 21
  f105(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f107(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 20 >= B
  f105(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f107(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 22
  f107(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f109(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 21 >= B
  f107(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f109(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 23
  f109(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f111(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 22 >= B
  f109(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f111(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 24
  f111(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f113(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 23 >= B
  f111(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f113(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 25
  f113(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f115(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 24 >= B
  f113(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f115(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 26
  f115(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f117(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 25 >= B
  f115(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f117(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 27
  f117(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f119(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 26 >= B
  f117(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f119(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 28
  f119(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f121(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 27 >= B
  f119(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f121(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 29
  f121(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f123(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 28 >= B
  f121(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f123(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 30
  f123(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f125(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 29 >= B
  f123(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f125(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 31
  f125(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f127(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 30 >= B
  f125(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f127(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 32
  f127(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f129(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 31 >= B
  f127(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f129(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 33
  f129(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f131(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 32 >= B
  f129(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f131(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 34
  f131(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f133(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 33 >= B
  f131(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f133(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 35
  f133(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f135(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 34 >= B
  f133(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f135(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 36
  f135(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f137(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 35 >= B
  f135(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f137(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 37
  f137(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f139(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 36 >= B
  f137(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f139(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 38
  f139(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f141(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 37 >= B
  f139(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f141(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 39
  f141(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f143(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 38 >= B
  f141(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f143(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 40
  f143(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f145(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: 39 >= B
  f143(A,B,C,D,E,F,G,H,I,J,K,L,M) -> Com_1(f145(A,B,C,D,E,F,G,H,I,J,K,L,M)) :|: B >= 41
popout

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

actions get anonymous link download benchmark