Increasing The Practicality Of Verification Using Incomplete Solutions