This folder contains input data for the main program.

Unfortunately, the naming convention of each of the files is swapped with the
convention taken for the order of the inputs/outputs in the main program. I.e.,
each of the files is named as

    [A INPUT #][B INPUT #][A OUTPUT #][B OUTPUT #]_inq.txt

whereas in the main program (and source code, etc.) the outputs are considered
before the inputs. Because the input files are produced separately, this naming
convention was preserved.

For [2222_inq.txt], [3322_inq.txt], [3233_inq.txt], and [3332_inq.txt], the
results are known, such that these files function as control/ground truths.
Concretely:

    [2222_inq.txt]: 2 non-equivalences
    [3322_inq.txt]: 3 non-equivalences
    [3332_inq.txt]: 25 non-equivalences
    [3233_inq.txt]: 38 non-equivalences

The actual non-equivalences for which the program has been successfully ran can
be found in [data/output].
