Sorry to hear that you have problems.
> I suspect that the installation of ProR or RMF did not work properly as I was facing problems with the proxy server authentication during installation. Could this be it?
I don’t think so… I assume that you’re using the free version or ReqIF Studio, right? If ReqIF Studio works, then the basic comparison should work as well.
Here is a simple test: The big, lower pane has a dropdown on the top left (it should be set to “Model Compare (No Containment Feature”). You can switch to “Text Compare”. This will give you a diff of the raw XML. This should help you to see whether you are really compare what you’re thinking you’re comparing.
Are you interested in commercial support? Then let’s have a quick call (gern auf Deutsch): https://calendly.com/formalmind/jastram
And last: If you need to do frequent ReqIF compares, then you probably want to use Binom instead: https://www.reqif.academy/software/binom/ . To use Binom, you need the Corporate Subscription: https://www.reqif.academy/join/corporate/
Best – Michael