request propose oppose protocolRequest reply propose hsr.HSRInstanceSet {{ HSR(9,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(21,10) }} scg.protocol.ForAllExistsMin {{ }} 0.9047619047619048 1.0 hsr.HSRInstanceSet {{ HSR(10,5) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 oppose protocolResponse teamName {{ babyavatar }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(9,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(21,10) }} scg.protocol.ForAllExistsMin {{ }} 0.9047619047619048 1.0 hsr.HSRInstanceSet {{ HSR(10,5) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 oppose hsr.HSRInstanceSet {{ HSR(9,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(21,10) }} scg.protocol.ForAllExistsMin {{ }} 0.9047619047619048 1.0 hsr.HSRInstanceSet {{ HSR(10,5) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 protocolRequest reply propose hsr.HSRInstanceSet {{ HSR(163,4) }} scg.protocol.ForAllExistsMin {{ }} 0.049079754601226995 1.0 hsr.HSRInstanceSet {{ HSR(99,4) }} scg.protocol.ForAllExistsMin {{ }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(638,5) }} scg.protocol.ForAllExistsMin {{ }} 0.01567398119122257 1.0 hsr.HSRInstanceSet {{ HSR(5,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 oppose strengthening 0.8888888888888888 refuting strengthening 0.47619047619047616 refuting protocolResponse teamName {{ Starbuck }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(9,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(21,10) }} scg.protocol.ForAllExistsMin {{ }} 0.9047619047619048 1.0 hsr.HSRInstanceSet {{ HSR(10,5) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(163,4) }} scg.protocol.ForAllExistsMin {{ }} 0.049079754601226995 1.0 hsr.HSRInstanceSet {{ HSR(99,4) }} scg.protocol.ForAllExistsMin {{ }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(638,5) }} scg.protocol.ForAllExistsMin {{ }} 0.01567398119122257 1.0 hsr.HSRInstanceSet {{ HSR(5,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 oppose hsr.HSRInstanceSet {{ HSR(163,4) }} scg.protocol.ForAllExistsMin {{ }} 0.049079754601226995 1.0 hsr.HSRInstanceSet {{ HSR(99,4) }} scg.protocol.ForAllExistsMin {{ }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(638,5) }} scg.protocol.ForAllExistsMin {{ }} 0.01567398119122257 1.0 hsr.HSRInstanceSet {{ HSR(5,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(21,10) }} scg.protocol.ForAllExistsMin {{ }} 0.47619047619047616 1.0 reply propose hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(19,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15789473684210525 1.0 hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 oppose strengthening 0.049079753601226996 refuting refuting refuting strengthening 0.7999999990000001 protocolResponse provide hsr.HSRInstance {{ HSR(21,10) }} teamName {{ babyavatar }} reputation 99.0 request propose hsr.HSRInstanceSet {{ HSR(9,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(21,10) }} scg.protocol.ForAllExistsMin {{ }} 0.9047619047619048 1.0 hsr.HSRInstanceSet {{ HSR(10,5) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(163,4) }} scg.protocol.ForAllExistsMin {{ }} 0.049079754601226995 1.0 hsr.HSRInstanceSet {{ HSR(99,4) }} scg.protocol.ForAllExistsMin {{ }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(638,5) }} scg.protocol.ForAllExistsMin {{ }} 0.01567398119122257 1.0 hsr.HSRInstanceSet {{ HSR(5,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(19,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15789473684210525 1.0 hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 oppose hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(19,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15789473684210525 1.0 hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 provide hsr.HSRInstanceSet {{ HSR(10,5) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 provide hsr.HSRInstanceSet {{ HSR(163,4) }} scg.protocol.ForAllExistsMin {{ }} 0.049079753601226996 1.0 provide hsr.HSRInstanceSet {{ HSR(5,1) }} scg.protocol.ForAllExistsMin {{ }} 0.7999999990000001 1.0 solve hsr.HSRInstance {{ HSR(21,10) }} hsr.HSRInstanceSet {{ HSR(21,10) }} scg.protocol.ForAllExistsMin {{ }} 0.47619047619047616 1.0 reply propose hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,2) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(502,7) }} scg.protocol.ForAllExistsMin {{ }} 0.017928286852589643 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 oppose agree strengthening 0.38095238095238093 refuting agree protocolResponse provide hsr.HSRInstance {{ HSR(7,4) }} provide hsr.HSRInstance {{ HSR(10,5) }} provide hsr.HSRInstance {{ HSR(163,4) }} provide hsr.HSRInstance {{ HSR(5,1) }} solve hsr.HSRSolution {{ (11 y (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)))) n (18 y (14 y (12 y h 11 n (13 y h 12 n h 13)) n (16 y (15 y h 14 n h 15) n (17 y h 16 n h 17))) n (20 y (19 y h 18 n h 19) n h 20))) }} teamName {{ Starbuck }} reputation 101.0 request propose hsr.HSRInstanceSet {{ HSR(9,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(21,10) }} scg.protocol.ForAllExistsMin {{ }} 0.9047619047619048 1.0 hsr.HSRInstanceSet {{ HSR(10,5) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(163,4) }} scg.protocol.ForAllExistsMin {{ }} 0.049079754601226995 1.0 hsr.HSRInstanceSet {{ HSR(99,4) }} scg.protocol.ForAllExistsMin {{ }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(638,5) }} scg.protocol.ForAllExistsMin {{ }} 0.01567398119122257 1.0 hsr.HSRInstanceSet {{ HSR(5,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(19,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15789473684210525 1.0 hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,2) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(502,7) }} scg.protocol.ForAllExistsMin {{ }} 0.017928286852589643 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 oppose hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,2) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(502,7) }} scg.protocol.ForAllExistsMin {{ }} 0.017928286852589643 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(99,4) }} scg.protocol.ForAllExistsMin {{ }} 0.0707070707070707 1.0 provide hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 provide hsr.HSRInstanceSet {{ HSR(638,5) }} scg.protocol.ForAllExistsMin {{ }} 0.01567398119122257 1.0 provide hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 provide hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.38095238095238093 1.0 provide hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 solve hsr.HSRInstance {{ HSR(7,4) }} hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 solve hsr.HSRInstance {{ HSR(10,5) }} hsr.HSRInstanceSet {{ HSR(10,5) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 solve hsr.HSRInstance {{ HSR(163,4) }} hsr.HSRInstanceSet {{ HSR(163,4) }} scg.protocol.ForAllExistsMin {{ }} 0.049079753601226996 1.0 solve hsr.HSRInstance {{ HSR(5,1) }} hsr.HSRInstanceSet {{ HSR(5,1) }} scg.protocol.ForAllExistsMin {{ }} 0.7999999990000001 1.0 reply propose hsr.HSRInstanceSet {{ HSR(14,11) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(11,4) }} scg.protocol.ForAllExistsMin {{ }} 0.5454545454545454 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 oppose agree strengthening 0.4285714275714285 refuting agree refuting protocolResponse provide hsr.HSRInstance {{ HSR(99,4) }} provide hsr.HSRInstance {{ HSR(11,2) }} provide hsr.HSRInstance {{ HSR(638,5) }} provide hsr.HSRInstance {{ HSR(4,3) }} provide hsr.HSRInstance {{ HSR(21,8) }} provide hsr.HSRInstance {{ HSR(12,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 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))))))))) }} 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 (20 y h 19 n (21 y h 20 n (22 y h 21 n (23 y h 22 n (24 y h 23 n (25 y h 24 n (26 y h 25 n (27 y h 26 n (28 y h 27 n (29 y h 28 n (30 y h 29 n (31 y h 30 n (32 y h 31 n (33 y h 32 n (34 y h 33 n (35 y h 34 n (36 y h 35 n (37 y h 36 n (38 y h 37 n (39 y h 38 n (40 y h 39 n (41 y h 40 n (42 y h 41 n (43 y h 42 n (44 y h 43 n (45 y h 44 n (46 y h 45 n (47 y h 46 n (48 y h 47 n (49 y h 48 n (50 y h 49 n (51 y h 50 n (52 y h 51 n (53 y h 52 n (54 y h 53 n (55 y h 54 n (56 y h 55 n (57 y h 56 n (58 y h 57 n (59 y h 58 n (60 y h 59 n (61 y h 60 n (62 y h 61 n (63 y h 62 n (64 y h 63 n (65 y h 64 n (66 y h 65 n (67 y h 66 n (68 y h 67 n (69 y h 68 n (70 y h 69 n (71 y h 70 n (72 y h 71 n (73 y h 72 n (74 y h 73 n (75 y h 74 n (76 y h 75 n (77 y h 76 n (78 y h 77 n (79 y h 78 n (80 y h 79 n (81 y h 80 n (82 y h 81 n (83 y h 82 n (84 y h 83 n (85 y h 84 n (86 y h 85 n (87 y h 86 n (88 y h 87 n (89 y h 88 n (90 y h 89 n (91 y h 90 n (92 y h 91 n (93 y h 92 n (94 y h 93 n (95 y h 94 n (96 y h 95 n (97 y h 96 n (98 y h 97 n (99 y h 98 n (100 y h 99 n (101 y h 100 n (102 y h 101 n (103 y h 102 n (104 y h 103 n (105 y h 104 n (106 y h 105 n (107 y h 106 n (108 y h 107 n (109 y h 108 n (110 y h 109 n (111 y h 110 n (112 y h 111 n (113 y h 112 n (114 y h 113 n (115 y h 114 n (116 y h 115 n (117 y h 116 n (118 y h 117 n (119 y h 118 n (120 y h 119 n (121 y h 120 n (122 y h 121 n (123 y h 122 n (124 y h 123 n (125 y h 124 n (126 y h 125 n (127 y h 126 n (128 y h 127 n (129 y h 128 n (130 y h 129 n (131 y h 130 n (132 y h 131 n (133 y h 132 n (134 y h 133 n (135 y h 134 n (136 y h 135 n (137 y h 136 n (138 y h 137 n (139 y h 138 n (140 y h 139 n (141 y h 140 n (142 y h 141 n (143 y h 142 n (144 y h 143 n (145 y h 144 n (146 y h 145 n (147 y h 146 n (148 y h 147 n (149 y h 148 n (150 y h 149 n (151 y h 150 n (152 y h 151 n (153 y h 152 n (154 y h 153 n (155 y h 154 n (156 y h 155 n (157 y h 156 n (158 y h 157 n (159 y h 158 n (160 y h 159 n (161 y h 160 n (162 y h 161 n h 162)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) }} 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)))) }} teamName {{ babyavatar }} reputation 98.0 request propose hsr.HSRInstanceSet {{ HSR(9,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(21,10) }} scg.protocol.ForAllExistsMin {{ }} 0.9047619047619048 1.0 hsr.HSRInstanceSet {{ HSR(10,5) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(163,4) }} scg.protocol.ForAllExistsMin {{ }} 0.049079754601226995 1.0 hsr.HSRInstanceSet {{ HSR(99,4) }} scg.protocol.ForAllExistsMin {{ }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(638,5) }} scg.protocol.ForAllExistsMin {{ }} 0.01567398119122257 1.0 hsr.HSRInstanceSet {{ HSR(5,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(19,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15789473684210525 1.0 hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,2) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(502,7) }} scg.protocol.ForAllExistsMin {{ }} 0.017928286852589643 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(14,11) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(11,4) }} scg.protocol.ForAllExistsMin {{ }} 0.5454545454545454 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 oppose hsr.HSRInstanceSet {{ HSR(14,11) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(11,4) }} scg.protocol.ForAllExistsMin {{ }} 0.5454545454545454 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(19,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15789473684210525 1.0 provide hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 provide hsr.HSRInstanceSet {{ HSR(7,2) }} scg.protocol.ForAllExistsMin {{ }} 0.4285714275714285 1.0 provide hsr.HSRInstanceSet {{ HSR(502,7) }} scg.protocol.ForAllExistsMin {{ }} 0.017928286852589643 1.0 solve hsr.HSRInstance {{ HSR(99,4) }} hsr.HSRInstanceSet {{ HSR(99,4) }} scg.protocol.ForAllExistsMin {{ }} 0.0707070707070707 1.0 solve hsr.HSRInstance {{ HSR(11,2) }} hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 solve hsr.HSRInstance {{ HSR(638,5) }} hsr.HSRInstanceSet {{ HSR(638,5) }} scg.protocol.ForAllExistsMin {{ }} 0.01567398119122257 1.0 solve hsr.HSRInstance {{ HSR(4,3) }} hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 solve hsr.HSRInstance {{ HSR(21,8) }} hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.38095238095238093 1.0 solve hsr.HSRInstance {{ HSR(12,8) }} hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 reply propose hsr.HSRInstanceSet {{ HSR(256,8) }} scg.protocol.ForAllExistsMin {{ }} 0.03125 1.0 hsr.HSRInstanceSet {{ HSR(64,3) }} scg.protocol.ForAllExistsMin {{ }} 0.109375 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(57,4) }} scg.protocol.ForAllExistsMin {{ }} 0.10526315789473684 1.0 hsr.HSRInstanceSet {{ HSR(512,9) }} scg.protocol.ForAllExistsMin {{ }} 0.017578125 1.0 oppose refuting refuting strengthening 0.36363636363636365 refuting protocolResponse provide hsr.HSRInstance {{ HSR(19,7) }} provide hsr.HSRInstance {{ HSR(3,1) }} provide hsr.HSRInstance {{ HSR(7,2) }} provide hsr.HSRInstance {{ HSR(502,7) }} solve hsr.HSRSolution {{ (42 y (16 y (5 y (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n h 4)))) n (9 y (6 y h 5 n (7 y h 6 n (8 y h 7 n h 8))) n (12 y (10 y 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 (27 y (20 y (17 y h 16 n (18 y h 17 n (19 y h 18 n h 19))) n (23 y (21 y h 20 n (22 y h 21 n h 22)) n (25 y (24 y h 23 n h 24) n (26 y h 25 n h 26)))) n (34 y (30 y (28 y h 27 n (29 y h 28 n h 29)) n (32 y (31 y h 30 n h 31) n (33 y h 32 n h 33))) n (38 y (36 y (35 y h 34 n h 35) n (37 y h 36 n h 37)) n (40 y (39 y h 38 n h 39) n (41 y h 40 n h 41)))))) n (68 y (53 y (46 y (43 y h 42 n (44 y h 43 n (45 y h 44 n h 45))) n (49 y (47 y h 46 n (48 y h 47 n h 48)) n (51 y (50 y h 49 n h 50) n (52 y h 51 n h 52)))) n (60 y (56 y (54 y h 53 n (55 y h 54 n h 55)) n (58 y (57 y h 56 n h 57) n (59 y h 58 n h 59))) n (64 y (62 y (61 y h 60 n h 61) n (63 y h 62 n h 63)) n (66 y (65 y h 64 n h 65) n (67 y h 66 n h 67))))) n (83 y (75 y (71 y (69 y h 68 n (70 y h 69 n h 70)) n (73 y (72 y h 71 n h 72) n (74 y h 73 n h 74))) n (79 y (77 y (76 y h 75 n h 76) n (78 y h 77 n h 78)) n (81 y (80 y h 79 n h 80) n (82 y h 81 n h 82)))) n (91 y (87 y (85 y (84 y h 83 n h 84) n (86 y h 85 n h 86)) n (89 y (88 y h 87 n h 88) n (90 y h 89 n h 90))) n (95 y (93 y (92 y h 91 n h 92) n (94 y h 93 n h 94)) n (97 y (96 y h 95 n h 96) n (98 y h 97 n h 98))))))) }} 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 {{ (256 y (93 y (29 y (7 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 (6 y h 5 n h 6)))))) n (13 y (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))))) n (18 y (14 y h 13 n (15 y h 14 n (16 y h 15 n (17 y h 16 n h 17)))) n (22 y (19 y h 18 n (20 y h 19 n (21 y h 20 n h 21))) n (25 y (23 y h 22 n (24 y h 23 n h 24)) n (27 y (26 y h 25 n h 26) n (28 y h 27 n h 28))))))) n (51 y (35 y (30 y h 29 n (31 y h 30 n (32 y h 31 n (33 y h 32 n (34 y h 33 n h 34))))) n (40 y (36 y h 35 n (37 y h 36 n (38 y h 37 n (39 y h 38 n h 39)))) n (44 y (41 y h 40 n (42 y h 41 n (43 y h 42 n h 43))) n (47 y (45 y h 44 n (46 y h 45 n h 46)) n (49 y (48 y h 47 n h 48) n (50 y h 49 n h 50)))))) n (67 y (56 y (52 y h 51 n (53 y h 52 n (54 y h 53 n (55 y h 54 n h 55)))) n (60 y (57 y h 56 n (58 y h 57 n (59 y h 58 n h 59))) n (63 y (61 y h 60 n (62 y h 61 n h 62)) n (65 y (64 y h 63 n h 64) n (66 y h 65 n h 66))))) n (78 y (71 y (68 y h 67 n (69 y h 68 n (70 y h 69 n h 70))) n (74 y (72 y h 71 n (73 y h 72 n h 73)) n (76 y (75 y h 74 n h 75) n (77 y h 76 n h 77)))) n (85 y (81 y (79 y h 78 n (80 y h 79 n h 80)) n (83 y (82 y h 81 n h 82) n (84 y h 83 n h 84))) n (89 y (87 y (86 y h 85 n h 86) n (88 y h 87 n h 88)) n (91 y (90 y h 89 n h 90) n (92 y h 91 n h 92)))))))) n (157 y (115 y (99 y (94 y h 93 n (95 y h 94 n (96 y h 95 n (97 y h 96 n (98 y h 97 n h 98))))) n (104 y (100 y h 99 n (101 y h 100 n (102 y h 101 n (103 y h 102 n h 103)))) n (108 y (105 y h 104 n (106 y h 105 n (107 y h 106 n h 107))) n (111 y (109 y h 108 n (110 y h 109 n h 110)) n (113 y (112 y h 111 n h 112) n (114 y h 113 n h 114)))))) n (131 y (120 y (116 y h 115 n (117 y h 116 n (118 y h 117 n (119 y h 118 n h 119)))) n (124 y (121 y h 120 n (122 y h 121 n (123 y h 122 n h 123))) n (127 y (125 y h 124 n (126 y h 125 n h 126)) n (129 y (128 y h 127 n h 128) n (130 y h 129 n h 130))))) n (142 y (135 y (132 y h 131 n (133 y h 132 n (134 y h 133 n h 134))) n (138 y (136 y h 135 n (137 y h 136 n h 137)) n (140 y (139 y h 138 n h 139) n (141 y h 140 n h 141)))) n (149 y (145 y (143 y h 142 n (144 y h 143 n h 144)) n (147 y (146 y h 145 n h 146) n (148 y h 147 n h 148))) n (153 y (151 y (150 y h 149 n h 150) n (152 y h 151 n h 152)) n (155 y (154 y h 153 n h 154) n (156 y h 155 n h 156))))))) n (199 y (173 y (162 y (158 y h 157 n (159 y h 158 n (160 y h 159 n (161 y h 160 n h 161)))) n (166 y (163 y h 162 n (164 y h 163 n (165 y h 164 n h 165))) n (169 y (167 y h 166 n (168 y h 167 n h 168)) n (171 y (170 y h 169 n h 170) n (172 y h 171 n h 172))))) n (184 y (177 y (174 y h 173 n (175 y h 174 n (176 y h 175 n h 176))) n (180 y (178 y h 177 n (179 y h 178 n h 179)) n (182 y (181 y h 180 n h 181) n (183 y h 182 n h 183)))) n (191 y (187 y (185 y h 184 n (186 y h 185 n h 186)) n (189 y (188 y h 187 n h 188) n (190 y h 189 n h 190))) n (195 y (193 y (192 y h 191 n h 192) n (194 y h 193 n h 194)) n (197 y (196 y h 195 n h 196) n (198 y h 197 n h 198)))))) n (225 y (210 y (203 y (200 y h 199 n (201 y h 200 n (202 y h 201 n h 202))) n (206 y (204 y h 203 n (205 y h 204 n h 205)) n (208 y (207 y h 206 n h 207) n (209 y h 208 n h 209)))) n (217 y (213 y (211 y h 210 n (212 y h 211 n h 212)) n (215 y (214 y h 213 n h 214) n (216 y h 215 n h 216))) n (221 y (219 y (218 y h 217 n h 218) n (220 y h 219 n h 220)) n (223 y (222 y h 221 n h 222) n (224 y h 223 n h 224))))) n (240 y (232 y (228 y (226 y h 225 n (227 y h 226 n h 227)) n (230 y (229 y h 228 n h 229) n (231 y h 230 n h 231))) n (236 y (234 y (233 y h 232 n h 233) n (235 y h 234 n h 235)) n (238 y (237 y h 236 n h 237) n (239 y h 238 n h 239)))) n (248 y (244 y (242 y (241 y h 240 n h 241) n (243 y h 242 n h 243)) n (246 y (245 y h 244 n h 245) n (247 y h 246 n h 247))) n (252 y (250 y (249 y h 248 n h 249) n (251 y h 250 n h 251)) n (254 y (253 y h 252 n h 253) n (255 y h 254 n h 255))))))))) n (419 y (320 y (278 y (262 y (257 y h 256 n (258 y h 257 n (259 y h 258 n (260 y h 259 n (261 y h 260 n h 261))))) n (267 y (263 y h 262 n (264 y h 263 n (265 y h 264 n (266 y h 265 n h 266)))) n (271 y (268 y h 267 n (269 y h 268 n (270 y h 269 n h 270))) n (274 y (272 y h 271 n (273 y h 272 n h 273)) n (276 y (275 y h 274 n h 275) n (277 y h 276 n h 277)))))) n (294 y (283 y (279 y h 278 n (280 y h 279 n (281 y h 280 n (282 y h 281 n h 282)))) n (287 y (284 y h 283 n (285 y h 284 n (286 y h 285 n h 286))) n (290 y (288 y h 287 n (289 y h 288 n h 289)) n (292 y (291 y h 290 n h 291) n (293 y h 292 n h 293))))) n (305 y (298 y (295 y h 294 n (296 y h 295 n (297 y h 296 n h 297))) n (301 y (299 y h 298 n (300 y h 299 n h 300)) n (303 y (302 y h 301 n h 302) n (304 y h 303 n h 304)))) n (312 y (308 y (306 y h 305 n (307 y h 306 n h 307)) n (310 y (309 y h 308 n h 309) n (311 y h 310 n h 311))) n (316 y (314 y (313 y h 312 n h 313) n (315 y h 314 n h 315)) n (318 y (317 y h 316 n h 317) n (319 y h 318 n h 319))))))) n (362 y (336 y (325 y (321 y h 320 n (322 y h 321 n (323 y h 322 n (324 y h 323 n h 324)))) n (329 y (326 y h 325 n (327 y h 326 n (328 y h 327 n h 328))) n (332 y (330 y h 329 n (331 y h 330 n h 331)) n (334 y (333 y h 332 n h 333) n (335 y h 334 n h 335))))) n (347 y (340 y (337 y h 336 n (338 y h 337 n (339 y h 338 n h 339))) n (343 y (341 y h 340 n (342 y h 341 n h 342)) n (345 y (344 y h 343 n h 344) n (346 y h 345 n h 346)))) n (354 y (350 y (348 y h 347 n (349 y h 348 n h 349)) n (352 y (351 y h 350 n h 351) n (353 y h 352 n h 353))) n (358 y (356 y (355 y h 354 n h 355) n (357 y h 356 n h 357)) n (360 y (359 y h 358 n h 359) n (361 y h 360 n h 361)))))) n (388 y (373 y (366 y (363 y h 362 n (364 y h 363 n (365 y h 364 n h 365))) n (369 y (367 y h 366 n (368 y h 367 n h 368)) n (371 y (370 y h 369 n h 370) n (372 y h 371 n h 372)))) n (380 y (376 y (374 y h 373 n (375 y h 374 n h 375)) n (378 y (377 y h 376 n h 377) n (379 y h 378 n h 379))) n (384 y (382 y (381 y h 380 n h 381) n (383 y h 382 n h 383)) n (386 y (385 y h 384 n h 385) n (387 y h 386 n h 387))))) n (403 y (395 y (391 y (389 y h 388 n (390 y h 389 n h 390)) n (393 y (392 y h 391 n h 392) n (394 y h 393 n h 394))) n (399 y (397 y (396 y h 395 n h 396) n (398 y h 397 n h 398)) n (401 y (400 y h 399 n h 400) n (402 y h 401 n h 402)))) n (411 y (407 y (405 y (404 y h 403 n h 404) n (406 y h 405 n h 406)) n (409 y (408 y h 407 n h 408) n (410 y h 409 n h 410))) n (415 y (413 y (412 y h 411 n h 412) n (414 y h 413 n h 414)) n (417 y (416 y h 415 n h 416) n (418 y h 417 n h 418)))))))) n (518 y (461 y (435 y (424 y (420 y h 419 n (421 y h 420 n (422 y h 421 n (423 y h 422 n h 423)))) n (428 y (425 y h 424 n (426 y h 425 n (427 y h 426 n h 427))) n (431 y (429 y h 428 n (430 y h 429 n h 430)) n (433 y (432 y h 431 n h 432) n (434 y h 433 n h 434))))) n (446 y (439 y (436 y h 435 n (437 y h 436 n (438 y h 437 n h 438))) n (442 y (440 y h 439 n (441 y h 440 n h 441)) n (444 y (443 y h 442 n h 443) n (445 y h 444 n h 445)))) n (453 y (449 y (447 y h 446 n (448 y h 447 n h 448)) n (451 y (450 y h 449 n h 450) n (452 y h 451 n h 452))) n (457 y (455 y (454 y h 453 n h 454) n (456 y h 455 n h 456)) n (459 y (458 y h 457 n h 458) n (460 y h 459 n h 460)))))) n (487 y (472 y (465 y (462 y h 461 n (463 y h 462 n (464 y h 463 n h 464))) n (468 y (466 y h 465 n (467 y h 466 n h 467)) n (470 y (469 y h 468 n h 469) n (471 y h 470 n h 471)))) n (479 y (475 y (473 y h 472 n (474 y h 473 n h 474)) n (477 y (476 y h 475 n h 476) n (478 y h 477 n h 478))) n (483 y (481 y (480 y h 479 n h 480) n (482 y h 481 n h 482)) n (485 y (484 y h 483 n h 484) n (486 y h 485 n h 486))))) n (502 y (494 y (490 y (488 y h 487 n (489 y h 488 n h 489)) n (492 y (491 y h 490 n h 491) n (493 y h 492 n h 493))) n (498 y (496 y (495 y h 494 n h 495) n (497 y h 496 n h 497)) n (500 y (499 y h 498 n h 499) n (501 y h 500 n h 501)))) n (510 y (506 y (504 y (503 y h 502 n h 503) n (505 y h 504 n h 505)) n (508 y (507 y h 506 n h 507) n (509 y h 508 n h 509))) n (514 y (512 y (511 y h 510 n h 511) n (513 y h 512 n h 513)) n (516 y (515 y h 514 n h 515) n (517 y h 516 n h 517))))))) n (575 y (544 y (529 y (522 y (519 y h 518 n (520 y h 519 n (521 y h 520 n h 521))) n (525 y (523 y h 522 n (524 y h 523 n h 524)) n (527 y (526 y h 525 n h 526) n (528 y h 527 n h 528)))) n (536 y (532 y (530 y h 529 n (531 y h 530 n h 531)) n (534 y (533 y h 532 n h 533) n (535 y h 534 n h 535))) n (540 y (538 y (537 y h 536 n h 537) n (539 y h 538 n h 539)) n (542 y (541 y h 540 n h 541) n (543 y h 542 n h 543))))) n (559 y (551 y (547 y (545 y h 544 n (546 y h 545 n h 546)) n (549 y (548 y h 547 n h 548) n (550 y h 549 n h 550))) n (555 y (553 y (552 y h 551 n h 552) n (554 y h 553 n h 554)) n (557 y (556 y h 555 n h 556) n (558 y h 557 n h 558)))) n (567 y (563 y (561 y (560 y h 559 n h 560) n (562 y h 561 n h 562)) n (565 y (564 y h 563 n h 564) n (566 y h 565 n h 566))) n (571 y (569 y (568 y h 567 n h 568) n (570 y h 569 n h 570)) n (573 y (572 y h 571 n h 572) n (574 y h 573 n h 574)))))) n (606 y (590 y (582 y (578 y (576 y h 575 n (577 y h 576 n h 577)) n (580 y (579 y h 578 n h 579) n (581 y h 580 n h 581))) n (586 y (584 y (583 y h 582 n h 583) n (585 y h 584 n h 585)) n (588 y (587 y h 586 n h 587) n (589 y h 588 n h 589)))) n (598 y (594 y (592 y (591 y h 590 n h 591) n (593 y h 592 n h 593)) n (596 y (595 y h 594 n h 595) n (597 y h 596 n h 597))) n (602 y (600 y (599 y h 598 n h 599) n (601 y h 600 n h 601)) n (604 y (603 y h 602 n h 603) n (605 y h 604 n h 605))))) n (622 y (614 y (610 y (608 y (607 y h 606 n h 607) n (609 y h 608 n h 609)) n (612 y (611 y h 610 n h 611) n (613 y h 612 n h 613))) n (618 y (616 y (615 y h 614 n h 615) n (617 y h 616 n h 617)) n (620 y (619 y h 618 n h 619) n (621 y h 620 n h 621)))) n (630 y (626 y (624 y (623 y h 622 n h 623) n (625 y h 624 n h 625)) n (628 y (627 y h 626 n h 627) n (629 y h 628 n h 629))) n (634 y (632 y (631 y h 630 n h 631) n (633 y h 632 n h 633)) n (636 y (635 y h 634 n h 635) n (637 y h 636 n h 637)))))))))) }} solve hsr.HSRSolution {{ (2 y (1 y h 0 n h 1) n (3 y h 2 n h 3)) }} solve hsr.HSRSolution {{ (11 y (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)))) n (18 y (14 y (12 y h 11 n (13 y h 12 n h 13)) n (16 y (15 y h 14 n h 15) n (17 y h 16 n h 17))) n (20 y (19 y h 18 n h 19) n h 20))) }} solve hsr.HSRSolution {{ (7 y (3 y (1 y h 0 n (2 y h 1 n h 2)) n (5 y (4 y h 3 n h 4) n (6 y h 5 n h 6))) n (11 y (9 y (8 y h 7 n h 8) n (10 y h 9 n h 10)) n h 11)) }} teamName {{ Starbuck }} reputation 104.00000000200001 request propose hsr.HSRInstanceSet {{ HSR(9,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(21,10) }} scg.protocol.ForAllExistsMin {{ }} 0.9047619047619048 1.0 hsr.HSRInstanceSet {{ HSR(10,5) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(163,4) }} scg.protocol.ForAllExistsMin {{ }} 0.049079754601226995 1.0 hsr.HSRInstanceSet {{ HSR(99,4) }} scg.protocol.ForAllExistsMin {{ }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(638,5) }} scg.protocol.ForAllExistsMin {{ }} 0.01567398119122257 1.0 hsr.HSRInstanceSet {{ HSR(5,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(19,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15789473684210525 1.0 hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,2) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(502,7) }} scg.protocol.ForAllExistsMin {{ }} 0.017928286852589643 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(14,11) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(11,4) }} scg.protocol.ForAllExistsMin {{ }} 0.5454545454545454 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(256,8) }} scg.protocol.ForAllExistsMin {{ }} 0.03125 1.0 hsr.HSRInstanceSet {{ HSR(64,3) }} scg.protocol.ForAllExistsMin {{ }} 0.109375 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(57,4) }} scg.protocol.ForAllExistsMin {{ }} 0.10526315789473684 1.0 hsr.HSRInstanceSet {{ HSR(512,9) }} scg.protocol.ForAllExistsMin {{ }} 0.017578125 1.0 oppose hsr.HSRInstanceSet {{ HSR(256,8) }} scg.protocol.ForAllExistsMin {{ }} 0.03125 1.0 hsr.HSRInstanceSet {{ HSR(64,3) }} scg.protocol.ForAllExistsMin {{ }} 0.109375 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(57,4) }} scg.protocol.ForAllExistsMin {{ }} 0.10526315789473684 1.0 hsr.HSRInstanceSet {{ HSR(512,9) }} scg.protocol.ForAllExistsMin {{ }} 0.017578125 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 provide hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 provide hsr.HSRInstanceSet {{ HSR(11,4) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 solve hsr.HSRInstance {{ HSR(19,7) }} hsr.HSRInstanceSet {{ HSR(19,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15789473684210525 1.0 solve hsr.HSRInstance {{ HSR(3,1) }} hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 solve hsr.HSRInstance {{ HSR(7,2) }} hsr.HSRInstanceSet {{ HSR(7,2) }} scg.protocol.ForAllExistsMin {{ }} 0.4285714275714285 1.0 solve hsr.HSRInstance {{ HSR(502,7) }} hsr.HSRInstanceSet {{ HSR(502,7) }} scg.protocol.ForAllExistsMin {{ }} 0.017928286852589643 1.0 reply propose hsr.HSRInstanceSet {{ HSR(20,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(3,2) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(17,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6470588235294118 1.0 hsr.HSRInstanceSet {{ HSR(7,5) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 oppose agree agree refuting agree agree protocolResponse provide hsr.HSRInstance {{ HSR(22,2) }} provide hsr.HSRInstance {{ HSR(2,1) }} provide hsr.HSRInstance {{ HSR(11,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 (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 h 18)))))))))))))))))) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n h 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 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 (16 y h 15 n (17 y h 16 n (18 y h 17 n (19 y h 18 n (20 y h 19 n (21 y h 20 n (22 y h 21 n (23 y h 22 n (24 y h 23 n (25 y h 24 n (26 y h 25 n (27 y h 26 n (28 y h 27 n (29 y h 28 n (30 y h 29 n (31 y h 30 n (32 y h 31 n (33 y h 32 n (34 y h 33 n (35 y h 34 n (36 y h 35 n (37 y h 36 n (38 y h 37 n (39 y h 38 n (40 y h 39 n (41 y h 40 n (42 y h 41 n (43 y h 42 n (44 y h 43 n (45 y h 44 n (46 y h 45 n (47 y h 46 n (48 y h 47 n (49 y h 48 n (50 y h 49 n (51 y h 50 n (52 y h 51 n (53 y h 52 n (54 y h 53 n (55 y h 54 n (56 y h 55 n (57 y h 56 n (58 y h 57 n (59 y h 58 n (60 y h 59 n (61 y h 60 n (62 y h 61 n (63 y h 62 n (64 y h 63 n (65 y h 64 n (66 y h 65 n (67 y h 66 n (68 y h 67 n (69 y h 68 n (70 y h 69 n (71 y h 70 n (72 y h 71 n (73 y h 72 n (74 y h 73 n (75 y h 74 n (76 y h 75 n (77 y h 76 n (78 y h 77 n (79 y h 78 n (80 y h 79 n (81 y h 80 n (82 y h 81 n (83 y h 82 n (84 y h 83 n (85 y h 84 n (86 y h 85 n (87 y h 86 n (88 y h 87 n (89 y h 88 n (90 y h 89 n (91 y h 90 n (92 y h 91 n (93 y h 92 n (94 y h 93 n (95 y h 94 n (96 y h 95 n (97 y h 96 n (98 y h 97 n (99 y h 98 n (100 y h 99 n (101 y h 100 n (102 y h 101 n (103 y h 102 n (104 y h 103 n (105 y h 104 n (106 y h 105 n (107 y h 106 n (108 y h 107 n (109 y h 108 n (110 y h 109 n (111 y h 110 n (112 y h 111 n (113 y h 112 n (114 y h 113 n (115 y h 114 n (116 y h 115 n (117 y h 116 n (118 y h 117 n (119 y h 118 n (120 y h 119 n (121 y h 120 n (122 y h 121 n (123 y h 122 n (124 y h 123 n (125 y h 124 n (126 y h 125 n (127 y h 126 n (128 y h 127 n (129 y h 128 n (130 y h 129 n (131 y h 130 n (132 y h 131 n (133 y h 132 n (134 y h 133 n (135 y h 134 n (136 y h 135 n (137 y h 136 n (138 y h 137 n (139 y h 138 n (140 y h 139 n (141 y h 140 n (142 y h 141 n (143 y h 142 n (144 y h 143 n (145 y h 144 n (146 y h 145 n (147 y h 146 n (148 y h 147 n (149 y h 148 n (150 y h 149 n (151 y h 150 n (152 y h 151 n (153 y h 152 n (154 y h 153 n (155 y h 154 n (156 y h 155 n (157 y h 156 n (158 y h 157 n (159 y h 158 n (160 y h 159 n (161 y h 160 n (162 y h 161 n (163 y h 162 n (164 y h 163 n (165 y h 164 n (166 y h 165 n (167 y h 166 n (168 y h 167 n (169 y h 168 n (170 y h 169 n (171 y h 170 n (172 y h 171 n (173 y h 172 n (174 y h 173 n (175 y h 174 n (176 y h 175 n (177 y h 176 n (178 y h 177 n (179 y h 178 n (180 y h 179 n (181 y h 180 n (182 y h 181 n (183 y h 182 n (184 y h 183 n (185 y h 184 n (186 y h 185 n (187 y h 186 n (188 y h 187 n (189 y h 188 n (190 y h 189 n (191 y h 190 n (192 y h 191 n (193 y h 192 n (194 y h 193 n (195 y h 194 n (196 y h 195 n (197 y h 196 n (198 y h 197 n (199 y h 198 n (200 y h 199 n (201 y h 200 n (202 y h 201 n (203 y h 202 n (204 y h 203 n (205 y h 204 n (206 y h 205 n (207 y h 206 n (208 y h 207 n (209 y h 208 n (210 y h 209 n (211 y h 210 n (212 y h 211 n (213 y h 212 n (214 y h 213 n (215 y h 214 n (216 y h 215 n (217 y h 216 n (218 y h 217 n (219 y h 218 n (220 y h 219 n (221 y h 220 n (222 y h 221 n (223 y h 222 n (224 y h 223 n (225 y h 224 n (226 y h 225 n (227 y h 226 n (228 y h 227 n (229 y h 228 n (230 y h 229 n (231 y h 230 n (232 y h 231 n (233 y h 232 n (234 y h 233 n (235 y h 234 n (236 y h 235 n (237 y h 236 n (238 y h 237 n (239 y h 238 n (240 y h 239 n (241 y h 240 n (242 y h 241 n (243 y h 242 n (244 y h 243 n (245 y h 244 n (246 y h 245 n (247 y h 246 n (248 y h 247 n (249 y h 248 n (250 y h 249 n (251 y h 250 n (252 y h 251 n (253 y h 252 n (254 y h 253 n (255 y h 254 n (256 y h 255 n (257 y h 256 n (258 y h 257 n (259 y h 258 n (260 y h 259 n (261 y h 260 n (262 y h 261 n (263 y h 262 n (264 y h 263 n (265 y h 264 n (266 y h 265 n (267 y h 266 n (268 y h 267 n (269 y h 268 n (270 y h 269 n (271 y h 270 n (272 y h 271 n (273 y h 272 n (274 y h 273 n (275 y h 274 n (276 y h 275 n (277 y h 276 n (278 y h 277 n (279 y h 278 n (280 y h 279 n (281 y h 280 n (282 y h 281 n (283 y h 282 n (284 y h 283 n (285 y h 284 n (286 y h 285 n (287 y h 286 n (288 y h 287 n (289 y h 288 n (290 y h 289 n (291 y h 290 n (292 y h 291 n (293 y h 292 n (294 y h 293 n (295 y h 294 n (296 y h 295 n (297 y h 296 n (298 y h 297 n (299 y h 298 n (300 y h 299 n (301 y h 300 n (302 y h 301 n (303 y h 302 n (304 y h 303 n (305 y h 304 n (306 y h 305 n (307 y h 306 n (308 y h 307 n (309 y h 308 n (310 y h 309 n (311 y h 310 n (312 y h 311 n (313 y h 312 n (314 y h 313 n (315 y h 314 n (316 y h 315 n (317 y h 316 n (318 y h 317 n (319 y h 318 n (320 y h 319 n (321 y h 320 n (322 y h 321 n (323 y h 322 n (324 y h 323 n (325 y h 324 n (326 y h 325 n (327 y h 326 n (328 y h 327 n (329 y h 328 n (330 y h 329 n (331 y h 330 n (332 y h 331 n (333 y h 332 n (334 y h 333 n (335 y h 334 n (336 y h 335 n (337 y h 336 n (338 y h 337 n (339 y h 338 n (340 y h 339 n (341 y h 340 n (342 y h 341 n (343 y h 342 n (344 y h 343 n (345 y h 344 n (346 y h 345 n (347 y h 346 n (348 y h 347 n (349 y h 348 n (350 y h 349 n (351 y h 350 n (352 y h 351 n (353 y h 352 n (354 y h 353 n (355 y h 354 n (356 y h 355 n (357 y h 356 n (358 y h 357 n (359 y h 358 n (360 y h 359 n (361 y h 360 n (362 y h 361 n (363 y h 362 n (364 y h 363 n (365 y h 364 n (366 y h 365 n (367 y h 366 n (368 y h 367 n (369 y h 368 n (370 y h 369 n (371 y h 370 n (372 y h 371 n (373 y h 372 n (374 y h 373 n (375 y h 374 n (376 y h 375 n (377 y h 376 n (378 y h 377 n (379 y h 378 n (380 y h 379 n (381 y h 380 n (382 y h 381 n (383 y h 382 n (384 y h 383 n (385 y h 384 n (386 y h 385 n (387 y h 386 n (388 y h 387 n (389 y h 388 n (390 y h 389 n (391 y h 390 n (392 y h 391 n (393 y h 392 n (394 y h 393 n (395 y h 394 n (396 y h 395 n (397 y h 396 n (398 y h 397 n (399 y h 398 n (400 y h 399 n (401 y h 400 n (402 y h 401 n (403 y h 402 n (404 y h 403 n (405 y h 404 n (406 y h 405 n (407 y h 406 n (408 y h 407 n (409 y h 408 n (410 y h 409 n (411 y h 410 n (412 y h 411 n (413 y h 412 n (414 y h 413 n (415 y h 414 n (416 y h 415 n (417 y h 416 n (418 y h 417 n (419 y h 418 n (420 y h 419 n (421 y h 420 n (422 y h 421 n (423 y h 422 n (424 y h 423 n (425 y h 424 n (426 y h 425 n (427 y h 426 n (428 y h 427 n (429 y h 428 n (430 y h 429 n (431 y h 430 n (432 y h 431 n (433 y h 432 n (434 y h 433 n (435 y h 434 n (436 y h 435 n (437 y h 436 n (438 y h 437 n (439 y h 438 n (440 y h 439 n (441 y h 440 n (442 y h 441 n (443 y h 442 n (444 y h 443 n (445 y h 444 n (446 y h 445 n (447 y h 446 n (448 y h 447 n (449 y h 448 n (450 y h 449 n (451 y h 450 n (452 y h 451 n (453 y h 452 n (454 y h 453 n (455 y h 454 n (456 y h 455 n (457 y h 456 n (458 y h 457 n (459 y h 458 n (460 y h 459 n (461 y h 460 n (462 y h 461 n (463 y h 462 n (464 y h 463 n (465 y h 464 n (466 y h 465 n (467 y h 466 n (468 y h 467 n (469 y h 468 n (470 y h 469 n (471 y h 470 n (472 y h 471 n (473 y h 472 n (474 y h 473 n (475 y h 474 n (476 y h 475 n (477 y h 476 n (478 y h 477 n (479 y h 478 n (480 y h 479 n (481 y h 480 n (482 y h 481 n (483 y h 482 n (484 y h 483 n (485 y h 484 n (486 y h 485 n (487 y h 486 n (488 y h 487 n (489 y h 488 n (490 y h 489 n (491 y h 490 n (492 y h 491 n (493 y h 492 n (494 y h 493 n (495 y h 494 n (496 y h 495 n (497 y h 496 n (498 y h 497 n (499 y h 498 n (500 y h 499 n (501 y h 500 n h 501))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) }} teamName {{ babyavatar }} reputation 91.99999999799999 request propose hsr.HSRInstanceSet {{ HSR(9,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(21,10) }} scg.protocol.ForAllExistsMin {{ }} 0.9047619047619048 1.0 hsr.HSRInstanceSet {{ HSR(10,5) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(163,4) }} scg.protocol.ForAllExistsMin {{ }} 0.049079754601226995 1.0 hsr.HSRInstanceSet {{ HSR(99,4) }} scg.protocol.ForAllExistsMin {{ }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(638,5) }} scg.protocol.ForAllExistsMin {{ }} 0.01567398119122257 1.0 hsr.HSRInstanceSet {{ HSR(5,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(19,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15789473684210525 1.0 hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,2) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(502,7) }} scg.protocol.ForAllExistsMin {{ }} 0.017928286852589643 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(14,11) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(11,4) }} scg.protocol.ForAllExistsMin {{ }} 0.5454545454545454 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(256,8) }} scg.protocol.ForAllExistsMin {{ }} 0.03125 1.0 hsr.HSRInstanceSet {{ HSR(64,3) }} scg.protocol.ForAllExistsMin {{ }} 0.109375 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(57,4) }} scg.protocol.ForAllExistsMin {{ }} 0.10526315789473684 1.0 hsr.HSRInstanceSet {{ HSR(512,9) }} scg.protocol.ForAllExistsMin {{ }} 0.017578125 1.0 hsr.HSRInstanceSet {{ HSR(20,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(3,2) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(17,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6470588235294118 1.0 hsr.HSRInstanceSet {{ HSR(7,5) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 oppose hsr.HSRInstanceSet {{ HSR(20,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(3,2) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(17,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6470588235294118 1.0 hsr.HSRInstanceSet {{ HSR(7,5) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(14,11) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 provide hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 provide hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 provide hsr.HSRInstanceSet {{ HSR(256,8) }} scg.protocol.ForAllExistsMin {{ }} 0.03125 1.0 provide hsr.HSRInstanceSet {{ HSR(64,3) }} scg.protocol.ForAllExistsMin {{ }} 0.109375 1.0 provide hsr.HSRInstanceSet {{ HSR(57,4) }} scg.protocol.ForAllExistsMin {{ }} 0.10526315789473684 1.0 provide hsr.HSRInstanceSet {{ HSR(512,9) }} scg.protocol.ForAllExistsMin {{ }} 0.017578125 1.0 solve hsr.HSRInstance {{ HSR(22,2) }} hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 solve hsr.HSRInstance {{ HSR(2,1) }} hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 solve hsr.HSRInstance {{ HSR(11,4) }} hsr.HSRInstanceSet {{ HSR(11,4) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 reply propose hsr.HSRInstanceSet {{ HSR(10,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(6,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(219,5) }} scg.protocol.ForAllExistsMin {{ }} 0.0365296803652968 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 oppose refuting refuting strengthening 0.35294117647058826 refuting protocolResponse provide hsr.HSRInstance {{ HSR(14,11) }} provide hsr.HSRInstance {{ HSR(7,3) }} provide hsr.HSRInstance {{ HSR(5,3) }} provide hsr.HSRInstance {{ HSR(256,8) }} provide hsr.HSRInstance {{ HSR(64,3) }} provide hsr.HSRInstance {{ HSR(57,4) }} provide hsr.HSRInstance {{ HSR(512,9) }} 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 h 1) }} 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)))) }} teamName {{ Starbuck }} reputation 110.00000000300001 request propose hsr.HSRInstanceSet {{ HSR(9,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(21,10) }} scg.protocol.ForAllExistsMin {{ }} 0.9047619047619048 1.0 hsr.HSRInstanceSet {{ HSR(10,5) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(163,4) }} scg.protocol.ForAllExistsMin {{ }} 0.049079754601226995 1.0 hsr.HSRInstanceSet {{ HSR(99,4) }} scg.protocol.ForAllExistsMin {{ }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(638,5) }} scg.protocol.ForAllExistsMin {{ }} 0.01567398119122257 1.0 hsr.HSRInstanceSet {{ HSR(5,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(19,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15789473684210525 1.0 hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,2) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(502,7) }} scg.protocol.ForAllExistsMin {{ }} 0.017928286852589643 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(14,11) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(11,4) }} scg.protocol.ForAllExistsMin {{ }} 0.5454545454545454 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(256,8) }} scg.protocol.ForAllExistsMin {{ }} 0.03125 1.0 hsr.HSRInstanceSet {{ HSR(64,3) }} scg.protocol.ForAllExistsMin {{ }} 0.109375 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(57,4) }} scg.protocol.ForAllExistsMin {{ }} 0.10526315789473684 1.0 hsr.HSRInstanceSet {{ HSR(512,9) }} scg.protocol.ForAllExistsMin {{ }} 0.017578125 1.0 hsr.HSRInstanceSet {{ HSR(20,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(3,2) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(17,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6470588235294118 1.0 hsr.HSRInstanceSet {{ HSR(7,5) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 hsr.HSRInstanceSet {{ HSR(10,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(6,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(219,5) }} scg.protocol.ForAllExistsMin {{ }} 0.0365296803652968 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 oppose hsr.HSRInstanceSet {{ HSR(10,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(6,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(219,5) }} scg.protocol.ForAllExistsMin {{ }} 0.0365296803652968 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 provide hsr.HSRInstanceSet {{ HSR(17,2) }} scg.protocol.ForAllExistsMin {{ }} 0.35294117647058826 1.0 solve hsr.HSRInstance {{ HSR(14,11) }} hsr.HSRInstanceSet {{ HSR(14,11) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 solve hsr.HSRInstance {{ HSR(7,3) }} hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 solve hsr.HSRInstance {{ HSR(5,3) }} hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 solve hsr.HSRInstance {{ HSR(256,8) }} hsr.HSRInstanceSet {{ HSR(256,8) }} scg.protocol.ForAllExistsMin {{ }} 0.03125 1.0 solve hsr.HSRInstance {{ HSR(64,3) }} hsr.HSRInstanceSet {{ HSR(64,3) }} scg.protocol.ForAllExistsMin {{ }} 0.109375 1.0 solve hsr.HSRInstance {{ HSR(57,4) }} hsr.HSRInstanceSet {{ HSR(57,4) }} scg.protocol.ForAllExistsMin {{ }} 0.10526315789473684 1.0 solve hsr.HSRInstance {{ HSR(512,9) }} hsr.HSRInstanceSet {{ HSR(512,9) }} scg.protocol.ForAllExistsMin {{ }} 0.017578125 1.0 reply propose hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(15,10) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(17,6) }} scg.protocol.ForAllExistsMin {{ }} 0.23529411764705882 1.0 hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.7142857142857143 1.0 oppose strengthening 0.899999999 refuting agree agree refuting protocolResponse provide hsr.HSRInstance {{ HSR(8,3) }} provide hsr.HSRInstance {{ HSR(17,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 (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))))))))))))) }} 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 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 (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 (20 y h 19 n (21 y h 20 n (22 y h 21 n (23 y h 22 n (24 y h 23 n (25 y h 24 n (26 y h 25 n (27 y h 26 n (28 y h 27 n (29 y h 28 n (30 y h 29 n (31 y h 30 n (32 y h 31 n (33 y h 32 n (34 y h 33 n (35 y h 34 n (36 y h 35 n (37 y h 36 n (38 y h 37 n (39 y h 38 n (40 y h 39 n (41 y h 40 n (42 y h 41 n (43 y h 42 n (44 y h 43 n (45 y h 44 n (46 y h 45 n (47 y h 46 n (48 y h 47 n (49 y h 48 n (50 y h 49 n (51 y h 50 n (52 y h 51 n (53 y h 52 n (54 y h 53 n (55 y h 54 n (56 y h 55 n (57 y h 56 n (58 y h 57 n (59 y h 58 n (60 y h 59 n (61 y h 60 n (62 y h 61 n (63 y h 62 n (64 y h 63 n (65 y h 64 n (66 y h 65 n (67 y h 66 n (68 y h 67 n (69 y h 68 n (70 y h 69 n (71 y h 70 n (72 y h 71 n (73 y h 72 n (74 y h 73 n (75 y h 74 n (76 y h 75 n (77 y h 76 n (78 y h 77 n (79 y h 78 n (80 y h 79 n (81 y h 80 n (82 y h 81 n (83 y h 82 n (84 y h 83 n (85 y h 84 n (86 y h 85 n (87 y h 86 n (88 y h 87 n (89 y h 88 n (90 y h 89 n (91 y h 90 n (92 y h 91 n (93 y h 92 n (94 y h 93 n (95 y h 94 n (96 y h 95 n (97 y h 96 n (98 y h 97 n (99 y h 98 n (100 y h 99 n (101 y h 100 n (102 y h 101 n (103 y h 102 n (104 y h 103 n (105 y h 104 n (106 y h 105 n (107 y h 106 n (108 y h 107 n (109 y h 108 n (110 y h 109 n (111 y h 110 n (112 y h 111 n (113 y h 112 n (114 y h 113 n (115 y h 114 n (116 y h 115 n (117 y h 116 n (118 y h 117 n (119 y h 118 n (120 y h 119 n (121 y h 120 n (122 y h 121 n (123 y h 122 n (124 y h 123 n (125 y h 124 n (126 y h 125 n (127 y h 126 n (128 y h 127 n (129 y h 128 n (130 y h 129 n (131 y h 130 n (132 y h 131 n (133 y h 132 n (134 y h 133 n (135 y h 134 n (136 y h 135 n (137 y h 136 n (138 y h 137 n (139 y h 138 n (140 y h 139 n (141 y h 140 n (142 y h 141 n (143 y h 142 n (144 y h 143 n (145 y h 144 n (146 y h 145 n (147 y h 146 n (148 y h 147 n (149 y h 148 n (150 y h 149 n (151 y h 150 n (152 y h 151 n (153 y h 152 n (154 y h 153 n (155 y h 154 n (156 y h 155 n (157 y h 156 n (158 y h 157 n (159 y h 158 n (160 y h 159 n (161 y h 160 n (162 y h 161 n (163 y h 162 n (164 y h 163 n (165 y h 164 n (166 y h 165 n (167 y h 166 n (168 y h 167 n (169 y h 168 n (170 y h 169 n (171 y h 170 n (172 y h 171 n (173 y h 172 n (174 y h 173 n (175 y h 174 n (176 y h 175 n (177 y h 176 n (178 y h 177 n (179 y h 178 n (180 y h 179 n (181 y h 180 n (182 y h 181 n (183 y h 182 n (184 y h 183 n (185 y h 184 n (186 y h 185 n (187 y h 186 n (188 y h 187 n (189 y h 188 n (190 y h 189 n (191 y h 190 n (192 y h 191 n (193 y h 192 n (194 y h 193 n (195 y h 194 n (196 y h 195 n (197 y h 196 n (198 y h 197 n (199 y h 198 n (200 y h 199 n (201 y h 200 n (202 y h 201 n (203 y h 202 n (204 y h 203 n (205 y h 204 n (206 y h 205 n (207 y h 206 n (208 y h 207 n (209 y h 208 n (210 y h 209 n (211 y h 210 n (212 y h 211 n (213 y h 212 n (214 y h 213 n (215 y h 214 n (216 y h 215 n (217 y h 216 n (218 y h 217 n (219 y h 218 n (220 y h 219 n (221 y h 220 n (222 y h 221 n (223 y h 222 n (224 y h 223 n (225 y h 224 n (226 y h 225 n (227 y h 226 n (228 y h 227 n (229 y h 228 n (230 y h 229 n (231 y h 230 n (232 y h 231 n (233 y h 232 n (234 y h 233 n (235 y h 234 n (236 y h 235 n (237 y h 236 n (238 y h 237 n (239 y h 238 n (240 y h 239 n (241 y h 240 n (242 y h 241 n (243 y h 242 n (244 y h 243 n (245 y h 244 n (246 y h 245 n (247 y h 246 n (248 y h 247 n (249 y h 248 n (250 y h 249 n (251 y h 250 n (252 y h 251 n (253 y h 252 n (254 y h 253 n (255 y h 254 n h 255))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) }} 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 (20 y h 19 n (21 y h 20 n (22 y h 21 n (23 y h 22 n (24 y h 23 n (25 y h 24 n (26 y h 25 n (27 y h 26 n (28 y h 27 n (29 y h 28 n (30 y h 29 n (31 y h 30 n (32 y h 31 n (33 y h 32 n (34 y h 33 n (35 y h 34 n (36 y h 35 n (37 y h 36 n (38 y h 37 n (39 y h 38 n (40 y h 39 n (41 y h 40 n (42 y h 41 n (43 y h 42 n (44 y h 43 n (45 y h 44 n (46 y h 45 n (47 y h 46 n (48 y h 47 n (49 y h 48 n (50 y h 49 n (51 y h 50 n (52 y h 51 n (53 y h 52 n (54 y h 53 n (55 y h 54 n (56 y h 55 n (57 y h 56 n (58 y h 57 n (59 y h 58 n (60 y h 59 n (61 y h 60 n (62 y h 61 n (63 y h 62 n h 63))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) }} 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 (20 y h 19 n (21 y h 20 n (22 y h 21 n (23 y h 22 n (24 y h 23 n (25 y h 24 n (26 y h 25 n (27 y h 26 n (28 y h 27 n (29 y h 28 n (30 y h 29 n (31 y h 30 n (32 y h 31 n (33 y h 32 n (34 y h 33 n (35 y h 34 n (36 y h 35 n (37 y h 36 n (38 y h 37 n (39 y h 38 n (40 y h 39 n (41 y h 40 n (42 y h 41 n (43 y h 42 n (44 y h 43 n (45 y h 44 n (46 y h 45 n (47 y h 46 n (48 y h 47 n (49 y h 48 n (50 y h 49 n (51 y h 50 n (52 y h 51 n (53 y h 52 n (54 y h 53 n (55 y h 54 n (56 y h 55 n h 56)))))))))))))))))))))))))))))))))))))))))))))))))))))))) }} 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 (20 y h 19 n (21 y h 20 n (22 y h 21 n (23 y h 22 n (24 y h 23 n (25 y h 24 n (26 y h 25 n (27 y h 26 n (28 y h 27 n (29 y h 28 n (30 y h 29 n (31 y h 30 n (32 y h 31 n (33 y h 32 n (34 y h 33 n (35 y h 34 n (36 y h 35 n (37 y h 36 n (38 y h 37 n (39 y h 38 n (40 y h 39 n (41 y h 40 n (42 y h 41 n (43 y h 42 n (44 y h 43 n (45 y h 44 n (46 y h 45 n (47 y h 46 n (48 y h 47 n (49 y h 48 n (50 y h 49 n (51 y h 50 n (52 y h 51 n (53 y h 52 n (54 y h 53 n (55 y h 54 n (56 y h 55 n (57 y h 56 n (58 y h 57 n (59 y h 58 n (60 y h 59 n (61 y h 60 n (62 y h 61 n (63 y h 62 n (64 y h 63 n (65 y h 64 n (66 y h 65 n (67 y h 66 n (68 y h 67 n (69 y h 68 n (70 y h 69 n (71 y h 70 n (72 y h 71 n (73 y h 72 n (74 y h 73 n (75 y h 74 n (76 y h 75 n (77 y h 76 n (78 y h 77 n (79 y h 78 n (80 y h 79 n (81 y h 80 n (82 y h 81 n (83 y h 82 n (84 y h 83 n (85 y h 84 n (86 y h 85 n (87 y h 86 n (88 y h 87 n (89 y h 88 n (90 y h 89 n (91 y h 90 n (92 y h 91 n (93 y h 92 n (94 y h 93 n (95 y h 94 n (96 y h 95 n (97 y h 96 n (98 y h 97 n (99 y h 98 n (100 y h 99 n (101 y h 100 n (102 y h 101 n (103 y h 102 n (104 y h 103 n (105 y h 104 n (106 y h 105 n (107 y h 106 n (108 y h 107 n (109 y h 108 n (110 y h 109 n (111 y h 110 n (112 y h 111 n (113 y h 112 n (114 y h 113 n (115 y h 114 n (116 y h 115 n (117 y h 116 n (118 y h 117 n (119 y h 118 n (120 y h 119 n (121 y h 120 n (122 y h 121 n (123 y h 122 n (124 y h 123 n (125 y h 124 n (126 y h 125 n (127 y h 126 n (128 y h 127 n (129 y h 128 n (130 y h 129 n (131 y h 130 n (132 y h 131 n (133 y h 132 n (134 y h 133 n (135 y h 134 n (136 y h 135 n (137 y h 136 n (138 y h 137 n (139 y h 138 n (140 y h 139 n (141 y h 140 n (142 y h 141 n (143 y h 142 n (144 y h 143 n (145 y h 144 n (146 y h 145 n (147 y h 146 n (148 y h 147 n (149 y h 148 n (150 y h 149 n (151 y h 150 n (152 y h 151 n (153 y h 152 n (154 y h 153 n (155 y h 154 n (156 y h 155 n (157 y h 156 n (158 y h 157 n (159 y h 158 n (160 y h 159 n (161 y h 160 n (162 y h 161 n (163 y h 162 n (164 y h 163 n (165 y h 164 n (166 y h 165 n (167 y h 166 n (168 y h 167 n (169 y h 168 n (170 y h 169 n (171 y h 170 n (172 y h 171 n (173 y h 172 n (174 y h 173 n (175 y h 174 n (176 y h 175 n (177 y h 176 n (178 y h 177 n (179 y h 178 n (180 y h 179 n (181 y h 180 n (182 y h 181 n (183 y h 182 n (184 y h 183 n (185 y h 184 n (186 y h 185 n (187 y h 186 n (188 y h 187 n (189 y h 188 n (190 y h 189 n (191 y h 190 n (192 y h 191 n (193 y h 192 n (194 y h 193 n (195 y h 194 n (196 y h 195 n (197 y h 196 n (198 y h 197 n (199 y h 198 n (200 y h 199 n (201 y h 200 n (202 y h 201 n (203 y h 202 n (204 y h 203 n (205 y h 204 n (206 y h 205 n (207 y h 206 n (208 y h 207 n (209 y h 208 n (210 y h 209 n (211 y h 210 n (212 y h 211 n (213 y h 212 n (214 y h 213 n (215 y h 214 n (216 y h 215 n (217 y h 216 n (218 y h 217 n (219 y h 218 n (220 y h 219 n (221 y h 220 n (222 y h 221 n (223 y h 222 n (224 y h 223 n (225 y h 224 n (226 y h 225 n (227 y h 226 n (228 y h 227 n (229 y h 228 n (230 y h 229 n (231 y h 230 n (232 y h 231 n (233 y h 232 n (234 y h 233 n (235 y h 234 n (236 y h 235 n (237 y h 236 n (238 y h 237 n (239 y h 238 n (240 y h 239 n (241 y h 240 n (242 y h 241 n (243 y h 242 n (244 y h 243 n (245 y h 244 n (246 y h 245 n (247 y h 246 n (248 y h 247 n (249 y h 248 n (250 y h 249 n (251 y h 250 n (252 y h 251 n (253 y h 252 n (254 y h 253 n (255 y h 254 n (256 y h 255 n (257 y h 256 n (258 y h 257 n (259 y h 258 n (260 y h 259 n (261 y h 260 n (262 y h 261 n (263 y h 262 n (264 y h 263 n (265 y h 264 n (266 y h 265 n (267 y h 266 n (268 y h 267 n (269 y h 268 n (270 y h 269 n (271 y h 270 n (272 y h 271 n (273 y h 272 n (274 y h 273 n (275 y h 274 n (276 y h 275 n (277 y h 276 n (278 y h 277 n (279 y h 278 n (280 y h 279 n (281 y h 280 n (282 y h 281 n (283 y h 282 n (284 y h 283 n (285 y h 284 n (286 y h 285 n (287 y h 286 n (288 y h 287 n (289 y h 288 n (290 y h 289 n (291 y h 290 n (292 y h 291 n (293 y h 292 n (294 y h 293 n (295 y h 294 n (296 y h 295 n (297 y h 296 n (298 y h 297 n (299 y h 298 n (300 y h 299 n (301 y h 300 n (302 y h 301 n (303 y h 302 n (304 y h 303 n (305 y h 304 n (306 y h 305 n (307 y h 306 n (308 y h 307 n (309 y h 308 n (310 y h 309 n (311 y h 310 n (312 y h 311 n (313 y h 312 n (314 y h 313 n (315 y h 314 n (316 y h 315 n (317 y h 316 n (318 y h 317 n (319 y h 318 n (320 y h 319 n (321 y h 320 n (322 y h 321 n (323 y h 322 n (324 y h 323 n (325 y h 324 n (326 y h 325 n (327 y h 326 n (328 y h 327 n (329 y h 328 n (330 y h 329 n (331 y h 330 n (332 y h 331 n (333 y h 332 n (334 y h 333 n (335 y h 334 n (336 y h 335 n (337 y h 336 n (338 y h 337 n (339 y h 338 n (340 y h 339 n (341 y h 340 n (342 y h 341 n (343 y h 342 n (344 y h 343 n (345 y h 344 n (346 y h 345 n (347 y h 346 n (348 y h 347 n (349 y h 348 n (350 y h 349 n (351 y h 350 n (352 y h 351 n (353 y h 352 n (354 y h 353 n (355 y h 354 n (356 y h 355 n (357 y h 356 n (358 y h 357 n (359 y h 358 n (360 y h 359 n (361 y h 360 n (362 y h 361 n (363 y h 362 n (364 y h 363 n (365 y h 364 n (366 y h 365 n (367 y h 366 n (368 y h 367 n (369 y h 368 n (370 y h 369 n (371 y h 370 n (372 y h 371 n (373 y h 372 n (374 y h 373 n (375 y h 374 n (376 y h 375 n (377 y h 376 n (378 y h 377 n (379 y h 378 n (380 y h 379 n (381 y h 380 n (382 y h 381 n (383 y h 382 n (384 y h 383 n (385 y h 384 n (386 y h 385 n (387 y h 386 n (388 y h 387 n (389 y h 388 n (390 y h 389 n (391 y h 390 n (392 y h 391 n (393 y h 392 n (394 y h 393 n (395 y h 394 n (396 y h 395 n (397 y h 396 n (398 y h 397 n (399 y h 398 n (400 y h 399 n (401 y h 400 n (402 y h 401 n (403 y h 402 n (404 y h 403 n (405 y h 404 n (406 y h 405 n (407 y h 406 n (408 y h 407 n (409 y h 408 n (410 y h 409 n (411 y h 410 n (412 y h 411 n (413 y h 412 n (414 y h 413 n (415 y h 414 n (416 y h 415 n (417 y h 416 n (418 y h 417 n (419 y h 418 n (420 y h 419 n (421 y h 420 n (422 y h 421 n (423 y h 422 n (424 y h 423 n (425 y h 424 n (426 y h 425 n (427 y h 426 n (428 y h 427 n (429 y h 428 n (430 y h 429 n (431 y h 430 n (432 y h 431 n (433 y h 432 n (434 y h 433 n (435 y h 434 n (436 y h 435 n (437 y h 436 n (438 y h 437 n (439 y h 438 n (440 y h 439 n (441 y h 440 n (442 y h 441 n (443 y h 442 n (444 y h 443 n (445 y h 444 n (446 y h 445 n (447 y h 446 n (448 y h 447 n (449 y h 448 n (450 y h 449 n (451 y h 450 n (452 y h 451 n (453 y h 452 n (454 y h 453 n (455 y h 454 n (456 y h 455 n (457 y h 456 n (458 y h 457 n (459 y h 458 n (460 y h 459 n (461 y h 460 n (462 y h 461 n (463 y h 462 n (464 y h 463 n (465 y h 464 n (466 y h 465 n (467 y h 466 n (468 y h 467 n (469 y h 468 n (470 y h 469 n (471 y h 470 n (472 y h 471 n (473 y h 472 n (474 y h 473 n (475 y h 474 n (476 y h 475 n (477 y h 476 n (478 y h 477 n (479 y h 478 n (480 y h 479 n (481 y h 480 n (482 y h 481 n (483 y h 482 n (484 y h 483 n (485 y h 484 n (486 y h 485 n (487 y h 486 n (488 y h 487 n (489 y h 488 n (490 y h 489 n (491 y h 490 n (492 y h 491 n (493 y h 492 n (494 y h 493 n (495 y h 494 n (496 y h 495 n (497 y h 496 n (498 y h 497 n (499 y h 498 n (500 y h 499 n (501 y h 500 n (502 y h 501 n (503 y h 502 n (504 y h 503 n (505 y h 504 n (506 y h 505 n (507 y h 506 n (508 y h 507 n (509 y h 508 n (510 y h 509 n (511 y h 510 n h 511))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) }} teamName {{ babyavatar }} reputation 86.99999999699999 request propose hsr.HSRInstanceSet {{ HSR(9,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(21,10) }} scg.protocol.ForAllExistsMin {{ }} 0.9047619047619048 1.0 hsr.HSRInstanceSet {{ HSR(10,5) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(163,4) }} scg.protocol.ForAllExistsMin {{ }} 0.049079754601226995 1.0 hsr.HSRInstanceSet {{ HSR(99,4) }} scg.protocol.ForAllExistsMin {{ }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(638,5) }} scg.protocol.ForAllExistsMin {{ }} 0.01567398119122257 1.0 hsr.HSRInstanceSet {{ HSR(5,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(19,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15789473684210525 1.0 hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,2) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(502,7) }} scg.protocol.ForAllExistsMin {{ }} 0.017928286852589643 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(14,11) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(11,4) }} scg.protocol.ForAllExistsMin {{ }} 0.5454545454545454 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(256,8) }} scg.protocol.ForAllExistsMin {{ }} 0.03125 1.0 hsr.HSRInstanceSet {{ HSR(64,3) }} scg.protocol.ForAllExistsMin {{ }} 0.109375 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(57,4) }} scg.protocol.ForAllExistsMin {{ }} 0.10526315789473684 1.0 hsr.HSRInstanceSet {{ HSR(512,9) }} scg.protocol.ForAllExistsMin {{ }} 0.017578125 1.0 hsr.HSRInstanceSet {{ HSR(20,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(3,2) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(17,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6470588235294118 1.0 hsr.HSRInstanceSet {{ HSR(7,5) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 hsr.HSRInstanceSet {{ HSR(10,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(6,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(219,5) }} scg.protocol.ForAllExistsMin {{ }} 0.0365296803652968 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(15,10) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(17,6) }} scg.protocol.ForAllExistsMin {{ }} 0.23529411764705882 1.0 hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.7142857142857143 1.0 oppose hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(15,10) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(17,6) }} scg.protocol.ForAllExistsMin {{ }} 0.23529411764705882 1.0 hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.7142857142857143 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(20,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 provide hsr.HSRInstanceSet {{ HSR(3,2) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 provide hsr.HSRInstanceSet {{ HSR(7,5) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 provide hsr.HSRInstanceSet {{ HSR(10,1) }} scg.protocol.ForAllExistsMin {{ }} 0.899999999 1.0 provide hsr.HSRInstanceSet {{ HSR(6,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 provide hsr.HSRInstanceSet {{ HSR(219,5) }} scg.protocol.ForAllExistsMin {{ }} 0.0365296803652968 1.0 solve hsr.HSRInstance {{ HSR(8,3) }} hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 solve hsr.HSRInstance {{ HSR(17,2) }} hsr.HSRInstanceSet {{ HSR(17,2) }} scg.protocol.ForAllExistsMin {{ }} 0.35294117647058826 1.0 reply propose hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{ }} 0.3125 1.0 hsr.HSRInstanceSet {{ HSR(128,7) }} scg.protocol.ForAllExistsMin {{ }} 0.0546875 1.0 hsr.HSRInstanceSet {{ HSR(64,6) }} scg.protocol.ForAllExistsMin {{ }} 0.09375 1.0 hsr.HSRInstanceSet {{ HSR(386,4) }} scg.protocol.ForAllExistsMin {{ }} 0.025906735751295335 1.0 hsr.HSRInstanceSet {{ HSR(15,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9333333333333333 1.0 oppose agree refuting refuting strengthening 0.8571428571428571 protocolResponse provide hsr.HSRInstance {{ HSR(20,8) }} provide hsr.HSRInstance {{ HSR(3,2) }} provide hsr.HSRInstance {{ HSR(7,5) }} provide hsr.HSRInstance {{ HSR(10,1) }} provide hsr.HSRInstance {{ HSR(6,1) }} provide hsr.HSRInstance {{ HSR(219,5) }} 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 {{ (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 (16 y h 15 n h 16)))) }} teamName {{ Starbuck }} reputation 120.00000000300001 request propose hsr.HSRInstanceSet {{ HSR(9,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(21,10) }} scg.protocol.ForAllExistsMin {{ }} 0.9047619047619048 1.0 hsr.HSRInstanceSet {{ HSR(10,5) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(163,4) }} scg.protocol.ForAllExistsMin {{ }} 0.049079754601226995 1.0 hsr.HSRInstanceSet {{ HSR(99,4) }} scg.protocol.ForAllExistsMin {{ }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(638,5) }} scg.protocol.ForAllExistsMin {{ }} 0.01567398119122257 1.0 hsr.HSRInstanceSet {{ HSR(5,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(19,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15789473684210525 1.0 hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,2) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(502,7) }} scg.protocol.ForAllExistsMin {{ }} 0.017928286852589643 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(14,11) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(11,4) }} scg.protocol.ForAllExistsMin {{ }} 0.5454545454545454 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(256,8) }} scg.protocol.ForAllExistsMin {{ }} 0.03125 1.0 hsr.HSRInstanceSet {{ HSR(64,3) }} scg.protocol.ForAllExistsMin {{ }} 0.109375 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(57,4) }} scg.protocol.ForAllExistsMin {{ }} 0.10526315789473684 1.0 hsr.HSRInstanceSet {{ HSR(512,9) }} scg.protocol.ForAllExistsMin {{ }} 0.017578125 1.0 hsr.HSRInstanceSet {{ HSR(20,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(3,2) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(17,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6470588235294118 1.0 hsr.HSRInstanceSet {{ HSR(7,5) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 hsr.HSRInstanceSet {{ HSR(10,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(6,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(219,5) }} scg.protocol.ForAllExistsMin {{ }} 0.0365296803652968 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(15,10) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(17,6) }} scg.protocol.ForAllExistsMin {{ }} 0.23529411764705882 1.0 hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.7142857142857143 1.0 hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{ }} 0.3125 1.0 hsr.HSRInstanceSet {{ HSR(128,7) }} scg.protocol.ForAllExistsMin {{ }} 0.0546875 1.0 hsr.HSRInstanceSet {{ HSR(64,6) }} scg.protocol.ForAllExistsMin {{ }} 0.09375 1.0 hsr.HSRInstanceSet {{ HSR(386,4) }} scg.protocol.ForAllExistsMin {{ }} 0.025906735751295335 1.0 hsr.HSRInstanceSet {{ HSR(15,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9333333333333333 1.0 oppose hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{ }} 0.3125 1.0 hsr.HSRInstanceSet {{ HSR(128,7) }} scg.protocol.ForAllExistsMin {{ }} 0.0546875 1.0 hsr.HSRInstanceSet {{ HSR(64,6) }} scg.protocol.ForAllExistsMin {{ }} 0.09375 1.0 hsr.HSRInstanceSet {{ HSR(386,4) }} scg.protocol.ForAllExistsMin {{ }} 0.025906735751295335 1.0 hsr.HSRInstanceSet {{ HSR(15,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9333333333333333 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 provide hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 provide hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 solve hsr.HSRInstance {{ HSR(20,8) }} hsr.HSRInstanceSet {{ HSR(20,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 solve hsr.HSRInstance {{ HSR(3,2) }} hsr.HSRInstanceSet {{ HSR(3,2) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 solve hsr.HSRInstance {{ HSR(7,5) }} hsr.HSRInstanceSet {{ HSR(7,5) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 solve hsr.HSRInstance {{ HSR(10,1) }} hsr.HSRInstanceSet {{ HSR(10,1) }} scg.protocol.ForAllExistsMin {{ }} 0.899999999 1.0 solve hsr.HSRInstance {{ HSR(6,1) }} hsr.HSRInstanceSet {{ HSR(6,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 solve hsr.HSRInstance {{ HSR(219,5) }} hsr.HSRInstanceSet {{ HSR(219,5) }} scg.protocol.ForAllExistsMin {{ }} 0.0365296803652968 1.0 reply propose hsr.HSRInstanceSet {{ HSR(15,1) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(17,13) }} scg.protocol.ForAllExistsMin {{ }} 0.9411764705882353 1.0 hsr.HSRInstanceSet {{ HSR(19,5) }} scg.protocol.ForAllExistsMin {{ }} 0.7368421052631579 1.0 hsr.HSRInstanceSet {{ HSR(5,2) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 oppose strengthening 0.312499999 strengthening 0.054687499 agree refuting strengthening 0.9333333323333334 protocolResponse provide hsr.HSRInstance {{ HSR(4,1) }} provide hsr.HSRInstance {{ HSR(4,2) }} provide hsr.HSRInstance {{ HSR(5,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 (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 h 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 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))))))))) }} 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 (16 y h 15 n (17 y h 16 n (18 y h 17 n (19 y h 18 n (20 y h 19 n (21 y h 20 n (22 y h 21 n (23 y h 22 n (24 y h 23 n (25 y h 24 n (26 y h 25 n (27 y h 26 n (28 y h 27 n (29 y h 28 n (30 y h 29 n (31 y h 30 n (32 y h 31 n (33 y h 32 n (34 y h 33 n (35 y h 34 n (36 y h 35 n (37 y h 36 n (38 y h 37 n (39 y h 38 n (40 y h 39 n (41 y h 40 n (42 y h 41 n (43 y h 42 n (44 y h 43 n (45 y h 44 n (46 y h 45 n (47 y h 46 n (48 y h 47 n (49 y h 48 n (50 y h 49 n (51 y h 50 n (52 y h 51 n (53 y h 52 n (54 y h 53 n (55 y h 54 n (56 y h 55 n (57 y h 56 n (58 y h 57 n (59 y h 58 n (60 y h 59 n (61 y h 60 n (62 y h 61 n (63 y h 62 n (64 y h 63 n (65 y h 64 n (66 y h 65 n (67 y h 66 n (68 y h 67 n (69 y h 68 n (70 y h 69 n (71 y h 70 n (72 y h 71 n (73 y h 72 n (74 y h 73 n (75 y h 74 n (76 y h 75 n (77 y h 76 n (78 y h 77 n (79 y h 78 n (80 y h 79 n (81 y h 80 n (82 y h 81 n (83 y h 82 n (84 y h 83 n (85 y h 84 n (86 y h 85 n (87 y h 86 n (88 y h 87 n (89 y h 88 n (90 y h 89 n (91 y h 90 n (92 y h 91 n (93 y h 92 n (94 y h 93 n (95 y h 94 n (96 y h 95 n (97 y h 96 n (98 y h 97 n (99 y h 98 n (100 y h 99 n (101 y h 100 n (102 y h 101 n (103 y h 102 n (104 y h 103 n (105 y h 104 n (106 y h 105 n (107 y h 106 n (108 y h 107 n (109 y h 108 n (110 y h 109 n (111 y h 110 n (112 y h 111 n (113 y h 112 n (114 y h 113 n (115 y h 114 n (116 y h 115 n (117 y h 116 n (118 y h 117 n (119 y h 118 n (120 y h 119 n (121 y h 120 n (122 y h 121 n (123 y h 122 n (124 y h 123 n (125 y h 124 n (126 y h 125 n (127 y h 126 n (128 y h 127 n (129 y h 128 n (130 y h 129 n (131 y h 130 n (132 y h 131 n (133 y h 132 n (134 y h 133 n (135 y h 134 n (136 y h 135 n (137 y h 136 n (138 y h 137 n (139 y h 138 n (140 y h 139 n (141 y h 140 n (142 y h 141 n (143 y h 142 n (144 y h 143 n (145 y h 144 n (146 y h 145 n (147 y h 146 n (148 y h 147 n (149 y h 148 n (150 y h 149 n (151 y h 150 n (152 y h 151 n (153 y h 152 n (154 y h 153 n (155 y h 154 n (156 y h 155 n (157 y h 156 n (158 y h 157 n (159 y h 158 n (160 y h 159 n (161 y h 160 n (162 y h 161 n (163 y h 162 n (164 y h 163 n (165 y h 164 n (166 y h 165 n (167 y h 166 n (168 y h 167 n (169 y h 168 n (170 y h 169 n (171 y h 170 n (172 y h 171 n (173 y h 172 n (174 y h 173 n (175 y h 174 n (176 y h 175 n (177 y h 176 n (178 y h 177 n (179 y h 178 n (180 y h 179 n (181 y h 180 n (182 y h 181 n (183 y h 182 n (184 y h 183 n (185 y h 184 n (186 y h 185 n (187 y h 186 n (188 y h 187 n (189 y h 188 n (190 y h 189 n (191 y h 190 n (192 y h 191 n (193 y h 192 n (194 y h 193 n (195 y h 194 n (196 y h 195 n (197 y h 196 n (198 y h 197 n (199 y h 198 n (200 y h 199 n (201 y h 200 n (202 y h 201 n (203 y h 202 n (204 y h 203 n (205 y h 204 n (206 y h 205 n (207 y h 206 n (208 y h 207 n (209 y h 208 n (210 y h 209 n (211 y h 210 n (212 y h 211 n (213 y h 212 n (214 y h 213 n (215 y h 214 n (216 y h 215 n (217 y h 216 n (218 y h 217 n h 218)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) }} teamName {{ babyavatar }} reputation 76.99999999699999 request propose hsr.HSRInstanceSet {{ HSR(9,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,4) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 hsr.HSRInstanceSet {{ HSR(21,10) }} scg.protocol.ForAllExistsMin {{ }} 0.9047619047619048 1.0 hsr.HSRInstanceSet {{ HSR(10,5) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(163,4) }} scg.protocol.ForAllExistsMin {{ }} 0.049079754601226995 1.0 hsr.HSRInstanceSet {{ HSR(99,4) }} scg.protocol.ForAllExistsMin {{ }} 0.0707070707070707 1.0 hsr.HSRInstanceSet {{ HSR(11,2) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(638,5) }} scg.protocol.ForAllExistsMin {{ }} 0.01567398119122257 1.0 hsr.HSRInstanceSet {{ HSR(5,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,3) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(19,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15789473684210525 1.0 hsr.HSRInstanceSet {{ HSR(12,8) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(7,2) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 hsr.HSRInstanceSet {{ HSR(502,7) }} scg.protocol.ForAllExistsMin {{ }} 0.017928286852589643 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(14,11) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 hsr.HSRInstanceSet {{ HSR(11,4) }} scg.protocol.ForAllExistsMin {{ }} 0.5454545454545454 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(256,8) }} scg.protocol.ForAllExistsMin {{ }} 0.03125 1.0 hsr.HSRInstanceSet {{ HSR(64,3) }} scg.protocol.ForAllExistsMin {{ }} 0.109375 1.0 hsr.HSRInstanceSet {{ HSR(8,3) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 hsr.HSRInstanceSet {{ HSR(57,4) }} scg.protocol.ForAllExistsMin {{ }} 0.10526315789473684 1.0 hsr.HSRInstanceSet {{ HSR(512,9) }} scg.protocol.ForAllExistsMin {{ }} 0.017578125 1.0 hsr.HSRInstanceSet {{ HSR(20,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3 1.0 hsr.HSRInstanceSet {{ HSR(3,2) }} scg.protocol.ForAllExistsMin {{ }} 0.3333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(17,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6470588235294118 1.0 hsr.HSRInstanceSet {{ HSR(7,5) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 hsr.HSRInstanceSet {{ HSR(10,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9 1.0 hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(6,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8333333333333334 1.0 hsr.HSRInstanceSet {{ HSR(219,5) }} scg.protocol.ForAllExistsMin {{ }} 0.0365296803652968 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(15,10) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 hsr.HSRInstanceSet {{ HSR(17,6) }} scg.protocol.ForAllExistsMin {{ }} 0.23529411764705882 1.0 hsr.HSRInstanceSet {{ HSR(7,1) }} scg.protocol.ForAllExistsMin {{ }} 0.7142857142857143 1.0 hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{ }} 0.3125 1.0 hsr.HSRInstanceSet {{ HSR(128,7) }} scg.protocol.ForAllExistsMin {{ }} 0.0546875 1.0 hsr.HSRInstanceSet {{ HSR(64,6) }} scg.protocol.ForAllExistsMin {{ }} 0.09375 1.0 hsr.HSRInstanceSet {{ HSR(386,4) }} scg.protocol.ForAllExistsMin {{ }} 0.025906735751295335 1.0 hsr.HSRInstanceSet {{ HSR(15,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(15,1) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(17,13) }} scg.protocol.ForAllExistsMin {{ }} 0.9411764705882353 1.0 hsr.HSRInstanceSet {{ HSR(19,5) }} scg.protocol.ForAllExistsMin {{ }} 0.7368421052631579 1.0 hsr.HSRInstanceSet {{ HSR(5,2) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 oppose hsr.HSRInstanceSet {{ HSR(15,1) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(17,13) }} scg.protocol.ForAllExistsMin {{ }} 0.9411764705882353 1.0 hsr.HSRInstanceSet {{ HSR(19,5) }} scg.protocol.ForAllExistsMin {{ }} 0.7368421052631579 1.0 hsr.HSRInstanceSet {{ HSR(5,2) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(15,10) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 provide hsr.HSRInstanceSet {{ HSR(17,6) }} scg.protocol.ForAllExistsMin {{ }} 0.23529411764705882 1.0 provide hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{ }} 0.312499999 1.0 provide hsr.HSRInstanceSet {{ HSR(128,7) }} scg.protocol.ForAllExistsMin {{ }} 0.054687499 1.0 provide hsr.HSRInstanceSet {{ HSR(64,6) }} scg.protocol.ForAllExistsMin {{ }} 0.09375 1.0 provide hsr.HSRInstanceSet {{ HSR(15,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9333333323333334 1.0 solve hsr.HSRInstance {{ HSR(4,1) }} hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 solve hsr.HSRInstance {{ HSR(4,2) }} hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 solve hsr.HSRInstance {{ HSR(5,4) }} hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 reply propose hsr.HSRInstanceSet {{ HSR(382,5) }} scg.protocol.ForAllExistsMin {{ }} 0.02356020942408377 1.0 hsr.HSRInstanceSet {{ HSR(968,7) }} scg.protocol.ForAllExistsMin {{ }} 0.010330578512396695 1.0 hsr.HSRInstanceSet {{ HSR(29,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2413793103448276 1.0 hsr.HSRInstanceSet {{ HSR(79,2) }} scg.protocol.ForAllExistsMin {{ }} 0.1518987341772152 1.0 hsr.HSRInstanceSet {{ HSR(9,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8888888888888888 1.0 oppose strengthening 0.9333333333333333 strengthening 0.7647058823529411 strengthening 0.2631578947368421 refuting protocolResponse provide hsr.HSRInstance {{ HSR(15,10) }} provide hsr.HSRInstance {{ HSR(17,6) }} provide hsr.HSRInstance {{ HSR(16,2) }} provide hsr.HSRInstance {{ HSR(128,7) }} provide hsr.HSRInstance {{ HSR(64,6) }} provide hsr.HSRInstance {{ HSR(15,1) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n h 3))) }} solve hsr.HSRSolution {{ (2 y (1 y h 0 n h 1) n (3 y h 2 n h 3)) }} solve hsr.HSRSolution {{ (3 y (1 y h 0 n (2 y h 1 n h 2)) n (4 y h 3 n h 4)) }} teamName {{ Starbuck }} reputation 127.00000000400001 {{ babyavatar }} 69.99999999599999 {{ Starbuck }} 130.00000000400001