khoomeik/satscale-sr-60

该数据集包含多个特征，如名称、变量数量、子句数量、子句序列、边缘概率和赋值序列。数据集被分割为训练集、验证集和测试集，分别包含60、2和2个样本。数据集的下载大小为43358字节，总大小为274976字节。配置文件中指定了各分割数据文件的路径。

The dataset includes multiple features such as name, number of variables, number of clauses, sequence of clauses, marginals, and sequence of assignments. The dataset is divided into training, validation, and test sets, containing 60, 2, and 2 samples respectively. The download size of the dataset is 43358 bytes, and the total size is 274976 bytes. The configuration file specifies the paths to the data files for each split.

原始信息汇总

数据集概述

数据集特征

• name: 字符串类型
• n_vars: 64位整数类型
• n_clauses: 64位整数类型
• clauses: 64位整数序列
• marginals: 64位浮点数序列
• assignments: 64位整数序列

数据集分割

• train: 包含60个样本，占用250842字节
• valid: 包含2个样本，占用10851字节
• test: 包含2个样本，占用13283字节

数据集大小

• 下载大小: 43358字节
• 数据集总大小: 274976字节

配置

• default:
  • train: 文件路径为data/train-*
  • valid: 文件路径为data/valid-*
  • test: 文件路径为data/test-*