Supplementary Data: VIPR Certificate Construction from Black-Box ILP Solvers

Experimental data and instance generators accompanying the paper "VIPR Certificate Construction from Black-Box ILP Solvers" (S. Szeider, CP 2026). The archive contains benchmark-result CSVs for three experiments — a generated benchmark suite (74 instances across four problem classes), a constraint-density sweep (21 multidimensional-knapsack instances), and the MIPLIB 2017 benchmark set (223 instances, referenced by name; the instances themselves are not included and are available from https://miplib.zib.de/); the Python instance generators used to produce the four generated problem families. Each CSV row gives one (instance, tool) measurement, recording certificate construction time and size, viprchk verification result and time, branch-and-bound nodes, and derivation counts. The VORC source code is hosted separately at https://github.com/szeider/vorc.