Small constrained workshop

A representative small workshop combining hard and soft grouping constraints across multiple sessions.

Results

8 people2 groups3 sessions60s limit8 CPUs

Scenario ID: example.small-workshop-constrained.v1
Problem hash: sha256:c3e88b66614a28d59c63396fd507449ed8b83ab5008f605da188a9650647f33f

Comparator results

publication r18

Barasu-kun

Unsupported

valid —best —median —

Configuration

barasu-kun-0586a3f-sequential-v1

evidence r1 · unsupported

The live product cannot express canonical hard pair rules or weighted encounter targets.

GolfSoftware Play All

Unsupported

valid —best —median —

Configuration

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

evidence r1 · unsupported

The live product cannot express canonical hard pair rules or weighted encounter targets.

Good-Enough Golfers

Unsupported

valid —best —median —

Configuration

good-enough-unsupported-hard-weighted-constraints

evidence r1 · unsupported

The product cannot express the canonical combination of hard pair rules, weighted pair preferences, encounter targets, and participant attributes; its documented never-pair rule is breakable.

GroupMixer

Feasible

valid 5/5best 4median 4

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 visible workflow cannot express the canonical combination of hard pair rules, weighted pair preferences, encounter targets, and participant attributes.

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

Unsupported

valid —best —median —

Configuration

iienstitu-live-avoid-history-seeded-v1

evidence r1 · unsupported

The visible workflow cannot express the canonical combination of hard pair rules, weighted pair preferences, encounter targets, and participant attributes.

Optimal Group Generator

Unsupported

valid —best —median —

Configuration

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

evidence r1 · unsupported

The live product cannot express canonical hard pair rules or weighted encounter targets.

Google OR-Tools CP-SAT

Optimal

valid 5/5best 4median 4

Configuration

ortools-cpsat-case-formulations-v1:generic-v2

evidence r1 · eligible

Social Golfer Online

Pending verification

valid —best —median —

Configuration

pending-live-workflow

evidence r1 · verify

Pair-preference and encounter-target semantics require live exact-mapping verification.

Teach Arcade Group Maker

Unsupported

valid —best —median —

Configuration

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

evidence r1 · unsupported

The visible workflow cannot express the canonical combination of hard pair rules, weighted pair preferences, encounter targets, and participant attributes.

TourneyCard Golf Randomizer

Pending verification

valid —best —median —

Configuration

pending-live-workflow

evidence r1 · verify

Pair-preference and encounter-target semantics require live exact-mapping verification.

Comparator status, attempts, score, and configuration
Tool	Status	Valid	Best	Median	Evidence
Barasu-kun	Unsupported	—	—	—	Configuration `barasu-kun-0586a3f-sequential-v1` evidence r1 · unsupported The live product cannot express canonical hard pair rules or weighted encounter targets.
GolfSoftware Play All	Unsupported	—	—	—	Configuration `golfsoftware-play-all-live-55-second-v1` evidence r1 · unsupported The live product cannot express canonical hard pair rules or weighted encounter targets.
Good-Enough Golfers	Unsupported	—	—	—	Configuration `good-enough-unsupported-hard-weighted-constraints` evidence r1 · unsupported The product cannot express the canonical combination of hard pair rules, weighted pair preferences, encounter targets, and participant attributes; its documented never-pair rule is breakable.
GroupMixer	Feasible	5/5	4	4	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 visible workflow cannot express the canonical combination of hard pair rules, weighted pair preferences, encounter targets, and participant attributes.
Hexaly	Unavailable	—	—	—	Configuration `unavailable-license` evidence r1 · unavailable No runnable licensed environment and reproducible formulation are available for v1.
IIENSTITU Random Group Generator	Unsupported	—	—	—	Configuration `iienstitu-live-avoid-history-seeded-v1` evidence r1 · unsupported The visible workflow cannot express the canonical combination of hard pair rules, weighted pair preferences, encounter targets, and participant attributes.
Optimal Group Generator	Unsupported	—	—	—	Configuration `optimal-group-generator-live-fixed-ga-sequential-v1` evidence r1 · unsupported The live product cannot express canonical hard pair rules or weighted encounter targets.
Google OR-Tools CP-SAT	Optimal	5/5	4	4	Configuration `ortools-cpsat-case-formulations-v1:generic-v2` evidence r1 · eligible
Social Golfer Online	Pending verification	—	—	—	Configuration `pending-live-workflow` evidence r1 · verify Pair-preference and encounter-target semantics require live exact-mapping verification.
Teach Arcade Group Maker	Unsupported	—	—	—	Configuration `teach-arcade-live-roundrobin-sequential-history-v1` evidence r1 · unsupported The visible workflow cannot express the canonical combination of hard pair rules, weighted pair preferences, encounter targets, and participant attributes.
TourneyCard Golf Randomizer	Pending verification	—	—	—	Configuration `pending-live-workflow` evidence r1 · verify Pair-preference and encounter-target semantics require live exact-mapping verification.

Measured attempts

GroupMixer · seed-101feasible timeout

same-machine nativecost 459.524s12 MiB

GroupMixer · seed-202feasible timeout

same-machine nativecost 459.511s12 MiB

GroupMixer · seed-303feasible timeout

same-machine nativecost 459.59s11 MiB

GroupMixer · seed-404feasible timeout

same-machine nativecost 459.483s12 MiB

GroupMixer · seed-505feasible timeout

same-machine nativecost 459.482s12 MiB

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

same-machine nativecost 40.112s182 MiB

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

same-machine nativecost 40.081s182 MiB

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

same-machine nativecost 40.059s181 MiB

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

same-machine nativecost 40.072s182 MiB

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

same-machine nativecost 40.062s182 MiB

Per-attempt benchmark status, execution class, canonical cost, runtime, and memory
Tool / attempt	Execution	Status	Cost	Wall	Peak RSS
GroupMixer · seed-101	Native	feasible timeout	4	59.524s	12 MiB
GroupMixer · seed-202	Native	feasible timeout	4	59.511s	12 MiB
GroupMixer · seed-303	Native	feasible timeout	4	59.59s	11 MiB
GroupMixer · seed-404	Native	feasible timeout	4	59.483s	12 MiB
GroupMixer · seed-505	Native	feasible timeout	4	59.482s	12 MiB
Google OR-Tools CP-SAT · seed-101	Native	optimal proven	4	0.112s	182 MiB
Google OR-Tools CP-SAT · seed-202	Native	optimal proven	4	0.081s	182 MiB
Google OR-Tools CP-SAT · seed-303	Native	optimal proven	4	0.059s	181 MiB
Google OR-Tools CP-SAT · seed-404	Native	optimal proven	4	0.072s	182 MiB
Google OR-Tools CP-SAT · seed-505	Native	optimal proven	4	0.062s	182 MiB

Pair-frequency distribution

GroupMixer · seed-101

Number of participant pairs by meeting frequency
Meetings	Participant pairs
1	14
2	8
3	2

Unique contacts: 24
Repeat excess: 12
Repeated pairs: 10
Worst pair count: 3
Min contacts / person: 5
Mean contacts / person: 6

Evidence and reproduction

gm-scenarios materialize example.small-workshop-constrained.v1 --pretty --output case.json

Archive Checksums