ResearchBenchmarksMulti-Class Formal Verification on covtype unrobustFollow213.78PAR2 RuntimeSViM98.8448874.65741,650.472,426.2826Feb 7, 2026Evaluation ResultsMethodMethodLinksPAR2 RuntimeVerification Success RateSViM#Class=10, Dep.=6, #Tr...#Class=10, Dep.=6, #Trees=1002026.02213.780Kant#Class=10, Dep.=6, #Tr...#Class=10, Dep.=6, #Trees=1002026.023,087.160