ResearchBenchmarksMulti-Class Formal Verification on fashion robustFollow118.76PAR2 RuntimeSViM-103.19361,394.99322,893.184,391.3668Feb 7, 2026Evaluation ResultsMethodMethodLinksPAR2 Runtime% VerifiedSViM#Class=10, Dep.=6, #Tr...#Class=10, Dep.=6, #Trees=1002026.02118.760Kant#Class=10, Dep.=6, #Tr...#Class=10, Dep.=6, #Trees=1002026.025,667.60