GroupMixer logo
GroupMixer
All tool results

Canonical case report

Small constrained workshop

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

People
8
Groups
2
Sessions
3
Deadline
60s

Canonical input sha256:c3e88b66614a28d59c63396fd507449ed8b83ab5008f605da188a9650647f33f

Result at the declared limit

GroupMixer

Feasible

5/5

valid attempts

Best cost 4 · median 4

Google OR-Tools CP-SAT

Optimal

5/5

valid attempts

Best cost 4 · median 4

Social Golfer Online

Pending verification

0/0

valid attempts

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

Every native attempt

Per-attempt native benchmark status, canonical cost, runtime, and memory
Tool / attemptStatusCostWall timePeak RSS
GroupMixer · seed-101feasible timeout459.524s12 MiB
GroupMixer · seed-202feasible timeout459.511s12 MiB
GroupMixer · seed-303feasible timeout459.59s11 MiB
GroupMixer · seed-404feasible timeout459.483s12 MiB
GroupMixer · seed-505feasible timeout459.482s12 MiB
Google OR-Tools CP-SAT · seed-101optimal proven40.112s182 MiB
Google OR-Tools CP-SAT · seed-202optimal proven40.081s182 MiB
Google OR-Tools CP-SAT · seed-303optimal proven40.059s181 MiB
Google OR-Tools CP-SAT · seed-404optimal proven40.072s182 MiB
Google OR-Tools CP-SAT · seed-505optimal proven40.062s182 MiB

Pair-frequency distribution

Number of participant pairs by meeting frequency
MeetingsParticipant pairs
114
28
32
Unique contacts
24
Repeat excess
12
Repeated pairs
10
Worst pair count
3
Min contacts / person
5
Mean contacts / person
6

Configurations and eligibility

Barasu-kun

Unsupported
unsupported-pair-targets

The product lacks the exact canonical encounter-target and pair-preference semantics.

GolfSoftware Play All

Unsupported
unsupported-pair-targets

The product lacks the exact canonical encounter-target and pair-preference semantics.

Good-Enough Golfers

Pending verification
pending-live-workflow

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

GroupMixer

Feasible
auto-extreme-8-defaults

Gurobi

Unavailable
unavailable-license

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

Hexaly

Unavailable
unavailable-license

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

Optimal Group Generator

Unsupported
unsupported-pair-targets

The product lacks the exact canonical encounter-target and pair-preference semantics.

Google OR-Tools CP-SAT

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

Social Golfer Online

Pending verification
pending-live-workflow

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

TourneyCard Golf Randomizer

Pending verification
pending-live-workflow

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

UTEKAR Random Team Generator

Unsupported
unsupported-pair-targets

The product lacks the exact canonical encounter-target and pair-preference semantics.

Reproduce and inspect

Use the frozen scenario and publication revision. The archive contains selected attempts, requests, schedules, logs, implementation references, and checksums.

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

Revision and disclosure

Publication revision 9. GroupMixer authors this benchmark and the published OR-Tools formulations. Returned schedules are evaluated against the same canonical scenario rules.

No external incumbent, repaired schedule, or cross-solver hint is admitted by the selected evidence contract.