khoomeik/satscale-sr-60000

该数据集包含多个特征，包括名称、变量数量、子句数量、子句序列、边缘概率和赋值序列。数据集分为训练集、验证集和测试集，分别包含60000、200和200个样本。数据集的下载大小为28614853字节，总大小为263481796字节。

The dataset includes multiple features such as name, number of variables, number of clauses, sequence of clauses, marginals, and sequence of assignments. It is divided into training, validation, and test sets, containing 60,000, 200, and 200 samples respectively. The download size of the dataset is 28,614,853 bytes, and the total size is 263,481,796 bytes.

原始信息汇总

数据集概述

特征信息

• name: 类型为字符串。
• n_vars: 类型为int64。
• n_clauses: 类型为int64。
• clauses: 类型为int64的序列。
• marginals: 类型为float64的序列。
• assignments: 类型为int64的序列。

数据集划分

• train: 包含60000个样本，占用261686516字节。
• valid: 包含200个样本，占用908608字节。
• test: 包含200个样本，占用886672字节。

数据集大小

• 下载大小: 28614853字节。
• 数据集总大小: 263481796字节。

配置信息

• config_name: default
  • data_files:
    • train: 路径为data/train-*。
    • valid: 路径为data/valid-*。
    • test: 路径为data/test-*。