Violating paths: 11 - All paths: 2.19e+06