Six student workshop rotations

A 120-person six-workshop-session no-repeat reconstruction.

Results

120 people12 groups6 sessions60s limit8 CPUs

Scenario ID: internal.real-world-workshops-120x12x6.v1
Problem hash: sha256:ebdd3b1e2fd50cacc4c122d3723c06a5bfab47b8dcf48bdeae3cda7bbaf50f66

Comparator results

publication r18

Barasu-kun

Feasible

valid 5/5best 151,151median 159,159

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 is limited to at most 100 participants and does not offer ten-person groups.

Good-Enough Golfers

Feasible

valid 5/5best 103,103median 111,111

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

Unsupported

valid —best —median —

Configuration

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

evidence r1 · unsupported

The live product exposes only fixed group sizes 2 through 5, which cannot represent this canonical geometry.

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 264,264median 264,264

Configuration

iienstitu-live-avoid-history-seeded-v1

evidence r1 · eligible

Optimal Group Generator

Unsupported

valid —best —median —

Configuration

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

evidence r1 · unsupported

The live product enforces a maximum of 50 active members.

Google OR-Tools CP-SAT

Feasible

valid 5/5best 576,576median 666,666

Configuration

ortools-cpsat-case-formulations-v1:pure-sgp-staged-constructor-v3

evidence r4 · eligible

Social Golfer Online

Feasible

valid 5/5best 95,095median 95,095

Configuration

social-golfer-online-recompute-all-v1

evidence r1 · eligible

Teach Arcade Group Maker

Feasible

valid 5/5best 197,197median 202,202

Configuration

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

evidence r1 · eligible

TourneyCard Golf Randomizer

Unsupported

valid —best —median —

Configuration

tourneycard-group-size-limit-4

evidence r1 · unsupported

Live TourneyCard 2.0.4 supports group sizes 2 through 4; the canonical case requires groups of 10.

Comparator status, attempts, score, and configuration
Tool	Status	Valid	Best	Median	Evidence
Barasu-kun	Feasible	5/5	151,151	159,159	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 is limited to at most 100 participants and does not offer ten-person groups.
Good-Enough Golfers	Feasible	5/5	103,103	111,111	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	Unsupported	—	—	—	Configuration `halftime-team-pairings-live-sequential-last-six-v1` evidence r1 · unsupported The live product exposes only fixed group sizes 2 through 5, which cannot represent this canonical geometry.
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	264,264	264,264	Configuration `iienstitu-live-avoid-history-seeded-v1` evidence r1 · eligible
Optimal Group Generator	Unsupported	—	—	—	Configuration `optimal-group-generator-live-fixed-ga-sequential-v1` evidence r1 · unsupported The live product enforces a maximum of 50 active members.
Google OR-Tools CP-SAT	Feasible	5/5	576,576	666,666	Configuration `ortools-cpsat-case-formulations-v1:pure-sgp-staged-constructor-v3` evidence r4 · eligible
Social Golfer Online	Feasible	5/5	95,095	95,095	Configuration `social-golfer-online-recompute-all-v1` evidence r1 · eligible
Teach Arcade Group Maker	Feasible	5/5	197,197	202,202	Configuration `teach-arcade-live-roundrobin-sequential-history-v1` evidence r1 · eligible
TourneyCard Golf Randomizer	Unsupported	—	—	—	Configuration `tourneycard-group-size-limit-4` evidence r1 · unsupported Live TourneyCard 2.0.4 supports group sizes 2 through 4; the canonical case requires groups of 10.

Measured attempts

Barasu-kun · attempt-1feasible

hosted observationcost 159,1591.834sRSS —

Barasu-kun · attempt-2feasible

hosted observationcost 170,1701.572sRSS —

Barasu-kun · attempt-3feasible

hosted observationcost 154,1542.017sRSS —

Barasu-kun · attempt-4feasible

hosted observationcost 164,1641.342sRSS —

Barasu-kun · attempt-5feasible

hosted observationcost 151,1511.67sRSS —

Good-Enough Golfers · attempt-1feasible

hosted observationcost 112,11233.055sRSS —

Good-Enough Golfers · attempt-2feasible

hosted observationcost 103,10331.509sRSS —

Good-Enough Golfers · attempt-3feasible

hosted observationcost 105,10530.956sRSS —

Good-Enough Golfers · attempt-4feasible

hosted observationcost 111,11128.413sRSS —

Good-Enough Golfers · attempt-5feasible

hosted observationcost 114,11434.482sRSS —

GroupMixer · seed-101optimal zero

same-machine nativecost 00.008s15 MiB

GroupMixer · seed-202optimal zero

same-machine nativecost 00.009s15 MiB

GroupMixer · seed-303optimal zero

same-machine nativecost 00.013s16 MiB

GroupMixer · seed-404optimal zero

same-machine nativecost 00.007s16 MiB

GroupMixer · seed-505optimal zero

same-machine nativecost 00.017s15 MiB

IIENSTITU Random Group Generator · seed-101feasible

hosted observationcost 264,2644.48sRSS —

IIENSTITU Random Group Generator · seed-202feasible

hosted observationcost 264,2645.225sRSS —

IIENSTITU Random Group Generator · seed-303feasible

hosted observationcost 264,2644.297sRSS —

IIENSTITU Random Group Generator · seed-404feasible

