ResearchBenchmarksProbabilistic Model Checking on munin bnlearnProbabilistic Model Checking on munin bnlearnFollow1Min Time (s)BayesL0.950.97511.025Jun 30, 2025Evaluation resultsMethodMethodLinksMin Time (s)Max Time (s)BayesLDomain=Medical diagnos...Domain=Medical diagnosis, # Props=4, # Vars=10412025.061152