khoomeik/satscale-ca-20

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

The dataset includes various features such as name, number of variables (n_vars), number of clauses (n_clauses), clauses, marginals, and assignments. It is divided into training, validation, and test sets, each containing different numbers of examples and bytes. The download size and actual size of the dataset are also provided.

原始信息汇总

数据集概述

数据集信息

• 特征:
  • name: 名称，数据类型为字符串。
  • n_vars: 变量数量，数据类型为int64。
  • n_clauses: 子句数量，数据类型为int64。
  • clauses: 子句序列，数据类型为int64。
  • marginals: 边缘概率序列，数据类型为float64。
  • assignments: 赋值序列，数据类型为int64。

数据集分割

• train:
  • 字节数: 63290
  • 样本数: 20
• valid:
  • 字节数: 2213
  • 样本数: 1
• test:
  • 字节数: 4117
  • 样本数: 1

数据集大小

• 下载大小: 22163字节
• 数据集总大小: 69620字节

配置

• config_name: default
  • 数据文件路径:
    • train: data/train-*
    • valid: data/valid-*
    • test: data/test-*