All tool results

Canonical case report

Three golfer foursome rotations

A three-round synthetic reconstruction for 28 golfers in seven foursomes.

People
28
Groups
7
Sessions
3
Deadline
60s

Canonical input sha256:efeef808827cf02e75e471bcff56bcda37d32b0e27998ac147a57658e53b5cc7

Result at the declared limit

GroupMixer

Optimal

5/5

valid attempts

Best cost 0 · median 0

Google OR-Tools CP-SAT

Optimal

5/5

valid attempts

Best cost 0 · median 0

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 / attemptStatusCostWall timePeak RSS
GroupMixer · seed-101optimal zero00.004s11 MiB
GroupMixer · seed-202optimal zero00.006s11 MiB
GroupMixer · seed-303optimal zero00.005s11 MiB
GroupMixer · seed-404optimal zero00.004s11 MiB
GroupMixer · seed-505optimal zero00.002s11 MiB
Google OR-Tools CP-SAT · seed-101optimal zero04.1s210 MiB
Google OR-Tools CP-SAT · seed-202optimal zero03.789s212 MiB
Google OR-Tools CP-SAT · seed-303optimal zero04.147s215 MiB
Google OR-Tools CP-SAT · seed-404optimal zero04.565s210 MiB
Google OR-Tools CP-SAT · seed-505optimal zero03.092s215 MiB

Pair-frequency distribution

Number of participant pairs by meeting frequency
MeetingsParticipant pairs
1126
Unique contacts
126
Repeat excess
0
Repeated pairs
0
Worst pair count
1
Min contacts / person
9
Mean contacts / person
9

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

Optimal
ortools-cpsat-case-formulations-v1:pure-sgp-zero-target-v3

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.reddit-golfers-28p-7g-3s.v1 --pretty --output case.json

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.