Kirkman Schoolgirls 15×5×7

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

Results

15 people5 groups7 sessions60s limit8 CPUs

Scenario ID: public.kirkman-schoolgirls-15x5x7.v1
Problem hash: sha256:7c7e3042b5ee62bb2c5de2f4ebe75f010dfb976bdf5ebf00ff6cfeddb8abf0de

Comparator results

publication r18

Barasu-kun

Feasible

valid 5/5best 176median 176

Configuration

barasu-kun-0586a3f-sequential-v1

evidence r1 · eligible

GolfSoftware Play All

Unsupported

valid —best —median —

Configuration

golfsoftware-play-all-live-55-second-v1

evidence r1 · unsupported

The live product does not offer three-person groups, so the 15-person five-group geometry cannot be represented.

Good-Enough Golfers

Feasible

valid 5/5best 66median 77

Configuration

good-enough-golfers-4db20742-fixed-ga-v1

evidence r1 · eligible

GroupMixer

Optimal

valid 5/5best 0median 0

Configuration

auto-extreme-8-defaults

evidence r1 · eligible

Gurobi

Unavailable

valid —best —median —

Configuration

unavailable-license

evidence r1 · unavailable

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

Halftime Team Pairings

Feasible

valid 5/5best 165median 196

Configuration

halftime-team-pairings-live-sequential-last-six-v1

evidence r1 · eligible

Hexaly

Unavailable

valid —best —median —

Configuration

unavailable-license

evidence r1 · unavailable

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

IIENSTITU Random Group Generator

Feasible

valid 5/5best 649median 649

Configuration

iienstitu-live-avoid-history-seeded-v1

evidence r1 · eligible

Optimal Group Generator

Feasible

valid 5/5best 55median 88

Configuration

optimal-group-generator-live-fixed-ga-sequential-v1

evidence r1 · eligible

Google OR-Tools CP-SAT

Optimal

valid 5/5best 0median 0

Configuration

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

evidence r5 · eligible

Social Golfer Online

Feasible

valid 5/5best 88median 88

Configuration

social-golfer-online-recompute-all-v1

evidence r1 · eligible

Teach Arcade Group Maker

Feasible

valid 5/5best 66median 77

Configuration

teach-arcade-live-roundrobin-sequential-history-v1

evidence r1 · eligible

TourneyCard Golf Randomizer

Feasible

valid 5/5best 0median 44

Configuration

tourneycard-v2.0.4-280000-iterations-v2

evidence r1 · eligible

Comparator status, attempts, score, and configuration
Tool	Status	Valid	Best	Median	Evidence
Barasu-kun	Feasible	5/5	176	176	Configuration `barasu-kun-0586a3f-sequential-v1` evidence r1 · eligible
GolfSoftware Play All	Unsupported	—	—	—	Configuration `golfsoftware-play-all-live-55-second-v1` evidence r1 · unsupported The live product does not offer three-person groups, so the 15-person five-group geometry cannot be represented.
Good-Enough Golfers	Feasible	5/5	66	77	Configuration `good-enough-golfers-4db20742-fixed-ga-v1` evidence r1 · eligible
GroupMixer	Optimal	5/5	0	0	Configuration `auto-extreme-8-defaults` evidence r1 · eligible
Gurobi	Unavailable	—	—	—	Configuration `unavailable-license` evidence r1 · unavailable No runnable licensed environment and reproducible formulation are available for v1.
Halftime Team Pairings	Feasible	5/5	165	196	Configuration `halftime-team-pairings-live-sequential-last-six-v1` evidence r1 · eligible
Hexaly	Unavailable	—	—	—	Configuration `unavailable-license` evidence r1 · unavailable No runnable licensed environment and reproducible formulation are available for v1.
IIENSTITU Random Group Generator	Feasible	5/5	649	649	Configuration `iienstitu-live-avoid-history-seeded-v1` evidence r1 · eligible
Optimal Group Generator	Feasible	5/5	55	88	Configuration `optimal-group-generator-live-fixed-ga-sequential-v1` evidence r1 · eligible
Google OR-Tools CP-SAT	Optimal	5/5	0	0	Configuration `ortools-cpsat-case-formulations-v1:pure-sgp-zero-target-v3` evidence r5 · eligible
Social Golfer Online	Feasible	5/5	88	88	Configuration `social-golfer-online-recompute-all-v1` evidence r1 · eligible
Teach Arcade Group Maker	Feasible	5/5	66	77	Configuration `teach-arcade-live-roundrobin-sequential-history-v1` evidence r1 · eligible
TourneyCard Golf Randomizer	Feasible	5/5	0	44	Configuration `tourneycard-v2.0.4-280000-iterations-v2` evidence r1 · eligible

Measured attempts

Barasu-kun · attempt-1feasible

hosted observationcost 1761.088sRSS —

