Canonical case report

Social Golfer 32×8×10

Thirty-two participants rotate through eight groups for ten sessions with unique contacts as the canonical objective.

People: 32
Groups: 8
Sessions: 10
Deadline: 60s

Canonical input sha256:89fe91b4aac9819600337d2ec8eff248c61ff18c40e2d55caff6c622a62bebe3

Result at the declared limit

GroupMixer

Optimal

5/5

valid attempts

Best cost 0 · median 0

Google OR-Tools CP-SAT

Feasible

5/5

valid attempts

Best cost 1,400 · median 1,536

Social Golfer Online

Pending verification

0/0

valid attempts

Live limits, exact geometry, quality mode, and output capture require verification.

Every native attempt

Per-attempt native benchmark status, canonical cost, runtime, and memory
Tool / attempt	Status	Cost	Wall time	Peak RSS
GroupMixer · seed-101	optimal zero	0	0.004s	12 MiB
GroupMixer · seed-202	optimal zero	0	0.007s	12 MiB
GroupMixer · seed-303	optimal zero	0	0.004s	12 MiB
GroupMixer · seed-404	optimal zero	0	0.004s	12 MiB
GroupMixer · seed-505	optimal zero	0	0.006s	12 MiB
Google OR-Tools CP-SAT · seed-101	feasible timeout	1,584	59.857s	930 MiB
Google OR-Tools CP-SAT · seed-202	feasible timeout	1,400	58.537s	937 MiB
Google OR-Tools CP-SAT · seed-303	feasible timeout	1,593	58.42s	978 MiB
Google OR-Tools CP-SAT · seed-404	feasible timeout	1,536	58.75s	970 MiB
Google OR-Tools CP-SAT · seed-505	feasible timeout	1,496	59.45s	972 MiB

Pair-frequency distribution

Number of participant pairs by meeting frequency
Meetings	Participant pairs
1	480

Unique contacts: 480
Repeat excess: 0
Repeated pairs: 0
Worst pair count: 1
Min contacts / person: 30
Mean contacts / person: 30

Configurations and eligibility

Barasu-kun

Pending verification

pending-live-workflow

Live limits, exact geometry, quality mode, and output capture require verification.

GolfSoftware Play All

Pending verification

pending-live-workflow

Live limits, exact geometry, quality mode, and output capture require verification.

Good-Enough Golfers

Pending verification

pending-live-workflow

Live limits, exact geometry, quality mode, and output capture require verification.

GroupMixer

Optimal

auto-extreme-8-defaults

Gurobi

Unavailable

unavailable-license

No runnable licensed environment and reproducible formulation are available for v1.

Hexaly

Unavailable

unavailable-license

No runnable licensed environment and reproducible formulation are available for v1.

Optimal Group Generator

Pending verification

pending-live-workflow

Live limits, exact geometry, quality mode, and output capture require verification.

Google OR-Tools CP-SAT

Feasible

ortools-cpsat-case-formulations-v1:pure-sgp-optimized-v4

Social Golfer Online

Pending verification

pending-live-workflow

Live limits, exact geometry, quality mode, and output capture require verification.

TourneyCard Golf Randomizer

Pending verification

pending-live-workflow

Live limits, exact geometry, quality mode, and output capture require verification.

UTEKAR Random Team Generator

Pending verification

pending-live-workflow

Live 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-32x8x10.v1 --pretty --output case.json

Evidence archive Checksum manifest

Revision 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.