using monolithic heuristics and ufslearn brings down make check to 2 min (instead of more than 1 hour)