claim hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action refuting
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(3,1) }}
provider {{ root }} pr solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n h 2)) }}
winner {{ root }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action refuting
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(5,4) }}
provider {{ root }} 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 {{ root }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action agree
responses provider {{ root }} pr provide hsr.HSRInstance {{ HSR(4,1) }}
provider {{ babyavatar }} pr solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n h 3))) }}
winner {{ }}
pointsWon 0.0
claim hsr.HSRInstanceSet {{ HSR(17,3) }} scg.protocol.ForAllExistsMin {{ }} 0.7058823529411765 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action refuting
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(17,3) }}
provider {{ root }} 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 (8 y h 7 n (9 y h 8 n (10 y h 9 n (11 y h 10 n (12 y h 11 n (13 y h 12 n (14 y h 13 n (15 y h 14 n (16 y h 15 n h 16)))))))))))))))) }}
winner {{ babyavatar }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action refuting
responses provider {{ root }} pr provide hsr.HSRInstance {{ HSR(2,1) }}
provider {{ babyavatar }} pr solve hsr.HSRSolution {{ (1 y h 0 n h 1) }}
winner {{ babyavatar }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(6,5) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action refuting
responses provider {{ root }} pr provide hsr.HSRInstance {{ HSR(6,5) }}
provider {{ babyavatar }} 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 h 5))))) }}
winner {{ root }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(21,12) }} scg.protocol.ForAllExistsMin {{ }} 0.47619047619047616 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action refuting
responses provider {{ root }} pr provide hsr.HSRInstance {{ HSR(21,12) }}
provider {{ babyavatar }} 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 (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 h 20)))))))))))))))))))) }}
winner {{ root }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(12,9) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action strengthening 0.499999999
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(12,9) }}
provider {{ root }} 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 (8 y h 7 n (9 y h 8 n (10 y h 9 n (11 y h 10 n h 11))))))))))) }}
winner {{ babyavatar }}
pointsWon 1.0000036354540498E-9
claim hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action strengthening 0.5714285704285714
responses provider {{ root }} pr provide hsr.HSRInstance {{ HSR(7,3) }}
provider {{ babyavatar }} 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 h 6)))))) }}
winner {{ root }}
pointsWon 1.0000036354540498E-9
claim hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444444444444 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action strengthening 0.4444444434444444
responses provider {{ root }} pr provide hsr.HSRInstance {{ HSR(18,15) }}
provider {{ babyavatar }} 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 (8 y h 7 n (9 y h 8 n (10 y h 9 n (11 y h 10 n (12 y h 11 n (13 y h 12 n (14 y h 13 n (15 y h 14 n (16 y h 15 n (17 y h 16 n h 17))))))))))))))))) }}
winner {{ root }}
pointsWon 1.0000036354540498E-9
claim hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action strengthening 0.4285714275714285
responses provider {{ root }} pr provide hsr.HSRInstance {{ HSR(7,6) }}
provider {{ babyavatar }} 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 h 6)))))) }}
winner {{ root }}
pointsWon 1.0000036354540498E-9
claim hsr.HSRInstanceSet {{ HSR(14,9) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action refuting
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(14,9) }}
provider {{ root }} 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 (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))))))))))))) }}
winner {{ babyavatar }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(20,19) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action agree
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(20,19) }}
provider {{ root }} 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 (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))))))))))))))))))) }}
winner {{ babyavatar }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action strengthening 0.399999999
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(5,3) }}
provider {{ root }} 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 {{ babyavatar }}
pointsWon 1.0000036354540498E-9
claim hsr.HSRInstanceSet {{ HSR(20,10) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action strengthening 0.399999999
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(20,10) }}
provider {{ root }} 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 (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))))))))))))))))))) }}
winner {{ babyavatar }}
pointsWon 1.0000036354540498E-9
claim hsr.HSRInstanceSet {{ HSR(10,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action agree
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(10,3) }}
provider {{ root }} 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 (8 y h 7 n (9 y h 8 n h 9))))))))) }}
winner {{ babyavatar }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(13,4) }} scg.protocol.ForAllExistsMin {{ }} 0.9230769230769231 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action refuting
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(13,4) }}
provider {{ root }} 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 (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)))))))))))) }}
winner {{ root }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(19,16) }} scg.protocol.ForAllExistsMin {{ }} 0.9473684210526315 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action refuting
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(19,16) }}
provider {{ root }} 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 (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)))))))))))))))))) }}
winner {{ root }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(13,11) }} scg.protocol.ForAllExistsMin {{ }} 0.8461538461538461 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action strengthening 0.8461538451538462
responses provider {{ root }} pr provide hsr.HSRInstance {{ HSR(13,11) }}
provider {{ babyavatar }} 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 (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)))))))))))) }}
winner {{ root }}
pointsWon 1.0000036354540498E-9
claim hsr.HSRInstanceSet {{ HSR(8,7) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action strengthening 0.874999999
responses provider {{ root }} pr provide hsr.HSRInstance {{ HSR(8,7) }}
provider {{ babyavatar }} 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 {{ root }}
pointsWon 1.0000036354540498E-9
claim hsr.HSRInstanceSet {{ HSR(19,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3684210526315789 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action strengthening 0.3684210516315789
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(19,8) }}
provider {{ root }} 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 (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)))))))))))))))))) }}
winner {{ babyavatar }}
pointsWon 1.0000036354540498E-9
claim hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.07142857142857142 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action refuting
responses provider {{ root }} pr provide hsr.HSRInstance {{ HSR(14,4) }}
provider {{ babyavatar }} 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 (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))))))))))))) }}
winner {{ root }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(12,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5833333333333334 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action refuting
responses provider {{ root }} pr provide hsr.HSRInstance {{ HSR(12,2) }}
provider {{ babyavatar }} 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 (8 y h 7 n (9 y h 8 n (10 y h 9 n (11 y h 10 n h 11))))))))))) }}
winner {{ root }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action strengthening 0.15384615284615386
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(13,7) }}
provider {{ root }} 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 (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)))))))))))) }}
winner {{ babyavatar }}
pointsWon 1.0000036354540498E-9
claim hsr.HSRInstanceSet {{ HSR(11,8) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action strengthening 0.3636363626363636
responses provider {{ root }} pr provide hsr.HSRInstance {{ HSR(11,8) }}
provider {{ babyavatar }} 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 (8 y h 7 n (9 y h 8 n (10 y h 9 n h 10)))))))))) }}
winner {{ root }}
pointsWon 1.0000036354540498E-9
claim hsr.HSRInstanceSet {{ HSR(17,16) }} scg.protocol.ForAllExistsMin {{ }} 0.11764705882352941 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action agree
responses provider {{ root }} pr provide hsr.HSRInstance {{ HSR(17,16) }}
provider {{ babyavatar }} 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 (8 y h 7 n (9 y h 8 n (10 y h 9 n (11 y h 10 n (12 y h 11 n (13 y h 12 n (14 y h 13 n (15 y h 14 n (16 y h 15 n h 16)))))))))))))))) }}
winner {{ root }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(19,13) }} scg.protocol.ForAllExistsMin {{ }} 0.5263157894736842 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action agree
responses provider {{ root }} pr provide hsr.HSRInstance {{ HSR(19,13) }}
provider {{ babyavatar }} 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 (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)))))))))))))))))) }}
winner {{ root }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(15,4) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action agree
responses provider {{ root }} pr provide hsr.HSRInstance {{ HSR(15,4) }}
provider {{ babyavatar }} 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 (8 y h 7 n (9 y h 8 n (10 y h 9 n (11 y h 10 n (12 y h 11 n (13 y h 12 n (14 y h 13 n h 14)))))))))))))) }}
winner {{ root }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(21,11) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action agree
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(21,11) }}
provider {{ root }} 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 (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 h 20)))))))))))))))))))) }}
winner {{ babyavatar }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(17,15) }} scg.protocol.ForAllExistsMin {{ }} 0.5882352941176471 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action agree
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(17,15) }}
provider {{ root }} 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 (8 y h 7 n (9 y h 8 n (10 y h 9 n (11 y h 10 n (12 y h 11 n (13 y h 12 n (14 y h 13 n (15 y h 14 n (16 y h 15 n h 16)))))))))))))))) }}
winner {{ babyavatar }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.19047619047619047 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action refuting
responses provider {{ root }} pr provide hsr.HSRInstance {{ HSR(21,8) }}
provider {{ babyavatar }} 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 (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 h 20)))))))))))))))))))) }}
winner {{ root }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(11,9) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action agree
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(11,9) }}
provider {{ root }} 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 (8 y h 7 n (9 y h 8 n (10 y h 9 n h 10)))))))))) }}
winner {{ babyavatar }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(17,15) }} scg.protocol.ForAllExistsMin {{ }} 0.47058823529411764 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action agree
responses provider {{ root }} pr provide hsr.HSRInstance {{ HSR(17,15) }}
provider {{ babyavatar }} 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 (8 y h 7 n (9 y h 8 n (10 y h 9 n (11 y h 10 n (12 y h 11 n (13 y h 12 n (14 y h 13 n (15 y h 14 n (16 y h 15 n h 16)))))))))))))))) }}
winner {{ root }}
pointsWon 1.0
claim hsr.HSRInstanceSet {{ HSR(3,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action refuting
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(3,2) }}
winner {{ }}
pointsWon 0.0
claim hsr.HSRInstanceSet {{ HSR(9,8) }} scg.protocol.ForAllExistsMin {{ }} 0.2222222222222222 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action refuting
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(9,8) }}
winner {{ }}
pointsWon 0.0
claim hsr.HSRInstanceSet {{ HSR(19,15) }} scg.protocol.ForAllExistsMin {{ }} 0.631578947368421 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action strengthening 0.631578946368421
responses provider {{ root }} pr provide hsr.HSRInstance {{ HSR(19,15) }}
provider {{ babyavatar }} 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 (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)))))))))))))))))) }}
winner {{ root }}
pointsWon 1.0000036354540498E-9
claim hsr.HSRInstanceSet {{ HSR(13,10) }} scg.protocol.ForAllExistsMin {{ }} 0.23076923076923078 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action agree
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(13,10) }}
winner {{ }}
pointsWon 0.0
claim hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action strengthening 0.749999999
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(4,2) }}
winner {{ }}
pointsWon 0.0
claim hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.1 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action agree
responses provider {{ babyavatar }} pr provide hsr.HSRInstance {{ HSR(10,7) }}
winner {{ }}
pointsWon 0.0
claim hsr.HSRInstanceSet {{ HSR(21,20) }} scg.protocol.ForAllExistsMin {{ }} 0.7619047619047619 1.0
proposer {{ babyavatar }}
opposer {{ root }}
action refuting
responses winner {{ }}
pointsWon 0.0
claim hsr.HSRInstanceSet {{ HSR(17,12) }} scg.protocol.ForAllExistsMin {{ }} 0.4117647058823529 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action refuting
responses winner {{ }}
pointsWon 0.0
claim hsr.HSRInstanceSet {{ HSR(21,9) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action strengthening 0.5714285704285714
responses winner {{ }}
pointsWon 0.0
claim hsr.HSRInstanceSet {{ HSR(19,12) }} scg.protocol.ForAllExistsMin {{ }} 0.8947368421052632 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action agree
responses winner {{ }}
pointsWon 0.0
claim hsr.HSRInstanceSet {{ HSR(7,5) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0
proposer {{ root }}
opposer {{ babyavatar }}
action agree
responses winner {{ }}
pointsWon 0.0
{{ root }} 105.00000000200001
{{ babyavatar }} 94.99999999799999