sidekick

mirror of https://github.com/c-cube/sidekick.git synced 2026-05-06 01:14:48 -04:00

History

Simon Cruanes a08cda8c5b test: add a lot more tests (for SAT)		2021-08-02 16:05:35 -04:00
..
jnh1.cnf
jnh2.cnf
jnh3.cnf
jnh4.cnf
jnh5.cnf
jnh6.cnf
jnh7.cnf
jnh8.cnf
jnh9.cnf
jnh10.cnf
jnh11.cnf
jnh12.cnf
jnh13.cnf
jnh14.cnf
jnh15.cnf
jnh16.cnf
jnh17.cnf
jnh18.cnf
jnh19.cnf
jnh20.cnf
jnh201.cnf
jnh202.cnf
jnh203.cnf
jnh204.cnf
jnh205.cnf
jnh206.cnf
jnh207.cnf
jnh208.cnf
jnh209.cnf
jnh210.cnf
jnh211.cnf
jnh212.cnf
jnh213.cnf
jnh214.cnf
jnh215.cnf
jnh216.cnf
jnh217.cnf
jnh218.cnf
jnh219.cnf
jnh220.cnf
jnh301.cnf
jnh302.cnf
jnh303.cnf
jnh304.cnf
jnh305.cnf
jnh306.cnf
jnh307.cnf
jnh308.cnf
jnh309.cnf
jnh310.cnf
README

README

Source: http://www.cs.ubc.ca/~hoos/SATLIB/Benchmarks/SAT/DIMACS/JNH/jnh.tar.gz
Description: http://www.cs.ubc.ca/~hoos/SATLIB/Benchmarks/SAT/DIMACS/JNH/descr.html