README: Update expected solve duration in examples