УправляемыйОптимистичныйОракулV2, обычно называемый MOOV2, официально достиг значительной вехи в 200K утверждений. Это достижение указывает на то, что эта конкретная итерация успешно обработала больший объем утверждений, чем совокупный итог всех остальных версий OO.