These examples are about computing Reiter-style minimal diagnoses
for a given digital circuit. Each instance is encoded as a parallel 
circumscription. 

The instances are produced as follows. First a random tree is
generated using the inverse Pruefer algorithm. The leaves of the tree 
corresponding to the inputs of the digita circuit, are assigned
random boolean values while intermediate nodes are assigned random
logical operations corresponding to the gates of the circuit. The
gate at root node of the tree produces the output of the circuit. The
value of the output is calculated and swapped in order to obtain
faulty behaviour for the circuit.

The number of nodes in tree forming the digital circuit grows from 5 to 20. 
Second parameter gives the number of minimal diagnosis that explain 
the discrepancy between the observations and the correct behaviour of the 
circuit (i.e. the number of stable models). 

