Problem Sets:
CBS_k3_n100_m411_b10_990.cnf
CBS_k3_n100_m411_b10_991.cnf
CBS_k3_n100_m411_b10_992.cnf
CBS_k3_n100_m411_b10_993.cnf
CBS_k3_n100_m411_b10_994.cnf
CBS_k3_n100_m411_b10_995.cnf
CBS_k3_n100_m411_b10_996.cnf
CBS_k3_n100_m411_b10_997.cnf
CBS_k3_n100_m411_b10_998.cnf
CBS_k3_n100_m411_b10_999.cnf
CBS_k3_n100_m411_b30_990.cnf
CBS_k3_n100_m411_b30_991.cnf
CBS_k3_n100_m411_b30_992.cnf
CBS_k3_n100_m411_b30_993.cnf
CBS_k3_n100_m411_b30_994.cnf
CBS_k3_n100_m411_b30_995.cnf
CBS_k3_n100_m411_b30_996.cnf
CBS_k3_n100_m411_b30_997.cnf
CBS_k3_n100_m411_b30_998.cnf
CBS_k3_n100_m411_b30_999.cnf
CBS_k3_n100_m411_b50_990.cnf
CBS_k3_n100_m411_b50_991.cnf
CBS_k3_n100_m411_b50_992.cnf
CBS_k3_n100_m411_b50_993.cnf
CBS_k3_n100_m411_b50_994.cnf
CBS_k3_n100_m411_b50_995.cnf
CBS_k3_n100_m411_b50_996.cnf
CBS_k3_n100_m411_b50_997.cnf
CBS_k3_n100_m411_b50_998.cnf
CBS_k3_n100_m411_b50_999.cnf
CBS_k3_n100_m411_b70_990.cnf
CBS_k3_n100_m411_b70_991.cnf
CBS_k3_n100_m411_b70_992.cnf
CBS_k3_n100_m411_b70_993.cnf
CBS_k3_n100_m411_b70_994.cnf
CBS_k3_n100_m411_b70_995.cnf
CBS_k3_n100_m411_b70_996.cnf
CBS_k3_n100_m411_b70_997.cnf
CBS_k3_n100_m411_b70_998.cnf
CBS_k3_n100_m411_b70_999.cnf
CBS_k3_n100_m411_b90_990.cnf
CBS_k3_n100_m411_b90_991.cnf
CBS_k3_n100_m411_b90_992.cnf
CBS_k3_n100_m411_b90_993.cnf
CBS_k3_n100_m411_b90_994.cnf
CBS_k3_n100_m411_b90_995.cnf
CBS_k3_n100_m411_b90_996.cnf
CBS_k3_n100_m411_b90_997.cnf
CBS_k3_n100_m411_b90_998.cnf
CBS_k3_n100_m411_b90_999.cnf