4 ms·

Thanks, yeah this is actually related to/the first step in a similar idea I had for a CSS SAT solver which generates a set of minimal CSS rules.