Eventually, we tracked the bug down to one single line of code that failed because it assumed all graphics cards are created equal.
We combed this code from top to bottom and could not find a single bug.