COMPARATOR NOTES
GroupMixer and OR-Tools benchmark results
Observed results from the published cases. OR-Tools is tested through disclosed CP-SAT formulations; GroupMixer is tested through its product solver configuration.
GroupMixer configuration
Canonical scenario input through the product solver interface. Published runs use Auto, Extreme Effort, and eight lanes.
OR-Tools configuration
Canonical scenario input converted to disclosed case-family CP-SAT formulations with frozen parameters. Formulation source is included in the evidence archive.
196×14×14 result
GroupMixer returned 5/5 canonically valid schedules. OR-Tools returned 0/5 candidates and recorded 5 errors. The OR-Tools result is not an infeasibility proof.
Open the case report