Test Instances for OIWR

Abstract We provide 14 test instances for the OIWR algorithm (https://eprint.iacr.org/2026/985), with the variable size *n* ranging from 13 to 19 (each *n* corresponds to two distinct examples). The dataset includes: Part-Walsh spectrum sets S; The solutions obtained by the OIWR algorithm. Instructions: The naming convention for the 14 test instances follows the pattern n.1 and n.2. For each case, we provide the following in TXT file format: (1) a partial spectral set S, and (2) all solutions satisfying S obtained by the OIWR algorithm. Specifically: "Set_S.zip": Contains the part-Walsh spectrum sets S with the following format: Line 1: |S| (cardinality of the partial Walsh spectral set) Line 2: Spectral point positions and their corresponding values, formatted as a_i,b_i, with double spaces separating distinct spectral points. "Solutions.zip": Lists all solutions satisfying S that were computed by the OIWR algorithm. Solutions are presented in binary truth table format, with each unique truth table occupying a single line (no duplicate truth tables are included).