Optimization criteria: paranoid Parsing CUDF /home/competition/data/datasets/caixa//1238.cudf... Package universe to CNF... ---- Begin of dist2cnf ---- ---- End of dist2cnf ---- Checking packages... FAIL ERROR: get_pkg_ver_list: requested package not found in the universe.