This pages has several examples which demonstrate the different features of the solver:

• Comparison of Series output with RAML
• Cost Analysis of Java Bytecode
• Basic examples

Comparison of Series output with RAML

All examples are taken from the examples of RAML Prototype Implementation (http://raml.tcs.ifi.lmu.de/prototype). The cost model of these examples are the number of ticks of a specific program point. The corresponding CES file is generated manually.

appendall.ces	: generated from appendall.raml : Outputs appendall.result
bitvectors.ces	: generated from bitvectors.raml : Outputs bitvectors.result
cleavermmult.ces	: generated from cleavermmult.raml : Outputs cleavermmult.result
duplicates.ces	: generated from duplicates.raml : Outputs duplicates.result
dyade.ces	: generated from dyade.raml : Outputs dyade.result
eratosthenes.ces	: generated from eratosthenes.raml : Outputs eratosthenes.result
insertionsort.ces	: generated from insertionsort.raml : Outputs insertionsort.result
lcs.ces	: generated from lcs.raml : Outputs lcs.result
listsort.ces	: generated from listsort.raml : Outputs listsort.result
matrix.ces	: generated from matrix.raml : Outputs matrix.result
mergesort.ces	: generated from mergesort.raml : Outputs mergesort.result
minsort.ces	: generated from minsort.raml : Outputs minsort.result
quicksort.ces	: generated from quicksort.raml : Outputs quicksort.result
rationalPotential.ces	: generated from rationalPotential.raml : Outputs rationalPotential.result

Cost Analysis of Java Bytecode

This set of examples were obtained by cost analysis of Java Bytecode.

ArrayReverse.ces	: generated from ArrayReverse.java
BST.ces	: generated from BST.java
Concat.ces	: generated from Concat.java
Cons.ces	: generated from Cons.java
Delete.ces	: generated from Delete.java
DetEval.ces	: generated from DetEval.java
DivByTwo.ces	: generated from DivByTwo.java
EvenDigits.ces	: generated from EvenDigits.java
EvenDigitsNew.ces
FactSum.ces	: generated from FactSum.java
FactSumNew.ces
Factorial.ces	: generated from Factorial.java
Fibonacci.ces	: generated from Fibonacci.java
FibonacciNew.ces
Hanoi.ces	: generated from Hanoi.java
Incr.ces	: generated from Incr.java
LinEqSolve.ces	: generated from LinearEq.java
ListInter.ces	: generated from ListInter.java
ListReverse.ces	: generated from ListReverse.java
MatMult.ces	: generated from MatMult.java
Matrixinverse.ces	: generated from Inverse.java
MergeList.ces	: generated from MergeList.java
Polynomial.ces	: generated from Polynomial.java
Power.ces	: generated from Power.java
SelectOrd.ces	: generated from SelectOrd.java
ms.ces

Basic examples

This set of examples consists of cost relations with different kind of complexities.

ack.ces
direct_n_log_n.ces
divide_and_conquer.ces
exponential.ces
linear.ces
logarithmic.ces
merge.ces
ms.ces
mspe.ces
n_log_n.ces
no_cover_point.ces
quadratic.ces