programs/fib-clash2-cbne.cbv:
Result:
26
Output Entity: standard-out
7,5,3,1,2,4,2,3,1,2,6,4,2,3,1,2,5,3,1,2,4,2,3,1,2
programs/ct-eval.cbv:
Result:
0
programs/ast-output.cbv:
Result:
3
Output Entity: standard-out
3
programs/ast-app.cbv:
Result:
7
programs/mp6.cbv:
Result:
42
programs/letdown-product-static.cbv:
Result:
24
programs/mp3.cbv:
Result:
5
Output Entity: standard-out
5
programs/fib-const-cbne.cbv:
Result:
42
programs/fib-double-cbne.cbv:
Result:
26
Output Entity: standard-out
7,5,3,1,2,4,2,3,1,2,6,4,2,3,1,2,5,3,1,2,4,2,3,1,2
programs/basics2.cbv:
Result:
5
programs/comparison1b.cbv:
Result:
14
Output Entity: standard-out
1,0,1,0
programs/mp4.cbv:
Result:
10
programs/fib-double-cbv2.cbv:
Result:
26
Output Entity: standard-out
7,5,3,1,2,4,2,3,1,2,6,4,2,3,1,2,5,3,1,2,4,2,3,1,2
programs/fib-clash2-cbna2.cbv:
Result:
26
Output Entity: standard-out
7,5,3,1,2,4,2,3,1,2,6,4,2,3,1,2,5,3,1,2,4,2,3,1,2,7,5,3,1,2,4,2,3,1,2,6,4,2,3,1,2,5,3,1,2,4,2,3,1,2
programs/comparison1c.cbv:
Result:
14
Output Entity: standard-out
1,0
programs/ast-from-downml.cbv:
Result:
astv(integer-add,astv(naturals,3),astv(naturals,4))
programs/fib-clash-cbna.cbv:
Result:
26
Output Entity: standard-out
7,5,3,1,2,4,2,3,1,2,6,4,2,3,1,2,5,3,1,2,4,2,3,1,2,7,5,3,1,2,4,2,3,1,2,6,4,2,3,1,2,5,3,1,2,4,2,3,1,2
programs/comparison2a.cbv:
Result:
28
Output Entity: standard-out
3,3,3,3,4,4,4,4
programs/basics4.cbv:
Result:
7
programs/app1.cbv:
Result:
4
programs/fib-clash-cbna2.cbv:
Result:
26
Output Entity: standard-out
7,5,3,1,2,4,2,3,1,2,6,4,2,3,1,2,5,3,1,2,4,2,3,1,2,7,5,3,1,2,4,2,3,1,2,6,4,2,3,1,2,5,3,1,2,4,2,3,1,2
programs/mp5.cbv:
Result:
astv(give,astv(give,astv(structural-assigned,astv(bound-value,astv(algebraic-datatypes,"plus"))),astv(apply,astv(given),astv(tuple,astv(give,astv(give,astv(structural-assigned,astv(bound-value,astv(algebraic-datatypes,"plus"))),astv(apply,astv(given),astv(tuple,astv(give,astv(give,astv(structural-assigned,astv(bound-value,astv(algebraic-datatypes,"plus"))),astv(apply,astv(given),astv(tuple,astv(naturals,1),astv(given)))),astv(apply,astv(given),astv(tuple,astv(structural-assigned,astv(bound-value,astv(algebraic-datatypes,"x"))),astv(given)))),astv(given)))),astv(apply,astv(given),astv(tuple,astv(structural-assigned,astv(bound-value,astv(algebraic-datatypes,"x"))),astv(given)))),astv(given)))),astv(apply,astv(given),astv(tuple,astv(structural-assigned,astv(bound-value,astv(algebraic-datatypes,"x"))),astv(given))))
programs/ast-lam.cbv:
Result:
42
programs/mp2.cbv:
Result:
astv(give,astv(give,astv(structural-assigned,astv(bound-value,astv(algebraic-datatypes,"plus"))),astv(apply,astv(given),astv(tuple,astv(naturals,3),astv(given)))),astv(apply,astv(given),astv(tuple,astv(naturals,2),astv(given))))
programs/ast-from-downml2.cbv:
Result:
7
programs/ast-let-product-dynamic.cbv:
Result:
15
programs/comparison2b.cbv:
Result:
24
Output Entity: standard-out
3,3
programs/let-product-dynamic.cbv:
Result:
15
programs/basics3.cbv:
Result:
6
programs/fib-const-cbna.cbv:
Result:
42
programs/app3.cbv:
Result:
42
programs/fib-double-cbv.cbv:
Result:
26
Output Entity: standard-out
7,5,3,1,2,4,2,3,1,2,6,4,2,3,1,2,5,3,1,2,4,2,3,1,2
programs/fib-const-cbv.cbv:
Result:
42
Output Entity: standard-out
7,5,3,1,2,4,2,3,1,2,6,4,2,3,1,2,5,3,1,2,4,2,3,1,2
programs/ast-app2.cbv:
Result:
7
programs/ast-let-product-static.cbv:
Result:
15
programs/fib-clash2-cbna.cbv:
Result:
13
Output Entity: standard-out
7,5,3,1,2,4,2,3,1,2,6,4,2,3,1,2,5,3,1,2,4,2,3,1,2
programs/comparison1a.cbv:
Result:
14
Output Entity: standard-out
2,1,0,3,2,1,0
programs/letdown1.cbv:
Result:
astv(asts,astv(naturals,2))
programs/fib-double-cbna.cbv:
Result:
26
Output Entity: standard-out
7,5,3,1,2,4,2,3,1,2,6,4,2,3,1,2,5,3,1,2,4,2,3,1,2,7,5,3,1,2,4,2,3,1,2,6,4,2,3,1,2,5,3,1,2,4,2,3,1,2
programs/curry.cbv:
Result:
5
programs/app2.cbv:
Result:
7
programs/basics1.cbv:
Result:
3
programs/mp1.cbv:
Result:
astv(naturals,7)
Output Entity: standard-out
2