request propose oppose protocolRequest reply propose hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(17,3) }} scg.protocol.ForAllExistsMin {{ }} 0.7058823529411765 1.0 oppose protocolResponse teamName {{ root }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(17,3) }} scg.protocol.ForAllExistsMin {{ }} 0.7058823529411765 1.0 oppose hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(17,3) }} scg.protocol.ForAllExistsMin {{ }} 0.7058823529411765 1.0 protocolRequest reply propose hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(6,5) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(21,12) }} scg.protocol.ForAllExistsMin {{ }} 0.47619047619047616 1.0 hsr.HSRInstanceSet {{ HSR(12,9) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 oppose refuting refuting agree refuting protocolResponse teamName {{ babyavatar }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(17,3) }} scg.protocol.ForAllExistsMin {{ }} 0.7058823529411765 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(6,5) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(21,12) }} scg.protocol.ForAllExistsMin {{ }} 0.47619047619047616 1.0 hsr.HSRInstanceSet {{ HSR(12,9) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 oppose hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(6,5) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(21,12) }} scg.protocol.ForAllExistsMin {{ }} 0.47619047619047616 1.0 hsr.HSRInstanceSet {{ HSR(12,9) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 reply propose hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444444444444 1.0 hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(14,9) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 oppose refuting refuting refuting strengthening 0.499999999 protocolResponse provide hsr.HSRInstance {{ HSR(4,1) }} teamName {{ root }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(17,3) }} scg.protocol.ForAllExistsMin {{ }} 0.7058823529411765 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(6,5) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(21,12) }} scg.protocol.ForAllExistsMin {{ }} 0.47619047619047616 1.0 hsr.HSRInstanceSet {{ HSR(12,9) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444444444444 1.0 hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(14,9) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 oppose hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444444444444 1.0 hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(14,9) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 provide hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 provide hsr.HSRInstanceSet {{ HSR(17,3) }} scg.protocol.ForAllExistsMin {{ }} 0.7058823529411765 1.0 provide hsr.HSRInstanceSet {{ HSR(12,9) }} scg.protocol.ForAllExistsMin {{ }} 0.499999999 1.0 solve hsr.HSRInstance {{ HSR(4,1) }} hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 reply propose hsr.HSRInstanceSet {{ HSR(20,19) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(20,10) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(10,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 oppose strengthening 0.5714285704285714 strengthening 0.4444444434444444 strengthening 0.4285714275714285 refuting protocolResponse provide hsr.HSRInstance {{ HSR(3,1) }} provide hsr.HSRInstance {{ HSR(5,4) }} provide hsr.HSRInstance {{ HSR(17,3) }} provide hsr.HSRInstance {{ HSR(12,9) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n h 3))) }} teamName {{ babyavatar }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(17,3) }} scg.protocol.ForAllExistsMin {{ }} 0.7058823529411765 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(6,5) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(21,12) }} scg.protocol.ForAllExistsMin {{ }} 0.47619047619047616 1.0 hsr.HSRInstanceSet {{ HSR(12,9) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444444444444 1.0 hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(14,9) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(20,19) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(20,10) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(10,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 oppose hsr.HSRInstanceSet {{ HSR(20,19) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(20,10) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(10,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 provide hsr.HSRInstanceSet {{ HSR(6,5) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 provide hsr.HSRInstanceSet {{ HSR(21,12) }} scg.protocol.ForAllExistsMin {{ }} 0.47619047619047616 1.0 provide hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285704285714 1.0 provide hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444434444444 1.0 provide hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.4285714275714285 1.0 solve hsr.HSRInstance {{ HSR(3,1) }} hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 solve hsr.HSRInstance {{ HSR(5,4) }} hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 solve hsr.HSRInstance {{ HSR(17,3) }} hsr.HSRInstanceSet {{ HSR(17,3) }} scg.protocol.ForAllExistsMin {{ }} 0.7058823529411765 1.0 solve hsr.HSRInstance {{ HSR(12,9) }} hsr.HSRInstanceSet {{ HSR(12,9) }} scg.protocol.ForAllExistsMin {{ }} 0.499999999 1.0 reply propose hsr.HSRInstanceSet {{ HSR(13,4) }} scg.protocol.ForAllExistsMin {{ }} 0.9230769230769231 1.0 hsr.HSRInstanceSet {{ HSR(19,16) }} scg.protocol.ForAllExistsMin {{ }} 0.9473684210526315 1.0 hsr.HSRInstanceSet {{ HSR(13,11) }} scg.protocol.ForAllExistsMin {{ }} 0.8461538461538461 1.0 hsr.HSRInstanceSet {{ HSR(8,7) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 oppose agree strengthening 0.399999999 strengthening 0.399999999 agree protocolResponse provide hsr.HSRInstance {{ HSR(2,1) }} provide hsr.HSRInstance {{ HSR(6,5) }} provide hsr.HSRInstance {{ HSR(21,12) }} provide hsr.HSRInstance {{ HSR(7,3) }} provide hsr.HSRInstance {{ HSR(18,15) }} provide hsr.HSRInstance {{ HSR(7,6) }} 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 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 h 16)))))))))))))))) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n (7 y h 6 n (8 y h 7 n (9 y h 8 n (10 y h 9 n (11 y h 10 n h 11))))))))))) }} teamName {{ root }} reputation 100.0 request propose hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(17,3) }} scg.protocol.ForAllExistsMin {{ }} 0.7058823529411765 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(6,5) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(21,12) }} scg.protocol.ForAllExistsMin {{ }} 0.47619047619047616 1.0 hsr.HSRInstanceSet {{ HSR(12,9) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444444444444 1.0 hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(14,9) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(20,19) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(20,10) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(10,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(13,4) }} scg.protocol.ForAllExistsMin {{ }} 0.9230769230769231 1.0 hsr.HSRInstanceSet {{ HSR(19,16) }} scg.protocol.ForAllExistsMin {{ }} 0.9473684210526315 1.0 hsr.HSRInstanceSet {{ HSR(13,11) }} scg.protocol.ForAllExistsMin {{ }} 0.8461538461538461 1.0 hsr.HSRInstanceSet {{ HSR(8,7) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 oppose hsr.HSRInstanceSet {{ HSR(13,4) }} scg.protocol.ForAllExistsMin {{ }} 0.9230769230769231 1.0 hsr.HSRInstanceSet {{ HSR(19,16) }} scg.protocol.ForAllExistsMin {{ }} 0.9473684210526315 1.0 hsr.HSRInstanceSet {{ HSR(13,11) }} scg.protocol.ForAllExistsMin {{ }} 0.8461538461538461 1.0 hsr.HSRInstanceSet {{ HSR(8,7) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(14,9) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 provide hsr.HSRInstanceSet {{ HSR(20,19) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 provide hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.399999999 1.0 provide hsr.HSRInstanceSet {{ HSR(20,10) }} scg.protocol.ForAllExistsMin {{ }} 0.399999999 1.0 provide hsr.HSRInstanceSet {{ HSR(10,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 solve hsr.HSRInstance {{ HSR(2,1) }} hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 solve hsr.HSRInstance {{ HSR(6,5) }} hsr.HSRInstanceSet {{ HSR(6,5) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 solve hsr.HSRInstance {{ HSR(21,12) }} hsr.HSRInstanceSet {{ HSR(21,12) }} scg.protocol.ForAllExistsMin {{ }} 0.47619047619047616 1.0 solve hsr.HSRInstance {{ HSR(7,3) }} hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285704285714 1.0 solve hsr.HSRInstance {{ HSR(18,15) }} hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444434444444 1.0 solve hsr.HSRInstance {{ HSR(7,6) }} hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.4285714275714285 1.0 reply propose hsr.HSRInstanceSet {{ HSR(19,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3684210526315789 1.0 hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.07142857142857142 1.0 hsr.HSRInstanceSet {{ HSR(12,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5833333333333334 1.0 hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 oppose refuting refuting strengthening 0.8461538451538462 strengthening 0.874999999 protocolResponse provide hsr.HSRInstance {{ HSR(14,9) }} provide hsr.HSRInstance {{ HSR(20,19) }} provide hsr.HSRInstance {{ HSR(5,3) }} provide hsr.HSRInstance {{ HSR(20,10) }} provide hsr.HSRInstance {{ HSR(10,3) }} solve hsr.HSRSolution {{ (1 y h 0 n h 1) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n 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 h 20)))))))))))))))))))) }} 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 h 17))))))))))))))))) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n h 6)))))) }} teamName {{ babyavatar }} reputation 99.000000001 request propose hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(17,3) }} scg.protocol.ForAllExistsMin {{ }} 0.7058823529411765 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(6,5) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(21,12) }} scg.protocol.ForAllExistsMin {{ }} 0.47619047619047616 1.0 hsr.HSRInstanceSet {{ HSR(12,9) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444444444444 1.0 hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(14,9) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(20,19) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(20,10) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(10,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(13,4) }} scg.protocol.ForAllExistsMin {{ }} 0.9230769230769231 1.0 hsr.HSRInstanceSet {{ HSR(19,16) }} scg.protocol.ForAllExistsMin {{ }} 0.9473684210526315 1.0 hsr.HSRInstanceSet {{ HSR(13,11) }} scg.protocol.ForAllExistsMin {{ }} 0.8461538461538461 1.0 hsr.HSRInstanceSet {{ HSR(8,7) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 hsr.HSRInstanceSet {{ HSR(19,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3684210526315789 1.0 hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.07142857142857142 1.0 hsr.HSRInstanceSet {{ HSR(12,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5833333333333334 1.0 hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 oppose hsr.HSRInstanceSet {{ HSR(19,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3684210526315789 1.0 hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.07142857142857142 1.0 hsr.HSRInstanceSet {{ HSR(12,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5833333333333334 1.0 hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(13,11) }} scg.protocol.ForAllExistsMin {{ }} 0.8461538451538462 1.0 provide hsr.HSRInstanceSet {{ HSR(8,7) }} scg.protocol.ForAllExistsMin {{ }} 0.874999999 1.0 solve hsr.HSRInstance {{ HSR(14,9) }} hsr.HSRInstanceSet {{ HSR(14,9) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 solve hsr.HSRInstance {{ HSR(20,19) }} hsr.HSRInstanceSet {{ HSR(20,19) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 solve hsr.HSRInstance {{ HSR(5,3) }} hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.399999999 1.0 solve hsr.HSRInstance {{ HSR(20,10) }} hsr.HSRInstanceSet {{ HSR(20,10) }} scg.protocol.ForAllExistsMin {{ }} 0.399999999 1.0 solve hsr.HSRInstance {{ HSR(10,3) }} hsr.HSRInstanceSet {{ HSR(10,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 reply propose hsr.HSRInstanceSet {{ HSR(11,8) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(17,16) }} scg.protocol.ForAllExistsMin {{ }} 0.11764705882352941 1.0 hsr.HSRInstanceSet {{ HSR(19,13) }} scg.protocol.ForAllExistsMin {{ }} 0.5263157894736842 1.0 hsr.HSRInstanceSet {{ HSR(15,4) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 oppose strengthening 0.3684210516315789 refuting refuting strengthening 0.15384615284615386 protocolResponse provide hsr.HSRInstance {{ HSR(13,11) }} provide hsr.HSRInstance {{ HSR(8,7) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n (7 y h 6 n (8 y h 7 n (9 y h 8 n (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 (7 y h 6 n (8 y h 7 n (9 y h 8 n (10 y h 9 n (11 y h 10 n (12 y h 11 n (13 y h 12 n (14 y h 13 n (15 y h 14 n (16 y h 15 n (17 y h 16 n (18 y h 17 n (19 y h 18 n h 19))))))))))))))))))) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n 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 h 19))))))))))))))))))) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n (7 y h 6 n (8 y h 7 n (9 y h 8 n h 9))))))))) }} teamName {{ root }} reputation 102.00000000200001 request propose hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(17,3) }} scg.protocol.ForAllExistsMin {{ }} 0.7058823529411765 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(6,5) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(21,12) }} scg.protocol.ForAllExistsMin {{ }} 0.47619047619047616 1.0 hsr.HSRInstanceSet {{ HSR(12,9) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444444444444 1.0 hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(14,9) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(20,19) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(20,10) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(10,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(13,4) }} scg.protocol.ForAllExistsMin {{ }} 0.9230769230769231 1.0 hsr.HSRInstanceSet {{ HSR(19,16) }} scg.protocol.ForAllExistsMin {{ }} 0.9473684210526315 1.0 hsr.HSRInstanceSet {{ HSR(13,11) }} scg.protocol.ForAllExistsMin {{ }} 0.8461538461538461 1.0 hsr.HSRInstanceSet {{ HSR(8,7) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 hsr.HSRInstanceSet {{ HSR(19,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3684210526315789 1.0 hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.07142857142857142 1.0 hsr.HSRInstanceSet {{ HSR(12,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5833333333333334 1.0 hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 hsr.HSRInstanceSet {{ HSR(11,8) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(17,16) }} scg.protocol.ForAllExistsMin {{ }} 0.11764705882352941 1.0 hsr.HSRInstanceSet {{ HSR(19,13) }} scg.protocol.ForAllExistsMin {{ }} 0.5263157894736842 1.0 hsr.HSRInstanceSet {{ HSR(15,4) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 oppose hsr.HSRInstanceSet {{ HSR(11,8) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(17,16) }} scg.protocol.ForAllExistsMin {{ }} 0.11764705882352941 1.0 hsr.HSRInstanceSet {{ HSR(19,13) }} scg.protocol.ForAllExistsMin {{ }} 0.5263157894736842 1.0 hsr.HSRInstanceSet {{ HSR(15,4) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(13,4) }} scg.protocol.ForAllExistsMin {{ }} 0.9230769230769231 1.0 provide hsr.HSRInstanceSet {{ HSR(19,16) }} scg.protocol.ForAllExistsMin {{ }} 0.9473684210526315 1.0 provide hsr.HSRInstanceSet {{ HSR(19,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3684210516315789 1.0 provide hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615284615386 1.0 solve hsr.HSRInstance {{ HSR(13,11) }} hsr.HSRInstanceSet {{ HSR(13,11) }} scg.protocol.ForAllExistsMin {{ }} 0.8461538451538462 1.0 solve hsr.HSRInstance {{ HSR(8,7) }} hsr.HSRInstanceSet {{ HSR(8,7) }} scg.protocol.ForAllExistsMin {{ }} 0.874999999 1.0 reply propose hsr.HSRInstanceSet {{ HSR(21,11) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(17,15) }} scg.protocol.ForAllExistsMin {{ }} 0.5882352941176471 1.0 hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.19047619047619047 1.0 hsr.HSRInstanceSet {{ HSR(11,9) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 oppose strengthening 0.3636363626363636 agree agree agree protocolResponse provide hsr.HSRInstance {{ HSR(13,4) }} provide hsr.HSRInstance {{ HSR(19,16) }} provide hsr.HSRInstance {{ HSR(19,8) }} provide hsr.HSRInstance {{ HSR(13,7) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n (7 y h 6 n (8 y h 7 n (9 y h 8 n (10 y h 9 n (11 y h 10 n (12 y h 11 n h 12)))))))))))) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n (7 y h 6 n h 7))))))) }} teamName {{ babyavatar }} reputation 101.0 request propose hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(17,3) }} scg.protocol.ForAllExistsMin {{ }} 0.7058823529411765 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(6,5) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(21,12) }} scg.protocol.ForAllExistsMin {{ }} 0.47619047619047616 1.0 hsr.HSRInstanceSet {{ HSR(12,9) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444444444444 1.0 hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(14,9) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(20,19) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(20,10) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(10,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(13,4) }} scg.protocol.ForAllExistsMin {{ }} 0.9230769230769231 1.0 hsr.HSRInstanceSet {{ HSR(19,16) }} scg.protocol.ForAllExistsMin {{ }} 0.9473684210526315 1.0 hsr.HSRInstanceSet {{ HSR(13,11) }} scg.protocol.ForAllExistsMin {{ }} 0.8461538461538461 1.0 hsr.HSRInstanceSet {{ HSR(8,7) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 hsr.HSRInstanceSet {{ HSR(19,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3684210526315789 1.0 hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.07142857142857142 1.0 hsr.HSRInstanceSet {{ HSR(12,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5833333333333334 1.0 hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 hsr.HSRInstanceSet {{ HSR(11,8) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(17,16) }} scg.protocol.ForAllExistsMin {{ }} 0.11764705882352941 1.0 hsr.HSRInstanceSet {{ HSR(19,13) }} scg.protocol.ForAllExistsMin {{ }} 0.5263157894736842 1.0 hsr.HSRInstanceSet {{ HSR(15,4) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(21,11) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(17,15) }} scg.protocol.ForAllExistsMin {{ }} 0.5882352941176471 1.0 hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.19047619047619047 1.0 hsr.HSRInstanceSet {{ HSR(11,9) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 oppose hsr.HSRInstanceSet {{ HSR(21,11) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(17,15) }} scg.protocol.ForAllExistsMin {{ }} 0.5882352941176471 1.0 hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.19047619047619047 1.0 hsr.HSRInstanceSet {{ HSR(11,9) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.07142857142857142 1.0 provide hsr.HSRInstanceSet {{ HSR(12,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5833333333333334 1.0 provide hsr.HSRInstanceSet {{ HSR(11,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3636363626363636 1.0 provide hsr.HSRInstanceSet {{ HSR(17,16) }} scg.protocol.ForAllExistsMin {{ }} 0.11764705882352941 1.0 provide hsr.HSRInstanceSet {{ HSR(19,13) }} scg.protocol.ForAllExistsMin {{ }} 0.5263157894736842 1.0 provide hsr.HSRInstanceSet {{ HSR(15,4) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 solve hsr.HSRInstance {{ HSR(13,4) }} hsr.HSRInstanceSet {{ HSR(13,4) }} scg.protocol.ForAllExistsMin {{ }} 0.9230769230769231 1.0 solve hsr.HSRInstance {{ HSR(19,16) }} hsr.HSRInstanceSet {{ HSR(19,16) }} scg.protocol.ForAllExistsMin {{ }} 0.9473684210526315 1.0 solve hsr.HSRInstance {{ HSR(19,8) }} hsr.HSRInstanceSet {{ HSR(19,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3684210516315789 1.0 solve hsr.HSRInstance {{ HSR(13,7) }} hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615284615386 1.0 reply propose hsr.HSRInstanceSet {{ HSR(17,15) }} scg.protocol.ForAllExistsMin {{ }} 0.47058823529411764 1.0 hsr.HSRInstanceSet {{ HSR(3,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(9,8) }} scg.protocol.ForAllExistsMin {{ }} 0.2222222222222222 1.0 hsr.HSRInstanceSet {{ HSR(19,15) }} scg.protocol.ForAllExistsMin {{ }} 0.631578947368421 1.0 oppose agree agree refuting agree protocolResponse provide hsr.HSRInstance {{ HSR(14,4) }} provide hsr.HSRInstance {{ HSR(12,2) }} provide hsr.HSRInstance {{ HSR(11,8) }} provide hsr.HSRInstance {{ HSR(17,16) }} provide hsr.HSRInstance {{ HSR(19,13) }} provide hsr.HSRInstance {{ HSR(15,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 h 12)))))))))))) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n (7 y h 6 n (8 y h 7 n (9 y h 8 n (10 y h 9 n (11 y h 10 n (12 y h 11 n (13 y h 12 n (14 y h 13 n (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 (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 (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)))))))))))) }} teamName {{ root }} reputation 99.00000000200001 request propose hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(17,3) }} scg.protocol.ForAllExistsMin {{ }} 0.7058823529411765 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(6,5) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(21,12) }} scg.protocol.ForAllExistsMin {{ }} 0.47619047619047616 1.0 hsr.HSRInstanceSet {{ HSR(12,9) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444444444444 1.0 hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(14,9) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(20,19) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(20,10) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(10,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(13,4) }} scg.protocol.ForAllExistsMin {{ }} 0.9230769230769231 1.0 hsr.HSRInstanceSet {{ HSR(19,16) }} scg.protocol.ForAllExistsMin {{ }} 0.9473684210526315 1.0 hsr.HSRInstanceSet {{ HSR(13,11) }} scg.protocol.ForAllExistsMin {{ }} 0.8461538461538461 1.0 hsr.HSRInstanceSet {{ HSR(8,7) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 hsr.HSRInstanceSet {{ HSR(19,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3684210526315789 1.0 hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.07142857142857142 1.0 hsr.HSRInstanceSet {{ HSR(12,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5833333333333334 1.0 hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 hsr.HSRInstanceSet {{ HSR(11,8) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(17,16) }} scg.protocol.ForAllExistsMin {{ }} 0.11764705882352941 1.0 hsr.HSRInstanceSet {{ HSR(19,13) }} scg.protocol.ForAllExistsMin {{ }} 0.5263157894736842 1.0 hsr.HSRInstanceSet {{ HSR(15,4) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(21,11) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(17,15) }} scg.protocol.ForAllExistsMin {{ }} 0.5882352941176471 1.0 hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.19047619047619047 1.0 hsr.HSRInstanceSet {{ HSR(11,9) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(17,15) }} scg.protocol.ForAllExistsMin {{ }} 0.47058823529411764 1.0 hsr.HSRInstanceSet {{ HSR(3,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(9,8) }} scg.protocol.ForAllExistsMin {{ }} 0.2222222222222222 1.0 hsr.HSRInstanceSet {{ HSR(19,15) }} scg.protocol.ForAllExistsMin {{ }} 0.631578947368421 1.0 oppose hsr.HSRInstanceSet {{ HSR(17,15) }} scg.protocol.ForAllExistsMin {{ }} 0.47058823529411764 1.0 hsr.HSRInstanceSet {{ HSR(3,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(9,8) }} scg.protocol.ForAllExistsMin {{ }} 0.2222222222222222 1.0 hsr.HSRInstanceSet {{ HSR(19,15) }} scg.protocol.ForAllExistsMin {{ }} 0.631578947368421 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(21,11) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 provide hsr.HSRInstanceSet {{ HSR(17,15) }} scg.protocol.ForAllExistsMin {{ }} 0.5882352941176471 1.0 provide hsr.HSRInstanceSet {{ HSR(11,9) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 solve hsr.HSRInstance {{ HSR(14,4) }} hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.07142857142857142 1.0 solve hsr.HSRInstance {{ HSR(12,2) }} hsr.HSRInstanceSet {{ HSR(12,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5833333333333334 1.0 solve hsr.HSRInstance {{ HSR(11,8) }} hsr.HSRInstanceSet {{ HSR(11,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3636363626363636 1.0 solve hsr.HSRInstance {{ HSR(17,16) }} hsr.HSRInstanceSet {{ HSR(17,16) }} scg.protocol.ForAllExistsMin {{ }} 0.11764705882352941 1.0 solve hsr.HSRInstance {{ HSR(19,13) }} hsr.HSRInstanceSet {{ HSR(19,13) }} scg.protocol.ForAllExistsMin {{ }} 0.5263157894736842 1.0 solve hsr.HSRInstance {{ HSR(15,4) }} hsr.HSRInstanceSet {{ HSR(15,4) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 reply propose hsr.HSRInstanceSet {{ HSR(13,10) }} scg.protocol.ForAllExistsMin {{ }} 0.23076923076923078 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.1 1.0 hsr.HSRInstanceSet {{ HSR(21,20) }} scg.protocol.ForAllExistsMin {{ }} 0.7619047619047619 1.0 oppose agree refuting refuting strengthening 0.631578946368421 protocolResponse provide hsr.HSRInstance {{ HSR(21,11) }} provide hsr.HSRInstance {{ HSR(17,15) }} provide hsr.HSRInstance {{ HSR(11,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 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 (7 y h 6 n (8 y h 7 n (9 y h 8 n (10 y h 9 n (11 y h 10 n h 11))))))))))) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n (7 y h 6 n (8 y h 7 n (9 y h 8 n (10 y h 9 n h 10)))))))))) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n (7 y h 6 n (8 y h 7 n (9 y h 8 n (10 y h 9 n (11 y h 10 n (12 y h 11 n (13 y h 12 n (14 y h 13 n (15 y h 14 n (16 y h 15 n h 16)))))))))))))))) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n (7 y h 6 n (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 (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n (7 y h 6 n (8 y h 7 n (9 y h 8 n (10 y h 9 n (11 y h 10 n (12 y h 11 n (13 y h 12 n (14 y h 13 n h 14)))))))))))))) }} teamName {{ babyavatar }} reputation 99.0 request propose hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(17,3) }} scg.protocol.ForAllExistsMin {{ }} 0.7058823529411765 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(6,5) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(21,12) }} scg.protocol.ForAllExistsMin {{ }} 0.47619047619047616 1.0 hsr.HSRInstanceSet {{ HSR(12,9) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444444444444 1.0 hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(14,9) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(20,19) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(20,10) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(10,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(13,4) }} scg.protocol.ForAllExistsMin {{ }} 0.9230769230769231 1.0 hsr.HSRInstanceSet {{ HSR(19,16) }} scg.protocol.ForAllExistsMin {{ }} 0.9473684210526315 1.0 hsr.HSRInstanceSet {{ HSR(13,11) }} scg.protocol.ForAllExistsMin {{ }} 0.8461538461538461 1.0 hsr.HSRInstanceSet {{ HSR(8,7) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 hsr.HSRInstanceSet {{ HSR(19,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3684210526315789 1.0 hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.07142857142857142 1.0 hsr.HSRInstanceSet {{ HSR(12,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5833333333333334 1.0 hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 hsr.HSRInstanceSet {{ HSR(11,8) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(17,16) }} scg.protocol.ForAllExistsMin {{ }} 0.11764705882352941 1.0 hsr.HSRInstanceSet {{ HSR(19,13) }} scg.protocol.ForAllExistsMin {{ }} 0.5263157894736842 1.0 hsr.HSRInstanceSet {{ HSR(15,4) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(21,11) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(17,15) }} scg.protocol.ForAllExistsMin {{ }} 0.5882352941176471 1.0 hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.19047619047619047 1.0 hsr.HSRInstanceSet {{ HSR(11,9) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(17,15) }} scg.protocol.ForAllExistsMin {{ }} 0.47058823529411764 1.0 hsr.HSRInstanceSet {{ HSR(3,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(9,8) }} scg.protocol.ForAllExistsMin {{ }} 0.2222222222222222 1.0 hsr.HSRInstanceSet {{ HSR(19,15) }} scg.protocol.ForAllExistsMin {{ }} 0.631578947368421 1.0 hsr.HSRInstanceSet {{ HSR(13,10) }} scg.protocol.ForAllExistsMin {{ }} 0.23076923076923078 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.1 1.0 hsr.HSRInstanceSet {{ HSR(21,20) }} scg.protocol.ForAllExistsMin {{ }} 0.7619047619047619 1.0 oppose hsr.HSRInstanceSet {{ HSR(13,10) }} scg.protocol.ForAllExistsMin {{ }} 0.23076923076923078 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.1 1.0 hsr.HSRInstanceSet {{ HSR(21,20) }} scg.protocol.ForAllExistsMin {{ }} 0.7619047619047619 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.19047619047619047 1.0 provide hsr.HSRInstanceSet {{ HSR(17,15) }} scg.protocol.ForAllExistsMin {{ }} 0.47058823529411764 1.0 provide hsr.HSRInstanceSet {{ HSR(19,15) }} scg.protocol.ForAllExistsMin {{ }} 0.631578946368421 1.0 solve hsr.HSRInstance {{ HSR(21,11) }} hsr.HSRInstanceSet {{ HSR(21,11) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 solve hsr.HSRInstance {{ HSR(17,15) }} hsr.HSRInstanceSet {{ HSR(17,15) }} scg.protocol.ForAllExistsMin {{ }} 0.5882352941176471 1.0 solve hsr.HSRInstance {{ HSR(11,9) }} hsr.HSRInstanceSet {{ HSR(11,9) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 reply propose hsr.HSRInstanceSet {{ HSR(17,12) }} scg.protocol.ForAllExistsMin {{ }} 0.4117647058823529 1.0 hsr.HSRInstanceSet {{ HSR(21,9) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 hsr.HSRInstanceSet {{ HSR(19,12) }} scg.protocol.ForAllExistsMin {{ }} 0.8947368421052632 1.0 hsr.HSRInstanceSet {{ HSR(7,5) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 oppose agree strengthening 0.749999999 agree refuting protocolResponse provide hsr.HSRInstance {{ HSR(21,8) }} provide hsr.HSRInstance {{ HSR(17,15) }} provide hsr.HSRInstance {{ HSR(19,15) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n (7 y h 6 n (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)))))))))))))))))))) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n (7 y h 6 n (8 y h 7 n (9 y h 8 n (10 y h 9 n (11 y h 10 n (12 y h 11 n (13 y h 12 n (14 y h 13 n (15 y h 14 n (16 y h 15 n h 16)))))))))))))))) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n (7 y h 6 n (8 y h 7 n (9 y h 8 n (10 y h 9 n h 10)))))))))) }} teamName {{ root }} reputation 106.000000001 request propose hsr.HSRInstanceSet {{ HSR(3,1) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(5,4) }} scg.protocol.ForAllExistsMin {{ }} 0.8 1.0 hsr.HSRInstanceSet {{ HSR(4,1) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(17,3) }} scg.protocol.ForAllExistsMin {{ }} 0.7058823529411765 1.0 hsr.HSRInstanceSet {{ HSR(2,1) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(6,5) }} scg.protocol.ForAllExistsMin {{ }} 0.16666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(21,12) }} scg.protocol.ForAllExistsMin {{ }} 0.47619047619047616 1.0 hsr.HSRInstanceSet {{ HSR(12,9) }} scg.protocol.ForAllExistsMin {{ }} 0.5 1.0 hsr.HSRInstanceSet {{ HSR(7,3) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 hsr.HSRInstanceSet {{ HSR(18,15) }} scg.protocol.ForAllExistsMin {{ }} 0.4444444444444444 1.0 hsr.HSRInstanceSet {{ HSR(7,6) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(14,9) }} scg.protocol.ForAllExistsMin {{ }} 0.8571428571428571 1.0 hsr.HSRInstanceSet {{ HSR(20,19) }} scg.protocol.ForAllExistsMin {{ }} 0.2 1.0 hsr.HSRInstanceSet {{ HSR(5,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(20,10) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(10,3) }} scg.protocol.ForAllExistsMin {{ }} 0.4 1.0 hsr.HSRInstanceSet {{ HSR(13,4) }} scg.protocol.ForAllExistsMin {{ }} 0.9230769230769231 1.0 hsr.HSRInstanceSet {{ HSR(19,16) }} scg.protocol.ForAllExistsMin {{ }} 0.9473684210526315 1.0 hsr.HSRInstanceSet {{ HSR(13,11) }} scg.protocol.ForAllExistsMin {{ }} 0.8461538461538461 1.0 hsr.HSRInstanceSet {{ HSR(8,7) }} scg.protocol.ForAllExistsMin {{ }} 0.875 1.0 hsr.HSRInstanceSet {{ HSR(19,8) }} scg.protocol.ForAllExistsMin {{ }} 0.3684210526315789 1.0 hsr.HSRInstanceSet {{ HSR(14,4) }} scg.protocol.ForAllExistsMin {{ }} 0.07142857142857142 1.0 hsr.HSRInstanceSet {{ HSR(12,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5833333333333334 1.0 hsr.HSRInstanceSet {{ HSR(13,7) }} scg.protocol.ForAllExistsMin {{ }} 0.15384615384615385 1.0 hsr.HSRInstanceSet {{ HSR(11,8) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(17,16) }} scg.protocol.ForAllExistsMin {{ }} 0.11764705882352941 1.0 hsr.HSRInstanceSet {{ HSR(19,13) }} scg.protocol.ForAllExistsMin {{ }} 0.5263157894736842 1.0 hsr.HSRInstanceSet {{ HSR(15,4) }} scg.protocol.ForAllExistsMin {{ }} 0.13333333333333333 1.0 hsr.HSRInstanceSet {{ HSR(21,11) }} scg.protocol.ForAllExistsMin {{ }} 0.42857142857142855 1.0 hsr.HSRInstanceSet {{ HSR(17,15) }} scg.protocol.ForAllExistsMin {{ }} 0.5882352941176471 1.0 hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.19047619047619047 1.0 hsr.HSRInstanceSet {{ HSR(11,9) }} scg.protocol.ForAllExistsMin {{ }} 0.36363636363636365 1.0 hsr.HSRInstanceSet {{ HSR(17,15) }} scg.protocol.ForAllExistsMin {{ }} 0.47058823529411764 1.0 hsr.HSRInstanceSet {{ HSR(3,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 hsr.HSRInstanceSet {{ HSR(9,8) }} scg.protocol.ForAllExistsMin {{ }} 0.2222222222222222 1.0 hsr.HSRInstanceSet {{ HSR(19,15) }} scg.protocol.ForAllExistsMin {{ }} 0.631578947368421 1.0 hsr.HSRInstanceSet {{ HSR(13,10) }} scg.protocol.ForAllExistsMin {{ }} 0.23076923076923078 1.0 hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.75 1.0 hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.1 1.0 hsr.HSRInstanceSet {{ HSR(21,20) }} scg.protocol.ForAllExistsMin {{ }} 0.7619047619047619 1.0 hsr.HSRInstanceSet {{ HSR(17,12) }} scg.protocol.ForAllExistsMin {{ }} 0.4117647058823529 1.0 hsr.HSRInstanceSet {{ HSR(21,9) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 hsr.HSRInstanceSet {{ HSR(19,12) }} scg.protocol.ForAllExistsMin {{ }} 0.8947368421052632 1.0 hsr.HSRInstanceSet {{ HSR(7,5) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 oppose hsr.HSRInstanceSet {{ HSR(17,12) }} scg.protocol.ForAllExistsMin {{ }} 0.4117647058823529 1.0 hsr.HSRInstanceSet {{ HSR(21,9) }} scg.protocol.ForAllExistsMin {{ }} 0.5714285714285714 1.0 hsr.HSRInstanceSet {{ HSR(19,12) }} scg.protocol.ForAllExistsMin {{ }} 0.8947368421052632 1.0 hsr.HSRInstanceSet {{ HSR(7,5) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 protocolRequest provide hsr.HSRInstanceSet {{ HSR(3,2) }} scg.protocol.ForAllExistsMin {{ }} 0.6666666666666666 1.0 provide hsr.HSRInstanceSet {{ HSR(9,8) }} scg.protocol.ForAllExistsMin {{ }} 0.2222222222222222 1.0 provide hsr.HSRInstanceSet {{ HSR(13,10) }} scg.protocol.ForAllExistsMin {{ }} 0.23076923076923078 1.0 provide hsr.HSRInstanceSet {{ HSR(4,2) }} scg.protocol.ForAllExistsMin {{ }} 0.749999999 1.0 provide hsr.HSRInstanceSet {{ HSR(10,7) }} scg.protocol.ForAllExistsMin {{ }} 0.1 1.0 solve hsr.HSRInstance {{ HSR(21,8) }} hsr.HSRInstanceSet {{ HSR(21,8) }} scg.protocol.ForAllExistsMin {{ }} 0.19047619047619047 1.0 solve hsr.HSRInstance {{ HSR(17,15) }} hsr.HSRInstanceSet {{ HSR(17,15) }} scg.protocol.ForAllExistsMin {{ }} 0.47058823529411764 1.0 solve hsr.HSRInstance {{ HSR(19,15) }} hsr.HSRInstanceSet {{ HSR(19,15) }} scg.protocol.ForAllExistsMin {{ }} 0.631578946368421 1.0 reply propose hsr.HSRInstanceSet {{ HSR(21,1) }} scg.protocol.ForAllExistsMin {{ }} 0.09523809523809523 1.0 hsr.HSRInstanceSet {{ HSR(19,2) }} scg.protocol.ForAllExistsMin {{ }} 0.3684210526315789 1.0 hsr.HSRInstanceSet {{ HSR(19,2) }} scg.protocol.ForAllExistsMin {{ }} 0.5789473684210527 1.0 hsr.HSRInstanceSet {{ HSR(14,2) }} scg.protocol.ForAllExistsMin {{ }} 0.2857142857142857 1.0 oppose refuting strengthening 0.5714285704285714 agree agree protocolResponse provide hsr.HSRInstance {{ HSR(3,2) }} provide hsr.HSRInstance {{ HSR(9,8) }} provide hsr.HSRInstance {{ HSR(13,10) }} provide hsr.HSRInstance {{ HSR(4,2) }} provide hsr.HSRInstance {{ HSR(10,7) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n (7 y h 6 n (8 y h 7 n (9 y h 8 n (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)))))))))))))))))))) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n (7 y h 6 n (8 y h 7 n (9 y h 8 n (10 y h 9 n (11 y h 10 n (12 y h 11 n (13 y h 12 n (14 y h 13 n (15 y h 14 n (16 y h 15 n h 16)))))))))))))))) }} solve hsr.HSRSolution {{ (1 y h 0 n (2 y h 1 n (3 y h 2 n (4 y h 3 n (5 y h 4 n (6 y h 5 n (7 y h 6 n (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)))))))))))))))))) }} teamName {{ babyavatar }} reputation 96.999999999 {{ root }} 105.00000000200001 {{ babyavatar }} 94.99999999799999