Benchmarks and examples

One goal of this project is to collect examples and benchmarks (in a common format).

We have already collected some examples form the literature. They can be found in the following project:

https://sourceforge.net/p/citlab/code/HEAD/tree/trunk/citlab.benchmarks/

A list of examples of unconstrained problems with some data can be found in Benchmarksunconstrained

A list of examples with constraints together with the test generation data for the test generators supported by Citlab (ACTS, CASA, and medici) can be found (depending on the date when we ran the experiments) here:

BenchmarksConstraints_2013_06_26