GroupMixer
Optimal
5/5
valid attempts
Best cost 0 · median 0
Canonical case report
Six student workshop rotations
A 120-person six-workshop-session no-repeat reconstruction.
- People
- 120
- Groups
- 12
- Sessions
- 6
- Deadline
- 60s
Canonical input sha256:ebdd3b1e2fd50cacc4c122d3723c06a5bfab47b8dcf48bdeae3cda7bbaf50f66
Result at the declared limit
Google OR-Tools CP-SAT
Feasible
5/5
valid attempts
Best cost 576,576 · median 666,666
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 | 15 MiB |
| GroupMixer · seed-202 | optimal zero | 0 | 0.009s | 15 MiB |
| GroupMixer · seed-303 | optimal zero | 0 | 0.013s | 16 MiB |
| GroupMixer · seed-404 | optimal zero | 0 | 0.007s | 16 MiB |
| GroupMixer · seed-505 | optimal zero | 0 | 0.017s | 15 MiB |
| Google OR-Tools CP-SAT · seed-101 | feasible | 672,672 | 40.749s | 830 MiB |
| Google OR-Tools CP-SAT · seed-202 | feasible | 666,666 | 43.702s | 890 MiB |
| Google OR-Tools CP-SAT · seed-303 | feasible | 576,576 | 39.783s | 834 MiB |
| Google OR-Tools CP-SAT · seed-404 | feasible | 592,592 | 46.062s | 901 MiB |
| Google OR-Tools CP-SAT · seed-505 | feasible | 680,680 | 42.37s | 809 MiB |
Pair-frequency distribution
| Meetings | Participant pairs |
|---|---|
| 1 | 3240 |
- Unique contacts
- 3,240
- Repeat excess
- 0
- Repeated pairs
- 0
- Worst pair count
- 1
- Min contacts / person
- 54
- Mean contacts / person
- 54
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-staged-constructor-v3Social 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.real-world-workshops-120x12x6.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.