Benchmark instances of SAT Competition Bejing



This set comprises the instances which have been proposed for the International Competition on SAT Testing in Bejing, 1996. The original call for participation is available here. More information on the competition is available in a PDF document. The benchmark set can also be accessed here.

Benchmark instances

instance  vars  clauses  satisfiable? 
2bitadd_10.cnf  590  1422  ---  
2bitadd_11.cnf  649  1562  ---  
2bitadd_12.cnf  708  1702  ---  
2bitcomp_5.cnf  125  310  yes 
2bitmax_6.cnf  252  766  yes 
3bitadd_31.cnf  8432  31310  yes 
3bitadd_32.cnf  8704  32316  yes 
3blocks.cnf  283  9690  yes 
4blocks.cnf  758  47820  yes 
4blocksb.cnf  410  24758  yes 
e0ddr2-10-by-5-1.cnf  19500  103887  yes 
e0ddr2-10-by-5-4.cnf  1728  104527  yes 
enddr2-10-by-5-1.cnf  20700  111567  yes 
enddr2-10-by-5-8.cnf  21000  113729  yes 
ewddr2-10-by-5-1.cnf  21800  118607  yes 
ewddr2-10-by-5-8.cnf  22500  123329  yes 

Table 1: Benchmark set of the SAT Competition Bejing.
 
 

Acknowledgements

The instances have been contributed by James Crawford. The original ftp-site can be found here.