bors 65a213c9fa Auto merge of #12281 - lnicola:increase-overflow-depth, r=lnicola
Increase defalt chalk overflow depth to match max solver size

TBC:

 - #12279: ok above 480
 - ~~#12182~~
 - ~~#12095~~
 - #11902: ok above 350
 - ~~#11668~~
 - #11370: ok above 450
 - #9754: probably ok above 250 (!), and the code in cause and branch are gone

Closes #12279
Closes #11902
Closes #11370
Closes #9754
2022-05-22 15:14:26 +00:00
..
2022-05-20 16:52:10 +02:00
2022-03-22 17:42:24 +01:00
2022-05-20 16:52:10 +02:00
2022-05-14 21:15:43 +01:00
2022-03-17 08:53:33 +02:00
2022-03-22 17:42:24 +01:00
2022-05-14 14:58:35 +02:00
2022-03-22 17:42:24 +01:00
2022-03-22 17:42:24 +01:00
2022-03-22 17:42:24 +01:00