sdpkjc/SATQuest-rt-2
收藏Hugging Face2025-04-11 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/sdpkjc/SATQuest-rt-2
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了与某个求解器相关的多种类型的数值信息，例如冲突次数、决策次数、传播次数、重启次数以及解决方案等。数据集中的每个样本都有唯一的标识符，并包含了字面量数量、不饱和dimacs文件路径、变量数量和子句数量等信息。测试集包含了30个样本。数据集主要用于研究或评估求解器的性能。
The dataset contains various types of numerical information related to a solver, such as the number of conflicts, decisions, propagations, restarts, and solutions. Each sample in the dataset has a unique identifier and includes information such as the number of literals, the path to the unsatisfied dimacs file, the number of variables, and the number of clauses. The test set contains 30 samples. The dataset is primarily used for studying or evaluating the performance of solvers.
提供机构：
sdpkjc
