Large Random 3-SAT instances

Benchmark instances

These are the three large Random-3-SAT instances from the DIMACS Benchmark set. The size of the instances is indicated in Table 1.

instance  vars  clauses  satisfiable? 
f600.cnf  600  2550  yes 
f1000.cnf  1000  4250  yes 
f2000.cnf 2000  8500  yes 

Table 1: Large Random-3-SAT instances


The instances have originally been contributed to the DIMACS benchmark set by Bart Selman.