claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsMax {{      }} 0.335 1.0 
proposer  {{ usb }}  
opposer  {{ dirich }}  
action strengthening 0.6180339887498949 
responses provider  {{ usb }}  pr provide mmg.MMGInstance {{  0.0  }} 
  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsMax {{      }} 0.43 1.0 
proposer  {{ usb }}  
opposer  {{ dirich }}  
action strengthening 0.6180339887498949 
responses provider  {{ usb }}  pr provide mmg.MMGInstance {{  0.0  }} 
  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsMax {{      }} 0.38 1.0 
proposer  {{ usb }}  
opposer  {{ dirich }}  
action strengthening 0.6180339887498949 
responses provider  {{ usb }}  pr provide mmg.MMGInstance {{  0.0  }} 
  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsMax {{      }} 0.6180339887498949 1.0 
proposer  {{ dirich }}  
opposer  {{ usb }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsMax {{      }} 0.6180339887498949 1.0 
proposer  {{ dirich }}  
opposer  {{ usb }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsMax {{      }} 0.6180339887498949 1.0 
proposer  {{ dirich }}  
opposer  {{ usb }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

  
 {{ usb }}  102.0
 {{ dirich }}  98.0