I have made several tests for different devices with the same program, in Platformio-Arduino and in Arduino IDE (both in version 2.0.3) and these are the results in ms (PlatformIO / Arduino IDE):
LOLIN D1 Mini ESP32: 126 / 108
ESP32-DevKitV1: 126 / 108
LOLIN S2 Mini: 240 / 240
ESP32-PICO-DevKitM-2: 562 / 101
D1 Mini Esp32 and DevKitV1 have the same MCU (ESP32-WROOM-32) and their results match.
Lolin S2 Mini (ESP32-S2FN4R2) gives the same result in PlatformIO and in Arduino IDE (not very good anyway).
DevKitM-2 has the best MCU (ESP32-PICO-MINI-02) and gives the worst results on PlatformIO and the best on Arduino IDE.
Since in Arduino IDE the wakeup times are better than in PlatformIO, I think this is not a problem concerning espressif/arduino-esp32
As for what you tell me about ESP-IDF, I have to look at it more carefully because I don’t know anything about ESP-IDF.
Thank you very much