Time Leap Challenge for SAT-Solving
收藏DataCite Commons2026-01-07 更新2025-04-16 收录
下载链接：
https://service.tib.eu/ldmservice/dataset/5f1c2b87-db39-4d9a-868b-f17c672a0fdd
下载链接
链接失效反馈官方服务：
资源简介：
The dataset used in the Time Leap Challenge for SAT-Solving, comparing old solvers on new hardware with modern solvers on old hardware.
提供机构：
TIB
创建时间：
2025-01-02
