1635
Over the last decade , a variety of SMT algorithms have been built and empirically tested whereas little is known about the computational complexity of some of the fundamental problems of SMT .
 evaluate for: computational complexity, problems; part of: problems, SMT
Given options, please tell me the relationships of all the listed entity pairs.Output format is "relation1: word1, word2; relation2: word3, word4". 
Option: conjunction, feature of, hyponym of, used for, part of, compare, evaluate for 
Text: {0} 
 Entity Pairs:  computational complexity, problems; problems, SMT 
Answer:
 evaluate for: computational complexity, problems; part of: problems, SMT