claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsEqual {{      }} 0.61 1.0 
proposer  {{ asm }}  
opposer  {{ milo }}  
action strengthening 0.6100000001 
responses  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsMax {{      }} 0.6180339887498949 1.0 
proposer  {{ milo }}  
opposer  {{ asm }}  
action refuting 
responses provider  {{ asm }}  pr provide mmg.MMGInstance {{  0.0  }} 
 provider  {{ milo }}  pr solve mmg.MMGSolution {{  0.6180339887498949  }} 
 provider  {{ asm }}  pr provide mmg.MMGInstance {{  0.0  }} 
 provider  {{ milo }}  pr solve mmg.MMGSolution {{  0.6180339887498949  }} 
 provider  {{ asm }}  pr provide mmg.MMGInstance {{  0.0  }} 
 provider  {{ milo }}  pr solve mmg.MMGSolution {{  0.6180339887498949  }} 
  winner  {{ asm }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsEqual {{      }} 0.61 1.0 
proposer  {{ asm }}  
opposer  {{ milo }}  
action strengthening 0.6100000001 
responses  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsMax {{      }} 0.6180339887498949 1.0 
proposer  {{ milo }}  
opposer  {{ asm }}  
action refuting 
responses provider  {{ asm }}  pr provide mmg.MMGInstance {{  0.0  }} 
 provider  {{ milo }}  pr solve mmg.MMGSolution {{  0.6180339887498949  }} 
 provider  {{ asm }}  pr provide mmg.MMGInstance {{  0.0  }} 
 provider  {{ milo }}  pr solve mmg.MMGSolution {{  0.6180339887498949  }} 
 provider  {{ asm }}  pr provide mmg.MMGInstance {{  0.0  }} 
 provider  {{ milo }}  pr solve mmg.MMGSolution {{  0.6180339887498949  }} 
  winner  {{ asm }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsEqual {{      }} 0.61 1.0 
proposer  {{ asm }}  
opposer  {{ milo }}  
action strengthening 0.6100000001 
responses  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsMax {{      }} 0.6180339887498949 1.0 
proposer  {{ milo }}  
opposer  {{ asm }}  
action refuting 
responses provider  {{ asm }}  pr provide mmg.MMGInstance {{  0.0  }} 
 provider  {{ milo }}  pr solve mmg.MMGSolution {{  0.6180339887498949  }} 
 provider  {{ asm }}  pr provide mmg.MMGInstance {{  0.0  }} 
 provider  {{ milo }}  pr solve mmg.MMGSolution {{  0.6180339887498949  }} 
  winner  {{ asm }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsEqual {{      }} 0.61 1.0 
proposer  {{ asm }}  
opposer  {{ milo }}  
action strengthening 0.6100000001 
responses  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsMax {{      }} 0.6180339887498949 1.0 
proposer  {{ milo }}  
opposer  {{ asm }}  
action refuting 
responses provider  {{ asm }}  pr provide mmg.MMGInstance {{  0.0  }} 
 provider  {{ milo }}  pr solve mmg.MMGSolution {{  0.6180339887498949  }} 
  winner  {{ asm }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsEqual {{      }} 0.61 1.0 
proposer  {{ asm }}  
opposer  {{ milo }}  
action strengthening 0.6100000001 
responses  winner  {{  }}  
pointsWon 0.0

  
 {{ asm }}  98.0
 {{ milo }}  102.0