Added extra data files

data/README

@@ -0,0 +1,23 @@
+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].

data/output/2222_inq.out

@@ -0,0 +1,2 @@
+0, 0, 0, -1, 0, 0, 0, 0, 0
+-1, -1, -1, 1, 1, 0, 1, 0, -1

data/output/3322_inq.out

@@ -0,0 +1,3 @@
+-1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
+-1, -1, -1, -1, -1, 1, -1, 1, 0, 1, 0, 0, 1, 0, 0, -1
+-1, -1, 0, -1, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, -1