The Verinet verifier developed by our group participated in the Verification of Neural Networks Competition (VNN-COMP 2021) held at CAV’21 and won the Second Highest Score Award. Verinet was also the best solver for the category MNISTfc, involving checking safety of fully-connected networks trained on the popular MNIST dataset.