)]}'
{"/PATCHSET_LEVEL":[{"author":{"_account_id":1000012,"name":"Angel Pons","email":"th3fanbus@gmail.com","username":"th3fanbus","avatars":[{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"4726773234eb243c64d4b9e7e3a1edb6b0d4c832","unresolved":false,"context_lines":[],"source_content_type":"","patch_set":1,"id":"b97e7645_1ecce818","updated":"2026-04-19 07:34:22.000000000","message":"I remember running the prover with multiple jobs many years ago. I think I was running the prover for each libgfxinit config in parallel, going from 1 job to 48 jobs only got me a ~8x speed increase at best but it was still faster than using just one thread \\o/","commit_id":"735ba05e21220b96cd5cd838f541e2073a572838"}]}