{"attemptSeeds":[101,202,303,404,505],"benchmarkId":"public-group-generator-v1","benchmarkRevision":9,"cases":[{"attemptPolicy":"seeded_five","caseKind":"quality","comparators":[{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"barasu_kun","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"golfsoftware_play_all","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"good_enough_golfers","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":0.0,"commonMetrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"peakRssBytes":11632640,"proof":null,"seed":101,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.003962503},{"attemptId":"seed-202","canonicalCost":0.0,"commonMetrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"peakRssBytes":11304960,"proof":null,"seed":202,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.021891992},{"attemptId":"seed-303","canonicalCost":0.0,"commonMetrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"peakRssBytes":11141120,"proof":null,"seed":303,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.005908367},{"attemptId":"seed-404","canonicalCost":0.0,"commonMetrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"peakRssBytes":11304960,"proof":null,"seed":404,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.007680409},{"attemptId":"seed-505","canonicalCost":0.0,"commonMetrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"peakRssBytes":11632640,"proof":null,"seed":505,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.007675364}],"comparatorId":"groupmixer","configurationId":"auto-extreme-8-defaults","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":1,"reason":null,"summary":{"attemptCount":5,"bestCost":0.0,"medianCost":0.0,"status":"optimal","statusCounts":{"optimal_zero":5},"validAttemptCount":5}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"gurobi","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"hexaly","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"optimal_group_generator","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":0.0,"commonMetrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"peakRssBytes":216727552,"proof":"optimality","seed":101,"solveSeconds":null,"status":"optimal_zero","wallSeconds":2.722997910983395},{"attemptId":"seed-202","canonicalCost":0.0,"commonMetrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"peakRssBytes":212291584,"proof":"optimality","seed":202,"solveSeconds":null,"status":"optimal_zero","wallSeconds":2.9077118239947595},{"attemptId":"seed-303","canonicalCost":0.0,"commonMetrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"peakRssBytes":217772032,"proof":"optimality","seed":303,"solveSeconds":null,"status":"optimal_zero","wallSeconds":2.6039294649963267},{"attemptId":"seed-404","canonicalCost":0.0,"commonMetrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"peakRssBytes":211918848,"proof":"optimality","seed":404,"solveSeconds":null,"status":"optimal_zero","wallSeconds":2.8021510260296054},{"attemptId":"seed-505","canonicalCost":0.0,"commonMetrics":{"contact_incidences":105,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":14,"mean_unique_contacts_per_participant":14.0,"minimum_unique_contacts_per_participant":14,"pair_frequency_histogram":{"1":105},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":105},"peakRssBytes":216367104,"proof":"optimality","seed":505,"solveSeconds":null,"status":"optimal_zero","wallSeconds":4.0633311059791595}],"comparatorId":"ortools_cpsat","configurationId":"ortools-cpsat-case-formulations-v1:pure-sgp-zero-target-v3","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":5,"reason":null,"summary":{"attemptCount":5,"bestCost":0.0,"medianCost":0.0,"status":"optimal","statusCounts":{"optimal_zero":5},"validAttemptCount":5}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"social_golfer_online","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"tourneycard","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"utekar","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}}],"dimensions":{"groups":5,"people":15,"sessions":7},"lane":"common_mixing","problemHash":"sha256:7c7e3042b5ee62bb2c5de2f4ebe75f010dfb976bdf5ebf00ff6cfeddb8abf0de","resourceClass":"standard","scenarioId":"public.kirkman-schoolgirls-15x5x7.v1","slug":"kirkman-schoolgirls-15x5x7","summary":"The classical problem of arranging fifteen participants into five groups over seven sessions while minimizing repeated pairs.","title":"Kirkman Schoolgirls 15×5×7"},{"attemptPolicy":"seeded_five","caseKind":"quality","comparators":[{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"barasu_kun","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"golfsoftware_play_all","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"good_enough_golfers","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":0.0,"commonMetrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"peakRssBytes":11796480,"proof":null,"seed":101,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.0035392},{"attemptId":"seed-202","canonicalCost":0.0,"commonMetrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"peakRssBytes":11468800,"proof":null,"seed":202,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.006455744},{"attemptId":"seed-303","canonicalCost":0.0,"commonMetrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"peakRssBytes":11304960,"proof":null,"seed":303,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.004820929},{"attemptId":"seed-404","canonicalCost":0.0,"commonMetrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"peakRssBytes":11796480,"proof":null,"seed":404,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.003797529},{"attemptId":"seed-505","canonicalCost":0.0,"commonMetrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"peakRssBytes":11796480,"proof":null,"seed":505,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.002004849}],"comparatorId":"groupmixer","configurationId":"auto-extreme-8-defaults","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":1,"reason":null,"summary":{"attemptCount":5,"bestCost":0.0,"medianCost":0.0,"status":"optimal","statusCounts":{"optimal_zero":5},"validAttemptCount":5}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"gurobi","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"hexaly","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"optimal_group_generator","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":0.0,"commonMetrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"peakRssBytes":220262400,"proof":"optimality","seed":101,"solveSeconds":null,"status":"optimal_zero","wallSeconds":4.099764456041157},{"attemptId":"seed-202","canonicalCost":0.0,"commonMetrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"peakRssBytes":221999104,"proof":"optimality","seed":202,"solveSeconds":null,"status":"optimal_zero","wallSeconds":3.789127809985075},{"attemptId":"seed-303","canonicalCost":0.0,"commonMetrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"peakRssBytes":225710080,"proof":"optimality","seed":303,"solveSeconds":null,"status":"optimal_zero","wallSeconds":4.14674116903916},{"attemptId":"seed-404","canonicalCost":0.0,"commonMetrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"peakRssBytes":220110848,"proof":"optimality","seed":404,"solveSeconds":null,"status":"optimal_zero","wallSeconds":4.565491782035679},{"attemptId":"seed-505","canonicalCost":0.0,"commonMetrics":{"contact_incidences":126,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":9,"mean_unique_contacts_per_participant":9.0,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":126},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":126},"peakRssBytes":225148928,"proof":"optimality","seed":505,"solveSeconds":null,"status":"optimal_zero","wallSeconds":3.091896286001429}],"comparatorId":"ortools_cpsat","configurationId":"ortools-cpsat-case-formulations-v1:pure-sgp-zero-target-v3","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":5,"reason":null,"summary":{"attemptCount":5,"bestCost":0.0,"medianCost":0.0,"status":"optimal","statusCounts":{"optimal_zero":5},"validAttemptCount":5}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"social_golfer_online","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"tourneycard","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"utekar","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}}],"dimensions":{"groups":7,"people":28,"sessions":3},"lane":"common_mixing","problemHash":"sha256:efeef808827cf02e75e471bcff56bcda37d32b0e27998ac147a57658e53b5cc7","resourceClass":"standard","scenarioId":"internal.reddit-golfers-28p-7g-3s.v1","slug":"reddit-golfers-28p-7g-3s","summary":"A three-round synthetic reconstruction for 28 golfers in seven foursomes.","title":"Three golfer foursome rotations"},{"attemptPolicy":"seeded_five","caseKind":"quality","comparators":[{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"barasu_kun","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"golfsoftware_play_all","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"good_enough_golfers","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":0.0,"commonMetrics":{"contact_incidences":480,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":30,"mean_unique_contacts_per_participant":30.0,"minimum_unique_contacts_per_participant":30,"pair_frequency_histogram":{"1":480},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":480},"peakRssBytes":12124160,"proof":null,"seed":101,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.003911929},{"attemptId":"seed-202","canonicalCost":0.0,"commonMetrics":{"contact_incidences":480,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":30,"mean_unique_contacts_per_participant":30.0,"minimum_unique_contacts_per_participant":30,"pair_frequency_histogram":{"1":480},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":480},"peakRssBytes":12124160,"proof":null,"seed":202,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.00734721},{"attemptId":"seed-303","canonicalCost":0.0,"commonMetrics":{"contact_incidences":480,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":30,"mean_unique_contacts_per_participant":30.0,"minimum_unique_contacts_per_participant":30,"pair_frequency_histogram":{"1":480},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":480},"peakRssBytes":12124160,"proof":null,"seed":303,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.004266124},{"attemptId":"seed-404","canonicalCost":0.0,"commonMetrics":{"contact_incidences":480,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":30,"mean_unique_contacts_per_participant":30.0,"minimum_unique_contacts_per_participant":30,"pair_frequency_histogram":{"1":480},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":480},"peakRssBytes":12288000,"proof":null,"seed":404,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.003678424},{"attemptId":"seed-505","canonicalCost":0.0,"commonMetrics":{"contact_incidences":480,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":30,"mean_unique_contacts_per_participant":30.0,"minimum_unique_contacts_per_participant":30,"pair_frequency_histogram":{"1":480},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":480},"peakRssBytes":12124160,"proof":null,"seed":505,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.005682739}],"comparatorId":"groupmixer","configurationId":"auto-extreme-8-defaults","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":1,"reason":null,"summary":{"attemptCount":5,"bestCost":0.0,"medianCost":0.0,"status":"optimal","statusCounts":{"optimal_zero":5},"validAttemptCount":5}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"gurobi","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"hexaly","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"optimal_group_generator","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":1584.0,"commonMetrics":{"contact_incidences":480,"linear_repeat_penalty":144,"maximum_pair_count":2,"maximum_unique_contacts_per_participant":24,"mean_unique_contacts_per_participant":21.0,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":192,"2":144},"pairs_repeated":144,"squared_repeat_concentration":144,"total_repeat_excess":144,"unique_contacts":336},"peakRssBytes":975327232,"proof":null,"seed":101,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.85693447600352},{"attemptId":"seed-202","canonicalCost":1400.0,"commonMetrics":{"contact_incidences":480,"linear_repeat_penalty":100,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":27,"mean_unique_contacts_per_participant":23.75,"minimum_unique_contacts_per_participant":21,"pair_frequency_histogram":{"1":293,"2":76,"3":9,"4":2},"pairs_repeated":87,"squared_repeat_concentration":130,"total_repeat_excess":100,"unique_contacts":380},"peakRssBytes":982892544,"proof":null,"seed":202,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":58.53652137896279},{"attemptId":"seed-303","canonicalCost":1593.0,"commonMetrics":{"contact_incidences":480,"linear_repeat_penalty":143,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":25,"mean_unique_contacts_per_participant":21.0625,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":195,"2":141,"3":1},"pairs_repeated":142,"squared_repeat_concentration":145,"total_repeat_excess":143,"unique_contacts":337},"peakRssBytes":1025662976,"proof":null,"seed":303,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":58.42029082996305},{"attemptId":"seed-404","canonicalCost":1536.0,"commonMetrics":{"contact_incidences":480,"linear_repeat_penalty":136,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":25,"mean_unique_contacts_per_participant":21.5,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":210,"2":132,"3":2},"pairs_repeated":134,"squared_repeat_concentration":140,"total_repeat_excess":136,"unique_contacts":344},"peakRssBytes":1017036800,"proof":null,"seed":404,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":58.750311629031785},{"attemptId":"seed-505","canonicalCost":1496.0,"commonMetrics":{"contact_incidences":480,"linear_repeat_penalty":116,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":25,"mean_unique_contacts_per_participant":22.75,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":258,"2":97,"3":8,"4":1},"pairs_repeated":106,"squared_repeat_concentration":138,"total_repeat_excess":116,"unique_contacts":364},"peakRssBytes":1019138048,"proof":null,"seed":505,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.450284915976226}],"comparatorId":"ortools_cpsat","configurationId":"ortools-cpsat-case-formulations-v1:pure-sgp-optimized-v4","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":6,"reason":null,"summary":{"attemptCount":5,"bestCost":1400.0,"medianCost":1536.0,"status":"feasible","statusCounts":{"feasible_timeout":5},"validAttemptCount":5}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"social_golfer_online","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"tourneycard","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"utekar","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}}],"dimensions":{"groups":8,"people":32,"sessions":10},"lane":"common_mixing","problemHash":"sha256:89fe91b4aac9819600337d2ec8eff248c61ff18c40e2d55caff6c622a62bebe3","resourceClass":"standard","scenarioId":"public.social-golfer-32x8x10.v1","slug":"social-golfer-32x8x10","summary":"Thirty-two participants rotate through eight groups for ten sessions with unique contacts as the canonical objective.","title":"Social Golfer 32×8×10"},{"attemptPolicy":"seeded_five","caseKind":"quality","comparators":[{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"barasu_kun","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"golfsoftware_play_all","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"good_enough_golfers","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":0.0,"commonMetrics":{"contact_incidences":720,"linear_repeat_penalty":224,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":31.0,"minimum_unique_contacts_per_participant":31,"pair_frequency_histogram":{"1":277,"2":214,"3":5},"pairs_repeated":219,"squared_repeat_concentration":234,"total_repeat_excess":224,"unique_contacts":496},"peakRssBytes":17821696,"proof":null,"seed":101,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.26365523},{"attemptId":"seed-202","canonicalCost":0.0,"commonMetrics":{"contact_incidences":720,"linear_repeat_penalty":224,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":31.0,"minimum_unique_contacts_per_participant":31,"pair_frequency_histogram":{"1":278,"2":212,"3":6},"pairs_repeated":218,"squared_repeat_concentration":236,"total_repeat_excess":224,"unique_contacts":496},"peakRssBytes":17530880,"proof":null,"seed":202,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.239404193},{"attemptId":"seed-303","canonicalCost":0.0,"commonMetrics":{"contact_incidences":720,"linear_repeat_penalty":224,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":31.0,"minimum_unique_contacts_per_participant":31,"pair_frequency_histogram":{"1":279,"2":210,"3":7},"pairs_repeated":217,"squared_repeat_concentration":238,"total_repeat_excess":224,"unique_contacts":496},"peakRssBytes":17510400,"proof":null,"seed":303,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.250303467},{"attemptId":"seed-404","canonicalCost":0.0,"commonMetrics":{"contact_incidences":720,"linear_repeat_penalty":224,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":31.0,"minimum_unique_contacts_per_participant":31,"pair_frequency_histogram":{"1":279,"2":210,"3":7},"pairs_repeated":217,"squared_repeat_concentration":238,"total_repeat_excess":224,"unique_contacts":496},"peakRssBytes":17694720,"proof":null,"seed":404,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.228985104},{"attemptId":"seed-505","canonicalCost":0.0,"commonMetrics":{"contact_incidences":720,"linear_repeat_penalty":224,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":31.0,"minimum_unique_contacts_per_participant":31,"pair_frequency_histogram":{"1":281,"2":206,"3":9},"pairs_repeated":215,"squared_repeat_concentration":242,"total_repeat_excess":224,"unique_contacts":496},"peakRssBytes":17678336,"proof":null,"seed":505,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.297132994}],"comparatorId":"groupmixer","configurationId":"auto-extreme-8-defaults","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":1,"reason":null,"summary":{"attemptCount":5,"bestCost":0.0,"medianCost":0.0,"status":"optimal","statusCounts":{"optimal_zero":5},"validAttemptCount":5}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"gurobi","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"hexaly","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"optimal_group_generator","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":33.0,"commonMetrics":{"contact_incidences":720,"linear_repeat_penalty":257,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":28.9375,"minimum_unique_contacts_per_participant":26,"pair_frequency_histogram":{"1":286,"2":116,"3":45,"4":13,"5":3},"pairs_repeated":177,"squared_repeat_concentration":461,"total_repeat_excess":257,"unique_contacts":463},"peakRssBytes":1144328192,"proof":null,"seed":101,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":58.74783266894519},{"attemptId":"seed-202","canonicalCost":38.0,"commonMetrics":{"contact_incidences":720,"linear_repeat_penalty":262,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":28.625,"minimum_unique_contacts_per_participant":26,"pair_frequency_histogram":{"1":275,"2":120,"3":48,"4":14,"5":1},"pairs_repeated":183,"squared_repeat_concentration":454,"total_repeat_excess":262,"unique_contacts":458},"peakRssBytes":1156014080,"proof":null,"seed":202,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":58.931255016999785},{"attemptId":"seed-303","canonicalCost":79.0,"commonMetrics":{"contact_incidences":720,"linear_repeat_penalty":303,"maximum_pair_count":6,"maximum_unique_contacts_per_participant":29,"mean_unique_contacts_per_participant":26.0625,"minimum_unique_contacts_per_participant":21,"pair_frequency_histogram":{"1":227,"2":115,"3":46,"4":21,"5":7,"6":1},"pairs_repeated":190,"squared_repeat_concentration":625,"total_repeat_excess":303,"unique_contacts":417},"peakRssBytes":1116708864,"proof":null,"seed":303,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.972922421002295},{"attemptId":"seed-404","canonicalCost":73.0,"commonMetrics":{"contact_incidences":720,"linear_repeat_penalty":297,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":30,"mean_unique_contacts_per_participant":26.4375,"minimum_unique_contacts_per_participant":24,"pair_frequency_histogram":{"1":217,"2":138,"3":49,"4":15,"5":4},"pairs_repeated":206,"squared_repeat_concentration":533,"total_repeat_excess":297,"unique_contacts":423},"peakRssBytes":1123336192,"proof":null,"seed":404,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":58.57547798199812},{"attemptId":"seed-505","canonicalCost":90.0,"commonMetrics":{"contact_incidences":720,"linear_repeat_penalty":314,"maximum_pair_count":9,"maximum_unique_contacts_per_participant":29,"mean_unique_contacts_per_participant":25.375,"minimum_unique_contacts_per_participant":22,"pair_frequency_histogram":{"1":211,"2":111,"3":59,"4":19,"5":5,"9":1},"pairs_repeated":195,"squared_repeat_concentration":662,"total_repeat_excess":314,"unique_contacts":406},"peakRssBytes":1080516608,"proof":null,"seed":505,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":58.81711638602428}],"comparatorId":"ortools_cpsat","configurationId":"ortools-cpsat-case-formulations-v1:pure-sgp-unique-v4","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":6,"reason":null,"summary":{"attemptCount":5,"bestCost":33.0,"medianCost":73.0,"status":"feasible","statusCounts":{"feasible_timeout":5},"validAttemptCount":5}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"social_golfer_online","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"tourneycard","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"utekar","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}}],"dimensions":{"groups":8,"people":32,"sessions":15},"lane":"common_mixing","problemHash":"sha256:1a6ba3a0998c2f7cf8fec58cca3bfa1cf3f63ecf8b40b168d0186668f1305017","resourceClass":"standard","scenarioId":"internal.social-golfer-32x8x15.v1","slug":"social-golfer-32x8x15","summary":"Pure Social Golfer overbound repeat-pressure stretch: 32 participants into 8 groups of 4 across 15 sessions with a meet-at-most-once target.","title":"Social Golfer 32x8x15 (8-4-15)"},{"attemptPolicy":"seeded_five","caseKind":"quality","comparators":[{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"barasu_kun","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"golfsoftware_play_all","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"good_enough_golfers","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":0.0,"commonMetrics":{"contact_incidences":900,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":40,"mean_unique_contacts_per_participant":40.0,"minimum_unique_contacts_per_participant":40,"pair_frequency_histogram":{"1":900},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":900},"peakRssBytes":12779520,"proof":null,"seed":101,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.00776761},{"attemptId":"seed-202","canonicalCost":0.0,"commonMetrics":{"contact_incidences":900,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":40,"mean_unique_contacts_per_participant":40.0,"minimum_unique_contacts_per_participant":40,"pair_frequency_histogram":{"1":900},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":900},"peakRssBytes":12943360,"proof":null,"seed":202,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.003350435},{"attemptId":"seed-303","canonicalCost":0.0,"commonMetrics":{"contact_incidences":900,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":40,"mean_unique_contacts_per_participant":40.0,"minimum_unique_contacts_per_participant":40,"pair_frequency_histogram":{"1":900},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":900},"peakRssBytes":12451840,"proof":null,"seed":303,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.003181779},{"attemptId":"seed-404","canonicalCost":0.0,"commonMetrics":{"contact_incidences":900,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":40,"mean_unique_contacts_per_participant":40.0,"minimum_unique_contacts_per_participant":40,"pair_frequency_histogram":{"1":900},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":900},"peakRssBytes":12779520,"proof":null,"seed":404,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.004493074},{"attemptId":"seed-505","canonicalCost":0.0,"commonMetrics":{"contact_incidences":900,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":40,"mean_unique_contacts_per_participant":40.0,"minimum_unique_contacts_per_participant":40,"pair_frequency_histogram":{"1":900},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":900},"peakRssBytes":12779520,"proof":null,"seed":505,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.004486978}],"comparatorId":"groupmixer","configurationId":"auto-extreme-8-defaults","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":1,"reason":null,"summary":{"attemptCount":5,"bestCost":0.0,"medianCost":0.0,"status":"optimal","statusCounts":{"optimal_zero":5},"validAttemptCount":5}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"gurobi","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"hexaly","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"optimal_group_generator","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":2935.0,"commonMetrics":{"contact_incidences":900,"linear_repeat_penalty":265,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":32,"mean_unique_contacts_per_participant":28.22222222222222,"minimum_unique_contacts_per_participant":25,"pair_frequency_histogram":{"1":371,"2":263,"3":1},"pairs_repeated":264,"squared_repeat_concentration":267,"total_repeat_excess":265,"unique_contacts":635},"peakRssBytes":1578098688,"proof":null,"seed":101,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.02693888096837},{"attemptId":"seed-202","canonicalCost":4990.0,"commonMetrics":{"contact_incidences":900,"linear_repeat_penalty":310,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":26.22222222222222,"minimum_unique_contacts_per_participant":22,"pair_frequency_histogram":{"1":359,"2":152,"3":79},"pairs_repeated":231,"squared_repeat_concentration":468,"total_repeat_excess":310,"unique_contacts":590},"peakRssBytes":1577402368,"proof":null,"seed":202,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.292654308024794},{"attemptId":"seed-303","canonicalCost":4990.0,"commonMetrics":{"contact_incidences":900,"linear_repeat_penalty":310,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":26.22222222222222,"minimum_unique_contacts_per_participant":22,"pair_frequency_histogram":{"1":359,"2":152,"3":79},"pairs_repeated":231,"squared_repeat_concentration":468,"total_repeat_excess":310,"unique_contacts":590},"peakRssBytes":1568911360,"proof":null,"seed":303,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.120179040997755},{"attemptId":"seed-404","canonicalCost":7690.0,"commonMetrics":{"contact_incidences":900,"linear_repeat_penalty":350,"maximum_pair_count":6,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":24.444444444444443,"minimum_unique_contacts_per_participant":19,"pair_frequency_histogram":{"1":319,"2":163,"3":34,"4":22,"5":7,"6":5},"pairs_repeated":231,"squared_repeat_concentration":734,"total_repeat_excess":350,"unique_contacts":550},"peakRssBytes":1549025280,"proof":null,"seed":404,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.19821355002932},{"attemptId":"seed-505","canonicalCost":6012.0,"commonMetrics":{"contact_incidences":900,"linear_repeat_penalty":332,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":31,"mean_unique_contacts_per_participant":25.244444444444444,"minimum_unique_contacts_per_participant":19,"pair_frequency_histogram":{"1":331,"2":165,"3":49,"4":23},"pairs_repeated":237,"squared_repeat_concentration":568,"total_repeat_excess":332,"unique_contacts":568},"peakRssBytes":1542320128,"proof":null,"seed":505,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.47476450901013}],"comparatorId":"ortools_cpsat","configurationId":"ortools-cpsat-case-formulations-v1:pure-sgp-optimized-v4","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":6,"reason":null,"summary":{"attemptCount":5,"bestCost":2935.0,"medianCost":4990.0,"status":"feasible","statusCounts":{"feasible_timeout":5},"validAttemptCount":5}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"social_golfer_online","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"tourneycard","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"utekar","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}}],"dimensions":{"groups":9,"people":45,"sessions":10},"lane":"common_mixing","problemHash":"sha256:315f2a0003dadf74496d7f8a8d513479fa22fc2d508898a7bdb7ce4e371e40d9","resourceClass":"standard","scenarioId":"public.social-golfer-45x9x10.v1","slug":"social-golfer-45x9x10","summary":"Forty-five participants rotate through nine groups of five for ten sessions; a checked construction attains the proven objective minimum of zero repeated pairs for this fixed ten-session problem.","title":"Social Golfer 9–5–10 (45×9×10)"},{"attemptPolicy":"seeded_five","caseKind":"quality","comparators":[{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"barasu_kun","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"golfsoftware_play_all","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"good_enough_golfers","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":0.0,"commonMetrics":{"contact_incidences":3240,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":54,"mean_unique_contacts_per_participant":54.0,"minimum_unique_contacts_per_participant":54,"pair_frequency_histogram":{"1":3240},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":3240},"peakRssBytes":15720448,"proof":null,"seed":101,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.008160151},{"attemptId":"seed-202","canonicalCost":0.0,"commonMetrics":{"contact_incidences":3240,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":54,"mean_unique_contacts_per_participant":54.0,"minimum_unique_contacts_per_participant":54,"pair_frequency_histogram":{"1":3240},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":3240},"peakRssBytes":16060416,"proof":null,"seed":202,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.009347905},{"attemptId":"seed-303","canonicalCost":0.0,"commonMetrics":{"contact_incidences":3240,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":54,"mean_unique_contacts_per_participant":54.0,"minimum_unique_contacts_per_participant":54,"pair_frequency_histogram":{"1":3240},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":3240},"peakRssBytes":16371712,"proof":null,"seed":303,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.013307089},{"attemptId":"seed-404","canonicalCost":0.0,"commonMetrics":{"contact_incidences":3240,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":54,"mean_unique_contacts_per_participant":54.0,"minimum_unique_contacts_per_participant":54,"pair_frequency_histogram":{"1":3240},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":3240},"peakRssBytes":16457728,"proof":null,"seed":404,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.007265796},{"attemptId":"seed-505","canonicalCost":0.0,"commonMetrics":{"contact_incidences":3240,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":54,"mean_unique_contacts_per_participant":54.0,"minimum_unique_contacts_per_participant":54,"pair_frequency_histogram":{"1":3240},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":3240},"peakRssBytes":15220736,"proof":null,"seed":505,"solveSeconds":null,"status":"optimal_zero","wallSeconds":0.016775142}],"comparatorId":"groupmixer","configurationId":"auto-extreme-8-defaults","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":1,"reason":null,"summary":{"attemptCount":5,"bestCost":0.0,"medianCost":0.0,"status":"optimal","statusCounts":{"optimal_zero":5},"validAttemptCount":5}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"gurobi","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"hexaly","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"optimal_group_generator","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":672672.0,"commonMetrics":{"contact_incidences":3240,"linear_repeat_penalty":672,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":45,"mean_unique_contacts_per_participant":42.8,"minimum_unique_contacts_per_participant":40,"pair_frequency_histogram":{"1":1992,"2":480,"3":96},"pairs_repeated":576,"squared_repeat_concentration":864,"total_repeat_excess":672,"unique_contacts":2568},"peakRssBytes":870481920,"proof":null,"seed":101,"solveSeconds":null,"status":"feasible","wallSeconds":40.7487403510022},{"attemptId":"seed-202","canonicalCost":666666.0,"commonMetrics":{"contact_incidences":3240,"linear_repeat_penalty":666,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":47,"mean_unique_contacts_per_participant":42.9,"minimum_unique_contacts_per_participant":38,"pair_frequency_histogram":{"1":1988,"2":511,"3":70,"4":5},"pairs_repeated":586,"squared_repeat_concentration":836,"total_repeat_excess":666,"unique_contacts":2574},"peakRssBytes":932806656,"proof":null,"seed":202,"solveSeconds":null,"status":"feasible","wallSeconds":43.70163495698944},{"attemptId":"seed-303","canonicalCost":576576.0,"commonMetrics":{"contact_incidences":3240,"linear_repeat_penalty":576,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":51,"mean_unique_contacts_per_participant":44.4,"minimum_unique_contacts_per_participant":39,"pair_frequency_histogram":{"1":2157,"2":444,"3":57,"4":6},"pairs_repeated":507,"squared_repeat_concentration":726,"total_repeat_excess":576,"unique_contacts":2664},"peakRssBytes":874291200,"proof":null,"seed":303,"solveSeconds":null,"status":"feasible","wallSeconds":39.78267832403071},{"attemptId":"seed-404","canonicalCost":592592.0,"commonMetrics":{"contact_incidences":3240,"linear_repeat_penalty":592,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":48,"mean_unique_contacts_per_participant":44.13333333333333,"minimum_unique_contacts_per_participant":40,"pair_frequency_histogram":{"1":2136,"2":437,"3":70,"4":5},"pairs_repeated":512,"squared_repeat_concentration":762,"total_repeat_excess":592,"unique_contacts":2648},"peakRssBytes":944934912,"proof":null,"seed":404,"solveSeconds":null,"status":"feasible","wallSeconds":46.062022223020904},{"attemptId":"seed-505","canonicalCost":680680.0,"commonMetrics":{"contact_incidences":3240,"linear_repeat_penalty":680,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":47,"mean_unique_contacts_per_participant":42.666666666666664,"minimum_unique_contacts_per_participant":39,"pair_frequency_histogram":{"1":1959,"2":526,"3":71,"4":4},"pairs_repeated":601,"squared_repeat_concentration":846,"total_repeat_excess":680,"unique_contacts":2560},"peakRssBytes":848515072,"proof":null,"seed":505,"solveSeconds":null,"status":"feasible","wallSeconds":42.36986135999905}],"comparatorId":"ortools_cpsat","configurationId":"ortools-cpsat-case-formulations-v1:pure-sgp-staged-constructor-v3","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":4,"reason":null,"summary":{"attemptCount":5,"bestCost":576576.0,"medianCost":666666.0,"status":"feasible","statusCounts":{"feasible":5},"validAttemptCount":5}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"social_golfer_online","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"tourneycard","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"utekar","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}}],"dimensions":{"groups":12,"people":120,"sessions":6},"lane":"common_mixing","problemHash":"sha256:ebdd3b1e2fd50cacc4c122d3723c06a5bfab47b8dcf48bdeae3cda7bbaf50f66","resourceClass":"standard","scenarioId":"internal.real-world-workshops-120x12x6.v1","slug":"real-world-workshops-120x12x6","summary":"A 120-person six-workshop-session no-repeat reconstruction.","title":"Six student workshop rotations"},{"attemptPolicy":"seeded_five","caseKind":"quality","comparators":[{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"barasu_kun","configurationId":"unsupported-pair-targets","evidenceHref":null,"evidenceRevision":1,"reason":"The product lacks the exact canonical encounter-target and pair-preference semantics.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"golfsoftware_play_all","configurationId":"unsupported-pair-targets","evidenceHref":null,"evidenceRevision":1,"reason":"The product lacks the exact canonical encounter-target and pair-preference semantics.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"good_enough_golfers","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Pair-preference and encounter-target semantics require live exact-mapping verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":4.0,"commonMetrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"peakRssBytes":12779520,"proof":null,"seed":101,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.523593628},{"attemptId":"seed-202","canonicalCost":4.0,"commonMetrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"peakRssBytes":12288000,"proof":null,"seed":202,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.510647435},{"attemptId":"seed-303","canonicalCost":4.0,"commonMetrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"peakRssBytes":11960320,"proof":null,"seed":303,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.590218231},{"attemptId":"seed-404","canonicalCost":4.0,"commonMetrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"peakRssBytes":12124160,"proof":null,"seed":404,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.482927427},{"attemptId":"seed-505","canonicalCost":4.0,"commonMetrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"peakRssBytes":12124160,"proof":null,"seed":505,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.481534229}],"comparatorId":"groupmixer","configurationId":"auto-extreme-8-defaults","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":1,"reason":null,"summary":{"attemptCount":5,"bestCost":4.0,"medianCost":4.0,"status":"feasible","statusCounts":{"feasible_timeout":5},"validAttemptCount":5}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"gurobi","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"hexaly","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"optimal_group_generator","configurationId":"unsupported-pair-targets","evidenceHref":null,"evidenceRevision":1,"reason":"The product lacks the exact canonical encounter-target and pair-preference semantics.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":4.0,"commonMetrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"peakRssBytes":190570496,"proof":"optimality","seed":101,"solveSeconds":null,"status":"optimal_proven","wallSeconds":0.11192898696754128},{"attemptId":"seed-202","canonicalCost":4.0,"commonMetrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"peakRssBytes":190914560,"proof":"optimality","seed":202,"solveSeconds":null,"status":"optimal_proven","wallSeconds":0.0805285350070335},{"attemptId":"seed-303","canonicalCost":4.0,"commonMetrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"peakRssBytes":190136320,"proof":"optimality","seed":303,"solveSeconds":null,"status":"optimal_proven","wallSeconds":0.05918439995730296},{"attemptId":"seed-404","canonicalCost":4.0,"commonMetrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"peakRssBytes":191057920,"proof":"optimality","seed":404,"solveSeconds":null,"status":"optimal_proven","wallSeconds":0.07162919000256807},{"attemptId":"seed-505","canonicalCost":4.0,"commonMetrics":{"contact_incidences":36,"linear_repeat_penalty":12,"maximum_pair_count":3,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":6.0,"minimum_unique_contacts_per_participant":5,"pair_frequency_histogram":{"1":14,"2":8,"3":2},"pairs_repeated":10,"squared_repeat_concentration":16,"total_repeat_excess":12,"unique_contacts":24},"peakRssBytes":190705664,"proof":"optimality","seed":505,"solveSeconds":null,"status":"optimal_proven","wallSeconds":0.06157546199392527}],"comparatorId":"ortools_cpsat","configurationId":"ortools-cpsat-case-formulations-v1:generic-v2","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":1,"reason":null,"summary":{"attemptCount":5,"bestCost":4.0,"medianCost":4.0,"status":"optimal","statusCounts":{"optimal_proven":5},"validAttemptCount":5}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"social_golfer_online","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Pair-preference and encounter-target semantics require live exact-mapping verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"tourneycard","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Pair-preference and encounter-target semantics require live exact-mapping verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"utekar","configurationId":"unsupported-pair-targets","evidenceHref":null,"evidenceRevision":1,"reason":"The product lacks the exact canonical encounter-target and pair-preference semantics.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}}],"dimensions":{"groups":2,"people":8,"sessions":3},"lane":"constrained","problemHash":"sha256:c3e88b66614a28d59c63396fd507449ed8b83ab5008f605da188a9650647f33f","resourceClass":"standard","scenarioId":"example.small-workshop-constrained.v1","slug":"small-workshop-constrained","summary":"A representative small workshop combining hard and soft grouping constraints across multiple sessions.","title":"Small constrained workshop"},{"attemptPolicy":"seeded_five","caseKind":"quality","comparators":[{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"barasu_kun","configurationId":"unsupported-group-visit-windows","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express canonical group-visit counts and sliding spacing windows.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"golfsoftware_play_all","configurationId":"unsupported-group-visit-windows","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express canonical group-visit counts and sliding spacing windows.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"good_enough_golfers","configurationId":"unsupported-group-visit-windows","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express canonical group-visit counts and sliding spacing windows.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":2000.0,"commonMetrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"peakRssBytes":12615680,"proof":null,"seed":101,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.017776791},{"attemptId":"seed-202","canonicalCost":2000.0,"commonMetrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"peakRssBytes":12615680,"proof":null,"seed":202,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":60.001869192},{"attemptId":"seed-303","canonicalCost":2000.0,"commonMetrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"peakRssBytes":12943360,"proof":null,"seed":303,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.022456783},{"attemptId":"seed-404","canonicalCost":2000.0,"commonMetrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"peakRssBytes":12943360,"proof":null,"seed":404,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":60.002890317},{"attemptId":"seed-505","canonicalCost":2000.0,"commonMetrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"peakRssBytes":12288000,"proof":null,"seed":505,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.020417629}],"comparatorId":"groupmixer","configurationId":"auto-extreme-8-defaults","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":1,"reason":null,"summary":{"attemptCount":5,"bestCost":2000.0,"medianCost":2000.0,"status":"feasible","statusCounts":{"feasible_timeout":5},"validAttemptCount":5}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"gurobi","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"hexaly","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"optimal_group_generator","configurationId":"unsupported-group-visit-windows","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express canonical group-visit counts and sliding spacing windows.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":2000.0,"commonMetrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"peakRssBytes":300343296,"proof":null,"seed":101,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.832810425024945},{"attemptId":"seed-202","canonicalCost":2000.0,"commonMetrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"peakRssBytes":300171264,"proof":null,"seed":202,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.775107391993515},{"attemptId":"seed-303","canonicalCost":2000.0,"commonMetrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"peakRssBytes":300830720,"proof":null,"seed":303,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.80213772400748},{"attemptId":"seed-404","canonicalCost":2000.0,"commonMetrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"peakRssBytes":300511232,"proof":null,"seed":404,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.78530668001622},{"attemptId":"seed-505","canonicalCost":2000.0,"commonMetrics":{"contact_incidences":28,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":7,"mean_unique_contacts_per_participant":7.0,"minimum_unique_contacts_per_participant":7,"pair_frequency_histogram":{"1":28},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":28},"peakRssBytes":302968832,"proof":null,"seed":505,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.80367352202302}],"comparatorId":"ortools_cpsat","configurationId":"ortools-cpsat-case-formulations-v1:station-rotation-v2","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":1,"reason":null,"summary":{"attemptCount":5,"bestCost":2000.0,"medianCost":2000.0,"status":"feasible","statusCounts":{"feasible_timeout":5},"validAttemptCount":5}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"social_golfer_online","configurationId":"unsupported-group-visit-windows","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express canonical group-visit counts and sliding spacing windows.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"tourneycard","configurationId":"unsupported-group-visit-windows","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express canonical group-visit counts and sliding spacing windows.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"utekar","configurationId":"unsupported-group-visit-windows","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express canonical group-visit counts and sliding spacing windows.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}}],"dimensions":{"groups":4,"people":8,"sessions":7},"lane":"constrained","problemHash":"sha256:c877da0c8c152c931d57be0f3e7157d9d3ad44513dccb6c3abff315aa78f5202","resourceClass":"standard","scenarioId":"internal.stack-scout-patrol-rota-8p-4g-7s.v1","slug":"stack-scout-patrol-rota-8p-4g-7s","summary":"An eight-person patrol rota combining exact pair pressure, patrol visits, and three-session spacing.","title":"Scout patrol leader rotation"},{"attemptPolicy":"seeded_five","caseKind":"quality","comparators":[{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"barasu_kun","configurationId":"unsupported-group-visit-counts","evidenceHref":null,"evidenceRevision":2,"reason":"The product cannot express canonical per-station visit-count targets.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"golfsoftware_play_all","configurationId":"unsupported-group-visit-counts","evidenceHref":null,"evidenceRevision":2,"reason":"The product cannot express canonical per-station visit-count targets.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"good_enough_golfers","configurationId":"unsupported-group-visit-counts","evidenceHref":null,"evidenceRevision":2,"reason":"The product cannot express canonical per-station visit-count targets.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":80.0,"commonMetrics":{"contact_incidences":108,"linear_repeat_penalty":8,"maximum_pair_count":2,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":11.11111111111111,"minimum_unique_contacts_per_participant":10,"pair_frequency_histogram":{"1":92,"2":8},"pairs_repeated":8,"squared_repeat_concentration":8,"total_repeat_excess":8,"unique_contacts":100},"peakRssBytes":13598720,"proof":null,"seed":101,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.058685509},{"attemptId":"seed-202","canonicalCost":90.0,"commonMetrics":{"contact_incidences":108,"linear_repeat_penalty":9,"maximum_pair_count":2,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":11.0,"minimum_unique_contacts_per_participant":10,"pair_frequency_histogram":{"1":90,"2":9},"pairs_repeated":9,"squared_repeat_concentration":9,"total_repeat_excess":9,"unique_contacts":99},"peakRssBytes":13598720,"proof":null,"seed":202,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.157074139},{"attemptId":"seed-303","canonicalCost":30.0,"commonMetrics":{"contact_incidences":108,"linear_repeat_penalty":3,"maximum_pair_count":2,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":11.666666666666666,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":102,"2":3},"pairs_repeated":3,"squared_repeat_concentration":3,"total_repeat_excess":3,"unique_contacts":105},"peakRssBytes":13926400,"proof":null,"seed":303,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.253604077},{"attemptId":"seed-404","canonicalCost":110.0,"commonMetrics":{"contact_incidences":108,"linear_repeat_penalty":11,"maximum_pair_count":2,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":10.77777777777778,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":86,"2":11},"pairs_repeated":11,"squared_repeat_concentration":11,"total_repeat_excess":11,"unique_contacts":97},"peakRssBytes":13271040,"proof":null,"seed":404,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.034033362},{"attemptId":"seed-505","canonicalCost":70.0,"commonMetrics":{"contact_incidences":108,"linear_repeat_penalty":7,"maximum_pair_count":2,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":11.22222222222222,"minimum_unique_contacts_per_participant":9,"pair_frequency_histogram":{"1":94,"2":7},"pairs_repeated":7,"squared_repeat_concentration":7,"total_repeat_excess":7,"unique_contacts":101},"peakRssBytes":13271040,"proof":null,"seed":505,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.083022082}],"comparatorId":"groupmixer","configurationId":"auto-extreme-8-defaults","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":2,"reason":null,"summary":{"attemptCount":5,"bestCost":30.0,"medianCost":80.0,"status":"feasible","statusCounts":{"feasible_timeout":5},"validAttemptCount":5}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"gurobi","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":2,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"hexaly","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":2,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"optimal_group_generator","configurationId":"unsupported-group-visit-counts","evidenceHref":null,"evidenceRevision":2,"reason":"The product cannot express canonical per-station visit-count targets.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":0.0,"commonMetrics":{"contact_incidences":108,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":12.0,"minimum_unique_contacts_per_participant":12,"pair_frequency_histogram":{"1":108},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":108},"peakRssBytes":2487676928,"proof":"optimality","seed":101,"solveSeconds":null,"status":"optimal_zero","wallSeconds":9.887928603973704},{"attemptId":"seed-202","canonicalCost":0.0,"commonMetrics":{"contact_incidences":108,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":12.0,"minimum_unique_contacts_per_participant":12,"pair_frequency_histogram":{"1":108},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":108},"peakRssBytes":191799296,"proof":"optimality","seed":202,"solveSeconds":null,"status":"optimal_zero","wallSeconds":4.518244776001666},{"attemptId":"seed-303","canonicalCost":0.0,"commonMetrics":{"contact_incidences":108,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":12.0,"minimum_unique_contacts_per_participant":12,"pair_frequency_histogram":{"1":108},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":108},"peakRssBytes":190722048,"proof":"optimality","seed":303,"solveSeconds":null,"status":"optimal_zero","wallSeconds":4.404981642961502},{"attemptId":"seed-404","canonicalCost":0.0,"commonMetrics":{"contact_incidences":108,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":12.0,"minimum_unique_contacts_per_participant":12,"pair_frequency_histogram":{"1":108},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":108},"peakRssBytes":191414272,"proof":"optimality","seed":404,"solveSeconds":null,"status":"optimal_zero","wallSeconds":6.18463673099177},{"attemptId":"seed-505","canonicalCost":0.0,"commonMetrics":{"contact_incidences":108,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":12,"mean_unique_contacts_per_participant":12.0,"minimum_unique_contacts_per_participant":12,"pair_frequency_histogram":{"1":108},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":108},"peakRssBytes":190816256,"proof":"optimality","seed":505,"solveSeconds":null,"status":"optimal_zero","wallSeconds":4.724383538996335}],"comparatorId":"ortools_cpsat","configurationId":"ortools-cpsat-case-formulations-v1:station-rotation-zero-target-v3","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":3,"reason":null,"summary":{"attemptCount":5,"bestCost":0.0,"medianCost":0.0,"status":"optimal","statusCounts":{"optimal_zero":5},"validAttemptCount":5}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"social_golfer_online","configurationId":"unsupported-group-visit-counts","evidenceHref":null,"evidenceRevision":2,"reason":"The product cannot express canonical per-station visit-count targets.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"tourneycard","configurationId":"unsupported-group-visit-counts","evidenceHref":null,"evidenceRevision":2,"reason":"The product cannot express canonical per-station visit-count targets.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"utekar","configurationId":"unsupported-group-visit-counts","evidenceHref":null,"evidenceRevision":2,"reason":"The product cannot express canonical per-station visit-count targets.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}}],"dimensions":{"groups":6,"people":18,"sessions":6},"lane":"constrained","problemHash":"sha256:52f92bd7df24c5f62e9f80b3bbdd20cf33e6e6a6e021e6eb33a878ba07a80ac4","resourceClass":"standard","scenarioId":"internal.station-rotation-18p-6g-6s.v1","slug":"station-rotation-18p-6g-6s","summary":"Eighteen participants rotate through six named stations while squared penalties discourage missed station visits and repeated encounters.","title":"Canonical station rotation 18×6×6"},{"attemptPolicy":"seeded_five","caseKind":"quality","comparators":[{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"barasu_kun","configurationId":"unsupported-mixed-semantics","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express the full canonical combination of changing capacities, attributes, placements, encounter targets, and pair rules.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"golfsoftware_play_all","configurationId":"unsupported-mixed-semantics","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express the full canonical combination of changing capacities, attributes, placements, encounter targets, and pair rules.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"good_enough_golfers","configurationId":"unsupported-mixed-semantics","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express the full canonical combination of changing capacities, attributes, placements, encounter targets, and pair rules.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":1326.0,"commonMetrics":{"contact_incidences":1486,"linear_repeat_penalty":373,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":48,"mean_unique_contacts_per_participant":39.05263157894737,"minimum_unique_contacts_per_participant":35,"pair_frequency_histogram":{"1":798,"2":270,"3":37,"4":3,"5":5},"pairs_repeated":315,"squared_repeat_concentration":525,"total_repeat_excess":373,"unique_contacts":1113},"peakRssBytes":19496960,"proof":null,"seed":101,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.201943271},{"attemptId":"seed-202","canonicalCost":1316.0,"commonMetrics":{"contact_incidences":1486,"linear_repeat_penalty":383,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":50,"mean_unique_contacts_per_participant":38.70175438596491,"minimum_unique_contacts_per_participant":34,"pair_frequency_histogram":{"1":770,"2":294,"3":33,"4":1,"5":5},"pairs_repeated":333,"squared_repeat_concentration":515,"total_repeat_excess":383,"unique_contacts":1103},"peakRssBytes":19660800,"proof":null,"seed":202,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.234594352},{"attemptId":"seed-303","canonicalCost":1332.0,"commonMetrics":{"contact_incidences":1486,"linear_repeat_penalty":370,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":47,"mean_unique_contacts_per_participant":39.1578947368421,"minimum_unique_contacts_per_participant":34,"pair_frequency_histogram":{"1":802,"2":273,"3":32,"4":3,"5":6},"pairs_repeated":314,"squared_repeat_concentration":524,"total_repeat_excess":370,"unique_contacts":1116},"peakRssBytes":19169280,"proof":null,"seed":303,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.573443439},{"attemptId":"seed-404","canonicalCost":1314.0,"commonMetrics":{"contact_incidences":1486,"linear_repeat_penalty":372,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":49,"mean_unique_contacts_per_participant":39.08771929824562,"minimum_unique_contacts_per_participant":35,"pair_frequency_histogram":{"1":792,"2":283,"3":33,"4":1,"5":5},"pairs_repeated":322,"squared_repeat_concentration":504,"total_repeat_excess":372,"unique_contacts":1114},"peakRssBytes":19345408,"proof":null,"seed":404,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.273262021},{"attemptId":"seed-505","canonicalCost":1310.0,"commonMetrics":{"contact_incidences":1486,"linear_repeat_penalty":360,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":49,"mean_unique_contacts_per_participant":39.50877192982456,"minimum_unique_contacts_per_participant":35,"pair_frequency_histogram":{"1":824,"2":261,"3":30,"4":5,"5":6},"pairs_repeated":302,"squared_repeat_concentration":522,"total_repeat_excess":360,"unique_contacts":1126},"peakRssBytes":19607552,"proof":null,"seed":505,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":59.254398993}],"comparatorId":"groupmixer","configurationId":"auto-extreme-8-defaults","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":1,"reason":null,"summary":{"attemptCount":5,"bestCost":1310.0,"medianCost":1316.0,"status":"feasible","statusCounts":{"feasible_timeout":5},"validAttemptCount":5}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"gurobi","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"hexaly","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"optimal_group_generator","configurationId":"unsupported-mixed-semantics","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express the full canonical combination of changing capacities, attributes, placements, encounter targets, and pair rules.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":3242.0,"commonMetrics":{"contact_incidences":1486,"linear_repeat_penalty":464,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":41,"mean_unique_contacts_per_participant":35.85964912280702,"minimum_unique_contacts_per_participant":31,"pair_frequency_histogram":{"1":656,"2":283,"3":73,"4":5,"5":5},"pairs_repeated":366,"squared_repeat_concentration":700,"total_repeat_excess":464,"unique_contacts":1022},"peakRssBytes":1186975744,"proof":null,"seed":101,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":58.790700324985664},{"attemptId":"seed-202","canonicalCost":3031.0,"commonMetrics":{"contact_incidences":1489,"linear_repeat_penalty":479,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":41,"mean_unique_contacts_per_participant":35.43859649122807,"minimum_unique_contacts_per_participant":29,"pair_frequency_histogram":{"1":652,"2":264,"3":73,"4":15,"5":6},"pairs_repeated":358,"squared_repeat_concentration":787,"total_repeat_excess":479,"unique_contacts":1010},"peakRssBytes":1192726528,"proof":null,"seed":202,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":58.6706701220246},{"attemptId":"seed-303","canonicalCost":5023.0,"commonMetrics":{"contact_incidences":1487,"linear_repeat_penalty":413,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":42,"mean_unique_contacts_per_participant":37.68421052631579,"minimum_unique_contacts_per_participant":34,"pair_frequency_histogram":{"1":701,"2":343,"3":25,"5":5},"pairs_repeated":373,"squared_repeat_concentration":523,"total_repeat_excess":413,"unique_contacts":1074},"peakRssBytes":1184800768,"proof":null,"seed":303,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":58.408078345994},{"attemptId":"seed-404","canonicalCost":3269.0,"commonMetrics":{"contact_incidences":1487,"linear_repeat_penalty":462,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":40,"mean_unique_contacts_per_participant":35.96491228070175,"minimum_unique_contacts_per_participant":30,"pair_frequency_histogram":{"1":659,"2":288,"3":65,"4":8,"5":5},"pairs_repeated":366,"squared_repeat_concentration":700,"total_repeat_excess":462,"unique_contacts":1025},"peakRssBytes":1209688064,"proof":null,"seed":404,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":58.53774973197142},{"attemptId":"seed-505","canonicalCost":2605.0,"commonMetrics":{"contact_incidences":1487,"linear_repeat_penalty":467,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":41,"mean_unique_contacts_per_participant":35.78947368421053,"minimum_unique_contacts_per_participant":30,"pair_frequency_histogram":{"1":647,"2":296,"3":66,"4":5,"5":6},"pairs_repeated":373,"squared_repeat_concentration":701,"total_repeat_excess":467,"unique_contacts":1020},"peakRssBytes":1169506304,"proof":null,"seed":505,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":58.58830519899493}],"comparatorId":"ortools_cpsat","configurationId":"ortools-cpsat-case-formulations-v1:generic-staged-v4","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":6,"reason":null,"summary":{"attemptCount":5,"bestCost":2605.0,"medianCost":3242.0,"status":"feasible","statusCounts":{"feasible_timeout":5},"validAttemptCount":5}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"social_golfer_online","configurationId":"unsupported-mixed-semantics","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express the full canonical combination of changing capacities, attributes, placements, encounter targets, and pair rules.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"tourneycard","configurationId":"unsupported-mixed-semantics","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express the full canonical combination of changing capacities, attributes, placements, encounter targets, and pair rules.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"utekar","configurationId":"unsupported-mixed-semantics","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express the full canonical combination of changing capacities, attributes, placements, encounter targets, and pair rules.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}}],"dimensions":{"groups":5,"people":57,"sessions":5},"lane":"constrained","problemHash":"sha256:8b091cd34b39069824fe28818cbd8b4957082cd9c0e05b54265e5f10834777cd","resourceClass":"standard","scenarioId":"internal.sailing-trip-57p-5g-5s.v1","slug":"sailing-trip-57p-5g-5s","summary":"An owner-authorized, anonymized five-session sailing workload preserving the complete objective and mixed-constraint structure of the recovered GroupMixer setup.","title":"Anonymized 57-person sailing trip"},{"attemptPolicy":"seeded_five","caseKind":"quality","comparators":[{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"barasu_kun","configurationId":"unsupported-mixed-semantics","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express the full canonical combination of partial attendance, capacity pressure, attributes, placements, encounters, and hard pair rules.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"golfsoftware_play_all","configurationId":"unsupported-mixed-semantics","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express the full canonical combination of partial attendance, capacity pressure, attributes, placements, encounters, and hard pair rules.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"good_enough_golfers","configurationId":"unsupported-mixed-semantics","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express the full canonical combination of partial attendance, capacity pressure, attributes, placements, encounters, and hard pair rules.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":2409.0,"commonMetrics":{"contact_incidences":2188,"linear_repeat_penalty":169,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":45,"mean_unique_contacts_per_participant":26.56578947368421,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":1896,"2":88,"3":24,"4":11},"pairs_repeated":123,"squared_repeat_concentration":283,"total_repeat_excess":169,"unique_contacts":2019},"peakRssBytes":29425664,"proof":null,"seed":101,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":299.76443967},{"attemptId":"seed-202","canonicalCost":2409.0,"commonMetrics":{"contact_incidences":2188,"linear_repeat_penalty":169,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":46,"mean_unique_contacts_per_participant":26.56578947368421,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":1896,"2":88,"3":24,"4":11},"pairs_repeated":123,"squared_repeat_concentration":283,"total_repeat_excess":169,"unique_contacts":2019},"peakRssBytes":29679616,"proof":null,"seed":202,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":299.801918507},{"attemptId":"seed-303","canonicalCost":2437.0,"commonMetrics":{"contact_incidences":2188,"linear_repeat_penalty":169,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":45,"mean_unique_contacts_per_participant":26.56578947368421,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":1896,"2":88,"3":24,"4":11},"pairs_repeated":123,"squared_repeat_concentration":283,"total_repeat_excess":169,"unique_contacts":2019},"peakRssBytes":30740480,"proof":null,"seed":303,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":300.060559552},{"attemptId":"seed-404","canonicalCost":2457.0,"commonMetrics":{"contact_incidences":2188,"linear_repeat_penalty":169,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":46,"mean_unique_contacts_per_participant":26.56578947368421,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":1897,"2":86,"3":25,"4":11},"pairs_repeated":122,"squared_repeat_concentration":285,"total_repeat_excess":169,"unique_contacts":2019},"peakRssBytes":29536256,"proof":null,"seed":404,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":299.724567139},{"attemptId":"seed-505","canonicalCost":2422.0,"commonMetrics":{"contact_incidences":2188,"linear_repeat_penalty":170,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":45,"mean_unique_contacts_per_participant":26.55263157894737,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":1894,"2":89,"3":24,"4":11},"pairs_repeated":124,"squared_repeat_concentration":284,"total_repeat_excess":170,"unique_contacts":2018},"peakRssBytes":29552640,"proof":null,"seed":505,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":299.74755551}],"comparatorId":"groupmixer","configurationId":"auto-extreme-8-defaults","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":1,"reason":null,"summary":{"attemptCount":5,"bestCost":2409.0,"medianCost":2422.0,"status":"feasible","statusCounts":{"feasible_timeout":5},"validAttemptCount":5}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"gurobi","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"hexaly","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"optimal_group_generator","configurationId":"unsupported-mixed-semantics","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express the full canonical combination of partial attendance, capacity pressure, attributes, placements, encounters, and hard pair rules.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":null,"commonMetrics":null,"peakRssBytes":4436729856,"proof":null,"seed":101,"solveSeconds":null,"status":"no_solution_timeout","wallSeconds":300.021241588},{"attemptId":"seed-202","canonicalCost":8037.0,"commonMetrics":{"contact_incidences":2188,"linear_repeat_penalty":138,"maximum_pair_count":4,"maximum_unique_contacts_per_participant":47,"mean_unique_contacts_per_participant":26.973684210526315,"minimum_unique_contacts_per_participant":18,"pair_frequency_histogram":{"1":1960,"2":53,"3":26,"4":11},"pairs_repeated":90,"squared_repeat_concentration":256,"total_repeat_excess":138,"unique_contacts":2050},"peakRssBytes":4441387008,"proof":null,"seed":202,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":299.4418967909878},{"attemptId":"seed-303","canonicalCost":null,"commonMetrics":null,"peakRssBytes":4317478912,"proof":null,"seed":303,"solveSeconds":null,"status":"no_solution_timeout","wallSeconds":300.06267477},{"attemptId":"seed-404","canonicalCost":null,"commonMetrics":null,"peakRssBytes":4177031168,"proof":null,"seed":404,"solveSeconds":null,"status":"no_solution_timeout","wallSeconds":300.017521819},{"attemptId":"seed-505","canonicalCost":null,"commonMetrics":null,"peakRssBytes":4442480640,"proof":null,"seed":505,"solveSeconds":null,"status":"no_solution_timeout","wallSeconds":300.008228881}],"comparatorId":"ortools_cpsat","configurationId":"ortools-cpsat-case-formulations-v1:generic-staged-heavy-v4","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":6,"reason":null,"summary":{"attemptCount":5,"bestCost":8037.0,"medianCost":8037.0,"status":"feasible","statusCounts":{"feasible_timeout":1,"no_solution_timeout":4},"validAttemptCount":1}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"social_golfer_online","configurationId":"unsupported-mixed-semantics","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express the full canonical combination of partial attendance, capacity pressure, attributes, placements, encounters, and hard pair rules.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"tourneycard","configurationId":"unsupported-mixed-semantics","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express the full canonical combination of partial attendance, capacity pressure, attributes, placements, encounters, and hard pair rules.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"utekar","configurationId":"unsupported-mixed-semantics","evidenceHref":null,"evidenceRevision":1,"reason":"The product cannot express the full canonical combination of partial attendance, capacity pressure, attributes, placements, encounters, and hard pair rules.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}}],"dimensions":{"groups":12,"people":152,"sessions":6},"lane":"capability_frontier","problemHash":"sha256:ea0b135ec480fdc43ca7a335343b0aa93854dc1c4fe9d92391b42a127bb6431d","resourceClass":"heavy","scenarioId":"internal.partial-attendance-keep-apart-capacity-pressure-152p.v1","slug":"partial-attendance-keep-apart-capacity-pressure-152p","summary":"The deterministic partial-attendance capacity workload extended with dense session-scoped hard separation windows.","title":"Partial-attendance keep-apart capacity pressure, 152 participants"},{"attemptPolicy":"seeded_five","caseKind":"quality","comparators":[{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"barasu_kun","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"golfsoftware_play_all","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"good_enough_golfers","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":2442.0,"commonMetrics":{"contact_incidences":17836,"linear_repeat_penalty":2442,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":171,"mean_unique_contacts_per_participant":157.08163265306123,"minimum_unique_contacts_per_participant":143,"pair_frequency_histogram":{"1":13175,"2":2015,"3":187,"4":15,"5":2},"pairs_repeated":2219,"squared_repeat_concentration":2930,"total_repeat_excess":2442,"unique_contacts":15394},"peakRssBytes":52834304,"proof":null,"seed":101,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":299.731120051},{"attemptId":"seed-202","canonicalCost":2425.0,"commonMetrics":{"contact_incidences":17836,"linear_repeat_penalty":2425,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":172,"mean_unique_contacts_per_participant":157.25510204081633,"minimum_unique_contacts_per_participant":145,"pair_frequency_histogram":{"1":13221,"2":1980,"3":186,"4":23,"5":1},"pairs_repeated":2190,"squared_repeat_concentration":2947,"total_repeat_excess":2425,"unique_contacts":15411},"peakRssBytes":53153792,"proof":null,"seed":202,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":299.359669372},{"attemptId":"seed-303","canonicalCost":2450.0,"commonMetrics":{"contact_incidences":17836,"linear_repeat_penalty":2450,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":170,"mean_unique_contacts_per_participant":157.0,"minimum_unique_contacts_per_participant":142,"pair_frequency_histogram":{"1":13135,"2":2070,"3":166,"4":12,"5":3},"pairs_repeated":2251,"squared_repeat_concentration":2890,"total_repeat_excess":2450,"unique_contacts":15386},"peakRssBytes":52842496,"proof":null,"seed":303,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":299.213030888},{"attemptId":"seed-404","canonicalCost":2456.0,"commonMetrics":{"contact_incidences":17836,"linear_repeat_penalty":2456,"maximum_pair_count":6,"maximum_unique_contacts_per_participant":169,"mean_unique_contacts_per_participant":156.9387755102041,"minimum_unique_contacts_per_participant":143,"pair_frequency_histogram":{"1":13165,"2":2006,"3":180,"4":27,"5":1,"6":1},"pairs_repeated":2215,"squared_repeat_concentration":3010,"total_repeat_excess":2456,"unique_contacts":15380},"peakRssBytes":53182464,"proof":null,"seed":404,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":299.439824212},{"attemptId":"seed-505","canonicalCost":2447.0,"commonMetrics":{"contact_incidences":17836,"linear_repeat_penalty":2447,"maximum_pair_count":5,"maximum_unique_contacts_per_participant":169,"mean_unique_contacts_per_participant":157.03061224489795,"minimum_unique_contacts_per_participant":144,"pair_frequency_histogram":{"1":13170,"2":2008,"3":195,"4":15,"5":1},"pairs_repeated":2219,"squared_repeat_concentration":2939,"total_repeat_excess":2447,"unique_contacts":15389},"peakRssBytes":52822016,"proof":null,"seed":505,"solveSeconds":null,"status":"feasible_timeout","wallSeconds":299.713356045}],"comparatorId":"groupmixer","configurationId":"auto-extreme-8-defaults","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":1,"reason":null,"summary":{"attemptCount":5,"bestCost":2425.0,"medianCost":2447.0,"status":"feasible","statusCounts":{"feasible_timeout":5},"validAttemptCount":5}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"gurobi","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"hexaly","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"optimal_group_generator","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":null,"commonMetrics":null,"peakRssBytes":6442958848,"proof":null,"seed":101,"solveSeconds":null,"status":"error","terminalDetail":{"memoryAllocationFailure":true,"outerWatchdogFired":true},"wallSeconds":305.017949614},{"attemptId":"seed-202","canonicalCost":null,"commonMetrics":null,"peakRssBytes":6494007296,"proof":null,"seed":202,"solveSeconds":null,"status":"error","terminalDetail":{"memoryAllocationFailure":true,"outerWatchdogFired":true},"wallSeconds":305.056424},{"attemptId":"seed-303","canonicalCost":null,"commonMetrics":null,"peakRssBytes":6547664896,"proof":null,"seed":303,"solveSeconds":null,"status":"error","terminalDetail":{"memoryAllocationFailure":true,"outerWatchdogFired":true},"wallSeconds":305.067236416},{"attemptId":"seed-404","canonicalCost":null,"commonMetrics":null,"peakRssBytes":6440546304,"proof":null,"seed":404,"solveSeconds":null,"status":"error","terminalDetail":{"memoryAllocationFailure":true,"outerWatchdogFired":true},"wallSeconds":305.016287506},{"attemptId":"seed-505","canonicalCost":null,"commonMetrics":null,"peakRssBytes":6366375936,"proof":null,"seed":505,"solveSeconds":null,"status":"error","terminalDetail":{"memoryAllocationFailure":true,"outerWatchdogFired":false},"wallSeconds":244.587903428}],"comparatorId":"ortools_cpsat","configurationId":"ortools-cpsat-case-formulations-v1:pure-sgp-no-hint-v3","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":2,"reason":null,"summary":{"attemptCount":5,"bestCost":null,"medianCost":null,"status":"error","statusCounts":{"error":5},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"social_golfer_online","configurationId":"social-golfer-online-beta-120-member-limit","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":1,"reason":"The live hosted beta rejected member 121 with HTTP 422, so its 120-member limit cannot represent this 196-participant case.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"observedLimit":{"accepted_member_count":120,"attempted_member_count":121,"http_status":422,"response_body":"{\"detail\":\"Number of members limited during beta\"}"},"status":"unsupported","statusCounts":{"unsupported_live_limit":1},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"tourneycard","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"utekar","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}}],"dimensions":{"groups":14,"people":196,"sessions":14},"lane":"capability_frontier","problemHash":"sha256:ee8bf6ced63c1330ed42b27c975edce57f42cb7618ee44137868aa9fb4a2e16b","resourceClass":"heavy","scenarioId":"internal.social-golfer-196x14x14.v1","slug":"social-golfer-196x14x14","summary":"Synthetic pure Social Golfer scenario: 196 participants into 14 groups of 14 across 14 sessions, maximizing unique contacts.","title":"Social Golfer 196x14x14 (14-14-14)"},{"attemptPolicy":"seeded_five","caseKind":"quality","comparators":[{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"barasu_kun","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"golfsoftware_play_all","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"good_enough_golfers","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":0.0,"commonMetrics":{"contact_incidences":39060,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":279,"mean_unique_contacts_per_participant":279.0,"minimum_unique_contacts_per_participant":279,"pair_frequency_histogram":{"1":39060},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":39060},"peakRssBytes":267603968,"proof":null,"seed":101,"solveSeconds":null,"status":"optimal_zero","wallSeconds":2.453729453},{"attemptId":"seed-202","canonicalCost":0.0,"commonMetrics":{"contact_incidences":39060,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":279,"mean_unique_contacts_per_participant":279.0,"minimum_unique_contacts_per_participant":279,"pair_frequency_histogram":{"1":39060},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":39060},"peakRssBytes":270204928,"proof":null,"seed":202,"solveSeconds":null,"status":"optimal_zero","wallSeconds":2.686999534},{"attemptId":"seed-303","canonicalCost":0.0,"commonMetrics":{"contact_incidences":39060,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":279,"mean_unique_contacts_per_participant":279.0,"minimum_unique_contacts_per_participant":279,"pair_frequency_histogram":{"1":39060},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":39060},"peakRssBytes":270598144,"proof":null,"seed":303,"solveSeconds":null,"status":"optimal_zero","wallSeconds":2.6067838610000003},{"attemptId":"seed-404","canonicalCost":0.0,"commonMetrics":{"contact_incidences":39060,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":279,"mean_unique_contacts_per_participant":279.0,"minimum_unique_contacts_per_participant":279,"pair_frequency_histogram":{"1":39060},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":39060},"peakRssBytes":269742080,"proof":null,"seed":404,"solveSeconds":null,"status":"optimal_zero","wallSeconds":2.626108935},{"attemptId":"seed-505","canonicalCost":0.0,"commonMetrics":{"contact_incidences":39060,"linear_repeat_penalty":0,"maximum_pair_count":1,"maximum_unique_contacts_per_participant":279,"mean_unique_contacts_per_participant":279.0,"minimum_unique_contacts_per_participant":279,"pair_frequency_histogram":{"1":39060},"pairs_repeated":0,"squared_repeat_concentration":0,"total_repeat_excess":0,"unique_contacts":39060},"peakRssBytes":271081472,"proof":null,"seed":505,"solveSeconds":null,"status":"optimal_zero","wallSeconds":2.19131472}],"comparatorId":"groupmixer","configurationId":"auto-extreme-8-defaults","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":1,"reason":null,"summary":{"attemptCount":5,"bestCost":0.0,"medianCost":0.0,"status":"optimal","statusCounts":{"optimal_zero":5},"validAttemptCount":5}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"gurobi","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unavailable","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"hexaly","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"optimal_group_generator","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"seeded_five","attempts":[{"attemptId":"seed-101","canonicalCost":null,"commonMetrics":null,"peakRssBytes":7406338048,"proof":null,"seed":101,"solveSeconds":null,"status":"error","terminalDetail":{"memoryAllocationFailure":true,"outerWatchdogFired":false},"wallSeconds":169.045968616},{"attemptId":"seed-202","canonicalCost":null,"commonMetrics":null,"peakRssBytes":7393734656,"proof":null,"seed":202,"solveSeconds":null,"status":"error","terminalDetail":{"memoryAllocationFailure":true,"outerWatchdogFired":false},"wallSeconds":129.232198187},{"attemptId":"seed-303","canonicalCost":null,"commonMetrics":null,"peakRssBytes":7391244288,"proof":null,"seed":303,"solveSeconds":null,"status":"error","terminalDetail":{"memoryAllocationFailure":true,"outerWatchdogFired":false},"wallSeconds":126.187408077},{"attemptId":"seed-404","canonicalCost":null,"commonMetrics":null,"peakRssBytes":7397068800,"proof":null,"seed":404,"solveSeconds":null,"status":"error","terminalDetail":{"memoryAllocationFailure":true,"outerWatchdogFired":false},"wallSeconds":117.652816601},{"attemptId":"seed-505","canonicalCost":null,"commonMetrics":null,"peakRssBytes":7408230400,"proof":null,"seed":505,"solveSeconds":null,"status":"error","terminalDetail":{"memoryAllocationFailure":true,"outerWatchdogFired":false},"wallSeconds":97.910356542}],"comparatorId":"ortools_cpsat","configurationId":"ortools-cpsat-case-formulations-v1:generic-v2","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":1,"reason":null,"summary":{"attemptCount":5,"bestCost":null,"medianCost":null,"status":"error","statusCounts":{"error":5},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"social_golfer_online","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"tourneycard","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}},{"admissionState":"verify","attemptPolicy":"seeded_five","attempts":[],"comparatorId":"utekar","configurationId":"pending-live-workflow","evidenceHref":null,"evidenceRevision":1,"reason":"Live limits, exact geometry, quality mode, and output capture require verification.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"pending_verification","statusCounts":{},"validAttemptCount":0}}],"dimensions":{"groups":36,"people":280,"sessions":41},"lane":"capability_frontier","problemHash":"sha256:af59e8e0872e1ef2dbd347c8397191e0da6898689fd69a6ede36e13960770fde","resourceClass":"heavy","scenarioId":"internal.minimum-occupancy-rotation-280p-36g-41s.v1","slug":"minimum-occupancy-rotation-280p-36g-41s","summary":"A 280-participant rotation through 36 groups of capacity 8 and minimum occupancy 6 across 41 sessions, minimizing repeated encounters.","title":"Minimum-occupancy rotation, 280 participants, 36 groups, 41 sessions"},{"attemptPolicy":"deterministic_single","caseKind":"hard_infeasible_proof","comparators":[{"admissionState":"unsupported","attemptPolicy":"deterministic_single","attempts":[],"comparatorId":"barasu_kun","configurationId":"unsupported-proof-certificate","evidenceHref":null,"evidenceRevision":1,"reason":"The product does not expose a certifiable hard-infeasibility proof workflow.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"deterministic_single","attempts":[],"comparatorId":"golfsoftware_play_all","configurationId":"unsupported-proof-certificate","evidenceHref":null,"evidenceRevision":1,"reason":"The product does not expose a certifiable hard-infeasibility proof workflow.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"deterministic_single","attempts":[],"comparatorId":"good_enough_golfers","configurationId":"unsupported-proof-certificate","evidenceHref":null,"evidenceRevision":1,"reason":"The product does not expose a certifiable hard-infeasibility proof workflow.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"deterministic_single","attempts":[{"attemptId":"deterministic","canonicalCost":null,"commonMetrics":null,"peakRssBytes":10158080,"proof":"hard_infeasibility","seed":null,"solveSeconds":null,"status":"infeasible_proven","wallSeconds":0.002872817}],"comparatorId":"groupmixer","configurationId":"auto-extreme-8-defaults","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":1,"reason":null,"summary":{"attemptCount":1,"bestCost":null,"medianCost":null,"status":"infeasible_proven","statusCounts":{"infeasible_proven":1},"validAttemptCount":0}},{"admissionState":"unavailable","attemptPolicy":"deterministic_single","attempts":[],"comparatorId":"gurobi","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unavailable","attemptPolicy":"deterministic_single","attempts":[],"comparatorId":"hexaly","configurationId":"unavailable-license","evidenceHref":null,"evidenceRevision":1,"reason":"No runnable licensed environment and reproducible formulation are available for v1.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unavailable","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"deterministic_single","attempts":[],"comparatorId":"optimal_group_generator","configurationId":"unsupported-proof-certificate","evidenceHref":null,"evidenceRevision":1,"reason":"The product does not expose a certifiable hard-infeasibility proof workflow.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"eligible","attemptPolicy":"deterministic_single","attempts":[{"attemptId":"deterministic","canonicalCost":null,"commonMetrics":null,"peakRssBytes":190160896,"proof":"hard_infeasibility","seed":null,"solveSeconds":null,"status":"infeasible_proven","wallSeconds":0.0110234510502778}],"comparatorId":"ortools_cpsat","configurationId":"ortools-cpsat-case-formulations-v1:generic-v2","evidenceHref":"/benchmarks/public-group-generator-v1/revision-9/evidence.tar.gz","evidenceRevision":1,"reason":null,"summary":{"attemptCount":1,"bestCost":null,"medianCost":null,"status":"infeasible_proven","statusCounts":{"infeasible_proven":1},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"deterministic_single","attempts":[],"comparatorId":"social_golfer_online","configurationId":"unsupported-proof-certificate","evidenceHref":null,"evidenceRevision":1,"reason":"The product does not expose a certifiable hard-infeasibility proof workflow.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"deterministic_single","attempts":[],"comparatorId":"tourneycard","configurationId":"unsupported-proof-certificate","evidenceHref":null,"evidenceRevision":1,"reason":"The product does not expose a certifiable hard-infeasibility proof workflow.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}},{"admissionState":"unsupported","attemptPolicy":"deterministic_single","attempts":[],"comparatorId":"utekar","configurationId":"unsupported-proof-certificate","evidenceHref":null,"evidenceRevision":1,"reason":"The product does not expose a certifiable hard-infeasibility proof workflow.","summary":{"attemptCount":0,"bestCost":null,"medianCost":null,"status":"unsupported","statusCounts":{},"validAttemptCount":0}}],"dimensions":{"groups":2,"people":3,"sessions":1},"lane":"proof_behavior","problemHash":"sha256:c7a343baa770a26e36a822bf739e1e2ade26916bc8b2f0a6e73c47138328ad91","resourceClass":"standard","scenarioId":"public.hard-infeasible-apart-triangle-3p-2g-1s.v1","slug":"hard-infeasible-apart-triangle-3p-2g-1s","summary":"Three participants must be pairwise separated in one session with only two groups, creating a small well-formed hard-feasibility contradiction.","title":"Hard-infeasible three-person separation triangle"}],"comparators":[{"id":"groupmixer","kind":"product","name":"GroupMixer"},{"id":"ortools_cpsat","kind":"general_purpose_solver","name":"Google OR-Tools CP-SAT"},{"id":"social_golfer_online","kind":"end_user_product","name":"Social Golfer Online"},{"id":"tourneycard","kind":"end_user_product","name":"TourneyCard Golf Randomizer"},{"id":"good_enough_golfers","kind":"end_user_product","name":"Good-Enough Golfers"},{"id":"utekar","kind":"end_user_product","name":"UTEKAR Random Team Generator"},{"id":"golfsoftware_play_all","kind":"end_user_product","name":"GolfSoftware Play All"},{"id":"barasu_kun","kind":"end_user_product","name":"Barasu-kun"},{"id":"optimal_group_generator","kind":"end_user_product","name":"Optimal Group Generator"},{"id":"hexaly","kind":"general_purpose_solver","name":"Hexaly"},{"id":"gurobi","kind":"general_purpose_solver","name":"Gurobi"}],"disclosure":"GroupMixer authors this benchmark and the published OR-Tools formulations. Returned schedules are evaluated against the same canonical scenario rules.","resourceClasses":{"heavy":{"logical_cpu_limit":8,"timeout_seconds":300},"standard":{"logical_cpu_limit":8,"timeout_seconds":60}},"schemaVersion":"groupmixer-benchmark-publication-v1"}