id: aeossp_standard_mwis_conflict_graph
benchmark: aeossp_standard
solver: mwis_conflict_graph
solver_path: solvers/aeossp_standard/mwis_conflict_graph
evidence_type: reproduced_solver
runnable: true
setup_script: setup.sh
solve_script: solve.sh
solution_filename: solution.json
aggregate_metrics:
  - name: CR
    source: verifier.metrics.CR
  - name: WCR
    source: verifier.metrics.WCR
  - name: TAT
    source: verifier.metrics.TAT
  - name: PC
    source: verifier.metrics.PC
config:
  total_time_budget_s: 300
  candidate_workers: 8
  graph_workers: 8
  backend: internal_reduction
  max_exact_component_size: 24
  max_local_passes: 16
  population_size: 8
  recombination_rounds: 24
  max_repair_iterations: 300
  enable_incremental_repair: true
cases:
  - id: test/case_0001
    case_dir: benchmarks/aeossp_standard/dataset/cases/test/case_0001
  - id: test/case_0002
    case_dir: benchmarks/aeossp_standard/dataset/cases/test/case_0002
  - id: test/case_0003
    case_dir: benchmarks/aeossp_standard/dataset/cases/test/case_0003
  - id: test/case_0004
    case_dir: benchmarks/aeossp_standard/dataset/cases/test/case_0004
  - id: test/case_0005
    case_dir: benchmarks/aeossp_standard/dataset/cases/test/case_0005
verifier:
  command:
    - uv
    - run
    - python
    - -m
    - benchmarks.aeossp_standard.verifier.run
    - "{case_dir}"
    - "{solution_path}"
