XIAP and colorectal cancer: We also analyzed two biological datasets on colorectal cancer and glioblastoma and showed that our inferred progression models can be better validated compared to the models suggested by the ILP-based counterpart.