=== User constraints ===
=== Auto constraints ===
Coverage report
  User constraints covered 5 connections out of 22 total, coverage: 22.7%
  Auto constraints covered 5 connections out of 22 total, coverage: 22.7%
