Canonical case report

Canonical station rotation 18×6×6

Eighteen participants rotate through six named stations while squared penalties discourage missed station visits and repeated encounters.

People: 18
Groups: 6
Sessions: 6
Deadline: 60s

Canonical input sha256:52f92bd7df24c5f62e9f80b3bbdd20cf33e6e6a6e021e6eb33a878ba07a80ac4

Result at the declared limit

GroupMixer

Feasible

5/5

valid attempts

Best cost 30 · median 80

Google OR-Tools CP-SAT

Optimal

5/5

valid attempts

Best cost 0 · median 0

Social Golfer Online

Unsupported

0/0

valid attempts

The product cannot express canonical per-station visit-count targets.

Every native attempt

Per-attempt native benchmark status, canonical cost, runtime, and memory
Tool / attempt	Status	Cost	Wall time	Peak RSS
GroupMixer · seed-101	feasible timeout	80	59.059s	13 MiB
GroupMixer · seed-202	feasible timeout	90	59.157s	13 MiB
GroupMixer · seed-303	feasible timeout	30	59.254s	13 MiB
GroupMixer · seed-404	feasible timeout	110	59.034s	13 MiB
GroupMixer · seed-505	feasible timeout	70	59.083s	13 MiB
Google OR-Tools CP-SAT · seed-101	optimal zero	0	9.888s	2,372 MiB
Google OR-Tools CP-SAT · seed-202	optimal zero	0	4.518s	183 MiB
Google OR-Tools CP-SAT · seed-303	optimal zero	0	4.405s	182 MiB
Google OR-Tools CP-SAT · seed-404	optimal zero	0	6.185s	183 MiB
Google OR-Tools CP-SAT · seed-505	optimal zero	0	4.724s	182 MiB

Pair-frequency distribution

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

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

Configurations and eligibility

Barasu-kun

Unsupported

unsupported-group-visit-counts

The product cannot express canonical per-station visit-count targets.

GolfSoftware Play All

Unsupported

unsupported-group-visit-counts

The product cannot express canonical per-station visit-count targets.

Good-Enough Golfers

Unsupported

unsupported-group-visit-counts

The product cannot express canonical per-station visit-count targets.

GroupMixer

Feasible

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

Unsupported

unsupported-group-visit-counts

The product cannot express canonical per-station visit-count targets.

Google OR-Tools CP-SAT

Optimal

ortools-cpsat-case-formulations-v1:station-rotation-zero-target-v3

Social Golfer Online

Unsupported

unsupported-group-visit-counts

The product cannot express canonical per-station visit-count targets.

TourneyCard Golf Randomizer

Unsupported

unsupported-group-visit-counts

The product cannot express canonical per-station visit-count targets.

UTEKAR Random Team Generator

Unsupported

unsupported-group-visit-counts

The product cannot express canonical per-station visit-count targets.

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.station-rotation-18p-6g-6s.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.