Artifacts of functions evaluated in the paper

[strausza]

Hi, thanks for the great paper and corresponding repo!

I'm trying to dig into the experimental results from the paper and was hoping to find the actual set of functions used in the evaluation. I couldn't locate it in the repo, apologies if I've missed it.

Would it be possible to share the list of functions you synthesized in your experiments? Ideally with:

• the function name,
• the source database
• and whether synthesis was successful for that function
  Basically, just like in table 4.

Thanks,
András