5 ms·

So it’s more like a “second principles” solver, it cannot synthesize anything that it hadn’t already seen before.