khoomeik/satscale-ca-300

---
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: 960486
num_examples: 300
- name: valid
num_bytes: 337034
num_examples: 100
- name: test
num_bytes: 306382
num_examples: 100
download_size: 210450
dataset_size: 1603902
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: 类型为整数 (int64)
• n_clauses: 类型为整数 (int64)
• clauses: 类型为整数序列 (sequence: int64)
• marginals: 类型为浮点数序列 (sequence: float64)
• assignments: 类型为整数序列 (sequence: int64)

数据集划分

• train: 包含300个样本，占用960486字节
• valid: 包含100个样本，占用337034字节
• test: 包含100个样本，占用306382字节

数据集大小

• 下载大小: 210450字节
• 数据集总大小: 1603902字节

配置信息

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