request propose oppose protocolRequest reply propose hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 hsr.HSRInstanceSet {{ HSR(20,4) }} scg.protocol.ForAllExistsMin {{ }} 0.65 1.0 hsr.HSRInstanceSet {{ HSR(18,13) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 oppose protocolResponse teamName {{ root }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 hsr.HSRInstanceSet {{ HSR(20,4) }} scg.protocol.ForAllExistsMin {{ }} 0.65 1.0 hsr.HSRInstanceSet {{ HSR(18,13) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 oppose hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 hsr.HSRInstanceSet {{ HSR(20,4) }} scg.protocol.ForAllExistsMin {{ }} 0.65 1.0 hsr.HSRInstanceSet {{ HSR(18,13) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 protocolRequest reply propose hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(13,9) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 hsr.HSRInstanceSet {{ HSR(10,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(20,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 oppose agree agree strengthening 0.3333333323333333 agree protocolResponse teamName {{ babyavatar }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 hsr.HSRInstanceSet {{ HSR(20,4) }} scg.protocol.ForAllExistsMin {{ }} 0.65 1.0 hsr.HSRInstanceSet {{ HSR(18,13) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(13,9) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 hsr.HSRInstanceSet {{ HSR(10,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(20,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 oppose hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(13,9) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 hsr.HSRInstanceSet {{ HSR(10,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(20,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 provide hsr.HSRInstanceSet {{ HSR(20,4) }} scg.protocol.ForAllExistsMin {{ }} 0.65 1.0 provide hsr.HSRInstanceSet {{ HSR(18,13) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333323333333 1.0 provide hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 reply propose hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(15,9) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(10,9) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 oppose agree refuting agree agree protocolResponse provide hsr.HSRInstance {{ HSR(10,7) }} provide hsr.HSRInstance {{ HSR(20,4) }} provide hsr.HSRInstance {{ HSR(18,13) }} provide hsr.HSRInstance {{ HSR(15,12) }} teamName {{ root }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 hsr.HSRInstanceSet {{ HSR(20,4) }} scg.protocol.ForAllExistsMin {{ }} 0.65 1.0 hsr.HSRInstanceSet {{ HSR(18,13) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(13,9) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 hsr.HSRInstanceSet {{ HSR(10,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(20,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(15,9) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(10,9) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 oppose hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(15,9) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(10,9) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 provide hsr.HSRInstanceSet {{ HSR(10,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 provide hsr.HSRInstanceSet {{ HSR(20,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 solve hsr.HSRInstance {{ HSR(10,7) }} hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 solve hsr.HSRInstance {{ HSR(20,4) }} hsr.HSRInstanceSet {{ HSR(20,4) }} scg.protocol.ForAllExistsMin {{ }} 0.65 1.0 solve hsr.HSRInstance {{ HSR(18,13) }} hsr.HSRInstanceSet {{ HSR(18,13) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333323333333 1.0 solve hsr.HSRInstance {{ HSR(15,12) }} hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 reply propose hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6363636363636364 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(11,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9090909090909091 1.0 hsr.HSRInstanceSet {{ HSR(17,9) }} scg.protocol.ForAllExistsMin {{ }} 0.17647058823529413 1.0 oppose agree agree refuting refuting protocolResponse provide hsr.HSRInstance {{ HSR(2,1) }} provide hsr.HSRInstance {{ HSR(10,8) }} provide hsr.HSRInstance {{ HSR(20,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 h 9))))))))) }} 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 (16 y h 15 n (17 y h 16 n (18 y h 17 n (19 y h 18 n h 19))))))))))))))))))) }} 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 (16 y h 15 n (17 y h 16 n h 17))))))))))))))))) }} 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 h 14)))))))))))))) }} teamName {{ babyavatar }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 hsr.HSRInstanceSet {{ HSR(20,4) }} scg.protocol.ForAllExistsMin {{ }} 0.65 1.0 hsr.HSRInstanceSet {{ HSR(18,13) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(13,9) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 hsr.HSRInstanceSet {{ HSR(10,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(20,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(15,9) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(10,9) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6363636363636364 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(11,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9090909090909091 1.0 hsr.HSRInstanceSet {{ HSR(17,9) }} scg.protocol.ForAllExistsMin {{ }} 0.17647058823529413 1.0 oppose hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6363636363636364 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(11,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9090909090909091 1.0 hsr.HSRInstanceSet {{ HSR(17,9) }} scg.protocol.ForAllExistsMin {{ }} 0.17647058823529413 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(13,9) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 provide hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 provide hsr.HSRInstanceSet {{ HSR(15,9) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 solve hsr.HSRInstance {{ HSR(2,1) }} hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 solve hsr.HSRInstance {{ HSR(10,8) }} hsr.HSRInstanceSet {{ HSR(10,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 solve hsr.HSRInstance {{ HSR(20,7) }} hsr.HSRInstanceSet {{ HSR(20,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 reply propose hsr.HSRInstanceSet {{ HSR(8,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(5,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 oppose refuting refuting refuting refuting protocolResponse provide hsr.HSRInstance {{ HSR(13,9) }} provide hsr.HSRInstance {{ HSR(15,12) }} provide hsr.HSRInstance {{ HSR(15,9) }} solve hsr.HSRSolution {{ (1 y h 0 n h 1) }} 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 h 9))))))))) }} 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 (16 y h 15 n (17 y h 16 n (18 y h 17 n (19 y h 18 n h 19))))))))))))))))))) }} teamName {{ root }} reputation 102.000000001 request propose hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 hsr.HSRInstanceSet {{ HSR(20,4) }} scg.protocol.ForAllExistsMin {{ }} 0.65 1.0 hsr.HSRInstanceSet {{ HSR(18,13) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(13,9) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 hsr.HSRInstanceSet {{ HSR(10,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(20,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(15,9) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(10,9) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6363636363636364 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(11,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9090909090909091 1.0 hsr.HSRInstanceSet {{ HSR(17,9) }} scg.protocol.ForAllExistsMin {{ }} 0.17647058823529413 1.0 hsr.HSRInstanceSet {{ HSR(8,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(5,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 oppose hsr.HSRInstanceSet {{ HSR(8,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(5,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 provide hsr.HSRInstanceSet {{ HSR(10,9) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 solve hsr.HSRInstance {{ HSR(13,9) }} hsr.HSRInstanceSet {{ HSR(13,9) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 solve hsr.HSRInstance {{ HSR(15,12) }} hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 solve hsr.HSRInstance {{ HSR(15,9) }} hsr.HSRInstanceSet {{ HSR(15,9) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 reply propose hsr.HSRInstanceSet {{ HSR(16,9) }} scg.protocol.ForAllExistsMin {{ }} 0.625 1.0 hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3076923076923077 1.0 hsr.HSRInstanceSet {{ HSR(8,6) }} scg.protocol.ForAllExistsMin {{ }} 0.125 1.0 hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.08333333333333333 1.0 oppose strengthening 0.499999999 strengthening 0.599999999 refuting agree protocolResponse provide hsr.HSRInstance {{ HSR(7,1) }} provide hsr.HSRInstance {{ HSR(10,9) }} 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 h 12)))))))))))) }} 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 h 14)))))))))))))) }} 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 h 14)))))))))))))) }} teamName {{ babyavatar }} reputation 99.999999999 request propose hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 hsr.HSRInstanceSet {{ HSR(20,4) }} scg.protocol.ForAllExistsMin {{ }} 0.65 1.0 hsr.HSRInstanceSet {{ HSR(18,13) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(13,9) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 hsr.HSRInstanceSet {{ HSR(10,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(20,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(15,9) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(10,9) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6363636363636364 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(11,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9090909090909091 1.0 hsr.HSRInstanceSet {{ HSR(17,9) }} scg.protocol.ForAllExistsMin {{ }} 0.17647058823529413 1.0 hsr.HSRInstanceSet {{ HSR(8,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(5,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 hsr.HSRInstanceSet {{ HSR(16,9) }} scg.protocol.ForAllExistsMin {{ }} 0.625 1.0 hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3076923076923077 1.0 hsr.HSRInstanceSet {{ HSR(8,6) }} scg.protocol.ForAllExistsMin {{ }} 0.125 1.0 hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.08333333333333333 1.0 oppose hsr.HSRInstanceSet {{ HSR(16,9) }} scg.protocol.ForAllExistsMin {{ }} 0.625 1.0 hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3076923076923077 1.0 hsr.HSRInstanceSet {{ HSR(8,6) }} scg.protocol.ForAllExistsMin {{ }} 0.125 1.0 hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.08333333333333333 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6363636363636364 1.0 provide hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 provide hsr.HSRInstanceSet {{ HSR(11,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9090909090909091 1.0 provide hsr.HSRInstanceSet {{ HSR(17,9) }} scg.protocol.ForAllExistsMin {{ }} 0.17647058823529413 1.0 provide hsr.HSRInstanceSet {{ HSR(8,1) }} scg.protocol.ForAllExistsMin {{ }} 0.499999999 1.0 provide hsr.HSRInstanceSet {{ HSR(5,2) }} scg.protocol.ForAllExistsMin {{ }} 0.599999999 1.0 provide hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 solve hsr.HSRInstance {{ HSR(7,1) }} hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 solve hsr.HSRInstance {{ HSR(10,9) }} hsr.HSRInstanceSet {{ HSR(10,9) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 reply propose hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(9,8) }} scg.protocol.ForAllExistsMin {{ }} 0.5555555555555556 1.0 hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.7142857142857143 1.0 hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 oppose agree refuting agree refuting protocolResponse provide hsr.HSRInstance {{ HSR(11,2) }} provide hsr.HSRInstance {{ HSR(6,3) }} provide hsr.HSRInstance {{ HSR(11,7) }} provide hsr.HSRInstance {{ HSR(17,9) }} provide hsr.HSRInstance {{ HSR(8,1) }} provide hsr.HSRInstance {{ HSR(5,2) }} provide hsr.HSRInstance {{ HSR(8,3) }} 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 h 6)))))) }} 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 h 9))))))))) }} teamName {{ root }} reputation 103.000000001 request propose hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 hsr.HSRInstanceSet {{ HSR(20,4) }} scg.protocol.ForAllExistsMin {{ }} 0.65 1.0 hsr.HSRInstanceSet {{ HSR(18,13) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(13,9) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 hsr.HSRInstanceSet {{ HSR(10,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(20,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(15,9) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(10,9) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6363636363636364 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(11,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9090909090909091 1.0 hsr.HSRInstanceSet {{ HSR(17,9) }} scg.protocol.ForAllExistsMin {{ }} 0.17647058823529413 1.0 hsr.HSRInstanceSet {{ HSR(8,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(5,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 hsr.HSRInstanceSet {{ HSR(16,9) }} scg.protocol.ForAllExistsMin {{ }} 0.625 1.0 hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3076923076923077 1.0 hsr.HSRInstanceSet {{ HSR(8,6) }} scg.protocol.ForAllExistsMin {{ }} 0.125 1.0 hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.08333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(9,8) }} scg.protocol.ForAllExistsMin {{ }} 0.5555555555555556 1.0 hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.7142857142857143 1.0 hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 oppose hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(9,8) }} scg.protocol.ForAllExistsMin {{ }} 0.5555555555555556 1.0 hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.7142857142857143 1.0 hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 provide hsr.HSRInstanceSet {{ HSR(16,9) }} scg.protocol.ForAllExistsMin {{ }} 0.625 1.0 provide hsr.HSRInstanceSet {{ HSR(8,6) }} scg.protocol.ForAllExistsMin {{ }} 0.125 1.0 solve hsr.HSRInstance {{ HSR(11,2) }} hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6363636363636364 1.0 solve hsr.HSRInstance {{ HSR(6,3) }} hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 solve hsr.HSRInstance {{ HSR(11,7) }} hsr.HSRInstanceSet {{ HSR(11,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9090909090909091 1.0 solve hsr.HSRInstance {{ HSR(17,9) }} hsr.HSRInstanceSet {{ HSR(17,9) }} scg.protocol.ForAllExistsMin {{ }} 0.17647058823529413 1.0 solve hsr.HSRInstance {{ HSR(8,1) }} hsr.HSRInstanceSet {{ HSR(8,1) }} scg.protocol.ForAllExistsMin {{ }} 0.499999999 1.0 solve hsr.HSRInstance {{ HSR(5,2) }} hsr.HSRInstanceSet {{ HSR(5,2) }} scg.protocol.ForAllExistsMin {{ }} 0.599999999 1.0 solve hsr.HSRInstance {{ HSR(8,3) }} hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 reply propose hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(15,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 oppose agree refuting agree strengthening 0.499999999 protocolResponse provide hsr.HSRInstance {{ HSR(6,3) }} provide hsr.HSRInstance {{ HSR(16,9) }} provide hsr.HSRInstance {{ HSR(8,6) }} 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 h 10)))))))))) }} 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 h 5))))) }} 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 h 10)))))))))) }} 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 (16 y h 15 n h 16)))))))))))))))) }} 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 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 h 4)))) }} 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 h 7))))))) }} teamName {{ babyavatar }} reputation 98.999999999 request propose hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 hsr.HSRInstanceSet {{ HSR(20,4) }} scg.protocol.ForAllExistsMin {{ }} 0.65 1.0 hsr.HSRInstanceSet {{ HSR(18,13) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(13,9) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 hsr.HSRInstanceSet {{ HSR(10,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(20,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(15,9) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(10,9) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6363636363636364 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(11,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9090909090909091 1.0 hsr.HSRInstanceSet {{ HSR(17,9) }} scg.protocol.ForAllExistsMin {{ }} 0.17647058823529413 1.0 hsr.HSRInstanceSet {{ HSR(8,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(5,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 hsr.HSRInstanceSet {{ HSR(16,9) }} scg.protocol.ForAllExistsMin {{ }} 0.625 1.0 hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3076923076923077 1.0 hsr.HSRInstanceSet {{ HSR(8,6) }} scg.protocol.ForAllExistsMin {{ }} 0.125 1.0 hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.08333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(9,8) }} scg.protocol.ForAllExistsMin {{ }} 0.5555555555555556 1.0 hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.7142857142857143 1.0 hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(15,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 oppose hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(15,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3076923076923077 1.0 provide hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.08333333333333333 1.0 provide hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 provide hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.7142857142857143 1.0 provide hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.499999999 1.0 solve hsr.HSRInstance {{ HSR(6,3) }} hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 solve hsr.HSRInstance {{ HSR(16,9) }} hsr.HSRInstanceSet {{ HSR(16,9) }} scg.protocol.ForAllExistsMin {{ }} 0.625 1.0 solve hsr.HSRInstance {{ HSR(8,6) }} hsr.HSRInstanceSet {{ HSR(8,6) }} scg.protocol.ForAllExistsMin {{ }} 0.125 1.0 reply propose hsr.HSRInstanceSet {{ HSR(11,4) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(21,15) }} scg.protocol.ForAllExistsMin {{ }} 0.047619047619047616 1.0 oppose agree agree refuting refuting protocolResponse provide hsr.HSRInstance {{ HSR(13,7) }} provide hsr.HSRInstance {{ HSR(12,8) }} provide hsr.HSRInstance {{ HSR(7,4) }} provide hsr.HSRInstance {{ HSR(7,6) }} provide hsr.HSRInstance {{ HSR(14,4) }} 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 h 5))))) }} 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))))))))))))))) }} 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 h 7))))))) }} teamName {{ root }} reputation 101.00000000300001 request propose hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 hsr.HSRInstanceSet {{ HSR(20,4) }} scg.protocol.ForAllExistsMin {{ }} 0.65 1.0 hsr.HSRInstanceSet {{ HSR(18,13) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(13,9) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 hsr.HSRInstanceSet {{ HSR(10,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(20,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(15,9) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(10,9) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6363636363636364 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(11,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9090909090909091 1.0 hsr.HSRInstanceSet {{ HSR(17,9) }} scg.protocol.ForAllExistsMin {{ }} 0.17647058823529413 1.0 hsr.HSRInstanceSet {{ HSR(8,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(5,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 hsr.HSRInstanceSet {{ HSR(16,9) }} scg.protocol.ForAllExistsMin {{ }} 0.625 1.0 hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3076923076923077 1.0 hsr.HSRInstanceSet {{ HSR(8,6) }} scg.protocol.ForAllExistsMin {{ }} 0.125 1.0 hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.08333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(9,8) }} scg.protocol.ForAllExistsMin {{ }} 0.5555555555555556 1.0 hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.7142857142857143 1.0 hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(15,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(11,4) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(21,15) }} scg.protocol.ForAllExistsMin {{ }} 0.047619047619047616 1.0 oppose hsr.HSRInstanceSet {{ HSR(11,4) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(21,15) }} scg.protocol.ForAllExistsMin {{ }} 0.047619047619047616 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(9,8) }} scg.protocol.ForAllExistsMin {{ }} 0.5555555555555556 1.0 provide hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 provide hsr.HSRInstanceSet {{ HSR(15,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 solve hsr.HSRInstance {{ HSR(13,7) }} hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3076923076923077 1.0 solve hsr.HSRInstance {{ HSR(12,8) }} hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.08333333333333333 1.0 solve hsr.HSRInstance {{ HSR(7,4) }} hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 solve hsr.HSRInstance {{ HSR(7,6) }} hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.7142857142857143 1.0 solve hsr.HSRInstance {{ HSR(14,4) }} hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.499999999 1.0 reply propose hsr.HSRInstanceSet {{ HSR(11,7) }} scg.protocol.ForAllExistsMin {{ }} 0.18181818181818182 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(9,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5555555555555556 1.0 hsr.HSRInstanceSet {{ HSR(11,10) }} scg.protocol.ForAllExistsMin {{ }} 0.7272727272727273 1.0 oppose strengthening 0.2727272717272727 agree strengthening 0.499999999 refuting protocolResponse provide hsr.HSRInstance {{ HSR(9,8) }} provide hsr.HSRInstance {{ HSR(4,2) }} provide hsr.HSRInstance {{ HSR(15,8) }} 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 h 12)))))))))))) }} 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 h 11))))))))))) }} 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 h 6)))))) }} 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 h 6)))))) }} 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 h 13))))))))))))) }} teamName {{ babyavatar }} reputation 101.99999999699999 request propose hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 hsr.HSRInstanceSet {{ HSR(20,4) }} scg.protocol.ForAllExistsMin {{ }} 0.65 1.0 hsr.HSRInstanceSet {{ HSR(18,13) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(13,9) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 hsr.HSRInstanceSet {{ HSR(10,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(20,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(15,9) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(10,9) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6363636363636364 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(11,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9090909090909091 1.0 hsr.HSRInstanceSet {{ HSR(17,9) }} scg.protocol.ForAllExistsMin {{ }} 0.17647058823529413 1.0 hsr.HSRInstanceSet {{ HSR(8,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(5,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 hsr.HSRInstanceSet {{ HSR(16,9) }} scg.protocol.ForAllExistsMin {{ }} 0.625 1.0 hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3076923076923077 1.0 hsr.HSRInstanceSet {{ HSR(8,6) }} scg.protocol.ForAllExistsMin {{ }} 0.125 1.0 hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.08333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(9,8) }} scg.protocol.ForAllExistsMin {{ }} 0.5555555555555556 1.0 hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.7142857142857143 1.0 hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(15,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(11,4) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(21,15) }} scg.protocol.ForAllExistsMin {{ }} 0.047619047619047616 1.0 hsr.HSRInstanceSet {{ HSR(11,7) }} scg.protocol.ForAllExistsMin {{ }} 0.18181818181818182 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(9,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5555555555555556 1.0 hsr.HSRInstanceSet {{ HSR(11,10) }} scg.protocol.ForAllExistsMin {{ }} 0.7272727272727273 1.0 oppose hsr.HSRInstanceSet {{ HSR(11,7) }} scg.protocol.ForAllExistsMin {{ }} 0.18181818181818182 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(9,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5555555555555556 1.0 hsr.HSRInstanceSet {{ HSR(11,10) }} scg.protocol.ForAllExistsMin {{ }} 0.7272727272727273 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 provide hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 provide hsr.HSRInstanceSet {{ HSR(11,4) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272717272727 1.0 provide hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 provide hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{ }} 0.499999999 1.0 solve hsr.HSRInstance {{ HSR(9,8) }} hsr.HSRInstanceSet {{ HSR(9,8) }} scg.protocol.ForAllExistsMin {{ }} 0.5555555555555556 1.0 solve hsr.HSRInstance {{ HSR(4,2) }} hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 solve hsr.HSRInstance {{ HSR(15,8) }} hsr.HSRInstanceSet {{ HSR(15,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 reply propose hsr.HSRInstanceSet {{ HSR(16,9) }} scg.protocol.ForAllExistsMin {{ }} 0.1875 1.0 hsr.HSRInstanceSet {{ HSR(10,4) }} scg.protocol.ForAllExistsMin {{ }} 0.1 1.0 hsr.HSRInstanceSet {{ HSR(15,14) }} scg.protocol.ForAllExistsMin {{ }} 0.7333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(9,4) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 oppose strengthening 0.18181818081818182 refuting refuting strengthening 0.7272727262727273 protocolResponse provide hsr.HSRInstance {{ HSR(4,3) }} provide hsr.HSRInstance {{ HSR(7,4) }} provide hsr.HSRInstance {{ HSR(11,4) }} provide hsr.HSRInstance {{ HSR(7,4) }} provide hsr.HSRInstance {{ HSR(16,2) }} 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 h 8)))))))) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n h 3))) }} 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 h 14)))))))))))))) }} teamName {{ root }} reputation 102.00000000400001 request propose hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 hsr.HSRInstanceSet {{ HSR(20,4) }} scg.protocol.ForAllExistsMin {{ }} 0.65 1.0 hsr.HSRInstanceSet {{ HSR(18,13) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(13,9) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 hsr.HSRInstanceSet {{ HSR(10,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(20,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(15,12) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(15,9) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(10,9) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6363636363636364 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(11,7) }} scg.protocol.ForAllExistsMin {{ }} 0.9090909090909091 1.0 hsr.HSRInstanceSet {{ HSR(17,9) }} scg.protocol.ForAllExistsMin {{ }} 0.17647058823529413 1.0 hsr.HSRInstanceSet {{ HSR(8,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(5,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(6,3) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 hsr.HSRInstanceSet {{ HSR(16,9) }} scg.protocol.ForAllExistsMin {{ }} 0.625 1.0 hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.3076923076923077 1.0 hsr.HSRInstanceSet {{ HSR(8,6) }} scg.protocol.ForAllExistsMin {{ }} 0.125 1.0 hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.08333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(9,8) }} scg.protocol.ForAllExistsMin {{ }} 0.5555555555555556 1.0 hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.7142857142857143 1.0 hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(15,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(11,4) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(21,15) }} scg.protocol.ForAllExistsMin {{ }} 0.047619047619047616 1.0 hsr.HSRInstanceSet {{ HSR(11,7) }} scg.protocol.ForAllExistsMin {{ }} 0.18181818181818182 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(9,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5555555555555556 1.0 hsr.HSRInstanceSet {{ HSR(11,10) }} scg.protocol.ForAllExistsMin {{ }} 0.7272727272727273 1.0 hsr.HSRInstanceSet {{ HSR(16,9) }} scg.protocol.ForAllExistsMin {{ }} 0.1875 1.0 hsr.HSRInstanceSet {{ HSR(10,4) }} scg.protocol.ForAllExistsMin {{ }} 0.1 1.0 hsr.HSRInstanceSet {{ HSR(15,14) }} scg.protocol.ForAllExistsMin {{ }} 0.7333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(9,4) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 oppose hsr.HSRInstanceSet {{ HSR(16,9) }} scg.protocol.ForAllExistsMin {{ }} 0.1875 1.0 hsr.HSRInstanceSet {{ HSR(10,4) }} scg.protocol.ForAllExistsMin {{ }} 0.1 1.0 hsr.HSRInstanceSet {{ HSR(15,14) }} scg.protocol.ForAllExistsMin {{ }} 0.7333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(9,4) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(21,15) }} scg.protocol.ForAllExistsMin {{ }} 0.047619047619047616 1.0 provide hsr.HSRInstanceSet {{ HSR(11,7) }} scg.protocol.ForAllExistsMin {{ }} 0.18181818081818182 1.0 provide hsr.HSRInstanceSet {{ HSR(11,10) }} scg.protocol.ForAllExistsMin {{ }} 0.7272727262727273 1.0 solve hsr.HSRInstance {{ HSR(4,3) }} hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 solve hsr.HSRInstance {{ HSR(7,4) }} hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 solve hsr.HSRInstance {{ HSR(11,4) }} hsr.HSRInstanceSet {{ HSR(11,4) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272717272727 1.0 solve hsr.HSRInstance {{ HSR(7,4) }} hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 solve hsr.HSRInstance {{ HSR(16,2) }} hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{ }} 0.499999999 1.0 reply propose hsr.HSRInstanceSet {{ HSR(8,2) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(19,16) }} scg.protocol.ForAllExistsMin {{ }} 0.7368421052631579 1.0 hsr.HSRInstanceSet {{ HSR(21,20) }} scg.protocol.ForAllExistsMin {{ }} 0.9047619047619048 1.0 oppose agree agree agree agree protocolResponse provide hsr.HSRInstance {{ HSR(21,15) }} provide hsr.HSRInstance {{ HSR(11,7) }} provide hsr.HSRInstance {{ HSR(11,10) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n h 3))) }} 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 h 6)))))) }} 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 h 10)))))))))) }} 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 h 6)))))) }} 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 {{ babyavatar }} reputation 100.99999999599999 {{ root }} 102.00000000600002 {{ babyavatar }} 97.99999999399998