claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.4578128460844286 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.578859741255702  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.3866903047277179  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.4535125698748982 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.4635125698748982 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.8290096852375327  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.4338980303367832  }} 
  winner  {{ spartans }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.09843675344277847 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.6469697099152332  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.9032752955095247  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.16631762636081193 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.17631762636081194 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.5115085892068127  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.6594416367268489  }} 
  winner  {{ spartans }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.04335851938702029 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.22299227511031605  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.5965716018410807  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.4672443102159196 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.4772443102159196 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.9299382985614322  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.46453352914682455  }} 
  winner  {{ knight }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.7020262646031101 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.7120262646031101 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.5732000482302129  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.9102509983412891  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.026117279090536627 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.03611727909053663 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.32192403304563133  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.6538149296399921  }} 
  winner  {{ knight }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.345449872421112 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.4075562801815191  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.5208334320553565  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.7560764318237055 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.7660764318237056 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.06647030136931487  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.3138462482914638  }} 
  winner  {{ knight }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.0916267989809777 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.5406689804921041  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.1302108951122315  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.7249263114211366 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.5416093156173261  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.3400472056967512  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.694271276207628 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.934509085954595  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.14752990812936417  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.020640663078623 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.5171444019366449  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.32309785106888156  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.3391736622865581 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.3491736622865581 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.21556366991025733  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.28629024883202625  }} 
  winner  {{ spartans }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.8020462228029427 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.11573401594482968  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.7212217342161081  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.6963144953488231 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.5455225736494803  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.6914305673446499  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.9597161149908351 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.24474501895228085  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.4428461413394489  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.29867761425731976 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.636938733394441  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.39653786720328765  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.932977300907465 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.13123311181454045  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.6291246095646807  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.37953603971032834 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.7298187765713242  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.532283611290334  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.620781879618819 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.3214650808736965  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.7481436366437774  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.04472038910529674 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.9728025500333306  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.6576768061758841  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.2553974561190874 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.33440282580674985  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.8207249298512042  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.5978986312958704 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.30160925873205524  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.8918991212972028  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.16622742811353108 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.5721413052297943  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.834572539394923  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.7136125732076203 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.7236125732076203 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.0016928447319438655  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.6313276277107854  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.32695379392669943 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.9167609383727465  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.5663233029815896  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.6880922146639468 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.6427631279678336  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.6526039277138085  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.5396416755489697 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.13209601823955586  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.5540283998094714  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.3578783550986302 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.16370420138970176  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.15975683482954672  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.09227288042266679 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.8271675837382837  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.45400639509610363  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.5247569069891311 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.5347569069891311 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.6167842281396518  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.35668501200263625  }} 
  winner  {{ spartans }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.23032408785978464 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.20067177899078015  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.5585622103895429  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.13539691870247994 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.3959882083817682  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.6034060175565694  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.9020398105834226 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.9237986824234375  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.7296562556491643  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.7229167651147841 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.024542906952163435  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.33295244964059834  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.47967413832267825 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.39639731203762785  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.5705134204320362  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.8809878025762073 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.8909878025762074 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.16751307113939196  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.15211073288892418  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.36646154772957784 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.37646154772957785 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.20271456849806735  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.3255009556847812  }} 
  winner  {{ knight }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.6092929412243386 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.28016191131887336  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.4561859688951476  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.43792716491465045 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.8359205537632383  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.7599170294993075  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.05055925621680302 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.598676113379902  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.7383758886288655  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.04154759724361046 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.05154759724361046 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.5100753295654062  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.7335060118728624  }} 
  winner  {{ spartans }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.593626287916356 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.603626287916356 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.8230261241884955  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.12923594775748914  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.050660649606755426 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.7884284185583784  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.7862237097028459  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.22712873276850198 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.8126664271845924  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.2501016960249759  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.9621646181273715 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.4782180717678002  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.8842689056898134  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.17804492288744134 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.07262788416678956  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.7105172493227735  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.9224515263980293 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.08235777659896992  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.9776078071539441  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.07911857868204286 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.3778128713448753  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.8802593339234589  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.4410985138919715 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.34071352455016257  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.8341845406527523  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.06417150607833255 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.15194265193205725  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.5513773310819274  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.9833937201321685 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.9933937201321685 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.8686642806918012  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.11758845071431645  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.6732484910027461 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.0778743914422465  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.6128722535485975  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.34162966662013383 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.9299811139875033  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.7427476577922834  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.9148455760200188 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.9248455760200188 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.06236582964949022  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.030547052203595215  }} 
  winner  {{ knight }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.3660132456895884 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.3760132456895884 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.5429866373971937  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  6.586033648140477E-4  }} 
  winner  {{ knight }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.04717901030578142 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.2599409006602351  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.34999326645832196  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.007071155225579107 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.24009705066958476  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.18404110351789593  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.5158498830821479 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.7765283685580597  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.09088089272260791  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.6189175847834445 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.7574435801814237  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.18323568837432935  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.6159868841890412 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.6259868841890412 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.9716309536297798  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.9915178827153205  }} 
  winner  {{ spartans }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.20072389992306172 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.21072389992306173 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.6642345651259293  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.20338804332308835  }} 
  winner  {{ spartans }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.4053130006860055 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.7293460638089635  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.5484701207411573  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.6793051644371003 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.31188988807701723  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.20721876402644668  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.09868214735582359 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.5026517563601337  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.28964034009119244  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.7614837380769645 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.7714837380769645 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.16416849610538387  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.43728818225593624  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.35336863690570375 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.47751112654705485  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.6946946412883801  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.9936852922103638 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.3622934961459774  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.29972299456974283  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.9703396727920723 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.9803396727920723 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.0232252994559915  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.32925861844580695  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.15548606883789662 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.16548606883789663 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.17451759532330313  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.3564543899349718  }} 
  winner  {{ spartans }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.5504827921405618 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.8134705804051697  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.48269842228804827  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.1512433706276476 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.08408365156184239  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.7380419504805152  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.9072091615599482 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.6260471565384615  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.7963625845746442  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.1722817907702625 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.47432992507638083  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.7318118909513779  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.5452004679225122 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.8385658060946004  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.6466971543767394  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.4698482972989235 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.47984829729892353 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.2587718771879438  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.039877257309542946  }} 
  winner  {{ knight }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.9498647279648124 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.26724158323646763  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.9337665630168568  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.5928573662721253 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.04552027495437705  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.6506317107533213  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.4686653960934041 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.34297666610140576  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.7997453775897592  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.893789474413146 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.9695977269911262  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.2745617391189623  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.22586709880439304 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.07525744995351324  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.9309709439026297  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.9771782169399653 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.4954795118016867  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.6085994393260895  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.20631312096643772 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.5440850946517624  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.06984371475365425  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.11107145414558961 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.1210714541455896 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.7985659517331456  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.8429398891581928  }} 
  winner  {{ knight }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.5582222316953336 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.5682222316953336 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.30171538111438834  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.35627979837836854  }} 
  winner  {{ knight }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.4286733422074772 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.4386733422074772 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.9504193194112275  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.4867569815463705  }} 
  winner  {{ knight }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.9434314041211868 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.34950020222831724  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.6566420599638985  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.3087801383497454 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.3187801383497454 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.6467810240900274  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.7764983255720955  }} 
  winner  {{ knight }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.48018698209481747 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.5029058884238664  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.3844440151102909  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.6388065845057915 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.6488065845057915 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.03528122159308589  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.057971568570145404  }} 
  winner  {{ spartans }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.7635858723801566 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.30032335225860196  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.5925803314454076  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.5147285352427868 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.4606672823607578  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.27499820333669855  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.7091512542329939 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.8937707758887818  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.4576244555143324  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.7228802632181258 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.214497552370281  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.7454178161275323  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.6549347895275923 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.9808519486708709  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.4290814110234261  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.5161948474199222 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.5261948474199222 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.7561633856277973  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.13038767162675335  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.5787979205385756 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.8116174179125283  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.788051006320129  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.8015367531293249 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.8115367531293249 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.4610847739745012  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.28208365834821436  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.3375055949852265 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.3475055949852265 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.4263548510470806  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.5628084439946939  }} 
  winner  {{ spartans }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.6065999006385695 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.9677372853137308  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.5397535419868873  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.9419884712434703 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.40359009599766393  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.5533766746260833  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.7456151059281672 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.07292490205504598  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.8087826621857824  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.9920422650525063 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 1.0020422650525063 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.4733196654704225  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.05903792828351173  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.4905102314915679 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.2461307004742349  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.17298513128073834  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.6224243023727795 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.4213185628277888  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.8152625807767652  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.42183741025308774 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.43183741025308775 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.2347777312086129  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.2102770202229558  }} 
  winner  {{ knight }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.840833902549188 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.35535025514727436  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.9137945286043629  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.46619049130258494 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.28567476387337953  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.5160070145237625  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.4393333081241042 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.9896665976795479  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.8241052132358044  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.4280278462999024 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.32060396635983224  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.07790357031722295  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.5403611924764361 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.5503611924764361 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.9309480167238042  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.49436675254048457  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.26897294802944227 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.7378734239843331  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.9057714526361799  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.41310177949079174 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.9906846239757013  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.49101975101080475  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.46609047235507894 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.5512810481639876  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.05606630760452913  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.09948797426166489 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.7207446532505355  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.8829403591713354  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.2273062646211529 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.2373062646211529 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.4891902943836617  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.11575867328587675  }} 
  winner  {{ knight }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.8124761396947717 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.9709196325846268  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.2319671056982101  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.5808081009894968 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.5908081009894968 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.6533960616834258  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.25483925614116376  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.5462241754757112 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.4026924111452225  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.7151779054637365  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.23401855068441324 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.24401855068441325 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.22259110999702825  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.27139516504059424  }} 
  winner  {{ spartans }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.7986444948952249 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.2122900512538034  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.2818786506486969  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.3398520919662624 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.34985209196626244 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.7766366244531776  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.8301781711969921  }} 
  winner  {{ spartans }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.46051063322036 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.7524928642978498  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.6735503586679658  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.1601058610772692 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.34196619909175385  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.8839837973074881  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.6868084293716062 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.6968084293716063 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.9710216931961017  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.27324122305821996  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.22464762327118903 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.32409314808961287  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.479140373720778  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.9314689340515511 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.9414689340515511 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.5632395571679416  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.8167779462065866  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.7100096082173903 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.7200096082173904 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.1259032311259466  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.19999988228108911  }} 
  winner  {{ knight }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.33053472789581984 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.7119863784432842  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.04672510141069541  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.374948845261048 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.05432735691486723  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.336296286383323  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.9081329854178882 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.842373981556404  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.5390577112873025  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.02756014184108757 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.13413606995156435  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.46597606629517363  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.2773089405493874 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.31115270487902336  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.7028984035307229  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.4195401829757802 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action agree 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.6189002898408331  }} 
 provider  {{ knight }}  pr solve mmg.MMGSolution {{  0.2663563555387165  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.006609097549548193 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.016609097549548195 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.6924946387137207  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.18902395258721683  }} 
  winner  {{ knight }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.36183871558035874 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.37183871558035875 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.5205555614581493  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.05396702472044024  }} 
  winner  {{ knight }}  
