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