request propose oppose protocolRequest reply propose hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(16,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9375 1.0 oppose protocolResponse teamName {{ Starbuck }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(16,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9375 1.0 oppose hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(16,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9375 1.0 protocolRequest reply propose hsr.HSRInstanceSet {{ HSR(544,399) }} scg.protocol.ForAllExistsMin {{ }} 0.01838235294117647 1.0 hsr.HSRInstanceSet {{ HSR(325,773) }} scg.protocol.ForAllExistsMin {{ }} 0.027692307692307693 1.0 hsr.HSRInstanceSet {{ HSR(77,863) }} scg.protocol.ForAllExistsMin {{ }} 0.09090909090909091 1.0 hsr.HSRInstanceSet {{ HSR(20,848) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 oppose agree agree agree agree agree protocolResponse teamName {{ wkn32 }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(16,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9375 1.0 hsr.HSRInstanceSet {{ HSR(544,399) }} scg.protocol.ForAllExistsMin {{ }} 0.01838235294117647 1.0 hsr.HSRInstanceSet {{ HSR(325,773) }} scg.protocol.ForAllExistsMin {{ }} 0.027692307692307693 1.0 hsr.HSRInstanceSet {{ HSR(77,863) }} scg.protocol.ForAllExistsMin {{ }} 0.09090909090909091 1.0 hsr.HSRInstanceSet {{ HSR(20,848) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 oppose hsr.HSRInstanceSet {{ HSR(544,399) }} scg.protocol.ForAllExistsMin {{ }} 0.01838235294117647 1.0 hsr.HSRInstanceSet {{ HSR(325,773) }} scg.protocol.ForAllExistsMin {{ }} 0.027692307692307693 1.0 hsr.HSRInstanceSet {{ HSR(77,863) }} scg.protocol.ForAllExistsMin {{ }} 0.09090909090909091 1.0 hsr.HSRInstanceSet {{ HSR(20,848) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 provide hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 provide hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 provide hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 provide hsr.HSRInstanceSet {{ HSR(16,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9375 1.0 reply propose hsr.HSRInstanceSet {{ HSR(99,4) }} scg.protocol.ForAllExistsMin {{ }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{ HSR(64,3) }} scg.protocol.ForAllExistsMin {{ }} 0.109375 1.0 hsr.HSRInstanceSet {{ HSR(32,5) }} scg.protocol.ForAllExistsMin {{ }} 0.15625 1.0 hsr.HSRInstanceSet {{ HSR(16,4) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(15,3) }} scg.protocol.ForAllExistsMin {{ }} 0.26666666666666666 1.0 oppose agree agree agree agree protocolResponse provide hsr.HSRInstance {{ HSR(11,2) }} provide hsr.HSRInstance {{ HSR(22,2) }} provide hsr.HSRInstance {{ HSR(3,1) }} provide hsr.HSRInstance {{ HSR(8,3) }} provide hsr.HSRInstance {{ HSR(16,1) }} teamName {{ Starbuck }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(16,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9375 1.0 hsr.HSRInstanceSet {{ HSR(544,399) }} scg.protocol.ForAllExistsMin {{ }} 0.01838235294117647 1.0 hsr.HSRInstanceSet {{ HSR(325,773) }} scg.protocol.ForAllExistsMin {{ }} 0.027692307692307693 1.0 hsr.HSRInstanceSet {{ HSR(77,863) }} scg.protocol.ForAllExistsMin {{ }} 0.09090909090909091 1.0 hsr.HSRInstanceSet {{ HSR(20,848) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(99,4) }} scg.protocol.ForAllExistsMin {{ }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{ HSR(64,3) }} scg.protocol.ForAllExistsMin {{ }} 0.109375 1.0 hsr.HSRInstanceSet {{ HSR(32,5) }} scg.protocol.ForAllExistsMin {{ }} 0.15625 1.0 hsr.HSRInstanceSet {{ HSR(16,4) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(15,3) }} scg.protocol.ForAllExistsMin {{ }} 0.26666666666666666 1.0 oppose hsr.HSRInstanceSet {{ HSR(99,4) }} scg.protocol.ForAllExistsMin {{ }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{ HSR(64,3) }} scg.protocol.ForAllExistsMin {{ }} 0.109375 1.0 hsr.HSRInstanceSet {{ HSR(32,5) }} scg.protocol.ForAllExistsMin {{ }} 0.15625 1.0 hsr.HSRInstanceSet {{ HSR(16,4) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(15,3) }} scg.protocol.ForAllExistsMin {{ }} 0.26666666666666666 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(544,399) }} scg.protocol.ForAllExistsMin {{ }} 0.01838235294117647 1.0 provide hsr.HSRInstanceSet {{ HSR(325,773) }} scg.protocol.ForAllExistsMin {{ }} 0.027692307692307693 1.0 provide hsr.HSRInstanceSet {{ HSR(77,863) }} scg.protocol.ForAllExistsMin {{ }} 0.09090909090909091 1.0 provide hsr.HSRInstanceSet {{ HSR(20,848) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 solve hsr.HSRInstance {{ HSR(11,2) }} hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 solve hsr.HSRInstance {{ HSR(22,2) }} hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 solve hsr.HSRInstance {{ HSR(3,1) }} hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 solve hsr.HSRInstance {{ HSR(8,3) }} hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 solve hsr.HSRInstance {{ HSR(16,1) }} hsr.HSRInstanceSet {{ HSR(16,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9375 1.0 reply propose hsr.HSRInstanceSet {{ HSR(892,333) }} scg.protocol.ForAllExistsMin {{ }} 0.011210762331838564 1.0 hsr.HSRInstanceSet {{ HSR(884,18) }} scg.protocol.ForAllExistsMin {{ }} 0.011312217194570135 1.0 hsr.HSRInstanceSet {{ HSR(912,953) }} scg.protocol.ForAllExistsMin {{ }} 0.010964912280701754 1.0 hsr.HSRInstanceSet {{ HSR(414,121) }} scg.protocol.ForAllExistsMin {{ }} 0.021739130434782608 1.0 oppose agree agree agree agree agree protocolResponse provide hsr.HSRInstance {{ HSR(544,399) }} provide hsr.HSRInstance {{ HSR(325,773) }} provide hsr.HSRInstance {{ HSR(77,863) }} provide hsr.HSRInstance {{ HSR(20,848) }} 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)))) }} 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)))))) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n h 2)) }} 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))) }} 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))))))))))))))) }} teamName {{ wkn32 }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(16,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9375 1.0 hsr.HSRInstanceSet {{ HSR(544,399) }} scg.protocol.ForAllExistsMin {{ }} 0.01838235294117647 1.0 hsr.HSRInstanceSet {{ HSR(325,773) }} scg.protocol.ForAllExistsMin {{ }} 0.027692307692307693 1.0 hsr.HSRInstanceSet {{ HSR(77,863) }} scg.protocol.ForAllExistsMin {{ }} 0.09090909090909091 1.0 hsr.HSRInstanceSet {{ HSR(20,848) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(99,4) }} scg.protocol.ForAllExistsMin {{ }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{ HSR(64,3) }} scg.protocol.ForAllExistsMin {{ }} 0.109375 1.0 hsr.HSRInstanceSet {{ HSR(32,5) }} scg.protocol.ForAllExistsMin {{ }} 0.15625 1.0 hsr.HSRInstanceSet {{ HSR(16,4) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(15,3) }} scg.protocol.ForAllExistsMin {{ }} 0.26666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(892,333) }} scg.protocol.ForAllExistsMin {{ }} 0.011210762331838564 1.0 hsr.HSRInstanceSet {{ HSR(884,18) }} scg.protocol.ForAllExistsMin {{ }} 0.011312217194570135 1.0 hsr.HSRInstanceSet {{ HSR(912,953) }} scg.protocol.ForAllExistsMin {{ }} 0.010964912280701754 1.0 hsr.HSRInstanceSet {{ HSR(414,121) }} scg.protocol.ForAllExistsMin {{ }} 0.021739130434782608 1.0 oppose hsr.HSRInstanceSet {{ HSR(892,333) }} scg.protocol.ForAllExistsMin {{ }} 0.011210762331838564 1.0 hsr.HSRInstanceSet {{ HSR(884,18) }} scg.protocol.ForAllExistsMin {{ }} 0.011312217194570135 1.0 hsr.HSRInstanceSet {{ HSR(912,953) }} scg.protocol.ForAllExistsMin {{ }} 0.010964912280701754 1.0 hsr.HSRInstanceSet {{ HSR(414,121) }} scg.protocol.ForAllExistsMin {{ }} 0.021739130434782608 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(99,4) }} scg.protocol.ForAllExistsMin {{ }} 0.0707070707070707 1.0 provide hsr.HSRInstanceSet {{ HSR(64,3) }} scg.protocol.ForAllExistsMin {{ }} 0.109375 1.0 provide hsr.HSRInstanceSet {{ HSR(32,5) }} scg.protocol.ForAllExistsMin {{ }} 0.15625 1.0 provide hsr.HSRInstanceSet {{ HSR(16,4) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 provide hsr.HSRInstanceSet {{ HSR(15,3) }} scg.protocol.ForAllExistsMin {{ }} 0.26666666666666666 1.0 solve hsr.HSRInstance {{ HSR(544,399) }} hsr.HSRInstanceSet {{ HSR(544,399) }} scg.protocol.ForAllExistsMin {{ }} 0.01838235294117647 1.0 solve hsr.HSRInstance {{ HSR(325,773) }} hsr.HSRInstanceSet {{ HSR(325,773) }} scg.protocol.ForAllExistsMin {{ }} 0.027692307692307693 1.0 solve hsr.HSRInstance {{ HSR(77,863) }} hsr.HSRInstanceSet {{ HSR(77,863) }} scg.protocol.ForAllExistsMin {{ }} 0.09090909090909091 1.0 solve hsr.HSRInstance {{ HSR(20,848) }} hsr.HSRInstanceSet {{ HSR(20,848) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 reply {{ is kicked out by admin Reason: invalid solution }} teamName {{ Starbuck }} reputation 98.0 {{ Starbuck }} 98.0 {{ wkn32 }} 102.0