claim hsr.HSRInstanceSet {{ HSR(20,4) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 proposer {{ milo }} opposer {{ usb2 }} action agree responses provider {{ milo }} pr provide hsr.HSRInstance {{ HSR(20,4) }} provider {{ usb2 }} 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 (19 y (17 y (16 y h 15 n h 16) n (18 y h 17 n h 18)) n h 19)) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(14,1) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 proposer {{ milo }} opposer {{ usb2 }} action refuting responses provider {{ usb2 }} pr provide hsr.HSRInstance {{ HSR(14,1) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(21,18) }} scg.protocol.ForAllExistsMin {{ }} 0.8095238095238095 1.0 proposer {{ milo }} opposer {{ usb2 }} action agree responses provider {{ milo }} pr provide hsr.HSRInstance {{ HSR(21,18) }} provider {{ usb2 }} pr solve hsr.HSRSolution {{ (16 y (8 y (4 y (2 y (1 y h 0 n h 1) n (3 y h 2 n h 3)) n (6 y (5 y h 4 n h 5) n (7 y h 6 n h 7))) n (12 y (10 y (9 y h 8 n h 9) n (11 y h 10 n h 11)) n (14 y (13 y h 12 n h 13) n (15 y h 14 n h 15)))) n (20 y (18 y (17 y h 16 n h 17) n (19 y h 18 n h 19)) n h 20)) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(13,5) }} scg.protocol.ForAllExistsMin {{ }} 0.7692307692307693 1.0 proposer {{ milo }} opposer {{ usb2 }} action agree responses provider {{ milo }} pr provide hsr.HSRInstance {{ HSR(13,5) }} provider {{ usb2 }} pr solve hsr.HSRSolution {{ (8 y (4 y (2 y (1 y h 0 n h 1) n (3 y h 2 n h 3)) n (6 y (5 y h 4 n h 5) n (7 y h 6 n h 7))) n (12 y (10 y (9 y h 8 n h 9) n (11 y h 10 n h 11)) n h 12)) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(127,92) }} scg.protocol.ForAllExistsMin {{ }} 0.05511811023622047 1.0 proposer {{ usb2 }} opposer {{ milo }} action strengthening 0.05511810923622047 responses provider {{ usb2 }} pr provide hsr.HSRInstance {{ HSR(127,92) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(202,146) }} scg.protocol.ForAllExistsMin {{ }} 0.039603960396039604 1.0 proposer {{ usb2 }} opposer {{ milo }} action strengthening 0.039603959396039605 responses provider {{ usb2 }} pr provide hsr.HSRInstance {{ HSR(202,146) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(816,231) }} scg.protocol.ForAllExistsMin {{ }} 0.012254901960784314 1.0 proposer {{ usb2 }} opposer {{ milo }} action strengthening 0.012254900960784314 responses provider {{ usb2 }} pr provide hsr.HSRInstance {{ HSR(816,231) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(229,160) }} scg.protocol.ForAllExistsMin {{ }} 0.034934497816593885 1.0 proposer {{ usb2 }} opposer {{ milo }} action strengthening 0.034934496816593885 responses provider {{ usb2 }} pr provide hsr.HSRInstance {{ HSR(229,160) }} winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(5,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6 1.0 proposer {{ milo }} opposer {{ usb2 }} action agree responses winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(11,4) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 proposer {{ milo }} opposer {{ usb2 }} action agree responses winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.25 1.0 proposer {{ milo }} opposer {{ usb2 }} action refuting responses winner {{ }} pointsWon 0.0 claim hsr.HSRInstanceSet {{ HSR(11,3) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 proposer {{ milo }} opposer {{ usb2 }} action agree responses winner {{ }} pointsWon 0.0 {{ milo }} 98.0 {{ usb2 }} 102.0