The Chance of Finding a Solution

• Solution = passes all test conditions
• T non-overlapping tests
• Test = number of input bits and n output bits
• After long random program, each output bits pattern equally likely
• Chance of exactly the target pattern =2^-n.
• if the test cases are independent, pass next test =2^-n
• Pass all T tests =2^-nT