Skip to content

MAINT examples; use genericWrapper4AC #1

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
KEggensperger wants to merge 1 commit into
base: development
Choose a base branch
from
Open

MAINT examples; use genericWrapper4AC #1

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 0 additions & 5 deletions deployables/example_scenarios/saps/instances-test.txt
View file
Open in desktop

This file was deleted.

5 changes: 0 additions & 5 deletions deployables/example_scenarios/saps/instances-train.txt
View file
Open in desktop

This file was deleted.

11 changes: 0 additions & 11 deletions deployables/example_scenarios/saps/saps-scenario.txt
View file
Open in desktop

This file was deleted.

74 changes: 0 additions & 74 deletions deployables/example_scenarios/saps/saps_wrapper.rb
View file
Open in desktop

This file was deleted.

0 ...oyables/example_scenarios/saps/.gitignore → ..._scenarios/saps_genericWrapper/.gitignore
View file
Open in desktop
File renamed without changes.
5 changes: 5 additions & 0 deletions deployables/example_scenarios/saps_genericWrapper/instances-test.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
example_scenarios/saps_genericWrapper/instances/test/SWlin2006.11218.cnf
example_scenarios/saps_genericWrapper/instances/test/SWlin2006.12713.cnf
example_scenarios/saps_genericWrapper/instances/test/SWlin2006.18830.cnf
example_scenarios/saps_genericWrapper/instances/test/SWlin2006.4166.cnf
example_scenarios/saps_genericWrapper/instances/test/SWlin2006.4435.cnf
5 changes: 5 additions & 0 deletions deployables/example_scenarios/saps_genericWrapper/instances-train.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
example_scenarios/saps_genericWrapper/instances/train/SWlin2006.10286.cnf
example_scenarios/saps_genericWrapper/instances/train/SWlin2006.19724.cnf
example_scenarios/saps_genericWrapper/instances/train/SWlin2006.2705.cnf
example_scenarios/saps_genericWrapper/instances/train/SWlin2006.4072.cnf
example_scenarios/saps_genericWrapper/instances/train/SWlin2006.8287.cnf
0 ...s/saps/instances/test/SWlin2006.11218.cnf → ...rapper/instances/test/SWlin2006.11218.cnf
View file
Open in desktop
File renamed without changes.
0 ...s/saps/instances/test/SWlin2006.12713.cnf → ...rapper/instances/test/SWlin2006.12713.cnf
View file
Open in desktop
File renamed without changes.
0 ...s/saps/instances/test/SWlin2006.18830.cnf → ...rapper/instances/test/SWlin2006.18830.cnf
View file
Open in desktop
File renamed without changes.
0 ...os/saps/instances/test/SWlin2006.4166.cnf → ...Wrapper/instances/test/SWlin2006.4166.cnf
View file
Open in desktop
File renamed without changes.
0 ...os/saps/instances/test/SWlin2006.4435.cnf → ...Wrapper/instances/test/SWlin2006.4435.cnf
View file
Open in desktop
File renamed without changes.
0 .../saps/instances/train/SWlin2006.10286.cnf → ...apper/instances/train/SWlin2006.10286.cnf
View file
Open in desktop
File renamed without changes.
0 .../saps/instances/train/SWlin2006.19724.cnf → ...apper/instances/train/SWlin2006.19724.cnf
View file
Open in desktop
File renamed without changes.
0 ...s/saps/instances/train/SWlin2006.2705.cnf → ...rapper/instances/train/SWlin2006.2705.cnf
View file
Open in desktop
File renamed without changes.
0 ...s/saps/instances/train/SWlin2006.4072.cnf → ...rapper/instances/train/SWlin2006.4072.cnf
View file
Open in desktop
File renamed without changes.
0 ...s/saps/instances/train/SWlin2006.8287.cnf → ...rapper/instances/train/SWlin2006.8287.cnf
View file
Open in desktop
File renamed without changes.
0 ...es/example_scenarios/saps/saps-params.pcs → ...arios/saps_genericWrapper/saps-params.pcs
View file
Open in desktop
File renamed without changes.
10 changes: 10 additions & 0 deletions deployables/example_scenarios/saps_genericWrapper/saps-scenario.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
algo = python -u example_scenarios/saps_genericWrapper/wrapper.py --mem-limit 1024 --sat-checker ./example_scenarios/tools/SAT
deterministic = 0
run_obj = runtime
overall_obj = mean
cputime_limit = 30
cutoff_length = max
target_run_cputime_limit = 5
paramfile = example_scenarios/saps_genericWrapper/saps-params.pcs
instance_file = example_scenarios/saps_genericWrappersaps/instances-train.txt
test_instance_file = example_scenarios/saps_genericWrapper/instances-test.txt
0 deployables/example_scenarios/saps/ubcsat → ...mple_scenarios/saps_genericWrapper/ubcsat
View file
Open in desktop
File renamed without changes.
0 ...s/example_scenarios/saps/ubcsat-legal.txt → ...rios/saps_genericWrapper/ubcsat-legal.txt
View file
Open in desktop
File renamed without changes.
0 ...oyables/example_scenarios/saps/ubcsat-mac → ..._scenarios/saps_genericWrapper/ubcsat-mac
View file
Open in desktop
File renamed without changes.
0 ...oyables/example_scenarios/saps/ubcsat.exe → ..._scenarios/saps_genericWrapper/ubcsat.exe
View file
Open in desktop
File renamed without changes.
41 changes: 41 additions & 0 deletions deployables/example_scenarios/saps_genericWrapper/wrapper.py
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,41 @@
import os
import sys
sys.path.append(os.path.dirname(__file__) + "/../tools")

