Yes, I used sas online. I see that there are often multiple solutions for a given k. I was able to use UseIngredient[i].sol[n] to get data for solution $n$ but I cant figure out how to pull data from all solutions to a single data set using create data data_name from... syntax. Do you know how to do that?

Code works though for $k = 200$ Ive gotten a bit different result of 1345. Thanks for your help.

That sounds like a good solution and time. What did you use? Can I see your code?

I imagined k as a variable, but you can use any value. The duplicates should be removed. I think % mismatch is due to some ingredients being diluted, they should be the same ingredient though(you can exclude problematic data if you like). Im sorry for giving you messy data set, I just pulled the data from a site today.

Yes, the filenames are reversed. K would be the number of ingredients(keys).

@RobPratt I dont know if Im allowed to post links here but here:link. Its a google drive link. The doors are actually just recipes to make ejuice and keys would be the ingredients. Each line is one recipe, ingredients are separated by commas. I have wrongly assumed that there are only 100 keys. There are actually 2370 keys(ingredients).

This works for doors needing multiple keys to open?