QA_SAT/qubo_lab
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

sync

Browse Source
This commit is contained in:
Tom
2019-08-05 23:29:28 +02:00
parent 34fa181195
commit 5c2bd8bdef
3 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
run_sampler_on_scope.py
View File

@@ -99,7 +99,7 @@ def __run_qpu(ising_qubo_collection, model_type, result_collection):
solver_args = {} solver_args = {}
solver_args["annealing_time"] = int(input("annealing time (in us): ")) solver_args["annealing_time"] = int(input("annealing time (in us): "))
solver_args["num_reads"] = int(input("number of reads per sample: ")) solver_args["num_reads"] = int(input("number of reads per instance: "))
__run_on_scope(solver_input_query, __run_on_scope(solver_input_query,
db[result_collection], db[result_collection],

3
util/data_extraction.py
View File

@@ -165,11 +165,10 @@ def extract_minisat_results():
idb = script.connect_to_instance_pool() idb = script.connect_to_instance_pool()
scope = input("scope: ") scope = input("scope: ")
result_collection = input("result collection: ")
table_name = input("table name: ") table_name = input("table name: ")
runs = queries.Minisat_run_scope_query_raw(idb) runs = queries.Minisat_run_scope_query_raw(idb)
runs.query(scope, result_collection) runs.query(scope, "minisat_runs")
insert_row = ("INSERT INTO {} " insert_row = ("INSERT INTO {} "
"(run_id, " "(run_id, "

2
util/script.py
View File

@@ -186,7 +186,7 @@ def create_wmis_qubos_for_scope(db, scope):
for instance, instance_id in instances: for instance, instance_id in instances:
qubo = SAT2QUBO.WMISdictQUBO(instance) qubo = SAT2QUBO.WMISdictQUBO(instance)
write_qubo_to_pool_db(db["wmis_qubos_2"], qubo, instance_id) write_qubo_to_pool_db(db["wmis_qubos"], qubo, instance_id)
def create_wmis_2_qubos_for_scope(db, scope): def create_wmis_2_qubos_for_scope(db, scope):
instances = queries.Instance_scope_query(db) instances = queries.Instance_scope_query(db)