Teach count_exhausted_search to optionally use the expected_correct label to further classify results that were run exhaustively.
Teach count_exhausted_search to optionally use the expected_correct
label to further classify results that were run exhaustively.

symbooglix/boogie-runner,symbooglix/boogie-runner