claim hsr.HSRInstanceSet {{   HSR(11,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.45454545454545453 1.0 
proposer  {{ root }}  
opposer  {{ milo }}  
action strengthening 0.4545454535454545 
responses provider  {{ root }}  pr provide hsr.HSRInstance {{  HSR(11,1)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(11,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.6363636363636364 1.0 
proposer  {{ root }}  
opposer  {{ milo }}  
action strengthening 0.6363636353636364 
responses provider  {{ root }}  pr provide hsr.HSRInstance {{  HSR(11,4)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(19,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.3157894736842105 1.0 
proposer  {{ root }}  
opposer  {{ milo }}  
action strengthening 0.3157894726842105 
responses provider  {{ root }}  pr provide hsr.HSRInstance {{  HSR(19,3)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(19,9)   }} scg.protocol.ForAllExistsMin {{      }} 0.7894736842105263 1.0 
proposer  {{ root }}  
opposer  {{ milo }}  
action strengthening 0.7894736832105264 
responses provider  {{ root }}  pr provide hsr.HSRInstance {{  HSR(19,9)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(4,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.25 1.0 
proposer  {{ milo }}  
opposer  {{ root }}  
action agree 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(16,11)   }} scg.protocol.ForAllExistsMin {{      }} 0.625 1.0 
proposer  {{ milo }}  
opposer  {{ root }}  
action strengthening 0.624999999 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(10,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.3 1.0 
proposer  {{ milo }}  
opposer  {{ root }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

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

  
 {{ root }}  102.0
 {{ milo }}  98.0