1. A method comprising: executing, by a computer system, a first process that performs a solving operation to determine if any input vector within a set of input vectors satisfy an input constraint; executing, by the computer system, in parallel with execution of the first process, a second process that performs a searching operation to search for unique input vectors that satisfy the input constraint; aborting the solving operation on the set based on a determination that at least one unique input vector has been found by the searching operation to satisfy the input constraint; and applying, as part of a process for verifying an electronic circuit design of an electronic circuit that is to be fabricated or manufactured, the at least one unique input vector to the electronic circuit design.