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-*。