failed to output testcases with total-count >= 10000 onto the screen.

[snehm]

It seems there is some problem with the frontend as backend code works fine to produce large test cases.
"Text area" may not be suitable for printing such large output onto the screen.