ResearchBenchmarksProbabilistic Model Checking on pigs bnlearnProbabilistic Model Checking on pigs bnlearnFollow1Min Time (s)BayesL0.950.97511.025Jun 30, 2025Evaluation resultsMethodMethodLinksMin Time (s)Max Time (s)BayesLDomain=Genetic analysi...Domain=Genetic analysis, # Props=8, # Vars=4412025.06170