Vampire strategy performance measurements
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://zenodo.org/record/10814477
下载链接
链接失效反馈官方服务：
资源简介：
This dataset contains measurements of the performance of the automatic theorem prover Vampire on combinations of 1096 strategies (configurations of Vampire) and 7866 first-order logic problems from the TPTP problem library.
创建时间：
2024-07-31
