claim hsr.HSRInstanceSet {{   HSR(11,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.36363636363636365 1.0 
proposer  {{ Starbuck }}  
opposer  {{ wkn32 }}  
action agree 
responses provider  {{ Starbuck }}  pr provide hsr.HSRInstance {{  HSR(11,2)  }} 
 provider  {{ wkn32 }}  pr solve hsr.HSRSolution {{  (4 y (1 y h 0 n (2 y h 1 n (3 y h 2 n h 3))) n (7 y (5 y h 4 n (6 y h 5 n h 6)) n (9 y (8 y h 7 n h 8) n (10 y h 9 n h 10))))  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(22,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.2727272727272727 1.0 
proposer  {{ Starbuck }}  
opposer  {{ wkn32 }}  
action agree 
responses provider  {{ Starbuck }}  pr provide hsr.HSRInstance {{  HSR(22,2)  }} 
 provider  {{ wkn32 }}  pr solve hsr.HSRSolution {{  (6 y (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n h 5))))) n (11 y (7 y h 6 n (8 y h 7 n (9 y h 8 n (10 y h 9 n h 10)))) n (15 y (12 y h 11 n (13 y h 12 n (14 y h 13 n h 14))) n (18 y (16 y h 15 n (17 y h 16 n h 17)) n (20 y (19 y h 18 n h 19) n (21 y h 20 n h 21))))))  }} 
  winner  {{  }}  
pointsWon 0.0

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

 claim hsr.HSRInstanceSet {{   HSR(8,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.375 1.0 
proposer  {{ Starbuck }}  
opposer  {{ wkn32 }}  
action agree 
responses provider  {{ Starbuck }}  pr provide hsr.HSRInstance {{  HSR(8,3)  }} 
 provider  {{ wkn32 }}  pr solve hsr.HSRSolution {{  (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)))  }} 
  winner  {{  }}  
pointsWon 0.0

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

 claim hsr.HSRInstanceSet {{   HSR(544,399)   }} scg.protocol.ForAllExistsMin {{      }} 0.01838235294117647 1.0 
proposer  {{ wkn32 }}  
opposer  {{ Starbuck }}  
action agree 
responses provider  {{ wkn32 }}  pr provide hsr.HSRInstance {{  HSR(544,399)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(325,773)   }} scg.protocol.ForAllExistsMin {{      }} 0.027692307692307693 1.0 
proposer  {{ wkn32 }}  
opposer  {{ Starbuck }}  
action agree 
responses provider  {{ wkn32 }}  pr provide hsr.HSRInstance {{  HSR(325,773)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(77,863)   }} scg.protocol.ForAllExistsMin {{      }} 0.09090909090909091 1.0 
proposer  {{ wkn32 }}  
opposer  {{ Starbuck }}  
action agree 
responses provider  {{ wkn32 }}  pr provide hsr.HSRInstance {{  HSR(77,863)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(20,848)   }} scg.protocol.ForAllExistsMin {{      }} 0.25 1.0 
proposer  {{ wkn32 }}  
opposer  {{ Starbuck }}  
action agree 
responses provider  {{ wkn32 }}  pr provide hsr.HSRInstance {{  HSR(20,848)  }} 
  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(99,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.0707070707070707 1.0 
proposer  {{ Starbuck }}  
opposer  {{ wkn32 }}  
action agree 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(64,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.109375 1.0 
proposer  {{ Starbuck }}  
opposer  {{ wkn32 }}  
action agree 
responses  winner  {{  }}  
pointsWon 0.0

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

 claim hsr.HSRInstanceSet {{   HSR(16,4)   }} scg.protocol.ForAllExistsMin {{      }} 0.25 1.0 
proposer  {{ Starbuck }}  
opposer  {{ wkn32 }}  
action agree 
responses  winner  {{  }}  
pointsWon 0.0

 claim hsr.HSRInstanceSet {{   HSR(15,3)   }} scg.protocol.ForAllExistsMin {{      }} 0.26666666666666666 1.0 
proposer  {{ Starbuck }}  
opposer  {{ wkn32 }}  
action agree 
responses  winner  {{  }}  
pointsWon 0.0

  
 {{ Starbuck }}  98.0
 {{ wkn32 }}  102.0