在今年的模型计数竞赛中，赖永副教授提交的ExactMC求解工具获得无权组亚军。和往年一样，模型计数竞赛伴随SAT会议（CCF推荐为B类会议）一起举办。获悉，无权组是今年模型计数竞赛中竞争最激烈的赛道，竞争者来自美国加州大学洛杉矶分校、新加坡国立大学、日本名古屋大学、挪威卑尔根大学、芬兰赫尔辛基大学、法国阿尔图瓦大学等知名高校的人工智能研究人员。

  值得一提的是，赖永副教授去年也获得了模型计数竞赛无权组亚军，这也使得公司成为国内继北京大学、中科院软件所、华中科技大学之后又一所获得可满足性相关竞赛冠亚军的科研单位。