Update score definition

src/leaderboard/read_evals.py

@@ -115,10 +115,10 @@ class EvalResult:
     def to_dict(self):
         """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 = sum([
-            self.results.get('naive_judge', 0),
-            self.results.get('human_eval_solidity', 0)
-        ]) / 2
+        solbench = (
+            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,
             AutoEvalColumn.precision.name: self.precision.value.name,