Thanks for your reply. I have used Windows Media Player to reproduce all videos in question and in all tested pcs and there was no problem.
Do you think it is still an issue of codecs? Does that explain the fact that in the case of failed PCs some avi files are displayed and some aren't? Since I should ensure the app works for a wide variety of pcs on which I have no control, what is your suggestion?