GroupMixer
Optimal
5/5
valid attempts
Best cost 0 · median 0
Canonical case report
Minimum-occupancy rotation, 280 participants, 36 groups, 41 sessions
A 280-participant rotation through 36 groups of capacity 8 and minimum occupancy 6 across 41 sessions, minimizing repeated encounters.
- People
- 280
- Groups
- 36
- Sessions
- 41
- Deadline
- 300s
Canonical input sha256:af59e8e0872e1ef2dbd347c8397191e0da6898689fd69a6ede36e13960770fde
Result at the declared limit
Google OR-Tools CP-SAT
Error
0/5
valid attempts
Social Golfer Online
Pending verification
0/0
valid attempts
Live limits, exact geometry, quality mode, and output capture require verification.
OR-Tools produced no candidate: 0 outer-watchdog errors and 5 earlier process error. All 5 attempts recorded std::bad_alloc. These are errors—not timeout or infeasibility claims.
Every native attempt
| Tool / attempt | Status | Cost | Wall time | Peak RSS |
|---|---|---|---|---|
| GroupMixer · seed-101 | optimal zero | 0 | 2.454s | 255 MiB |
| GroupMixer · seed-202 | optimal zero | 0 | 2.687s | 258 MiB |
| GroupMixer · seed-303 | optimal zero | 0 | 2.607s | 258 MiB |
| GroupMixer · seed-404 | optimal zero | 0 | 2.626s | 257 MiB |
| GroupMixer · seed-505 | optimal zero | 0 | 2.191s | 259 MiB |
| Google OR-Tools CP-SAT · seed-101 | error | — | 169.046s | 7,063 MiB |
| Google OR-Tools CP-SAT · seed-202 | error | — | 129.232s | 7,051 MiB |
| Google OR-Tools CP-SAT · seed-303 | error | — | 126.187s | 7,049 MiB |
| Google OR-Tools CP-SAT · seed-404 | error | — | 117.653s | 7,054 MiB |
| Google OR-Tools CP-SAT · seed-505 | error | — | 97.91s | 7,065 MiB |
Pair-frequency distribution
| Meetings | Participant pairs |
|---|---|
| 1 | 39060 |
- Unique contacts
- 39,060
- Repeat excess
- 0
- Repeated pairs
- 0
- Worst pair count
- 1
- Min contacts / person
- 279
- Mean contacts / person
- 279
Configurations and eligibility
Barasu-kun
Pending verificationpending-live-workflowLive limits, exact geometry, quality mode, and output capture require verification.
GolfSoftware Play All
Pending verificationpending-live-workflowLive limits, exact geometry, quality mode, and output capture require verification.
Good-Enough Golfers
Pending verificationpending-live-workflowLive limits, exact geometry, quality mode, and output capture require verification.
GroupMixer
Optimalauto-extreme-8-defaultsGurobi
Unavailableunavailable-licenseNo runnable licensed environment and reproducible formulation are available for v1.
Hexaly
Unavailableunavailable-licenseNo runnable licensed environment and reproducible formulation are available for v1.
Optimal Group Generator
Pending verificationpending-live-workflowLive limits, exact geometry, quality mode, and output capture require verification.
Google OR-Tools CP-SAT
Errorortools-cpsat-case-formulations-v1:generic-v2Social Golfer Online
Pending verificationpending-live-workflowLive limits, exact geometry, quality mode, and output capture require verification.
TourneyCard Golf Randomizer
Pending verificationpending-live-workflowLive limits, exact geometry, quality mode, and output capture require verification.
UTEKAR Random Team Generator
Pending verificationpending-live-workflowLive limits, exact geometry, quality mode, and output capture require verification.
Reproduce and inspect
Use the frozen scenario and publication revision. The archive contains selected attempts, requests, schedules, logs, implementation references, and checksums.
gm-scenarios materialize internal.minimum-occupancy-rotation-280p-36g-41s.v1 --pretty --output case.jsonRevision and disclosure
Publication revision 9. GroupMixer authors this benchmark and the published OR-Tools formulations. Returned schedules are evaluated against the same canonical scenario rules.
No external incumbent, repaired schedule, or cross-solver hint is admitted by the selected evidence contract.