Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
Multi-Class Formal Verification on covtype unrobust
Loading...
213.78
PAR2 Runtime
SViM
98.8448
874.6574
1,650.47
2,426.2826
Feb 7, 2026
PAR2 Runtime
Verification Success Rate
Updated 4d ago
Evaluation Results
Method
Method
Links
PAR2 Runtime
Verification Success Rate
SViM
#Class=10, Dep.=6, #Tr...
2026.02
213.78
0
Kant
#Class=10, Dep.=6, #Tr...
2026.02
3,087.16
0
Feedback
Search any
task
Search any
task