pointsWon 0.010000000000005116

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.21052158955714484 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.92309802347799  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.7160269802642364  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.8117264975473254 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.6664105446575894  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.5616204939093142  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.5766444997165855 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.4193020247796082  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.23863340199199679  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.630828850582687 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.640828850582687 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.09249934615048783  }} 
  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.024337871041546055 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.4029046895691212  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.3532467951799585  }} 
  winner  {{ knight }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.4593408806000563 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action refuting 
responses provider  {{ spartans }}  pr provide mmg.MMGInstance {{  0.6207592150627983  }} 
  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.4950798834931227 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses provider  {{ knight }}  pr provide mmg.MMGInstance {{  0.9284779882487914  }} 
 provider  {{ spartans }}  pr solve mmg.MMGSolution {{  0.026318120186783478  }} 
  winner  {{ spartans }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.8880380516090234 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.8980380516090234 
responses  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.06966183213636568 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.6316416026805215 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.5433001495930179 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action strengthening 0.5533001495930179 
responses  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.8955585494219602 1.0 
proposer  {{ knight }}  
opposer  {{ spartans }}  
action refuting 
responses  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.26711262948915127 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.2771126294891513 
responses  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.8612393732002608 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.6540912589241394 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action agree 
responses  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.697448247109075 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.7074482471090751 
responses  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExists {{      }} 0.43866611298011293 1.0 
proposer  {{ spartans }}  
opposer  {{ knight }}  
action strengthening 0.44866611298011294 
responses  winner  {{  }}  
pointsWon 0.0

  
 {{ knight }}  74.04000000000002
 {{ spartans }}  125.96000000000004