ResearchBenchmarksMulti-Class Formal Verification on covtype robustMulti-Class Formal Verification on covtype robustFollow139.08PAR2 RuntimeSViM21.1992816.89461,612.592,408.2854Feb 7, 2026Evaluation resultsMethodMethodLinksPAR2 Runtime% VerifiedSViM#Class=10, Dep.=6, #Tr...#Class=10, Dep.=6, #Trees=1002026.02139.080Kant#Class=10, Dep.=6, #Tr...#Class=10, Dep.=6, #Trees=1002026.023,086.10