Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics (Logical Methods in Computer Science, 2024)