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
Acknowledgements
The instances have originally been contributed to the DIMACS benchmark
set by Bart
Selman.