ResearchBenchmarksMulti-Class Formal Verification on Red-WineFollow3.83PAR2 RuntimeSViM3.82763.84383.863.8762Feb 7, 2026Evaluation ResultsMethodMethodLinksPAR2 RuntimeVerification Success RateSViM#Class=3, Dep.=6, #Tre...#Class=3, Dep.=6, #Trees=1002026.023.831Kant#Class=3, Dep.=6, #Tre...#Class=3, Dep.=6, #Trees=1002026.023.891