Quatro empresas (Maccorte, Mactex, Macval, Macmais) participaram de uma concorrência para a compra de certo tipo de máquina. Cada empresa apresentou um modelo diferente do das outras (Thor, Hércules, Netuno, Zeus) e os prazos de entrega variavam de 8 a 14 dias. Sabe-se que:

• Sobre os prazos de entrega, Macval apresentou o menor e Mactex o maior.

• O modelo Zeus foi apresentado pela Maccorte, com prazo de entrega de 2 dias a menos do que a Mactex.

• O modelo Hércules seria entregue em 10 dias.

• Macval não apresentou o modelo Netuno.

Nessas condições, o modelo apresentado pela empresa