s27.cnf
s349.cnf
s444.cnf
s382.cnf
c499.cnf
c432.cnf
s344.cnf
s400.cnf
s298.cnf
c17.cnf
BMS_k3_n100_m429_62.cnf
BMS_k3_n100_m429_481.cnf
BMS_k3_n100_m429_189.cnf
BMS_k3_n100_m429_161.cnf
BMS_k3_n100_m429_129.cnf
BMS_k3_n100_m429_256.cnf
BMS_k3_n100_m429_453.cnf
BMS_k3_n100_m429_299.cnf
BMS_k3_n100_m429_353.cnf
BMS_k3_n100_m429_48.cnf
BMS_k3_n100_m429_29.cnf
BMS_k3_n100_m429_439.cnf
BMS_k3_n100_m429_387.cnf
BMS_k3_n100_m429_294.cnf
BMS_k3_n100_m429_422.cnf
ii8d2.cnf
ii8e1.cnf
ii8b2.cnf
ii8b1.cnf
ii8b4.cnf
ii8a3.cnf
ii8d1.cnf
ii8c1.cnf
ii8b3.cnf
ii8a1.cnf
ii8a2.cnf
ii8e2.cnf
ii8a4.cnf
ii8c2.cnf
flat50-771.cnf
flat75-38.cnf
flat50-101.cnf
flat200-18.cnf
flat50-903.cnf
flat50-822.cnf
flat50-44.cnf
flat50-158.cnf
flat50-792.cnf
flat125-92.cnf
flat150-99.cnf
flat50-915.cnf
flat75-66.cnf
flat50-456.cnf
flat175-3.cnf
CBS_k3_n100_m411_b50_650.cnf
CBS_k3_n100_m411_b30_441.cnf
CBS_k3_n100_m449_b10_756.cnf
CBS_k3_n100_m449_b70_382.cnf
CBS_k3_n100_m418_b90_713.cnf
CBS_k3_n100_m435_b30_749.cnf
CBS_k3_n100_m418_b30_890.cnf
CBS_k3_n100_m423_b10_312.cnf
CBS_k3_n100_m418_b50_844.cnf
CBS_k3_n100_m423_b30_34.cnf
CBS_k3_n100_m423_b70_984.cnf
CBS_k3_n100_m411_b70_667.cnf
CBS_k3_n100_m403_b50_230.cnf
CBS_k3_n100_m411_b10_900.cnf
CBS_k3_n100_m441_b90_954.cnf
jnh212.cnf
jnh209.cnf
jnh218.cnf
jnh201.cnf
jnh210.cnf
jnh204.cnf
jnh205.cnf
jnh207.cnf
jnh12.cnf
jnh1.cnf
jnh7.cnf
jnh213.cnf
jnh217.cnf
jnh17.cnf
jnh220.cnf
matching20.cnf
matching28.cnf
matching32.cnf
matching30.cnf
SDFP30.cnf
TH60.cnf
TH100.cnf
SDFP23.cnf
SDFP37.cnf
SDFP16.cnf
TH80.cnf
matching24.cnf
TH40.cnf
SDFP9.cnf
TH120.cnf