If the market of military procurement conforms to the double auction (Chatterjee and Samuelson, 1983), the government and the manufacturer can try to reach a binding agreement and maximize the monopoly profit. When they both comply with the agreement, the game constitutes a cooperative game. The government and the firm can extend the periods of the game from one to two through signing the research and development contract. When they carry out the research and development contract in the second phase, the trading probability in the first phase that is double auction model will rise. However the R&D contract causes an increase of transaction probability, the market offers an opportunity let the ineligible manufacturer participate in the defense procurement. We can find the trade-off relationship between the advancement of trading probability and the appearances of unqualified firm. The result is consistent with Inefficiency theorem that an incentive-compatible mechanism which is ex post efficient will not be individual theorem.