ResearchBenchmarksMulti-Class Formal Verification on IrisFollow0.01PAR2 RuntimeSViM0.0090.00950.010.0105Feb 7, 2026Evaluation ResultsMethodMethodLinksPAR2 Runtime%VSViM#Class=3, Dep.=1, #Tre...#Class=3, Dep.=1, #Trees=1002026.020.012Kant#Class=3, Dep.=1, #Tre...#Class=3, Dep.=1, #Trees=1002026.020.012