claim hsr.HSRInstanceSet {{   HSR(789,842)   }} scg.protocol.ForAllExistsMin {{      }} 0.012674271229404309 1.0 
proposer  {{ dirich }}  
opposer  {{ milo }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(177,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.04519774011299435 1.0 
proposer  {{ dirich }}  
opposer  {{ milo }}  
action strengthening 0.04519773911299435 
responses provider  {{ dirich }}  pr provide hsr.HSRInstance {{  HSR(177,8)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(76,531)   }} scg.protocol.ForAllExistsMin {{      }} 0.09210526315789473 1.0 
proposer  {{ dirich }}  
opposer  {{ milo }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(17,491)   }} scg.protocol.ForAllExistsMin {{      }} 0.29411764705882354 1.0 
proposer  {{ dirich }}  
opposer  {{ milo }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

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

 claim hsr.HSRInstanceSet {{   HSR(5,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.2 1.0 
proposer  {{ milo }}  
opposer  {{ dirich }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(17,13)   }} scg.protocol.ForAllExistsMin {{      }} 0.11764705882352941 1.0 
proposer  {{ milo }}  
opposer  {{ dirich }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(12,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 
proposer  {{ milo }}  
opposer  {{ dirich }}  
action strengthening 0.3333333333333333 
responses  winner  {{  }}  
pointsWon 0.0

  
 {{ dirich }}  102.0
 {{ milo }}  98.0