X-Git-Url: https://git.siccegge.de//index.cgi?a=blobdiff_plain;f=cool.py;h=8b5568f02752996f6a73dc349e2d281f2b641391;hb=e215daa9c8ace50faf2df49a1e8a861f7ea1d51d;hp=d6b400cc873677a773ffc733839d44c352edabb8;hpb=7dd24bbce0f1e7d103e95ac90a6b43e69afc646a;p=master%2Fcool-versuchung.git

diff --git a/cool.py b/cool.py
index d6b400c..8b5568f 100755
--- a/cool.py
+++ b/cool.py
@@ -61,6 +61,48 @@ class CoolExperiment(SolverExperiment):
 
 
 
+class TreeTabExperiment(SolverExperiment):
+    inputs = { 'treetab' : TarArchive('ctlProver_r1368.tar') }
+    outputs = {}
+
+
+    def __init__(self):
+        TreeTabExperiment.inputs.update(SolverExperiment.inputs)
+        TreeTabExperiment.outputs.update(SolverExperiment.outputs)
+        super(TreeTabExperiment, self).__init__()
+
+
+    def build_solver(self):
+        with self.inputs.treetab as path:
+            shell("make")
+
+
+    def run_solver(self, formula):
+        with self.inputs.treetab as path:
+            shell("timeout 1001 ./ctl tree --verbose < %s" % formula)
+
+
+class GMULExperiment(SolverExperiment):
+    inputs = { 'gmul' : TarArchive('ctlgraph.tar') }
+    outputs = {}
+
+
+    def __init__(self):
+        GMULExperiment.inputs.update(SolverExperiment.inputs)
+        GMULExperiment.outputs.update(SolverExperiment.outputs)
+        super(GMULExperiment, self).__init__()
+
+
+    def build_solver(self):
+        with self.inputs.gmul as path:
+            shell("make")
+
+
+    def run_solver(self, formula):
+        with self.inputs.gmul as path:
+            shell("timeout 1001 ./ctl tr --verbose < %s" % formula)
+
+
 if __name__ == "__main__":
     import sys
     experiment = CoolExperiment()