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

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsMax {{      }} 0.6180339887498949 1.0 
proposer  {{ reptar2 }}  
opposer  {{ thang }}  
action strengthening 0.6180339888498949 
responses provider  {{ reptar2 }}  pr provide mmg.MMGInstance {{  0.552786404500042  }} 
 provider  {{ thang }}  pr solve mmg.MMGSolution {{  0.7249392354447787  }} 
 provider  {{ thang }}  pr provide mmg.MMGInstance {{  0.0013721760218158296  }} 
 provider  {{ reptar2 }}  pr provide mmg.MMGInstance {{  0.552786404500042  }} 
 provider  {{ reptar2 }}  pr solve mmg.MMGSolution {{  6.870307380128665E-4  }} 
 provider  {{ thang }}  pr solve mmg.MMGSolution {{  0.740532906378834  }} 
  winner  {{ reptar2 }}  
pointsWon 1.000017846308765E-10

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

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsMax {{      }} 0.6180339887498949 1.0 
proposer  {{ reptar2 }}  
opposer  {{ thang }}  
action refuting 
responses provider  {{ thang }}  pr solve mmg.MMGSolution {{  0.7249392354447787  }} 
 provider  {{ thang }}  pr provide mmg.MMGInstance {{  0.0013721760218158296  }} 
 provider  {{ reptar2 }}  pr provide mmg.MMGInstance {{  0.552786404500042  }} 
 provider  {{ reptar2 }}  pr solve mmg.MMGSolution {{  6.870307380128665E-4  }} 
 provider  {{ thang }}  pr solve mmg.MMGSolution {{  0.740532906378834  }} 
  winner  {{ reptar2 }}  
pointsWon 1.000017846308765E-10

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

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsMax {{      }} 0.6180339887498949 1.0 
proposer  {{ reptar2 }}  
opposer  {{ thang }}  
action strengthening 0.6180339888498949 
responses provider  {{ thang }}  pr provide mmg.MMGInstance {{  0.0013721760218158296  }} 
 provider  {{ reptar2 }}  pr provide mmg.MMGInstance {{  0.552786404500042  }} 
 provider  {{ reptar2 }}  pr solve mmg.MMGSolution {{  6.870307380128665E-4  }} 
 provider  {{ thang }}  pr solve mmg.MMGSolution {{  0.740532906378834  }} 
  winner  {{ reptar2 }}  
pointsWon 1.000017846308765E-10

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

 claim mmg.MMGInstanceSet {{      }} scg.protocol.ForAllExistsMax {{      }} 0.6180339887498949 1.0 
proposer  {{ reptar2 }}  
opposer  {{ thang }}  
action refuting 
responses provider  {{ thang }}  pr solve mmg.MMGSolution {{  0.740532906378834  }} 
  winner  {{ reptar2 }}  
pointsWon 1.000017846308765E-10

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

  
 {{ thang }}  93.9999999998
 {{ reptar2 }}  106.0000000002