krepair: possibly unexpected "ERROR: No satisfying configuration found." errors

[necipfazil]

For 1,432 (patch, builtin config file) pairs of Linux kernel x86_64 v5.13 patches, krepair cannot find repaired configurations with following error message (last line of klocalizer stderr):

ERROR: No satisfying configuration found.

Some of these might be expected due to arch-specific lines of code (other than x86_64) or dead code. However, this might also contain krepair failures (e.g., wrong formulas from kmax, etc.), thus need further analysis.

Here is the list of (patch, builtin config file) pairs: no_sat_config.txt