claim hsr.HSRInstanceSet {{   HSR(680,256)   }} scg.protocol.ForAllExistsMin {{      }} 0.7911764705882353 1.0 
proposer  {{ asm }}  
opposer  {{ milo }}  
action strengthening 0.7911764695882353 
responses provider  {{ asm }}  pr provide hsr.HSRInstance {{  HSR(680,256)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(737,290)   }} scg.protocol.ForAllExistsMin {{      }} 0.45725915875169604 1.0 
proposer  {{ asm }}  
opposer  {{ milo }}  
action strengthening 0.457259157751696 
responses provider  {{ asm }}  pr provide hsr.HSRInstance {{  HSR(737,290)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(305,60)   }} scg.protocol.ForAllExistsMin {{      }} 0.9049180327868852 1.0 
proposer  {{ asm }}  
opposer  {{ milo }}  
action strengthening 0.9049180317868852 
responses provider  {{ asm }}  pr provide hsr.HSRInstance {{  HSR(305,60)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(409,14)   }} scg.protocol.ForAllExistsMin {{      }} 0.4156479217603912 1.0 
proposer  {{ asm }}  
opposer  {{ milo }}  
action strengthening 0.4156479207603912 
responses provider  {{ asm }}  pr provide hsr.HSRInstance {{  HSR(409,14)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(9,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.1111111111111111 1.0 
proposer  {{ milo }}  
opposer  {{ asm }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(12,11)   }} scg.protocol.ForAllExistsMin {{      }} 0.16666666666666666 1.0 
proposer  {{ milo }}  
opposer  {{ asm }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(14,9)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 
proposer  {{ milo }}  
opposer  {{ asm }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(6,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.3333333333333333 1.0 
proposer  {{ milo }}  
opposer  {{ asm }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

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