ResearchBenchmarksMulti-Class Formal Verification on fashion unrobustFollow67.63PAR2 RuntimeSViM-129.72881,202.44312,534.6153,866.7869Feb 7, 2026Evaluation ResultsMethodMethodLinksPAR2 RuntimeVerification Success RateSViM#Class=10, Dep.=6, #Tr...#Class=10, Dep.=6, #Trees=1002026.0267.630Kant#Class=10, Dep.=6, #Tr...#Class=10, Dep.=6, #Trees=1002026.025,001.60