Add a field expressing whether the search was complete or not
This is a boolean field that is true iff the line Warning: Search not completed
is not present in the output of SPIN.
This is a boolean field that is true iff the line Warning: Search not completed
is not present in the output of SPIN.