Noticed that implicantIntersection was not called regularly.

6 jobs for prefbones in 2 minutes and 49 seconds (queued for 3 seconds)
latest