- Updated workloads for Picosat LT

se-sic · Feb 13, 2024 · 6088be8 · 6088be8
1 parent ca52b10
commit 6088be8
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 5 deletions.
diff --git a/varats/varats/experiments/vara/feature_perf_precision.py b/varats/varats/experiments/vara/feature_perf_precision.py
@@ -99,9 +99,9 @@ def get_threshold(project: VProject) -> int:
     if project.DOMAIN is ProjectDomains.TEST:
         if project.name in [
             "SynthSAFieldSensitivity", "SynthIPRuntime", "SynthIPTemplate",
-            "SynthIPTemplate2", "SynthIPCombined"
+            "SynthIPTemplate2", "SynthIPCombined", "PicosatLT"
         ]:
-            # Don't instrument everything for these synthtic projects
+            # Don't instrument everything for these synthetic projects
             return 10
 
         return 0

diff --git a/varats/varats/projects/c_projects/picosat.py b/varats/varats/projects/c_projects/picosat.py
@@ -218,6 +218,14 @@ class PicoSATLT(VProject, ReleaseProviderHook):
                     "download/picoSAT-965/example.cnf"
             }
         ),
+        HTTP(
+            local="ibm-2004-03-k70.cnf",
+            remote={
+                "1.0":
+                    "https://github.com/se-sic/picoSAT-vara/releases/"
+                    "download/workloads-sat-race-2006/ibm-2004-03-k70.cnf"
+            }
+        ),
         HTTPUntar(
             local="abw-N-bcsstk07.mtx-w44.cnf",
             remote={
@@ -255,11 +263,11 @@ class PicoSATLT(VProject, ReleaseProviderHook):
     ]
 
     WORKLOADS = {
-        WorkloadSet(WorkloadCategory.MEDIUM): [
+        WorkloadSet(WorkloadCategory.SMALL): [
             VCommand(
                 SourceRoot("PicosatLT") / RSBinary("picosat"),
-                "abw-N-bcsstk07.mtx-w44.cnf/abw-N-bcsstk07.mtx-w44.cnf",
-                label="abw-N-bcsstk07.mtx-w44.cnf",
+                "ibm-2004-03-k70.cnf",
+                label="ibm-2004-03-k70.cnf",
             ),
         ],
     }