khoomeik/satscale-3-sat-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: 1118894
num_examples: 300
- name: valid
num_bytes: 387218
num_examples: 100
- name: test
num_bytes: 376766
num_examples: 100
download_size: 202927
dataset_size: 1882878
configs:
- config_name: default
data_files:
- split: train
path: data/train-*
- split: valid
path: data/valid-*
- split: test
path: data/test-*
---

原始信息汇总

数据集概述

特征信息

• name: 类型为字符串。
• n_vars: 类型为int64。
• n_clauses: 类型为int64。
• clauses: 序列类型，包含int64。
• marginals: 序列类型，包含float64。
• assignments: 序列类型，包含int64。

数据分割

• train: 包含300个样本，占用1118894字节。
• valid: 包含100个样本，占用387218字节。
• test: 包含100个样本，占用376766字节。

数据大小

• 下载大小: 202927字节。
• 数据集大小: 1882878字节。

配置信息

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