Install Requirements mkvirtualenv -p /usr/bin/python3 -r requirements.txt atomicgraphs Execute the Benchmark Download http://aidanhogan.com/skolem/eval.zip unzip eval.zip go to Benchmark run python3 benchmarkMain.py ../eval/ -f graph