My remark addresses both the puzzle and the solution:

There was no reason to investigate 6 combinations, since the last three of them are mirrored reversals of the 1st three.

So:  - half the table was a priori redundant and Charlie's computer worked significant overtime.

Jst fr th rcrd.

btw:  Nice and challenging (sans computers) problem.