Compare commits
2 Commits
f87316c84b
...
97ab74bbd0
Author | SHA1 | Date |
---|---|---|
Miguel M | 97ab74bbd0 | |
Miguel M | 0de8561a89 |
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
|
@ -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].
|
|
@ -0,0 +1,2 @@
|
|||
0, 0, 0, -1, 0, 0, 0, 0, 0
|
||||
-1, -1, -1, 1, 1, 0, 1, 0, -1
|
|
@ -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
|
|
@ -302,6 +302,10 @@ int main(int argc, char *argv[]) {
|
|||
while (!a_out_perms[a_out - 1].exhausted) {
|
||||
ResetConditionalPermutations(b_out_perms, b_out);
|
||||
while (!b_out_perms[b_out - 1].exhausted) {
|
||||
if (seen[lhs_i]) {
|
||||
goto skip_permutations;
|
||||
}
|
||||
|
||||
// Compare the two rows
|
||||
FromCgToP(a_out, b_out, a_in, b_in, rhs, p_buf,
|
||||
a_in_perm.permutation, b_in_perm.permutation,
|
||||
|
|
Loading…
Reference in New Issue