Benchmarkgenerator

This is a generator for ASP benchmarks. It randomly generates logic programs for a given set of parameters. It is written for eclipse-prolog.

You can simply use it: open eclipse, load bench.pl via [bench]. and then state e.g. generate(10, 50, "fileprefix"). This example generates 10 programs with each 50 Atoms and saves them as fileprefix1.pl ... fileprefix10.pl.

The default parameters lead to mostly unsatisfiable logic programs. You may also change some parameters with set_pp/1, set_pn/1, set_d/1 or set_cs/1.

Warning: Some combinations of parameters, number of instances and number of atoms may lead to the message 'disk quota exceeded'.

Note: The prolog sources partially base upon the benchmark generator for ASP - Kathrin Konczak

Benchmarkgenerator: bench.tar.gz

Instances

The following file contains a suite of benchmarks created with Benchmarkgenerator. There are benchmarks with different numbers of atoms. Some of them are satisfiable and some of them are not.
RandomNonTightBenchmarks.tar.bz2

One may reproduce similar files with the parameters given in the following file. Using these parameters will lead to about 50% satfiable and 50% unsatisfiable instances.
smodels_sat_unsat.pl