Small constrained workshop

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

Open in GroupMixer Results

8 people2 groups3 sessions60s limit8 CPUs

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

Comparator results

publication r20

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

Optimal

valid 5/5best 4median 4

Configuration

browser-auto-8-defaults-v1

evidence r19 · eligible

Measured 11 October 2026 on an Intel Core Ultra 9 386H; eight pinned CPUs, 8 GiB physical memory, swap disabled. Current production browser Auto, eight requested lanes, automatic Extreme handoff and default CP-SAT admission.

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 r19 · eligible

Measured 11 October 2026 on an Intel Core Ultra 9 386H; eight pinned CPUs, 8 GiB physical memory, swap disabled. Frozen case-specific OR-Tools 9.15.6755 formulation and parameters.

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	Optimal	5/5	4	4	Configuration `browser-auto-8-defaults-v1` evidence r19 · eligible Measured 11 October 2026 on an Intel Core Ultra 9 386H; eight pinned CPUs, 8 GiB physical memory, swap disabled. Current production browser Auto, eight requested lanes, automatic Extreme handoff and default CP-SAT admission.
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 r19 · eligible Measured 11 October 2026 on an Intel Core Ultra 9 386H; eight pinned CPUs, 8 GiB physical memory, swap disabled. Frozen case-specific OR-Tools 9.15.6755 formulation and parameters.
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-101optimal proven

local browsercost 42.741sRSS —

GroupMixer · seed-202optimal proven

local browsercost 42.769sRSS —

GroupMixer · seed-303optimal proven

local browsercost 42.395sRSS —

GroupMixer · seed-404optimal proven

local browsercost 42.336sRSS —

GroupMixer · seed-505optimal proven

local browsercost 42.231sRSS —

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

native processcost 40.647sRSS —

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

native processcost 40.574sRSS —

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

native processcost 40.447sRSS —

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

native processcost 40.482sRSS —

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

native processcost 40.468sRSS —

Per-attempt benchmark status, execution class, canonical cost, runtime, and memory
Tool / attempt	Execution	Status	Cost	Wall	Peak RSS
GroupMixer · seed-101	Browser	optimal proven	4	2.741s	—
GroupMixer · seed-202	Browser	optimal proven	4	2.769s	—
GroupMixer · seed-303	Browser	optimal proven	4	2.395s	—
GroupMixer · seed-404	Browser	optimal proven	4	2.336s	—
GroupMixer · seed-505	Browser	optimal proven	4	2.231s	—
Google OR-Tools CP-SAT · seed-101	Native	optimal proven	4	0.647s	—
Google OR-Tools CP-SAT · seed-202	Native	optimal proven	4	0.574s	—
Google OR-Tools CP-SAT · seed-303	Native	optimal proven	4	0.447s	—
Google OR-Tools CP-SAT · seed-404	Native	optimal proven	4	0.482s	—
Google OR-Tools CP-SAT · seed-505	Native	optimal proven	4	0.468s	—

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