Dear Rishikesh,
please be careful because the files you uploaded contains some errors. For example in file xor_pnml the output overlaps the or instance. Please correct and repeat the operation.
In case you updated the files, pleas upload the latest version here.
Thanks