from genericWrapper4AC.generic_wrapper import AbstractWrapper
from genericWrapper4AC.domain_specific.satwrapper import SatWrapper

class SAPSWrapper(SatWrapper):

def __init__(self):
SatWrapper.__init__(self)


def get_command_line_args(self, runargs, config):
'''
@contact: lindauer@informatik.uni-freiburg.de, fh@informatik.uni-freiburg.de
Returns the command line call string to execute the target algorithm (here: Spear).
Args:
runargs: a map of several optional arguments for the execution of the target algorithm.
{
"instance": <instance>,
"specifics" : <extra data associated with the instance>,
"cutoff" : <runtime cutoff>,
"runlength" : <runlength cutoff>,
"seed" : <seed>
}
config: a mapping from parameter name to parameter value
Returns:
A command call list to execute the target algorithm.
'''
solver_binary = "example_scenarios/saps_genericWrapper/ubcsat"
cmd = "%s -alg saps" %(solver_binary)
for name, value in config.items():
cmd += " %s %s" %(name, value)

cmd += " -inst %s -cutoff %d -timeout %d -target 0 -seed %d -r satcomp" %(runargs["instance"], runargs["runlength"], runargs["cutoff"], runargs["seed"])
return cmd

if __name__ == "__main__":
wrapper = SAPSWrapper()
wrapper.main()
60 changes: 0 additions & 60 deletions deployables/example_scenarios/spear-generic-wrapper/emptyWrapper.py
View file
Open in desktop

This file was deleted.

Binary file removed deployables/example_scenarios/spear-generic-wrapper/genericWrapper.pyc
View file
Open in desktop
Binary file not shown.
5 changes: 0 additions & 5 deletions deployables/example_scenarios/spear-generic-wrapper/instances-test.txt
View file
Open in desktop

This file was deleted.

5 changes: 0 additions & 5 deletions deployables/example_scenarios/spear-generic-wrapper/instances-train.txt
View file
Open in desktop

This file was deleted.

Binary file removed deployables/example_scenarios/spear-generic-wrapper/runsolver
View file
Open in desktop
Binary file not shown.
9 changes: 0 additions & 9 deletions deployables/example_scenarios/spear-generic-wrapper/spear-scenario.txt
View file
Open in desktop

This file was deleted.

73 changes: 0 additions & 73 deletions deployables/example_scenarios/spear-generic-wrapper/spearWrapper.py
View file
Open in desktop

This file was deleted.

Binary file removed deployables/example_scenarios/spear/Spear-32_1.2.1
View file
Open in desktop
Binary file not shown.
6 changes: 0 additions & 6 deletions deployables/example_scenarios/spear/features.csv
View file
Open in desktop

This file was deleted.

5 changes: 0 additions & 5 deletions deployables/example_scenarios/spear/instances-test.txt
View file
Open in desktop

This file was deleted.

5 changes: 0 additions & 5 deletions deployables/example_scenarios/spear/instances-train.txt
View file
Open in desktop

This file was deleted.

Loading