LCV off seems to be faster for large problem sets