hosted observationcost 264,2644.931sRSS —

IIENSTITU Random Group Generator · seed-505feasible

hosted observationcost 264,2645.046sRSS —

Google OR-Tools CP-SAT · seed-101feasible

same-machine nativecost 672,67240.749s830 MiB

Google OR-Tools CP-SAT · seed-202feasible

same-machine nativecost 666,66643.702s890 MiB

Google OR-Tools CP-SAT · seed-303feasible

same-machine nativecost 576,57639.783s834 MiB

Google OR-Tools CP-SAT · seed-404feasible

same-machine nativecost 592,59246.062s901 MiB

Google OR-Tools CP-SAT · seed-505feasible

same-machine nativecost 680,68042.37s809 MiB

Social Golfer Online · attempt-1feasible

hosted observationcost 95,09512.583sRSS —

Social Golfer Online · attempt-2feasible

hosted observationcost 95,09510.439sRSS —

Social Golfer Online · attempt-3feasible

hosted observationcost 95,09511.038sRSS —

Social Golfer Online · attempt-4feasible

hosted observationcost 95,09512.122sRSS —

Social Golfer Online · attempt-5feasible

hosted observationcost 95,09512.431sRSS —

Teach Arcade Group Maker · attempt-1feasible

hosted observationcost 205,2055.039sRSS —

Teach Arcade Group Maker · attempt-2feasible

hosted observationcost 202,2023.467sRSS —

Teach Arcade Group Maker · attempt-3feasible

hosted observationcost 197,1972.176sRSS —

Teach Arcade Group Maker · attempt-4feasible

hosted observationcost 205,2052.233sRSS —

Teach Arcade Group Maker · attempt-5feasible

hosted observationcost 200,2001.951sRSS —

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	159,159	1.834s	—
Barasu-kun · attempt-2	Hosted	feasible	170,170	1.572s	—
Barasu-kun · attempt-3	Hosted	feasible	154,154	2.017s	—
Barasu-kun · attempt-4	Hosted	feasible	164,164	1.342s	—
Barasu-kun · attempt-5	Hosted	feasible	151,151	1.67s	—
Good-Enough Golfers · attempt-1	Hosted	feasible	112,112	33.055s	—
Good-Enough Golfers · attempt-2	Hosted	feasible	103,103	31.509s	—
Good-Enough Golfers · attempt-3	Hosted	feasible	105,105	30.956s	—
Good-Enough Golfers · attempt-4	Hosted	feasible	111,111	28.413s	—
Good-Enough Golfers · attempt-5	Hosted	feasible	114,114	34.482s	—
GroupMixer · seed-101	Native	optimal zero	0	0.008s	15 MiB
GroupMixer · seed-202	Native	optimal zero	0	0.009s	15 MiB
GroupMixer · seed-303	Native	optimal zero	0	0.013s	16 MiB
GroupMixer · seed-404	Native	optimal zero	0	0.007s	16 MiB
GroupMixer · seed-505	Native	optimal zero	0	0.017s	15 MiB
IIENSTITU Random Group Generator · seed-101	Hosted	feasible	264,264	4.48s	—
IIENSTITU Random Group Generator · seed-202	Hosted	feasible	264,264	5.225s	—
IIENSTITU Random Group Generator · seed-303	Hosted	feasible	264,264	4.297s	—
IIENSTITU Random Group Generator · seed-404	Hosted	feasible	264,264	4.931s	—
IIENSTITU Random Group Generator · seed-505	Hosted	feasible	264,264	5.046s	—
Google OR-Tools CP-SAT · seed-101	Native	feasible	672,672	40.749s	830 MiB
Google OR-Tools CP-SAT · seed-202	Native	feasible	666,666	43.702s	890 MiB
Google OR-Tools CP-SAT · seed-303	Native	feasible	576,576	39.783s	834 MiB
Google OR-Tools CP-SAT · seed-404	Native	feasible	592,592	46.062s	901 MiB
Google OR-Tools CP-SAT · seed-505	Native	feasible	680,680	42.37s	809 MiB
Social Golfer Online · attempt-1	Hosted	feasible	95,095	12.583s	—
Social Golfer Online · attempt-2	Hosted	feasible	95,095	10.439s	—
Social Golfer Online · attempt-3	Hosted	feasible	95,095	11.038s	—
Social Golfer Online · attempt-4	Hosted	feasible	95,095	12.122s	—
Social Golfer Online · attempt-5	Hosted	feasible	95,095	12.431s	—
Teach Arcade Group Maker · attempt-1	Hosted	feasible	205,205	5.039s	—
Teach Arcade Group Maker · attempt-2	Hosted	feasible	202,202	3.467s	—
Teach Arcade Group Maker · attempt-3	Hosted	feasible	197,197	2.176s	—
Teach Arcade Group Maker · attempt-4	Hosted	feasible	205,205	2.233s	—
Teach Arcade Group Maker · attempt-5	Hosted	feasible	200,200	1.951s	—

Pair-frequency distribution

GroupMixer · seed-101

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

Unique contacts: 3,240
Repeat excess: 0
Repeated pairs: 0
Worst pair count: 1
Min contacts / person: 54
Mean contacts / person: 54

Evidence and reproduction

gm-scenarios materialize internal.real-world-workshops-120x12x6.v1 --pretty --output case.json

Archive Checksums