id: stereo_imaging_cp_local_search_stereo_insertion
benchmark: stereo_imaging
solver: cp_local_search_stereo_insertion
solver_path: solvers/stereo_imaging/cp_local_search_stereo_insertion
evidence_type: reproduced_solver
runnable: true
setup_script: setup.sh
solve_script: solve.sh
solution_filename: solution.json
aggregate_metrics:
  - name: coverage_ratio
    source: verifier.metrics.coverage_ratio
  - name: normalized_quality
    source: verifier.metrics.normalized_quality
cases:
  - id: test/case_0001
    case_dir: benchmarks/stereo_imaging/dataset/cases/test/case_0001
  - id: test/case_0002
    case_dir: benchmarks/stereo_imaging/dataset/cases/test/case_0002
  - id: test/case_0003
    case_dir: benchmarks/stereo_imaging/dataset/cases/test/case_0003
  - id: test/case_0004
    case_dir: benchmarks/stereo_imaging/dataset/cases/test/case_0004
  - id: test/case_0005
    case_dir: benchmarks/stereo_imaging/dataset/cases/test/case_0005
verifier:
  command:
    - uv
    - run
    - python
    - -m
    - benchmarks.stereo_imaging.verifier.run
    - "{case_dir}"
    - "{solution_path}"
