Benchmark for Answering Existential First Order Queries with Single Free Variable (NeurIPS dataset and benchmark 2021) - View it on GitHub