反应合成竞赛| www.syntcomp.org

反应合成竞赛（SYNTCOMP）是对反应合成工具的竞赛。比赛的目标是在公开的库中收集基准并促进系统自动综合新工具的研究。SYNTCOMP每年（自2014年起）举办一次，作为CAV汽车.

2023年版的SYNTCOMP再次在StarExec上运行。比赛结果已公布在这里。从今年开始，我们还将推出LTLf曲目，即有限单词上的LTL（TLSF）。

最新版本的SYNTCOMP再次在StarExec平台.我们将展示比赛结果（以新的扩展格式！）在这里.

今年的比赛再次在StarExec平台。我们对新参与工具的数量感到非常兴奋！可以找到竞赛结果以及收集的工具和基准在这里.

SYNTCOMP 2020在StarExec平台采用与2019年SYNTCOMP相同的规则，并采用新的同级比赛赛道！可以找到竞赛结果以及收集的工具和基准在这里.

从2019年SYNTCOMP开始，比赛将在StarExec平台.可以找到竞赛结果以及收集的工具和基准在这里.

2018年SYNTCOMP的运行规则与2017年SYNTCOMP的运行规则相同。5个合成工具参与了安全（AIGER）跟踪（加上2个运行hors concours），5个参与了LTL（TLSF）跟踪。可以找到结果和更多信息在这里.

2017年SYNTCOMP与2016年SYNTCOM具有相同的竞争类别，并引入了一个质量排名，该排名比前几年使用的排名有所改进。5个合成工具参与了安全（AIGER）跟踪，5个参与了LTL（TLSF）跟踪。可以找到结果和更多信息在这里.

2016年SYNTCOMP将竞争扩展到完整LTL的规格。根据AIGER/安全规范，6个合成工具在现有轨道上竞争，3个工具在新轨道上竞争TLSF/LTL公司。可以找到结果和进一步的信息在这里.

对于SYNTCOMP 2015，我们在基准库中添加了2000多个问题实例，并改进了排名系统和评估过程。4个综合工具在新的基准测试集上展开了竞争，与去年的实施相比取得了显著进展。可以找到结果和更多信息在这里.

在2014年的首届SYNTCOMP中，5个综合工具对一组569个问题实例进行了竞争，这些实例是以新的基准测试格式收集的。可以找到结果和更多信息在这里.

反应合成竞争