Test Files


The file tests.tar.gz contains the following files and directories.

README     This file.
adder/     Contains ripple carry adder diagnosis examples,
           the inputs and outputs are set to zero and the carry is
           set to one.
benchmark/ Some simple benchmark programs.
easy/      Small Hamiltonian circuit and three coloring examples.
parity/    Diagnosis examples of parity circuits, inputs zero and
           output one.
winmove/   Some winmove examples.


The files t<n>phc, where <n> is an integer, contain sets of rules
whose stable models are directed Hamiltonian circuits of planar graphs
with <n> vertexes, i.e., to each Hamiltonian circuit in the graph
correspond two directed ones. The graphs were created by Delaunay
triangulation of randomly inserted points in a plane. The edges are
atoms of the form v<n1>v<n2>, where <n1> and <n2> are integers. For
example, v3v4 means that there is an edge from vertex v3 to vertex
v4. Atoms v1 and v2 correspond to the same vertex in the graph.

The files t<n>lhc contain sets of rules whose stable models are
Hamiltonian circuits of ladder graphs. A ladder graph looks something
like this:
	       o--o--   --o--o
               |  |  ...  |  |
	       |  |   	  |  |
	       o--o--   --o--o


The files t<n>ptc and t<n>ltc contain sets of rules whose stable
models are three colorings of planar and ladder graphs, respectively.