else: print("formula is not satisfiable") print("Time taken:", end - start, "secs") del cnf del solver satisfiable = False print() solver = Solver() cnf = CNF() cnf.read_dimacs_file(file_name) start = time.time() satisfiable = solver.tabuSearch(cnf, 100000, 5) end = time.time() if satisfiable: print("s SATISFIABLE:") print("v", *format_output(cnf.variable_values), sep=" " ) else: print("formula is not satisfiable") print("Time taken:", end - start, "secs") del cnf del solver satisfiable = False print()
del solver satisfiable = False for j, dataSet in enumerate(dataSets): print("\nFor dataset:", dataSet) for run in range(num_runs): print("\nRun#:",run, "For dataset:",dataSet) file_name = dataSet solver = Solver() cnf = CNF() cnf.read_dimacs_file(file_name) start = time.clock() satisfiable = solver.tabuSearch(cnf, 200, 5) end = time.clock() if satisfiable: print("s SATISFIABLE:") print("v", format_output(cnf.variable_values)) else: print("Cannot find Solution") print("Time taken:%2.4f" % (end - start), "secs") time_matrix2[j][run] = end - start del cnf del solver satisfiable = False print("\nRuntimes, each columns show timetaken on one of iterations and row shows datasets.\n"