Published August 19, 2023 | Version v1
Dataset Open

SharpASP input files

Creators

  • 1. anonymous

Description

The zip file contains all 1470 CNFs used for experimental evaluation. The CNFs are in completion + copy format. The CNFs can be used as SharpASP input file without any processing.

Files

aspben_SA_format.zip

Files (35.8 MB)

Name Size Download all
md5:37cccd740cffd321c00c6f96e9a46ee8
35.8 MB Preview Download