Problem Sets:
CBS_k3_n100_m411_b10_990.cnfCBS_k3_n100_m411_b10_991.cnfCBS_k3_n100_m411_b10_992.cnf
CBS_k3_n100_m411_b10_993.cnfCBS_k3_n100_m411_b10_994.cnfCBS_k3_n100_m411_b10_995.cnf
CBS_k3_n100_m411_b10_996.cnfCBS_k3_n100_m411_b10_997.cnfCBS_k3_n100_m411_b10_998.cnf
CBS_k3_n100_m411_b10_999.cnfCBS_k3_n100_m411_b30_990.cnfCBS_k3_n100_m411_b30_991.cnf
CBS_k3_n100_m411_b30_992.cnfCBS_k3_n100_m411_b30_993.cnfCBS_k3_n100_m411_b30_994.cnf
CBS_k3_n100_m411_b30_995.cnfCBS_k3_n100_m411_b30_996.cnfCBS_k3_n100_m411_b30_997.cnf
CBS_k3_n100_m411_b30_998.cnfCBS_k3_n100_m411_b30_999.cnfCBS_k3_n100_m411_b50_990.cnf
CBS_k3_n100_m411_b50_991.cnfCBS_k3_n100_m411_b50_992.cnfCBS_k3_n100_m411_b50_993.cnf
CBS_k3_n100_m411_b50_994.cnfCBS_k3_n100_m411_b50_995.cnfCBS_k3_n100_m411_b50_996.cnf
CBS_k3_n100_m411_b50_997.cnfCBS_k3_n100_m411_b50_998.cnfCBS_k3_n100_m411_b50_999.cnf
CBS_k3_n100_m411_b70_990.cnfCBS_k3_n100_m411_b70_991.cnfCBS_k3_n100_m411_b70_992.cnf
CBS_k3_n100_m411_b70_993.cnfCBS_k3_n100_m411_b70_994.cnfCBS_k3_n100_m411_b70_995.cnf
CBS_k3_n100_m411_b70_996.cnfCBS_k3_n100_m411_b70_997.cnfCBS_k3_n100_m411_b70_998.cnf
CBS_k3_n100_m411_b70_999.cnfCBS_k3_n100_m411_b90_990.cnfCBS_k3_n100_m411_b90_991.cnf
CBS_k3_n100_m411_b90_992.cnfCBS_k3_n100_m411_b90_993.cnfCBS_k3_n100_m411_b90_994.cnf
CBS_k3_n100_m411_b90_995.cnfCBS_k3_n100_m411_b90_996.cnfCBS_k3_n100_m411_b90_997.cnf
CBS_k3_n100_m411_b90_998.cnfCBS_k3_n100_m411_b90_999.cnf