claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsMax {{      }} 0.6180339887498949 1.0 
proposer  {{ dirich }}  
opposer  {{ thang }}  
action agree 
responses provider  {{ dirich }}  pr provide mmg.MMGInstance {{  0.5527864045000421  }} 
 provider  {{ thang }}  pr solve mmg.MMGSolution {{  0.5267848403207281  }} 
 provider  {{ thang }}  pr provide mmg.MMGInstance {{  0.21131694961409087  }} 
 provider  {{ dirich }}  pr provide mmg.MMGInstance {{  0.5527864045000421  }} 
 provider  {{ dirich }}  pr solve mmg.MMGSolution {{  0.1339682331899308  }} 
 provider  {{ thang }}  pr solve mmg.MMGSolution {{  0.6988757075154841  }} 
 provider  {{ dirich }}  pr provide mmg.MMGInstance {{  0.5527864045000421  }} 
 provider  {{ thang }}  pr solve mmg.MMGSolution {{  0.365401730840065  }} 
  winner  {{ dirich }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsEqual {{      }} 0.61 1.0 
proposer  {{ thang }}  
opposer  {{ dirich }}  
action strengthening 0.6180339887498949 
responses  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsMax {{      }} 0.6180339887498949 1.0 
proposer  {{ dirich }}  
opposer  {{ thang }}  
action refuting 
responses provider  {{ thang }}  pr solve mmg.MMGSolution {{  0.5267848403207281  }} 
 provider  {{ thang }}  pr provide mmg.MMGInstance {{  0.21131694961409087  }} 
 provider  {{ dirich }}  pr provide mmg.MMGInstance {{  0.5527864045000421  }} 
 provider  {{ dirich }}  pr solve mmg.MMGSolution {{  0.1339682331899308  }} 
 provider  {{ thang }}  pr solve mmg.MMGSolution {{  0.6988757075154841  }} 
 provider  {{ dirich }}  pr provide mmg.MMGInstance {{  0.5527864045000421  }} 
 provider  {{ thang }}  pr solve mmg.MMGSolution {{  0.365401730840065  }} 
  winner  {{ dirich }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsEqual {{      }} 0.61 1.0 
proposer  {{ thang }}  
opposer  {{ dirich }}  
action strengthening 0.6180339887498949 
responses  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsMax {{      }} 0.6180339887498949 1.0 
proposer  {{ dirich }}  
opposer  {{ thang }}  
action strengthening 0.6180339888498949 
responses provider  {{ thang }}  pr provide mmg.MMGInstance {{  0.21131694961409087  }} 
 provider  {{ dirich }}  pr provide mmg.MMGInstance {{  0.5527864045000421  }} 
 provider  {{ dirich }}  pr solve mmg.MMGSolution {{  0.1339682331899308  }} 
 provider  {{ thang }}  pr solve mmg.MMGSolution {{  0.6988757075154841  }} 
 provider  {{ dirich }}  pr provide mmg.MMGInstance {{  0.5527864045000421  }} 
 provider  {{ thang }}  pr solve mmg.MMGSolution {{  0.365401730840065  }} 
  winner  {{ dirich }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsEqual {{      }} 0.61 1.0 
proposer  {{ thang }}  
opposer  {{ dirich }}  
action strengthening 0.6180339887498949 
responses  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsMax {{      }} 0.6180339887498949 1.0 
proposer  {{ dirich }}  
opposer  {{ thang }}  
action agree 
responses provider  {{ thang }}  pr solve mmg.MMGSolution {{  0.6988757075154841  }} 
 provider  {{ dirich }}  pr provide mmg.MMGInstance {{  0.5527864045000421  }} 
 provider  {{ thang }}  pr solve mmg.MMGSolution {{  0.365401730840065  }} 
  winner  {{ dirich }}  
pointsWon 1.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsEqual {{      }} 0.61 1.0 
proposer  {{ thang }}  
opposer  {{ dirich }}  
action strengthening 0.6180339887498949 
responses  winner  {{  }}  
pointsWon 0.0

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsMax {{      }} 0.6180339887498949 1.0 
proposer  {{ dirich }}  
opposer  {{ thang }}  
action refuting 
responses provider  {{ thang }}  pr solve mmg.MMGSolution {{  0.365401730840065  }} 
  winner  {{ dirich }}  
pointsWon 1.0

  
 {{ dirich }}  107.0000000001
 {{ thang }}  92.9999999999