GroupMixer
Optimal
5/5
valid attempts
Best cost 0 · median 0
Canonical case report
Social Golfer 9–5–10 (45×9×10)
Forty-five participants rotate through nine groups of five for ten sessions; a checked construction attains the proven objective minimum of zero repeated pairs for this fixed ten-session problem.
- People
- 45
- Groups
- 9
- Sessions
- 10
- Deadline
- 60s
Canonical input sha256:315f2a0003dadf74496d7f8a8d513479fa22fc2d508898a7bdb7ce4e371e40d9
Result at the declared limit
Google OR-Tools CP-SAT
Feasible
5/5
valid attempts
Best cost 2,935 · median 4,990
Social Golfer Online
Pending verification
0/0
valid attempts
Live limits, exact geometry, quality mode, and output capture require verification.
Every native attempt
| Tool / attempt | Status | Cost | Wall time | Peak RSS |
|---|---|---|---|---|
| GroupMixer · seed-101 | optimal zero | 0 | 0.008s | 12 MiB |
| GroupMixer · seed-202 | optimal zero | 0 | 0.003s | 12 MiB |
| GroupMixer · seed-303 | optimal zero | 0 | 0.003s | 12 MiB |
| GroupMixer · seed-404 | optimal zero | 0 | 0.004s | 12 MiB |
| GroupMixer · seed-505 | optimal zero | 0 | 0.004s | 12 MiB |
| Google OR-Tools CP-SAT · seed-101 | feasible timeout | 2,935 | 59.027s | 1,505 MiB |
| Google OR-Tools CP-SAT · seed-202 | feasible timeout | 4,990 | 59.293s | 1,504 MiB |
| Google OR-Tools CP-SAT · seed-303 | feasible timeout | 4,990 | 59.12s | 1,496 MiB |
| Google OR-Tools CP-SAT · seed-404 | feasible timeout | 7,690 | 59.198s | 1,477 MiB |
| Google OR-Tools CP-SAT · seed-505 | feasible timeout | 6,012 | 59.475s | 1,471 MiB |
Pair-frequency distribution
| Meetings | Participant pairs |
|---|---|
| 1 | 900 |
- Unique contacts
- 900
- Repeat excess
- 0
- Repeated pairs
- 0
- Worst pair count
- 1
- Min contacts / person
- 40
- Mean contacts / person
- 40
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
Feasibleortools-cpsat-case-formulations-v1:pure-sgp-optimized-v4Social 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 public.social-golfer-45x9x10.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.