cpu_model: DO-Premium-Intel

energy_measurement_method: Estimate

measurement_confidence: high

os_info: Debian GNU/Linux 12

problem_type: SAT

status: Mined

submission_mode: mining


problem_type: SubsetSum


problem_type: TSP