Verifying bad
    CPU 0 -- 1 bad
Wrote output to bad.verify.out