ResearchBenchmarksNeural Network Reachability Analysis on ACAS Xu Property 1Follow93.06Average WidthCOMB-PP-112.87841,277.20582,667.294,057.3742May 19, 2026Evaluation ResultsMethodMethodLinksAverage WidthRelative Increase vs COMB-PPCOMB-PP2026.0593.06—COMB2026.05128.1737.7EP2026.05182.295.8NNV2026.05331.96256.7α, β-CROWN2026.05373.26301.1CORA2026.055,241.525,532.2