Added the test cases and their bound analysis results.