2024 results, 2nd attempt

TermCOMP · Jul 5, 2024 · 60e25ff · 60e25ff
1 parent 468115a
commit 60e25ff
Show file tree

Hide file tree

Showing 76 changed files with 301,219 additions and 11,961 deletions.
diff --git a/Y2024/C.VBS.json b/Y2024/C.VBS.json
diff --git a/Y2024/C.graph.html b/Y2024/C.graph.html
@@ -0,0 +1,49 @@
+<!DOCTYPE html>
+<html lang="en">
+<head>
+<meta charset="utf-8">
+<meta http-equiv="Cache-Control" content="max-age=5, must-revalidate" />
+<meta http-equiv="Pragma" content="no-cache" />
+<meta http-equiv="Expires" content="0" />
+<link rel="stylesheet" type="text/css" href="../master.css">
+</head>
+<body>
+ <div class=category>
+  <a href="C.html">C</a>
+  <a class="starexecid" href="https://www.starexec.org/starexec/secure/details/job.jsp?id=63918">63918</a>
+ <table class=ranking>
+   <tr class="layer0">
+    <td>
+     <table class="bar">
+      <tr style="height:1ex">
+       <td class="YES" style="width:61.057692307692%">
+       <td class="NO" style="width:14.903846153846%">
+       <td class="MAYBE" style="width:14.0625%">
+       <td class="timeout" style="width:9.9759615384615%">
+     </table>
+     <td>
+      <span class="best solver">
+       <span class="rank">1.</span> <a class="tool" href="https://www.starexec.org/starexec/secure/details/solver.jsp?id=45560">AProVE23</a>
+       <a class="config" href="https://www.starexec.org/starexec/secure/details/configuration.jsp?id=749009">c</a>
+      </span>
+<span class="best score YES">YES:508</span><span class="score NO">NO:124</span><span class="score best time">time:09:45:04</span></span>
+   <tr class="layer0">
+    <td>
+     <table class="bar">
+      <tr style="height:1ex">
+       <td class="YES" style="width:51.322115384615%">
+       <td class="NO" style="width:16.225961538462%">
+       <td class="MAYBE" style="width:16.947115384615%">
+       <td class="timeout" style="width:15.504807692308%">
+     </table>
+     <td>
+      <span class="solver">
+       <span class="rank">2.</span> <a class="tool" href="https://www.starexec.org/starexec/secure/details/solver.jsp?id=47463">UltimateAutomizer2023</a>
+       <a class="config" href="https://www.starexec.org/starexec/secure/details/configuration.jsp?id=790100">default</a>
+      </span>
+<span class="score YES">YES:427</span><span class="best score NO">NO:135</span><span class="score time">time:14:07:11</span></span>
+  </table>
+ </div>
+
+</body>
+</html>
diff --git a/Y2024/C.html b/Y2024/C.html
diff --git a/Y2024/C.summary.json b/Y2024/C.summary.json
@@ -0,0 +1,84 @@
+{
+    "layers": [
+        {
+            "score": 0,
+            "miss": 0,
+            "scorestogo": 0,
+            "conflicts": 0,
+            "done": 1664,
+            "togo": 0,
+            "cpu": 151999,
+            "time": 85935,
+            "certtime": 0,
+            "news": 0,
+            "wrong": 0
+        }
+    ],
+    "participants": {
+        "749009": {
+            "score": 632,
+            "miss": 200,
+            "scorestogo": 0,
+            "conflicts": 0,
+            "done": 832,
+            "togo": 0,
+            "cpu": 78409,
+            "time": 35104,
+            "certtime": 0,
+            "news": 0,
+            "wrong": 0,
+            "layer": 0,
+            "solver": "AProVE23",
+            "solver id": "45560",
+            "configuration": "c",
+            "CERTIFIED YES": 0,
+            "CERTIFIED NO": 0,
+            "CERTIFIED UP": 0,
+            "CERTIFIED LOW": 0,
+            "YES": 508,
+            "SAST": 0,
+            "PAST": 0,
+            "AST": 0,
+            "NO": 124,
+            "UP": 0,
+            "LOW": 0,
+            "MAYBE": 117,
+            "timeout": 83,
+            "error": 0,
+            "normalized": 0.8876404494382022
+        },
+        "790100": {
+            "score": 562,
+            "miss": 270,
+            "scorestogo": 0,
+            "conflicts": 0,
+            "done": 832,
+            "togo": 0,
+            "cpu": 73590,
+            "time": 50831,
+            "certtime": 0,
+            "news": 0,
+            "wrong": 0,
+            "layer": 0,
+            "solver": "UltimateAutomizer2023",
+            "solver id": "47463",
+            "configuration": "default",
+            "CERTIFIED YES": 0,
+            "CERTIFIED NO": 0,
+            "CERTIFIED UP": 0,
+            "CERTIFIED LOW": 0,
+            "YES": 427,
+            "SAST": 0,
+            "PAST": 0,
+            "AST": 0,
+            "NO": 135,
+            "UP": 0,
+            "LOW": 0,
+            "MAYBE": 141,
+            "timeout": 129,
+            "error": 0,
+            "normalized": 0.7893258426966292
+        }
+    },
+    "conflicting": false
+}