SAT Competition 2004 Benchmarks and Raw Results

SIMON, Laurent

doi:10.5281/zenodo.6332655

Published March 6, 2022 | Version 1

Dataset Open

SAT Competition 2004 Benchmarks and Raw Results

SIMON, Laurent¹

1. LaBRI

Set of problems used for the SATISFIABILITY (SAT) competition organized in 2004. Problems are given in three categories: Industrial, Handmade (Now called "Crafted") and Random.

Files

Files (2.3 GB)

Name	Size
benchs-sat04-handmade.tar.bz2 md5:53ee9b8d7e0740ee33f743037754731e	36.9 MB	Download
benchs-sat04-industrial.tar.bz2 md5:350e2ad1578ffca7c26de1f01dd0b633	2.2 GB	Download
benchs-sat04-random.tar.bz2 md5:89a30f3c251a8ceb6454030bbd7f5cc4	11.8 MB	Download
contest04-raw-results.gz md5:31f92b44855d25aff125e0a34ee94d6e	589.0 kB	Download

320

Views

185

Downloads

Show more details

	All versions	This version
Views	320	317
Downloads	185	185
Data volume	239.2 GB	239.2 GB

More info on how stats are collected....

DOI

Resource type

Dataset

Publisher

Zenodo

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: March 6, 2022
Modified: March 7, 2022

SAT Competition 2004 Benchmarks and Raw Results

Authors/Creators

Description

Files

Files (2.3 GB)