claim hsr.HSRInstanceSet {{   HSR(993,736)   }} scg.protocol.ForAllExistsMin {{      }} 0.010070493454179255 1.0 
proposer  {{ dirich }}  
opposer  {{ nobackbone }}  
action agree 
responses provider  {{ dirich }}  pr provide hsr.HSRInstance {{  HSR(993,736)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(961,238)   }} scg.protocol.ForAllExistsMin {{      }} 0.01040582726326743 1.0 
proposer  {{ dirich }}  
opposer  {{ nobackbone }}  
action agree 
responses provider  {{ dirich }}  pr provide hsr.HSRInstance {{  HSR(961,238)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(531,771)   }} scg.protocol.ForAllExistsMin {{      }} 0.018832391713747645 1.0 
proposer  {{ dirich }}  
opposer  {{ nobackbone }}  
action agree 
responses provider  {{ dirich }}  pr provide hsr.HSRInstance {{  HSR(531,771)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(927,571)   }} scg.protocol.ForAllExistsMin {{      }} 0.010787486515641856 1.0 
proposer  {{ dirich }}  
opposer  {{ nobackbone }}  
action agree 
responses provider  {{ dirich }}  pr provide hsr.HSRInstance {{  HSR(927,571)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 
proposer  {{ nobackbone }}  
opposer  {{ dirich }}  
action agree 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(4,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 
proposer  {{ nobackbone }}  
opposer  {{ dirich }}  
action agree 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(8,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.375 1.0 
proposer  {{ nobackbone }}  
opposer  {{ dirich }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(16,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.25 1.0 
proposer  {{ nobackbone }}  
opposer  {{ dirich }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

  
 {{ dirich }}  102.0
 {{ nobackbone }}  98.0