request propose  oppose  protocolRequest  
reply propose hsr.HSRInstanceSet {{   HSR(16,10)   }} scg.protocol.ForAllExistsMin {{      }} 0.75 1.0 hsr.HSRInstanceSet {{   HSR(3,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(19,7)   }} scg.protocol.ForAllExistsMin {{      }} 0.05263157894736842 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0  oppose  protocolResponse  
teamName  {{ milo }}  
reputation 100.0

 request propose hsr.HSRInstanceSet {{   HSR(16,10)   }} scg.protocol.ForAllExistsMin {{      }} 0.75 1.0 hsr.HSRInstanceSet {{   HSR(3,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(19,7)   }} scg.protocol.ForAllExistsMin {{      }} 0.05263157894736842 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0  oppose hsr.HSRInstanceSet {{   HSR(16,10)   }} scg.protocol.ForAllExistsMin {{      }} 0.75 1.0 hsr.HSRInstanceSet {{   HSR(3,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(19,7)   }} scg.protocol.ForAllExistsMin {{      }} 0.05263157894736842 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0  protocolRequest  
reply propose hsr.HSRInstanceSet {{   HSR(939,730)   }} scg.protocol.ForAllExistsMin {{      }} 0.010649627263045794 1.0 hsr.HSRInstanceSet {{   HSR(402,654)   }} scg.protocol.ForAllExistsMin {{      }} 0.022388059701492536 1.0 hsr.HSRInstanceSet {{   HSR(427,396)   }} scg.protocol.ForAllExistsMin {{      }} 0.02107728337236534 1.0 hsr.HSRInstanceSet {{   HSR(858,559)   }} scg.protocol.ForAllExistsMin {{      }} 0.011655011655011656 1.0  oppose strengthening 0.25 agree refuting agree  protocolResponse  
teamName  {{ dirich }}  
reputation 100.0

 request propose hsr.HSRInstanceSet {{   HSR(16,10)   }} scg.protocol.ForAllExistsMin {{      }} 0.75 1.0 hsr.HSRInstanceSet {{   HSR(3,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(19,7)   }} scg.protocol.ForAllExistsMin {{      }} 0.05263157894736842 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(939,730)   }} scg.protocol.ForAllExistsMin {{      }} 0.010649627263045794 1.0 hsr.HSRInstanceSet {{   HSR(402,654)   }} scg.protocol.ForAllExistsMin {{      }} 0.022388059701492536 1.0 hsr.HSRInstanceSet {{   HSR(427,396)   }} scg.protocol.ForAllExistsMin {{      }} 0.02107728337236534 1.0 hsr.HSRInstanceSet {{   HSR(858,559)   }} scg.protocol.ForAllExistsMin {{      }} 0.011655011655011656 1.0  oppose hsr.HSRInstanceSet {{   HSR(939,730)   }} scg.protocol.ForAllExistsMin {{      }} 0.010649627263045794 1.0 hsr.HSRInstanceSet {{   HSR(402,654)   }} scg.protocol.ForAllExistsMin {{      }} 0.022388059701492536 1.0 hsr.HSRInstanceSet {{   HSR(427,396)   }} scg.protocol.ForAllExistsMin {{      }} 0.02107728337236534 1.0 hsr.HSRInstanceSet {{   HSR(858,559)   }} scg.protocol.ForAllExistsMin {{      }} 0.011655011655011656 1.0  protocolRequest provide hsr.HSRInstanceSet {{ HSR(16,10) }} scg.protocol.ForAllExistsMin {{  }} 0.25 1.0 provide hsr.HSRInstanceSet {{   HSR(3,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 provide hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0  
reply propose hsr.HSRInstanceSet {{   HSR(19,14)   }} scg.protocol.ForAllExistsMin {{      }} 0.631578947368421 1.0 hsr.HSRInstanceSet {{   HSR(10,7)   }} scg.protocol.ForAllExistsMin {{      }} 0.6 1.0 hsr.HSRInstanceSet {{   HSR(8,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.875 1.0 hsr.HSRInstanceSet {{   HSR(7,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.8571428571428571 1.0  oppose strengthening 0.010649626263045794 refuting strengthening 0.02107728237236534 strengthening 0.011655010655011656  protocolResponse provide hsr.HSRInstance {{  HSR(16,10)  }}  provide hsr.HSRInstance {{  HSR(3,2)  }}  provide hsr.HSRInstance {{  HSR(2,1)  }}   
teamName  {{ milo }}  
reputation 100.0

 request propose hsr.HSRInstanceSet {{   HSR(16,10)   }} scg.protocol.ForAllExistsMin {{      }} 0.75 1.0 hsr.HSRInstanceSet {{   HSR(3,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(19,7)   }} scg.protocol.ForAllExistsMin {{      }} 0.05263157894736842 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(939,730)   }} scg.protocol.ForAllExistsMin {{      }} 0.010649627263045794 1.0 hsr.HSRInstanceSet {{   HSR(402,654)   }} scg.protocol.ForAllExistsMin {{      }} 0.022388059701492536 1.0 hsr.HSRInstanceSet {{   HSR(427,396)   }} scg.protocol.ForAllExistsMin {{      }} 0.02107728337236534 1.0 hsr.HSRInstanceSet {{   HSR(858,559)   }} scg.protocol.ForAllExistsMin {{      }} 0.011655011655011656 1.0 hsr.HSRInstanceSet {{   HSR(19,14)   }} scg.protocol.ForAllExistsMin {{      }} 0.631578947368421 1.0 hsr.HSRInstanceSet {{   HSR(10,7)   }} scg.protocol.ForAllExistsMin {{      }} 0.6 1.0 hsr.HSRInstanceSet {{   HSR(8,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.875 1.0 hsr.HSRInstanceSet {{   HSR(7,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.8571428571428571 1.0  oppose hsr.HSRInstanceSet {{   HSR(19,14)   }} scg.protocol.ForAllExistsMin {{      }} 0.631578947368421 1.0 hsr.HSRInstanceSet {{   HSR(10,7)   }} scg.protocol.ForAllExistsMin {{      }} 0.6 1.0 hsr.HSRInstanceSet {{   HSR(8,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.875 1.0 hsr.HSRInstanceSet {{   HSR(7,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.8571428571428571 1.0  protocolRequest provide hsr.HSRInstanceSet {{   HSR(19,7)   }} scg.protocol.ForAllExistsMin {{      }} 0.05263157894736842 1.0 provide hsr.HSRInstanceSet {{ HSR(939,730) }} scg.protocol.ForAllExistsMin {{  }} 0.010649626263045794 1.0 provide hsr.HSRInstanceSet {{ HSR(427,396) }} scg.protocol.ForAllExistsMin {{  }} 0.02107728237236534 1.0 provide hsr.HSRInstanceSet {{ HSR(858,559) }} scg.protocol.ForAllExistsMin {{  }} 0.011655010655011656 1.0 solve hsr.HSRInstance {{ HSR(16,10) }} hsr.HSRInstanceSet {{ HSR(16,10) }} scg.protocol.ForAllExistsMin {{  }} 0.25 1.0 solve hsr.HSRInstance {{ HSR(3,2) }} hsr.HSRInstanceSet {{   HSR(3,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 solve hsr.HSRInstance {{ HSR(2,1) }} hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0  
reply propose hsr.HSRInstanceSet {{   HSR(273,928)   }} scg.protocol.ForAllExistsMin {{      }} 0.03296703296703297 1.0 hsr.HSRInstanceSet {{   HSR(563,952)   }} scg.protocol.ForAllExistsMin {{      }} 0.017761989342806393 1.0 hsr.HSRInstanceSet {{   HSR(334,901)   }} scg.protocol.ForAllExistsMin {{      }} 0.02694610778443114 1.0 hsr.HSRInstanceSet {{   HSR(654,698)   }} scg.protocol.ForAllExistsMin {{      }} 0.01529051987767584 1.0  oppose strengthening 0.2631578947368421 strengthening 0.4 strengthening 0.375 strengthening 0.42857142857142855  protocolResponse provide hsr.HSRInstance {{  HSR(19,7)  }}  provide hsr.HSRInstance {{  HSR(939,730)  }}  provide hsr.HSRInstance {{  HSR(427,396)  }}  provide hsr.HSRInstance {{  HSR(858,559)  }}  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))))  }}  solve hsr.HSRSolution {{  (2 y (1 y h 0 n h 1) n h 2)  }}  solve hsr.HSRSolution {{  (1 y h 0 n h 1)  }}   
teamName  {{ dirich }}  
reputation 100.0

 request propose hsr.HSRInstanceSet {{   HSR(16,10)   }} scg.protocol.ForAllExistsMin {{      }} 0.75 1.0 hsr.HSRInstanceSet {{   HSR(3,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{   HSR(19,7)   }} scg.protocol.ForAllExistsMin {{      }} 0.05263157894736842 1.0 hsr.HSRInstanceSet {{   HSR(2,1)   }} scg.protocol.ForAllExistsMin {{      }} 0.5 1.0 hsr.HSRInstanceSet {{   HSR(939,730)   }} scg.protocol.ForAllExistsMin {{      }} 0.010649627263045794 1.0 hsr.HSRInstanceSet {{   HSR(402,654)   }} scg.protocol.ForAllExistsMin {{      }} 0.022388059701492536 1.0 hsr.HSRInstanceSet {{   HSR(427,396)   }} scg.protocol.ForAllExistsMin {{      }} 0.02107728337236534 1.0 hsr.HSRInstanceSet {{   HSR(858,559)   }} scg.protocol.ForAllExistsMin {{      }} 0.011655011655011656 1.0 hsr.HSRInstanceSet {{   HSR(19,14)   }} scg.protocol.ForAllExistsMin {{      }} 0.631578947368421 1.0 hsr.HSRInstanceSet {{   HSR(10,7)   }} scg.protocol.ForAllExistsMin {{      }} 0.6 1.0 hsr.HSRInstanceSet {{   HSR(8,6)   }} scg.protocol.ForAllExistsMin {{      }} 0.875 1.0 hsr.HSRInstanceSet {{   HSR(7,2)   }} scg.protocol.ForAllExistsMin {{      }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{   HSR(273,928)   }} scg.protocol.ForAllExistsMin {{      }} 0.03296703296703297 1.0 hsr.HSRInstanceSet {{   HSR(563,952)   }} scg.protocol.ForAllExistsMin {{      }} 0.017761989342806393 1.0 hsr.HSRInstanceSet {{   HSR(334,901)   }} scg.protocol.ForAllExistsMin {{      }} 0.02694610778443114 1.0 hsr.HSRInstanceSet {{   HSR(654,698)   }} scg.protocol.ForAllExistsMin {{      }} 0.01529051987767584 1.0  oppose hsr.HSRInstanceSet {{   HSR(273,928)   }} scg.protocol.ForAllExistsMin {{      }} 0.03296703296703297 1.0 hsr.HSRInstanceSet {{   HSR(563,952)   }} scg.protocol.ForAllExistsMin {{      }} 0.017761989342806393 1.0 hsr.HSRInstanceSet {{   HSR(334,901)   }} scg.protocol.ForAllExistsMin {{      }} 0.02694610778443114 1.0 hsr.HSRInstanceSet {{   HSR(654,698)   }} scg.protocol.ForAllExistsMin {{      }} 0.01529051987767584 1.0  protocolRequest provide hsr.HSRInstanceSet {{   HSR(402,654)   }} scg.protocol.ForAllExistsMin {{      }} 0.022388059701492536 1.0 provide hsr.HSRInstanceSet {{ HSR(19,14) }} scg.protocol.ForAllExistsMin {{  }} 0.2631578947368421 1.0 provide hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{  }} 0.4 1.0 provide hsr.HSRInstanceSet {{ HSR(8,6) }} scg.protocol.ForAllExistsMin {{  }} 0.375 1.0 provide hsr.HSRInstanceSet {{ HSR(7,2) }} scg.protocol.ForAllExistsMin {{  }} 0.42857142857142855 1.0 solve hsr.HSRInstance {{ HSR(19,7) }} hsr.HSRInstanceSet {{   HSR(19,7)   }} scg.protocol.ForAllExistsMin {{      }} 0.05263157894736842 1.0 solve hsr.HSRInstance {{ HSR(939,730) }} hsr.HSRInstanceSet {{ HSR(939,730) }} scg.protocol.ForAllExistsMin {{  }} 0.010649626263045794 1.0 solve hsr.HSRInstance {{ HSR(427,396) }} hsr.HSRInstanceSet {{ HSR(427,396) }} scg.protocol.ForAllExistsMin {{  }} 0.02107728237236534 1.0 solve hsr.HSRInstance {{ HSR(858,559) }} hsr.HSRInstanceSet {{ HSR(858,559) }} scg.protocol.ForAllExistsMin {{  }} 0.011655010655011656 1.0  
reply  {{  is kicked out by admin
Reason: invalid number of protocol responses. Number of your responses 5Number of responses expected: 9 }}  
teamName  {{ milo }}  
reputation 98.0

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