separate table entries using space

randriu · Jan 9, 2024 · f46919f · f46919f
1 parent 72225c5
commit f46919f
Showing 1 changed file with 16 additions and 16 deletions.
diff --git a/paynt/synthesizer/statistic.py b/paynt/synthesizer/statistic.py
@@ -247,32 +247,32 @@ def print_mdp_family_table_entries(self):
         model_info = "model info:\t"
         model_info += "\t".join(["states","choices","MDPs","states*MDPs","SAT MDPs","SAT %",])
         print(model_info)
-        print("\t\t",end="")
-        print(self.quotient.quotient_mdp.nr_states,end="\t")
-        print(self.quotient.quotient_mdp.nr_choices,end="\t")
-        print(self.num_mdps_total,end="\t")
-        print(self.quotient.quotient_mdp.nr_states*self.num_mdps_total,end="\t")
-        print(self.num_mdps_sat,end="\t")
-        sat_by_total_percentage = round(self.num_mdps_sat/self.num_mdps_total*100,0)
+        # print("\t\t",end="")
+        print(self.quotient.quotient_mdp.nr_states,end=" ")
+        print(self.quotient.quotient_mdp.nr_choices,end=" ")
+        print(self.num_mdps_total,end=" ")
+        print(self.quotient.quotient_mdp.nr_states*self.num_mdps_total,end=" ")
+        print(self.num_mdps_sat,end=" ")
+        sat_by_total_percentage = round(self.num_mdps_sat/self.num_mdps_total*100,1)
         print(sat_by_total_percentage)
 
 
         synt_stats_header = "synt info:\t"
         synt_stats_header += "\t".join(["time","nodes","nodes (merged)","policies","policies (merged)","policies(merged) / SAT %","game iters","MDP iters", "iters/MDPs"])
         print(synt_stats_header)
-        print("\t\t",end="")
+        # print("\t\t",end="")
         synthesis_timer = int(self.synthesis_timer.time)
-        print(synthesis_timer,end="\t")
-        print(self.num_nodes,end="\t")
-        print(self.num_nodes_merged,end="\t")
-        print(self.num_policies,end="\t")
-        print(self.num_policies_merged,end="\t")
+        print(synthesis_timer,end=" ")
+        print(self.num_nodes,end=" ")
+        print(self.num_nodes_merged,end=" ")
+        print(self.num_policies,end=" ")
+        print(self.num_policies_merged,end=" ")
         merged_by_sat_percentage = "N/A"
         if self.num_mdps_sat > 0:
             merged_by_sat_percentage = round(self.num_policies_merged/self.num_mdps_sat*100,1)
-        print(merged_by_sat_percentage,end="\t")
-        print(self.iterations_game,end="\t")
-        print(self.iterations_mdp,end="\t")
+        print(merged_by_sat_percentage,end=" ")
+        print(self.iterations_game,end=" ")
+        print(self.iterations_mdp,end=" ")
         iters_by_mdp = round((self.iterations_game+self.iterations_mdp)/self.num_mdps_total,1)
         print(iters_by_mdp)
         print()