These files appear in results.zip:
-
all_unknown.txt- all the implications that are as yet undecided -
components.txt- known equivalence classes of equations, one per line -
modulo_equivalence.txt- only a single unknown implication per pair of equivalence classes -
only_strongest.txt- subset ofmodulo_equivalence.txt. if we knowA => BandC => D, and the status of all ofA => C,B => C,A => D,B => Dis unknown, this file will include onlyB => Cout of the four.