numDeadlocksDetected

How many circular waits were found. At most one per replication, since finding one ends it.

Counted anyway, and the reason is the parameter sweep: a study that catches the exception around each replication and records the design point as infeasible needs something in the output that says which points those were. Reading it off the counter beats keeping a tally beside the run.