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.
- Scenario ID
- public.hard-infeasible-apart-triangle-3p-2g-1s.v1
- Problem hash
- sha256:c7a343baa770a26e36a822bf739e1e2ade26916bc8b2f0a6e73c47138328ad91
Comparator results
publication r18Barasu-kun
UnsupportedConfiguration
barasu-kun-0586a3f-sequential-v1evidence r1 · unsupported
The live product cannot encode hard Keep Apart constraints or emit an infeasibility proof certificate.
GolfSoftware Play All
UnsupportedConfiguration
golfsoftware-play-all-live-55-second-v1evidence r1 · unsupported
The live product cannot encode hard Keep Apart constraints or emit an infeasibility proof certificate.
Good-Enough Golfers
UnsupportedConfiguration
unsupported-proof-certificateevidence r1 · unsupported
The product treats never-pair constraints as breakable and does not emit hard-infeasibility certificates.
GroupMixer
Infeasible, provenConfiguration
auto-extreme-8-defaultsevidence r1 · eligible
Gurobi
UnavailableConfiguration
unavailable-licenseevidence r1 · unavailable
No runnable licensed environment and reproducible formulation are available for v1.
Halftime Team Pairings
UnsupportedConfiguration
halftime-team-pairings-live-sequential-last-six-v1evidence r1 · unsupported
The product does not expose a certifiable hard-infeasibility proof workflow.
Hexaly
UnavailableConfiguration
unavailable-licenseevidence r1 · unavailable
No runnable licensed environment and reproducible formulation are available for v1.
IIENSTITU Random Group Generator
UnsupportedConfiguration
iienstitu-live-avoid-history-seeded-v1evidence r1 · unsupported
The product does not expose a certifiable hard-infeasibility proof workflow.
Optimal Group Generator
UnsupportedConfiguration
optimal-group-generator-live-fixed-ga-sequential-v1evidence r1 · unsupported
The live product cannot encode hard Keep Apart constraints or emit an infeasibility proof certificate.
Google OR-Tools CP-SAT
Infeasible, provenConfiguration
ortools-cpsat-case-formulations-v1:generic-v2evidence r1 · eligible
Social Golfer Online
UnsupportedConfiguration
unsupported-proof-certificateevidence r1 · unsupported
The product does not expose a certifiable hard-infeasibility proof workflow.
Teach Arcade Group Maker
UnsupportedConfiguration
teach-arcade-live-roundrobin-sequential-history-v1evidence r1 · unsupported
The product does not expose a certifiable hard-infeasibility proof workflow.
TourneyCard Golf Randomizer
UnsupportedConfiguration
unsupported-proof-certificateevidence r1 · unsupported
The product does not expose a certifiable hard-infeasibility proof workflow.
Measured attempts
No valid schedule was available for contact metrics.