Add the testing results for the remaining test cases: example2.kpl to example6.kpl