24727 bejing/2bitadd_10.cnf.gz
11545 bejing/2bitadd_11.cnf.gz
11046 bejing/2bitadd_12.cnf.gz
26951 bejing/2bitcomp_5.cnf.gz
24061 bejing/2bitmax_6.cnf.gz
11030 bejing/3bitadd_31.cnf.gz
31351 bejing/3bitadd_32.cnf.gz
31734 bejing/3blocks.cnf.gz
27091 bejing/4blocks.cnf.gz
25878 bejing/4blocksb.cnf.gz
21713 bejing/e0ddr2-10-by-5-1.cnf.gz
21423 bejing/e0ddr2-10-by-5-4.cnf.gz
18900 bejing/enddr2-10-by-5-1.cnf.gz
26305 bejing/enddr2-10-by-5-8.cnf.gz
14751 bejing/ewddr2-10-by-5-1.cnf.gz
14094 bejing/ewddr2-10-by-5-8.cnf.gz

30993 bmc/bmc-galileo-8.cnf.gz
14518 bmc/bmc-galileo-9.cnf.gz
17737 bmc/bmc-ibm-1.cnf.gz
14794 bmc/bmc-ibm-10.cnf.gz
18552 bmc/bmc-ibm-11.cnf.gz
7837 bmc/bmc-ibm-12.cnf.gz
25459 bmc/bmc-ibm-13.cnf.gz
30917 bmc/bmc-ibm-2.cnf.gz
7298 bmc/bmc-ibm-3.cnf.gz
12409 bmc/bmc-ibm-4.cnf.gz
724 bmc/bmc-ibm-5.cnf.gz
27426 bmc/bmc-ibm-6.cnf.gz
28101 bmc/bmc-ibm-7.cnf.gz

15819 phole/hole6.cnf.gz
30670 phole/hole7.cnf.gz
14288 phole/hole8.cnf.gz
25231 phole/hole9.cnf.gz

12745 ssa/ssa0432-003.cnf.gz
7591 ssa/ssa2670-130.cnf.gz
23027 ssa/ssa2670-141.cnf.gz
14460 ssa/ssa6288-047.cnf.gz
27180 ssa/ssa7552-038.cnf.gz
24605 ssa/ssa7552-158.cnf.gz
13532 ssa/ssa7552-159.cnf.gz
4900 ssa/ssa7552-160.cnf.gz
