From 337fb1ec1646d9ce0e59ba0699fb41e325405928 Mon Sep 17 00:00:00 2001 From: YuhangQ Date: Fri, 21 Apr 2023 15:12:46 +0800 Subject: [PATCH] =?UTF-8?q?=E4=BF=AE=E6=94=B9=20cal.py?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- experiment/cal.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/experiment/cal.py b/experiment/cal.py index a307bbf..57b93f5 100755 --- a/experiment/cal.py +++ b/experiment/cal.py @@ -274,6 +274,8 @@ def gen_samples(dir): if __name__ == "__main__": solvers = [] # solvers.append(solver_SAT_standard_gnomon("/pub/netdisk1/qianyh/aws-batch-comp-infrastructure-sample/docker/runner/exp-result","mallob")) + solvers.append(solver_SAT_standard_gnomon("./light-3m-new-tree","light-3m-new-tree")) + solvers.append(solver_SAT_standard_gnomon("./light-3m-new-circle","light-3m-new-circle")) solvers.append(solver_SAT_standard_gnomon("./light-3m-no-pre","light-3m-no-pre")) solvers.append(solver_SAT_standard_gnomon("./light-3m","light-3m")) solvers.append(solver_SAT_standard_gnomon("./light-no-bug","light-no-bug"))