CPLEX dataset from ImpatientCapsAndRuns (
paper
).
Download zip
(3.7 GB)
SAT Competition dataset from COUP+ (
paper
).
Download zip
(500 KB)