Six-course dinner coverage

A six-session dinner contact-coverage reconstruction in four tables of ten.

Open in GroupMixer Results

40 people4 groups6 sessions60s limit8 CPUs

Scenario ID: internal.realworld-stack-math-3184175-40x4x6.v1
Problem hash: sha256:6fdeec67998f64bc9010dbf8a8f9593a2a3a2010822af906842693f86e6a8450

Comparator results

publication r20

Barasu-kun

Not run

valid —best —median —

Configuration

barasu-kun-0586a3f-sequential-v1

evidence r20 · verify

Not run on this case; capability has not been assessed.

GolfSoftware Play All

Not run

valid —best —median —

Configuration

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

evidence r20 · verify

Not run on this case; capability has not been assessed.

Good-Enough Golfers

Not run

valid —best —median —

Configuration

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

evidence r20 · verify

Not run on this case; capability has not been assessed.

GroupMixer

Optimal

valid 5/5best 0median 0

Configuration

browser-auto-8-defaults-v1

evidence r20 · 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 r20 · unavailable

No runnable licensed environment and reproducible formulation are available.

Halftime Team Pairings

Not run

valid —best —median —

Configuration

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

evidence r20 · verify

Not run on this case; capability has not been assessed.

Hexaly

Unavailable

valid —best —median —

Configuration

unavailable-license

evidence r20 · unavailable

No runnable licensed environment and reproducible formulation are available.

IIENSTITU Random Group Generator

Not run

valid —best —median —

Configuration

iienstitu-live-avoid-history-seeded-v1

evidence r20 · verify

Not run on this case; capability has not been assessed.

Optimal Group Generator

Not run

valid —best —median —

Configuration

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

evidence r20 · verify

Not run on this case; capability has not been assessed.

Google OR-Tools CP-SAT

Feasible

valid 5/5best 15median 15

Configuration

ortools-cpsat-measured-20261011:pure-sgp-optimized-v4

evidence r20 · eligible

Measured 11 October 2026 on an Intel Core Ultra 9 386H; eight pinned CPUs, 8 GiB physical memory, swap disabled. Measured OR-Tools 9.15.6755 campaign formulation and parameters; this additional case was outside the original frozen matrix.

Social Golfer Online

Not run

valid —best —median —

Configuration

social-golfer-online-recompute-all-v1

evidence r20 · verify

Not run on this case; capability has not been assessed.

Teach Arcade Group Maker

Not run

valid —best —median —

Configuration

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

evidence r20 · verify

Not run on this case; capability has not been assessed.

TourneyCard Golf Randomizer

Not run

valid —best —median —

Configuration

tourneycard-v2.0.4-case-specific-iterations-v2

evidence r20 · verify

Not run on this case; capability has not been assessed.

Comparator status, attempts, score, and configuration
Tool	Status	Valid	Best	Median	Evidence
Barasu-kun	Not run	—	—	—	Configuration `barasu-kun-0586a3f-sequential-v1` evidence r20 · verify Not run on this case; capability has not been assessed.
GolfSoftware Play All	Not run	—	—	—	Configuration `golfsoftware-play-all-live-55-second-v1` evidence r20 · verify Not run on this case; capability has not been assessed.
Good-Enough Golfers	Not run	—	—	—	Configuration `good-enough-golfers-4db20742-fixed-ga-v1` evidence r20 · verify Not run on this case; capability has not been assessed.
GroupMixer	Optimal	5/5	0	0	Configuration `browser-auto-8-defaults-v1` evidence r20 · 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 r20 · unavailable No runnable licensed environment and reproducible formulation are available.
Halftime Team Pairings	Not run	—	—	—	Configuration `halftime-team-pairings-live-sequential-last-six-v1` evidence r20 · verify Not run on this case; capability has not been assessed.
Hexaly	Unavailable	—	—	—	Configuration `unavailable-license` evidence r20 · unavailable No runnable licensed environment and reproducible formulation are available.
IIENSTITU Random Group Generator	Not run	—	—	—	Configuration `iienstitu-live-avoid-history-seeded-v1` evidence r20 · verify Not run on this case; capability has not been assessed.
Optimal Group Generator	Not run	—	—	—	Configuration `optimal-group-generator-live-fixed-ga-sequential-v1` evidence r20 · verify Not run on this case; capability has not been assessed.
Google OR-Tools CP-SAT	Feasible	5/5	15	15	Configuration `ortools-cpsat-measured-20261011:pure-sgp-optimized-v4` evidence r20 · eligible Measured 11 October 2026 on an Intel Core Ultra 9 386H; eight pinned CPUs, 8 GiB physical memory, swap disabled. Measured OR-Tools 9.15.6755 campaign formulation and parameters; this additional case was outside the original frozen matrix.
Social Golfer Online	Not run	—	—	—	Configuration `social-golfer-online-recompute-all-v1` evidence r20 · verify Not run on this case; capability has not been assessed.
Teach Arcade Group Maker	Not run	—	—	—	Configuration `teach-arcade-live-roundrobin-sequential-history-v1` evidence r20 · verify Not run on this case; capability has not been assessed.
TourneyCard Golf Randomizer	Not run	—	—	—	Configuration `tourneycard-v2.0.4-case-specific-iterations-v2` evidence r20 · verify Not run on this case; capability has not been assessed.

Measured attempts

GroupMixer · seed-101optimal zero

local browsercost 025.465sRSS —

GroupMixer · seed-202optimal zero

local browsercost 07.478sRSS —

GroupMixer · seed-303optimal zero

local browsercost 013.581sRSS —

GroupMixer · seed-404optimal zero

local browsercost 05.462sRSS —

GroupMixer · seed-505optimal zero

local browsercost 015.894sRSS —

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

native processcost 2158.548sRSS —

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

native processcost 2758.562sRSS —

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

native processcost 1558.559sRSS —

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

native processcost 1558.553sRSS —

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

native processcost 1558.542sRSS —

Per-attempt benchmark status, execution class, canonical cost, runtime, and memory
Tool / attempt	Execution	Status	Cost	Wall	Peak RSS
GroupMixer · seed-101	Browser	optimal zero	0	25.465s	—
GroupMixer · seed-202	Browser	optimal zero	0	7.478s	—
GroupMixer · seed-303	Browser	optimal zero	0	13.581s	—
GroupMixer · seed-404	Browser	optimal zero	0	5.462s	—
GroupMixer · seed-505	Browser	optimal zero	0	15.894s	—
Google OR-Tools CP-SAT · seed-101	Native	feasible timeout	21	58.548s	—
Google OR-Tools CP-SAT · seed-202	Native	feasible timeout	27	58.562s	—
Google OR-Tools CP-SAT · seed-303	Native	feasible timeout	15	58.559s	—
Google OR-Tools CP-SAT · seed-404	Native	feasible timeout	15	58.553s	—
Google OR-Tools CP-SAT · seed-505	Native	feasible timeout	15	58.542s	—

Pair-frequency distribution

GroupMixer · seed-101

Number of participant pairs by meeting frequency
Meetings	Participant pairs
1	600
2	136
3	18
5	2
6	24

Unique contacts: 780
Repeat excess: 300
Repeated pairs: 180
Worst pair count: 6
Min contacts / person: 39
Mean contacts / person: 39

Evidence and reproduction

gm-scenarios materialize internal.realworld-stack-math-3184175-40x4x6.v1 --pretty --output case.json

Archive Checksums