Diagnostics

A diagnostic is a (name,value) pair which describes the work carried out by the solver. They have to be written to stdout as a 'd ' line. Each diagnostic is a line of the form 'd NAME value', where NAME is a sequence of letters describing the diagnostic, and value is a sequence of characters defining the its value. The following diagnostics are predefined:

CHECKS:

The total number of consistency checks which have been carried out.

SAC_CHECKS:

The total number of singleton arc consistency checks which have been carried out.

ASSIGNMENTS:

The total number of assignments in the search tree.

Contestants wishing to record other diagnostics than the ones listed before should inform Marc van Dongen (dongen $\left\langle\text{\texttt{at}}\right\rangle$cs.ucc.ie) about the names and nature of the diagnostics.