cpu_model: Intel(R) Xeon(R) CPU @ 2.20GHz

energy_measurement_method: Estimate

measurement_confidence: high

os_info: Debian GNU/Linux 12

problem_type: TSP

status: Validated

submission_mode: mining


problem_type: SAT