Barasu-kun · attempt-2feasible

hosted observationcost 1760.965sRSS —

Barasu-kun · attempt-3feasible

hosted observationcost 1760.938sRSS —

Barasu-kun · attempt-4feasible

hosted observationcost 1871.132sRSS —

Barasu-kun · attempt-5feasible

hosted observationcost 2531.112sRSS —

Good-Enough Golfers · attempt-1feasible

hosted observationcost 880.234sRSS —

Good-Enough Golfers · attempt-2feasible

hosted observationcost 660.071sRSS —

Good-Enough Golfers · attempt-3feasible

hosted observationcost 770.193sRSS —

Good-Enough Golfers · attempt-4feasible

hosted observationcost 990.208sRSS —

Good-Enough Golfers · attempt-5feasible

hosted observationcost 770.154sRSS —

GroupMixer · seed-101optimal zero

same-machine nativecost 00.004s11 MiB

GroupMixer · seed-202optimal zero

same-machine nativecost 00.022s11 MiB

GroupMixer · seed-303optimal zero

same-machine nativecost 00.006s11 MiB

GroupMixer · seed-404optimal zero

same-machine nativecost 00.008s11 MiB

GroupMixer · seed-505optimal zero

same-machine nativecost 00.008s11 MiB

Halftime Team Pairings · attempt-1feasible

hosted observationcost 16513.535sRSS —

Halftime Team Pairings · attempt-2feasible

hosted observationcost 20514.711sRSS —

Halftime Team Pairings · attempt-3feasible

hosted observationcost 19613.555sRSS —

Halftime Team Pairings · attempt-4feasible

hosted observationcost 19614.535sRSS —

Halftime Team Pairings · attempt-5feasible

hosted observationcost 18513.526sRSS —

IIENSTITU Random Group Generator · seed-101feasible

hosted observationcost 6492.805sRSS —

IIENSTITU Random Group Generator · seed-202feasible

hosted observationcost 6492.098sRSS —

IIENSTITU Random Group Generator · seed-303feasible

hosted observationcost 6493.174sRSS —

IIENSTITU Random Group Generator · seed-404feasible

hosted observationcost 6492.827sRSS —

IIENSTITU Random Group Generator · seed-505feasible

hosted observationcost 6492.492sRSS —

Optimal Group Generator · attempt-1feasible

hosted observationcost 552.509sRSS —

Optimal Group Generator · attempt-2feasible

hosted observationcost 883.216sRSS —

Optimal Group Generator · attempt-3feasible

hosted observationcost 992.683sRSS —

Optimal Group Generator · attempt-4feasible

hosted observationcost 772.562sRSS —

Optimal Group Generator · attempt-5feasible

hosted observationcost 992.764sRSS —

Google OR-Tools CP-SAT · seed-101optimal zero

same-machine nativecost 02.723s207 MiB

Google OR-Tools CP-SAT · seed-202optimal zero

same-machine nativecost 02.908s202 MiB

Google OR-Tools CP-SAT · seed-303optimal zero

same-machine nativecost 02.604s208 MiB

Google OR-Tools CP-SAT · seed-404optimal zero

same-machine nativecost 02.802s202 MiB

Google OR-Tools CP-SAT · seed-505optimal zero

same-machine nativecost 04.063s206 MiB

Social Golfer Online · attempt-1feasible

hosted observationcost 887.485sRSS —

Social Golfer Online · attempt-2feasible

hosted observationcost 888.549sRSS —

Social Golfer Online · attempt-3feasible

hosted observationcost 8810.392sRSS —

Social Golfer Online · attempt-4feasible

hosted observationcost 889.708sRSS —

Social Golfer Online · attempt-5feasible

hosted observationcost 889.723sRSS —

Teach Arcade Group Maker · attempt-1feasible

hosted observationcost 861.173sRSS —

Teach Arcade Group Maker · attempt-2feasible

hosted observationcost 771.438sRSS —

Teach Arcade Group Maker · attempt-3feasible

hosted observationcost 661.547sRSS —

Teach Arcade Group Maker · attempt-4feasible

hosted observationcost 661.397sRSS —

Teach Arcade Group Maker · attempt-5feasible

hosted observationcost 771.287sRSS —

TourneyCard Golf Randomizer · attempt-1optimal zero

hosted observationcost 052.102sRSS —

TourneyCard Golf Randomizer · attempt-2feasible

hosted observationcost 2254.788sRSS —

TourneyCard Golf Randomizer · attempt-3feasible

hosted observationcost 4452.795sRSS —

TourneyCard Golf Randomizer · attempt-4feasible

hosted observationcost 5552.478sRSS —

TourneyCard Golf Randomizer · attempt-5feasible

hosted observationcost 5551.347sRSS —

