Merge pull request #213 from SpringHerald/submission_1594868023017

Benchmark Submission: SpringHerald

Author: Miltos

benchmarks/16-Jul-20-02:53_github_s5wxqqu3.json

@@ -0,0 +1,8 @@
+{
+    "timestamp": "16-Jul-20-02:53",
+    "wandb_run_name": "s5wxqqu3",
+    "wandb_username": "spring-herald",
+    "github_username": "SpringHerald",
+    "run_link": "https://app.wandb.ai/github/codesearchnet/runs/s5wxqqu3",
+    "score": "0.385094501"
+}