Print solver

Author: msoos

scripts/data/ganak.sqlite

@@ -1,5 +1,6 @@
 DROP TABLE IF EXISTS data;
 CREATE TABLE data (
+  solver STRING NOT NULL,
   dirname STRING NOT NULL,
   fname STRING NOT NULL,
 

scripts/data/get_data_ganak.py

@@ -461,7 +461,7 @@ def find_mem_out(fname):
 
 with open("mydata.csv", "w") as out:
     cols = "dirname,fname,"
-    cols += "ganak_time,ganak_mem_MB,ganak_call,page_faults,signal,ganak_ver,conflicts,decisionsK,compsK,primal_density,primal_edge_var_ratio,td_width,td_time,arjun_time,backboneT,backwardT,indepsz,optindepsz,origprojsz,new_nvars,unknsz,cache_del_time,cache_miss_rate,bdd_called,sat_called,sat_rst,rst,cubes_orig,cubes_final,mem_out,gates_extended,gates_extend_t,padoa_extended,padoa_extend_t"
+    cols += "solver,ganak_time,ganak_mem_MB,ganak_call,page_faults,signal,ganak_ver,conflicts,decisionsK,compsK,primal_density,primal_edge_var_ratio,td_width,td_time,arjun_time,backboneT,backwardT,indepsz,optindepsz,origprojsz,new_nvars,unknsz,cache_del_time,cache_miss_rate,bdd_called,sat_called,sat_rst,rst,cubes_orig,cubes_final,mem_out,gates_extended,gates_extend_t,padoa_extended,padoa_extend_t"
     out.write(cols+"\n")
     for _, f in files.items():
         toprint = ""
@@ -477,6 +477,8 @@ def find_mem_out(fname):
           print("timeout not parsed for f: ", f)
           exit(-1)
 
+        toprint += "%s," % f["solver"]
+
         #timeout_t, timeout_mem, timeout_call
         if f["timeout_t"] == None:
             toprint += ",,,,,"