claim hsr.HSRInstanceSet {{   HSR(14,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 
proposer  {{ root }}  
opposer  {{ usb }}  
action agree 
responses provider  {{ root }}  pr provide hsr.HSRInstance {{  HSR(14,3)  }} 
  winner  {{  }}  
pointsWon 0.0

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

 claim hsr.HSRInstanceSet {{   HSR(10,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.8 1.0 
proposer  {{ root }}  
opposer  {{ usb }}  
action agree 
responses provider  {{ root }}  pr provide hsr.HSRInstance {{  HSR(10,5)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(8,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.625 1.0 
proposer  {{ root }}  
opposer  {{ usb }}  
action agree 
responses provider  {{ root }}  pr provide hsr.HSRInstance {{  HSR(8,6)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(151,26)   }} scg.protocol.ForAllExistsMin {{      }} 0.052980132450331126 1.0 
proposer  {{ usb }}  
opposer  {{ root }}  
action agree 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(478,235)   }} scg.protocol.ForAllExistsMin {{      }} 0.01882845188284519 1.0 
proposer  {{ usb }}  
opposer  {{ root }}  
action strengthening 0.01882845088284519 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(301,7)   }} scg.protocol.ForAllExistsMin {{      }} 0.029900332225913623 1.0 
proposer  {{ usb }}  
opposer  {{ root }}  
action agree 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(283,174)   }} scg.protocol.ForAllExistsMin {{      }} 0.03180212014134275 1.0 
proposer  {{ usb }}  
opposer  {{ root }}  
action strengthening 0.031802119141342754 
responses  winner  {{  }}  
pointsWon 0.0

  
 {{ root }}  102.0
 {{ usb }}  98.0