search

rkkautsar / reprobench

📊 Reproducible Benchmark for Everyone
MIT License
1 stars 6 forks source link

Example SAT benchmark verdict is wrong #16

Open rkkautsar opened 5 years ago

rkkautsar commented 5 years ago

Different from SATLIB, ACLib benchmark instances doesn't have a comment saying it's sat/unsat in the cnf file.

Notes: Circuit Fuzz benchmark has a classify_100.txt file, a dump of solver attempts on the instances.

rkkautsar commented 5 years ago

https://bitbucket.org/mlindauer/aclib2/src/master/instances/sat/sets/5SAT500-SAT-CSSC14/solubility.txt