collections for some public benchmarks.
the collection of the contest problems.
a data structure of aig( and inverter graph).