def setup(self):
self.INPUT = [5*i for i in range(2, 16)]
self.theories = []
for test in self.INPUT:
file_name = os.path.join(input_path, 'logic-inputs', '%s.cnf' % test)
theory = load_file(file_name)
self.theories.append(theory)
def setup(self):
self.INPUT = [5 * i for i in range(2, 16)]
self.theories = []
for test in self.INPUT:
file_name = os.path.join(input_path, 'logic-inputs',
'%s.cnf' % test)
theory = load_file(file_name)
self.theories.append(theory)
import os
import sys
input_path = os.getcwd() + '/' + '/'.join(sys.argv[0].split('/')[:-1])
INPUT = [5 * i for i in range(2, 16)]
ALGORITHMS = ['dpll', 'dpll2']
results = {}
for test in INPUT:
results[test] = {}
for test in INPUT:
for alg in ALGORITHMS:
file_name = "%s/input/%d.cnf" % (input_path, test)
theory = load_file(file_name)
start = time.time()
assert satisfiable(theory, algorithm=alg)
end = time.time()
results[test][alg] = end - start
print "Test %d in time %.2f seconds for algorithm %s." % (
test, end - start, alg)
print "problem," + ','.join(ALGORITHMS)
for test in INPUT:
line = "%d" % test
for alg in ALGORITHMS:
line += ",%f" % results[test][alg]
print line
def time_load_file(self):
file_name = os.path.join(input_path, 'logic-inputs', '10.cnf')
load_file(file_name)
def time_load_file(self):
file_name = os.path.join(input_path, 'logic-inputs', '10.cnf')
load_file(file_name)
