MiniZinc Problem Type Analysis Summary
==================================================

Analysis Parameters:
  Source directory: ./problem_filtered/
  Output directory: ./problem_filtered/
  Total .mzn files found: 227
  Include detailed results: False
  Include samples: True

Problem Type Distribution:
  Total models analyzed: 227
  Optimization problems: 173 (76.2%)
    - Minimization: 136
    - Maximization: 37
  Satisfaction problems: 54 (23.8%)
  Multi-objective: 0
  Unknown/Other: 0

Top Problem Domains:
  Arithmetic: 209 models (92.1%)
  Logic: 91 models (40.1%)
  Scheduling: 67 models (29.5%)
  Assignment: 59 models (26.0%)
  Routing: 54 models (23.8%)
  Packing: 44 models (19.4%)
  Graph: 44 models (19.4%)
  Geometry: 29 models (12.8%)
  Puzzle: 26 models (11.5%)

Most Used Global Constraints:
  alldifferent: 36 models (15.9%)
  cumulative: 34 models (15.0%)
  count: 23 models (10.1%)
  table: 15 models (6.6%)
  regular: 14 models (6.2%)
  diffn: 13 models (5.7%)
  circuit: 10 models (4.4%)
  global_cardinality: 5 models (2.2%)
  subcircuit: 4 models (1.8%)
  disjunctive: 3 models (1.3%)

Sample Problems by Type:

  OPTIMIZATION Problems:
    - city-position.mzn (city-position)
      Domains: routing, arithmetic
    - rcpsp-wet-diverse.mzn (rcpsp-wet-diverse)
      Domains: scheduling, arithmetic
    - median_string_dp.mzn (median_string_dp)
      Domains: routing, arithmetic

  SATISFACTION Problems:
    - noseasonal.mzn (noseasonal)
      Domains: scheduling, packing, assignment, logic, arithmetic, puzzle
    - tents.mzn (tents)
      Domains: logic, arithmetic, geometry
    - fillomino.mzn (fillomino)
      Domains: routing, logic, arithmetic, puzzle