Per-attempt benchmark status, execution class, canonical cost, runtime, and memory
Tool / attempt	Execution	Status	Cost	Wall	Peak RSS
Barasu-kun · attempt-1	Hosted	feasible	176	1.088s	—
Barasu-kun · attempt-2	Hosted	feasible	176	0.965s	—
Barasu-kun · attempt-3	Hosted	feasible	176	0.938s	—
Barasu-kun · attempt-4	Hosted	feasible	187	1.132s	—
Barasu-kun · attempt-5	Hosted	feasible	253	1.112s	—
Good-Enough Golfers · attempt-1	Hosted	feasible	88	0.234s	—
Good-Enough Golfers · attempt-2	Hosted	feasible	66	0.071s	—
Good-Enough Golfers · attempt-3	Hosted	feasible	77	0.193s	—
Good-Enough Golfers · attempt-4	Hosted	feasible	99	0.208s	—
Good-Enough Golfers · attempt-5	Hosted	feasible	77	0.154s	—
GroupMixer · seed-101	Native	optimal zero	0	0.004s	11 MiB
GroupMixer · seed-202	Native	optimal zero	0	0.022s	11 MiB
GroupMixer · seed-303	Native	optimal zero	0	0.006s	11 MiB
GroupMixer · seed-404	Native	optimal zero	0	0.008s	11 MiB
GroupMixer · seed-505	Native	optimal zero	0	0.008s	11 MiB
Halftime Team Pairings · attempt-1	Hosted	feasible	165	13.535s	—
Halftime Team Pairings · attempt-2	Hosted	feasible	205	14.711s	—
Halftime Team Pairings · attempt-3	Hosted	feasible	196	13.555s	—
Halftime Team Pairings · attempt-4	Hosted	feasible	196	14.535s	—
Halftime Team Pairings · attempt-5	Hosted	feasible	185	13.526s	—
IIENSTITU Random Group Generator · seed-101	Hosted	feasible	649	2.805s	—
IIENSTITU Random Group Generator · seed-202	Hosted	feasible	649	2.098s	—
IIENSTITU Random Group Generator · seed-303	Hosted	feasible	649	3.174s	—
IIENSTITU Random Group Generator · seed-404	Hosted	feasible	649	2.827s	—
IIENSTITU Random Group Generator · seed-505	Hosted	feasible	649	2.492s	—
Optimal Group Generator · attempt-1	Hosted	feasible	55	2.509s	—
Optimal Group Generator · attempt-2	Hosted	feasible	88	3.216s	—
Optimal Group Generator · attempt-3	Hosted	feasible	99	2.683s	—
Optimal Group Generator · attempt-4	Hosted	feasible	77	2.562s	—
Optimal Group Generator · attempt-5	Hosted	feasible	99	2.764s	—
Google OR-Tools CP-SAT · seed-101	Native	optimal zero	0	2.723s	207 MiB
Google OR-Tools CP-SAT · seed-202	Native	optimal zero	0	2.908s	202 MiB
Google OR-Tools CP-SAT · seed-303	Native	optimal zero	0	2.604s	208 MiB
Google OR-Tools CP-SAT · seed-404	Native	optimal zero	0	2.802s	202 MiB
Google OR-Tools CP-SAT · seed-505	Native	optimal zero	0	4.063s	206 MiB
Social Golfer Online · attempt-1	Hosted	feasible	88	7.485s	—
Social Golfer Online · attempt-2	Hosted	feasible	88	8.549s	—
Social Golfer Online · attempt-3	Hosted	feasible	88	10.392s	—
Social Golfer Online · attempt-4	Hosted	feasible	88	9.708s	—
Social Golfer Online · attempt-5	Hosted	feasible	88	9.723s	—
Teach Arcade Group Maker · attempt-1	Hosted	feasible	86	1.173s	—
Teach Arcade Group Maker · attempt-2	Hosted	feasible	77	1.438s	—
Teach Arcade Group Maker · attempt-3	Hosted	feasible	66	1.547s	—
Teach Arcade Group Maker · attempt-4	Hosted	feasible	66	1.397s	—
Teach Arcade Group Maker · attempt-5	Hosted	feasible	77	1.287s	—
TourneyCard Golf Randomizer · attempt-1	Hosted	optimal zero	0	52.102s	—
TourneyCard Golf Randomizer · attempt-2	Hosted	feasible	22	54.788s	—
TourneyCard Golf Randomizer · attempt-3	Hosted	feasible	44	52.795s	—
TourneyCard Golf Randomizer · attempt-4	Hosted	feasible	55	52.478s	—
TourneyCard Golf Randomizer · attempt-5	Hosted	feasible	55	51.347s	—

Pair-frequency distribution

GroupMixer · seed-101

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

Evidence and reproduction

gm-scenarios materialize public.kirkman-schoolgirls-15x5x7.v1 --pretty --output case.json

Archive Checksums