Merge pull request github#205 from mahimanzum/submission_1592061024341

Benchmark Submission: mahimanzum

Author: Miltos

benchmarks/13-Jun-20-15:10_github_n0dn3jan.json

@@ -0,0 +1,8 @@
+{
+    "timestamp": "13-Jun-20-15:10",
+    "wandb_run_name": "n0dn3jan",
+    "wandb_username": "mahimanzum",
+    "github_username": "mahimanzum",
+    "run_link": "https://app.wandb.ai/github/codesearchnet/runs/n0dn3jan",
+    "score": "0.351384578"
+}