Hi again,
I have solved the 12-coloured (12C) puzzle. I used F2L-a (2c/3c pairs) and keyhole F2L-b (3c/4c pairs) and was able to get a 3.3k move solution.
I messed up during several steps of the process, so it should be possible to get an even more efficient solve using my approach.
The log/setting file corruption issue happened much less often this time. Because I'm using a VM, shutting down the instance actually does a force-shutdown, and I think that is what causes the file to be corrupted if I don't close the program beforehand. At this point, I also have separate setting files for each puzzle backed up, because I realized I prefer different colours on different puzzles, and also because I didn't want to have to reconfigure colours if the setting file got corrupted again.
As for parity, I thought of a way last night to calculate whether a puzzle could have parity.
Let N be the number of neighbours of a cell for an MHT633 puzzle with T colours. If 6N/2 is divisible by 2, then there is no 3c parity. If 6N/3 is divisible by 3, then there is no 4c parity. In other words, if N is even, there is no 3c parity, and if 2N is divisible by 3, there is no 4c parity.
Some examples:
The 8C puzzle has N=7, so it can get both 3c and 4c parity.
The 12C puzzle has N=9, so it can get only 3c parity.
The 14C puzzle has N=13, so it can get both 3c and 4c parity.
The 20C pattern A puzzle has N=16, so it can get only 4c parity.
I also realized that if N = T - 1, then all of the cells are adjacent to each other, and it could make sense to solve a belt or border around a cell first, so that that cell becomes the "last layer" to solve.
Kind regards,
Raymond