Synthetic Benchmark Instances for for Infeasible Weighted Set Cover Problem Counterfactual Resolution in Radar Configuration

Repository Structure To facilitate full reproducibility, this repository provides both the mathematical programming files and the experimental scripts. - README.md: General documentation.- benchmark_mps.py: Python execution script to run the benchmarks.- mps/: Directory containing generated Mathematical Programming System (.mps) files.- matrix_json/: Directory containing parsed matrix configurations and parameters in JSON format. Quick Start Guide You can evaluate the instances using the provided benchmark script. Run the benchmark on all MPS files:```bashpython benchmark_mps.py``` Advanced Options:```bash# Run with custom time limit (in seconds)python benchmark_mps.py -t 60 # Limit the execution to the first 5 instancespython benchmark_mps.py -l 5 # Save results to a custom output filepython benchmark_mps.py -o my_results.csv # Run instances from a custom directorypython benchmark_mps.py -d /path/to/mps/files``` Disclaimer & Operational Context All instances used and shared in this repository are entirely synthetic. Parameter values, operational costs, problem dimensions, and budget restrictions were generated and selected solely to test algorithmic robustness. They do not reflect, nor should they be interpreted as representative of, the operational characteristics, performance envelopes, or specific configurations of any real radar systems produced by Thales or any other entity.