khoomeik/satscale-sr-600

---
dataset_info:
features:
- name: name
dtype: string
- name: n_vars
dtype: int64
- name: n_clauses
dtype: int64
- name: clauses
sequence:
sequence: int64
- name: marginals
sequence: float64
- name: assignments
sequence: int64
splits:
- name: train
num_bytes: 2578688
num_examples: 600
- name: valid
num_bytes: 847400
num_examples: 200
- name: test
num_bytes: 832712
num_examples: 200
download_size: 475305
dataset_size: 4258800
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
- split: valid
path: data/valid-*
- split: test
path: data/test-*
---

数据集信息：
特征：
- 名称（name）：数据类型为字符串（string）
- 变量数（n_vars）：数据类型为64位整数（int64）
- 子句数（n_clauses）：数据类型为64位整数（int64）
- 子句集（clauses）：数据类型为嵌套整数序列，外层序列为子句集合，内层序列为单个子句的整数值
- 边缘概率值（marginals）：数据类型为64位浮点数（float64）序列
- 变量赋值（assignments）：数据类型为64位整数（int64）序列
数据集划分：
- 训练集（train）：占用字节数2578688，样本量600
- 验证集（valid）：占用字节数847400，样本量200
- 测试集（test）：占用字节数832712，样本量200
下载总大小：475305
数据集总存储大小：4258800
配置项：
- 配置名称：默认（default）
数据文件路径：
- 训练集：data/train-*
- 验证集：data/valid-*
- 测试集：data/test-*

原始信息汇总

数据集概述

特征信息

• name: 类型为字符串。
• n_vars: 类型为整数（int64）。
• n_clauses: 类型为整数（int64）。
• clauses: 类型为整数序列（int64）。
• marginals: 类型为浮点数序列（float64）。
• assignments: 类型为整数序列（int64）。

数据分割

• train: 包含600个样本，总字节数为2578688。
• valid: 包含200个样本，总字节数为847400。
• test: 包含200个样本，总字节数为832712。

数据集大小

• 下载大小: 475305字节。
• 数据集大小: 4258800字节。

配置信息

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