Block decomposition: when falling back to symbolic normalization, use...
Passed
Sébastien Villemot
created pipeline for commit
53add0b2
, finished
For master
5 minutes 25 seconds, queued for 8 seconds