Canonical case report

Kirkman Schoolgirls 15×5×7

The classical problem of arranging fifteen participants into five groups over seven sessions while minimizing repeated pairs.

People: 15
Groups: 5
Sessions: 7
Deadline: 60s

Canonical input sha256:7c7e3042b5ee62bb2c5de2f4ebe75f010dfb976bdf5ebf00ff6cfeddb8abf0de

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 / attempt	Status	Wall time	Peak RSS
GroupMixer · seed-101	optimal zero	0.004s	11 MiB
GroupMixer · seed-202	optimal zero	0.022s	11 MiB
GroupMixer · seed-303	optimal zero	0.006s	11 MiB
GroupMixer · seed-404	optimal zero	0.008s	11 MiB
GroupMixer · seed-505	optimal zero	0.008s	11 MiB
Google OR-Tools CP-SAT · seed-101	optimal zero	2.723s	207 MiB
Google OR-Tools CP-SAT · seed-202	optimal zero	2.908s	202 MiB
Google OR-Tools CP-SAT · seed-303	optimal zero	2.604s	208 MiB
Google OR-Tools CP-SAT · seed-404	optimal zero	2.802s	202 MiB
Google OR-Tools CP-SAT · seed-505	optimal zero	4.063s	206 MiB

Pair-frequency distribution

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

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

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 public.kirkman-schoolgirls-15x5x7.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.