claim hsr.HSRInstanceSet {{   HSR(461,607)   }} scg.protocol.ForAllExistsMin {{      }} 0.019522776572668113 1.0 
proposer  {{ dirich }}  
opposer  {{ roboto }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(235,79)   }} scg.protocol.ForAllExistsMin {{      }} 0.03404255319148936 1.0 
proposer  {{ dirich }}  
opposer  {{ roboto }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(609,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.016420361247947456 1.0 
proposer  {{ dirich }}  
opposer  {{ roboto }}  
action agree 
responses provider  {{ dirich }}  pr provide hsr.HSRInstance {{  HSR(609,8)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(703,434)   }} scg.protocol.ForAllExistsMin {{      }} 0.01422475106685633 1.0 
proposer  {{ dirich }}  
opposer  {{ roboto }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(511,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.029354207436399216 1.0 
proposer  {{ roboto }}  
opposer  {{ dirich }}  
action agree 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(768,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.013020833333333334 1.0 
proposer  {{ roboto }}  
opposer  {{ dirich }}  
action agree 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(768,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.022135416666666668 1.0 
proposer  {{ roboto }}  
opposer  {{ dirich }}  
action agree 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(591,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.02707275803722504 1.0 
proposer  {{ roboto }}  
opposer  {{ dirich }}  
action agree 
responses  winner  {{  }}  
pointsWon 0.0

  
 {{ dirich }}  102.0
 {{ roboto }}  98.0