claim hsr.HSRInstanceSet {{ HSR(42,3) }} scg.protocol.ForAllExistsMin {{ }} 0.14285714285714285 1.0 proposer {{ Starbuck }} opposer {{ nobackbone }} action agree responses provider {{ Starbuck }} pr provide hsr.HSRInstance {{ HSR(42,3) }} provider {{ nobackbone }} pr solve hsr.HSRSolution {{ (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)))))) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(31,4) }} scg.protocol.ForAllExistsMin {{ }} 0.16129032258064516 1.0 proposer {{ Starbuck }} opposer {{ nobackbone }} action agree responses provider {{ Starbuck }} pr provide hsr.HSRInstance {{ HSR(31,4) }} provider {{ nobackbone }} pr solve hsr.HSRSolution {{ (15 y (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 (13 y (12 y h 11 n h 12) n (14 y h 13 n h 14)))) n (23 y (19 y (17 y (16 y h 15 n h 16) n (18 y h 17 n h 18)) n (21 y (20 y h 19 n h 20) n (22 y h 21 n h 22))) n (27 y (25 y (24 y h 23 n h 24) n (26 y h 25 n h 26)) n (29 y (28 y h 27 n h 28) n (30 y h 29 n h 30))))) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(26,3) }} scg.protocol.ForAllExistsMin {{ }} 0.19230769230769232 1.0 proposer {{ Starbuck }} opposer {{ nobackbone }} action agree responses provider {{ Starbuck }} pr provide hsr.HSRInstance {{ HSR(26,3) }} provider {{ nobackbone }} pr 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 (22 y (20 y (19 y h 18 n h 19) n (21 y h 20 n h 21)) n (24 y (23 y h 22 n h 23) n (25 y h 24 n h 25))))) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(256,4) }} scg.protocol.ForAllExistsMin {{ }} 0.03515625 1.0 proposer {{ Starbuck }} opposer {{ nobackbone }} action agree responses provider {{ Starbuck }} pr provide hsr.HSRInstance {{ HSR(256,4) }} provider {{ nobackbone }} pr solve hsr.HSRSolution {{ (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))))))))) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 proposer {{ Starbuck }} opposer {{ nobackbone }} action agree responses provider {{ Starbuck }} pr provide hsr.HSRInstance {{ HSR(2,1) }} provider {{ nobackbone }} pr solve hsr.HSRSolution {{ (1 y h 0 n h 1) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 proposer {{ nobackbone }} opposer {{ Starbuck }} action agree responses provider {{ nobackbone }} pr provide hsr.HSRInstance {{ HSR(4,2) }} provider {{ Starbuck }} pr solve hsr.HSRSolution {{ (2 y (1 y h 0 n h 1) n (3 y h 2 n h 3)) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(8,2) }} scg.protocol.ForAllExistsMin {{ }} 0.375 1.0 proposer {{ nobackbone }} opposer {{ Starbuck }} action refuting responses provider {{ Starbuck }} pr provide hsr.HSRInstance {{ HSR(8,2) }} provider {{ nobackbone }} pr solve hsr.HSRSolution {{ (4 y (1 y h 0 n (2 y h 1 n (3 y h 2 n h 3))) n (7 y (5 y h 4 n (6 y h 5 n h 6)) n h 7)) }} winner {{ Starbuck }} pointsWon 1.0 claim hsr.HSRInstanceSet {{ HSR(16,2) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 proposer {{ nobackbone }} opposer {{ Starbuck }} action refuting responses provider {{ Starbuck }} pr provide hsr.HSRInstance {{ HSR(16,2) }} provider {{ nobackbone }} pr solve hsr.HSRSolution {{ (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))))) }} winner {{ Starbuck }} pointsWon 1.0 claim hsr.HSRInstanceSet {{ HSR(32,2) }} scg.protocol.ForAllExistsMin {{ }} 0.15625 1.0 proposer {{ nobackbone }} opposer {{ Starbuck }} action refuting responses provider {{ Starbuck }} pr provide hsr.HSRInstance {{ HSR(32,2) }} provider {{ nobackbone }} pr solve hsr.HSRSolution {{ (8 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 (7 y h 6 n h 7))))))) n (15 y (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)))))) n (21 y (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 h 20))))) n (26 y (22 y h 21 n (23 y h 22 n (24 y h 23 n (25 y h 24 n h 25)))) n (30 y (27 y h 26 n (28 y h 27 n (29 y h 28 n h 29))) n (31 y h 30 n h 31)))))) }} winner {{ Starbuck }} pointsWon 1.0 claim hsr.HSRInstanceSet {{ HSR(968,7) }} scg.protocol.ForAllExistsMin {{ }} 0.010330578512396695 1.0 proposer {{ Starbuck }} opposer {{ nobackbone }} action agree responses provider {{ Starbuck }} pr provide hsr.HSRInstance {{ HSR(968,7) }} provider {{ nobackbone }} pr solve hsr.HSRSolution {{ (466 y (219 y (99 y (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))))))) n (156 y (125 y (110 y (103 y (100 y h 99 n (101 y h 100 n (102 y h 101 n h 102))) n (106 y (104 y h 103 n (105 y h 104 n h 105)) n (108 y (107 y h 106 n h 107) n (109 y h 108 n h 109)))) n (117 y (113 y (111 y h 110 n (112 y h 111 n h 112)) n (115 y (114 y h 113 n h 114) n (116 y h 115 n h 116))) n (121 y (119 y (118 y h 117 n h 118) n (120 y h 119 n h 120)) n (123 y (122 y h 121 n h 122) n (124 y h 123 n h 124))))) n (140 y (132 y (128 y (126 y h 125 n (127 y h 126 n h 127)) n (130 y (129 y h 128 n h 129) n (131 y h 130 n h 131))) n (136 y (134 y (133 y h 132 n h 133) n (135 y h 134 n h 135)) n (138 y (137 y h 136 n h 137) n (139 y h 138 n h 139)))) n (148 y (144 y (142 y (141 y h 140 n h 141) n (143 y h 142 n h 143)) n (146 y (145 y h 144 n h 145) n (147 y h 146 n h 147))) n (152 y (150 y (149 y h 148 n h 149) n (151 y h 150 n h 151)) n (154 y (153 y h 152 n h 153) n (155 y h 154 n h 155)))))) n (187 y (171 y (163 y (159 y (157 y h 156 n (158 y h 157 n h 158)) n (161 y (160 y h 159 n h 160) n (162 y h 161 n h 162))) n (167 y (165 y (164 y h 163 n h 164) n (166 y h 165 n h 166)) n (169 y (168 y h 167 n h 168) n (170 y h 169 n h 170)))) n (179 y (175 y (173 y (172 y h 171 n h 172) n (174 y h 173 n h 174)) n (177 y (176 y h 175 n h 176) n (178 y h 177 n h 178))) n (183 y (181 y (180 y h 179 n h 180) n (182 y h 181 n h 182)) n (185 y (184 y h 183 n h 184) n (186 y h 185 n h 186))))) n (203 y (195 y (191 y (189 y (188 y h 187 n h 188) n (190 y h 189 n h 190)) n (193 y (192 y h 191 n h 192) n (194 y h 193 n h 194))) n (199 y (197 y (196 y h 195 n h 196) n (198 y h 197 n h 198)) n (201 y (200 y h 199 n h 200) n (202 y h 201 n h 202)))) n (211 y (207 y (205 y (204 y h 203 n h 204) n (206 y h 205 n h 206)) n (209 y (208 y h 207 n h 208) n (210 y h 209 n h 210))) n (215 y (213 y (212 y h 211 n h 212) n (214 y h 213 n h 214)) n (217 y (216 y h 215 n h 216) n (218 y h 217 n h 218)))))))) n (339 y (276 y (245 y (230 y (223 y (220 y h 219 n (221 y h 220 n (222 y h 221 n h 222))) n (226 y (224 y h 223 n (225 y h 224 n h 225)) n (228 y (227 y h 226 n h 227) n (229 y h 228 n h 229)))) n (237 y (233 y (231 y h 230 n (232 y h 231 n h 232)) n (235 y (234 y h 233 n h 234) n (236 y h 235 n h 236))) n (241 y (239 y (238 y h 237 n h 238) n (240 y h 239 n h 240)) n (243 y (242 y h 241 n h 242) n (244 y h 243 n h 244))))) n (260 y (252 y (248 y (246 y h 245 n (247 y h 246 n h 247)) n (250 y (249 y h 248 n h 249) n (251 y h 250 n h 251))) n (256 y (254 y (253 y h 252 n h 253) n (255 y h 254 n h 255)) n (258 y (257 y h 256 n h 257) n (259 y h 258 n h 259)))) n (268 y (264 y (262 y (261 y h 260 n h 261) n (263 y h 262 n h 263)) n (266 y (265 y h 264 n h 265) n (267 y h 266 n h 267))) n (272 y (270 y (269 y h 268 n h 269) n (271 y h 270 n h 271)) n (274 y (273 y h 272 n h 273) n (275 y h 274 n h 275)))))) n (307 y (291 y (283 y (279 y (277 y h 276 n (278 y h 277 n h 278)) n (281 y (280 y h 279 n h 280) n (282 y h 281 n h 282))) n (287 y (285 y (284 y h 283 n h 284) n (286 y h 285 n h 286)) n (289 y (288 y h 287 n h 288) n (290 y h 289 n h 290)))) n (299 y (295 y (293 y (292 y h 291 n h 292) n (294 y h 293 n h 294)) n (297 y (296 y h 295 n h 296) n (298 y h 297 n h 298))) n (303 y (301 y (300 y h 299 n h 300) n (302 y h 301 n h 302)) n (305 y (304 y h 303 n h 304) n (306 y h 305 n h 306))))) n (323 y (315 y (311 y (309 y (308 y h 307 n h 308) n (310 y h 309 n h 310)) n (313 y (312 y h 311 n h 312) n (314 y h 313 n h 314))) n (319 y (317 y (316 y h 315 n h 316) n (318 y h 317 n h 318)) n (321 y (320 y h 319 n h 320) n (322 y h 321 n h 322)))) n (331 y (327 y (325 y (324 y h 323 n h 324) n (326 y h 325 n h 326)) n (329 y (328 y h 327 n h 328) n (330 y h 329 n h 330))) n (335 y (333 y (332 y h 331 n h 332) n (334 y h 333 n h 334)) n (337 y (336 y h 335 n h 336) n (338 y h 337 n h 338))))))) n (402 y (370 y (354 y (346 y (342 y (340 y h 339 n (341 y h 340 n h 341)) n (344 y (343 y h 342 n h 343) n (345 y h 344 n h 345))) n (350 y (348 y (347 y h 346 n 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 (362 y (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 (366 y (364 y (363 y h 362 n h 363) n (365 y h 364 n h 365)) n (368 y (367 y h 366 n h 367) n (369 y h 368 n h 369))))) n (386 y (378 y (374 y (372 y (371 y h 370 n h 371) n (373 y h 372 n h 373)) n (376 y (375 y h 374 n h 375) n (377 y h 376 n h 377))) n (382 y (380 y (379 y h 378 n h 379) n (381 y h 380 n h 381)) n (384 y (383 y h 382 n h 383) n (385 y h 384 n h 385)))) n (394 y (390 y (388 y (387 y h 386 n h 387) n (389 y h 388 n h 389)) n (392 y (391 y h 390 n h 391) n (393 y h 392 n h 393))) n (398 y (396 y (395 y h 394 n h 395) n (397 y h 396 n h 397)) n (400 y (399 y h 398 n h 399) n (401 y h 400 n h 401)))))) n (434 y (418 y (410 y (406 y (404 y (403 y h 402 n h 403) n (405 y h 404 n h 405)) n (408 y (407 y h 406 n h 407) n (409 y h 408 n h 409))) n (414 y (412 y (411 y h 410 n h 411) n (413 y h 412 n h 413)) n (416 y (415 y h 414 n h 415) n (417 y h 416 n h 417)))) n (426 y (422 y (420 y (419 y h 418 n h 419) n (421 y h 420 n h 421)) n (424 y (423 y h 422 n h 423) n (425 y h 424 n h 425))) n (430 y (428 y (427 y h 426 n h 427) n (429 y h 428 n h 429)) n (432 y (431 y h 430 n h 431) n (433 y h 432 n h 433))))) n (450 y (442 y (438 y (436 y (435 y h 434 n h 435) n (437 y h 436 n h 437)) n (440 y (439 y h 438 n h 439) n (441 y h 440 n h 441))) n (446 y (444 y (443 y h 442 n h 443) n (445 y h 444 n h 445)) n (448 y (447 y h 446 n h 447) n (449 y h 448 n h 449)))) n (458 y (454 y (452 y (451 y h 450 n h 451) n (453 y h 452 n h 453)) n (456 y (455 y h 454 n h 455) n (457 y h 456 n h 457))) n (462 y (460 y (459 y h 458 n h 459) n (461 y h 460 n h 461)) n (464 y (463 y h 462 n h 463) n (465 y h 464 n h 465))))))))) n (713 y (586 y (523 y (492 y (477 y (470 y (467 y h 466 n (468 y h 467 n (469 y h 468 n h 469))) n (473 y (471 y h 470 n (472 y h 471 n h 472)) n (475 y (474 y h 473 n h 474) n (476 y h 475 n h 476)))) n (484 y (480 y (478 y h 477 n (479 y h 478 n h 479)) n (482 y (481 y h 480 n h 481) n (483 y h 482 n h 483))) n (488 y (486 y (485 y h 484 n h 485) n (487 y h 486 n h 487)) n (490 y (489 y h 488 n h 489) n (491 y h 490 n h 491))))) n (507 y (499 y (495 y (493 y h 492 n (494 y h 493 n h 494)) n (497 y (496 y h 495 n h 496) n (498 y h 497 n h 498))) n (503 y (501 y (500 y h 499 n h 500) n (502 y h 501 n h 502)) n (505 y (504 y h 503 n h 504) n (506 y h 505 n h 506)))) n (515 y (511 y (509 y (508 y h 507 n h 508) n (510 y h 509 n h 510)) n (513 y (512 y h 511 n h 512) n (514 y h 513 n h 514))) n (519 y (517 y (516 y h 515 n h 516) n (518 y h 517 n h 518)) n (521 y (520 y h 519 n h 520) n (522 y h 521 n h 522)))))) n (554 y (538 y (530 y (526 y (524 y h 523 n (525 y h 524 n h 525)) n (528 y (527 y h 526 n h 527) n (529 y h 528 n h 529))) n (534 y (532 y (531 y h 530 n h 531) n (533 y h 532 n h 533)) n (536 y (535 y h 534 n h 535) n (537 y h 536 n h 537)))) n (546 y (542 y (540 y (539 y h 538 n h 539) n (541 y h 540 n h 541)) n (544 y (543 y h 542 n h 543) n (545 y h 544 n h 545))) n (550 y (548 y (547 y h 546 n h 547) n (549 y h 548 n h 549)) n (552 y (551 y h 550 n h 551) n (553 y h 552 n h 553))))) n (570 y (562 y (558 y (556 y (555 y h 554 n h 555) n (557 y h 556 n h 557)) n (560 y (559 y h 558 n h 559) n (561 y h 560 n h 561))) n (566 y (564 y (563 y h 562 n h 563) n (565 y h 564 n h 565)) n (568 y (567 y h 566 n h 567) n (569 y h 568 n h 569)))) n (578 y (574 y (572 y (571 y h 570 n h 571) n (573 y h 572 n h 573)) n (576 y (575 y h 574 n h 575) n (577 y h 576 n h 577))) n (582 y (580 y (579 y h 578 n h 579) n (581 y h 580 n h 581)) n (584 y (583 y h 582 n h 583) n (585 y h 584 n h 585))))))) n (649 y (617 y (601 y (593 y (589 y (587 y h 586 n (588 y h 587 n h 588)) n (591 y (590 y h 589 n h 590) n (592 y h 591 n h 592))) n (597 y (595 y (594 y h 593 n h 594) n (596 y h 595 n h 596)) n (599 y (598 y h 597 n h 598) n (600 y h 599 n h 600)))) n (609 y (605 y (603 y (602 y h 601 n h 602) n (604 y h 603 n h 604)) n (607 y (606 y h 605 n h 606) n (608 y h 607 n h 608))) n (613 y (611 y (610 y h 609 n h 610) n (612 y h 611 n h 612)) n (615 y (614 y h 613 n h 614) n (616 y h 615 n h 616))))) n (633 y (625 y (621 y (619 y (618 y h 617 n h 618) n (620 y h 619 n h 620)) n (623 y (622 y h 621 n h 622) n (624 y h 623 n h 624))) n (629 y (627 y (626 y h 625 n h 626) n (628 y h 627 n h 628)) n (631 y (630 y h 629 n h 630) n (632 y h 631 n h 632)))) n (641 y (637 y (635 y (634 y h 633 n h 634) n (636 y h 635 n h 636)) n (639 y (638 y h 637 n h 638) n (640 y h 639 n h 640))) n (645 y (643 y (642 y h 641 n h 642) n (644 y h 643 n h 644)) n (647 y (646 y h 645 n h 646) n (648 y h 647 n h 648)))))) n (681 y (665 y (657 y (653 y (651 y (650 y h 649 n h 650) n (652 y h 651 n h 652)) n (655 y (654 y h 653 n h 654) n (656 y h 655 n h 656))) n (661 y (659 y (658 y h 657 n h 658) n (660 y h 659 n h 660)) n (663 y (662 y h 661 n h 662) n (664 y h 663 n h 664)))) n (673 y (669 y (667 y (666 y h 665 n h 666) n (668 y h 667 n h 668)) n (671 y (670 y h 669 n h 670) n (672 y h 671 n h 672))) n (677 y (675 y (674 y h 673 n h 674) n (676 y h 675 n h 676)) n (679 y (678 y h 677 n h 678) n (680 y h 679 n h 680))))) n (697 y (689 y (685 y (683 y (682 y h 681 n h 682) n (684 y h 683 n h 684)) n (687 y (686 y h 685 n h 686) n (688 y h 687 n h 688))) n (693 y (691 y (690 y h 689 n h 690) n (692 y h 691 n h 692)) n (695 y (694 y h 693 n h 694) n (696 y h 695 n h 696)))) n (705 y (701 y (699 y (698 y h 697 n h 698) n (700 y h 699 n h 700)) n (703 y (702 y h 701 n h 702) n (704 y h 703 n h 704))) n (709 y (707 y (706 y h 705 n h 706) n (708 y h 707 n h 708)) n (711 y (710 y h 709 n h 710) n (712 y h 711 n h 712)))))))) n (840 y (776 y (744 y (728 y (720 y (716 y (714 y h 713 n (715 y h 714 n h 715)) n (718 y (717 y h 716 n h 717) n (719 y h 718 n h 719))) n (724 y (722 y (721 y h 720 n h 721) n (723 y h 722 n h 723)) n (726 y (725 y h 724 n h 725) n (727 y h 726 n h 727)))) n (736 y (732 y (730 y (729 y h 728 n h 729) n (731 y h 730 n h 731)) n (734 y (733 y h 732 n h 733) n (735 y h 734 n h 735))) n (740 y (738 y (737 y h 736 n h 737) n (739 y h 738 n h 739)) n (742 y (741 y h 740 n h 741) n (743 y h 742 n h 743))))) n (760 y (752 y (748 y (746 y (745 y h 744 n h 745) n (747 y h 746 n h 747)) n (750 y (749 y h 748 n h 749) n (751 y h 750 n h 751))) n (756 y (754 y (753 y h 752 n h 753) n (755 y h 754 n h 755)) n (758 y (757 y h 756 n h 757) n (759 y h 758 n h 759)))) n (768 y (764 y (762 y (761 y h 760 n h 761) n (763 y h 762 n h 763)) n (766 y (765 y h 764 n h 765) n (767 y h 766 n h 767))) n (772 y (770 y (769 y h 768 n h 769) n (771 y h 770 n h 771)) n (774 y (773 y h 772 n h 773) n (775 y h 774 n h 775)))))) n (808 y (792 y (784 y (780 y (778 y (777 y h 776 n h 777) n (779 y h 778 n h 779)) n (782 y (781 y h 780 n h 781) n (783 y h 782 n h 783))) n (788 y (786 y (785 y h 784 n h 785) n (787 y h 786 n h 787)) n (790 y (789 y h 788 n h 789) n (791 y h 790 n h 791)))) n (800 y (796 y (794 y (793 y h 792 n h 793) n (795 y h 794 n h 795)) n (798 y (797 y h 796 n h 797) n (799 y h 798 n h 799))) n (804 y (802 y (801 y h 800 n h 801) n (803 y h 802 n h 803)) n (806 y (805 y h 804 n h 805) n (807 y h 806 n h 807))))) n (824 y (816 y (812 y (810 y (809 y h 808 n h 809) n (811 y h 810 n h 811)) n (814 y (813 y h 812 n h 813) n (815 y h 814 n h 815))) n (820 y (818 y (817 y h 816 n h 817) n (819 y h 818 n h 819)) n (822 y (821 y h 820 n h 821) n (823 y h 822 n h 823)))) n (832 y (828 y (826 y (825 y h 824 n h 825) n (827 y h 826 n h 827)) n (830 y (829 y h 828 n h 829) n (831 y h 830 n h 831))) n (836 y (834 y (833 y h 832 n h 833) n (835 y h 834 n h 835)) n (838 y (837 y h 836 n h 837) n (839 y h 838 n h 839))))))) n (904 y (872 y (856 y (848 y (844 y (842 y (841 y h 840 n h 841) n (843 y h 842 n h 843)) n (846 y (845 y h 844 n h 845) n (847 y h 846 n h 847))) n (852 y (850 y (849 y h 848 n h 849) n (851 y h 850 n h 851)) n (854 y (853 y h 852 n h 853) n (855 y h 854 n h 855)))) n (864 y (860 y (858 y (857 y h 856 n h 857) n (859 y h 858 n h 859)) n (862 y (861 y h 860 n h 861) n (863 y h 862 n h 863))) n (868 y (866 y (865 y h 864 n h 865) n (867 y h 866 n h 867)) n (870 y (869 y h 868 n h 869) n (871 y h 870 n h 871))))) n (888 y (880 y (876 y (874 y (873 y h 872 n h 873) n (875 y h 874 n h 875)) n (878 y (877 y h 876 n h 877) n (879 y h 878 n h 879))) n (884 y (882 y (881 y h 880 n h 881) n (883 y h 882 n h 883)) n (886 y (885 y h 884 n h 885) n (887 y h 886 n h 887)))) n (896 y (892 y (890 y (889 y h 888 n h 889) n (891 y h 890 n h 891)) n (894 y (893 y h 892 n h 893) n (895 y h 894 n h 895))) n (900 y (898 y (897 y h 896 n h 897) n (899 y h 898 n h 899)) n (902 y (901 y h 900 n h 901) n (903 y h 902 n h 903)))))) n (936 y (920 y (912 y (908 y (906 y (905 y h 904 n h 905) n (907 y h 906 n h 907)) n (910 y (909 y h 908 n h 909) n (911 y h 910 n h 911))) n (916 y (914 y (913 y h 912 n h 913) n (915 y h 914 n h 915)) n (918 y (917 y h 916 n h 917) n (919 y h 918 n h 919)))) n (928 y (924 y (922 y (921 y h 920 n h 921) n (923 y h 922 n h 923)) n (926 y (925 y h 924 n h 925) n (927 y h 926 n h 927))) n (932 y (930 y (929 y h 928 n h 929) n (931 y h 930 n h 931)) n (934 y (933 y h 932 n h 933) n (935 y h 934 n h 935))))) n (952 y (944 y (940 y (938 y (937 y h 936 n h 937) n (939 y h 938 n h 939)) n (942 y (941 y h 940 n h 941) n (943 y h 942 n h 943))) n (948 y (946 y (945 y h 944 n h 945) n (947 y h 946 n h 947)) n (950 y (949 y h 948 n h 949) n (951 y h 950 n h 951)))) n (960 y (956 y (954 y (953 y h 952 n h 953) n (955 y h 954 n h 955)) n (958 y (957 y h 956 n h 957) n (959 y h 958 n h 959))) n (964 y (962 y (961 y h 960 n h 961) n (963 y h 962 n h 963)) n (966 y (965 y h 964 n h 965) n (967 y h 966 n h 967)))))))))) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(8,1) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 proposer {{ Starbuck }} opposer {{ nobackbone }} action agree responses provider {{ Starbuck }} pr provide hsr.HSRInstance {{ HSR(8,1) }} provider {{ nobackbone }} pr solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n (7 y h 6 n h 7))))))) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(5,1) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 proposer {{ Starbuck }} opposer {{ nobackbone }} action agree responses provider {{ Starbuck }} pr provide hsr.HSRInstance {{ HSR(5,1) }} provider {{ nobackbone }} pr 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)))) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(79,2) }} scg.protocol.ForAllExistsMin {{ }} 0.1518987341772152 1.0 proposer {{ Starbuck }} opposer {{ nobackbone }} action agree responses provider {{ Starbuck }} pr provide hsr.HSRInstance {{ HSR(79,2) }} provider {{ nobackbone }} pr solve hsr.HSRSolution {{ (12 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 (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))))))))))) n (23 y (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 h 22)))))))))) n (33 y (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 h 32))))))))) n (42 y (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 h 41)))))))) n (50 y (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 h 49))))))) n (57 y (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)))))) n (63 y (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 h 62))))) n (68 y (64 y h 63 n (65 y h 64 n (66 y h 65 n (67 y h 66 n h 67)))) n (72 y (69 y h 68 n (70 y h 69 n (71 y h 70 n h 71))) n (75 y (73 y h 72 n (74 y h 73 n h 74)) n (77 y (76 y h 75 n h 76) n (78 y h 77 n h 78)))))))))))) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(57,4) }} scg.protocol.ForAllExistsMin {{ }} 0.10526315789473684 1.0 proposer {{ Starbuck }} opposer {{ nobackbone }} action agree responses provider {{ Starbuck }} pr provide hsr.HSRInstance {{ HSR(57,4) }} provider {{ nobackbone }} pr solve hsr.HSRSolution {{ (26 y (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 (22 y (20 y (19 y h 18 n h 19) n (21 y h 20 n h 21)) n (24 y (23 y h 22 n h 23) n (25 y h 24 n h 25))))) n (41 y (33 y (29 y (27 y h 26 n (28 y h 27 n h 28)) n (31 y (30 y h 29 n h 30) n (32 y h 31 n h 32))) n (37 y (35 y (34 y h 33 n h 34) n (36 y h 35 n h 36)) n (39 y (38 y h 37 n h 38) n (40 y h 39 n h 40)))) n (49 y (45 y (43 y (42 y h 41 n h 42) n (44 y h 43 n h 44)) n (47 y (46 y h 45 n h 46) n (48 y h 47 n h 48))) n (53 y (51 y (50 y h 49 n h 50) n (52 y h 51 n h 52)) n (55 y (54 y h 53 n h 54) n (56 y h 55 n h 56)))))) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(64,2) }} scg.protocol.ForAllExistsMin {{ }} 0.09375 1.0 proposer {{ nobackbone }} opposer {{ Starbuck }} action refuting responses winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(128,2) }} scg.protocol.ForAllExistsMin {{ }} 0.0546875 1.0 proposer {{ nobackbone }} opposer {{ Starbuck }} action agree responses provider {{ nobackbone }} pr provide hsr.HSRInstance {{ HSR(128,2) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(512,2) }} scg.protocol.ForAllExistsMin {{ }} 0.017578125 1.0 proposer {{ nobackbone }} opposer {{ Starbuck }} action agree responses provider {{ nobackbone }} pr provide hsr.HSRInstance {{ HSR(512,2) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(388,2) }} scg.protocol.ForAllExistsMin {{ }} 0.07216494845360824 1.0 proposer {{ nobackbone }} opposer {{ Starbuck }} action strengthening 0.023195876288659795 responses provider {{ nobackbone }} pr provide hsr.HSRInstance {{ HSR(388,2) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(466,6) }} scg.protocol.ForAllExistsMin {{ }} 0.019313304721030045 1.0 proposer {{ Starbuck }} opposer {{ nobackbone }} action agree responses winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(22,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2727272727272727 1.0 proposer {{ Starbuck }} opposer {{ nobackbone }} action agree responses winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 proposer {{ Starbuck }} opposer {{ nobackbone }} action agree responses winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(15,1) }} scg.protocol.ForAllExistsMin {{ }} 0.9333333333333333 1.0 proposer {{ Starbuck }} opposer {{ nobackbone }} action agree responses winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(638,5) }} scg.protocol.ForAllExistsMin {{ }} 0.01567398119122257 1.0 proposer {{ Starbuck }} opposer {{ nobackbone }} action agree responses winner {{ }} pointsWon 0.0 {{ Starbuck }} 98.0 {{ nobackbone }} 102.0