Canonical case report

Social Golfer 32x8x15 (8-4-15)

Pure Social Golfer overbound repeat-pressure stretch: 32 participants into 8 groups of 4 across 15 sessions with a meet-at-most-once target.

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

Canonical input sha256:1a6ba3a0998c2f7cf8fec58cca3bfa1cf3f63ecf8b40b168d0186668f1305017

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 33 · median 73

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.264s	17 MiB
GroupMixer · seed-202	optimal zero	0	0.239s	17 MiB
GroupMixer · seed-303	optimal zero	0	0.25s	17 MiB
GroupMixer · seed-404	optimal zero	0	0.229s	17 MiB
GroupMixer · seed-505	optimal zero	0	0.297s	17 MiB
Google OR-Tools CP-SAT · seed-101	feasible timeout	33	58.748s	1,091 MiB
Google OR-Tools CP-SAT · seed-202	feasible timeout	38	58.931s	1,102 MiB
Google OR-Tools CP-SAT · seed-303	feasible timeout	79	59.973s	1,065 MiB
Google OR-Tools CP-SAT · seed-404	feasible timeout	73	58.575s	1,071 MiB
Google OR-Tools CP-SAT · seed-505	feasible timeout	90	58.817s	1,030 MiB

Pair-frequency distribution

Number of participant pairs by meeting frequency
Meetings	Participant pairs
1	277
2	214
3	5

Unique contacts: 496
Repeat excess: 224
Repeated pairs: 219
Worst pair count: 3
Min contacts / person: 31
Mean contacts / person: 31

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-unique-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 internal.social-golfer-32x8x15.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.