ResearchBenchmarksNeural Network Verification on MNIST FFNetNeural Network Verification on MNIST FFNetFollow1.7Time (s)BDD+1.2444.3227.410.478Oct 14, 2022Evaluation resultsMethodMethodLinksTime (s)BDD+Verification Setting=S...Verification Setting=Single-stage2022.101.7ZD-2DVerification Setting=S...Verification Setting=Single-stage2022.105.7ZD-MIPVerification Setting=S...Verification Setting=Single-stage2022.106LPVerification Setting=S...Verification Setting=Single-stage2022.106.2ASVerification Setting=S...Verification Setting=Single-stage2022.1010.7AndersonVerification Setting=S...Verification Setting=Single-stage2022.1013.1