khoomeik/satscale-ca-20000

该数据集包含多个特征，如名称、变量数量、子句数量、子句序列、边缘概率序列和分配序列。数据集被分为训练集、验证集和测试集，其中训练集包含20000个样本，验证集和测试集各包含100个样本。数据集的下载大小为8095546字节，总大小为65516526字节。

The dataset includes several features such as name, number of variables, number of clauses, sequence of clauses, sequence of marginals, and sequence of assignments. The dataset is divided into training, validation, and test sets, with the training set containing 20,000 samples, and the validation and test sets each containing 100 samples. The download size of the dataset is 8,095,546 bytes, and the total size is 65,516,526 bytes.

原始信息汇总

数据集概述

数据特征

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

数据集划分

• train:
  • 字节数: 64887838
  • 样本数: 20000
• valid:
  • 字节数: 299006
  • 样本数: 100
• test:
  • 字节数: 329682
  • 样本数: 100

数据集大小

• 下载大小: 8095546 字节
• 数据集总大小: 65516526 字节

配置信息

• config_name: default
  • data_files:
    • train: data/train-*
    • valid: data/valid-*
    • test: data/test-*