GroupMixer logo
GroupMixer
All tool results

Canonical case report

Hard-infeasible three-person separation triangle

Three participants must be pairwise separated in one session with only two groups, creating a small well-formed hard-feasibility contradiction.

People
3
Groups
2
Sessions
1
Deadline
60s

Canonical input sha256:c7a343baa770a26e36a822bf739e1e2ade26916bc8b2f0a6e73c47138328ad91

Result at the declared limit

GroupMixer

Infeasible, proven

0/1

valid attempts

Google OR-Tools CP-SAT

Infeasible, proven

0/1

valid attempts

Social Golfer Online

Unsupported

0/0

valid attempts

The product does not expose a certifiable hard-infeasibility proof workflow.

Every native attempt

Per-attempt native benchmark status, canonical cost, runtime, and memory
Tool / attemptStatusCostWall timePeak RSS
GroupMixer · deterministicinfeasible proven—0.003s10 MiB
Google OR-Tools CP-SAT · deterministicinfeasible proven—0.011s181 MiB

No valid schedule was available for a contact histogram.

Unique contacts
—
Repeat excess
—
Repeated pairs
—
Worst pair count
—
Min contacts / person
—
Mean contacts / person
—

Configurations and eligibility

Barasu-kun

Unsupported
unsupported-proof-certificate

The product does not expose a certifiable hard-infeasibility proof workflow.

GolfSoftware Play All

Unsupported
unsupported-proof-certificate

The product does not expose a certifiable hard-infeasibility proof workflow.

Good-Enough Golfers

Unsupported
unsupported-proof-certificate

The product does not expose a certifiable hard-infeasibility proof workflow.

GroupMixer

Infeasible, proven
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-proof-certificate

The product does not expose a certifiable hard-infeasibility proof workflow.

Google OR-Tools CP-SAT

Infeasible, proven
ortools-cpsat-case-formulations-v1:generic-v2

Social Golfer Online

Unsupported
unsupported-proof-certificate

The product does not expose a certifiable hard-infeasibility proof workflow.

TourneyCard Golf Randomizer

Unsupported
unsupported-proof-certificate

The product does not expose a certifiable hard-infeasibility proof workflow.

UTEKAR Random Team Generator

Unsupported
unsupported-proof-certificate

The product does not expose a certifiable hard-infeasibility proof workflow.

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 public.hard-infeasible-apart-triangle-3p-2g-1s.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.