Update score definition

src/leaderboard/read_evals.py

@@ -116,8 +116,8 @@ class EvalResult:
         """Converts the Eval Result to a dict compatible with our dataframe display"""
         # average = sum([v for v in self.results.values() if v is not None]) / len(Tasks)
         solbench = (
-            self.results.get('naive_judge', 0) * 0.2 +
-            self.results.get('human_eval_solidity', 0) * 0.9
+            self.results.get('naive_judge', 0) * 0.3 +
+            self.results.get('human_eval_solidity', 0) * 0.7
         )
         data_dict = {
             "eval_name": self.eval_name,  # not a column, just a save name,