From 5494bde0f16fa9142cab779f19ae42517c04c8e1 Mon Sep 17 00:00:00 2001
From: George Tsoukalas <99286219+GeorgeTsoukalas@users.noreply.github.com>
Date: Sat, 1 Aug 2026 14:16:38 +0100
Subject: [PATCH] Update results.json

---
 docs/results.json | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/docs/results.json b/docs/results.json
index 8f24325..89eabfc 100644
--- a/docs/results.json
+++ b/docs/results.json
@@ -441,5 +441,15 @@
         "size": 8,
         "condensed-compute-budget": "pass@256",
         "note": "derived from Kimina-8B, Lean version v4.15"
+    },
+    "Varto" : {
+        "link": "https://varto.ai/blog/putnambench",
+        "open-data": "NONE",
+        "num-solved": {
+            "isabelle-wsolution": 640,
+        }
+        "size": 0,
+        "condensed-compute-budget": "avg $8/problem",
+        "note": "Using GPT-5.5. All problems solved. 130 requires formalization fixes."
     }
 }