e.g. see https://crater-reports.s3.amazonaws.com/pr-133502-4/try%230c7fed2b7584d310ca8221267fa1b3bec4df427f/reg/fedimint-core-0.7.0/log.txt https://github.com/lightningdevkit/rust-lightning/tree/main/lightning new solver >4 min, old one 30sec
