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).