Using the small converter util crx2rnx.exe I can get out a .rnx file. Then trying to get a nav file from this using RTKconv fails complete, and no nav files (but the obs files) are generated.
Any pointers? Doesn’t it simply contain these messages? Judging from the MO in the filenames, that could be the case?