claim hsr.HSRInstanceSet {{   HSR(18,11)   }} scg.protocol.ForAllExistsMin {{      }} 0.9444444444444444 1.0 
proposer  {{ milo }}  
opposer  {{ wkn32 }}  
action strengthening 0.2777777777777778 
responses provider  {{ milo }}  pr provide hsr.HSRInstance {{  HSR(18,11)  }} 
 provider  {{ wkn32 }}  pr solve hsr.HSRSolution {{  (16 y (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)))) n (17 y h 16 n h 17))  }} 
  winner  {{ wkn32 }}  
pointsWon 1.0

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

 claim hsr.HSRInstanceSet {{   HSR(8,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.125 1.0 
proposer  {{ milo }}  
opposer  {{ wkn32 }}  
action refuting 
responses provider  {{ wkn32 }}  pr provide hsr.HSRInstance {{  HSR(8,3)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(14,10)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 
proposer  {{ milo }}  
opposer  {{ wkn32 }}  
action strengthening 0.2857142857142857 
responses provider  {{ milo }}  pr provide hsr.HSRInstance {{  HSR(14,10)  }} 
 provider  {{ wkn32 }}  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 (13 y h 12 n h 13)))  }} 
  winner  {{ wkn32 }}  
pointsWon 1.0

 claim hsr.HSRInstanceSet {{   HSR(611,562)   }} scg.protocol.ForAllExistsMin {{      }} 0.016366612111292964 1.0 
proposer  {{ wkn32 }}  
opposer  {{ milo }}  
action strengthening 0.016366611111292964 
responses provider  {{ wkn32 }}  pr provide hsr.HSRInstance {{  HSR(611,562)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(570,593)   }} scg.protocol.ForAllExistsMin {{      }} 0.017543859649122806 1.0 
proposer  {{ wkn32 }}  
opposer  {{ milo }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(56,8)   }} scg.protocol.ForAllExistsMin {{      }} 0.10714285714285714 1.0 
proposer  {{ wkn32 }}  
opposer  {{ milo }}  
action strengthening 0.10714285614285714 
responses provider  {{ wkn32 }}  pr provide hsr.HSRInstance {{  HSR(56,8)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(425,579)   }} scg.protocol.ForAllExistsMin {{      }} 0.021176470588235293 1.0 
proposer  {{ wkn32 }}  
opposer  {{ milo }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

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

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

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

 claim hsr.HSRInstanceSet {{   HSR(18,5)   }} scg.protocol.ForAllExistsMin {{      }} 0.2777777777777778 1.0 
proposer  {{ milo }}  
opposer  {{ wkn32 }}  
action agree 
responses  winner  {{  }}  
pointsWon 0.0

  
 {{ milo }}  98.0
 {{ wkn32 }}  102.0