claim hsr.HSRInstanceSet {{   HSR(16,10)   }} scg.protocol.ForAllExistsMin {{      }} 0.75 1.0 
proposer  {{ milo }}  
opposer  {{ dirich }}  
action strengthening 0.25 
responses provider  {{ milo }}  pr provide hsr.HSRInstance {{  HSR(16,10)  }} 
 provider  {{ dirich }}  pr solve hsr.HSRSolution {{  (8 y (4 y (2 y (1 y h 0 n h 1) n (3 y h 2 n h 3)) n (6 y (5 y h 4 n h 5) n (7 y h 6 n h 7))) n (12 y (10 y (9 y h 8 n h 9) n (11 y h 10 n h 11)) n (14 y (13 y h 12 n h 13) n (15 y h 14 n h 15))))  }} 
  winner  {{ dirich }}  
pointsWon 1.0

 claim hsr.HSRInstanceSet {{   HSR(3,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 
proposer  {{ milo }}  
opposer  {{ dirich }}  
action agree 
responses provider  {{ milo }}  pr provide hsr.HSRInstance {{  HSR(3,2)  }} 
 provider  {{ dirich }}  pr solve hsr.HSRSolution {{  (2 y (1 y h 0 n h 1) n h 2)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(19,7)   }} scg.protocol.ForAllExistsMin {{      }} 0.05263157894736842 1.0 
proposer  {{ milo }}  
opposer  {{ dirich }}  
action refuting 
responses provider  {{ dirich }}  pr provide hsr.HSRInstance {{  HSR(19,7)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 
proposer  {{ milo }}  
opposer  {{ dirich }}  
action agree 
responses provider  {{ milo }}  pr provide hsr.HSRInstance {{  HSR(2,1)  }} 
 provider  {{ dirich }}  pr solve hsr.HSRSolution {{  (1 y h 0 n h 1)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(939,730)   }} scg.protocol.ForAllExistsMin {{      }} 0.010649627263045794 1.0 
proposer  {{ dirich }}  
opposer  {{ milo }}  
action strengthening 0.010649626263045794 
responses provider  {{ dirich }}  pr provide hsr.HSRInstance {{  HSR(939,730)  }} 
  winner  {{  }}  
pointsWon 0.0

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

 claim hsr.HSRInstanceSet {{   HSR(427,396)   }} scg.protocol.ForAllExistsMin {{      }} 0.02107728337236534 1.0 
proposer  {{ dirich }}  
opposer  {{ milo }}  
action strengthening 0.02107728237236534 
responses provider  {{ dirich }}  pr provide hsr.HSRInstance {{  HSR(427,396)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(858,559)   }} scg.protocol.ForAllExistsMin {{      }} 0.011655011655011656 1.0 
proposer  {{ dirich }}  
opposer  {{ milo }}  
action strengthening 0.011655010655011656 
responses provider  {{ dirich }}  pr provide hsr.HSRInstance {{  HSR(858,559)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(19,14)   }} scg.protocol.ForAllExistsMin {{      }} 0.631578947368421 1.0 
proposer  {{ milo }}  
opposer  {{ dirich }}  
action strengthening 0.2631578947368421 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(10,7)   }} scg.protocol.ForAllExistsMin {{      }} 0.6 1.0 
proposer  {{ milo }}  
opposer  {{ dirich }}  
action strengthening 0.4 
responses  winner  {{  }}  
pointsWon 0.0

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

 claim hsr.HSRInstanceSet {{   HSR(7,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.8571428571428571 1.0 
proposer  {{ milo }}  
opposer  {{ dirich }}  
action strengthening 0.42857142857142855 
responses  winner  {{  }}  
pointsWon 0.0

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