Benchmark Logs and Per-Family Analysis for: "Aperture: an Anytime, Complete and Incremental MaxSAT Solver" (FMCAD 2026)

This archive contains the logs used to compute the scores reported in the experimental evaluation and ablation study of the FMCAD 2026 paper "Aperture: an Anytime, Complete and Incremental MaxSAT Solver" by Alexander Nadel, Yam Slonimski, and Ofer Strichman. It also includes CSV files containing the average MSE scores for each benchmark family. See the README for further details.