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. The gene discussed is XIAP; the disease is glioblastoma.