Vampire strategy performance measurements
收藏官方服务：
资源简介：
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.
提供机构：
Zenodo创建时间：
2024-03-14
